Graffiti 290 — Reproducibility Archive

A Proof of Graffiti 290 · July 23, 2026 · Companion: Graffiti 292

Scope. These artifacts verify the proof of Graffiti 290 under the Written on the Wall gravity normalization. Novelty is provisional; priority is not claimed. The independent reimplementation is shared with the companion Graffiti 284 refutation note.

Replay

python -m pip install sympy networkx numpy
python verify_290_symbolic.py
python verify_290_small_cases.py
python independent_check_284_290.py

Files

File	Purpose
manuscript-graffiti-290.md	Markdown manuscript with full derivations
verify_290_symbolic.py · output	Symbolic reduction: (t+1)²Q(t) factorization, Q(u+5) coefficient positivity, exact endpoints n=5,6
verify_290_small_cases.py · output	Exhaustive exact small-case battery (34 connected girth ≥ 5 graphs, 2 ≤ n ≤ 7) + named-graph margins
independent_check_284_290.py · output	Independent reimplementation: pentagon/pentagram HS, LCF cages, 60 random trees, 40 girth-pruned graphs (shared with 284 note)
claim-ledger.json	Claim-by-claim evidence map (covers 290 proof + 284 refutation verification + 295 attack state)
wow-p79-bot.png	Primary source: rendered scan of the WoW page 79 (conjecture 290 statement)
wow-p80-top.png	Primary source: rendered scan of the WoW page 80 (conjectures 292, 295)
SHA256SUMS.txt	SHA-256 integrity ledger

Verification outcomes

Battery	Result
1. Named-graph battery (Petersen, HS, Heawood, Pappus, Desargues, Möbius–Kantor, dodecahedron, cycles, paths, spiders)	PASS
2. Symbolic reduction (SymPy)	PASS
3. Exhaustive exact small cases (34 graphs, Sturm root counts)	PASS
4. Independent reimplementation (from-scratch, LCF cages, random samples)	PASS