Skip to content

Prove partial-prefix matching capacity for simple cube cycles - #5001

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
aliromman:codex/f7-prefix-capacity-20261023
Oct 23, 2026
Merged

Prove partial-prefix matching capacity for simple cube cycles#5001
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
aliromman:codex/f7-prefix-capacity-20261023

Prove a sound matching-capacity bound for partial cube cycles

fe3226e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 23, 2026 in 4m 1s