Results · Additional Noteworthy Results · Metaphysics
Related existing surface
Medium confidence
Carrier Exhaustion
At E₃ the carrier is exhausted; SelfDesc² captures all self-referential structure; MetaDecode(MetaDecode(X)) ⊆ MetaDecode(X).
VII.L21
Metaphysics
Book VII
tau-effective
formalized
What this page is
This is a public Results-lane surface for a noteworthy Metaphysics Registry item. It is generated from the Corpus Registry triage catalogue and keeps the generic Result catalogue unchanged.
Registry evidence
- Registry item: VII.L21
- Type: lemma
- Scope: tau-effective
- Lean status: formalized
- Book / part / chapter: Book VII · Part 1 · Chapter 8
Result summary
At E₃ the carrier is exhausted; SelfDesc² captures all self-referential structure; MetaDecode(MetaDecode(X)) ⊆ MetaDecode(X).
Related Results surfaces
Reading role
Use as Registry evidence for an existing Results surface.
Claim boundary
This page reports a Registry-backed internal result surface. It is not an external validation claim, a scientific consensus claim, or independent acceptance.
Curation rationale
- metaphysics-facing terms: self
- result-facing terms: structure
- technical/internal terms: lemma
- candidate is better handled as evidence for an inferred existing public surface
Review notes
- No additional review notes recorded.