A registered result in its source context
Original ledger classification: Identity [E] (executed half: fibre line, discriminator, criticality, EB no-go, KKT) + literature [C]; fibre-point selection open
Recorded statement: THE HIDDEN CIRCULATION CONTRACT, executed half (registered 2026-08-27; external-review round, companion of the DYN.MARKOV.EMBED.01/DYN.UNITARY.DILATION.01 split). [E] (v976, sympy/Fraction-exact): (1) the Birkhoff fibre of the seam single…
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.HIDDEN.CIRCULATION.01
Original ledger classification: Identity [E] (executed half: fibre line, discriminator, criticality, EB no-go, KKT) + literature [C]; fibre-point selection open
Original claim text
THE HIDDEN CIRCULATION CONTRACT, executed half (registered 2026-08-27; external-review round, companion of the DYN.MARKOV.EMBED.01/DYN.UNITARY.DILATION.01 split). [E] (v976, sympy/Fraction-exact): (1) the Birkhoff fibre of the seam single step B (exact sixth root of the v221 kernel; B = (1/2)I + (1/18)P12 + (2/9)P13 + (2/9)P23 bit-exact) is EXACTLY a one-parameter line w_t, t in [0, 1/18], because the decomposition map on R[S3] has the 1-dim kernel (even - odd); the hidden parameter is the sign-character Fourier coefficient w_t-hat(sgn) = 6t; populations are exactly t-free and no fibre member is chiral (w(C123) = w(C132) forced -- the typed obstruction for any chirality reading). (2) THE DISCRIMINATOR: one-step coherence dynamics is the weighted left regular S3 representation with spectrum {1, 6t, 2/3 x2, 1/3 x2} exactly; the triangle loop current A is an exact eigen-observable Psi_t(A) = 6t A (population-blind; one step + one current readout measures t, no ancilla; one-step tomography rank 6 determines all six weights). (3) CONTRAST-QUBIT CHOI LAW: spec(Choi^{T2}) = {-3t/2, 1/6+3t/2, 1/3+3t/2, 1/2-3t/2} symbolically; CRITICALITY lambda_min = (1 - lambda2 - lambda3 - 6t)/4 with lambda2 + lambda3 = 2/3 + 1/3 = 1 EXACTLY: t = 0 sits precisely ON the entanglement-breaking boundary (mutated spectra {2/3,1/2}/{1/2,1/3} miss by -1/12/+1/12 -- criticality not generic); the squared channel is PPT on the whole range (endpoint minima 1/9, 1/12). (4) FULL-LEVEL NPT PERSISTENCE: lambda_min(Choi(Psi_t^n)^{T2}) = -(1/3)(2/3)^n, t-independent (exact eigenvalue for n in {1,2,6}; float minimum n = 1..8) -- the 3-level family is never EB at tested n (pinned by the invariant coherent state (1,1,1)/sqrt3). (5) THE NO-GO for DYN.UNITARY.DILATION.01: the deployed Kraus dilation K_ij = sqrt(T_ij)|i><j| is measure-and-prepare (one step kills every coherence, fully symbolic), its Choi is diagonal => entanglement breaking => quantum capacity 0; C_0(T) = 0 exactly (T entrywise > 0); the Kraus channel is NOT in the Birkhoff fibre. (6) BINARY MESSAGE (KKT, 50 digits): p* = (1/2, 1/2, 0) exactly capacity-achieving for BOTH T and B; C(T) = 0.00835801913781 bit, C(B) = [13 log2(13/7) - log2 7]/18 = 0.4890415237 bit, ratio 1.709%. [C] literature-typed: PPT<=>separable in 2x2 (Peres-Horodecki), separable Choi <=> EB (Horodecki-Shor-Ruskai quant-ph/0302031), EB index (Lami-Giovannetti 1411.2517) => qubit n_EB = 1 (t = 0) / 2 (t > 0). [C] VALUE COINCIDENCE (observation, NOT a theorem): the t = 0 weights (9,1,4,4)/18 = (3^2,1^2,2^2,2^2)/18 hit the v652 c = 0 defect-ladder values 2*Delta = g^2/18 including w(I) = 1/2 = 2*Delta(gt=3); multiplicity matches only at g = 2; the forcing functor (CFT defect dimension -> Birkhoff weight) is the OPEN half, named TRANSFER.DEFECT.BIRKHOFF.01. OPEN: the physical selection of a fibre point t; any 4D/flavor reading. Python-only per GATE.WOLFRAM.02 (channel/Choi/Birkhoff algebra; the exact seam rationals already mirrored).
Original classification detail
[E] the Birkhoff fibre of B is the sign-character line t in [0,1/18]; loop-current discriminator Psi_t(A) = 6t A; qubit Choi law -3t/2 with EB criticality 2/3 + 1/3 = 1; full-level NPT -(1/3)(2/3)^n; the deployed Kraus dilation is EB (Q = 0, C_0 = 0); binary-message KKT certificates; [C] defect-Birkhoff value coincidence (forcing functor OPEN as TRANSFER.DEFECT.BIRKHOFF.01)
Dependencies as recorded
DYN.UNITARY.DILATION.01; DYN.MARKOV.EMBED.01; QEC.SEAM.01; v221_seam_qecc.py; v652_orbifold_arf.py
Open the original ledger source, row 743Location 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.
- 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
- 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 — CCC.SEAM.CROSSOVER.01 (the conformal-cyclic crossover on the seam geometry)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
- Research Contract — CCC.SEAM.CROSSOVER.01 (the conformal-cyclic crossover on the seam geometry)Research contracts
- The unique attractor: a gapped transport selects ONE fixed pointinput 4 origin theory
- Die korrekt markierte EreignisfaserTFPT Gesamtsynthese 2026-09-28
Registered verification modules
- v976_seam_lift_birkhoff.pyRegistered verification module · frontier
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.