SSX v5 hardening: theorem-first overlap certification, unified budgets/status, singular-case completeness (L41–L61)#45

sth-v merged 55 commits into

tinycontextmachine/mmcore:tinyfrom

ssx5-singular-hardeningcontextmachine/mmcore:ssx5-singular-hardeningCopy head branch name to clipboard