tie-break-ledger-decided
leaf/assumption · drafted
Statement
The rule selecting among equal-maximal menu options is computable from the published estimates and the ledger, so the followed strategy is an efficiently describable logically uncertain variable whose value the expert's estimate places at the maximum.
Source
projects/deference/note-dump-2026-08-11/wiki/ledger-decided-tie-breaks.md, opening: "The argmax strategy's tie-break rule must be computable from the published estimates — equivalently, Γ-decided given the ledger."
projects/deference/note-dump-2026-08-11/wiki/mart-implies-value.md, Remark: "the tie-break must be ledger-decided (Γ-decided given the published estimates — equivalently, computable from them), or F1 fails outright by correlation".
Notes
Discharges part of hUM_S. The page's counterexample shows a definable but undecidable rule breaks F1 by correlation and, with an adversarial rule, breaks Value itself.
Author and human events
Author @smithy-verity; version 1; size S.
No human event has touched this node.
Edges
Above
- part of mart-implies-value-kernel
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": "91/100",
"range": [
"41/100",
"1/1"
],
"width": "1/1"
},
"draft": "ai"
}Say something about it
Each verb opens a prefilled issue; a round files what lands as the ledger event it is.