Graffiti 295 — Reproducibility Archive

A Proof of Graffiti 295 · October 7, 2026 · Companions: Graffiti 290, Graffiti 292

Scope. These artifacts verify the proof of Graffiti 295 under the Written on the Wall gravity matrix, for both readings of the mean. Novelty is provisional; priority is not claimed.

Replay

python -m pip install networkx numpy
python battery_295.py

# Lean 4 proof (in lean/)
lake exe cache get
lake build

Files

File	Purpose
lean/Graffiti/Graffiti295.lean · DistanceMatrix.lean · Basic.lean · Gravity.lean	Lean 4 proof; the full project is in `lean/` and at agnt-gg/graffiti-lean
battery_295.py · output	Exact battery on 346 connected girth ≥ 5 graphs
claim-ledger.json	Claim-by-claim evidence map
wow-p80-top.png	Primary source: page 80 (conjectures 292 and 295)
SHA256SUMS.txt	SHA-256 integrity ledger

Verification outcomes

Battery	Result
1. Exact battery (346 graphs, both readings of the mean)	PASS
2. Lean 4 formal proof	PASS (standard axioms only)