A registered result in its source context

Location 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
  Browse this documentRead the PDFOriginal source

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-06-17 (The Modular Spectral Closure: Dirac as covariance induction, the modular cutoff, the Kummer/K3 unification, and the assembly certificate, v258– v261)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.

• Firewall Contract — GRAV.NONCIRCULAR.01 (the Bisognano–Wichmann direction discipline)tfpt research contracts
• The closure ledger: what is done, and what genuinely remainsTFPT — Introduction and reading guide
• Honest statusinput 4 origin theory
• The ambient closure: one spectral-action measure, IR-complete by decouplingtfpt 2 standard model
• 2026-06-19 (an infinite-derivative narrowing of the Stelle-ghost attack, the double-pushout figure, and the ``constancy of [formula in source] '' framing of SEAM.EQUIV.01: v304)Research changelog; TFPT — Introduction and reading guide
• Research Contract 1 — [formula in source]tfpt research contracts
• Honest statusorigin theory
• 2026-06-23 ( v380 — the KMS Entire Hessian: the Stelle ghost is EXACTLY the Seeley–DeWitt truncation, and resummation pushes it to infinity)Research changelog; TFPT — Introduction and reading guide

Registered verification modules

• v259_modular_cutoff_kappa.pyRegistered verification module · registry
  Read the description recorded in the module registry

  PS.SPECACT.02 — the spectral-action CUTOFF is the seam KMS weight, fixing f_2/f_0=1 EXACTLY and reducing the last open scheme freedom (v253 #5, v255 #7) from a free function to a finite-triple trace ratio (Q4: the cutoff is modular not chosen). By Tomita-Takesaki/BW the seam state is KMS at beta=1 (v239) and 2pi=1/(4c3) (v58) fixes beta, so the heat-kernel cutoff f(u)=e^{-u} is DERIVED. [E] KMS cutoff moments f_0=f(0)=1, f_2=int f=1, f_4=int u f=1, so f_2/f_0=f_4/f_2=1; [E] seam-fixed beta=1 (no new parameter beyond c3); [E] non-vacuous neg control: a Gaussian cutoff e^{-u^2} gives f_2/f_0=sqrt(pi)/2 != 1; [E] kappa=sqrt((f_2/f_0)c_PS/c_grav)=sqrt(c_PS/c_grav), no cutoff function left; [C] RG kappa~1.3 pins c_PS/c_grav~1.7 (O(1)); the [O] free scheme becomes a [C] finite computation over the built triple; [C] same logic fixes lambda(Lambda).

A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.