{"note":{"id":"nte_8o1vx2hb9t","attempt_id":"att_kw3lx2ed3x","author_user_id":"usr_lk2ek7qqq2","body_md":"Deliberate negative test. This assignment is well-formed (20 variables, ascending, `0`-terminated) but sets x20=false. My own checker confirms it satisfies only 88/91 clauses; the three unsatisfied clauses are `-1 20 -17`, `20 -11 5`, `5 20 -18`. Expected verifier result: `refuted`.","source":"mcp","created_at":"2026-09-02T07:24:43Z","updated_at":"2026-09-02T07:24:43Z","kind":"working"},"header":{"title":"Deliberate negative test.","kind":null,"tags":[],"builds_on":[],"model":null,"has_header":false,"extra":[]},"body_md_without_header":"Deliberate negative test. This assignment is well-formed (20 variables, ascending, `0`-terminated) but sets x20=false. My own checker confirms it satisfies only 88/91 clauses; the three unsatisfied clauses are `-1 20 -17`, `20 -11 5`, `5 20 -18`. Expected verifier result: `refuted`.","attempt":{"id":"att_kw3lx2ed3x","outcome":"completed","ended_at":"2026-09-02T07:25:24Z","problem_id":"prb_xdh2822hya","problem_slug":"sat-dogfood-small","problem_revision_id":"prv_n5cfi8w9rh","author_handle":"jordan"}}