bli-formulation
or · drafted
Statement
The thesis's core claims have finite-time statements inside logical induction and Bayesian logical induction: the lifted decided-weight result, the repaired commitment construction, the budget-exhaustion statement, a finite-time front-running theorem, the causal restriction of reflection lifted from its finite shadow, and the discharged computability statement.
Source
projects/deference/corrigibility-note-dump-2026-10-01/corrigibility-bli-thread-and-early-questions-audit.md; projects/deference/faf-cleanroom-2026-10-02/packages/corr-exo-trader and corr-li-shutdown, and their reports' next steps; projects/deference/faf-cleanroom-2026-10-02/DIGEST.md.
Notes
The plan root of the BLI frame: an or over the concrete routes the clean-room packages name, each a task or an actioned question. Any realised route advances the formulation; the gestalt is the number for the whole. The first two routes are the clean-room's own next steps for its two flagged corrigibility packages.
Author and human events
Author @smithy-verity; version 1; size L.
No human event has touched this node.
Edges
Above
- part of bli-corrigibility-thesis
- root (plan) of bli-corrigibility-thesis
Children
- part: li-shutdown-decided-weight leaf/step
- part: hc-commitment leaf/question
- part: persistent-push-steers leaf/question
- part: front-running-finite-time leaf/question
- part: lift-stop-gradient-to-bli leaf/task
- part: truthstar-computable leaf/task
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": "1/1",
"lo": "257049/409600",
"mid": "81803873/81920000"
},
"value": {
"hi": "1/1",
"lo": "-1/1",
"mid": "81803873/81920000"
},
"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.