## Problem 278 — rank:113

**Title:** Autonomous design–build–test–learn

**Added binding assumptions (LaTeX):**

```latex
Finite uniform cost guarantees generally require a positive performance margin, controlled observation tails and a detectable successful-build probability. Mere existence of a design exactly at threshold can be insufficient under noise. Define the stopping rule and final design from the same adaptive filtration and retain failed-build costs. State whether the guarantee is frequentist over a structural class or prior-averaged; the latter does not imply the former.
```

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

