no-forced-other-trust
leaf/step · drafted
Statement
No efficiently checkable relation between two distinct logical inductors forces agreement in the limit on undecidable sentences by Dutch book, and closing the gap needs inductive generalization from calibration on decidable sentences.
Source
projects/deference/note-dump-2026-08-11/anson-notes/trust-between-inductors-summary-v2.md, section 2.1; convergent with the BLI thread's "value-trust is trust by analogy" as audited in projects/deference/corrigibility-note-dump-2026-10-01/corrigibility-bli-thread-and-early-questions-audit.md, section 1.3.
Notes
It is the given parent of the selection row of the detection crux and bears on the li-trust branch.
Author and human events
Author @smithy-verity; version 1; size S.
No human event has touched this node.
Edges
Above
- part of legitimacy-detection
- root (shared-claim) of legitimacy-detection
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": "29/40",
"range": [
"9/40",
"1/1"
],
"width": "1/1"
},
"draft": "ai",
"root": {
"status": "open",
"Pr": {
"hi": "1/1",
"lo": "9/40",
"mid": "29/40"
},
"value": null,
"cost": "33/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.