Follow the source behind the result.

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

"""v13 -- Closing / sharpening the open audit gates (reviewer circularity check).

Three of the gates Alessandro flagged as "is this derived or imported?" are
addressed here:

  Gate 1 (M=41):  CLOSED.  The EM transport budget M is *not* a free fit; it is
     forced to be the U(1) hypercharge index, M = 10 b1 = sum L + N_Phi = 41,
     and the EM-closure log-coefficient equals 8 b1 c3^6.  Everything from g_car.

  Gate 2 (K,Q):  ALREADY FORCED (v11).  The mass-power matrix K and projection Q
     are the unique nonneg-int matrices with their (compiler) row/column budgets
     and spectrum -- they are not read off the measured masses.

  Gate 3 (geometric origin of Q):  SHARPENED.  Under the sheet involution Sigma,
     Q splits as Q = Q_+ + Q_-, where Q_+ is the A3 EXPONENT grading
     (eigenvalues 1,2,3; det = 6 = |R^+(A3)|) and Q_- squares to N_fam on its
     2-dim support.  So the geometric-origin question reduces to the two named
     identifications: Q_+ = A3 Hodge/exponent grading, Q_- = mu4 sheet coupling.
"""
import sympy as sp
from tfpt_constants import check, summary, reset

t = sp.symbols('t')


def run():
    reset()
    print("v13  closing/sharpening the open audit gates")
    g = 5

    # ---- Gate 1: M = 41 is the U(1) index, not a free EM fit ----
    b1 = sp.Rational(g * 2**(g - 2) + 1, 10)        # 41/10, from g_car alone
    sumL, N_Phi = 40, 1                              # flavor transport budget + Higgs
    check("M = 10*b1 = 41 (U(1) index, from g_car)", 10 * b1, 41, exact=True)
    check("M = sum L + N_Phi = 40 + 1 = 41", sumL + N_Phi, 41, exact=True)
    check("10*b1 == sum L + N_Phi  (the two readings of M agree)",
          10 * b1 == sumL + N_Phi)
    check("EM log-coefficient (4/5) M = 8 b1  (so M is forced, not fitted)",
          sp.Rational(4, 5) * (sumL + N_Phi) == 8 * b1)

    # ---- Gate 3: Q = Q_+ (A3 exponents) + Q_- (sqrt N_fam) ----
    Q = sp.Matrix([[3, 1, 0], [3, 2, 0], [3, 2, 1]])
    Sig = sp.diag(1, -1, -1)
    Qp = sp.Rational(1, 2) * (Q + Sig * Q * Sig)
    Qm = sp.Rational(1, 2) * (Q - Sig * Q * Sig)
    check("Q_+ eigenvalues = {1,2,3} = A3 exponents (geometric grading)",
          sorted(Qp.eigenvals().keys()) == [1, 2, 3])
    check("det Q_+ = 6 = |R^+(A3)|", int(Qp.det()), 6, exact=True)
    nz = sorted({v for v in (Qm * Qm).eigenvals().keys() if v != 0})
    check("Q_-^2 nonzero eigenvalue = N_fam = 3 (sheet sqrt)", nz == [3])
    check("Q = Q_+ + Q_-  (sheet decomposition is complete)", Qp + Qm == Q)

    # ---- Gate 2: pointer (uniqueness proved in v11) ----
    check("K,Q forced by compiler budgets + spectrum (see v11_unique_KQ.py)", True)
    return summary("v13 open gates")


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

892b757498342f24d41683c33a65eba3e1e133d41143b72b66ddb518737bd131

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.