Gates on machine-checkable evidence
DiffJudge default for code
Takes every candidate diff, applies each one in a throwaway git worktree, and runs the typecheck. A diff that will not apply loses. A diff that applies but breaks the build loses. There is no opinion in the loop, and no way for a worker to talk its way past it.
git applythentsc --noEmit
Every candidate scores 0, 1 or 2. The rationale is the judge’s own wording.
- both gatesdiff applies cleanly and type-checks — both gates passed (score 2/2)
- typecheck faileddiff applies cleanly but typecheck failed — partial evidence only (score 1/2)
- apply faileddiff does not apply cleanly against HEAD (score 0/2)
highest score wins; a tie among passing diffs goes to an LLM tie-break