Internal Evaluator

An internal evaluator is a τ-categorical morphism in End(X) that decodes the carrier's own ω-germ without invoking an oracle. Three conditions: (i) it lives in the carrier's endomorphism algebra, (ii) its domain is contained in X, (iii) it requires no morphism from outside X. Internal vs external is the boundary between SelfDesc and observation.

Categorical invariant. Endomorphism Eval_X ∈ End(X) with domain ⊆ X and no oracle dependency; the categorical condition that separates SelfDesc systems from externally-decoded ones.

Primary registry anchor: VI.D09

Supporting items: VI.D08, VI.D12

1. I.K0 — Universe Postulate
2. VI.D15 — Life Sector
3. VI.D08 — SelfDesc Predicate — requires an evaluator that decodes the carrier's own distinction
4. VI.D09 — Internal Evaluator — Eval_X in End(X) with no oracle

Biomarker: Carrier-internal decoding machinery: ribosome (mRNA decoding), RNA polymerase (DNA decoding), aminoacyl-tRNA synthetases (charging fidelity), DNA polymerase + proofreading, mismatch repair, spliceosome — all reside inside the cell membrane and use only carrier-supplied substrates.

Measurable range: Ribosome translation fidelity ≈ 1 error per 10⁴ codons (without proofreading) → 10⁻⁵-10⁻⁶ with kinetic proofreading; DNA polymerase fidelity ≈ 10⁻⁵ raw → 10⁻⁹-10⁻¹⁰ with proofreading + MMR; aminoacyl-tRNA synthetase fidelity ≈ 10⁻⁴-10⁻⁵.

Observation method: In vitro translation with purified components; ribosome profiling for translation rate / errors; cell-free transcription-translation systems (PURE); CRISPR knockouts of decoding machinery; structural biology of ribosome decoding center; minimal-genome experiments (Mycoplasma JCVI-syn3.0).

Calibration anchor: LG-Y02-kinetic-pseudoscalar-channel

Anchor chain:

1. VI.L18 chirality channel
2. decoding machinery itself built from L-amino-acid proteins and D-sugar RNAs
3. evaluator's chirality is the carrier's chirality (no external chirality input)
4. internal-evaluator condition is chirality-channel-internal

Manuscript reference: manuscript-sources/book-06/part01/ch05-selfdesc.tex

Status: Planned

Module: TauLib.BookVI.LifeCore.SelfDesc

Lean kind: structure

Lean symbol: Tau.BookVI.SelfDesc.InternalEvaluator

Related glossary entries

• LG-I01-genetic-code Genetic Code
• LG-I09-selfdesc-over-code SelfDesc over Code (not Carrier)
• LG-Y02-kinetic-pseudoscalar-channel Kinetic Pseudoscalar Channel

Referenced by

• LG-I09-selfdesc-over-code SelfDesc over Code (not Carrier)
• LG-I11-decode-horizon DecodeHorizon