Skip to content

Prove exact local costs for residue-corank-one targets (no new κ) - #4804

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w2-1022h-idempotent-targets
Oct 23, 2026
Merged

Prove exact local costs for residue-corank-one targets (no new κ)#4804
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w2-1022h-idempotent-targets

feat(research): prove the local corank-one cost formula

da6f858
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 22, 2026 in 2m 35s