legitimacy-as-local-rules
or · drafted
Statement
Legitimacy is characterized by a set of local update rules on a market of the logical-induction kind, sound with respect to a semantic legitimacy notion on a fragment.
Source
projects/deference/note-dump-2026-08-11/notes/roadmap.md, Stage 3; projects/deference/note-dump-2026-08-11/related-chats/2026-07-05__theory-of-legitimacy__f57f5f2d.md, turn 5 ("Just as truth-preservation cashes out as local rules, we want legitimacy in general to do so"); the harmony-as-no-exposure reading of the maintainer's Market Logic sequence (LessWrong), which is the filing session's.
Notes
A plan filed as an or over three concrete tasks, each one way to reach a first formal instance: a soundness theorem for local update rules against the influence defect or the thin level's correct property; a harmony theorem (harmony equals no-exposure pricing) tested against the proof-theoretic notions; and hosting informal theories in the assessment-process generalization of logical induction. The decomposition is the filing session's reading; success is valued as the frame's top class, the convention for plan roots.
Author and human events
Author @smithy-verity; version 1; size L.
No human event has touched this node.
Edges
Above
- part of legitimacy-meets-syntax
- root (plan) of legitimacy-meets-syntax
Children
- part: task-syntactic-legitimacy-soundness leaf/task
- part: task-harmony-theorem leaf/task
- part: task-gli-hosts-informality 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": "79/250",
"mid": "473/500"
},
"value": {
"hi": "1/1",
"lo": "-1/1",
"mid": "473/500"
},
"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.