[CAT-UNVERIFIED tag](2) A rewritten reply still gets checked for proof - #416

[CAT-UNVERIFIED tag](2) A rewritten reply still gets checked for proof#416

EdbertChan merged 1 commit into

mainEdbertChan/catstack:mainfrom

stack/EdbertChan/cat-unverified-tag/2-retry-checks-evidenceEdbertChan/catstack:stack/EdbertChan/cat-unverified-tag/2-retry-checks-evidenceCopy head branch name to clipboard