kernel-lexical-order-hypothesis
leaf/step · drafted
Statement
Every compromised outcome scores below every legitimate one, and at equal value legitimacy is worth the gap.
Source
wiki/Corrigibility.md, section 5, Box 3; projects/deference/CLAIMS.md, the entry kernel.box3-no-incentive-to-compromise (short name: "Box 3: every compromised outcome scores below every legitimate one; at equal value legitimacy is worth the gap"; lean-proved; ci-only; origin round projects/deference/rounds/2026-09-27-corrigibility-kernel-phase2).
Notes
The kernel's ordering hypothesis is the ordering that crux-illegitimate-ordering asks about (the best illegitimate world worse than the worst legitimate one): the kernel assumes what the ordering crux asks. Read here as a claim about the humans' actual judgment, which is what the crux decides.
Author and human events
Author @smithy-verity; version 1; size S.
No human event has touched this node.
Edges
Above
- given of crux-illegitimate-ordering
- part of public-corrigibility-line
- root (shared-claim) of public-corrigibility-line
- given crux-illegitimate-ordering
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number",
"given crux-illegitimate-ordering"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": {
"J": 0,
"mid": "51/100",
"range": [
"1/100",
"1/1"
],
"width": "1/1"
},
"draft": "ai",
"root": {
"status": "open",
"Pr": {
"hi": "13/16",
"lo": "41/200",
"mid": "207/400"
},
"value": null,
"cost": "33/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.