Repository navigation

research: #4436 boundary exits — exact mirror identity, rigorous share bound 0.321, and a correction (leaf exits dominate) - #4459

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

pinterbanget:direct-flow-boundary-share

Oct 22, 2026

Merged

research: #4436 boundary exits — exact mirror identity, rigorous share bound 0.321, and a correction (leaf exits dominate)#4459
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
pinterbanget:direct-flow-boundary-share

Commits on Oct 21, 2026
- research: #4436 direct exponent gate reduces to a uniform boundary-exit share (lemma + p7 scan)
  
  pinterbanget
  and
  claude
  committed
  04da76e
- Correct #4459: leaf exits dominate; add exact mirror identity and rigorous boundary-share bound
  
  pinterbanget
  and
  claude
  committed
  488a75a