hc-commitment
leaf/question · drafted
Statement
An updateless commitment over Bayesian-logical-induction belief states that stops in states whose implemented beliefs say continue, when the button correlates with divergence between implemented and algorithmic beliefs, is satisfiable with normalised tables.
Source
The BLI thread's Choice 3 as its public audit records it (projects/deference/corrigibility-note-dump-2026-10-01/corrigibility-bli-thread-and-early-questions-audit.md, item 1.4: UDT over BLI commits to stop in states whose implemented beliefs say continue, when the button correlates with implemented/algorithmic divergence); projects/deference/faf-cleanroom-2026-10-02/packages/corr-exo-trader, the flagged definition HcCommitment (projects/deference/faf-cleanroom-2026-10-02/DIGEST.md, line 151: "it encodes a label where it promises a mechanism") and HcRealized.
Notes
Flagged by the clean-room; the repair (the faithful-state clause, divergence in state, nonnegative weight) is the action. Shares its object with the updateless-dt branch (a UDT-over-BLI construction).
Author and human events
Author @smithy-verity; version 1; size M.
No human event has touched this node.
Edges
Above
- part of bli-formulation
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": "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.