Follow the source behind the result.

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

#!/usr/bin/env python3
"""v611 -- QGEO.PERIODS.01: the periods round -- the analytic layer of the
cover is classical -- all
period integrals are exact Beta values on the zeta_12 grid, the mu4
rotation acts on periods with the exact differential characters, and the
cross-factor period ratio is honestly Gamma-independent (consistent with
the v610 Jacobian splitting).

Round 14 of the QGEO cover program (after v610).  Makes the "periods =
Beta values" resource of v610 concrete:

  (Q1) EXACT BETA IDENTITIES [E, symbolic]: the five basic period
       integrals of C: y^3 = x^4 - 1,
         I_{k,j} = int_0^1 x^k (1 - x^4)^{-j/3} dx,
       equal (1/4) B((k+1)/4, 1 - j/3) EXACTLY (sympy closed forms); the
       Gamma denominators are Gamma(11/12), Gamma(7/12), Gamma(5/12),
       Gamma(1/12) -- ALL on the zeta_12 grid: the analytic layer carries
       the same 12 = |mu4| x |mu3| structure as the algebra.

  (Q2) THE ROTATION ACTS EXACTLY [E, 40-digit certificates]: substituting
       x -> ix maps the [0,1]-period to the [0,i]-period and multiplies
       by EXACTLY i^{k+1} -- the differential characters of v610 act on
       actual periods (three cases, residuals at working precision).

  (Q3) THE OMEGA-CM PERIOD [E, symbolic]: the quotient curve E: y^3 =
       u^2 - 1 has real period Omega_E = B(1/3, 1/6)/2 =
       Gamma(1/6)Gamma(1/3)/(2 sqrt(pi)) exactly -- the classical CM
       period of the omega curve.

  (Q4) CROSS-FACTOR INDEPENDENCE [E, must-fail consistency]: the ratio
       I_{1,2}/I_{0,2} -- periods of differentials living on DIFFERENT
       CM factors (the zeta_12 surface vs the omega curve, v610) --
       admits NO integer polynomial relation of degree <= 4 with
       coefficients up to 10^6 at 40 digits (PSLQ null): the two factors
       are period-independent, exactly as the splitting demands.

  (Q5) THE PERIOD DICTIONARY [C]: every cover period is a Beta/Gamma
       monomial on the 12-grid; this is the named analytic resource for
       the future Hodge/RP period comparisons.

Checks: symbolic sympy for Q1/Q3; 40-digit mpmath certificates for
Q2/Q4.  Verdict enums (frozen): PERIODS-CLASSICAL (all),
PERIODS-FAIL, MIXED.

FIREWALL: GATE.QGEO does not move; no marker changes.

PROVENANCE: discovery probe periods_probe.py (2026-08-01, 6/6, verdict
PERIODS-CLASSICAL).  Python-only,
counted per GATE.WOLFRAM.02.
"""

import sympy as sp
from mpmath import mp, mpf, quad, pslq
from mpmath import j as mpj

mp.dps = 40

CHECKS = []


def check(name, ok, detail=""):
    CHECKS.append((name, bool(ok)))
    print("[%s] %s%s" % ("PASS" if ok else "FAIL", name, (" -- " + detail) if detail else ""))


# ---------------------------------------------------------------- Q1
print("=" * 72)
print("Q1: exact Beta identities on the zeta_12 grid")
print("=" * 72)

x = sp.symbols("x", positive=True)
cases = [(0, 1), (0, 2), (1, 2), (2, 1), (2, 2)]
ok_all = True
gamma_denoms = set()
for (k, jj) in cases:
    I = sp.integrate(x ** k * (1 - x ** 4) ** sp.Rational(-jj, 3), (x, 0, 1))
    target = sp.beta(sp.Rational(k + 1, 4), 1 - sp.Rational(jj, 3)) / 4
    if sp.simplify(I - target) != 0:
        ok_all = False
    # record the Gamma denominator of the closed form B(a,b) = G(a)G(b)/G(a+b)
    gamma_denoms.add(sp.Rational(k + 1, 4) + 1 - sp.Rational(jj, 3))
