Original ledger status
HYP.PHI0.PUNCTURE.01
HYP.PHI0.PUNCTURE.01
NAMES THE phi0 PUNCTURE TERM AS A TRACKED [O] HEAT-KERNEL TARGET (2026-06-24, v408): dtop = Omega_adm c3^4 = 48 c3^4 = 3/(256 pi^4) IS the order-4 (|mu4|) local boundary Seeley-DeWitt contact term of the mu4 puncture divisor, summed over Omega_adm = N_fam dim S+ = 48 admissible fermion states -- the analytic complement of the icosahedral tree term phibase (v396, HYP.PHI0.01). Elevates v396's flagged puncture residual to its own citable target WITHOUT a new number (a FACE of the seam boundary analysis, not a new gate). [E] THE SPLIT IS EXACT: phi0 = phibase + dtop = 1/(6 pi) + 48 c3^4 (v396/ARCH.QUAD.01). [E] PUNCTURE COUNT = Omega_adm = N_fam dim S+ = 48, order = |mu4| = 4. [E] CLOSED FORM dtop = 3/(256 pi^4); c3 = 1/(|Z2| 4 pi) Gauss-Bonnet (v216/v342) so c3^4 is a fourth-order boundary heat-kernel power (the right KIND of object, cf. v391). [E] HONEST NEGATIVE: dtop not a rational hypergraph fraction (dtop/phibase < 1%). [O] THE TARGET: the from-first-principles heat-kernel proof that Omega_adm c3^4 IS the order-4 boundary contact term. [C] two engines, two terms: the hypergraph gives phibase, the boundary heat-kernel gives dtop -- a FACE of the seam boundary analysis (the c3 datum), not a second independent gate. No new number (reuses v396/ARCH.QUAD.01, Wolfram-mirrored under ARCH.QUAD.01/v37). UPDATE 2026-07-14 (v483/HYP.PHI0.GEOM.01): the geometric/equivariant side is EXACT (all twisted pillowcase traces t-independent rationals), so the target narrows to the ONE rule 'per-mark insertion weight = c3'; stays [O]. UPDATE 2026-07-14 (v484/SEAM.CONTACT.UNIT.01): the per-mark weight rule MERGES with ALPHA.QUILLEN.EXACT.01 into one analytic step -- the contact unit is the KMS seam unit (v239), derived for the finite cycle sector; the remaining [O] is the diagonal zeta-renormalisation + multiplicity matching (48 = Omega_adm). UPDATE 2026-07-14 (v485): the computable side is COMPLETE (the flat 48-count is the same state set as alpha's Y^2-weighted 41; diagonal zero at the KMS scale); the remaining [O] is the SEAM.EQUIV.01 face alone.
Recorded status: Named target [E]/[O] (the phi0 puncture 48 c3^4 as the order-4 boundary Seeley-DeWitt contact term of the mu4 puncture, summed over Omega_adm=N_fam dim S+=48; a face of the seam boundary analysis, elevates v396's puncture residual to a citable target; no new gate)
Dependencies, status detail and source
Canonical status: [E] the exact split phi0 = 1/(6 pi) + 48 c3^4, the puncture count Omega_adm=N_fam dim S+=48, the closed form 3/(256 pi^4), the hypergraph negative (reused from v396/ARCH.QUAD.01, machine-checked); [O] the from-first-principles heat-kernel-contact-term proof (the named target); [C] a face of the seam boundary analysis, not a second independent gate. A typing/registration of v396's puncture residual; introduces no new number.
Dependencies: HYP.PHI0.01; ARCH.QUAD.01; v396; v312; v216; v342; v391
Scripts: v408_phi0_puncture_heatkernel.py
Location: origin_theory
Original CSV, line 464