A registered result in its source context
Original ledger classification: Identity [E] (executed half: unistochastic lift, Wilson code, center bridge, selectivity census) + literature [C]; branch selection and intertwiner open
Recorded statement: THE COHERENT WILSON CONTRACT, executed half (registered 2026-08-27; external-review round, companion of TRANSFER.HIDDEN.CIRCULATION.01). [E] (v977, sympy-exact): (1) UNISTOCHASTICITY: the seam single step B equals |U_ij|^2 entrywise for an…
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
TRANSFER.COHERENT.WILSON.01
Original ledger classification: Identity [E] (executed half: unistochastic lift, Wilson code, center bridge, selectivity census) + literature [C]; branch selection and intertwiner open
Original claim text
THE COHERENT WILSON CONTRACT, executed half (registered 2026-08-27; external-review round, companion of TRANSFER.HIDDEN.CIRCULATION.01). [E] (v977, sympy-exact): (1) UNISTOCHASTICITY: the seam single step B equals |U_ij|^2 entrywise for an exact U in SU(3); the angles are forced by B (sin^2 th13 = 2/9, sin^2 th12 = 1/14, sin^2 th23 = 2/7), cos delta = -4/sqrt(65) is uniquely solved, so the complete lift set up to rephasing is the two-branch family {U, U*} with e^{i delta} = (-4 +- 7i)/sqrt(65). (2) THE WILSON DATA ARE CLASSICAL UP TO ONE SIGN: J = 1/27 exact, Re of every plaquette fixed by B through unitarity (Re Q_{12;12} = -5/324, J^2 = 1/729 from B alone) -- the classically invisible datum is the Z2 orientation bit sgn J (U* lifts the same B with J = -1/27); minimal observable = the plaquette interference readout Im(U11 U22 U12* U21*). (3) THE 5-12-13 CODE: Q_{12;12} = (-5+12i)/324, normalized (-5+12i)/13 with 5^2 + 12^2 = 13^2 (atoms 5 = g_car, 12 = dim g_SM, 13 = Delta_Q = N(3+2i)); all nine plaquettes close on four Gaussian phase types with norms exclusively {10, 13, 130, 169} = {2*5, 13, 2*5*13, 13^2}; every plaquette has Im = +-1/27; the four fundamental plaquettes generate all nine via exact B-weighted composition. (4) THE CENTER BRIDGE: disc chi_A = 65 = det(A-I)^2 + (det A/2)^2 = 4^2 + 7^2 for the v530 atom matrix A = [[8,2],[5,3]], and e^{i delta} = (-det(A-I) +- i det A/2)/sqrt(disc chi_A) equals the transport-lift phase EXACTLY; -4+7i = (1+2i)(2+3i) with Gaussian norms 5, 13 (the v738 tower primes); NEGATIVE controls: the v530 siblings A_K (disc 48 vs identity 13) and A_Q (disc 13 vs 13/4) FAIL the identity -- the bridge selects the atom quotient A. (5) POWER LAW + RATIONALITY SELECTION: J_n^2 = (1-b)^2(1+2b-3a^2)/108 (a = (2/3)^n, b = (1/3)^n), every B^n unistochastic with its own U_n (U_6 built, |U_6|^2 = T exact); |J_6| = 0.0951088904 = 0.9884006 J_max; the uniform limit lifts to the Fourier matrix F3 at J_max = 1/(6 sqrt 3) exactly; J_n is RATIONAL ONLY at n = 1 (the deployed step hits 3(1+2b-3a^2) = 1 exactly, so J = 1/27) -- the Gaussian-Pythagorean code selects the single step. (6) NO FIXED MICROSTEP: B^2 != |U^2|^2 exact, and the Dirichlet recurrence witness n* = 967909 has min diag |U^{n*}|^2 = 0.999999 while B^{n*} is uniform to 5.6e-17 -- no single closed unitary generates the relaxing sequence; repeated steps require dephasing between steps, the six-step macro-gate U_6 is NOT U_1^6 (the coherent sharpening of the k5 clock-vs-walk verdict). (7) SELECTIVITY (hard kill passed): the obstruction certificate J^2 = -1/64 < 0 fires on the classic non-unistochastic control; mutated spectra give irrational J; census over 238 valid family points: 4 rational-J, EXACTLY ONE full 5-12-13 code point = the deployed (2/3, 1/3) (0.42% << the preregistered 10% kill). (8) PMNS NEAR-MISS stays NEGATIVE: branch phase 240.2551 deg near the deployed 240 deg (4pi/3, v270) but J_tr = -1/27 = -0.037037 != J_PMNS = -0.02965 and all three angles differ -- NO PMNS derivation. [C] literature: coherification by a reversible unitary iff unistochastic (Dunkl-Zyczkowski 0909.0116; Korzekwa et al. 1710.04228); a unitary lift carries quantum capacity log2 3. OPEN: the physical selection of sgn J; the A -> angles intertwiner (the bridge fixes the PHASE from A-invariants, the ANGLES come from B alone); any CP/time-orientation reading. Python-only per GATE.WOLFRAM.02 (SU(3)/plaquette/center-bridge symbolic algebra with nested radicals).
Original classification detail
[E] B unistochastic with exact SU(3) lift {U, U*}, J = +-1/27; 5-12-13 plaquette code (norms {10,13,130,169}); center bridge disc chi_A = 65 = det(A-I)^2 + (det A/2)^2 with sibling negatives; rationality selection (J_n rational only at n = 1); census unique full-code point = deployed (2/3, 1/3); no fixed microstep (Dirichlet witness); [C] coherification literature; PMNS near-miss stays negative; sgn J and the intertwiner OPEN
Dependencies as recorded
TRANSFER.HIDDEN.CIRCULATION.01; DYN.UNITARY.DILATION.01; v530_center_quotient_compiler.py; v738_hecke_mod_ramified.py; v270_pmns_jarlskog_assembly.py
Open the original ledger source, row 744Location 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
Sections that explicitly cite this claim
A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.
- The Sheet Diamond and the Winding Line: masses and transport from one surfacetfpt 2 standard model
- Research Contracts — DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (the three meanings of ``dynamics'')tfpt research contracts
- Research Contracts — DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (the three meanings of ``dynamics'')tfpt research contracts
- Front matter / supportStandard Model and flavor structure
- Research Contracts — DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (the three meanings of ``dynamics'')Research contracts
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- =150 2026-08-27 (CXXXVI) (the transport-lift wave — the two external-review rounds on the quantum structure of the seam transport graduate from the experiments tree into the load-bearing suite as v976_seam_lift_birkhoff.py and v977_transfer_unistochastic_wilson.py (suite [formula in source] , ledger [formula in source] : new rows TRANSFER.HIDDEN.CIRCULATION.01 and TRANSFER.COHERENT.WILSON.01, both ``executed half [E] / selection open [O]''; the exploration probes transfer_ birkhoff_ circulation_ probe.py 42/42 and transfer_ coherent_ wilson_ probe.py 28/28 stay in experiments/tfpt-discovery/ as the discovery record). (1) v976 — the Birkhoff fibre and the entanglement-breaking no-go. The Birkhoff (random-permutation) fibre of the seam single step [formula in source] (exact sixth root of the v221 kernel, [formula in source] bit-exact) is exactly a one-parameter line [formula in source] ; the hidden coordinate is the sign-character Fourier coefficient [formula in source] , populations are exactly [formula in source] -free, and no fibre member is chiral ( [formula in source] forced). The one-step coherence spectrum is [formula in source] and the triangle loop current is an exact eigen-observable [formula in source] — one step plus one current readout measures [formula in source] without an ancilla. On the contrast qubit the Choi partial transpose has spectrum [formula in source] : the deployed sixth-root spectrum sits exactly on the entanglement-breaking boundary because [formula in source] (mutated spectra miss by [formula in source] ); at the full three-level the family stays NPT at every tested iteration with [formula in source] , [formula in source] -independent. The no-go that sharpens DYN.UNITARY.DILATION.01: the deployed Kraus dilation [formula in source] is measure-and-prepare, hence entanglement breaking with quantum capacity [formula in source] and [formula in source] exactly — any dilation closing that contract must be a genuinely different object. Shannon KKT certificates: [formula in source] is exactly capacity-achieving for both [formula in source] and [formula in source] ( [formula in source] bit, [formula in source] bit, ratio [formula in source] ) — the surviving classical message is binary on every scale. The defect–Birkhoff value coincidence (weights [formula in source] vs the v652 ladder [formula in source] ) is recorded typed [C] with its honest multiplicity audit; the forcing functor is the named open contract TRANSFER.DEFECT.BIRKHOFF.01. (2) v977 — the unistochastic [formula in source] lift and the 5-12-13 Wilson code. [formula in source] is unistochastic: an exact [formula in source] with [formula in source] entrywise, angles forced by [formula in source] ( [formula in source] , [formula in source] , [formula in source] ), [formula in source] unique, lift set [formula in source] up to rephasing; Jarlskog [formula in source] exactly, and the real part of every Wilson plaquette is fixed by [formula in source] through unitarity — the full rephasing-invariant Wilson data is classical up to the [formula in source] orientation bit [formula in source] . The main plaquette is [formula in source] , normalized [formula in source] with [formula in source] (atoms: [formula in source] , [formula in source] , [formula in source] ); all nine plaquettes close on four Gaussian phase types with norms exclusively [formula in source] . The center bridge: [formula in source] for the v530 atom matrix, [formula in source] , and the v530 sibling quotients fail the identity — the bridge selects the atom quotient. Rationality selection: [formula in source] is rational only at [formula in source] (the deployed step hits [formula in source] exactly, so [formula in source] ); census over 238 valid family points: exactly one full-code point [formula in source] the deployed [formula in source] ( [formula in source] the preregistered [formula in source] kill). No fixed microstep: [formula in source] and a Dirichlet recurrence witness ( [formula in source] ) shows no single closed unitary generates the relaxing sequence — repeated steps require dephasing between steps, the six-step macro-gate [formula in source] (the coherent sharpening of clock-vs-walk). The PMNS near-miss stays a negative control ( [formula in source] vs [formula in source] ; [formula in source] ; no PMNS derivation). Surfaces. Research-contracts document: the DYN.UNITARY.DILATION.01 section gains the executed lift-structure sharpening, the CCC reduced-channel prose and the two former ``exploration-only'' citations of rounds DCXCVI/DCXCVII are upgraded to veri citations; origin_theory gains the honest ``what the classical transport does not determine'' paragraph next to the v221 recoverability code; tfpt_2 gains the [formula in source] bridge corollary in the v530 center-quotient block. No status marker moves; both contracts stay open; no PMNS/CP/flavor claim.)Research changelog; TFPT — Introduction and reading guide
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.
- Research Programme — the TFPT4D master route (one 4D transfer object instead of twenty formulas)tfpt research contracts
- Research Contract — SEAM.DETLINE.UNIFICATION.01 (the determinant-line unification hypothesis)tfpt research contracts
- The unique attractor: a gapped transport selects ONE fixed pointorigin theory
- The unique attractor: a gapped transport selects ONE fixed pointinput 4 origin theory
- Research Programme — the TFPT4D master route (one 4D transfer object instead of twenty formulas)tfpt research contracts
- The unique attractor: a gapped transport selects ONE fixed pointinput 4 origin theory
- Research Programme — the TFPT4D master route (one 4D transfer object instead of twenty formulas)Research contracts
- Research Contract — SEAM.DETLINE.UNIFICATION.01 (the determinant-line unification hypothesis)tfpt research contracts
Registered verification modules
- v977_transfer_unistochastic_wilson.pyRegistered verification module · frontier
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.