Skip to content

Audit #6129's nearest-even Walsh-stage bound: no error; independent engines reproduce a_J, the odd-output split and #6119's 3h/4 (no new κ) - #6140

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
JosieElliston:s51-audit-pr6129
Oct 28, 2026
Merged

Audit #6129's nearest-even Walsh-stage bound: no error; independent engines reproduce a_J, the odd-output split and #6119's 3h/4 (no new κ)#6140
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
JosieElliston:s51-audit-pr6129

Scope engine A's completeness statement to the period lemma at every J

1c97110
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Oct 28, 2026 in 4m 29s