thin-value-loss-bound
leaf/step · drafted
Statement
The value lost to defects is at most the decision problem's range times the prior mass where the actual record departs from the model's plus the same range times the mass where the actual verdict departs from her program's, for deterministic records.
Source
wiki/Legitimacy.md ("The value lost to defects is at most" the two-term bound); projects/deference/CLAIMS.md, thin.value-loss-le-defects (ThinLegitimacy.value_loss_le_defects, deterministic records).
Notes
Registered for deterministic records; the kernel form is the action.
Author and human events
Author @smithy-verity; version 1; size M.
No human event has touched this node.
Edges
Above
- part of authorship-and-transparency
- root (shared-claim) of authorship-and-transparency
Work pointers
- item 107
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": "191/200",
"range": [
"91/200",
"1/1"
],
"width": "1/1"
},
"draft": "ai",
"root": {
"status": "open",
"Pr": {
"hi": "1/1",
"lo": "91/200",
"mid": "191/200"
},
"value": null,
"cost": "85/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.