A registered result in its source context
Original ledger classification: Numerical (honest negative + suggestive link)
Recorded statement: (U_wall) FINAL leg-assignment test (honest result): (i) delta=1/2 resolvent reproduces lepton c=(16/7,4/3,7/6) exactly => Lambda=(0.475,1.107,0.917); (ii) Lambda_mu=1.107>1 RULES OUT amplitudes=unitary holonomy moduli (modulus bound);…
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.05
Original ledger classification: Numerical (honest negative + suggestive link)
Original claim text
(U_wall) FINAL leg-assignment test (honest result): (i) delta=1/2 resolvent reproduces lepton c=(16/7,4/3,7/6) exactly => Lambda=(0.475,1.107,0.917); (ii) Lambda_mu=1.107>1 RULES OUT amplitudes=unitary holonomy moduli (modulus bound); (iii) SUGGESTIVE: harmonic-frame |diag M~_0|=(0,1/2,1/2), the 1/2 = delta=1/2 => geometry supplies delta (point observation, genericity future); (iv) CLEAN NEGATIVE: (I-1/2 M~)^-1 != amplitude vector. VERDICT: amplitudes are the combinatorial delta=1/2 resolvent; holonomy supplies delta+leg not magnitude; c_u/c_d NOT obtained from holonomy alone (no fabrication)
Original classification detail
Numerical (honest negative + suggestive link)
Dependencies as recorded
GATE.UWALL.04; v20; v40
Open the original ledger source, row 65Location 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
- Theorem 7 — the [formula in source] lift of the [formula in source] atlasArchitecture, E8 and the electromagnetic fixed point
- Front matter / supportResearch contracts
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Research Contract 1 — [formula in source]tfpt research contracts
- Theorem 7 — the [formula in source] lift of the [formula in source] atlastfpt 1 architecture e8
- Theorem 7 — the [formula in source] lift of the [formula in source] atlastfpt 1 architecture e8
Registered verification modules
- v41_leg_assignment.pyRegistered verification module · uwall
Read the description recorded in the module registry
final leg test: amplitudes = δ=½ resolvent; honest negative
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.