Kioptrix Dead Ends: Record, Recheck or Pause
Classify a failed Kioptrix check as a bounded negative, incomplete, inconclusive or contradicted hypothesis. Use the closure record to retain prerequisites, output and alternatives before deciding to recheck, revise or pause.