carey-everitt-thm10-vacuous.bridge
leaf/bridge · drafted
Statement
The declaration that the press probability is zero under the theorem's hypotheses is what makes Theorem 10 vacuous in the paper's intended reading, and the Theorem 14 refutation is a refutation of the paper's sentence under its own fixed utility domain.
Source
projects/deference/faf-cleanroom-2026-10-02/packages/corr-scim-cid, findings; the package's register marks the authors' intended reading as attribution-unvetted.
No passage is quoted: the bridge reconstructs the source's claim from the package report's statement of what it formalizes, so the attribution stands unvetted until a reader sets the two texts side by side.
Author and human events
Author @smithy-verity; version 1; size S.
No human event has touched this node.
Edges
Above
- part of carey-everitt-thm10-vacuous
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number",
"attribution unvetted"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": {
"J": 0,
"mid": "27/40",
"range": [
"7/40",
"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.