updateful-when-appropriate

and · drafted

Statement

Under no-dependence of the policy, reflectivity and no cross-branch effect, the one-step UDT maximizer set equals the updateful maximizer set at every positive-mass table, with an epsilon form for approximate versions of the hypotheses.

Source

projects/deference/faf-cleanroom-2026-10-02/packages/udt-bli-core/udt-bli-core-report.md: oneStep_iff_updateful and eps_updateful.

projects/deference/faf-cleanroom-2026-10-02/sources/references/bli/understanding-trust/overleaf-final-source/main.tex, section Counterfactual Mugging With Evidence: "We could summarize this as: UDT behaves updatefully unless it thinks it has a good reason not to." and "Unfortunately, it is not yet clear how to achieve a result like this for computationally uncertain UDT, in part because it is not obvious how to spell out a notion of observation for that case."

Notes

The finite version of the paper's slogan, proved in the clean-room run; the LI-level version is the step updateful-when-appropriate-li. Its validity as an implication is the given parent of the shared tiling step.

Bridge card

Connected to no informal claim yet: held by no frame.

Declaration oneStep_iff_updateful (record updateful-when-appropriate.record)

Bridge (formalizer-stated; updateful-when-appropriate.bridge, drafted):

The declaration's three hypotheses are the paper's absence of a reason not to behave updatefully: the policy condition has negligible effect on the other branches' expected utilities and on the branch probabilities, so its conclusion is the slogan at the finite level.

Hypotheses, read:

udt-bli-core-setting definitional: The agent is the one-step UDT of udt-bli-core over a finite table with positive mass, and the hypotheses NDPOL, Reflective and NoCrossBranch hold of it.

Completeness (updateful-when-appropriate.complete): No hypothesis beyond the three named conditions is needed for the one-step maximizer sets to coincide.

Author and human events

Author @smithy-verity; version 1; size S.

No human event has touched this node.

Edges

Above

part of updateless-dt-programme
root (shared-claim) of updateless-dt-programme

Children

part: updateful-when-appropriate.record leaf/record
part: updateful-when-appropriate.bridge leaf/bridge
part: udt-bli-core-setting leaf/hypothesis
part: updateful-when-appropriate.complete leaf/completeness

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": null,
 "draft": "ai",
 "root": {
  "status": "open",
  "Pr": {
   "hi": "1/1",
   "lo": "22477/800000",
   "mid": "2212353/3200000"
  },
  "value": null,
  "cost": "132/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.

comment · challenge · estimate · want