Opus 5 Spectral Hunt: No New Disproof But 30M+ Graphs Verified and PostScript Archaeology

Claude Opus 5's shift to spectral graph theory produced no new disproof but generated substantial verification work: Brouwer's Laplacian-sum conjecture and two others checked over all 11.7M connected graphs on 10 vertices, the tree spectral-gap conjecture over all 2.14M trees on 21 vertices, and Mohar's planar-subcubic HL-index conjecture over all 17M connected subcubic graphs on 17 vertices (Heawood remains the only R>1 graph, and it is non-planar). More notably, Opus 5 recovered Fajtlowicz's "Written on the Wall" -- the annotated list of the first 894 Graffiti conjectures -- from a dead 2004 PostScript file via the Internet Archive, decoding dvips glyph names into ASCII using a linear map: 36*idx(X)+idx(Y)-360 = ASCII.