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.
Supplied thermodynamic chart and gravitational entropy variation model
Fixed-radius static spherical Lambda=0 Einstein-fluid model with a supplied compatible local-material entropy chart, positive-b profiles, proper entropy and particle number, Einstein mass-energy constraint, constrained first variations and a specified boundary clock; no arbitrary barotropic EOS, entropy maximum, maximizing-profile existence, vacuum match, empirical claim, or dynamical stability.
Postulate
Assume exactly as in Proper spherical entropy and particle constrained functionals. Adopt a separate static, spherically symmetric, isotropic Einstein-fluid preparation using the geometry and , conventions of Smooth static spherical geometry and state domain, without a separate barotropic relation . The adopted field equation is with and the signed curvature convention in Smooth static spherical geometry and state domain. Fix a radius , and supply a open state chart with coordinates energy density in and fixed-composition marker number density in . Supply in with , and define Assume this chart is compatible with the adopted material energy-per-marker function of Restricted local equilibrium parcel with adopted material state function: , , , and on the supplied chart. The symbols respectively have units kelvins, joules, and . The local identities and are those of the exact mathematical chart definition Proper spherical entropy and particle constrained functionals.
For positive even profiles with compact range in , define exactly by Proper spherical entropy and particle constrained functionals and require on . The adopted proper entropy and particle number are and , while the constrained mass-energy is . Restrict variations to the supplied positive- chart at fixed and fixed , and choose the boundary time normalization .
This model supplies local material thermodynamics and a gravitational mass constraint as assumptions. Its variation problem is not an independent derivation of all Einstein equations. A stationary profile is only a first-variation critical point; no entropy maximum, existence of a maximizing profile, boundary vacuum matching, or physical observation is assumed.