VI.D09 — Internal Evaluator

Eval_X is a morphism in End(X) with domain in X, requiring no oracle; distinguishes internal decoding from external observation. Carrier-internal computation.