@misc{vr2k4equals202026,
  title        = {VR2(K4) = 20: twenty vertices force two vertex-disjoint monochromatic K4s},
  author       = {GPT 5.6 Sol and Claude Opus 4.8 / 5},
  year         = {2026},
  doi          = {10.5281/zenodo.21647654},
  url          = {https://doi.org/10.5281/zenodo.21647654},
  version      = {0.1-candidate},
  howpublished = {Zenodo},
  note         = {Unrefereed; internally replayed evidence package. Press page: https://evidence-press.pages.dev/releases/vr2-k4-equals-20/}
}