idleness-on-G-grade-a
leaf/step · drafted
Statement
Along every efficiently computable sub-fragment of the timely fragment the influence defect tends to zero with no human-side certificate.
Source
projects/deference/faf-cleanroom-2026-10-02/packages/legit-li-register/legit-li-register-report.md, section "State of the package": legitimacy as the note defines it "has over FAF exactly one place where it is free and one where it is not, and the line between them is not the one the note or the mandate drew"; the declaration horizon_idleness_grade_a_open in the package ledger, recorded as believed false. The refutation's shape is horizon_idleness_fails_exists_open in the package's open list.
Notes
Believed false by the formalizer; the central finding of the package is that legitimacy on the timely fragment is free exactly where the human can read the decided pattern (the filing session's summary of the report's "State of the package"). Conditioned on the refutation task: if the refutation can be built, this claim is false.
Author and human events
Author @smithy-verity; version 1; size M.
No human event has touched this node.
Edges
Above
- given of task-horizon-idleness-refutation
- held by legitimacy
- given task-horizon-idleness-refutation
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number",
"given task-horizon-idleness-refutation",
"held by legitimacy"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": {
"J": 0,
"mid": "1/10",
"range": [
"0/1",
"3/5"
],
"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.