Repository navigation

Cap first exit in Lean v1.6 (stacked on #253): L3-L4 kernel-checked, the cap from SP's hypothesis (H1) - #255

Merged

d6g8k5htny-coder merged 3 commits into

mainfrom

claude/cap-first-exit-lean-v16-20261003

Oct 4, 2026

Merged

Cap first exit in Lean v1.6 (stacked on #253): L3-L4 kernel-checked, the cap from SP's hypothesis (H1)#255
d6g8k5htny-coder merged 3 commits into
mainfrom
claude/cap-first-exit-lean-v16-20261003

Commits on Oct 3, 2026
- Cap first exit in Lean v1.6: L3-L4 and the cap from SP's hypothesis (H1)
  claude
  committed
  eee0017
- Cap first exit in Lean v1.6: prove L3's increment step (Codex 4174695678)
  claude
  committed
  1cbbbf9
Commits on Oct 4, 2026
- Merge main 2820fc2 (#253 landed) into cap-first-exit-lean v1.6
  claude
  committed
  b21ab2f