{"verifier_contract":{"id":"vct_t0u0rfenfe","verifier_id":"vfr_wt528n23iu","version_number":2,"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"},{"acceptance":null,"description_md":"One campaign reviewer confirms the submission is a genuine, readable witness. Establishes reviewer acceptance only.","evidence_schema":null,"external_system":null,"key":"reviewer_check","kind":"review","review_protocol_id":"rpt_rsu1os6nxj","rule_owner":null,"title":"Reviewer confirmation"}],"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. A campaign reviewer then confirms the submission is a genuine witness rather than a bulk dump.","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, confirmed by a reviewer","created_by_user_id":"usr_5homk2nezf","created_at":"2026-09-02T15:13:51Z","yanked_at":null},"implementations":[{"id":"vfi_cnr1po4prw","verifier_contract_id":"vct_t0u0rfenfe","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:59Z","differential_against_implementation_id":null,"failures":[],"fixtures_passed":4,"fixtures_total":4,"status":"passed"},"created_by_user_id":"usr_5homk2nezf","created_at":"2026-09-02T15:13:52Z","yanked_at":null}]}