Separate-Model Verification

A stop condition the maker can assert is not a stop condition

A ShipWithAI post puts loop verification in order: exit code, Stop hook, second model. The hook's documented bypass and the missing cost number are where it gets interesting.