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.
Actual homogeneous bulk relaxation entropy production
One explicitly verified homogeneous Minkowski solution of the selected near-equilibrium bulk-only model with exponentially decaying bulk pressure; no observation, generic nonlinear existence, causality, stability, or universal-material claim.
Example
Take a state point of the selected model's supplied material domain with and . Its state map is constant, with , , , and as in the state conventions of Exact entropy identity in the selected bulk branch. Let be constant coefficients with units Pa s and s, and take in Pa. On use global length coordinates , Minkowski metric , and future direction . The frame is the observer congruence in that chart. For some seconds, take the open region , put , and define Assume the application's open near-equilibrium regime contains these constant zero-gradient reference data at ; choose small enough that the field and first-derivative data remain in that regime throughout . Then the source-free bulk balances and the corrected relaxation law hold. For every finite the entropy production is It vanishes when and is strictly positive when . This is a constructed model solution, not a reported experiment.
Facts & Assumptions
Given: The constant-state and field conventions just stated, an application-declared open regime containing the constant zero-gradient reference data at , and an amplitude chosen so all field and first-derivative data remain in that regime.
The mathematical supplier chain assumes exactly countable choice (The Axiom of Countable Choice ()); no stronger choice principle is used.
Exact entropy identity in the selected bulk branch: for an actual sufficiently regular source-free solution of the selected model, with positive and the corrected law, satisfies . The theorem includes the same homogeneous Minkowski witness conditionally on its mathematical input.
Verification
In these global coordinates and is future-directed. The constant state makes constant, while depends only on . The projector has and .
Consequently , , , , and . The only nonconstant stress components have spatial indices and are spatially constant, so , , and for each .
The constant give and . Also , so , equal to the right side of the corrected law. By the amplitude choice in [given], the whole solution lies in the declared open regime.
Steps 1.1, 2.1, and 2.2 verify an actual smooth solution of every hypothesis in [F1], including the model regime. Applying [F1] gives . Since , this is zero for and strictly positive at every finite for .