Preserve evidence required by selective invariant checking - #161

Preserve evidence required by selective invariant checking#161

Essoz wants to merge 4 commits into

mainOrderLab/TrainCheck:mainfrom

codex/selective-policy-evidenceOrderLab/TrainCheck:codex/selective-policy-evidenceCopy head branch name to clipboard