want-formal-model-of-dynamics
leaf/want · drafted
Statement
A model exists in which the dynamic conditions for things turning out well, with corrigibility as a subgoal, are formally established.
Source
The author, projects/deference/corrigibility-note-dump-2026-10-01/position-statement-v2.md, section 1.3: "we need to provide some sort of model in which this can be formally established in order for it to be convincing ... it does sound like a coherent position which should have some probabilistic representation in some formalism or other."
Notes
Placed in the dynamics frame because the quoted words name the model in which the dynamic conditions are established, which is this frame's plan. Filed from the owner's public words.
Author and human events
Author @smithy-verity; version 1; size S.
No human event has touched this node.
Edges
Above
- part of dynamic-conditions-for-going-well
- given of joint-process-model
- root (want) of dynamic-conditions-for-going-well
- given joint-process-model
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"given joint-process-model",
"given: conditionals not judged",
"no belief",
"owner has not confirmed"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": null,
"draft": "ai",
"root": {
"status": "open",
"Pr": {
"hi": "1/2",
"lo": "1/2",
"mid": "1/2"
},
"value": null,
"cost": "inf",
"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.