Skip to content

Prove the joint full-guard law for an overlapping corank-one pair - #4261

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w10-1020e-corankone-pair-header
Oct 21, 2026
Merged

Prove the joint full-guard law for an overlapping corank-one pair#4261
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w10-1020e-corankone-pair-header

feat(research): count overlapping corank-one guard headers

4728fc7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 20, 2026 in 2m 38s