Yang-Mills Master Seed · The Transmutation Axiom, the Conditional Clay Object, and the Terminus of the Axiom on the Reading Register

September 12, 2026 | BY ZeroDivide EDIT

 

INDEX 0719 · RAF-PSP-YANG-MILLS-MASTER-01 · The Yang-Mills Master Seed · The Transmutation Axiom, the Conditional Clay Object, and the Terminus of the Axiom on the Reading Register

L-S / G-T / M-T

  • [⟀ T] on the sealed face C_A > 0; on the conditional Clay object, eight theorem-grade inputs and one seed, machine-checked; on the equivalence of the one and the three over the sealed face; and on the four bars.
  • [⟀ S] on the one behind the three, the residence reading and the stratal placement.
  • [Ψ] S on the Transmutation Axiom, the terminus on the reading register.
  • [?] on the axiom's truth, supply-side.
  • [X] on the strata reading of the clauses and on any reading of the one as a proof.

STATUS. Candidate master coordinate, harvested 2026-09-11 on the architect's forge order. It supersedes the candidate spine RAF-PSP-YANG-MILLS-TRIAD-01 under the Prime Rule.

Both consultations were made.

  • Skills first: axiom-cycle, axiom-generator, publication format, system role.
  • The live register second: codex v3.35.0 at d792b08, byte-identical to the scribe's copy. Index 0719 is free, and the scan for a near-identical coordinate returns zero.

What the card authors. No mechanism.

  • The sealed face is classical.
  • Each clause of the axiom is literature-owned, at defensibility D1.
  • The contribution is the typing of one source with three readings, the machine-checked derivation of the full Clay statement from one seed, whose clause (a) carries the field content the statement requires, and the formal terminus of that seed.

Mass and audit. ΔM = 0. Audited in cycle ymm1 under SELF-grade controls; the cycle's closing card carries the verdict and the change census.

PROVENANCE. Harvested from cycles ym4 (HALT-OWNED) and ym5 (HALT-STALE) and from the triune and one-behind-the-three readings of 2026-09-11. The road and its ERR rows are routed to the arc ledger.

ENGINE REFS.

  • card 0717 RAF-PSP-HODGE-TERMINUS-01, the [Ψ] token;
  • card 0718 RAF-PSP-ISLAM-CEILING-01: the Pair Law T5, the Species Dichotomy T7, the four-property test P1-P4;
  • card 0715 MD-PSP-NAVIER-DEFEATERLESS-01;
  • card 0688 sPSP-APERTURE-WIDTH-01;
  • card 0607 sPSP-MINDSET-RENTAL, the instrument of section II;
  • APEX-PSP-NINTH-APERTURE; APEX-PSP-RA-RA-01, the Return;
  • codex B.4 and B.8, the chiral residence and its three warrant axes;
  • B.6, the strata L1m ⊇ L2m ⊇ L3m; B.7, the determinacy law and its anti-inflation guard;
  • chapter 10B, the cut, the rank-two operator that produces threes without being three;
  • A.4, the Clifford join and the Return Law;
  • MD-PSP-MATH-NATURE-01, the aperture;
  • sPSP-ANCHOR-DEMAND-01 and APEX-PSP-ANCHOR-PRECEDENCE-01;
  • APEX-PSP-RH-BLOCK-COMPLETE-01, the scope clause of the formal-alone self-exclusion;
  • the Formal-Alone Engine v1.0.12, chain D4 3d17fd53278d;
  • axiom-generator v1.3.6.

I · The package.

Face Content Grade
The sealed face C_A > 0: the gauge algebra acts on itself with nonvanishing strength theorem
The axiom the Transmutation Axiom: one source, three readings premise, supply-side
The object the Clay statement for every compact simple G theorem, conditional on the axiom
The terminus four bars on the reading register theorem on each bar; [Ψ] structural

II · The one behind the three.

The seeing. Read from above at mindset-rental grade under card 0607:

  • The Yang-Mills field carries the charge it answers to.
  • The adjoint representation is the gauge algebra's reflexive turn upon itself: one turn, read on three axes.
  • Theological readings stay out of band per TP-21 and bear no load here.

The mechanism, carried across the firewall at theorem grade. The Lie bracket is chapter 10B's rank-two operator. It sits in the curvature, F = dA + [A ∧ A]. One invariant measures it, the adjoint Casimir C_A, which equals the dual Coxeter number of G when the invariant form gives long roots squared length 2.

