faithful-updatelessness

leaf/step · drafted

Statement

For the prior states and policy interpretations the formal core's Q10 asks about, the UDT and the conditional-UDT procedures earn the optimality endorsement on a decision problem exactly on the normalized affine locus, for every point count.

Source

projects/decision-theory/decision-problems-note-dump-2026-10-01/decision-problems-v2.md, section 10, Q10; projects/deference/faf-cleanroom-2026-10-02/packages/dp-faithful-udt/dp-faithful-udt-report.md: the affine-coupling conjecture refuted as stated (kfold_faithful_iff_affine_refuted), repaired with normalization and proved at k = 2 (kfold2_norm_faithful_both_iff_affine), the general case OPEN (kfold_faithful_iff_affine_normalized_open), with strict_bestReply_open among five OPEN statements.

Author and human events

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

No human event has touched this node.

Edges

Above

Work pointers

open declaration kfold_faithful_iff_affine_normalized_open

Ranking (the lens, not the structure)

{
 "status": "open",
 "diagnosis": null,
 "flags": [
  "AI number",
  "given draw-as-act-coordinate"
 ],
 "V": {
  "V_prior": null,
  "display": "2",
  "headline": 2,
  "ref": 2,
  "valid": 2,
  "weaker": "both"
 },
 "belief": {
  "J": 0,
  "mid": "11/20",
  "range": [
   "1/20",
   "1/1"
  ],
  "width": "1/1"
 },
 "draft": "ai"
}

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