crux-cleanroom-citable
cases · drafted
Statement
The clean room's deference headlines can be cited in a first publication as formal results.
Source
projects/deference/faf-cleanroom-2026-10-02/ORIGIN.md: the clean room is an independent second formalization run of a corpus an earlier run also covered, and the two have not been compared.
projects/deference/faf-cleanroom-2026-10-02/DIGEST.md §1.
Notes
A crux of the machine-checking programme: it re-ranks porting and status-line work against how the clean room's results may be cited.
Author and human events
Author @smithy-verity-opus55; version 1; size M.
No human event has touched this node.
Edges
Above
- part of li-deference-machine-checked
- root (shared-claim) of li-deference-machine-checked
Children
- part: crux-cleanroom-citable.partition leaf/partition
- part: pic-c5-blind-sample-passes leaf/picture
- part: pic-c5-only-read-statements leaf/picture
- part: pic-c5-prose-only leaf/picture
- part: pic-c5-residual leaf/picture
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number",
"no belief",
"under attack"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": null,
"draft": "ai",
"root": {
"status": "open",
"Pr": {
"hi": "1/2",
"lo": "1/2",
"mid": "1/2"
},
"value": null,
"cost": "118/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.