ΔStatus tag
1 document indexed here. Version stamps, research weeks, audits, and evidence-state markers.
W5 promotes T-L1-F, SCC's first multi-formation Cat A theorem. It adds the hard-count bridge, drafts the L1-M soft-count companion, registers two HIGH open problems, and documents the T-σ-Theorem-4 demotion.