Skip to main content

A registered result in its source context

Original ledger classification: Identity [I] core + [P] argument

Recorded statement: Causal Boundary Engineering - CONDITIONAL NO-GO for traversable seam shortcuts/CTCs (proof attempt that turned into a no-go). CORE [I] (machine-checked, v56-bound): a gapped positive transfer operator (spectrum {1,(2/3)^6,(1/3)^6}) has NO…

Statement, assumptions and sources

Paper context: Origin Theory

The exact identifier, original classification and full claim are available below.

The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.

Read the exact registered claim and its dependencies

CAUSAL.NOGO.01

Original ledger classification: Identity [I] core + [P] argument

Original claim text

Causal Boundary Engineering - CONDITIONAL NO-GO for traversable seam shortcuts/CTCs (proof attempt that turned into a no-go). CORE [I] (machine-checked, v56-bound): a gapped positive transfer operator (spectrum {1,(2/3)^6,(1/3)^6}) has NO periodic orbit (T^n != I for all n>0; subdominant moduli <1 => T^n -> rank-1 projector) = discrete analog of no closed timelike curve. CHAIN [P] (cites standard theorems, not formalized for the specific seam kernel): RP+OS-reconstruction => unitary causal QFT with H>=0 and mass gap Delta=6log(3/2)>0 => ANEC (Faulkner-Leigh-Parrikar-Wang 2016; Hartman-Kundu-Tajdini 2017) => Topological Censorship (Friedman-Schleich-Witt 1993) => no traversable shortcut. VERDICT: a traversable seam shortcut connecting causally-separated regions by a shorter global path is FORBIDDEN under the theory's own conditions; it would need macroscopic ANEC violation, which breaks RP/unitarity (= a falsification of the foundation). Only the NON-traversable ER=EPR bridge (Z2 seam) survives - entanglement geometry, no FTL signaling. Loophole: quantum GJW (Gao-Jafferis-Wall 2017) traversable wormhole exists but is LONGER than the ambient path (no shortcut) = again ER=EPR. So Tier-C is 'forbidden unless positivity breaks', not 'open pending G_metric'. (Python-only; the no-CTC core is numerical)

Original classification detail

Identity [I] core + [P] argument

Dependencies as recorded

GATE.GMETRIC.XI.01; v56; SEAM.CYCLE.01

Open the original ledger source, row 125

Location recorded in the ledger

These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.

Navigation through a shared verification script

These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.

All 9 linked sections

Registered verification modules

  • v64_causal_boundary_nogo.pyRegistered verification module · frontier
    Read the description recorded in the module registry

    causal-boundary conditional no-go (RP+OS+gap ⇒ ANEC)

A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.

Search later reviewed research for this identifierRead the coverage boundaries