{"verifier_contract":{"id":"vct_wacbq9qe4y","verifier_id":"vfr_wt528n23iu","version_number":1,"conformance_fixtures":[{"description":"A correct satisfying assignment; the baseline positive case.","expected_result":"verified","expected_score":null,"inputs":{"artifacts":[{"content_hash":"sha256:26bf7206bd08d5ab7f554873f8fb85fc855df4f73d86ae31f62b1055a857e745","filename":"sat.txt","role":"assignment","size_bytes":78}],"reference":{"instance":{"content_hash":"sha256:9f70ab0f27a29467ba7064086b501e7ae8566d598a5c78f4eefa1a96aef6d95a","filename":"small.cnf","size_bytes":1099}},"summary_text":null},"key":"valid_assignment","stage_key":"assignment_check"},{"description":"Assigns every variable but leaves one clause false.","expected_result":"refuted","expected_score":null,"inputs":{"artifacts":[{"content_hash":"sha256:0e66075cfcc7b4d10a8085f5a0e4ebc64b4ebf720c0a2d4a7873799493c4e719","filename":"wrong.txt","role":"assignment","size_bytes":79}],"reference":{"instance":{"content_hash":"sha256:9f70ab0f27a29467ba7064086b501e7ae8566d598a5c78f4eefa1a96aef6d95a","filename":"small.cnf","size_bytes":1099}},"summary_text":null},"key":"unsatisfied_clause","stage_key":"assignment_check"},{"description":"Mentions a variable the instance does not declare; the Contract rejects this.","expected_result":"refuted","expected_score":null,"inputs":{"artifacts":[{"content_hash":"sha256:9b99e9370aa1c4a558d23f42752e71144cc71e6707660dacbe21bd8f58aad370","filename":"extra.txt","role":"assignment","size_bytes":81}],"reference":{"instance":{"content_hash":"sha256:9f70ab0f27a29467ba7064086b501e7ae8566d598a5c78f4eefa1a96aef6d95a","filename":"small.cnf","size_bytes":1099}},"summary_text":null},"key":"out_of_range_variable","stage_key":"assignment_check"},{"description":"Not parseable as v-lines at all; unverifiable rather than wrong.","expected_result":"inconclusive","expected_score":null,"inputs":{"artifacts":[{"content_hash":"sha256:7d622ba30b5f5d1d2a5bf9e2162960b844e037eda1047057d2fbdbc08db9c438","filename":"garbage.bin","role":"assignment","size_bytes":512}],"reference":{"instance":{"content_hash":"sha256:9f70ab0f27a29467ba7064086b501e7ae8566d598a5c78f4eefa1a96aef6d95a","filename":"small.cnf","size_bytes":1099}},"summary_text":null},"key":"malformed_v_lines","stage_key":"assignment_check"}],"reference_inputs":[{"description":"The CNF instance in DIMACS format that the submitted assignment must satisfy.","key":"instance","max_bytes":10485760,"media_types":["text/plain"],"required":true}],"result_kind":"pass_fail","score":null,"stages":[{"acceptance":null,"description_md":"Parses the assignment and evaluates every clause of the bound instance. Establishes clause satisfaction only.","evidence_schema":{"properties":{"clauses_satisfied":{"type":"integer"},"clauses_total":{"type":"integer"}},"required":["clauses_total","clauses_satisfied"],"type":"object"},"external_system":null,"key":"assignment_check","kind":"sandbox","review_protocol_id":null,"rule_owner":null,"title":"Clause satisfaction check"}],"statement_md":"A result is verified when the submitted assignment file, parsed as SAT-competition v-line format, assigns every variable of the bound CNF instance and satisfies all of its clauses. Assignments mentioning variables outside the instance are rejected. This establishes that the instance is satisfiable and that this assignment witnesses it. It does not establish that the assignment is unique or minimal.","submission_requirements":{"accepts_text_only":false,"answer_format_md":null,"required_artifacts":[{"description":"A satisfying assignment in SAT-competition v-line format.","max_bytes":1048576,"media_types":["text/plain"],"role":"assignment"}]},"title":"Satisfying assignment for the bound CNF instance","created_by_user_id":"usr_5homk2nezf","created_at":"2026-09-02T06:59:45Z","yanked_at":null},"implementations":[{"id":"vfi_o8ew00w00f","verifier_contract_id":"vct_wacbq9qe4y","entrypoint":["/tfp/verify"],"limits":{"disk_mb":64,"memory_mb":512,"network":"none","timeout_seconds":60,"vcpu":1},"runtime":{"image_digest":"sha256:d2af299eb3f6cd7e46b95d54405df46e71fa5c89af4722eaa395ea277b00e1e0","image_ref":"tfp-builtin/sat-assignment-check:1","kind":"container"},"source":{"license":"MIT","source_revision":null,"source_uri":"https://github.com/Jomanw/tokensforprogress"},"stage_key":"assignment_check","version_number":1,"content_hash":"sha256:30cce2ad3709a1a92a2b31e16c1a99cad4c1a3c93fc407c05d2095025f1bed2e","conformance":{"checked_at":"2026-09-02T15:13:49Z","differential_against_implementation_id":null,"failures":[],"fixtures_passed":4,"fixtures_total":4,"status":"passed"},"created_by_user_id":"usr_5homk2nezf","created_at":"2026-09-02T06:59:45Z","yanked_at":null}]}