Registry · Definition III.D49 tau-effective formalized

III.D49 — E₂ Computational Agent

An E₂ object: a code C paired with a decoder D such that D(C) produces another code C'. The cycle C → D(C) → C' → ... is computation. Formal definition of the self-referential structure unique to E₂.

Book III Part 9 Ch. 54

Dependency Graph

Depends on (3)

Depended on by (6)

Lean Formalization

Module: TauLib.BookIII.Computation.E2Agent

Symbol: e2_agent_check