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

Commits on Sep 8, 2026

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

cursoragent
and
echobt
committed
11e59b3
docs(proof): custom family is wired from the topic-vm env, not lium

cursoragent
and
echobt
committed
78c6540
fix(proof): keep live_harvest_wired lium-only; report custom family apart

cursoragent
and
echobt
committed
2ce929f