Repository navigation

feat(verify): extract dogfood engine into public @objectstack/verify + CLI - #2041

Merged

os-zhuang merged 3 commits into

mainfrom

feat/verify-package

Jun 19, 2026

Commits on Jun 18, 2026
- feat(verify): extract dogfood engine into public @objectstack/verify + CLI
  
  os-zhuang
  and
  claude
  committed
  ff23956
- fix(verify): isolate the RLS-proof stack; document write-transform fidelity gaps
  
  os-zhuang
  and
  claude
  committed
  1cc6e2c
Commits on Jun 19, 2026
- docs(adr): ADR-0054 — record the proof engine's extraction into @objectstack/verify
  
  os-zhuang
  and
  claude
  committed
  f9d495f