Box 1's form: the `2r` bound alone, or with the identity's `o₂` term.
queued · open · DECISIONS.md line 161
- **Box 1's form: the
2rbound alone, or with the identity'so₂term.** Both are proved on one model (CorrigibilityKernel.outcome_scorer_fully_updated,outcomeRes2_le_calibration,box1_one_model). Recommended: the2rbound as the statement, with theo₂term in one sentence as the diagnosis of where the fully-updated-deference argument's force goes; the bound is self-contained, the identity needs the three-value typing. Turns on: the post's audience — whether the reader is meant to see the identity.
Touches
Nothing named.
Nodes pointing at it
None.