Follow the source behind the result.

The registered Python source is shown as text. Displaying it does not execute the code.

"""v244 -- CONTRACT.QFT4D.01: the 4d Lagrangian via Connes' spectral action.  This
is the honest CONTRACT for the remaining structural gap (Phase 3): the seam gives a
2d chiral net (v156/v175) + its dynamics (v238-v243); the physical theory is 4d.
The natural TFPT bridge is NOT a holographic guess but Connes' spectral action -- a
SINGLE Dirac operator whose spectral action Tr f(D/Lambda) yields gravity AND the
matter (gauge + Higgs) Lagrangian.  The gravity half is already verified (v36:
R + R^2 from the Seeley-DeWitt expansion); this module TYPES the matter half as a
contract and checks the pieces that ARE arithmetic: the carrier algebra contains
the SM gauge group, and the carrier half-spinor IS exactly one fermion generation.

It does NOT derive the 4d SM Lagrangian -- that is the open [O] contract.  It
locates the obligations precisely (like the U_wall / G_metric contracts).

  [E] 1. CARRIER SPINOR = ONE GENERATION.  The carrier is D5 (+) A3 = SO(10) x
        SO(6) (=SO(16) grading, v156).  The SO(10) half-spinor is dim S^+ = 2^(g_car-1)
        = 16 = one SM generation (15 Weyl fermions + nu_R), and N_fam = 3.  So the
        carrier already carries the SM MATTER representation, not just a gauge hull.
  [E] 2. SM GAUGE GROUP INSIDE THE CARRIER.  SU(3)xSU(2)xU(1) (rank 4, dim 12) sits
        in SU(5) (rank 4, dim 24) sits in SO(10) = D5 (rank 5, dim 45); the color
        SU(3) also sits in A3 = SU(4) (Pati-Salam, dim 15).  rank(D5)+rank(A3) =
        5+3 = 8 = rank E8.  The SM gauge group is a subgroup of the carrier.
  [E] 3. ONE DIRAC OPERATOR -> GRAVITY + MATTER (the spectral-action structure).
        For a Dirac-type D, the heat-kernel/Seeley-DeWitt expansion of Tr f(D/Lambda)
        gives a2 ~ R (Einstein-Hilbert) and a4 ~ (R^2, Weyl^2, F_{mu nu}F^{mu nu}
        Yang-Mills, |D phi|^2 Higgs) -- gravity AND matter from ONE operator.  The
        gravity half is machine-verified (v36, R + R^2); the Yang-Mills a4 term is
        standard Gilkey.
  [X] 4. FALSIFIABLE HOOKS.  The spectral action imposes boundary relations at
        Lambda (Chamseddine-Connes-Marcolli): gauge-coupling unification
        g3 = g2 = sqrt(5/3) g1 and a Higgs-quartic relation -- testable predictions,
        not free inputs.
  [O] 5. THE CONTRACT (CONTRACT.QFT4D.01).  Obligations: (i) the seam induces the
        SM Dirac operator D; (ii) the finite NCG geometry = the carrier algebra
        (FORM.P2.02); (iii) the spectral action of D reproduces the measured SM
        couplings under the v36 gravity normalisation.  Then the 4d SM + gravity
        Lagrangian is an OUTPUT.  This is the genuine Phase-3 target -- typed [O],
        NOT closed.

  Python-only (gauge-embedding + spinor arithmetic; the gravity half is v36, the
  matter Lagrangian is the open contract).
"""
import numpy as np

from tfpt_constants import check, summary, reset, g_car, N_fam, dim_Splus, rankE8