Axis Where C_A stands Grade
V_F · formal-structural f^{acd}f^{bcd} = C_A δ^{ab}, the contraction of the self-coupling theorem
V_E · empirical-thermodynamic b₀ = 11C_A/3: gluon self-charge anti-screens, the coupling is asymptotically free and transmutes into a mass scale theorem on b₀; structural on the transmutation
V_ER · epistemic-registrational b₀ = 11C_A/3 and b₁ = 34C_A²/3 coincide in every mass-independent scheme, the lattice included, so one trajectory serves every frame theorem (Gross-Wilczek 1973; Politzer 1973; Caswell 1974; Jones 1974)
the residence's curvature Ric_G = C_A/2 in the basic invariant metric, where long roots have squared length 2: the Frobenius metric for SU(N), giving N/2, and half the Frobenius metric for SO(N), whose Frobenius constant is (N−2)/4 (Milnor 1976) theorem

Receipts, executed.

  • The contraction. It equals C_A times the identity: C_A = N for SU(N), N = 2 to 6, and C_A = N − 2 for SO(N), N = 5 to 7. The largest off-diagonal residue is 3.6 × 10⁻¹⁵.
  • Ricci. Milnor's bi-invariant constant, recomputed in the Frobenius metric, reads N/2 for SU(N) and (N−2)/4 for SO(N): C_A/2 in the basic normalization, and C_A/4 for SU(N) in the metric making generators with fundamental trace Tr(T^aT^b) = ½δ^{ab} orthonormal.
  • The bracket begets the third. On su(2) = Im ℍ: [i, j] = 2k, [j, k] = 2i, [k, i] = 2j, while [i, i] = 0.
  • The abelian case. The bracket of U(1) vanishes, so C_A = 0, Ric = 0 and b₀ = 0.

III · Part 1 · The Transmutation Axiom.

Statement. Let G be a compact simple Lie group. Its adjoint Casimir C_A > 0 fixes, through b₀ = 11C_A/3 and b₁ = 34C_A²/3, the asymptotically free trajectory of Wilson lattice gauge theory for G: at lattice spacing a the bare coupling g obeys aΛ = (b₀g²/16π²)^(−b₁/(2b₀²)) · exp(−8π²/(b₀g²)) · (1 + O(g²)) for one fixed Λ > 0, and physical distance is lattice distance times a, read in units of 1/Λ. Along that trajectory the self-action is transmuted into this scale.

  • The class 𝒪. Bounded gauge-invariant functions of finitely many link variables inside a region of bounded physical diameter, each rescaled by the constant that sets its connected two-point function to one at a fixed reference displacement of length 1/Λ along a fixed axis of the lattice, for observables whose connected two-point function does not vanish there. Clauses (a) to (c) and inputs I-4, I-5 and I-7 all read this one class.

  • (a) Existence. For every placement of the lattice by a proper Euclidean motion, a rotation followed by a translation, the Schwinger functions of 𝒪 converge, as tempered distributions obeying the Osterwalder-Schrader growth condition, and all placements converge to one limit. The limit carries renormalized local fields corresponding to the gauge-invariant local polynomials in the curvature and its covariant derivatives, obtained from their lattice transcriptions up to the renormalization mixing the problem description notes, together with a stress tensor and an operator product expansion, and its short-distance correlations agree with the predictions of asymptotic freedom and perturbative renormalization.

  • (b) Gap. For every A and B in 𝒪 supported at physical distance r, |⟨AB⟩ − ⟨A⟩⟨B⟩| ≤ K_{A,B} e^{−m_G r}, with m_G > 0 and K_{A,B} independent of the spacing and the volume.

  • (c) Interaction. For one fixed observable in 𝒪 and one fixed configuration of four points at separations of order 1/Λ, the absolute value of the truncated four-point function is bounded below by c_G > 0, uniformly in the spacing and the volume.

