Skip to content

Prove a sharp 112-call bound for active coded-mode repair - #5126

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
dillona:research/active-query-bound
Oct 23, 2026
Merged

Prove a sharp 112-call bound for active coded-mode repair#5126
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
dillona:research/active-query-bound

Prove sharp active query cost for the physical eight-mode code

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

Annotations

1 error
plan
failed Oct 23, 2026 in 4m 2s