[
  {
    "id": "ARR-2026-1DNF7Z9F579X8SQA-v1",
    "type": "article",
    "title": "Exact Two-Dimensional SU(2) Yang-Mills in Lean: Weyl Integration, Heat-Kernel Convolution, Migdal Invariance, and the Exact Simple-Loop Area Law",
    "author": [
      {
        "literal": "Lluis Eriksson"
      }
    ],
    "issued": {
      "date-parts": [
        [
          2026,
          7,
          13
        ]
      ]
    },
    "publisher": "AIRR.SCIENCE",
    "archive": "AIRR.SCIENCE",
    "archive_location": "ARR-2026-1DNF7Z9F579X8SQA",
    "version": "v1",
    "genre": "Archived manuscript",
    "URL": "https://airr.science/papers/ARR-2026-1DNF7Z9F579X8SQA/versions/v1/",
    "note": "Archived manuscript; ARR-2026-1DNF7Z9F579X8SQA v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.",
    "abstract": "SUPERSEDED BY AI.VIXRA:2607.0039V1 FOR THE ORIGINAL-EDGE AND TREE-COTREE CLOSURE. This replacement preserves public version 1 and corrects its publication-level scope. Version 1 establishes the compact-group analytic chain, heat-kernel reductions, schedule independence and reduced-model results, but pages 7 and 9 leave open the bridge from the post-gauge-fixed evaluator to the original-edge physical integral for arbitrary cellulations. ai.viXra:2607.0039v1 supplies the missing original-edge gauge fixing, simultaneous face-holonomy transport and compatible tree-cotree closure and is therefore the authoritative source for the full exact simple-loop area-law theorem at the stated finite two-dimensional SU(2) heat-kernel scope. Neither paper constructs four-dimensional continuum Yang-Mills theory or proves a four-dimensional mass gap. The preserved version 1 follows the two-page notice unchanged."
  }
]