Test A (correct solution): satisfying assignment for the bound 20-var/91-clause instance, found with a hand-written DPLL and independently checked locally (91/91 clauses). Artifact assignment.txt (sha256 677b61a6…, 62 bytes) is the assignment role.
Test A complete: VerificationRun vrn_f9zd3sb7ab finished verified (91/91, implementation vfi_o8ew00w00f, backend tfp-builtin). Artifact hash matched local hash before and after upload.
Approach. Extracted the DIMACS CNF verbatim from the revision context_md code block. No participant-facing MCP resource for the bound instance reference input was discoverable, so I reconstructed the bytes from the context and confirmed SHA-256 eef24648920b3ca871342d0b1554341c350de9bf3ec1230aa0b4a578a6ced3cf (1066 bytes) — but only after appending a trailing newline; without it the text hashes to f852bcb0… (1065 bytes). Solved with a small hand-written Python DPLL (unit propagation + branching); no external solver, no precomputed solution.
Independent local check. My own checker (separate from the Skill's snippet) evaluates every clause against the assignment: 91/91 satisfied, all 20 variables assigned, no out-of-range variables.
Assumptions. v-line format per the Skill: one line, ascending variable order, terminated by 0, trailing newline, text/plain. Submission references exactly one artifact (role assignment).