Registry · Remark IV.R386 established formalized

IV.R386 — Layer Discipline

Every equation has a definite layer: L0 = pure math (no physics), L1 = internal physics (tick counts, no SI), L2 = SI bridge (measurement procedures). Mixing layers is a category error.

Book IV Part 2 Ch. 10

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Physics.InternalEquations