uea-printed-2025-refuted.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-printed-2025-refuted to hold of the finite model.
Source
projects/deference/faf-cleanroom-2026-10-02/packages/uea-sink-swim/uea-sink-swim-findings.md: "the 2025 Theorem 1 is false as printed"
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-printed-2025-refuted
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": "23/25",
"range": [
"21/50",
"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.