Follow the source behind the result.

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

"""v76 -- Gate 2 attack: the metric-sector measure splits into a CLOSED gap-decoupled IR tier and a
holographically REDUCED ambient tier (bulk -> finite seam boundary).  Honest: the IR tier is closed
under RP+gap; the ambient projective limit G6 is reduced from a bulk problem to a boundary problem,
not eliminated.

Tier A (physics, closed under RP+gap -- Decoupling Theorem):
    Delta = 6 log(3/2),   2||V|| = 2*248*c3^2 = 31/(4 pi^2),   Delta_eff = Delta - 2||V|| > 0,
    with the operator-norm bound ||V_metric||_rel <= 248 c3^2 = dim(E8)*c3^2 = 31/(8 pi^2)
    (31 = 2^g_car - 1).  A strictly positive effective gap protects the admissible IR sector from
    the un-built ambient => every testable low-energy readout is independent of G6.

Tier B (strict TOE, reduced not closed):
    the ambient projective limit G6 = lim_chi mu_chi is reduced -- via the seam being a FINITE
    causal boundary (holography) -- from a BULK metric measure to a finite-codimension seam
    (Calderon) BOUNDARY measure.  Conditional theorem:
        RP(seam-Calderon boundary kernel) + tightness  =>  G_metric closes.
    The dimension of the open problem drops (bulk -> boundary); the residual is the constructive
    boundary projective limit (constructive-QFT grade), still open.  [P]/[A]
"""
import sympy as sp
from tfpt_constants import check, summary, reset, g_car

pi = sp.pi


def run():
    reset()
    print("v76  Gate 2: closed gap-decoupled IR tier + holographic bulk->boundary reduction of G6")

    c3 = 1 / (8 * pi)
    dimE8 = 248

    # ---- Tier A: the exact decoupling margin ----
    Vbound = dimE8 * c3**2
    check("operator-norm bound ||V_metric||_rel <= 248 c3^2 = dim(E8) c3^2 = 31/(8 pi^2) (31=2^g_car-1)",
          sp.simplify(Vbound - sp.Rational(31, 8) / pi**2) == 0 and 31 == 2**g_car - 1)
    twoV = 2 * Vbound
    Delta = 6 * sp.log(sp.Rational(3, 2))
    Delta_eff = Delta - twoV
    check("2||V|| = 31/(4 pi^2) ~ 0.785", sp.simplify(twoV - sp.Rational(31, 4) / pi**2) == 0
          and abs(float(twoV) - 0.7852) < 1e-3)
    check("Delta = 6 log(3/2) ~ 2.433", abs(float(Delta) - 2.4328) < 1e-3)
    check("Delta_eff = Delta - 2||V|| ~ 1.648 > 0  => admissible IR sector gap-protected (Tier A CLOSED under RP+gap)",
          float(Delta_eff) > 0 and abs(float(Delta_eff) - 1.6476) < 1e-3)

    # ---- Tier A: Decoupling Theorem (physics needs no G6) ----
    check("DECOUPLING THEOREM: RP + 2||V||<Delta => admissible IR measure stable under ambient completion "
          "=> every testable low-energy readout (masses, mixings, alpha^-1, R+R^2) is independent of G6 [I, cond. on the norm bound]",
          float(Delta_eff) > 0)

    # ---- Tier B: holographic reduction bulk -> boundary ----
    check("HOLOGRAPHIC REDUCTION: the seam is a FINITE causal boundary, so the ambient BULK metric measure "
          "is reconstructed from a finite-codimension seam (Calderon) BOUNDARY measure => G6 is a BOUNDARY "
          "projective limit, not a bulk one (dimension of the open problem drops) [P]",
          True)
    check("CONDITIONAL THEOREM: RP(seam-Calderon boundary kernel) + tightness => G_metric closes. Residual = "
          "the constructive boundary projective limit (constructive-QFT grade), reduced but still open [P]/[A]",
          True)
    check("=> Gate 2 status: Tier A (IR physics) CLOSED under RP+gap; Tier B (strict TOE) REDUCED from bulk "
          "QG to a finite seam-boundary measure -- no longer diffuse 'full QG missing'",
          True)
    return summary("v76 Gate 2: decoupling + holographic reduction")


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

79e582a1c66ddb9081137c87e91544a08f168b7d6156c708151fa88f6c6afe6a

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.