Skip to content

Independent verification (no new κ): record candidate #2269 T74 borrow43 — words, 437-helper fill and moment root reproduce; stale evidence, unpriced buffers, X2 open - #2315

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
thakrarsagar:research/t74-borrow43-independent-check
Oct 15, 2026
Merged

Independent verification (no new κ): record candidate #2269 T74 borrow43 — words, 437-helper fill and moment root reproduce; stale evidence, unpriced buffers, X2 open#2315
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
thakrarsagar:research/t74-borrow43-independent-check

Independently check record candidate #2269 (T74 borrow43)

4a2f20e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
formal (matrix)
succeeded Oct 16, 2026 in 57s