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.
Selected charged perfect-fluid exchange/Ohmic branch
A selected smooth positive-rest-energy perfect-fluid domain coupled through the adopted Einstein–Maxwell equations and matter exchange. The current is either convective or uses a separately selected smooth Ohmic conduction branch. It asserts no global fluid or conducting-fluid evolution, entropy law, or empirical validity.
Postulate
On a smooth open state domain in the spacetime and SI conventions of Smooth matter quantities, current and observer observables, choose rest-energy density , pressure , rest-charge density , and a future-timelike field with . The equation-based coupled branch uses Equation-based Einstein–Maxwell model and Smooth curved vacuum Maxwell constitutive adoption with a smooth symmetric matter tensor and current supplied by this selected fluid model. Adopt the perfect-fluid tensor
and either the convective current or a separately specified conduction current with . Adopt charge continuity and the local matter-exchange balance . The fields and derivatives are smooth enough for these equations to hold pointwise.
For an optional Ohmic branch, choose a smooth scalar conductivity in and impose , where is the rest-frame electric field in . This is a separate constitutive adoption, not a consequence of covariance or of the Maxwell equations. A smooth equation of state may be supplied on the chosen local state domain; no particular function, relativistic entropy law, causality assertion, or thermodynamic interpretation of is included here. The stress-projection and comoving work identities follow conditionally from Perfect-fluid exchange projections and conduction heating, but no global fluid or conducting-fluid solution theory is asserted.
This postulate adopts a local classical matter branch. It does not presume an unspecified matter action or infer empirical validity from the source literature.