Kernel-prove the exact value M(2)=1 - #274

Draft

DomTheDeveloper wants to merge 3 commits into

mainfrom

openai/prove-minimum-overlap-two

Commits on Jul 26, 2026

feat: prove the exact minimum-overlap value M(2)
DomTheDeveloper
committed
9ba1db9
ci: audit the M(2) minimum-overlap proof
DomTheDeveloper
committed
ca394b0
ci: build the registered M(2) proof module
DomTheDeveloper
committed
b7ed2e7