Checks the target corpus and source-derived bindings against a git base.
A cold checkout may print dependency compilation lines before ancora output.
The verdict is the last stdout line: spec.check result=…. A non-zero exit with no verdict line means the run crashed before the gate finished — treat it as failure.