{"verifier_contract":{"id":"vct_0rag4scf4n","verifier_id":"vfr_4zxysvv1nd","version_number":3,"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"},{"description":"A third synthetic list with the correct sum (forces another fresh canonical Contract).","expected_result":"verified","expected_score":null,"inputs":{"artifacts":[{"content_hash":"sha256:6f4f2d6783cf0677e58f8b200dff8b574d5fffb8387d7d93fc4953c217e0eb3f","filename":"answer_extra2.json","role":"answer","size_bytes":12}],"reference":{"numbers":{"content_hash":"sha256:3f9d1cf3fdb2719c8044bd465ada0523d830d843f3cb5dcbcbd55f56ab49d3d8","filename":"numbers_extra2.json","size_bytes":36}},"summary_text":null},"key":"extra_sum_two","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:57:42Z","yanked_at":null},"implementations":[{"id":"vfi_zszovfr797","verifier_contract_id":"vct_0rag4scf4n","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:58:00Z","differential_against_implementation_id":null,"failures":[],"fixtures_passed":4,"fixtures_total":4,"last_attempted_at":"2026-09-04T18:58:00Z","last_execution_error":null,"status":"passed"},"created_by_user_id":"usr_lk2ek7qqq2","created_at":"2026-09-04T18:57:43Z","yanked_at":null}]}