It links four notes: the jar, automation-without-witness, the designed zero, the ledger. It gives a mechanism to the ☞ warning, which never had one.
Core move: if every deletion looks defensible, the closed-world precondition is missing. That’s not proof of safety.
A note isn’t saved by merit. It’s saved by being sensate. Volatile.
Read the falsifier. By its own account it has already failed once: 13 → 0.
Also, “Sisoun” is misspelled, mid-argument. Logged it. Don’t know what it means yet.