Repository navigation

Proof reachability: preserve the 62-row historical cut and add post-C126 proof routes - #247

Merged

d6g8k5htny-coder merged 6 commits into

mainfrom

claude/proof-reachability-20261002

Oct 4, 2026

Merged

Proof reachability: preserve the 62-row historical cut and add post-C126 proof routes#247
d6g8k5htny-coder merged 6 commits into
mainfrom
claude/proof-reachability-20261002

Commits on Oct 2, 2026
- Proof reachability: every frontiers/*/PROOF.md at main 0fda855 (availability only)
  claude
  committed
  89c3526
Commits on Oct 3, 2026
- #247 v1.1: first-parent integration order; verdict-word scan of both tables
  claude
  committed
  ee087ce
Commits on Oct 4, 2026