Alphabeta Math
RemarkRemark: AI-adaptedProof: Not applicablePipeline-generated
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.

The two force carriers and the scope of continuum conservation

Physical scope

Flat affine Minkowski spacetime; scope remarks on the force vocabulary, the conditional character of the conservation statements and the exclusions of the continuum framework. No gravity, electromagnetic coupling, equation of state, energy condition, angular-momentum theorem or empirical premise is asserted anywhere on this page.

Two force carriers

The force vocabulary of this framework has two distinct mathematical carriers. On a massive particle worldline the four-force is F=P˙=dP/dτ (Proper-time derivative of a vector field along a worldline and the four-force notation), and its identities are conditional on the adopted particle dynamics Adopted massive-particle momentum, observer measurement and isolated-collision conservation. In the continuum the force carrier is the four-force density fb=∂aTab of a symmetric type-(2,0) field (Stress-energy tensor, force density and local balance on flat spacetime). Neither object is a force law: the definition of P˙ asserts no equation of motion, and the definition of f asserts no conservation and no interaction.

Conservation is conditional

The page's conservation statements are conditional deductions. Local conservation of the scalar, dust and fluid tensors is proved from the adopted model equations of Local conservation of the adopted matter stress-energy tensors; for any other matter the conservation of T must be adopted or derived separately, and no conservation is asserted for an arbitrary prescribed symmetric field. Integrated conservation additionally requires the isolation premise of Isolation and the total stress-energy tensor and is asserted only for finite boxes and slices in one inertial chart Integrated conservation of the isolated total slice four-momentum; it does not supply a four-vector transformation law for the slice integrals and does not extend to noncompact regions.

Exclusions

The framework contains no gravity, no electromagnetic coupling, no derivation of an equation of state, no energy conditions — the printed dominant-energy-condition inequality of the Crowell source p. 191 is defective and is not used — no angular-momentum theorem and no empirical premise; no measurement, apparatus or uncertainty claim is made anywhere on this page. The energy conditions, the electromagnetic field stress tensor and its coupling to charged matter, and angular-momentum flux are developed, if at all, by other frameworks or pairs of the library, not here.

Depends on

Dependency tree · 2 levels

Sources