infinite-frames-sentence-check
leaf/question · drafted
Statement
The sentence of li-deference.md that the Value–Total Trust result fails for infinite frames in both directions holds for the menu class the maintainer means, given that Value implies Total Trust on every countable frame for uniformly bounded menus.
Source
projects/deference/note-dump-2026-08-11/notes/li-deference.md: "the Value$\iff$Total Trust result fails for infinite frames, in both directions."
projects/deference/faf-cleanroom-2026-10-02/packages/lit-weatherson-frames/lit-weatherson-frames-report.md.
Notes
The question is which menu class the sentence means, which only its author can say. Conditioned on the li-trust branch's weatherson-infinite-frames-formalized.
Author and human events
Author @smithy-verity-opus55; version 1; size S.
No human event has touched this node.
Edges
Above
- given of weatherson-infinite-frames-formalized
- part of level-above-quantifiable
- root (shared-claim) of level-above-quantifiable
- given weatherson-infinite-frames-formalized
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number",
"given weatherson-infinite-frames-formalized",
"interval not a bound (negative evidential edge)"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": {
"J": 0,
"mid": "17/40",
"range": [
"0/1",
"37/40"
],
"width": "1/1"
},
"draft": "ai",
"root": {
"status": "open",
"Pr": {
"hi": "7/8",
"lo": "7/100",
"mid": "39/100"
},
"value": null,
"cost": "inf",
"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.