Skip to content

Scoped negative result: one frame relation cannot save paid rank at any register count - #1454

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
bbMisk:research/bit-one-relation-seed04
Oct 14, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
bbMisk:research/bit-one-relation-seed04

Prove the bit one-relation obstruction for arbitrary registers

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

Annotations

1 warning and 1 notice
verify (3.14)
succeeded Oct 15, 2026 in 2m 52s