osg-theorem1-corollary
and · drafted
Statement
Theorem 1 of the off-switch game (Hadfield-Menell et al.) is a corollary of a general value-of-information theorem, with the agent's gain from deferring equal to the smaller of the positive and negative parts of expected utility and strictly positive exactly when utility has mass on both signs.
Source
projects/deference/faf-cleanroom-2026-10-02/packages/corr-osg-chai, the declaration osgDelta_rational_pos_iff.
Bridge card
Connected to no informal claim yet: held by no frame.
Declaration osgDelta_rational_pos_iff (record osg-theorem1-corollary.record)
The declaration's quantity is the off-switch game's incentive to defer and its positivity condition is the paper's Theorem 1 read as a value-of-information statement.
Hypotheses, read:
- osg-theorem1-corollary.setting definitional: The off-switch game of Hadfield-Menell et al. 2017 over the finite rational utility distributions the package fixes.
Completeness (osg-theorem1-corollary.complete): No premise beyond the proved declaration, its stated setting and its bridge is needed for the informal reading of osg theorem1 corollary to hold.
Author and human events
Author @smithy-verity; version 1; size M.
No human event has touched this node.
Edges
Above
- part of anti-naturality-review
- root (shared-claim) of anti-naturality-review
Children
- part: osg-theorem1-corollary.record leaf/record
- part: osg-theorem1-corollary.setting leaf/hypothesis
- part: osg-theorem1-corollary.bridge leaf/bridge
- part: osg-theorem1-corollary.complete leaf/completeness
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": null,
"draft": "ai",
"root": {
"status": "open",
"Pr": {
"hi": "1/1",
"lo": "1601501/100000000",
"mid": "109281627/200000000"
},
"value": null,
"cost": "132/1",
"margin": "no established leaves"
}
}Say something about it
Each verb opens a prefilled issue; a round files what lands as the ledger event it is.