Alignment Workspace

vc-route-modest-source

leaf/route · drafted

Statement

The representation of value change as belief change on an expanded algebra is refined with a modest-source trust relation, that is Total Trust without the martingale condition, whose relation to the logical-induction principle that no simple modification of the update is predictably better is written out as a theorem or a finite counterexample.

Source

projects/deference/corrigibility-note-dump-2026-10-01/value-change-as-epistemic-update.md, section 7 (i), section 6.6 and section 2.7; projects/deference/note-dump-2026-08-11/wiki/reflection-in-li.md and projects/deference/note-dump-2026-08-11/wiki/total-trust-implies-mart.md.

Notes

The route the note itself names first. The task is on this leaf: a theorem or a finite counterexample settles it.

Author and human events

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

No human event has touched this node.

Edges

Above

Ranking (the lens, not the structure)
{
 "status": "open",
 "diagnosis": null,
 "flags": [
  "AI number",
  "given value-change-is-belief-change"
 ],
 "V": {
  "V_prior": null,
  "display": "2",
  "headline": 2,
  "ref": 2,
  "valid": 2,
  "weaker": "both"
 },
 "belief": {
  "J": 0,
  "mid": "9/20",
  "range": [
   "0/1",
   "19/20"
  ],
  "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