{"initial":{"records":[{"claim":"open","value":"yes","evidence":"r1"}]},"counterexample":{"records":[{"claim":"open","value":"yes","evidence":"r1"},{"claim":"open","value":"no","evidence":"r2"}]},"tests":[{"name":"supported agreement","input":{"records":[{"claim":"open","value":"yes","evidence":"r1"}]},"expected":{"pass":true,"summary":"No missing evidence or contradiction found.","checks":[{"name":"record shape","pass":true},{"name":"missing evidence","pass":true},{"name":"contradictory claims","pass":true}]}},{"name":"missing evidence","input":{"records":[{"claim":"open","value":"yes","evidence":""}]},"expected":{"pass":false,"summary":"1 record(s) have missing evidence, without a contradiction.","checks":[{"name":"record shape","pass":true},{"name":"missing evidence","pass":false},{"name":"contradictory claims","pass":true}]}},{"name":"contradiction","input":{"records":[{"claim":"open","value":"yes","evidence":"r1"},{"claim":"open","value":"no","evidence":"r2"}]},"expected":{"pass":false,"summary":"Contradiction for: open.","checks":[{"name":"record shape","pass":true},{"name":"missing evidence","pass":true},{"name":"contradictory claims","pass":false}]}}]}