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.
Exact ideal emitter mass ODE and entropy accounting
Statement
Assume the exact Planck energy and coarse entropy flux formulas of Actual photon box trace and Planck energy/entropy flux. Fix model constants in SI units, with units respectively , , , and . Fix a normalization of the asymptotic time and energy reference, a dimensionless fraction , an initial mass in kilograms, a cutoff , and an entropy offset in joules per kelvin. Let be a mass function on an interval containing and its first cutoff time, with . For each define the model quantities Here is in metres, in square metres, is the fixed-reference inverse-length parameter in inverse metres, is in kelvins, and is a fixed entropy offset in joules per kelvin. Adopt an effective far-field emitter with area and power in watts, where is the coefficient in Actual photon box trace and Planck energy/entropy flux. Adopt the mass-balance equation , with in seconds measured by the fixed asymptotic time parameter; terminate the model at the first time . Then the exact solution until that cutoff is The parameter has units . The model exports energy in joules through cutoff. Define its coarse exported entropy by , in joules per kelvin. Then where and . This is an exact conditional calculation in the fixed-reference effective-area model. It is not a theorem about a material patch of a null horizon, an exact time-dependent Einstein solution, quantum backreaction, reference-independent Stefan emission, or a universal generalized second law.
Facts & Assumptions
Given: The Planck energy and coarse entropy flux equalities of Actual photon box trace and Planck energy/entropy flux; constants with the SI units stated above; , , , and ; the fixed asymptotic normalization; a positive mass function with through its first -cutoff; and the definitions, mass-balance equation, and cutoff convention in the Statement.
Actual photon box trace and Planck energy/entropy flux, Statement: in its explicitly defined isotropic ray model, and , with . The present Statement explicitly assumes these two flux formulas and their displayed coefficient; only those equalities are used in this conditional ODE accounting. Constructing the photon trace and proving the formulas by that supplier requires its explicit Countable Choice premise, but the elementary implication from the assumed formulas to the present mass/entropy identities does not invoke that construction.
The relation and the proportional effective area are adopted definitions of this mathematical model, not consequences about actual gravitational dynamics.
The asymptotic generator, energy, time, and temperature normalization is held fixed over ; no alternative normalization is silently substituted into the flux law.
Proof
Substitution of gives , , , and . Differentiating the last expression yields .
By [F1] the effective-area power is . The adopted balance equation [A1] is therefore with .
Along any positive solution, , hence the initial condition forces . The positive cube root is differentiable and satisfies the ODE until it reaches the positive cutoff, giving the stated solution and time . This also proves uniqueness among positive solutions because every such solution has the same cube.
Integrating from to gives . Differentiating and using step 1.1 and yields .
The entropy flux in [F1], multiplied by the stated area , is . Thus and integration gives the two endpoint entropy formulas. Since has positive quadratic coefficient and , its difference is positive and the offset cancels. No physical generalized-second-law conclusion follows beyond this stipulated model.