Typing.

  • The count. The axiom is one by source and running law and three by supply clause: C_A fixes the positivity and the running law of the trajectory, while the scale Λ and the magnitudes m_G, c_G and K_{A,B} stay existential.

    • The One-Go census counts one seed: clay_object reports Seed_Transmutation alone.
    • The name-strip counts three clauses.
    • Over the sealed face the two readings are one statement: one_and_three depends on the sealed face alone. The equivalence certifies the packaging, since it holds for any true antecedent; the one-source count rests on the Casimir identities of section II.

    The card carries both counts and sets neither against the other.

  • The axes. The clauses stand at rest on the three warrant axes of the residence (B.4): the convergence of (a) over placements on V_ER, (b) on V_E, (c) on V_F. The field content that (a) also carries is the Clay requirement assumed with it and stands on no axis.

  • The strata. The sealed face stands at all three: computed at L3m, provable at L2m, grounded at L1m. The axiom's truth is an imprint at L1m, supply-side. The strata do not type the clauses; B.6's nesting is refused on witnessed cells (gap without existence, existence without interaction).

  • The engines. FORGE conditional at A4; D1 at the Necessity test; M-cascade [?] at M3. ANCHOR's H1 gains a candidate sealed face in C_A > 0, with the cascade typing owed.

  • Literature.

    • (a), with the field content the problem description requires, is the renormalization program's goal (Balaban 1985-1989).
    • (b) is the field's lattice statement of the gap.
    • (c) is the standard non-triviality criterion: a nonzero limiting truncated four-point function (Aizenman 1982; Fröhlich 1982; Aizenman-Duminil-Copin 2021).
    • Each clause is owned; the sealed face is classical.

  • Seat delta. The curvature route CDS, curvature dominance at one scale, reaches clause (b).

    • The published strong-coupling thresholds equal the Frobenius-normalized Ricci constant over the Hessian growth exactly, 42 of 42.
    • The coarse-sector gap follows at theorem grade.
    • The full gap from CDS rests on a structural density clause, so CDS stands beside (b) and never replaces it.

IV · Part 2 · The conditional full Clay proof.

Theorem. Let G be compact simple and grant the Transmutation Axiom. Then there is a Euclidean measure μ on the observables of 𝒪 such that:

  • (1) μ satisfies the Osterwalder-Schrader axioms: reflection positivity, the growth condition, permutation symmetry and Euclidean invariance;
  • (2) the reconstructed Wightman theory has Hamiltonian spectrum in {0} ∪ [m_G, ∞), with m_G > 0;
  • (3) μ is non-Gaussian;
  • (4) the theory carries a stress tensor, an operator product expansion, and renormalized local fields corresponding, up to renormalization mixing, to the gauge-invariant polynomials in the curvature, with short-distance behaviour agreeing with asymptotic freedom and perturbative renormalization.

Inputs, eight, each theorem-grade.

  • I-0 · the sealed face. The Killing form of a compact simple Lie algebra is negative definite, so C_A > 0 (Cartan).
  • I-1 · positivity. Reflection positivity passes from the lattice to every limit (Osterwalder-Seiler 1978).
  • I-2 · symmetry. Permutation symmetry of the Schwinger functions holds by construction.
  • I-3 · covariance. Moving the lattice by a proper Euclidean motion pushes its measures, and so its limits, forward by the motion.
  • I-4 · decay passes to limits. Uniform decay bounds on every observable in 𝒪 pass to limits.
  • I-5 · lower bounds pass to limits. Uniform lower bounds on the absolute value of a truncated four-point function at a fixed configuration pass to limits.
  • I-6 · Gaussian cumulants. Gaussian measures have vanishing truncated functions beyond order two.
  • I-7 · reconstruction. Osterwalder-Schrader reconstruction with the spectral theorem: the axioms give a Wightman theory, and clustering of every observable in 𝒪 at rate m gives spectrum in {0} ∪ [m, ∞) on the space those observables generate (Osterwalder-Schrader 1973-1975).

Proof.

  1. I-0 discharges the axiom's antecedent, and the three clauses stand.
  2. By (a) the limit is one and the same for every placement. By I-3 the moved regularization converges to the moved limit. The moved limit is therefore the limit, for every rotation and every translation, and Euclidean invariance is derived.
  3. I-1, I-2, the growth condition inside (a), and step 2 give the Osterwalder-Schrader axioms.
  4. By (b) and I-4 every observable in 𝒪 clusters at rate m_G, and I-7 gives the Wightman theory with its gap.
  5. By (c) and I-5 the limit's truncated four-point function at that configuration is bounded away from zero, and I-6 makes it non-Gaussian.
  6. The field content, stress tensor, operator product expansion and short-distance agreement of (4) are assumed in (a) and carried, not derived.

