principles-design-space-matrix
leaf/task · drafted
Statement
A document lists the trust principles expressible in logical induction by axis (per-sentence or whole-belief, soft or hard, conditional or unconditional, expectation or probability form, self or distinct expert, pointwise, summable or averaged grade), with the implication status of each pair and the Lean name where one exists.
Source
projects/deference/note-dump-2026-08-11/notes/roadmap.md, Stage 1: "A more thorough exploration of all the trust principles we might consider in logical induction (the five-variations analysis … and wiki/deference-notions.md are the start, not the end)".
projects/deference/faf-cleanroom-2026-10-02/packages/def-lattice-arrows/def-lattice-arrows-report.md; projects/deference/faf-cleanroom-2026-10-02/packages/tt-ladder/tt-ladder-report.md.
Notes
The enumeration the roadmap asks for as a navigable object; its empty cells become tasks.
Author and human events
Author @smithy-verity-opus55; version 1; size M.
No human event has touched this node.
Edges
Above
- part of li-trust-principles-enumerated
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": "173/200",
"range": [
"73/200",
"1/1"
],
"width": "1/1"
},
"draft": "ai"
}Say something about it
Each verb opens a prefilled issue; a round files what lands as the ledger event it is.