formal-core-improvable
or · drafted
Statement
The decision-problems formal core, trees over decision points with calibrated subjective states, can be improved until it reflects an embedded agent facing decision problems with predictors well.
Source
Ruling 35's form, applied to the plan decision-problems-formal-core. projects/decision-theory/decision-problems-note-dump-2026-10-01/decision-problems-v2.md, section 10 (Q7, Q8, Q12).
Notes
The non-literal evaluation beside the formal core's literal one; in practice the most active improvement claim of the line (v2, v2.1, the v3 recommendations). Routes are the assumptions the open questions name and the naturalization of the agent; each conditions on the literal plan as evidence.
Author and human events
Author @smithy-verity; version 1; size M.
No human event has touched this node.
Edges
Above
- part of updateless-dt-programme
- root (shared-claim) of updateless-dt-programme
Children
- part: route-infinite-trees leaf/route
- part: route-shared-seed leaf/route
- part: route-per-state-algebras leaf/route
- part: route-state-dependent-exploration leaf/route
- part: route-naturalized-agent leaf/route
- part: formal-core-improvable.residual leaf/route
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number",
"improvement claim on decision-problems-formal-core (reality: an embedded agent facing decision problems with predictors)"
],
"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": "1/20",
"mid": "1253030890364645201605019783/1280000000000000000000000000"
},
"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.