Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generated‡ sources checked 2026-10-15
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

Physical scope

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 a,b∈R with a<b, and let x:[a,b]→M be a C2 future timelike curve on the prescribed background of Ideal clocks on a prescribed Lorentzian background. Let H:(−ϵ0,ϵ0)×[a,b]→M be a C2 variation, for some ϵ0>0, such that each H(ϵ,⋅) is future timelike, H(0,s)=x(s), and H(ϵ,a)=x(a) and H(ϵ,b)=x(b). For a spinless, structureless massive test body of constant primitive mass m>0, measured in kilograms, and the SI conversion constant c>0 metres per second, adopt the action on this finite segment

Sm[x]=−mc∫ab−g(dx/ds,dx/ds) ds=−mc2Δτ,

where Δτ:=c−1∫ab−g(dx/ds,dx/ds) ds 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 C2 variations just specified; this is the local variation class in Timelike length action: arbitrary-parameter first variation. When s is measured in seconds, T 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.

Depends on

Dependency tree · 2 levels

Sources