feat(verify): the delete-behaviour derived proof family, runnable as os verify --delete-behaviors (#15953 slice 2) - #22953

feat(verify): the delete-behaviour derived proof family, runnable as os verify --delete-behaviors (#15953 slice 2)#22953

objectstack-fleet[bot] merged 7 commits into

mainobjectstack-ai/objectstack:mainfrom

claude/issue-15953-s2-delete-behavior-familyobjectstack-ai/objectstack:claude/issue-15953-s2-delete-behavior-familyCopy head branch name to clipboard