Skip to content

feat(proof): generic dynamic RLM engine (DB-backed rules, per-topic VM boundary, artefacts, fail-closed runner registry) - #243

Merged
echobt merged 14 commits into
mainfrom
cursor/proof-generic-rlm-engine-1fd2
Sep 8, 2026
Merged

feat(proof): generic dynamic RLM engine (DB-backed rules, per-topic VM boundary, artefacts, fail-closed runner registry)#243
echobt merged 14 commits into
mainfrom
cursor/proof-generic-rlm-engine-1fd2

fix(proof-rlm): hold the measured flops to the miner's declaration

ad3c685
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar