[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

EdbertChan wants to merge 1 commit into

stack/EdbertChan/reflect/session-c2a4bea7/hooks-cannot-see-1-teach-two-hooks-checks-they-see--09fda6fcEdbertChan/catstack:stack/EdbertChan/reflect/session-c2a4bea7/hooks-cannot-see-1-teach-two-hooks-checks-they-see--09fda6fcfrom

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