Commands whose outcomes are facts — the test suite, the build, a grep for a required
artifact — can run as evidence before or alongside the judge: short-circuit an obvious
not-yet, or hand the judge an evidence ledger instead of asking it to rediscover facts.
Design decision: short-circuit vs evidence-for-the-judge (or both, staged). External
support: GroundEval's judge-free contract verification over deterministic state.
Commands whose outcomes are facts — the test suite, the build, a grep for a required
artifact — can run as evidence before or alongside the judge: short-circuit an obvious
not-yet, or hand the judge an evidence ledger instead of asking it to rediscover facts.
Design decision: short-circuit vs evidence-for-the-judge (or both, staged). External
support: GroundEval's judge-free contract verification over deterministic state.