A registered result in its source context
Original ledger classification: Completion of the computable side [E]/[C]/[O] (diagonal zero at the KMS scale; closed-form resummation; multiplicity dichotomy; residual = the SEAM.EQUIV.01 face alone)
Recorded statement: THE DIAGONAL CHANNEL SETTLED -- THE MERGED TARGET COLLAPSES ONTO THE KEYSTONE (2026-07-14, deep-dive round III; completes the computable side of SEAM.CONTACT.UNIT.01/v484): [E] DIAGONAL ZERO AT THE KMS SCALE: the renormalised…
Statement, assumptions and sources
Paper context: Origin Theory
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
SEAM.CONTACT.UNIT.02
Original ledger classification: Completion of the computable side [E]/[C]/[O] (diagonal zero at the KMS scale; closed-form resummation; multiplicity dichotomy; residual = the SEAM.EQUIV.01 face alone)
Original claim text
THE DIAGONAL CHANNEL SETTLED -- THE MERGED TARGET COLLAPSES ONTO THE KEYSTONE (2026-07-14, deep-dive round III; completes the computable side of SEAM.CONTACT.UNIT.01/v484): [E] DIAGONAL ZERO AT THE KMS SCALE: the renormalised coincident-point Green function of |D| on a circle of circumference l (zero mode removed, flat short-distance subtraction) is G_reg(0; l) = (1/pi) ln(l/2pi) EXACTLY (symbolic limit + 30-digit numeric checks at l = pi, 2pi, 4pi) -- it vanishes iff l = 2 pi = 1/(4 c3), the v239 KMS seam circumference: the seam scale is the unique zero-self-energy scheme point. [E] THE LOG IS THE SCALE CHANNEL: G_reg(0; 2 pi kappa) = (1/pi) ln kappa -- matching the functional structure: F_U(1) carries exactly ONE log term (the transport 8 b1 c3^6 ln(1/phi_seam), v3) while the phi0 split (4/3)c3 + 48 c3^4 is log-free; [C] reading: the log term is the diagonal/scale channel, the log-free terms are contact data at the KMS point. [E] CLOSED-FORM RESUMMATION (the BFK/gluing route already in the suite, v151): for a finite-rank mark potential the zeta-det ratio reduces to the 4x4 mark determinant, and with the diagonal zero the v484 expansion RESUMS exactly: det(I - u C) = (1 - 4u)(1 + 2u)^2, u = eps c3 ln2, C = circ(0,1,2,1) -- closed form to ALL orders, the linear term absent precisely because the diagonal vanishes (Tr C = 0), series = v484's Tr(C^k) = 4^k + 2(-2)^k term by term. [E] WEIGHT DICHOTOMY (the multiplicity matching): the SAME 48 = 3 x 16 admissible states (v245) carry both multiplicities -- counted FLAT they give the phi0 puncture count 48 = Omega_adm = N_fam dim S+; counted with the U(1) response weights (Y^2 with the standard loop/GUT factors) they give the alpha budget 41 = 10 b1 = 40 fermionic (Tr_16 Y^2 = 10/3 exact, nu^c = 0) + 1 Higgs (Ginsparg (3/5)(41/6) = 41/10, v470) -- one state set, two response weights, no new number. [C]/[O] CONSEQUENCE: with v484 (unit + cycle sector) EVERY finite/computable piece of the merged ALPHA.QUILLEN.EXACT.01 + HYP.PHI0.PUNCTURE.01 target is proven; the single remaining [O] is the identification of the abstract seam zeta-det with this glued mark determinant -- a face of SEAM.EQUIV.01, exactly the v382 typing, now substantiated computationally. The merged residual collapses onto the keystone; no separate analytic unknown remains. No gate closes, no marker moves; no coefficient fitted (all integers forced by the square configuration and the SM charge table). UPDATED 2026-08-27 (v974): the BFK/gluing resummation named here is now EXECUTED (probe seam_bfk_conical_det_probe 21/21, promoted as v974): C_glue = 2^-N exactly (N = 1..4 symbolic, general interval lengths, Laurent-polynomial identity), massless reassembly det'_zeta(Delta_S1) = l^2 = 2^-N prod(2 a_j) (l/N) det'(R_0) with det'(R_0) = N l / prod a_j, jump matrix = inverse mark Green matrix R(m) = (G_m|_marks)^-1 exactly, and the diagonal/scale channel reproduced exactly through log det'Delta(l) - log det'Delta(1/(4 c3)) = (1/(4 c3)) G_reg(0; l). The keystone typing is unchanged: pillowcase moduli, the 8 b1 index budget and a |D|-level BFK as an operator identity stay open with the keystone.
Original classification detail
Computable side complete: diagonal = 0 at KMS scale, resummation closed-form, 48/41 = one state set under two weights; remaining [O] = the SEAM.EQUIV.01 face (v382 typing substantiated)
Dependencies as recorded
SEAM.CONTACT.UNIT.01; ALPHA.QUILLEN.EXACT.01; HYP.PHI0.PUNCTURE.01; HYP.PHI0.GEOM.01; EM.WARD.02; DYN.KMS.01; v3; v151; v239; v245; v434; v470; v483; v484
Open the original ledger source, row 546Location 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.
- Origin Theory
- Architecture, E8 and the electromagnetic fixed point
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.
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- 2026-07-14 (IV) ( v485 — the merged analytic target's computable side COMPLETED: the diagonal self-energy is renormalised to ZERO exactly at the KMS seam scale, the mark contact calculus resums in closed form (BFK route), and the [formula in source] / [formula in source] multiplicities are ONE state set under two response weights — the residual collapses onto the SEAM.EQUIV.01 face alone; no gate closes, no marker moves)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.
- The whole integer skeleton from one pair [formula in source]input 4 origin theory
- The EM closure: [formula in source] as an explicit fixed point (made explicit here)tfpt 1 architecture e8
- The whole integer skeleton from one pair [formula in source]input 4 origin theory
- The EM closure: [formula in source] as an explicit fixed point (made explicit here)tfpt 1 architecture e8
- The whole integer skeleton from one pair [formula in source]Origin Theory
- Der ursprüngliche Randport ist bereits berechenbar.TFPT Gesamtsynthese 2026-09-28
- The EM closure: [formula in source] as an explicit fixed point (made explicit here)Architecture, E8 and the electromagnetic fixed point
- 2026-07-21 (IV) (Wolfram engine reactivated — the deferred second-path mirrors VERIFIED: base [formula in source] [formula in source] extension [formula in source] ( [formula in source] , the 16 mirrors accumulated since 2026-07-14 now counted); GATE.WOLFRAM.01/02 and all counter surfaces synced; no gate closes, no marker moves)Research changelog; TFPT — Introduction and reading guide
All 15 linked sections
- =150 2026-08-20 (CXI) (the externalization contracts — the two open non-RH kind-(A) external-math targets SEAM.EQUIV.01 and ALPHA.QUILLEN.EXACT.01 packaged as short, self-contained EXTERNALIZATION CONTRACTS for outside specialist mathematicians (conformal nets/VOA/AQFT for the seam; determinant lines/ [formula in source] -invariants/index theory for alpha), added as two new sections at the end of tfpt_research_contracts (before ``Certifiability and recommended order''), plus a one-sentence pointer in the head keybox; DOCUMENTATION ONLY — no module touched, no number changed, no status marker moved, no gate closed or narrowed, NO RH claim: (1) the SEAM.EQUIV.01 contract states the minimal theorem (the scaling limit of the gapped [formula in source] -equivariant CAR collar exists in local-net topology; the index-4 simple-current extension functor commutes with the limit; the OS reconstruction is the holomorphic [formula in source] lattice net) broken into the four review-named lemmata L1 (uniform energy/nuclearity bounds — honestly typed: NO uniform nuclearity estimate exists in the corpus), L2 (convergence of local algebras, the cited Osborne–Stottmeister scaling-limit theorem with the [formula in source] -equivariant structure retained), L3 (crossed product commutes with the limit; the finite index-4 Q-system is explicit, v125/ v154/ v469) and L4 (uniqueness of the holomorphic [formula in source] reconstruction; [formula in source] vs the same- [formula in source] rival [formula in source] ), with the complete typed hypothesis list (12 PROVEN-FINITE rows citing v302/ v113/ v155/ v160/ v356/ v366/ v367/ v368/ v461/ v376/ v377/ v378/ v379/ v125/ v154/ v216/ v286, 5 CITED-CLASSICAL rows, 1 OPEN target), the runnable finite models, the HONEST Lean axiom surface ( SeamScalingLimit.lean kernel-proves only the arithmetic hypotheses by decide; the analytic content is named cited axioms over opaque Props; no sorry; explicitly flagged: L1–L4 have ZERO Lean content beyond the composition audit), five must-fail controls (MF-S1: [formula in source] alone must NOT suffice — the red-team point; MF-S2: index-2 glue must yield [formula in source] ; MF-S3: the trivial [formula in source] collar must give no chiral limit; MF-S4: non-order-4 clock breaks the marks; MF-S5: the v286 import firewall) and four acceptance tests; (2) the ALPHA.QUILLEN.EXACT.01 contract states the two-step theorem T1 (gap-stable continuum limit [formula in source] under norm-resolvent convergence with the Fermi gap uniformly open over the twist torus — the Dai–Freed section has no zero; finite side computed, v472) and T2 ( [formula in source] [formula in source] Bismut–Freed curvature [formula in source] inflow response with the exact corpus coefficients [formula in source] , [formula in source] , [formula in source] , [formula in source] , exponent [formula in source] ), the two named open faces (the analytic diagonal- [formula in source] /multiplicity face v484/ v485 and the topological EM1 lemma v48/ v435), the typed hypothesis list (10 PROVEN-FINITE rows citing v3/ v48/ v341/ v382/ v434/ v470/ v435/ v342/ v367/ v472/ v484/ v485/ v391/ v433, 5 CITED-CLASSICAL rows, 1 OPEN target), the runnable finite models, the HONEST Lean statement (there is NO Lean formalisation of this target — stated plainly), four must-fail controls (MF-A1: no experimental [formula in source] anywhere in the construction; MF-A2: deck/carrier/Chern-level ablations must destroy the CODATA match; MF-A3: [formula in source] , [formula in source] ; MF-A4: the [formula in source] [formula in source] -power/metric-independence partition) and the review's three acceptance tests verbatim (no experimental [formula in source] input; unique physical fixed point [formula in source] ; ablations destroy the hit) plus one structural test; (3) the website paper mirror of tfpt_research_contracts ( papers.ts) gains one section entry covering both contracts; tfpt_research_contracts.pdf and changelog.pdf recompiled and mirrored via bash build.sh website; maps and changelog.ts regenerated via bash build.sh gen; bash build.sh audit [formula in source] AUDIT OK; manifests regenerated LAST. Both targets stay [O]; NO RH claim anywhere)
- Nachweise der erneuten Prüfung
- Externalization Contract — ALPHA.QUILLEN.EXACT.01 (the determinant-line variation theorem, packaged for external specialists)
- Externalization Contract — ALPHA.QUILLEN.EXACT.01 (the determinant-line variation theorem, packaged for external specialists)
- Externalization Contract — ALPHA.QUILLEN.EXACT.01 (the determinant-line variation theorem, packaged for external specialists)
- 2026-07-15 (III) ( v488 — the [formula in source] Clebsch door ENUMERATED AND CLOSED: no minimal Pati–Salam/ [formula in source] Majorana channel can produce [formula in source] — the v482 escape is decided dead, the v481 window candidate stands as the honest endpoint; a clean negative result, no gate closes)
- The whole integer skeleton from one pair [formula in source]
Registered verification modules
- v485_contact_diagonal_closed.pyRegistered verification module · core
Read the description recorded in the module registry
SEAM.CONTACT.UNIT.02: the diagonal channel of the merged analytic target (v484) settled at the computable level -- the merged residual collapses onto the keystone. [E] diagonal zero at the KMS scale: G_reg(0; l) = (1/pi) ln(l/2pi) exactly, vanishing iff l = 2pi = 1/(4c3) (the v239 KMS circumference) -- the seam scale is the unique zero-self-energy scheme point; [E] the log is the pure scale channel, matching F_U(1)'s single log term (transport 8b1 c3^6 ln(1/phi_seam)) vs the log-free phi0 split; [E] closed-form resummation (BFK route, v151 class): det(I - uC) = (1-4u)(1+2u)^2 with u = eps c3 ln2 -- all orders, linear term absent because the diagonal vanishes (Tr C = 0), series = v484's Tr(C^k); [E] weight dichotomy: the SAME 48 = 3x16 states counted flat give the phi0 multiplicity 48 = Omega_adm, and Y^2/loop/GUT-weighted give the alpha budget 41 = 10b1 = 40 + 1 (Tr_16 Y^2 = 10/3 exact, Ginsparg (3/5)(41/6) = 41/10). [C]/[O] with v484 every finite piece of the merged target is proven; the single remaining [O] is the abstract-seam zeta-det identification = a face of SEAM.EQUIV.01 (the v382 typing, now substantiated). Nothing closes.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.