Covers the pinned-branch release: a closed or merged PR frees the local and remote copies, an open PR or an absent PR history keeps the branch, a branch already gone triggers no PR lookup at all, and refused deletions never throw.

## Before writing SPEC.md files

Read https://raw.githubusercontent.com/brillout/sdd/refs/heads/main/sdd.md
