Deterministic comparison
Hard gates decide eligibility first.
Fixture data is shown below. A model rationale cannot override a failed or inconclusive hard gate.
Candidate matrix
Behavioral eligibility
| Candidate | Build | Original tests | Migration tests | Schema | Tool calls | Verdict |
|---|---|---|---|---|---|---|
| Direct SDK portBuild passed, but the schema counterexample observed a behavioral regression. | Passed | Passed | Failed | Failed | Failed | Rejected |
| Prompt + schema adapterThe only fixture candidate with complete passing evidence for every hard gate. | Passed | Passed | Passed | Passed | Passed | Selected |
| Compatibility shimSandbox timeout prevented complete verification; no behavioral result was inferred. | Passed | Passed | Inconclusive | Inconclusive | Inconclusive | Inconclusive |