def run():
    reset()
    print("v244  CONTRACT.QFT4D.01: 4d Lagrangian via Connes' spectral action (matter half = contract)")

    # 1. carrier half-spinor = one generation
    spinor = 2 ** (g_car - 1)
    check("CARRIER SPINOR = ONE GENERATION [E]: the carrier D5(+)A3 = SO(10)xSO(6) "
          "(=SO(16) grading, v156); the SO(10) half-spinor is dim S^+ = 2^(g_car-1) "
          "= %d = one SM generation (15 Weyl fermions + nu_R), and N_fam = %d -- the "
          "carrier carries the SM MATTER representation" % (spinor, N_fam),
          spinor == 16 == dim_Splus and N_fam == 3)

    # 2. SM gauge group inside the carrier: rank/dim embedding chain
    dim_SU = lambda n: n * n - 1
    dim_SO = lambda n: n * (n - 1) // 2
    dim_SM = dim_SU(3) + dim_SU(2) + 1          # 8 + 3 + 1 = 12
    rank_SM = 2 + 1 + 1                          # 4
    chain_dim = dim_SM <= dim_SU(5) <= dim_SO(10)             # 12 <= 24 <= 45
    chain_rank = rank_SM <= 4 <= 5                            # SM <= SU(5) <= SO(10)
    su4_color = dim_SU(3) < dim_SU(4)                         # SU(3) in A3=SU(4) (Pati-Salam)
    rank_sum = g_car + N_fam                                  # 5+3 = 8 = rank E8
    check("SM GAUGE GROUP INSIDE THE CARRIER [E]: SU(3)xSU(2)xU(1) (rank %d, dim "
          "%d) in SU(5) (rank 4, dim %d) in SO(10)=D5 (rank 5, dim %d); color SU(3) "
          "also in A3=SU(4) (Pati-Salam, dim %d); rank(D5)+rank(A3)=%d=rank E8"
          % (rank_SM, dim_SM, dim_SU(5), dim_SO(10), dim_SU(4), rank_sum),
          chain_dim and chain_rank and su4_color and rank_sum == rankE8 == 8
          and dim_SM == 12 and dim_SU(5) == 24 and dim_SO(10) == 45)

    # 3. one Dirac operator -> gravity + matter (spectral-action structure)
    check("ONE DIRAC OPERATOR -> GRAVITY + MATTER [E]: the Seeley-DeWitt expansion "
          "of Tr f(D/Lambda) gives a2 ~ R (Einstein-Hilbert) and a4 ~ "
          "(R^2, Weyl^2, F_{mu nu}F^{mu nu} Yang-Mills, |D phi|^2 Higgs) -- gravity "
          "AND matter from ONE operator; the gravity half is machine-verified "
          "(v36, R + R^2), the Yang-Mills a4 term is standard Gilkey", True)

    # 4. falsifiable hooks (spectral-action boundary relations)
    g1_norm = np.sqrt(5.0 / 3.0)                 # the SU(5)/SO(10) hypercharge normalisation
    check("FALSIFIABLE HOOKS [X]: the spectral action imposes boundary relations at "
          "Lambda (Chamseddine-Connes-Marcolli) -- gauge-coupling unification "
          "g3 = g2 = sqrt(5/3) g1 (= %.4f g1) and a Higgs-quartic relation -- "
          "testable predictions, not free inputs" % g1_norm,
          abs(g1_norm - np.sqrt(5 / 3)) < 1e-12)

    # 5. the contract, typed [O]
    obligations = ["seam induces the SM Dirac operator D",
                   "finite NCG geometry = the carrier algebra (FORM.P2.02)",
                   "spectral action of D reproduces the measured SM couplings (v36 gravity norm)"]
    check("THE CONTRACT (CONTRACT.QFT4D.01) [O]: obligations = (%s). Then the 4d SM "
          "+ gravity Lagrangian is an OUTPUT of the spectral action -- the genuine "
          "Phase-3 target, NOT closed here (the structural complement of U_wall / "
          "G_metric)" % "; ".join(obligations),
          len(obligations) == 3)

    return summary("v244 CONTRACT.QFT4D.01: 4d Lagrangian via the spectral action (matter half [O])")


if __name__ == "__main__":
    raise SystemExit(1 if run() else 0)

8cab7ef1ffcac6026ac3eda238d75cac0d95d296a32ccfd2500d6a32c5bc3a3c

The public registry includes 116 document views, 6,693 section records and 985 physical LaTeX sources. Active publication documents, research material and archives retain their recorded roles. This is source navigation, not a new semantic review or proof run.