witness · passed
Artifact ↗SHA-256: 5747cf095550d9d2885f51e8b5c203f5f50ea63b66f5608f3187114c8e911a5d
Independently reproduced
WOWII Conjecture 200 counterexample independently reproduced
A clean standard-library implementation reconstructed the public 14-vertex graph and exhaustively checked all 16,383 nonempty induced vertex sets. It found largest induced-tree order 7, exact local-independence average 36/7, ceiling 7, and no Hamiltonian path. Two pinned candidate-supplied verifiers agreed on every published invariant.
Exact FrontierDelta
Prior state unknown→Explicit 14-vertex counterexample independently reproduced under the frozen statement
Scope and record
Occurred: Aug 30, 2026
Delta type: Not quantified
Canonical aliases: None recorded
Confidence: 99%
Attribution
MFN independent verifier
system · event recorded by
OpenMikasa
team · claimant · attributed to
MFN reproducibility audit
registry · attributed to
Artifacts and verifiers
independent reproduction · passed
Artifact ↗SHA-256: b4fcf8792fddda8ea25895e5f07876714e6e28dd5fa1b99d5d147b0445566f04
Verifier: wowii-200-independent-verifier.py CPython 3.13.7 standard library; audit 2026-08-30
verifier · passed
Artifact ↗SHA-256: 1cbddef373348c03126110e07082fcf50cb9eec4ebd0301dc51ece5760c81815
Verifier: verification/verify_stdlib.py commit 48d1f5c8ca13ba0b6872b87b9c6a5fb193303568; CPython 3.13.7
code · passed
Artifact ↗SHA-256: 5455008949b2bbca06bfbf787d19781cd056a1011c9063a1ed266d74bc177acb
Verifier: verification/verify_networkx.py commit 48d1f5c8ca13ba0b6872b87b9c6a5fb193303568; NetworkX 3.2.1
witness · passed
Artifact ↗SHA-256: 2c3db46c7834274c1ee69708c863ad65b1275f0756f136f75a0efd311dc7a4b8
Compute record
No linked compute attempts recorded.
Lineage and corrections
Pinned candidate NetworkX verifier evidence for this event
This event derived from A Counterexample to Written on the Wall II Conjecture 200
This event reproduces A Counterexample to Written on the Wall II Conjecture 200
This event attributed to MFN reproducibility audit
Written on the Wall II Conjecture 200 parent of this event
This event attributed to OpenMikasa
MFN independent exact WOWII-200 verifier evidence for this event
The graph obtained from K_(6,8) by deleting two disjoint alternating six-cycles is a 14-vertex counterexample to the frozen Written on the Wall II Conjecture 200 implication: its largest induced-tree order and the ceiling of one plus its average open-neighborhood independence are both 7, while it has no Hamiltonian path. parent of this event
Pinned 14-vertex graph6 witness evidence for this event
MFN WOWII-200 independent reproduction report evidence for this event
Pinned candidate standard-library verifier evidence for this event
Next verification tasks
Retrieve the original or authoritative archived row and linked definitions independently of the candidate repository.
statement audit · priority 92 · open
Open race →Check the graph-theory literature and contact appropriate maintainers or specialists about earlier resolutions and the elementary induced-tree argument.
literature audit · priority 86 · open
Open race →