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.
Prescribed constant-mass force law
A selected smooth external force law for a named massive test body of constant mass on a prescribed background; orthogonality is a compatibility condition preserving the mass shell, not a universal force principle.
Postulate
For a named massive test body with constant primitive mass measured in kilograms, SI conversion constant in metres per second, and momentum as defined in Mechanical momentum and observer energy, define the future unit timelike shell by
Let be an open neighborhood of contained in the future timelike velocity cone. For a massive body trajectory that is and parameterized by proper time , with a nonempty open interval, put and require for every . Specify a smooth map over the bundle projection , meaning (equivalently, ), and require for every . One may adopt this force map and the equation
The orthogonality condition is part of this model's compatibility assumptions, imposed throughout ; it preserves for constant . Since , this equation is equivalent to on the stated domain. It is not a law selecting a force for every particle or interaction. A local IVP follows only for data in , as in Smooth shell-tangent force initial-value problem. The force has SI units newtons when is in seconds and has units kg m s. No empirical force measurements, universal coupling, or global existence are asserted.