Registry · Definition III.D77 tau-effective not_applicable

III.D77 — Physical E₂ Agent

An E₁ object (spatially bounded, energy-constrained, causally local) hosting E₂ operational closure (code→execution→code). Physical computation is E₁-hosted E₂, not abstract E₂.

Book III Part 9 Ch. 78

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module:

Symbol: