A registered result in its source context
Original ledger classification: Numerical (survival hardened)
Recorded statement: (U_wall) U2 kill-switch HARDENED: kill-switch fires iff D4-cusp rep reducible; across 400 random cusp-class generators M_k=U^{k-1}MU^{1-k} commutant is scalar at every point (irreducible 400/400), reducible locus measure-zero (codim>=1),…
Statement, assumptions and sources
Paper context: Research contracts
The exact identifier, original classification and full claim are available below.
The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.
Read the exact registered claim and its dependencies
GATE.UWALL.02
Original ledger classification: Numerical (survival hardened)
Original claim text
(U_wall) U2 kill-switch HARDENED: kill-switch fires iff D4-cusp rep reducible; across 400 random cusp-class generators M_k=U^{k-1}MU^{1-k} commutant is scalar at every point (irreducible 400/400), reducible locus measure-zero (codim>=1), mixing strength >=0.35 => case A (nontrivial SU(3)_F mixing) is GENERIC not anecdotal; (U_wall) survives its cheapest falsification test. RESIDUAL: amplitude dictionary Gamma^min (Hitchin output for c_u/c_d) still research-level; R combinatorially closed
Original classification detail
Numerical (survival hardened)
Dependencies as recorded
CONTRACT.U.01; v33
Open the original ledger source, row 62Location recorded in the ledger
These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.
- Research contracts
Navigation through a shared verification script
These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.
- Front matter / supportResearch contracts
- Research Contract 1 — [formula in source]tfpt research contracts
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Research Contract 1 — [formula in source]tfpt research contracts
Registered verification modules
- v38_uwall_killswitch.pyRegistered verification module · uwall
Read the description recorded in the module registry
U2 kill-switch: case A generic (400/400 irreducible)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.