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.
Local-equilibrium caloric entropy density
Fixed-composition local-equilibrium patches of the rigid continuum model; this caloric relation is not asserted for arbitrary nonequilibrium states or every thermodynamic material.
Postulate
For the local-equilibrium medium of Rectangular local-equilibrium field data, adopt a local entropy-density map measured in with where is the volumetric heat capacity and is measured in kelvins. Equivalently, for a fixed reference and reference density in , set The volume integral of this field is the entropy assigned by this continuum model. This adopts a local thermodynamic relation extending the macroscopic entropy framework of Concave macroscopic fundamental entropy; it does not prove that every evolving medium has such a local entropy density or identify it with an arbitrary finite-system entropy function.
For constant , the adopted relation gives . This is a restricted constitutive specialization, not a universal equation of state.