Census, machine-checked. YM_Master_Seed.lean, sha256 72d39074d8bbddac, Lean 4.33.1, exit 0, no sorryAx, no warning.

  • clay_object depends on exactly Input_Casimir, Input_RP, Input_Symmetric, Input_Covariance, Input_LimitAll, Input_LowerLimit, Input_Gaussian, Input_Reconstruction and Seed_Transmutation.
  • one_and_three depends on Input_Casimir alone.

Scope. The check certifies the dependency structure and the uniformity bookkeeping. Analysis is carried by the named inputs and is not formalized.

Strata. The proof is a rung, at L2m, of the ladder of the base theory extended by the Transmutation Axiom, realized at L3m by the check. The truth-value of the Clay string stays at L1m, and provability relative to that extended theory is access conditional on the supply, never the supply.

V · Part 3 · The formal termination of the axiom.

T-1 · The finite-verification bar, diagonal species. Each clause quantifies uniformly over infinitely many spacings and volumes, and (a) also over every placement by a proper Euclidean motion. No procedure reading finitely many of them decides such a statement.

  • Lean: finite_verification_cannot_decide, depending on propext only.
  • Placement: the bar stands on L3m by finite verification, the placement of the Riemann string's third wall at codex line 4812. It is card 0718's Species Dichotomy T7 at its diagonal species.

T-2 · No lower-order channel sees the combination. Laws with identical single and pairwise data carry different wholes.

  • Lean: no_lower_order_channel_decides, axiom-free.
  • On the RAF engine: lower-order reads certify presence and never absence (gate G10, theorem). The kernel reads a combined triad and three unrelated rows as the same Return.
  • Placement: the bar stands on each single reading channel at L2m.

T-3 · The walls. The perturbative face of the seal, b₀ and b₁ as functions of C_A, is an ultraviolet readout. A flow that crosses into curvature dominance and a flow that stalls both share it.

  • Lean: walls_do_not_decide, depending on propext and Quot.sound. Relocation inertness is axiom-free in YM_R2_Block.lean.
  • Mapping: from abstract monotone flows to Yang-Mills renormalization, structural.

T-4 · The sealed face does not decide the supply. Two SU(N) families share the seal and differ on existence: fixed strong coupling yields a trivial limit, alternating strong coupling yields none.

  • Lean: seal_does_not_decide_existence, axiom-free.
  • Witnesses: theorem grade on the dominance (Shen-Zhu-Zhu 2023); structural on the existence of the fixed family's trivial limit and on the alternating family's non-convergence.
  • Scope, in the same clause: families on every trajectory, the asymptotically free trajectory being the one the supply singles out.

T-5 · The combination is not authored. On the RAF engine, chain D4 3d17fd53278d:

  • the register reads supplied laws and generates none (gate G11);
  • total self-indexing is refused (SELF, theorem);
  • a combiner that registers with the pieces joins the domain it combines (EXT, premise).

Terminus. [Ψ] on the Transmutation Axiom on the reading register, at structural grade. The scope is carried in the same clause: the formal-alone register supplies zero bits toward the transmutation, and the deficit is one supply, located at the axiom and no smaller. No clause claims independence from set theory or places the axiom in L1m∖L2m.

VI · The one-axiom pattern row.

Yang-Mills enters card 0718's supply axis as the row whose route is one source read as three clauses.

  • P1 holds for each clause: existence over a construction.
  • P2 holds: construction-supplied.
  • P3 holds for the three jointly.
  • P4 holds for (b) and (c), each defined on lattice data. Clause (a) assumes the field content and short-distance agreement the Clay statement requires, so those parts of the object are carried, not derived.

The single-axiom clause of the pattern holds by source and is exceeded by supply count, and the row records both.

