Registry · Definition IV.D324 established formalized

IV.D324 — Equation Layer

Three ontological layers: Layer 0 (MathKernel, pure category theory), Layer 1 (InternalPhysics, tick counts, no SI), Layer 2 (SIBridge, measurement procedures). Every equation belongs to exactly one layer.

Book IV Part 2 Ch. 10

Dependency Graph

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Physics.InternalEquations

Symbol: Tau.BookIV.Physics.EquationLayer