Registry · Theorem VII.T01 tau-effective formalized

VII.T01 — Register Independence Theorem

Incoherence in one register does not entail incoherence in any other; four registers are structurally independent.

Book VII Part 1 Ch. 3

Dependency Graph

Depends on (4)

VII.D01 VII.D02 VII.D03 VII.D04

Depended on by (3)

VII.P01 VII.T04 VII.T48

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.RegisterIndependenceTheorem