@misc{indiciae1fa25c7ae591,
  title = {A Lean 4 Verification Report for Subregular Affine Cells and the Level \$-1\$ Vertex Algebra of Type \$D\$},
  author = {Sihai Jin},
  year = {2026},
  url = {https://arxiv.org/abs/2608.20793},
  note = {Source identifier: 2608.20793}
}