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

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

echobt merged 14 commits into

mainCortexLM/cortex:mainfrom

cursor/proof-generic-rlm-engine-1fd2CortexLM/cortex:cursor/proof-generic-rlm-engine-1fd2Copy head branch name to clipboard