Alignment Workspace

indirect-route-learned-updatelessness

or · drafted

Statement

An agent acquires UDT-like behaviour by learning, with policy-level optimality built into the loss principle that guides learning, by at least one of: an LI/BRIA agent meeting the acceptance statement together with its updateless extension on a declared recovery domain; policy selection over logical induction with a theorem behind it.

Source

projects/deference/faf-cleanroom-2026-10-02/sources/references/bli/notion-notes-for-soto-and-diff.md, section “Indirect” Route: "The so-called “indirect” route instead seeks to learn UDT-like behavior over time, by integrating UDT’s optimality notion into the loss principle which guides learning." and "I also haven’t gotten any sharp impossibility results, which would be interesting to get."

prompts/2026-09-29-li-bria-synthesis-spec/REVISION3.md (the maintainer's endpoint): "a principled LI/BRIA synthesis that may be updateful, with genuine belief–decision integration and a substantive advance on an important LI decision-theory obstruction; updatelessness is the ideal extension." and REVISION2.md: "An absolutely ideal outcome would be updateless."

Notes

The second mid-level goal, the indirect route of the 2023 notes, which the public LI/BRIA specification round of 2026-09-29 made concrete. The dispatch's 'absolutely ideal outcome would be updateless' is a criterion for one round's acceptable outcome and is filed here as the plan's target. PRIORITIES.md items 103, 105 and 106 are the line's work orders.

Author and human events

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

No human event has touched this node.

Edges

Above

Children

Work pointers

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": "971/1000",
   "lo": "0/1",
   "mid": "4870119/16000000"
  },
  "value": {
   "hi": "1/1",
   "lo": "-1/1",
   "mid": "4870119/16000000"
  },
  "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.

comment · challenge · estimate · want