dp-dutch-book-done
and · drafted
Statement
The bet extension of a decision problem and who buys it, the Definition-6 inversion on opaque Newcomb, Death in Damascus under both encodings, the existence of a mixed self-ratifying point by Kakutani, and the epsilon-fixed points are machine-checked over the finite-tree semantics.
Source
projects/deference/faf-cleanroom-2026-10-02/packages/dp-dutch-book/dp-dutch-book-report.md: msrAtD4_exists, d2At_exists, testSeq_exists, yankees_no_msrAtD4.
Notes
A done result of the decision area.
Bridge card
Connected to no informal claim yet: held by no frame.
Declaration msrAtD4_exists (record dp-dutch-book-done.record)
The declaration's mixed self-ratifying point at the fourth decision point is a deliberational equilibrium of the kind a Dutch-book argument against pure Bayesians needs, so Kakutani's existence theorem there supplies that argument's existence step.
Hypotheses, read:
- dutch-book-tree-setting definitional: The decision problems are the finite trees of dp-core-tree with the bet extension the package defines.
Completeness (dp-dutch-book-done.complete): No hypothesis beyond the bet extension over finite trees is needed for the existence and inversion results.
Author and human events
Author @smithy-verity; version 1; size M.
No human event has touched this node.
Edges
Above
- part of updateless-dt-programme
- root (shared-claim) of updateless-dt-programme
Children
- part: dp-dutch-book-done.record leaf/record
- part: dp-dutch-book-done.bridge leaf/bridge
- part: dutch-book-tree-setting leaf/hypothesis
- part: dp-dutch-book-done.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": "5187/400000",
"mid": "871533/1600000"
},
"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.