## Problem 017 — rank:214

**Title:** Quantitative proteostasis

**Added binding assumptions (LaTeX):**

```latex
For a stationary-law target take constant stress $u(t)=u_0$, or explicitly augment a stationary environmental process into the state. Require a specified invariant communicating class, finite first moments and positive expected total protein. Define $A$ in protein-monomer equivalents rather than number of aggregates if it shares the denominator with protein counts. A supremum of feasible loads is not a sharp transition unless monotonicity of feasibility is proved.
```

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