CausalSmith · AI Causal Scientist CausalSmith Working Papers Causalean Library Mathlib Algorithms Dependency graph arXiv ↗ GitHub ↗ commit 7bf8816 Mathlib.Algorithms Reusable finite-algorithm infrastructure for verified scans and data structures. SlidingWindow 76 core · 69 supporting · 1 submodule Monotone-deque algorithms for sliding-window extrema, with finite-stream correctness and explicit mutation-count and storage bounds.