A registered result in its source context
Original ledger classification: Numerical (explicit realisation)
Recorded statement: EXPLICIT valid (U_wall) flat bundle constructed via numerical RH solve: A0 (eig {0,1/3,2/3}, diag (1/2,1/4,1/4)) realises cusp class + splitting O(-2)+O(-1)^2 (SigmaA_k=diag(2,1,1)) + trivial infinity monodromy ||M_inf-I||~1e-9 (=> prod…
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
RH.BUNDLE.01
Original ledger classification: Numerical (explicit realisation)
Original claim text
EXPLICIT valid (U_wall) flat bundle constructed via numerical RH solve: A0 (eig {0,1/3,2/3}, diag (1/2,1/4,1/4)) realises cusp class + splitting O(-2)+O(-1)^2 (SigmaA_k=diag(2,1,1)) + trivial infinity monodromy ||M_inf-I||~1e-9 (=> prod M_k=I) + IRREDUCIBLE (case A, nontrivial mixing). Existence + case A confirmed; unique nabla_F* needs det R=8; c_u/c_d needs H2 bridge
Original classification detail
Numerical (explicit realisation)
Dependencies as recorded
RH.SPLIT.01; CONTRACT.U.01
Open the original ledger source, row 30Location 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.
- (1) Flavor residual — ratios closed combinatorially; only the absolute scale is the wall-selection [formula in source] /tfpt 2 standard model
- Front matter / supportResearch contracts
- (1) Flavor residual — ratios closed combinatorially; only the absolute scale is the wall-selection [formula in source] /Standard Model and flavor structure
- Research Contract 1 — [formula in source]tfpt research contracts
- 2026-07-21 (IX) ( v499 — the P2 weight-typing postulate HARDENED: the anchor [formula in source] typed as the Birkhoff–Grothendieck splitting exponents of the Deligne canonical extension, so integrality/positivity/sum- [formula in source] become theorems given the \ anchors; the v491 check-9 residual sharpened, the tfpt_2 ``balanced'' selection typed as stability; Wolfram extension [formula in source] (verified engine run); no gate closes, no marker moves — AX.P2.01 stays a declared axiom, QGEO.SYM stays )Research changelog; TFPT — Introduction and reading guide
- Front matter / supportResearch contracts
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Research Contract 1 — [formula in source]tfpt research contracts
Registered verification modules
- v33_explicit_flat_bundle.pyRegistered verification module · uwall
Read the description recorded in the module registry
explicit valid (U_wall) flat bundle (RH solve)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.