Repository navigation

Exclude the 31-leaf target with a chronological connector rank bound - #5747

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

aliromman:codex/coupled31-chronology-20261026

Oct 26, 2026

Merged

Exclude the 31-leaf target with a chronological connector rank bound#5747
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
aliromman:codex/coupled31-chronology-20261026

Commits on Oct 26, 2026
- Prove chronological connector rank bounds and full star endpoint controls
  aliromman
  committed
  c951dc9
- Bind retained source copies and record exact replay evidence
  aliromman
  committed
  f9a3bc9