Skip to main content

A registered result in its source context

Original ledger classification: Identity [E] (modular 2pi=1/4c3, scalaron Wald factor, area law) + physical bridge [C] (the BH/modular identification)

Recorded statement: BLACK-HOLE THERMODYNAMICS FROM THE SEAM: modular Hawking temperature + scalaron-corrected Wald entropy (2026-06-15, archive integration of the dropped tfpt-42 stationary-horizons/compact-objects section, re-typed through the…

Statement, assumptions and sources

Paper context: Horizon readouts

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

HOR.BHTHERMO.01

Original ledger classification: Identity [E] (modular 2pi=1/4c3, scalaron Wald factor, area law) + physical bridge [C] (the BH/modular identification)

Original claim text

BLACK-HOLE THERMODYNAMICS FROM THE SEAM: modular Hawking temperature + scalaron-corrected Wald entropy (2026-06-15, archive integration of the dropped tfpt-42 stationary-horizons/compact-objects section, re-typed through the Tomita-Takesaki seam work v198/v199). (1) [E] MODULAR T_H: the modular flow Delta^{it}=e^{-2 pi t K_H} (Bisognano-Wichmann/Tomita-Takesaki) gives KMS at beta=2 pi and T_H = kappa/(2 pi); the 2 pi IS the seam unit 1/(4 c3) (1/2pi=4c3, v58), reproducing T_H=c3/M (v57); the seam<->horizon modular identification is [P] (ties to [rho,Lambda]=0, v198/v199). (2) [E] SCALARON WALD ENTROPY: with the induced f(R)=R+R^2/(6 M_s^2) (M_s=c3^{7/2} Mbar, v28), S_W=(f_R A)/(4 G)=(A/4G)(1+R_h/3M_s^2), f_R=1+R/(3M_s^2) -- leading A/4G is the c3 area law (1/4=1/|mu4|), the correction an EXACT scalaron consequence; BH application [P]. (3) [E] SdS T_H=(1/4pi r_h)(1-Lambda r_h^2), 1/4pi=2c3. (4) [E] area law S_BH=M^2/(2c3)=4 pi M^2=A/4G, same 1/(4c3)=2pi factor as the modular beta. Wolfram-mirrored (the f_R Wald identity + modular 2pi=1/4c3 are exact)

Original classification detail

Identity/bridge [E]/[C]: T_H=kappa/2pi from modular flow (2pi=1/4c3); scalaron Wald entropy S_W=(A/4G)(1+R_h/3M_s^2) exact from v28; area law S_BH=A/4G; the BH/modular identification is [C]

Dependencies as recorded

AX.P1.01; HOR.01; v57_horizon_crosslinks.py; v28_gravity_fR.py; v198_modular_commutator_reduction.py

Open the original ledger source, row 293

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.

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.

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.

All 11 linked sections

Registered verification modules

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

    black-hole thermodynamics from the seam: the modular Hawking temperature and the scalaron-corrected Wald entropy (archive integration of the dropped tfpt-42 stationary-horizons/compact-objects section, re-typed through the current Tomita–Takesaki seam work v198/v199). [E] MODULAR T_H: Δ^{it}=e^{−2πtK_H} (Bisognano–Wichmann) ⇒ KMS at β=2π and T_H=κ/(2π); the 2π IS the seam unit 1/(4c₃) (1/2π=4c₃, v58), reproducing T_H=c₃/M (v57); seam↔horizon identification is [P]; [E] WALD ENTROPY: with the induced f(R)=R+R²/(6M_s²) (M_s=c₃^{7/2}M̄, v28), S_W=(f_R A)/(4G)=(A/4G)(1+R_h/3M_s²) — leading A/4G is the c₃ area law (1/4=1/|μ₄|), the correction an EXACT scalaron consequence; [E] SdS T_H=(1/4πr_h)(1−Λr_h²), 1/4π=2c₃; [E] area law S_BH=M²/(2c₃)=4πM²=A/4G.

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