@misc{indiciae00d3becce3d4,
  title = {A Lean 4 Verification Report for Completing the Arakawa--Moreau Conjecture on Maximal Ideals of Affine Vertex Algebras},
  author = {Sihai Jin},
  year = {2026},
  url = {https://arxiv.org/abs/2609.27952},
  note = {Source identifier: 2609.27952}
}