Software verification checks

Adding a 'could not tell' result to checks exposed four new ways to misread them

One developer's 'could not tell' exit code stopped a false green on a hold, then exposed four new ways a check can mislead. Each looks like a clean result, so agent evals that adopt the third value need controls that force every outcome.