Skip to content

formal: add local prefix-cache contract registry - #564

Draft
dusterbloom wants to merge 2 commits into
Luce-Org:mainfrom
dusterbloom:agent/formal-contract-registry
Draft

formal: add local prefix-cache contract registry#564
dusterbloom wants to merge 2 commits into
Luce-Org:mainfrom
dusterbloom:agent/formal-contract-registry

feat(formal): add local contract registry

6d1c428
Select commit
Loading
Failed to load commit list.
cubic-dev-ai / cubic · AI code reviewer completed Jul 31, 2026 in 0s

Automatic AI review not started after branch rewrite

This push rewrote the branch history, so cubic did not start an automatic review. Trigger a manual review to review the rewritten content, or push a non-force-push commit for the next automatic review.