How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Restricted reversible horizon entropy identification
An additional reversible heat and entropy-state-function identification on the selected connected, strictly subextremal, zero-magnetic-flux stationary Kerr–Newman family, conditional on matching each member's reduced exponential-current branch parameter and Killing flow at each family point to that member's positive geometric surface gravity and generator normalization. It asserts no entropy microstate count, general Hawking or KMS result, dynamical-process law, or empirical reading.
Postulate
Use the connected strict subextremal parameter domain with its physical Kerr–Newman family and SI conversion as in Physical KN family work and constancy. Fix positive constants in , in , in , and in . Write , , , , , and for the smooth parameter functions supplied by Physical KN family work and constancy.
Define the work-subtracted reversible heat one-form on by Here a one-form assigns a linear functional to each tangent direction in the family parameter domain; each term has units of joules. Let be a function with values measured in . It is a state function here in the explicit sense that its value is assigned to each family parameter point and does not depend on a path used to reach that point.
Assume the mathematical premise of The Axiom of Countable Choice () required by the selected spectral supplier. This is not a physical postulate.
For , define On the selected smooth ingoing Kerr–Newman spacetime belonging to the family member , write for the selected horizon generator with the length-flow parameter and reference normalization of Physical KN family work and constancy. Let denote the Levi-Civita connection of that member's metric. By that supplier and the conditional geometric definition in Thermodynamics-GR fields, currents, reference normalization and units, where the connection is taken on the spacetime indexed by the family point, not on the parameter domain . This is a smooth positive family map with values in . Put , in , as in the SI family theorem.
For each fixed , use a reduced exponential-current branch instance of Reduced quantum horizon temperature calibration whose Killing flow field is identified with and whose length-flow normalization is the family member's. The reference event is fixed within that instance as required by the PHS02 branch model. The branch instance satisfies the supplier's positive energy-gap, positive , and two-state-rate hypotheses; its scalar inverse-length parameter is held constant at . Let denote that instance's effective reference temperature. The supplier gives Adopt the additional reference-temperature identification , , so Thus is a smooth family map with values in kelvins. At a fixed family point , the unparameterized symbol denotes the value . It names only the selected reference scale in the reversible relation; it is not a local proper-temperature field and does not assert a stationary bath, a KMS state, or an observed detector reading.
Adopt the reversible thermodynamic identification as an equality of one-forms on : at each and , it means . This physical identification is an additional assumption. The geometric family identity and the reduced effective-temperature model do not by themselves assert it. No global entropy zero or identification with a quantum-gravity microstate count or an unrenormalized outside-state entropy is adopted.