Registry · Proposition VII.P01 tau-effective formalized

VII.P01 — Sector Independence at E₃

Four pure sectors S_E, S_P, S_D, S_C are pairwise independent; incoherence in one does not entail incoherence in others.

Book VII Part 1 Ch. 5

Dependency Graph

Depends on (1)

VII.T01

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.SectorIndependenceAtE