Registry · Definition VII.D05 tau-effective formalized

VII.D05 — MetaDecode Operator

Internal evaluator taking entire self-describing system as input; produces internal model of system's own code-carrying structure.

Book VII Part 1 Ch. 4

Dependency Graph

Depended on by (6)

VII.L01 VII.L04 VII.L07 VII.L21 VII.R51 VII.T03

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.MetadecodeOperator