uea-t1-key-lemma-refuted-finite.complete
leaf/completeness · drafted
Statement
No premise beyond the kernel-checked declaration and the reading its bridge states is needed for the claim of uea-t1-key-lemma-refuted-finite to hold of the finite model.
Source
projects/deference/faf-cleanroom-2026-10-02/packages/uea-cole-shadow/uea-cole-shadow-findings.md.
Notes
The declaration takes its hypotheses from the model's own definitions, so the completeness leaf covers only the gap between the declaration and the sentence the node states.
Author and human events
Author @smithy-verity-opus55; version 1; size S.
No human event has touched this node.
Edges
Above
- part of uea-t1-key-lemma-refuted-finite
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": {
"J": 0,
"mid": "187/200",
"range": [
"87/200",
"1/1"
],
"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.