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.
Massive spinless test-particle action
Classical spinless structureless point test body of constant primitive mass m>0 on a prescribed smooth background; no self-field, radiation reaction, finite-size, quantum, or global-completeness claim.
Postulate
Let with , and let be a future timelike curve on the prescribed background of Ideal clocks on a prescribed Lorentzian background. Let be a variation, for some , such that each is future timelike, , and and . For a spinless, structureless massive test body of constant primitive mass , measured in kilograms, and the SI conversion constant metres per second, adopt the action on this finite segment
where is the ideal-clock increment specified by Ideal clocks on a prescribed Lorentzian background on this smooth segment. The model's free trajectories are precisely the curves stationary under the fixed-endpoint variations just specified; this is the local variation class in Timelike length action: arbitrary-parameter first variation. When is measured in seconds, has units metres per second, and the action has units joule-seconds. This is an adopted model premise, not a consequence of the metric or clock postulate. It excludes self-gravity, radiation reaction, spin, finite-size structure, particle creation, and quantum effects; it does not assert empirical adequacy for any particular body.