Skip to content

Independent verification: the selected frontier1094 complex rank ledger, rebuilt from its emitted program (no new kappa) - #1262

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
thakrarsagar:research/frontier1094-emitted-ledger
Oct 14, 2026
Merged

Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
thakrarsagar:research/frontier1094-emitted-ledger

Address soundness review: bind sweeps to calls, slots to executed rou…

4b196b4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 14, 2026 in 43s