@misc{ARR-2026-3B7MWNSJS18TYAA4-v1,
  author = {Lluis Eriksson},
  title = {{Machine-Checked Finite-Edge SU(2) Crossing Ward Identity: Pauli Generator Transfer and Single-Trace Closure}},
  year = {2026},
  howpublished = {AIRR.SCIENCE},
  note = {Archived manuscript; ARR-2026-3B7MWNSJS18TYAA4 v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.},
  url = {https://airr.science/papers/ARR-2026-3B7MWNSJS18TYAA4/versions/v1/}
}