I'm building Traceford, focused on whether coding-agent completion claims match the actual revision and delivery state. I have one independently reviewed synthetic case that catches green CI from the wrong revision. Is that useful coverage for your current evaluation work, or already covered? I'd appreciate feedback on the evidence contract before expanding it.