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 effective classical constitutive regime
A phenomenological source-free classical constitutive model on a fixed smooth Lorentzian background, restricted to a declared small-invariant domain for one selected polynomial Lagrangian. No QED coefficient matching, derivative expansion, hyperbolicity, causality, solution existence, gravitational backreaction, measurement, or empirical validity is asserted.
Postulate
Use a smooth, boundaryless, oriented and time-oriented Lorentzian four-manifold with signature , the metric-selected connection and the independent orientation , and a fixed bundle sector with smooth connection and smooth real curvature two-form satisfying , as in the nonlinear constitutive definition linked below. Define its invariants
Choose fixed real parameters and a dimensionless . Adopt, as a classical source-free constitutive model on field configurations whose invariant values lie in
the Lagrangian density
The corresponding constitutive tensor in the supplier's convention is
Here is the Hodge map determined by the metric and independent orientation of the Lorentzian geometry. This postulate adopts the displayed constitutive assignment, but does not adopt or assert a solution of a nonlinear field equation.
The pair is fixed within a selected model but otherwise arbitrary; this item assigns no numerical values. If the components of have unit , then have unit and have unit , making the domain condition dimensionless. This is the mathematical normalization of the supplier, not an SI action prefactor.
The domain is an adopted regime label, not a proved error bound. No quantum origin, QED matching, coefficient value, derivative-correction control, characteristic-cone condition, hyperbolicity, causality, or solution-existence claim is included. The formal nonlinear field equations, if separately derived under the supplier's compact-variation hypotheses, do not establish that this model describes nature.
Postulate references
Scope and limitations
This is a selected phenomenological classical model with no empirical premise. The arbitrary parameters and invariant-domain threshold are declared inputs. Any claim of low-energy quantum derivation, approximation error, semiclassical consistency, gravitational coupling, or observed validity requires separate hypotheses and evidence.