Repository navigation

Prove a one-sided connector barrier and certify a full escape word - #5673

Open

aliromman wants to merge 2 commits into

CrocSwap:mainfrom

aliromman:codex/crossed-connector-caller-20261026

Open

Prove a one-sided connector barrier and certify a full escape word#5673
aliromman wants to merge 2 commits into
CrocSwap:mainfrom
aliromman:codex/crossed-connector-caller-20261026

Commits on Oct 26, 2026
- Prove one-sided connector obstruction for all full-rank star splits
  aliromman
  committed
  59f6ab8
- Preserve complete-word trap and bounded caller growth searches
  aliromman
  committed
  c10f75f