Constructed example; no coding agent or ExecCritic benchmark was run.

Implementation         Two original checks      With empty-list check
original               1 passed, 1 failed       2 passed, 1 failed
plausible_patch        2 passed, 0 failed       2 passed, 1 failed
corrected_patch        2 passed, 0 failed       3 passed, 0 failed

Known-wrong empty-filter expectation:
  original: REJECTED
  plausible_patch: ACCEPTED
  corrected_patch: REJECTED

All outcomes matched the declared matrix. Expected failures are intentional.
