bli-picture-improvable
or · drafted
Statement
The BLI picture of computational updatelessness, future belief states as observations with constraints on large beliefs, can be improved until it reflects a computationally uncertain agent that observes its own future beliefs well.
Source
Ruling 35's form, applied to the plan computational-updatelessness-direct. Content from the clean-room BLI area: projects/deference/faf-cleanroom-2026-10-02/packages/bli-exactness/bli-exactness-report.md (exact forms die, interval forms survive), projects/deference/faf-cleanroom-2026-10-02/packages/bli-linkage/bli-linkage-report.md (the syntactic small set), projects/deference/faf-cleanroom-2026-10-02/packages/bli-measure/bli-measure-report.md (B3).
Notes
The non-literal evaluation beside the direct route's literal one: whether the picture can be improved until it reflects an agent that observes its own beliefs, by relaxing the assumptions the run found fatal. Routes are the repairs the clean-room run performed or named; each conditions on the literal plan's probability as evidence, never as a part. Implicit in the run's repairs; not filed as a claim before this round.
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-interval-resolution leaf/route
- part: route-support-small-set leaf/route
- part: route-scoped-faith leaf/route
- part: route-linkage-choice leaf/route
- part: route-measure-valued-state leaf/route
- part: bli-picture-improvable.residual leaf/route
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number",
"improvement claim on computational-updatelessness-direct (reality: a computationally uncertain agent that observes its own future beliefs)"
],
"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": "3/40",
"mid": "15921729493511595295950103/16384000000000000000000000"
},
"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.