ddb-finite-frames-formalized
and · drafted
Statement
On finite frames, Value, Weak Value, Total Trust and the convex-hull-plus-modestly-informed condition are equivalent, with no DDB lemma assumed.
Source
projects/deference/faf-cleanroom-2026-10-02/packages/lit-ddb-frames/lit-ddb-frames-report.md, State; projects/deference/faf-cleanroom-2026-10-02/DIGEST.md §2 item 19.
Notes
DDB's Theorem 5.1 on finite frames, the source side of the translation. The same package refutes footnote 65's local conjecture at three cells and shows footnote 25's prior-frame claim false as stated and true on nested prior frames.
Bridge card
Connected to no informal claim yet: held by no frame.
Declaration Cleanroom.Found.LitDdbFrames.tfae_value (record ddb-finite-frames-formalized.record)
The four propositions of tfae_value are DDB's Value, Weak Value, Total Trust and the hull-plus-modestly-informed condition as the paper defines them for finite frames.
Hypotheses, read:
- ddb-finite-frame-prior definitional: The novice's prior is a probability on a finite frame of worlds, each world carrying the expert's credence there.
Completeness (ddb-finite-frames-formalized.complete): No premise beyond the record, its bridge and the finite frame is needed for the equivalence.
Author and human events
Author @smithy-verity-opus55; version 1; size M.
No human event has touched this node.
Edges
Above
- part of ddb-to-li-translation
- root (shared-claim) of ddb-to-li-translation
Children
- part: ddb-finite-frames-formalized.record leaf/record
- part: ddb-finite-frames-formalized.bridge leaf/bridge
- part: ddb-finite-frame-prior leaf/hypothesis
- part: ddb-finite-frames-formalized.complete leaf/completeness
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": "50149/1250000",
"mid": "8083107/10000000"
},
"value": null,
"cost": "132/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.