# Gap-01 — The a₆ Seeley–DeWitt Wall

## What this gate must establish

A genuine high-energy (UV) completion of the framework requires that the one-loop quantum corrections of the frozen 13D graviton-plus-ghost spectrum be finite and well-behaved. The single named object that this turns on is the sixth Seeley–DeWitt heat-kernel coefficient, tr[a₆], of the de-Donder graviton operator on the frozen geometry M₄×K₆×S²×S¹_Y, projected onto the cubic-curvature (mass-dimension-6) basis. This gate asks whether that coefficient can be computed from the frozen spectrum and whether a finite, positive value would actually constitute a UV completion.

## The geometry's role (load-bearing, not validation)

The frozen 13D geometry fixes the operator whose heat kernel is being expanded: it supplies the graviton and ghost bundles, their holonomy decomposition under K₆×S²×S¹_Y, and the background curvature invariants that feed the a₆ functional. So the geometry makes the question well-posed and pins the *clean, scale-free* content — in particular an exact dimensionless ratio (the color factor) that has been dual-validated against independent sphere cross-checks. What the geometry does **not** do is supply a UV completion: it sets up the coefficient, it does not certify that the coefficient closes the high-energy problem. Given the spectrum is not the same as deriving the spectrum, and a single coefficient is one term in an unbounded tower.

## Current honest status

**Badge: OPEN** (the magnitude is scheme/scale-anchored). **No status was ever upgraded.**

- The dimensionless, scale-free content is genuinely derived and cross-checked; the *dimensionful* magnitude rides an injected scale, so it is scheme-anchored, not derived.
- A **bulk** tr[a₆] value has since been computed and independently reproduced, but it is admissible **only** as a labeled consistency coefficient — never as a gate-closing result, never as a UV-completion or mass-gap claim.
- Named blockers that keep the gate open:
  - **MO-12 (necessary-not-sufficient).** Even a finite, positive a₆ is one coefficient in the unbounded a₈/a₁₀/… Seeley–DeWitt tower; whether it *constitutes* a UV completion is a field-level open question shared with all of quantum gravity.
  - **TOTAL uncomputed (Z₂ orbifold defect).** The total = bulk + boundary defect is **not** emitted. The defect is the order-6 mixed Neumann/Dirichlet boundary heat-kernel coefficient at the S¹_Y/Z₂ fixed points, which is genuinely BLOCKED — the boundary heat-kernel tower is known in the literature only to lower order (it stops at a₅). No total is fabricated.
  - **MO-10 / MO-11 (positivity + adjudication) unmade.** The positivity functional and its decision-grade pass-semantics are not constructed; no sign of the positivity functional is asserted.
- Audit by-products (corrections owed to the corpus, not closures): a real curvature-input error (~31%) in the internal a₆ engine must be fixed; a separate derivative-sector ratio was confirmed correct. The engine is half-right, half-wrong.

This is a serious candidate / partial-unification gate — **not validated.** It touches none of the famous walls: it is a finite-matching question, not a route across the Yang–Mills mass gap or the cosmological constant.

## What would close it

A concrete (heavy, but in-principle finite) path exists for the bulk; the no-go sits at the total and the sufficiency. Closing the gate requires, in order: (1) fix the shared one-loop scheme object so the magnitude stops riding an injected scale; (2) correct the curvature input feeding the engine; (3) obtain the Z₂ orbifold-defect coefficient — currently blocked pending an order-6 mixed-boundary heat-kernel result that does not yet exist in the literature — and assemble the total; (4) construct the positivity test and its adjudication rule (MO-10/MO-11); and (5) settle the field-level question (MO-12) of whether a finite, positive a₆ earns the words "UV completion" at all. Step (5) is shared with quantum gravity broadly and has no known short route here.

## Sources

- Gaps & Walls Register, "a6 / Gap-01" row and "The computation-debt finding" section — TOE corpus, `GAPS_AND_WALLS_REGISTER.md`.
- Gap-01 named-missing-objects list (MO-1 … MO-14, with MO-9 = tr[a₆] and the MO-10/MO-11/MO-12 adjudication objects) — TOE corpus, `gap_01_uv_quantum_gravity/`.
- Gap-01 / a₆ reconciliation verdict (bulk-as-consistency-coefficient ruling, mandatory caveats, Z₂-defect blocker, sphere cross-checks) — TOE corpus, `GAP01_A6_RECONCILIATION_2026-06-24.md`.
- Frozen 13D geometry anchor (branch `dcc66f1b2685` / `a5b1e6f9d951`, READ-ONLY) — referenced in the register and reconciliation record.

(Linked from the public theory register; no external DOIs are asserted for this gate, as the closing computation does not yet exist.)