item-20
leaf/task · drafted
Statement
A solution to item 20 ships the matrix, the candidate families, and for each family whether it is syntactic, causal, semantic, certified, decidable, semidecidable, or purely extensional.
Source
PRIORITIES.md, item 20 (Admissibility red team, including the proof machinery); its context: prompts/2026-08-11-deference-admissibility/REPORT.md; projects/deference/notes/FINITE_MODEL_SKELETON.md §8.
Notes
Transcribed by the map-as-canonical round (prompts/2026-10-22-map-as-canonical); the entry's text is the Item section below, rendered back into PRIORITIES.md by checkers/priorities_render.py. The Statement is drawn from the entry's own deliverable line.
This node is item 20.
Author and human events
Author @smithy-verity; version 1; size M.
No human event has touched this node.
Edges
Above
- held by deference-and-trust
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"held by deference-and-trust",
"no belief"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": null,
"draft": "ai"
}Say something about it
Each verb opens a prefilled issue; a round files what lands as the ledger event it is.