Skip to content

feat(proof): wire custom-family registry without a lium harvest - #246

Merged
echobt merged 3 commits into
mainfrom
cursor/proof-custom-registry-without-lium-5dfa
Sep 8, 2026
Merged

feat(proof): wire custom-family registry without a lium harvest#246
echobt merged 3 commits into
mainfrom
cursor/proof-custom-registry-without-lium-5dfa

fix(proof): keep live_harvest_wired lium-only; report custom family a…

2ce929f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar