Registry · Proposition V.P120 tau-effective formalized

V.P120 — Structural rigidity

Axiom system K0-K6 admits a unique coherence kernel; every dimensionless constant derived; no continuous variation possible.

Book V Part 8 Ch. 74

Dependency Graph

Depends on (3)

I.D01 I.D34 IV.D04

Lean Formalization

Module: TauLib.BookV.Coda.HermeticClosure

Symbol: Tau.BookV.Coda.structural_rigidity