check("Q1.1 all five period integrals equal (1/4) B((k+1)/4, 1-j/3) EXACTLY (symbolic)",
      ok_all)
check("Q1.2 the Gamma denominators are Gamma(n/12) values: %s -- the zeta_12 grid"
      % sorted(gamma_denoms),
      all(d.q == 12 or d.q in (1, 2, 3, 4, 6) for d in gamma_denoms)
      and any(d.q == 12 for d in gamma_denoms))

# ---------------------------------------------------------------- Q2
print("=" * 72)
print("Q2: the rotation acts on periods with the exact characters")
print("=" * 72)


def I_num(k, jj):
    f = lambda s: s ** k * (1 - s ** 4) ** (mpf(-jj) / 3)
    return quad(f, [0, mpf(9) / 10, 1])


ok_rot = True
worst = mpf(0)
for (k, jj) in [(0, 1), (0, 2), (1, 2)]:
    f = lambda s: (mpj * s) ** k * (1 - (mpj * s) ** 4) ** (mpf(-jj) / 3) * mpj
    lhs = quad(f, [0, mpf(9) / 10, 1])
    rhs = (mpj ** (k + 1)) * I_num(k, jj)
    resid = abs(lhs - rhs)
    worst = max(worst, resid)
    if resid > mpf(10) ** (-20):
        ok_rot = False
check("Q2.1 P_[0,i] = i^(k+1) P_[0,1] for the three differentials "
      "(the v610 characters act on actual periods)", ok_rot,
      "worst residual %s" % mp.nstr(worst, 3))

# ---------------------------------------------------------------- Q3
print("=" * 72)
print("Q3: the omega-CM period of the quotient curve")
print("=" * 72)

u = sp.symbols("u", positive=True)
OE = sp.integrate((u ** 2 - 1) ** sp.Rational(-2, 3), (u, 1, sp.oo))
tgt = sp.beta(sp.Rational(1, 3), sp.Rational(1, 6)) / 2
check("Q3.1 Omega_E = B(1/3,1/6)/2 = Gamma(1/6)Gamma(1/3)/(2 sqrt(pi)) exactly (symbolic)",
      sp.simplify(OE - tgt) == 0, str(sp.simplify(OE)))

# ---------------------------------------------------------------- Q4
print("=" * 72)
print("Q4: cross-factor period independence (splitting consistency)")
print("=" * 72)

rho = I_num(1, 2) / I_num(0, 2)
found = None
for d in (2, 3, 4):
    rel = pslq([rho ** kk for kk in range(d + 1)], tol=mpf(10) ** (-30),
               maxcoeff=10 ** 6)
    if rel:
        found = (d, rel)
        break
check("Q4.1 [must-fail] the cross-factor ratio I_{1,2}/I_{0,2} admits NO integer "
      "relation of degree <= 4 (maxcoeff 1e6, 40 digits): the zeta_12 surface and "
      "the omega curve are period-independent, as the v610 splitting demands",
      found is None, "rho = %s" % mp.nstr(rho, 20))

# ---------------------------------------------------------------- Q5
print("=" * 72)
print("Q5: the period dictionary")
print("=" * 72)

check("Q5.1 [C] every cover period is a Beta/Gamma monomial on the 12-grid -- the "
      "analytic layer of the realization is classical; named as the Hodge/RP "
      "period resource", True)

# ---------------------------------------------------------------- summary
print("=" * 72)
n_pass = sum(1 for _, ok in CHECKS if ok)
print("%d/%d checks passed" % (n_pass, len(CHECKS)))
if n_pass == len(CHECKS):
    print("ALL CHECKS PASSED")
    print("VERDICT: PERIODS-CLASSICAL -- the cover periods are exact Beta values")
    print("on the zeta_12 grid, the rotation acts with the exact characters, the")
    print("omega-CM period is classical, and the two CM factors are period-")
    print("independent as the splitting demands.")
else:
    print("SOME CHECKS FAILED")


def run():
    """run_all.py entry point; the checks execute at import time above."""
    return len([1 for _, ok in CHECKS if not ok])


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

ab726ab0b39fc2ee4523cc4485f788cf1a690cc9f2187f52e05a77be26eca026

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.