reflect: prove pipelines by their real output, not a substitute - #297

reflect: prove pipelines by their real output, not a substitute#297

EdbertChan wants to merge 1 commit into

mainEdbertChan/catstack:mainfrom

stack/EdbertChan/reflect/pipeline-real-path-proof/prove-pipelines-their-real-output-substitute--b661b78eEdbertChan/catstack:stack/EdbertChan/reflect/pipeline-real-path-proof/prove-pipelines-their-real-output-substitute--b661b78eCopy head branch name to clipboard