Box 1 is the `2r` bound in the adapter's direction, with the `o₂` term as its one-sentence diagnosis (R11)

Maintainer ruling, landed by the phase-2 round and closing the phase-1 queue's Box 1 entry. Headline.box1_one_model carries both; the landed uncertainty_deference_le (the other direction) is in the realization table, not the statement.