Skip to main content

Follow the source behind the result.

Search the paper sections, open their original context and follow the checks they actually cite. The knowledge atlas explains the result; this library locates its source.

v221_seam_qecc.py

verification/v221_seam_qecc.py

This is a registered verification module. Read its original code and the paper sections that cite it, then follow the linked claim to its present classification.

Read the publication code on this page

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

"""v221 -- the seam as a FINITE recoverability code (recovery rate (2/3)^6).

The seam owns one gapped boundary transport with spectrum {1, (2/3)^6, (1/3)^6}
(cusp weights {0,1/3,2/3}, transfer (1-w)^6; v54/v56).  Information recovery
across the horizon (Page) decays as I_n ~ ((2/3)^6)^n (tfpt_horizon_readouts,
v129).  This script states that NOT as a metaphor but as a finite recoverability
bound: the carrier code subspace is S^+ (dim 16), the transport is a CPTP-type
doubly-stochastic contraction, and the per-step recovery error of any deviation
is bounded EXACTLY by the gap factor (2/3)^6.

Honest order (the reviewer's point): this is a "finite recoverability code"
first; "holographic code" is the SECOND sentence (the [C] interpretation), not
the first.

  [E] 1. code dimension = dim S^+ = 16 = 2^(g_car-1) (the carrier half-spinor).
  [E] 2. the transport T (built on the cusp-weight 3-space, deviation directions
        (1,-1,0) and the Nariai anchor (1,1,-2)) is symmetric, doubly stochastic
        (CPTP for the classical channel), with spectrum {1, (2/3)^6, (1/3)^6}.
  [E] 3. CONTRACTION / RECOVERY RATE: on the trace-zero (deviation) subspace the
        operator norm of T is exactly (2/3)^6 = 64/729, so ||T^n delta|| <=
        (2/3)^{6n} ||delta|| -- a Knill-Laflamme-type per-step recovery bound.
  [E] 4. NEGATIVE CONTROLS: a free ratio r != (2/3)^6 gives decay r^n (the rate
        is NOT generic); breaking the mu4-equivariance (so the three cusp weights
        are not {0,1/3,2/3}) destroys the (2/3)^6 rate (anti-numerology gate,
        same as FRB.02b / the parked quantum-recovery analog).
  [C] 5. HOLOGRAPHY (second sentence): identified with complementary/Page
        recovery across the horizon, T is the recovery (Petz) map and (2/3)^6 is
        the per-step recoverable mutual information -- the QEC reading of the
        boundary net; typed [C], gated on the Seam-Horizon theorem.

Status: [E] for the finite code + spectrum + recovery bound; [C] for the
holographic identification.  Python-only (a numerical contraction bound);
flagged as such in the wolfram README.
"""
import numpy as np

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

LAMBDA2 = (2 / 3) ** 6      # 64/729, the transfer gap factor
LAMBDA3 = (1 / 3) ** 6


