crux-li-total-trust-reading
cases · drafted
Statement
The Total Trust inequality the logical-induction deference theorems assume is forced on a logical inductor toward its own later self.
Source
projects/deference/note-dump-2026-08-11/notes/li-deference.md L240–246 (the maintainer's chain and "Why do we want to weaken so? Because the two stronger versions will turn out to be infeasible.") and L226 (pasted analysis: "So ∑ w_n < ∞ isn't the translation of Total Trust; it's an LI strengthening of it").
Notes
A crux of the translation: which reading is meant decides the quantifier in every arrow and the shape of the principles matrix. The weights are which reading the maintainer means; each conditional, whether that reading is forced on the self-expert.
Author and human events
Author @smithy-verity-opus55; version 1; size M.
No human event has touched this node.
Edges
Above
- given of pointwise-law-not-forceable
- part of ddb-to-li-translation
- root (shared-claim) of ddb-to-li-translation
Children
- part: crux-li-total-trust-reading.partition leaf/partition
- part: pic-c4-gated-average leaf/picture
- part: pic-c4-pointwise-law leaf/picture
- part: pic-c4-summable-violations leaf/picture
- part: pic-c4-residual leaf/picture
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number",
"given pointwise-law-not-forceable",
"interval not a bound (negative evidential edge)",
"no belief",
"under attack"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": null,
"draft": "ai",
"root": {
"status": "open",
"Pr": {
"hi": "1/2",
"lo": "1/2",
"mid": "1/2"
},
"value": null,
"cost": "118/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.