An enumeration standing in for a rule
Correctness is asserted over a hand-maintained list instead of derived from the thing itself. Everything on the list is verified, so the checks are green; anything nobody added is unverified and indistinguishable from verified.
共同情境
['a check written to cover known cases', 'a list that has to be updated by whoever adds the next case', 'green output that reports on the list rather than on the domain', 'a corpus that grows a kind the list did not anticipate']
共同結構
['the set under test is supplied, not derived', 'adding a case requires remembering a second place', 'a miss produces no signal at all, rather than a weaker one', 'the scope is written down rather than derived from what the rule is about', 'the listed cases are genuinely checked, which is what makes the output green']
修法族
['derive the set from the artefact', 'fail when the derived set is empty', 'report what was covered, not only what passed']
已知例外
A genuinely closed set — a protocol's fixed verbs, an enum in a spec — where the list is the domain and cannot silently grow.