Repository navigation

ci: make CI genuinely green — rust-ci toolchain pin - #37

Merged

hyperpolymath merged 6 commits into

mainfrom

claude/new-session-znxgm7

Jun 28, 2026

Commits on Jun 27, 2026
- abi: prove array-rewrite semantics preservation (+/⌽ ⇒ +/) (Layer 2)
  claude
  committed
  79adcc7
- ABI Layer 3: prove map-fusion law for Each (¨) over the shared model
  claude
  committed
  4051c21
Commits on Jun 28, 2026