Registry · Lemma VII.L28 tau-effective formalized

VII.L28 — Operator Graph Completeness

All four components of the CI operator graph are determined by τ structural data at E₃ (no arbitrary choices).

Book VII Part 7 Ch. 88

Dependency Graph

Depends on (1)

VII.D71

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.operator_graph_completeness