{"initial":{"claims":[{"id":"c1","evidence":["record-1"]},{"id":"c2","evidence":["record-2"]}]},"counterexample":{"claims":[{"id":"c1","evidence":["record-1"]},{"id":"c2","evidence":[]}]},"tests":[{"name":"all supported","input":{"claims":[{"id":"c1","evidence":["record-1"]},{"id":"c2","evidence":["record-2"]}]},"expected":{"pass":true,"summary":"Every claim names supporting evidence.","checks":[{"name":"c1","pass":true},{"name":"c2","pass":true}]}},{"name":"missing support","input":{"claims":[{"id":"c1","evidence":["record-1"]},{"id":"c2","evidence":[]}]},"expected":{"pass":false,"summary":"1 claim(s) lack named supporting evidence.","checks":[{"name":"c1","pass":true},{"name":"c2","pass":false}]}},{"name":"blank support boundary","input":{"claims":[{"id":"c1","evidence":[" "]}]},"expected":{"pass":false,"summary":"1 claim(s) lack named supporting evidence.","checks":[{"name":"c1","pass":false}]}},{"name":"empty ledger boundary","input":{"claims":[]},"expected":{"pass":true,"summary":"Every claim names supporting evidence.","checks":[]}}]}