Registry · Definition VII.D01 tau-effective formalized

VII.D01 — Empirical Register

Typed readout functor from coherence kernel to observable predictions; content is falsifiable and revision-dependent.

Book VII Part 1 Ch. 3

Dependency Graph

Depended on by (4)

VII.L17 VII.T01 VII.T44 VII.T45

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.EmpiricalRegister