tower-death-page
leaf/task · drafted
Statement
A wiki page of record states the refutation of the timely pointwise tower in the prompt-ledger construal, with its register and its Lean names.
Source
projects/deference/note-dump-2026-08-11/wiki/total-trust-implies-mart.md, projects/deference/note-dump-2026-08-11/wiki/value-iff-mart.md and projects/deference/note-dump-2026-08-11/wiki/total-trust-implies-value-telescoping.md, each citing tower-death for the refutation of cross-process Mart.
projects/deference/note-dump-2026-08-11/wiki/eisenstat-conjecture-attribution.md §4 items 1–2.
Notes
Not corpus upkeep only: the page states the refutation that bounds the collapse's cross-process reach. Its evidence parent is the refutation read as an implication.
Author and human events
Author @smithy-verity-opus55; version 1; size M.
No human event has touched this node.
Edges
Above
- given of timely-pointwise-tower-refuted-in-setting
- part of wiki-corpus-maintenance
- given timely-pointwise-tower-refuted-in-setting (as valid)
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number",
"given timely-pointwise-tower-refuted-in-setting@valid"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": {
"J": 0,
"mid": "41/50",
"range": [
"8/25",
"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.