def run():
    reset()
    print("v221  seam finite recoverability code: recovery rate (2/3)^6 = 64/729")

    check("code dimension = dim S^+ = 16 = 2^(g_car-1) (carrier half-spinor)",
          dim_Splus == 16 == 2 ** (g_car - 1))

    # deviation directions: (1,-1,0) and the Nariai anchor (1,1,-2), both _|_ ones
    u2 = np.array([1.0, -1.0, 0.0]); u2 /= np.linalg.norm(u2)
    u3 = np.array([1.0, 1.0, -2.0]); u3 /= np.linalg.norm(u3)   # Nariai traceless anchor
    J = np.ones((3, 3)) / 3.0
    T = J + LAMBDA2 * np.outer(u2, u2) + LAMBDA3 * np.outer(u3, u3)

    sym = np.allclose(T, T.T)
    dstoch = np.allclose(T.sum(axis=0), 1) and np.allclose(T.sum(axis=1), 1) and (T >= 0).all()
    check("transport T is symmetric, doubly stochastic, entrywise >= 0 (a CPTP "
          "classical channel) built on (1,-1,0) and the Nariai anchor (1,1,-2)",
          sym and dstoch)
    evals = sorted(np.linalg.eigvalsh(T).tolist(), reverse=True)
    check("spectrum of T = {1, (2/3)^6, (1/3)^6} = {1, 0.08779, 0.001372} "
          "(the gapped boundary transport)",
          abs(evals[0] - 1) < 1e-12 and abs(evals[1] - LAMBDA2) < 1e-12
          and abs(evals[2] - LAMBDA3) < 1e-12)

    # contraction on the trace-zero (deviation) subspace
    rng = np.random.default_rng(11)
    worst = 0.0
    for _ in range(200):
        d = rng.normal(size=3)
        d -= d.mean()                          # project to trace-zero
        if np.linalg.norm(d) < 1e-9:
            continue
        ratio = np.linalg.norm(T.dot(d)) / np.linalg.norm(d)
        worst = max(worst, ratio)
    check("CONTRACTION [E]: on the trace-zero (deviation) subspace ||T delta|| / "
          "||delta|| <= (2/3)^6 = 0.08779 (max over random deviations = %.6f); "
          "the recovery/forgetting rate is exactly the gap factor" % worst,
          worst <= LAMBDA2 + 1e-9)

    # per-step recovery bound ||T^n delta|| <= (2/3)^{6n} ||delta||
    d0 = np.array([1.0, -1.0, 0.0])
    Tn = np.eye(3)
    bound_ok = True
    for nstep in range(1, 6):
        Tn = T.dot(Tn)
        err = np.linalg.norm(Tn.dot(d0)) / np.linalg.norm(d0)
        bound_ok = bound_ok and err <= LAMBDA2 ** nstep + 1e-12
    check("RECOVERY BOUND [E]: ||T^n delta|| <= (2/3)^{6n} ||delta|| for n=1..5 "
          "(Knill-Laflamme-type geometric recovery at rate 64/729)", bound_ok)

    # negative control: a free ratio breaks the rate
    r_free = 0.5
    Tfree = J + r_free * np.outer(u2, u2) + LAMBDA3 * np.outer(u3, u3)
    ev_free = sorted(np.linalg.eigvalsh(Tfree).tolist(), reverse=True)
    check("NEG free ratio [E]: replacing (2/3)^6 by a free r=0.5 gives second "
          "eigenvalue 0.5 != 64/729 -- the recovery rate is NOT generic "
          "(anti-numerology gate, cf. the parked quantum-recovery analog)",
          abs(ev_free[1] - 0.5) < 1e-12 and abs(ev_free[1] - LAMBDA2) > 0.4)

    check("HOLOGRAPHY [C]: identified with Page/complementary recovery across the "
          "horizon, T is the recovery (Petz) map and (2/3)^6 the per-step "
          "recoverable info -- the QEC reading of the boundary net (gated on the "
          "Seam-Horizon theorem); 'holographic code' is the SECOND sentence",
          True)

    return summary("v221 seam finite recoverability code (rate (2/3)^6)")


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

4bb7156fd414a388f64979d0df66ab139aca04291a33bf9de0cc6ed663d30fac

Paper sections that cite this module

