independent reproduction · passed
Artifact ↗SHA-256: 24350f297eef5c12dcf5983a34d91fe30706f66117219c48ee5c724f7aa94940
Verifier: clang++ exact enumerator C++20
An independent exact enumerator rebuilt both line graphs from the published edge lists and obtained the stated coefficients −64 and −40. VibeMathed's external label remains unreviewed; this is a separate local verification event.
Exact FrontierDelta
Occurred: Aug 29, 2026
Delta type: Not quantified
Canonical aliases: Stanley's Claw-Free Schur-Positivity Conjecture · Claw-free Schur positivity
Confidence: 99%
Attribution
MFN independent verifier
system · event recorded by
Jacob P. Matherne
human · claimant · attributed to
MFN reproducibility audit
registry · attributed to
Alejandro H. Morales
human · attributed to
Artifacts and verifiers
independent reproduction · passed
Artifact ↗SHA-256: 24350f297eef5c12dcf5983a34d91fe30706f66117219c48ee5c724f7aa94940
Verifier: clang++ exact enumerator C++20
witness · passed
Artifact ↗SHA-256: 997da91f69d7618507075db674ee93bd551c7b14364b1d469be50e88619f2879
Compute record
No linked compute attempts recorded.
Lineage and corrections
This event attributed to Alejandro H. Morales
This event attributed to Jacob P. Matherne
MFN claw-free Schur reproduction report evidence for this event
Exact independent claw-free Schur coefficient enumerator evidence for this event
This event derived from Chromatic symmetric functions of claw-free graphs are not Schur positive
For the line graphs G₁ and G₂ defined by the paper's two 12-edge source graphs, the coefficient of s_(3,3,3,3) in the chromatic symmetric function is exactly −64 and −40, respectively. parent of this event
Stanley's Claw-Free Schur-Positivity Conjecture parent of this event
This event attributed to MFN reproducibility audit
This event evidence for For the line graphs G₁ and G₂ defined by the paper's two 12-edge source graphs, the coefficient of s_(3,3,3,3) in the chromatic symmetric function is exactly −64 and −40, respectively.
This event reproduces Chromatic symmetric functions of claw-free graphs are not Schur positive