Registry · Definition II.D68 established formalized

II.D68 — Structural Sign Classification

Twelve-level classification of structural outcomes forced by the scalar unit equation u^2 = +/-1, satisfying completeness, traceability (at most three steps from the sign), and monotonicity (downstream levels depend on upstream outcomes).

Book II Part 11 Ch. 61

Dependency Graph

Depends on (2)

Depended on by (7)

Lean Formalization

Module: TauLib.BookII.Mirror.SignClassification

Symbol: SignLevel