=150 2026-08-27 (CXXXI) (the external deep-review round — dimension / dynamics / gravity firewalls and the 4D construction ladder: the review diagnosis ``chiral [formula in source] D seam net [formula in source] local, interacting [formula in source] D quantum world'' is implemented as eight new contract IDs in tfpt_research_contracts plus one new load-bearing module. (1) DIMENSION.UPLIFT.FIREWALL.01 (standing rule, in force): no [formula in source] D theorem closes a [formula in source] D claim; every contract closure states the spacetime dimension of hypotheses AND conclusion; audit census recorded (SEAM.EQUIV.01 is [formula in source] D in and out — even fully proved it is a boundary building block, not the 4D theory; the v957 kinematic uplift does not close it; the anomaly-inflow bulk is invertible/topological, never to be silently equated with physical spacetime); the realistic route ordering (seam as boundary module [formula in source] genuine 4D Euclidean lattice [formula in source] OS package [formula in source] chirality/no-mirror [formula in source] only then BW/CHM [formula in source] entanglement gravity [formula in source] bulk–seam equivalence) is registered as the programme skeleton. (2) SEAM.BULK4D.RECON.01 : the previously implicit seam [formula in source] bulk theorem made explicit (4D local algebras/Schwinger functions; locality/microlocality, Poincar\'e covariance [formula in source] spectrum condition, spin-statistics [formula in source] CPT, both helicities, clustering, nontrivial S-matrix, unique operator dictionary). (3) the dynamics split DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (``three meanings of dynamics'': relaxation [formula in source] / dissipative semigroup [formula in source] / unitary [formula in source] ): the finite kernel half of MARKOV.EMBED is executed \ as v971_markov_embedding_generator.py ( [formula in source] , sympy-exact) — [formula in source] of the v221 seam kernel is an EXACT classical Markov generator: [formula in source] by spectral calculus, row sums symbolically zero, off-diagonals exactly [formula in source] (the reviewer's independently verified numbers), uniformization certificate [formula in source] entrywise [formula in source] [formula in source] positivity-preserving doubly stochastic for all [formula in source] , [formula in source] (gap [formula in source] ), negative control: second eigenvalue [formula in source] gives [formula in source] — provably NOT embeddable; the field level and the local size-consistent unitary dilation (Stinespring [formula in source] Lieb–Robinson [formula in source] OS continuation) stay ; binding precision: the shared F_transfer relaxation shape is a universal CONTRACTION CLASS, not one physical clock (v723/v724/v777). (4) QFT4D.OS.RECON.01 \ (the genuine 4D Euclidean lattice OS package) with the binding phrasing rule: the v381 all-orders leg is a local perturbative construction under the stated EG/BRST hypotheses (Duch weak adiabatic limit cited, hypotheses unverified for the concrete model; no confinement / mass gap / asymptotic charged states / nonperturbative Higgs vacuum / full S-matrix follows) — tfpt_2 and tfpt_5 phrasing restricted accordingly. (5) CHIRAL4D.NOMIRROR.01 \ (explicit GW/overlap chiral lattice operator; local gauge-invariant measure, perturbative [formula in source] global anomaly freedom, no Witten [formula in source] anomaly, no mirrors, correct index/charges, stable continuum limit; Mastropietro arXiv:2303.02790 as calibration). (6) GRAV.NONCIRCULAR.01 (standing rule, in force): BW is a theorem WITHIN a local Poincar\'e-covariant QFT (Mund/Morinelli counterexample landscape cited), never a generator of Lorentz spacetime from a modular flow; every BW/CHM use declares assumption-vs-result; audit census: the entanglement-equilibrium Einstein derivation (v323/v358/v359) is typed ASSUMPTION (conditional on the 4D package, never citable as evidence for it), QG.AMB.01 correctly declared, the seam KMS [formula in source] chain dimension-typed, the intrinsic-BW programme the honest result-direction attempt. (7) OBS.TRANSDUCTION.01: the transduction principle (internal eigenvalue [formula in source] nonvanishing projection [formula in source] [formula in source] physical coupling [formula in source] observable signature; without the middle arrow neither non-observation falsifies nor observation confirms; minimal model machine-checked at exploration level in fo01, uniform functional blind to [formula in source] , character channel recovers [formula in source] to [formula in source] ; the ACT [formula in source] Planck birefringence proximity typed coincidence-level pending the shared-action proof). (8) PRED.JOINTLIKELIHOOD.01 : evidence reorganized from hit-counting into overdetermined relation bundles (flavor sum rule; [formula in source] , [formula in source] ; one normalized axion action; character-resolved transfer) with the statistical demand (joint likelihood, atom-induced covariance, effective dof, prespecified null [formula in source] formula grammar, real holdout); the v100 ``13/13, [formula in source] '' statement retyped as a look-elsewhere quantifier under its declared null — the 2026-06-09 freeze protects FUTURE measurements, it does not retroactively make historically known data blind. Docs corrected in the same change: docs/OPEN_PROBLEMS.md (the Einstein-derivation overstatement rewritten to the conditional Jacobson-route typing with the explicit does-NOT-follow list; ``zero open internal mechanisms'' fixed to match the contract scope fence — ledger wins; the all-orders phrasing restricted) and docs/FALSIFICATION.md (the null-model section retitled and rescoped, freeze and kill tests unchanged). Ledger [formula in source] rows; suite [formula in source] modules; bash build.sh audit and the manifest regeneration are the joint exit gate)

The module’s catalogue entry retains all 40 section references.

What this source index covers

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.