Repository navigation

ci: fmt under stable 1.96 to make rust-ci green (follow-up) - #42

Merged

hyperpolymath merged 8 commits into

mainfrom

claude/new-session-znxgm7

Jun 28, 2026

Merged

ci: fmt under stable 1.96 to make rust-ci green (follow-up)#42
hyperpolymath merged 8 commits into
mainfrom
claude/new-session-znxgm7

Commits on Jun 27, 2026
- ABI Layer 2: prove affine usage (use-at-most-once) in Semantics
  claude
  committed
  c963f18
- Add ABI Layer-3 invariant: affine composition law over disjoint variables
  claude
  committed
  a95e0b8
Commits on Jun 28, 2026