Where it would die · 5 switches
Five claims carry this chapter.
APP-9.1Show the right to exit needs an autonomy principle not derivable from the operator architecture, override and the corridor’s endpoint together, and one has been smuggled.
APP-9.2Show that whether a corridor can be widened is unmeasurable in principle, and the first condition cannot do its work.
APP-9.3Show the operator-narrator distinction collapses at the closing, and the second condition fails.
APP-9.4Produce a case where extending the corridor against the operator’s honest reading is structurally correct, and the third condition fails.
APP-9.5Show that dignified care at the closing cannot be specified without a cultural premise the axiom does not supply, and one has been smuggled.
Every switch above is filed, with its status, in the registry. The registry writes them KS-APP9.1 to KS-APP9.5. What a kill switch is: Where It Would Die, on the wall.
This is the short edition of Ø Applications — a summary. Where a step is compressed here, the original carries it in full. The original book (PDF) · This edition (PDF)
The same page on the420code.org: the420code.org/models/applications/09-end-of-life-care-and-the-right-to-exit/