legit-branch-evaluators-defense
leaf/step · drafted
Statement
The humans in the legitimate branch evaluate the quality of actions correctly, including consequences that fall on illegitimate worlds, so an agent that obeys reflection with respect to those evaluators avoids actions that harm illegitimate worlds.
Source
projects/deference/faf-cleanroom-2026-10-02/packages/legit-neg-pricing/legit-neg-pricing-findings.md, the item-064 table: nine necessary conditions, each witnessed by a declaration in legit-neg-static, legit-neg-pricing or legit-neg-dynamic, and the named cases where the defense is ruled out. The results are AI-generated and checked by the Lean kernel; no human has vetted the informal reading.
Notes
A defense of the floor rule that the negatives packages were built to sharpen or rule out. Its edge from the readout crux: under R2 the defense's selection bias changes shape.
Author and human events
Author @smithy-verity; version 1; size M.
No human event has touched this node.
Edges
Above
- part of legitimacy-weighted-deference
- root (shared-claim) of legitimacy-weighted-deference
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": "1/4",
"range": [
"0/1",
"3/4"
],
"width": "1/1"
},
"draft": "ai",
"root": {
"status": "open",
"Pr": {
"hi": "3/4",
"lo": "0/1",
"mid": "1/4"
},
"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.