Registry · Definition VII.D06 tau-effective formalized

VII.D06 — Metaphysics Loop Class

Collection of internal loops in which MetaDecode participates; comprises law-predicate towers where each level governs below and is recognized above.

Book VII Part 1 Ch. 4

Dependency Graph

Depended on by (1)

VII.L01

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.MetaphysicsLoopClass