Corpus definition canonical 2026-05-27T20:53:50+00:00
Corpus v3 · Definition cid001522DEF0292canonicalv1

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₂.

Payload

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₂.

Physical E₂ Agent

Summary

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₂.

Statement

\label{def:physical-e2-agent}
A \textbf{physical $\Elayer{2}$ agent} is an $\Elayer{2}$
computational agent $(C, D, \varphi)$
(Definition~\ref{def:e2-computational-agent})
whose carrier is $\Elayer{1}$-admissible:
\begin{enumerate}
\item[(i)] Code $C$, decoder $D$, and all intermediate states
      $C_n$ are $\Elayer{1}$-objects: finite spatial extent,
      bounded energy, sector addresses in the $4{+}1$
      decomposition.
\item[(ii)] The execution map $\varphi \colon C_n \to C_{n+1}$
      respects $\Elayer{1}$ causal structure: each step
      involves only causally connected regions
      (Remark~\ref{rem:light-cone-consistency}, Ch.~77).
\item[(iii)] Operational closure holds within the $\Elayer{1}$
      carrier: the cycle does not require external resources
      that grow without bound.
\end{enumerate}
Unlike the $\tau$-Tower Machine (which is $\tau$-native),
a physical $\Elayer{2}$ agent inherits its constraints from
the $\Elayer{1}$ physics of its carrier.

Proof / Justification

This item is definitional. No manuscript proof is required.

Source Context

  • Registry source: book-03.jsonl line 199
  • Manuscript source: 2nd-edition/book-iii-categorical-spectrum/02_mainmatter/part09/ch78-physical-turing-machines.tex lines 69-92

Lean / Formalization Notes

  • Formalization: not_applicable
  • Module: None
  • Name: None

Dependencies

  • Canonical: III.D49, III.D50, III.R40

Generated by later projection phases.

Generated by later projection phases.

Revision Notes

  • 2026-04-24: Initial pilot migration.

Identifiers

  • Corpus ID cid001522
  • Primary alias DEF0292
  • Type Definition
  • Status canonical
  • Visibility public
  • Version v1

Aliases & legacy IDs

III.D77physical-e-agentdef:physical-e2-agent

Release lines

corpus_v3_workingcorpus_v2

Relations

Appears in (1)

Sources

  • Monograph cid000024Book III, Part 9, Chapter 78 (Part IX)

Version & History

  • v1 · 2026-05-10 imported from v2 registry

Status disclaimer

A Corpus Item page reports the program's current internal record for this item. It does not imply external verification, scientific consensus, or final proof unless explicitly stated. Read it together with its dependencies, formalization status, and the program's overall stance.

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert