Source authenticated

Written on the Wall II, Graph Conjecture 144

The Formal Conjectures pull request flipping this from open to solved is still open rather than merged, so the canonical repository has not yet accepted it.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Aug 3, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: lean-verified. Publication: announcement. AI contribution: ai-assisted. Imported under CC BY 4.0.

Canonical aliases: Written on the Wall II, Graph Conjecture 144 · WOWII 144

Confidence: Not scored

Registry verification: lean verified · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Chris Maki
human · human collaborator

ChatGPT + Codex
model · ai model contributor · OpenAI

Evidence vector

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Named evidence

VibeMathed record: Written on the Wall II, Graph Conjecture 144

specialist registry · passed

Checked here on 2026-08-03, statically rather than by rebuilding. The theorem statement was diffed against the upstream Formal Conjectures statement and is identical apart from a hypothesis binder name, which is the fidelity check that matters. All 16 Lean files at the pinned commit (5,873 lines) contain no sorry, no admit, no axiom declarations and no native_decide. The author reports lake build --wfail and axiom checks passing; that build was NOT reproduced here.

Source ↗

Lean proof at the pinned commit

lean artifact · passed

lean-proof link supplied by the VibeMathed registry.

Source ↗

Written on the Wall II, Graph Conjecture 144

witness · pending

Primary source named by the VibeMathed record. Presence in this import is not an independent mathematical verification.

Source ↗

Upstream statement (Formal Conjectures)

formal registration · pending

lean-statement link supplied by the VibeMathed registry.