value-uncertainty-formal-example
leaf/task · drafted
Statement
A small formal model exists with a human logical inductor whose values are the eventual prices of sentences it has not yet computed, an AI inductor, and feedback restricted to the human's current prices, together with one trust statement that holds there and has no counterpart when the human is a Bayesian with a fixed value prior.
Source
projects/deference/faf-cleanroom-2026-10-02/sources/unbounded-embedded/03-journals/2026-03-26.md: "it is not realistic to know all the consequences of your own beliefs."
projects/deference/corrigibility-note-dump-2026-10-01/value-change-as-epistemic-update.md.
Notes
Attached as the given parent of feedback-constrained-by-computation. The value-change note works value uncertainty as event uncertainty and reaches the bounded-language agent in its §2.7 and §7 (i), the nearest existing material.
Author and human events
Author @smithy-verity-opus55; version 1; size L.
No human event has touched this node.
Edges
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": {
"J": 0,
"mid": "19/40",
"range": [
"0/1",
"39/40"
],
"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.