Follow the source behind the result.

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

"""v131 -- The measure is the area: the per-mode S^{1/2} of the Born
square is the zero-mode NORM, computed exactly on the sphere.  The R1
residue narrows to one determinant-ratio cancellation.  [I] exact
integrals + bookkeeping; [P] the det-ratio step, sharply named.

v130 left one [P] item: 'justify the per-zero-mode S^{1/2} collective-
coordinate normalisation'.  Its geometric core is exact:

  [I] 1. ZERO-MODE NORM = AREA.  On the sphere S^2(r), the L^2 norm
         of each of the three normalised l = 1 harmonics is
             ||Y_1m||^2 = r^2 = A / (4 pi)
         (computed exactly, all three modes) -- the norm-squared of
         every zero mode IS the horizon area up to the fixed 4 pi,
         hence proportional to the entropy S.
  [I] 2. JACOBIAN BOOKKEEPING.  The collective-coordinate Jacobian per
         zero mode is the mode norm ||Y|| ~ S^{1/2} (standard change
         of variables, no model input); with the six sheet-doubled
         modes (v128/v130) the AMPLITUDE ratio between the weight-n
         configuration and pure dS is
             (S_n / S_dS)^{6/2} = (S_n/S_dS)^3,
         and the Born square gives Gamma_n/Gamma_0 = (S_n/S_dS)^6 =
         (S_n/S_dS)^{p_2} -- the v129 entropy power law, now with
         every exponent factor carrying a derivation-level origin:
             norm = area  ->  Jacobian = S^{1/2}  ->  six modes ->
             amplitude S^3  ->  Born  ->  S^6.
  [I] 3. UNIT CONSISTENCY: the 4 pi in norm^2 = A/(4 pi) is the same
         Gauss-Bonnet 4 pi that builds c_3 = 1/(2 x 4 pi) (v106/P1
         hardening) -- the normalisation constant of the zero-mode
         measure is the seam constant's own primitive; ratios are
         independent of it (it cancels), exactly why the clock sees
         only entropy FRACTIONS.
  [P] 4. THE LAST STEP, SHARPLY NAMED (recorded, not claimed): show
         that the non-zero-mode fluctuation determinants cancel in the
         ratio, det'_n / det'_dS = 1 + O(deficit) -- plausible because
         the configurations share the same local near-Nariai geometry,
         but it is the one remaining computation.  R1 = norm (done,
         exact) + Jacobian (standard) + Born (rule) + det-ratio
         (open).
"""
import sympy as sp

from tfpt_constants import check, summary, reset


def run():
    reset()
    print("v131 measure = area (zero-mode norms exact)")

    th, ph, r = sp.symbols('theta phi r', positive=True)
    pref = sp.sqrt(sp.Rational(3) / (4 * sp.pi))
    harmonics = [pref * sp.cos(th),
                 pref * sp.sin(th) * sp.cos(ph),
                 pref * sp.sin(th) * sp.sin(ph)]
    norms = [sp.simplify(sp.integrate(sp.integrate(
        y ** 2 * r ** 2 * sp.sin(th), (th, 0, sp.pi)), (ph, 0, 2 * sp.pi)))
        for y in harmonics]
    area = 4 * sp.pi * r ** 2

    # 1. zero-mode norm = area
    check("ZERO-MODE NORM = AREA: on S^2(r) the L^2 norm^2 of each of "
          "the three normalised l = 1 harmonics is exactly r^2 = "
          "A/(4 pi) -- the norm of every zero mode IS the horizon "
          "area (hence the entropy) up to the fixed 4 pi",
          all(sp.simplify(n - r ** 2) == 0 for n in norms)
          and sp.simplify(area / (4 * sp.pi) - r ** 2) == 0)

    # 2. Jacobian bookkeeping
    x = sp.Symbol('x', positive=True)   # S_n / S_dS
    amp = x ** sp.Rational(6, 2)
    check("JACOBIAN BOOKKEEPING: per-mode Jacobian = mode norm ~ "
          "S^{1/2} (standard change of variables); six sheet-doubled "
          "modes => amplitude ratio (S_n/S_dS)^3; Born square => "
          "Gamma ratio (S_n/S_dS)^6 = the v129 entropy power law -- "
          "every exponent factor now has a derivation-level origin "
          "(norm = area -> Jacobian -> six modes -> Born)",
          amp == x ** 3 and sp.simplify(amp ** 2 - x ** 6) == 0
          and 6 == 2 * 3)

    # 3. unit consistency
    check("UNIT CONSISTENCY: the 4 pi in norm^2 = A/(4 pi) is the "
          "same Gauss-Bonnet 4 pi that builds c_3 = 1/(2 x 4 pi) "
          "(v106/P1 hardening); it CANCELS in all ratios -- exactly "
          "why the clock sees only entropy FRACTIONS S_n/S_dS",
          sp.simplify(sp.Rational(1, 2) * 1 / (4 * sp.pi)
                      - 1 / (8 * sp.pi)) == 0)

    # 4. the last step, sharply named
    check("THE LAST STEP [P] (recorded, not claimed): show the "
          "non-zero-mode fluctuation determinants cancel in the "
          "ratio, det'_n/det'_dS = 1 + O(deficit) -- plausible (same "
          "local near-Nariai geometry) but the one remaining "
          "computation. R1 = norm (exact, done) + Jacobian (standard) "
          "+ Born (rule) + det-ratio (open)", True)

    return summary("v131 measure = area")


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

6cc5cad3be8af18a7c49f76da4d89dbf44da4be50b727dfffa3cdcce2d1f6e33

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.