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.
Smooth perfect local material balance model
Fixed-composition, C2 local-equilibrium material on a smooth region with a perfect stress and conserved marker current; no universal equation of state, microscopic derivation, global gravitating additivity, or solution-existence claim.
Postulate
Let be an open region of a smooth, oriented, time-oriented Lorentzian four-manifold of signature , with its metric-compatible torsion-free connection . Use the local material-state and unit conventions of Rest fluid state, frame and geometric current definitions and Thermodynamics-GR fields, currents, reference normalization and units: a smooth future-directed unit timelike observer-congruence field has ; a state map takes values in a nonempty open ; and a supplied defines , , , , and . Adopt the selected fixed-composition material branch of Restricted local equilibrium parcel with adopted material state function, including its stipulated local-equilibrium regime and .
For this branch, adopt the perfect-fluid matter model with local balances and on . Here is the selected material-marker current and is the symmetric stress-energy tensor; the perfect branch adopts zero spatial marker diffusion and isotropic rest-space stress. The balances are physical model assumptions in the stated smooth regime, not conclusions from the state function or from geometry. They may be used on a prescribed background or together with an explicitly specified coupled Einstein model; this postulate does not assert a solution exists for arbitrary initial data or an arbitrary equation of state.
The marker receives its material-particle interpretation from the fixed-composition premise. No microscopic equation of state, universal material applicability, nonzero external force, dissipative flux, global self-gravitating energy additivity, or empirical observation is asserted.