A registered result in its source context
Original ledger classification: Reduction [E-num]/[E]/[O] (geometric side exact: t-independent rational twisted traces; value reduces to the one per-mark coupling rule)
Recorded statement: THE GEOMETRIC SIDE OF THE phi0 PUNCTURE TARGET IS EXACT (2026-07-14, deep-dive round; narrows HYP.PHI0.PUNCTURE.01/v408, does NOT close it): every twisted/orbifold heat trace of the flat tau = i pillowcase is a t-INDEPENDENT RATIONAL, so…
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
HYP.PHI0.GEOM.01
Original ledger classification: Reduction [E-num]/[E]/[O] (geometric side exact: t-independent rational twisted traces; value reduces to the one per-mark coupling rule)
Original claim text
THE GEOMETRIC SIDE OF THE phi0 PUNCTURE TARGET IS EXACT (2026-07-14, deep-dive round; narrows HYP.PHI0.PUNCTURE.01/v408, does NOT close it): every twisted/orbifold heat trace of the flat tau = i pillowcase is a t-INDEPENDENT RATIONAL, so the pi^-4 in dtop = 48 c3^4 cannot come from flat orbifold geometry at ANY order -- the entire analytic content sits in the coupling normalisation of the contact insertions. [E-num] TWISTED TRACES EXACTLY 1: Tr(gamma e^{t Delta}) = 1 for gamma = sigma (z->-z), rho (z->iz), rho^3 at every tested t in [0.05, 3] (position-space Gaussian image sums / erf closed forms + 2d quadrature, residual < 1e-9; mode-space proof: gamma permutes Fourier modes, only n = 0 is diagonal) -- t-independent, no asymptotic tail. [E] ATIYAH-BOTT MATCH: 1 = 4 x 1/|det(1-dsigma)| with det = 4 = |mu4| (four Z2 marks) and 1 = 2 x 1/|det(1-drho)| with det = 2 = |Z2| (two order-4 points). [E] PILLOWCASE DATA EXACT: orbifold heat trace = (1/2) Tr_T2 + 1/2 -- the Z2 contact term is EXACTLY 1/2 = 4 x (1/8 per mark) for all t; the clock-equivariant pillowcase trace is exactly 1 for all t. [E]/[O] THE REDUCTION: dtop = 48 c3^4 = 3/(256 pi^4) decomposes as 4 = |mu4| contact insertions of per-mark weight c3 (giving c3^4) times the multiplicity Omega_adm = 48; the bare 1/(2 pi)-propagator 4-cycle differs by the exact RATIONAL 3/16; the ONE remaining [O] is the rule 'per-mark insertion weight = c3' (seam zeta/Green normalisation), the same residual class as the EM-Ward c3-ladder (EM.WARD.02). The target narrows from 'derive the term' to 'derive the weight'. Complements the experiments-side Donnelly probe (honest negative). No gate closes, no marker moves.
Original classification detail
Reduction: geometric/equivariant side exact (rationals, all t); dtop's pi^-4 = coupling normalisation; remaining [O] = the per-mark weight rule
Dependencies as recorded
HYP.PHI0.PUNCTURE.01; HYP.PHI0.01; ARCH.QUAD.01; EM.WARD.02; v37; v216; v396; v408
Open the original ledger source, row 544Location 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
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 (II) ( v482– v483 — the deep-dive round: the [formula in source] -scale decision computation EXECUTED (the integer [formula in source] -rung excluded unstructured, the [formula in source] -proximate structure escape recorded and declined) and the [formula in source] puncture target HALVED (the geometric side proven exact: all twisted pillowcase heat traces are [formula in source] -independent rationals, so the [formula in source] must sit in the per-mark coupling weight) — 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
- 2026-07-14 (III) ( v484 — the two open analytic targets MERGE: the shared `` [formula in source] per boundary insertion'' rule of ALPHA.QUILLEN.EXACT.01 and HYP.PHI0.PUNCTURE.01 is the KMS seam unit [formula in source] with [formula in source] , derived on the seam circle for the finite cycle sector — no gate closes, no marker moves)Research changelog; TFPT — Introduction and reading guide
- 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
- The EM closure: [formula in source] as an explicit fixed point (made explicit here)Architecture, E8 and the electromagnetic fixed point
- The whole integer skeleton from one pair [formula in source]origin theory
Registered verification modules
- v483_pillowcase_exact_traces.pyRegistered verification module · core
Read the description recorded in the module registry
HYP.PHI0.GEOM.01: the GEOMETRIC side of the phi0 puncture target (HYP.PHI0.PUNCTURE.01/v408) is EXACT -- every twisted/orbifold heat trace of the flat tau = i pillowcase is a t-INDEPENDENT RATIONAL, so the pi^-4 in dtop = 48 c3^4 cannot come from flat orbifold geometry at any order. [E-num] Tr(gamma e^{t Delta}) = 1 exactly for gamma = sigma, rho, rho^3 at every tested t (position-space Gaussian image sums < 1e-9; mode-space proof: only n = 0 is gamma-diagonal); [E] Atiyah-Bott match: 4 x 1/4 (det = 4 = |mu4|) and 2 x 1/2 (det = 2 = |Z2|); [E] pillowcase contact term exactly 1/2 = 4 x 1/8 per mark, clock-equivariant trace exactly 1, all t. [E]/[O] the reduction: dtop's analytic content must sit in the per-insertion coupling normalisation (4 = |mu4| insertions of weight c3 -> c3^4, multiplicity Omega_adm = 48; the bare 1/(2pi) 4-cycle differs by the exact rational 3/16) -- the one remaining [O] is the rule 'per-mark weight = c3' (same class as EM.WARD.02). Target narrows from 'derive the term' to 'derive the weight'; stays open.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.