Force as Boundary Mode
Force in the τ-framework (IV.D402) is not a mediated push or pull, but a τ-categorical Boundary Mode: the rate-of-change of a defect bundle's CR-tension at the τ-boundary, equal to the τ-derivative of momentum on the bundle's worldline. Newton's second law is recovered as a categorical identity, not a dynamical postulate.
τ-Definition
Force in the τ-framework (IV.D402) is not a mediated push or pull, but a τ-categorical Boundary Mode: the rate-of-change of a defect bundle's CR-tension at the τ-boundary, equal to the τ-derivative of momentum on the bundle's worldline. Newton's second law is recovered as a categorical identity, not a dynamical postulate.
Categorical invariant. Force(B) := boundary-mode of CR-tension change on B = dp/dτ on the bundle's worldline; an E2 invariant on the τ-boundary.
Primary registry anchor:
IV.D402
τ-Derivation Chain
-
I.K0— Universe Postulate establishes τ -
IV.D76— Energy as CR-Tension supplies the operational energy form -
IV.D402— Force as Boundary Mode := boundary rate-of-change of CR-tension -
IV.D274— Defect functional gives the variational form for momentum p -
IV.D476— Force Atlas catalogues sector-specific force specializations (gravity, EM, weak, strong)
Lean modules referenced:
TauLib.BookIV.Physics.DefectFunctional
SI Translation
Calibration anchor: PG-P01-neutron
Calibration chain:
- m_n (anchor)
- kg via mass anchor; m via c (IV.D293); s via Cs hyperfine
- N := kg·m/s² composed from these three
Manuscript reference: manuscript-sources/book-04/part04-quantum-mechanics/ch-force-atlas.tex