thm-power-seeking-optimal.complete
leaf/completeness · drafted
Statement
No premise beyond the proved theorem, its bridge and its stated setting is needed for the informal reading of the theorem to hold.
Source
Turner et al. 2021, Theorem 6.13 and abstract.
Author and human events
Author @smithy-verity; version 1; size S.
No human event has touched this node.
Edges
Above
- part of thm-power-seeking-optimal
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": {
"J": 0,
"mid": "13/20",
"range": [
"3/20",
"1/1"
],
"width": "1/1"
},
"draft": "ai"
}Say something about it
Each verb opens a prefilled issue; a round files what lands as the ledger event it is.