split-bill-is-robust-openness
and · drafted
Statement
Given actual coverage, the earlier bill for Robust Openness that allowed a route to be replaced rather than preserved is Robust Openness itself, split on whether the concern was live at the actual prefix, and is recorded as such rather than presented as a certificate.
Source
wiki/Openness-Coverage-and-Non-Capture.md, The external contract, and one way to pay it ("An earlier bill that allowed replacement turned out, given actual coverage, to be Robust Openness itself split on whether the concern was live at the actual prefix, and is recorded as such rather than presented as a certificate"); projects/normativity/legitimacy/rounds/2026-09-06-mathematical-consolidation/THEOREMS.md; projects/normativity/CLAIMS.md, entry openness.certplus-is-robust-openness (class lean-proved, status active, origin round 2026-09-06-mathematical-consolidation; answers item 78).
Notes
Filed by the site-vertical-slice round (projects/enabling/rounds/2026-10-24-site-vertical-slice) as the informal claim the registered result openness.certplus-is-robust-openness establishes: no node of the map stated it before. The claim is the and of its formal result (a conjunct, not an alias) and its completeness leaf; it is a shared-claim root of openness-and-non-capture, the programme that held the result, and the programme's first goal.
Author and human events
Author @smithy-verity; version 1; size M.
No human event has touched this node.
Edges
Above
- part of openness-and-non-capture
- root (shared-claim) of openness-and-non-capture
Children
- part: openness.certplus-is-robust-openness and
- part: split-bill-is-robust-openness.complete leaf/completeness
Work pointers
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": null,
"draft": "ai",
"root": {
"status": "open",
"Pr": {
"hi": "1/128",
"lo": "1/128",
"mid": "1/128"
},
"value": null,
"cost": "231/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.