Skip to content

chore(spec): register the admin-platform-admin-standing dogfood proof tag, and red the drift that let it accumulate - #12549

Merged
huangyiirene merged 3 commits into
mainfrom
claude/issue-12216-proof-tag-registry
Aug 26, 2026
Merged

chore(spec): register the admin-platform-admin-standing dogfood proof tag, and red the drift that let it accumulate#12549
huangyiirene merged 3 commits into
mainfrom
claude/issue-12216-proof-tag-registry