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