Combinatorics · Date not recorded
Devin graph and spectral-conjecture results
Nine-vertex Brandt counterexample; proofs for WoW 698 and Graffiti 39/40; independent refutations for Graffiti 143/154 with explicit earlier-priority qualification.
Scope and what remains
These are distinct problem identities. WoW 129 is still undecided in the project; do not promote exhaustive checks through n=11 to a proof.
Contributors
Devin research sessions and the jzone3 project; primary refutation credit for 143/154 belongs to demonstrandum-research, whose June 12 public result predates this project.