## Problem 245 — rank:104

**Title:** Rewiring cancer cells: abstract state-transition limits

**Added binding assumptions (LaTeX):**

```latex
Specify the cell-state spaces and outcome regions separately: a less-malignant cancer-cell state is not automatically a normal-cell state. Terminal membership alone does not establish the stated sustained function; add a residence-duration criterion or define the target state to encode the required history. The policy is shared across all compatible models and uses only its declared observations. A separate policy for each model would be a weaker quantifier order.
```

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