Verification artifact: No automorphism of order seven for a strongly regular graph srg(99,14,1,2)

Verification artifact for the result that no strongly regular graph with parameters (99,14,1,2) — a putative Conway 99-graph — admits an automorphism of order 7. The archive contains the SAT formula (o7.cnf), the 98,536-cube decomposition (cubes_all.txt), one LRAT unsatisfiability certificate per cube (proofs/, zstd-compressed), an independent cake_lpr-checkable certificate that the cubes cover the full valuation space (coverage_cert/), the Apptainer container definition and image for the formally verified checker cake_lpr, verification scripts, and provenance materials. Every certificate has been verified with cake_lpr (98,536/98,536 OK); SHA256SUMS fingerprints all contents. The accompanying Lean 4 formalization is available on GitHub. Archive SHA-256: 8017dd65bf9a0aba535cdb21d76601a6c26b6b091d59d710eba0d50c4d3ef982.