## Problem 059 — rank:269

**Title:** Output-preserving models of biological self-reference

**Added binding assumptions (LaTeX):**

```latex
The commuting-diagram condition alone admits a constant abstraction and is therefore vacuous. Require a decoder $\widetilde h$ with $d_Y(h(x,r),\widetilde h(A(x,r)))\leq\varepsilon_y$ on the same state class, for a fixed output metric $d_Y$, and require discrimination of predeclared phenotypic alternatives. Bound encoder/decoder regularity or description length so that a real coordinate cannot hide an unrestricted full-state encoding.
```

**Direct edits:** 1. **Fresh external checks:** None; supplied sources retained as provenance.