feat(spec,verify): prove-it-runs proof field + ratchet, binding 4 high-risk classes (ADR-0054 #1 + Phase 2)#2045

os-zhuang merged 4 commits into

mainobjectstack-ai/objectstack:mainfrom

claude/lucid-gauss-t7dd3zobjectstack-ai/objectstack:claude/lucid-gauss-t7dd3zCopy head branch name to clipboard