item-74
leaf/task · drafted
Statement
A solution to item 74 ships the theorem or the separating instance, and in either case a statement of what a certificate can and cannot be fed back into Answerability as.
Source
PRIORITIES.md, item 74 (Is the finite-horizon infeasibility certificate complete for the causal problem?); its context: projects/normativity/legitimacy/rounds/2026-08-31-normative-affordability/EXISTENCE_AND_DUALITY.md §4 for the certificate and the soundness proof, §1–§3 for the causal problem it is a relaxation of, that round's FOLLOWUP_REPORT.md for why the account is signed and what that does to the dual, and its src/overload.py and src/li_account.py with the matching modules under tests/ for the exact instances; projects/normativity/legitimacy/rounds/2026-08-30-liability-theory/DUALITY.md for the synchronic certificate the horizon version extends.
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 74.
Author and human events
Author @smithy-verity; version 1; size L.
No human event has touched this node.
Edges
Above
- held by normativity
Work pointers
- decision the September naming audit
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"held by normativity",
"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.