ExampleConstruction: AI-generatedVerification: AI-generatedPipeline-generatedjudge pass (gpt-6-luna)

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.

Uniform prescribed-background perfect material

Physical scope

Exact constant-state perfect-material solution on prescribed Minkowski spacetime and its boosted observer energy density; no Einstein backreaction, material universality, measurement, or nonconstant solution claim.

Example

Choose Minkowski spacetime $R^{4}$ with length coordinates $x^{0} = c t$ , metric $g = diag (- 1, 1, 1, 1)$ , and its standard future cone. On a material state domain $X$ , fix $(v_{0}, σ_{0}) \in X$ with the adopted state function $e$ and its derived constants $n_{0} = 1 / v_{0}$ , $ε_{0} = n_{0} e (v_{0}, σ_{0})$ , $p_{0} = - e_{v} (v_{0}, σ_{0})$ , and $T_{0} = e_{σ_{p}} (v_{0}, σ_{0}) > 0$ . Let $u = (1, 0, 0, 0)$ be the constant future unit observer field and adopt the perfect model of Smooth perfect local material balance model on this prescribed background. Then the resulting homogeneous material is an exact solution of the local particle and stress balances.

For the constant future unit observer field $w = γ (1, β)$ , parameterize its boost relative to $u$ in this global Cartesian chart by the dimensionless vector $β \in R^{3}$ with $∣ β ∣ < 1$ , and put $γ = (1 - ∣ β ∣^{2})^{- 1 / 2}$ . The observer-projected energy density is $ε_{(w)} : = T^{a b} w_{a} w_{b} = (ε_{0} + p_{0}) γ^{2} - p_{0} .$ At zero boost this equals $ε_{0}$ . The nonzero-boost value is a frame-dependent stress-energy prediction within the model, not an observation. Prescribing Minkowski geometry here does not make this nonzero-stress configuration a solution of the coupled Einstein equations.

Facts & Assumptions

Given: Minkowski spacetime with signature $(-, +, +, +)$ , a constant state $(v_{0}, σ_{0}) \in X$ , the adopted perfect-fluid model on a prescribed background, and a dimensionless boost vector $β$ with $∣ β ∣ < 1$ .

[F1]

Smooth perfect local material balance model (draft physical postulate): $J^{a} = n u^{a}$ , $T^{a b} = ε u^{a} u^{b} + p (g^{a b} + u^{a} u^{b})$ , and the local balance equations are adopted in the stated smooth regime. This example uses only the prescribed-background branch.

[F2]

Thermodynamics-GR fields, currents, reference normalization and units: use length coordinates $x^{0} = c t$ with $c > 0$ in SI units, dimensionless unit observers satisfying $g (u, u) = - 1$ , and stress/energy densities in pascals ( $J m^{- 3}$ ).

[A1]

The background is fixed to Minkowski spacetime; no Einstein equation is imposed on it in this example.

[A2]

The material state is spatially and temporally constant and lies in the open domain $X$ ; the boost satisfies $∣ β ∣ < 1$ .

Verification

1.1givenA1A2F1algebra

In the global Cartesian coordinates, $g_{a b}$ is constant. Let $\nabla_{\partial_{a}} \partial_{b} = Γ^{d}_{a b} \partial_{d}$ . The coordinate fields commute, so torsion freedom in [F1] gives $Γ^{d}_{a b} = Γ^{d}_{b a}$ ; metric compatibility gives $\partial_{a} g_{b c} = Γ^{d}_{a b} g_{d c} + Γ^{d}_{a c} g_{b d}$ . Writing this compatibility identity with the permutations $(a, b, c)$ , $(b, a, c)$ , and $(c, a, b)$ , then adding the first two and subtracting the third, the terms with $Γ^{d}_{a c}$ and $Γ^{d}_{b c}$ cancel by symmetry and leave $2 g_{c d} Γ^{d}_{a b} = \partial_{a} g_{b c} + \partial_{b} g_{a c} - \partial_{c} g_{a b} = 0$ . Nondegeneracy of $g$ gives $Γ^{d}_{a b} = 0$ . Since $u$ , the state, $n_{0}$ , $ε_{0}$ , and $p_{0}$ are constant, $J^{a} = n_{0} u^{a}$ and $T^{a b} = ε_{0} u^{a} u^{b} + p_{0} (g^{a b} + u^{a} u^{b})$ have constant components. Their partial derivatives and every connection term vanish, so $\nabla_{a} J^{a} = 0$ and $\nabla_{a} T^{a b} = 0$ . This verifies the adopted local balances on the prescribed background.

2.1givenA2F1F2step 1.1algebra∎

The vector $w = γ (1, β)$ is future unit because $g (w, w) = γ^{2} (- 1 + ∣ β ∣^{2}) = - 1$ . Since $u \cdot w = - γ$ and $g^{a b} w_{a} w_{b} = - 1$ , contraction with the adopted stress gives $T^{a b} w_{a} w_{b} = ε_{0} (u \cdot w)^{2} + p_{0} (g^{a b} + u^{a} u^{b}) w_{a} w_{b} = ε_{0} γ^{2} + p_{0} (- 1 + γ^{2}) = (ε_{0} + p_{0}) γ^{2} - p_{0}$ . When $β = 0$ , $γ = 1$ and this reduces to $ε_{0}$ .

Uniform prescribed-background perfect material

Example

Facts & Assumptions

Verification

Depends on

Dependency tree · 2 levels

Sources