{"format":"wai-ops-falsification/1","sets":[{"capability":"wai.neural.int_synth","claim":"acc64","lowering":"int_synth/1","members":{"int_synth.json":"ops-conformance/sets/overflow_acc64/int_synth.json"},"name":"overflow_acc64","note":"fails acc64 by one unit (section 14.3)","roles":["ops-conformance/certificates/wai.neural.int_synth/b35460f39f31a559e97e66b8dde4597a309cbc44199c40097f935dd8e6e7305a/synth.whg1"],"set_sha256":"b35460f39f31a559e97e66b8dde4597a309cbc44199c40097f935dd8e6e7305a","synthetic":true},{"capability":"wai.neural.int_synth","claim":"acc32","lowering":"int_synth/1","members":{"int_synth.json":"ops-conformance/sets/claim_acc32/int_synth.json"},"name":"claim_acc32","note":"its pin claims acc32, which it fails by one weight (section 14.3)","roles":["ops-conformance/certificates/wai.neural.int_synth/76916c8f85da7663c09fba8cb091d628ed38328b680563285b8056cec82fd1ac/synth.whg1"],"set_sha256":"76916c8f85da7663c09fba8cb091d628ed38328b680563285b8056cec82fd1ac","synthetic":true}]}