fix(proof): fail closed on incomplete harbor evaluate (follow-up #266) - #268

fix(proof): fail closed on incomplete harbor evaluate (follow-up #266)#268

echobt wants to merge 1 commit into

mainCortexLM/cortex:mainfrom

cursor/harbor-fail-closed-evaluate-402dCortexLM/cortex:cursor/harbor-fail-closed-evaluate-402dCopy head branch name to clipboard