Registry · Definition VII.D02 tau-effective formalized

VII.D02 — Practical Register

Typed readout functor from kernel to normative constraints; content is action-guiding with normative consistency as coherence criterion.

Book VII Part 1 Ch. 3

Dependency Graph

Depended on by (2)

VII.L17 VII.T01

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.PracticalRegister