MetaDecode Operator
The MetaDecode operator (VII.D05) is the τ-categorical internal evaluator that takes an entire self-describing system (X, G, P, Φ) — including its decode map Φ — as input and produces an internal model of that system's own code-carrying structure. It is the architectural witness of self-reference: a carrier is an E₃-carrier iff MetaDecode is well-defined and faithful.
τ-Definition
The MetaDecode operator (VII.D05) is the τ-categorical internal evaluator that takes an entire self-describing system (X, G, P, Φ) — including its decode map Φ — as input and produces an internal model of that system's own code-carrying structure. It is the architectural witness of self-reference: a carrier is an E₃-carrier iff MetaDecode is well-defined and faithful.
Categorical invariant. Operator MetaDecode : (X, G, P, Φ) ⟶ Model(X, G, P, Φ) where (X, G, P, Φ) is a τ-finite carrier with genotype G, phenotype P, and decode map Φ : G → P satisfying SelfDesc(X). E₃ ⟺ MetaDecode is well-defined and faithful.
Primary registry anchor:
VII.D05
τ-Derivation Chain
-
I.K0— Universe Postulate -
VII.D05— MetaDecode operator — internal evaluator on self-describing systems -
VII.T03— Sector Decomposition at E₃ — uses MetaDecode to certify self-description -
VII.L07— Carrier Closure Lemma — MetaDecode preserves carrier structure
Lean modules referenced:
TauLib.BookVII.Meta.Registers
Phenomenological Correlate
MetaDecode is instantiated whenever a system holds a faithful internal model of its own modelling capacity. Examples: a compiler that compiles itself; an organism whose genome encodes the very translation machinery that reads it; a mind that can articulate the structure of its own thought.
Examples:
- Compiler bootstrap: a self-hosting compiler whose source code, compiled by itself, produces an identical compiler — internal model of the decode map
- Genetic code: ribosomes (phenotype P) translate mRNA (genotype G) into ribosomal proteins via the decode map Φ — life's MetaDecode witness
- Reflective programming: a metacircular evaluator (Lisp eval/apply) that interprets its own source — MetaDecode as faithful self-evaluation
- Self-articulating mind: an agent who can describe the structure of its own deliberation in terms internal to that deliberation
Register codomain: Internal (MetaDecode's codomain Model(X, G, P, Φ) lives inside the system itself; faithfulness means the internal model preserves the structural relationships of the original)
Manuscript reference: manuscript-sources/book-07/part01/ch04.tex
Lean Coverage
Status: Formalized
Module: TauLib.BookVII.Meta.Registers
Lean kind: structure
Lean symbol: Tau.BookVII.Meta.Registers.MetadecodeOperator