[Hooks Cannot See] (2) Require the output to entail the claim, not merely agree - #519

[Hooks Cannot See] (2) Require the output to entail the claim, not merely agree#519

mergify[bot] merged 2 commits into

mainEdbertChan/catstack:mainfrom

stack/EdbertChan/reflect/session-c2a4bea7/hooks-cannot-see-2-require-output-entail-claim--bc32514bEdbertChan/catstack:stack/EdbertChan/reflect/session-c2a4bea7/hooks-cannot-see-2-require-output-entail-claim--bc32514bCopy head branch name to clipboard