legitimacy-rule-characterization
or · drafted
Statement
The decision rules that weight the future human evaluation by the legitimacy of the evaluation (the floor rule, conditioning on legitimacy, the graded and lexical variants and a cross-branch decomposition) are characterized by the negative results each admits against the seven named concerns, with every headline kernel-checked and the kernel's own Lean cross-cited.
Source
projects/deference/faf-cleanroom-2026-10-02/packages/legit-neg-static, legit-neg-pricing and legit-neg-dynamic: the negative results formalized in three packages, every headline proved, none refuting a proposal outright.
Notes
A shared claim of the frame, an or over the routes that complete the characterization (a deliverable, so it carries no success class and is not an option in the plan decision; the frame's plans are the graded and lexical alternatives): the Lean singles, the rule-learning model, the public landing, the cross-cite and the deterrence check. Any realised route advances it; the gestalt is the number for the whole. The results are formalized in three packages.
Author and human events
Author @smithy-verity; version 2; size L.
No human event has touched this node.
Edges
Above
- part of legitimacy-weighted-deference
- root (shared-claim) of legitimacy-weighted-deference
Children
- part: rules-certified-or-learned leaf/question
- part: cross-cite-kernel-and-negatives leaf/task
- part: deterrence-vs-antibypass leaf/task
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": "43691/80000",
"mid": "39373/40000"
},
"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.