Registry · Proposition VII.P02 tau-effective formalized

VII.P02 — Seven-Book Partition

Four layers require minimum 7 books: 1 foundational (I), 2 architecture (II–III), 2 physics (IV–V), 1 life (VI), 1 metaphysics (VII).

Book VII Part 1 Ch. 7

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.SevenbookPartition