Registry · Definition IV.D173 tau-effective formalized

IV.D173 — Canonical strong vacuum, plaquette form

The canonical strong vacuum in plaquette form is Gamma_s^*[n] := argmin over V_n^s-minimizers of code_n^s(Gamma_n), the NF-coded tie-breaking among plaquette-defect minimizers, equivalent to the gap-loop construction.

Book IV Part 5 Ch. 41

Lean Formalization

Module: TauLib.BookIV.Strong.YangMillsGap

Symbol: Tau.BookIV.Strong.CanonicalStrongVacuumPlaquetteForm