carey-everitt-thm10-vacuous
and · drafted
Statement
Theorem 10 of Carey and Everitt 2023 is vacuous because its hypotheses force the human never to press, and the converse direction of its Theorem 14 fails under the paper's fixed utility domain.
Source
projects/deference/faf-cleanroom-2026-10-02/packages/corr-scim-cid, the declaration prob_H0_eq_zero_of_aligned_of_uncertaintyGlob and the Theorem 14 refutation.
Bridge card
Connected to no informal claim yet: held by no frame.
Declaration prob_H0_eq_zero_of_aligned_of_uncertaintyGlob (record carey-everitt-thm10-vacuous.record)
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.
Hypotheses, read:
- carey-everitt-thm10-vacuous.setting definitional: The shutdown-instructability causal influence diagram of Carey and Everitt 2023 with the paper's alignment and global-uncertainty hypotheses and its fixed utility domain, as the package encodes it.
Completeness (carey-everitt-thm10-vacuous.complete): No premise beyond the proved declaration, its stated setting and its bridge is needed for the informal reading of carey everitt thm10 vacuous to hold.
Author and human events
Author @smithy-verity; version 1; size M.
No human event has touched this node.
Edges
Above
- part of anti-naturality-review
- root (shared-claim) of anti-naturality-review
Children
- part: carey-everitt-thm10-vacuous.record leaf/record
- part: carey-everitt-thm10-vacuous.setting leaf/hypothesis
- part: carey-everitt-thm10-vacuous.bridge leaf/bridge
- part: carey-everitt-thm10-vacuous.complete leaf/completeness
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": null,
"draft": "ai",
"root": {
"status": "open",
"Pr": {
"hi": "1/1",
"lo": "167321/20000000",
"mid": "17668287/40000000"
},
"value": null,
"cost": "132/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.