Submission: checklist audit fixes, compute section, kit \affiliations errors

[duckyquang]

Summary

Deadline-critical fixes to the submission package. Audited the filled AAAI-27 reproducibility checklist against the repo and fixed what didn't hold, plus two kit compile errors that would get the paper returned:

• Both main.tex and supplement.tex errored at \maketitle — the aaai2027 kit requires \affiliations{} (empty for anonymous submissions) and neither file had it. AAAI recompiles sources and returns papers that error. Fixed; all three documents now compile with zero errors.
• Checklist 4.8 ("computing infrastructure specified") said yes but nothing in the shipped tex stated it. The supplement now has a Compute and Software Environment section (M1 Pro 10-core / 16 GB / CPU-only, pinned versions, representative wall-clocks, the CI verify entry point) — the answer is now true instead of downgraded.
• Checklist 2.3 ("novel claims stated formally, e.g. theorem statements") downgraded yes → partial — the paper's "theorem" mentions are prose claims about CAS certificates; only the best-of-K equation is formally stated. A false yes here is the kind of thing checklist-checking reviewers flag.

Result

• main.tex: 0 errors, 8 pages (7 content + refs) · supplement.tex: 0 errors, 4 pages · ReproducibilityChecklist.tex: 0 errors, 2 pages
• verify_paper_numbers: 52/52

Notes

@ImSpxrsh if you disagree on 2.3, it's a one-word revert — but partial is the safe answer under checklist scrutiny. Everything else is additive.