VII · Fences.

  • F-a · The one is the source and never the proof. C_A > 0 holds for every compact simple G. The supply is its transmutation, and the seal alone decides nothing (T-4).
  • F-b · One scale is not extra content. With existential pure constants, any positive rate equals κ/ℓ for some κ. The single-scale sentence therefore adds nothing beyond the three clauses, and the one sits in the source.
  • F-c · Positivity passes alone. Only reflection positivity passes to limits at theorem grade. The growth condition sits inside clause (a), and Euclidean invariance is derived.
  • F-d · U(1) converges. Compact U(1) in four dimensions converges to a renormalized free electromagnetic field on the current sector, for sufficiently large coupling constant or with a suitably chosen Gibbs state (Driver 1987). What the vanishing bracket removes is the transmutation, not every existence.
  • F-e · The clauses are not RAM's strata. They are the residence's axes at rest. The begetting of the third by two lives in the bracket, not among the clauses.
  • F-f · The terminus is not independence. Every bar is a theorem about reading-type procedures.
  • F-g · The seeing carries no warrant. It is recorded at mindset-rental grade, and only the Casimir identities crossed the firewall. A report from a standpoint above the completed triad would be the Afterimage, fenced per MD-PSP-AFTERIMAGE-01.

VIII · Falsifiers. Three, at the ceiling, each typed for necessity.

  • F1 · the chain, aimed at Part 2. A compact simple G whose lattice families satisfy (a), (b) and (c) while the reconstructed theory lacks the gap or is Gaussian. It forces one of I-1 through I-7 to be mistyped.
  • F2 · the supply, aimed at Part 1. A proof that one clause fails along the asymptotically free trajectory for some compact simple G. It refutes the axiom itself.
  • F3 · the terminus, aimed at T-4. A proof that the alternating strong-coupling family converges. It removes T-4's witness pair.

IX · Battery.

  • The master file: YM_Master_Seed.lean 72d39074d8bbddac, six theorems, every axiom report printed.
  • The round files: YM_R3_Object.lean f64e7c86d6b7e45c, YM_R3_Triune.lean b4e630a07309ea2e, YM_R2_Block.lean aadb2a04d4db1a3b.
  • The RAF engine: sha256 b6c38d9c…afb56; chain D0 3e50675c7d5d → D4 3d17fd53278d, matching its recorded first light; kill-matrix 51/51, ablation 22/22, calibration 12/12. The parity triad adjudicated on exact laws.
  • The Casimir contraction: SU(2) to SU(6) and SO(5) to SO(7), off-diagonal at most 3.6 × 10⁻¹⁵; Milnor Ricci N/2 for SU(N) and (N−2)/4 for SO(N) in the Frobenius metric; the quaternion commutators.
  • The strong-coupling threshold identity: 42 of 42.
  • The live-register consultation: v3.35.0, sha256 d43e1ea8; index 0719 free; near-identical scan zero.

X · Owed.

  • Audit. An audit under architect-authored controls, raising the grade above the single substrate.
  • Independent re-run. An independent re-run of every receipt; all are single-substrate.
  • H1 typing. The cascade typing of C_A > 0 as ANCHOR's sealed face.
  • Formalization of the inputs in a library that carries measure theory.
  • The open witness cell. A theorem-grade witness for existence and interaction without the gap.
  • The external paper in the native tongue of section XI.
  • Seating, indexing and pushing are the architect's acts.

XI · Native-tongue transit for the external paper.

Card term Native term
the Transmutation Axiom the Transmutation Hypothesis: three uniform conditions along the asymptotically free trajectory
the sealed face the adjoint Casimir is positive (Cartan's criterion)
clauses (a), (b), (c) hypotheses on convergence with the required field content, clustering and interaction
the conditional Clay object Main Theorem, with a machine-checked dependency skeleton
the terminus and its bars the conditions cannot be verified by finitely many lattice computations, and the Casimir alone does not decide them
one source, three readings the three conditions share one origin in the non-abelian bracket, stated as motivation and never as a claim
RA, RAM, strata, residence, axes, the Return, the ninth gate, mindset-rental, verdict tokens, [Ψ] no counterpart; stays in the card

Carriers.

  • Aizenman 1982; Aizenman-Duminil-Copin 2021;
  • Balaban 1985-1989;
  • Cartan, the Killing-form criterion;
  • Caswell 1974; Jones 1974;
  • Driver 1987;
  • Fröhlich 1982;
  • Gross-Wilczek 1973; Politzer 1973;
  • Milnor 1976;
  • Osterwalder-Schrader 1973-1975; Osterwalder-Seiler 1978;
  • Shen-Zhu-Zhu 2023;
  • Stroock-Zegarlinski 1992.
↑