updateful-when-appropriate-li
leaf/step · drafted
Statement
A computationally uncertain UDT over a BLI on FAF's logical induction algorithm behaves updatefully on an observation branch whenever the policy condition has negligible effect on the other branches' expected utilities and on the branch probabilities, as an asymptotic theorem.
Source
projects/deference/faf-cleanroom-2026-10-02/sources/references/bli/understanding-trust/overleaf-final-source/main.tex, section Counterfactual Mugging With Evidence (quoted on updateful-when-appropriate); projects/deference/faf-cleanroom-2026-10-02/packages/udt-bli-core/udt-bli-core-report.md, the epsilon form eps_updateful.
Notes
The LI-level version of the finite lemma, not stated anywhere; given the finite lemma's validity as evidence.
Author and human events
Author @smithy-verity; version 1; size M.
No human event has touched this node.
Edges
Above
- given of updateful-when-appropriate
- part of updateless-dt-programme
- root (shared-claim) of updateless-dt-programme
- given updateful-when-appropriate (as valid)
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number",
"given updateful-when-appropriate@valid"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": {
"J": 0,
"mid": "1/2",
"range": [
"0/1",
"1/1"
],
"width": "1/1"
},
"draft": "ai",
"root": {
"status": "open",
"Pr": {
"hi": "1/1",
"lo": "1183/400000",
"mid": "717089/1600000"
},
"value": null,
"cost": "85/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.