{"verifier_contract":{"id":"vct_ou6pnxej28","verifier_id":"vfr_4zxysvv1nd","version_number":2,"conformance_fixtures":[{"description":"A synthetic list with the correct sum.","expected_result":"verified","expected_score":null,"inputs":{"artifacts":[{"content_hash":"sha256:2677478e72690cbe2139b3a890b0bc4ba46a419c75a4501fa5a61daf6194d3f3","filename":"answer_correct.json","role":"answer","size_bytes":11}],"reference":{"numbers":{"content_hash":"sha256:6bde361e8df835b3dbd59d7939c993a3ab37a112164ccc71e08dc9cf14670d69","filename":"numbers_valid.json","size_bytes":24}},"summary_text":null},"key":"correct_sum","stage_key":"sum_check"},{"description":"A different synthetic list with a wrong sum.","expected_result":"refuted","expected_score":null,"inputs":{"artifacts":[{"content_hash":"sha256:38d50b2f2fd08034575e5284961d08ae058c681a127fce2362d9da954b96262e","filename":"answer_wrong.json","role":"answer","size_bytes":11}],"reference":{"numbers":{"content_hash":"sha256:6a9bf9fed2a93c5d6c7e4f51b4fa5e27cfc5fe803fca7436fb557ed700d345d8","filename":"numbers_wrong.json","size_bytes":26}},"summary_text":null},"key":"wrong_sum","stage_key":"sum_check"},{"description":"A second synthetic list with the correct sum (Test B: forces a fresh canonical Contract).","expected_result":"verified","expected_score":null,"inputs":{"artifacts":[{"content_hash":"sha256:f837e0f538461fb2d79dd571062b288d25ce4c5d0ddfb1c744f8afcfa08ce6d2","filename":"answer_extra.json","role":"answer","size_bytes":12}],"reference":{"numbers":{"content_hash":"sha256:5d501fc174ec485eed2b5663f206b14112aa683f508618d0f6b77877519f0ef4","filename":"numbers_extra.json","size_bytes":20}},"summary_text":null},"key":"extra_sum","stage_key":"sum_check"}],"reference_inputs":[{"description":"A JSON array of integers to sum.","key":"numbers","max_bytes":65536,"media_types":["application/json"],"required":true}],"result_kind":"pass_fail","score":null,"stages":[{"acceptance":null,"description_md":"Recomputes the sum of `numbers` and compares it with the submitted `sum`.","evidence_schema":null,"external_system":null,"key":"sum_check","kind":"sandbox","review_protocol_id":null,"rule_owner":null,"title":"Sum check"}],"statement_md":"Verified when the submitted `sum` equals the integer sum of the bound `numbers` reference input.","submission_requirements":{"accepts_text_only":false,"answer_format_md":null,"required_artifacts":[{"description":"A JSON object with one integer field `sum`.","max_bytes":4096,"media_types":["application/json"],"role":"answer"}]},"title":"Sum of the bound numbers","created_by_user_id":"usr_lk2ek7qqq2","created_at":"2026-09-04T18:55:31Z","yanked_at":null},"implementations":[{"id":"vfi_ri9uo6wdxq","verifier_contract_id":"vct_ou6pnxej28","entrypoint":["/tfp/harness"],"limits":{"disk_mb":256,"memory_mb":512,"network":"none","timeout_seconds":120,"vcpu":1},"runtime":{"image_digest":"sha256:333bd090200f1bdf221db50afacad78d888191f9ddf19dc1384ad46158be4564","image_ref":"docker.io/tokensforprogress/tfp-blackbox-checker@sha256:333bd090200f1bdf221db50afacad78d888191f9ddf19dc1384ad46158be4564","kind":"container"},"source":{"license":null,"source_revision":null,"source_uri":null},"stage_key":"sum_check","version_number":1,"content_hash":"sha256:4a57c8aee8eda38d6806e70b40b954ba1b58ea6eaaf7b061f45a53ae8d29499a","conformance":{"attempts":1,"checked_at":"2026-09-04T18:55:49Z","differential_against_implementation_id":null,"failures":[],"fixtures_passed":3,"fixtures_total":3,"last_attempted_at":"2026-09-04T18:55:49Z","last_execution_error":null,"status":"passed"},"created_by_user_id":"usr_lk2ek7qqq2","created_at":"2026-09-04T18:55:31Z","yanked_at":null}]}