Development record

The shell guard's bundled registry refused a force push but not the other commands that rewrite published history or remove the means of recovering from a rewrite. git filter-repo, git filter-branch, git update-ref, git replace, git reflog expire, git gc --prune=now, git push --mirror, git send-pack --force, git fast-import --force and a gh api PATCH of a ref with force=true all ran unchallenged.