Skip to content

Independent verification (no κ): #2435's words, 289,044-role owner map and endpoint reproduce; its change is frame-only (24 raised entrances), entrance delivery unchecked - #2446

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
thakrarsagar:research/t74-2435-fill-independent-check
Oct 16, 2026
Merged

Independent verification (no κ): #2435's words, 289,044-role owner map and endpoint reproduce; its change is frame-only (24 raised entrances), entrance delivery unchecked#2446
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
thakrarsagar:research/t74-2435-fill-independent-check

Record frame-only diff vs PR2322, pin OUTER-CLAIM kappa, FAIL on repl…

a3aabff
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
ranked-pair-finite
succeeded Oct 16, 2026 in 2m 5s