fix(register): demote Z-3 (sixth broken discharge) + quarantine the five void scripts + honest-label the constant - #9872

Merged

AceHack merged 2 commits into

mainfrom

soraya/z-conjecture-cleanup-v2

Aug 1, 2026

Commits on Aug 1, 2026

fix(register): demote Z-3 (sixth broken discharge) + quarantine the five void discharge scripts + honest-label the 1/(3sqrt2) constant

AceHack
and
claude
committed
dafbf73
docs: correction banners on the two live surfaces that still assert 1/(3sqrt2) as a Tsirelson bound

AceHack
and
claude
committed
b14d16b