Certified Small Signed Difference Sets: CNF and DRAT Proof Archive

Exact DIMACS formulas, DRAT certificates, proof metadata, checker outputs, and SHA-256 manifests supporting the certified nonexistence results in the Certified Census of Small Signed Difference Sets. The archive is frozen against the April 24, 2026 La Jolla Signed Difference Set Repository snapshot. It contains 241 proof-related files; exactly 57 CNF/DRAT proof pairs are accepted by the final census. Archive size: 242,173,862 bytes. SHA-256: d982b6b5c62b49588e772563ef53161084425ae89b1812672910bf05f1479231. MD5: 184b2d472efdab30ff9c58ab55f93d2c. The accompanying repository provides the English note, 16 explicit witnesses, two independent validators, regenerating quotient checks, a clean-environment audit, licensing information, and a precise statement of AI use.