  [ok  ] py_compile
  [ok  ] static marker: def run_verdict(tool_fatal, read_fatal, malforme
  [ok  ] static marker: def judge_malformed(rc, out, err, expect_rc, nee
  [ok  ] static marker: if expect_rc == REFUSAL_RC:
  [ok  ] static marker: "verdict": "OK", "rc": rc, "contract": "refusal"
  [ok  ] static marker: return (1 if fatal else 0), bad_by_axis[0], bad_
  [ok  ] static marker: rrc, read_fatal, malformed_fatal = report_read(a
  [ok  ] static marker: line, run_rc = run_verdict(fatal, read_fatal, ma
  [ok  ] static marker: print(line)
  [ok  ] static marker: return run_rc
  [ok  ] static marker: selftest: 44 cells
  [ok  ] static marker: 1, "EMPTY")
  [ok  ] obsolete main() return removed
  [ok  ] selftest 44 cells 0 failed
  [ok  ] IMPORT_OK (side-effect-free)
  [ok  ] run_verdict line states the rc it returns
  [ok  ] refusal rc2 + message -> OK (contract)
  [ok  ] rc0 where contract says 2 -> RC_WRONG (fatal)
  [ok  ] rc2 + whitespace only -> SILENT
  [ok  ] traceback -> TRACEBACK even at rc 2
  [ok  ] graded rc1 + needed word -> OK (contract=grade)
  [ok  ] graded rc1 + missing word -> UNEXPLAINED
  [ok  ] refusal on stderr stream is OK (either stream)
  [ok  ] judge_malformed has 5-arg (rc,out,err,expect_rc,need) signature

verify_selftest_sweep_q93_refactor: ALL GREEN (0 failed, all checks)
VERIFY_EXIT=0
