All manuscripts

Manuscript IV-B@1 · IV-B-v1.tex · dfb66408

IV-B Represented Records with a Spacetime Enter Interface Three separate scalar-field instruments on a prescribed conical background, with an explicit completion and transfer boundary

Export IV-B-v1.tex

Specifies version 1 of a Grade-S interface adaptation of Manuscript IV on the prescribed conical product of I-B, using a declared flat completion. def:grades separates that interface from an intrinsic-cone field adaptation and from Grade E. prop:geometry records signature (-,+,+,+), unit-lapse proper time, and a worldsheet defect. prop:no-global-transfer says a local developing isometry does not supply a global Minkowski representation, an intrinsic Newton inverse, or a compact causal implementation of a global controlled unitary. def:completion evaluates the three represented models on an auxiliary Minkowski spacetime and pulls compact pairings back through the developing chart. lem:patch is exact patch agreement, not a global isometry of the cone. thm:model1, thm:model2, and thm:model3 keep the three instruments separate. Model 1 removes a smooth initial edge with pointwise complete trace-norm convergence. thm:spectral-channel gives diamond-norm spectral convergence at each fixed finite particle cutoff. Model 3 retains selected finite cutoffs and a prescribed Newton-wave response. thm:instrument is the complete destructive clock. Enter consumes a finite clock encoding, not the geometric time axis. thm:composition attaches the Ramsey-Enter channel and retains untouched references. prop:event says exact event-time agreement is not a stochastic reading of several coordinates. prop:nonunique says the records do not uniquely determine the geometric dictionary. thm:locality and thm:transport keep scheduled influence inside the prescribed cone and move a finite payload on a target-adapted route. A timestamp on a global apparatus is not a compact causal implementation. The source is formatted as an anonymous submission. Citation of N. Cheung does not by itself assign authorship of this adaptation. Cited sheets and the OpenAI catalogue are documentary source records and are not a premise. This comparison is not an exhaustive audit. This is not a derivation of a cognitive construct, not metric reconstruction, not Einstein dynamics, not holographic identification, not a Page curve, and not spacetime emergence. An intrinsic-cone field adaptation is not constructed. Grade E is not constructed. The inherited full characteristic map is not constructed. Full spacetime emergence is not constructed. It does not discharge XVI-N. XVI-N is not discharged. It does not close O.1. O.1 stays NOT_CLOSED. XV-B is not opened. H2, I3, and J2 stay unresolved. No quantum coefficient is admitted. No compilation is asserted. The source has not been compiled. No machine-checked proof is claimed. Numerical execution is not asserted. Independent execution is not asserted.

Front matter

  • abstractAbstractFront matter · lines 89–124
    Open as its own page

    We prove an exact interface adaptation of three separately represented binary measurements to a prescribed conical spacetime. A finite consumed clock context produces a classical time code and Ramsey outcome while retaining the complete conditional matter state, including arbitrary untouched references. The adaptation preserves the positive record contrasts and exact interpolation-off controls of the three represented models. Spectral-mask convergence at fixed particle-number cutoff is strengthened to convergence of the complete recorded channels in diamond norm; initial-edge removal in the unbounded model instead gives pointwise trace-norm convergence, without an unsupported uniform channel-norm claim. A separate target-adapted SWAP construction transports finite payloads exactly along prescribed local null segments, with an explicit register ledger.

    Two corrections are essential. Local flatness of a cone does not identify its global field representation or Newton inverse with the corresponding Minkowski objects. We therefore state the flat-completion prescription explicitly and prove its local pullback identities, rather than claiming an intrinsic quantum field theory on the entire cone. Likewise, assigning a time to a global controlled unitary does not establish a compact causal implementation. The causal theorem applies to the certified finite transport and control network, not to an unconstructed local realization of the global field apparatus.

    The contribution is thus an exact, reference-stable Grade-S interface construction with a precisely delimited geometric interpretation. Its potential usefulness is methodological: represented signals, conditional residuals, regulator errors, geometric calibration, and physical implementation can be compared without identifying their distinct mathematical objects. No priority claim is made for the underlying measurement identities. Records do not determine the metric, lapse, or deficit angle. No spacetime-emergence theorem, Einstein dynamics, gravity-generated-entanglement test, inherited gravitational quantum coefficient, or finite-qubit compilation is asserted.

Scope, philosophy, and the corrected release

  • sectionEnter is an output interfaceScope, philosophy, and the corrected release › Enter is an output interface · lines 133–160
    Open as its own page

    The operational philosophy of Enter distinguishes a consumed quantum name from a returned quantum system. Destructive readout returns a classical record and whatever other quantum factors the interface explicitly retains. Consumption is a statement about access and output type, not physical annihilation of every implementing degree of freedom. Quantum recovery is a different task: its output must return the specified quantum information, including the required reference correlations. Equality of channels also does not specify a thermal machine or a heat ledger.

    These distinctions are central to Cheung's account of Enter CheungEnter,CheungPhil,CheungI. We use specified Born semantics and prove the channel identities needed here. We do not import a measurement-uniqueness theorem from a shortened list of its hypotheses. The spacetime interface follows the prescribed-background interpretation of I-B CheungIB, not a reconstruction of geometry from records.

    The phrase

    will have only the following typed meaning: a designated finite clock encoding is consumed, whereas the three named spatial-carrier factors survive. It does not mean that the coordinate , the manifold, or a geometric dimension is destroyed.

  • definitionDefinition: Grades used in this paperScope, philosophy, and the corrected release › Two grades and one necessary subdivision · IV-B@1#def:grades · lines 163–180
    Open as its own page

    A Grade-S interface adaptation consists of:

    1. a declared spacetime and local rods;

    2. separately specified represented measurement models;

    3. a finite destructive clock interface;

    4. explicit time, location, and causal-wire dictionaries;

    5. complete-channel identities and the stated regulator estimates.

    An intrinsic-cone field adaptation additionally requires a global field representation, inverse prescriptions, domains, and measurement implementation on that same conical spacetime.

    Grade E would require the relevant geometric structure and its calibration to be determined by operational data rather than supplied as inputs.

  • sectionTwo grades and one necessary subdivisionScope, philosophy, and the corrected release › Two grades and one necessary subdivision · lines 180–186
    Open as its own page

    The construction below achieves Grade S in the first, interface sense, using an explicit flat completion for the represented fields. It does not establish the additional intrinsic-cone field adaptation. This subdivision is necessary: the two meanings are not interchangeable.

  • scopeWhat has been debuggedScope, philosophy, and the corrected release › Two grades and one necessary subdivision · lines 187–201
    Open as its own page

    has been debugged{ The literal inference

    is invalid. So is

    We prove the corrected interface result and leave these stronger connecting constructions explicitly unclaimed.}

  • sectionProvenance and mathematical premisesScope, philosophy, and the corrected release › Provenance and mathematical premises · lines 203–219
    Open as its own page

    The coefficient conventions of the represented models are those of IV, version 1 CheungIV. They are restated below, and the operator, record, and interface arguments used in this paper are supplied here. I-B, En09-A, En03-A, En05-A, and En08-B are cited for provenance and comparison; their theorems are not silently substituted for the proofs below. Other companion manuscripts are documentary separations only.

    The external analytic-vector theorem of Nelson Nelson is used, with its hypotheses checked. Page–Wootters conditioning PageWootters is discussed only through the precise finite conditional-evolution statement proved in Section sec:clock. It is not a claim of externally unscheduled quantum evolution.

The prescribed geometry and the completion boundary

  • sectionConical product, signature, and rodsThe prescribed geometry and the completion boundary › Conical product, signature, and rods · IV-B@1#eq:metric · lines 224–243
    Open as its own page

    Fix

    Let

    and prescribe

    The time orientation is that of .

  • propositionProposition: Elementary geometric factsThe prescribed geometry and the completion boundary › Conical product, signature, and rods · IV-B@1#prop:geometry, IV-B@1#eq:dev · proof attached · lines 244–276
    Open as its own page

    The metric has signature . Static observers have proper-time increment . For a nonzero vector , future causality is equivalent to

    On an angular interval with a fixed real lift of , the map

    is a local isometry to , where .

    Proof. The metric matrix is diagonal with one negative and three positive entries. The causal inequality is ; a nonzero causal vector has . Along a static curve, . Finally,

    which proves the isometry statement.

  • sectionConical product, signature, and rodsThe prescribed geometry and the completion boundary › Conical product, signature, and rods · lines 276–290
    Open as its own page

    The completion adds the singular locus

    It is a two-dimensional worldsheet. Fixing gives one worldline; the full defect is not a worldline. No smooth metric or ordinary pointwise Einstein tensor at the apex is used.

    The geometry and its interpretation agree with the prescribed branch of I-B CheungIB. The conical and lapse comparisons in VIII-B and Em02-E remain separate source records CheungVIIIB,CheungEm02E.

  • propositionProposition: Local isometry is insufficientThe prescribed geometry and the completion boundary › Why a global transfer does not follow · IV-B@1#prop:no-global-transfer · proof attached · lines 293–322
    Open as its own page

    A local developing isometry, by itself, supplies neither:

    1. a global Minkowski plane-wave or TT representation on ;

    2. an intrinsic Newton inverse on a conical spatial slice;

    3. a local implementation of a globally specified controlled unitary.

    Proof. On the angular cover, changing by rotates the developed spatial point by . A generic function is not invariant under that rotation. Its pullback therefore does not descend to a single-valued function on the cone. The same issue applies to tensor modes, with the additional tensor rotation. A global mode representation needs compatible gluing data.

    For the inverse statement, two smooth flat sources may agree on a developing neighborhood but differ outside it. Their Newton potentials on the neighborhood can differ by a nonconstant harmonic function. For example, a positive source bump outside the neighborhood produces a nonzero potential there. Consequently, restriction to the neighborhood does not determine the Newton response.

    For the implementation statement, a unitary on an abstract global Hilbert space has no specified spatial coupling, intermediate dynamics, or accessible local algebra. Adding a time label supplies none of these missing data.

  • sectionWhy a global transfer does not followThe prescribed geometry and the completion boundary › Why a global transfer does not follow · lines 322–326
    Open as its own page

    This proposition rules out the stated deductions, not every possible future cone quantization or local apparatus construction.

  • definitionDefinition: Declared flat-completion prescriptionThe prescribed geometry and the completion boundary › The explicit completion used here · IV-B@1#def:completion · lines 329–345
    Open as its own page

    Fix a regular developing patch , and write . The analytic field models are defined on a separately declared auxiliary Minkowski spacetime

    All global wave evolutions, Fourier modes, TT projectors, Newton inverses, states, and cutoffs are evaluated on .

    A compact scalar test with support in corresponds to , extended by zero outside . Tensor tests are transported with their tensor type and the volume pairing. A represented field or response has the patch interpretation .

  • sectionThe explicit completion used hereThe prescribed geometry and the completion boundary › The explicit completion used here · lines 345–357
    Open as its own page

    This prescription is part of the model. It is not an assertion that is globally isometric to , or that different completions give identical answers.

    Every bounded spatial detector region needed below can be accommodated: a sufficiently distant portion of a developing angular sector contains a Euclidean ball of any prescribed finite radius. Translate the whole flat detector package into such a ball. Simultaneous translation of tests, modes, and coherent labels is unitary in the declared flat representations and does not change the numerical pairings.

  • lemmaLemma: Exact patch agreementThe prescribed geometry and the completion boundary › The explicit completion used here · IV-B@1#lem:patch · proof attached · lines 358–378
    Open as its own page

    Under Definition def:completion, compact pairings satisfy

    The corresponding tensor identity also holds. Local differential equations and linearized curvature identities pull back through . A flat zero-data wave calculation agrees with its local calculation whenever the relevant causal domain is contained in .

    Proof. The first assertions are change of variables and naturality of differential operators under an isometry. The volume form is . For the final assertion, subtract the two solutions on their common domain. The difference solves the homogeneous equation with zero Cauchy data; the local energy identity gives uniqueness.

  • sectionThe explicit completion used hereThe prescribed geometry and the completion boundary › The explicit completion used here · IV-B@1#eq:completed-response · lines 378–391
    Open as its own page

    In Model 3, the precise response on is therefore

    The complete source on the right is part of the declared input. Equation (eq:completed-response) is not a response determined by the restricted source alone.

Complete binary instruments and quantitative transfer

  • sectionComplete binary instruments and quantitative transferComplete binary instruments and quantitative transfer · lines 393–400
    Open as its own page

    All Hilbert spaces are complex and separable. Instruments act on trace-class operators; their adjoints act normally on bounded operators. Inner products are antilinear in the first entry. We use in the represented models.

  • sectionThe corrected Ramsey formulaComplete binary instruments and quantitative transfer › The corrected Ramsey formula · IV-B@1#eq:kraus, IV-B@1#eq:ramsey-channel · lines 401–419
    Open as its own page

    For a self-adjoint operator , set

    The phase in (eq:kraus) is , not .

    Define the complete recorded channel

  • lemmaLemma: Ramsey identity and record lawComplete binary instruments and quantitative transfer › The corrected Ramsey formula · IV-B@1#lem:ramsey, IV-B@1#eq:ramsey-prob · proof attached · lines 420–450
    Open as its own page

    Equation (eq:ramsey-channel) is CPTP and retains every untouched reference. Its outcome probabilities are

    It is implemented by preparing a probe in , applying

    and destructively reading the probe in the basis

    Proof. Direct expansion gives , which proves complete positivity and trace preservation. The same expansion gives (eq:ramsey-prob). Moreover,

    Tensoring these operator identities with any reference identity proves the complete statements.

  • lemmaLemma: Mean separation implies a small-time contrastComplete binary instruments and quantitative transfer › A general positive-record certificate · IV-B@1#lem:contrast, IV-B@1#eq:positive-record · proof attached · lines 454–485
    Open as its own page

    Let be unit vectors, and put

    For and ,

    Proof. The spectral theorem and give

    At , the record reads the imaginary part. Subtracting the two expectations yields

  • sectionComplete-channel rather than record-only errorsComplete binary instruments and quantitative transfer › Complete-channel rather than record-only errors · lines 487–496
    Open as its own page

    Use

    where the diamond norm is understood on trace-class inputs and arbitrary reference extensions.

  • propositionProposition: Uniform instrument transferComplete binary instruments and quantitative transfer › Complete-channel rather than record-only errors · IV-B@1#prop:instrument-error, IV-B@1#eq:prob-error, IV-B@1#eq:instrument-error, IV-B@1#eq:duhamel · proof attached · lines 497–536
    Open as its own page

    For two unitaries , let be the channels defined by (eq:kraus)–(eq:ramsey-channel). Then

    For bounded self-adjoint ,

    These estimates survive compatible CPTP pre- and post-composition.

    Proof. The probability bound follows from (eq:ramsey-prob). For the complete bound, define isometries

    Then

    For any reference extension and trace-class input ,

    Pinching the first factor produces the recorded channels and cannot increase the norm. This proves (eq:instrument-error). Differentiating and integrating proves (eq:duhamel); negative follows by reversal. CPTP composition is a contraction for the complete comparison norm.

  • sectionComplete-channel rather than record-only errorsComplete binary instruments and quantitative transfer › Complete-channel rather than record-only errors · lines 536–542
    Open as its own page

    In particular, a two-preparation contrast loses at most under this unitary replacement. This is a complete instrument estimate, not merely agreement of two effects.

Model 1: the fixed TT plane and removable edge

  • sectionClassical coefficient and represented generatorModel 1: the fixed TT plane and removable edge › Classical coefficient and represented generator · IV-B@1#eq:scalar-response, IV-B@1#eq:oneparticle, IV-B@1#eq:A1 · lines 547–623
    Open as its own page

    Work first on the declared completion , with

    Fix smooth real spatial TT waves with Schwartz Cauchy data, spanning a nondegenerate real symplectic plane. They have no temporal components. For a free scalar , define

    This solves , with zero correction data, where .

    For real , write

    Set

    Integration by parts gives

    Finite propagation makes the relevant spatial support compact on the finite interval.

    Let be the one-particle vectors representing , , and , respectively. Explicitly, if a real linear Cauchy functional is , use

    For the response functional,

    All these vectors are Schwartz.

    On

    define

    The real defines a numerical model. It is not evaluation of a formal nilpotent parameter at a nonzero real number.

  • propositionProposition: Self-adjointness and active factorsModel 1: the fixed TT plane and removable edge › Classical coefficient and represented generator · IV-B@1#prop:A1 · proof attached · lines 624–658
    Open as its own page

    The operator (eq:A1) is essentially self-adjoint on the total finite-particle domain. Its closure contains , and

    Only the gravitational oscillator and are active.

    Proof. Creation and annihilation satisfy

    Products of two such operators obey the stated number bound. Different species commute, so the polynomial is symmetric and changes total number by at most two.

    If has at most particles, iteration gives

    Thus every finite-particle vector is analytic for . Nelson's analytic-vector theorem Nelson proves essential self-adjointness. Approximation by number truncations proves the domain inclusion and bound. Fock factorization over the displayed one-particle span and its orthogonal complement proves the final claim.

  • sectionEdge removal and its topologyModel 1: the fixed TT plane and removable edge › Edge removal and its topology · IV-B@1#eq:edge-vector · lines 660–682
    Open as its own page

    Choose smooth , with for and for . Replace

    and denote the resulting operator by . Formula (eq:oneparticle) and integration over an interval of length give

    Consequently,

    with uniform sector bounds for .

  • propositionProposition: Edge convergence of complete instrumentsModel 1: the fixed TT plane and removable edge › Edge removal and its topology · IV-B@1#prop:edge, IV-B@1#eq:edge-complete, IV-B@1#eq:sector-edge · proof attached · lines 683–722
    Open as its own page

    For every ,

    For every trace-class on , with any untouched reference ,

    No diamond-norm convergence is asserted.

    Proof. On the sector of at most particles, telescope the powers in the analytic series. For , the preceding sector estimates give

    Finite-particle vectors are dense and all exponentials are unitary, so convergence is strong for these small times. Subdivision of an arbitrary time and finite telescoping prove strong convergence for every .

    The corresponding Kraus operators and their adjoints converge strongly. For finite-rank , this implies trace-norm convergence of each Kraus block, also after tensoring with . Approximate a general trace-class by finite-rank operators and use the uniform channel bounds to obtain (eq:edge-complete).

  • sectionEdge removal and its topologyModel 1: the fixed TT plane and removable edge › Edge removal and its topology · IV-B@1#eq:coherent-edge · lines 722–737
    Open as its own page

    For a coherent preparation of total mean number , an explicit unitary-vector error is obtained from

    At fixed admissible , this tends to zero by first fixing a large , then taking .

  • remarkRemark: Strong convergence is not a uniform channel estimateModel 1: the fixed TT plane and removable edge › Edge removal and its topology · lines 738–746
    Open as its own page

    For the simple family , the unitaries converge strongly to , but whenever . Wave packets concentrated where the phase is near also distinguish the corresponding Ramsey records from those of almost perfectly. This prevents promotion of a strong-limit proof to a uniform instrument-norm claim.

  • sectionA nonzero record and its exact off-controlModel 1: the fixed TT plane and removable edge › A nonzero record and its exact off-control · lines 748–777
    Open as its own page

    Translate so that . Choose real compact scalar data

    where near zero. Then

    A small future neighborhood therefore contains a nonnegative compact test for which

    Let be the scalar coherent label for these data. The states

    have identical scalar factors, equal oscillator covariances, and , . Hence

    Their second moments are finite by Proposition prop:A1.

  • theoremTheorem: Model 1 recordModel 1: the fixed TT plane and removable edge › A nonzero record and its exact off-control · IV-B@1#thm:model1 · proof attached · lines 778–796
    Open as its own page

    For every fixed , some fixed and give

    The limiting contrast is positive. At , the two record laws agree exactly for every .

    Proof. Apply Lemma lem:contrast with . The edge error is at most . At , the generator acts only on the common scalar factor.

  • sectionA nonzero record and its exact off-controlModel 1: the fixed TT plane and removable edge › A nonzero record and its exact off-control · lines 796–802
    Open as its own page

    By Lemma lem:patch, all compact coefficient pairings have the same values in the declared conical patch. This is the precise, completion- dependent adaptation of Model 1, not a global TT field on the cone.

Model 2: dense TT completion and fixed-number spectral removal

  • sectionFour legs and the distinction between coefficient normsModel 2: dense TT completion and fixed-number spectral removal › Four legs and the distinction between coefficient norms · IV-B@1#eq:fourlegs · lines 807–860
    Open as its own page

    On the flat completion define

    and

    Let be the orthogonal TT projection. Use modes

    with a factor in the TT field, as in IV CheungIV.

    For , and similarly for , define

    The four operators are annihilation–annihilation, annihilation–creation, creation–annihilation, and creation–creation, with the reality relations supplied by real .

    Put

    The tensor is not the particle-number projection.

    Take smooth real even masks , equal to one for and , respectively, and supported in the corresponding doubled regions. Set

  • lemmaLemma: Separate spectral estimatesModel 2: dense TT completion and fixed-number spectral removal › Four legs and the distinction between coefficient norms · IV-B@1#lem:spectral, IV-B@1#eq:spectral, IV-B@1#eq:master · proof attached · lines 861–923
    Open as its own page

    The pair coefficient is Hilbert–Schmidt and the mixed coefficient is bounded. There are constants independent of the admitted masks such that

    Proof. Write ,

    Spatial integration by parts and one temporal integration by parts, retaining the initial endpoint , give

    For , transversality gives . After absorbing polynomial transfer factors into the arbitrary spatial decay,

    For pair signs this implies, after increasing ,

    The radial integral is finite. The gravitational low and high tails have squared integrals and . The scalar high tail is , by splitting from and transferring weights between . This proves the first estimate.

    For mixed signs, (eq:master) gives

    and, on , also the bound with . The low part is Hilbert–Schmidt, with low-tail norm . The two high-tail Schur integrals are , using the appropriate - or -weighted bound; the remaining low-, high- term decays faster. The Schur test proves the second estimate.

  • sectionFour legs and the distinction between coefficient normsModel 2: dense TT completion and fixed-number spectral removal › Four legs and the distinction between coefficient norms · lines 923–927
    Open as its own page

    The proof does not replace the mixed operator-norm estimate by an unproved Hilbert–Schmidt estimate.

  • sectionQuadratic operators and the free-term correctionModel 2: dense TT completion and fixed-number spectral removal › Quadratic operators and the free-term correction · IV-B@1#eq:B2graph, IV-B@1#eq:B2compression, IV-B@1#eq:A2 · lines 928–974
    Open as its own page

    Identify the product Fock space with . Put

    and let be the symmetric tensor obtained by placing in the two cross-species slots and adding its flip. Thus . Define the symmetric quadratic

    With and , sector estimates give

    For completeness, on the -particle sector, has norm at most , while pair annihilation has norm at most . Pair creation is its adjoint. Summing the orthogonal output sectors proves (eq:B2graph); compression and prove (eq:B2compression).

    Define

    Each generator is bounded self-adjoint. Its free scalar term is compressed by , not by total number.

  • remarkRemark: Why the separate free cutoff mattersModel 2: dense TT completion and fixed-number spectral removal › Quadratic operators and the free-term correction · lines 975–980
    Open as its own page

    Replacing the first term of (eq:A2) by can make its record depend on gravitational occupation even at . The scalar-only compression is required for the exact off-control.

  • theoremTheorem: Fixed-M complete spectral limitModel 2: dense TT completion and fixed-number spectral removal › Quadratic operators and the free-term correction · IV-B@1#thm:spectral-channel, IV-B@1#eq:model2-complete · proof attached · lines 982–1009
    Open as its own page

    For fixed finite , put

    Then

    and

    The estimate is uniform over states and references.

    Proof. Combine Lemma lem:spectral, (eq:B2compression), and Proposition prop:instrument-error.

  • sectionA nonzero witness with a controlled number tailModel 2: dense TT completion and fixed-number spectral removal › A nonzero witness with a controlled number tail · lines 1013–1053
    Open as its own page

    Choose a smooth compact-annular TT coherent label whose classical field is nonzero somewhere. Choose compact smooth scalar data so that is nonzero there. The same Hessian construction used in Model 1 provides such data. Then is not zero. Choose a nonnegative compact bump supported where it is nonzero and set

    Let be the corresponding coherent labels and take

    Expanding the four legs gives exactly

    For total coherent mean number , define

    Number bandwidth two and (eq:B2graph) imply

    Therefore

    The same number estimates bound uniformly in .

  • theoremTheorem: Model 2 recordModel 2: dense TT completion and fixed-number spectral removal › A nonzero witness with a controlled number tail · IV-B@1#thm:model2 · proof attached · lines 1054–1086
    Open as its own page

    For fixed , one can choose a single , independent of , and , such that

    where

    For sufficiently large but finite , the limiting contrast is positive. At , the two record laws agree exactly for every .

    Proof. Let , and let be a common bound on the sum of the two generator second moments. Choose . The proof of Lemma lem:contrast gives

    Take and . The two probability errors from the spectral replacement total at most . Finally, , and the scalar preparations are identical.

  • sectionA nonzero witness with a controlled number tailModel 2: dense TT completion and fixed-number spectral removal › A nonzero witness with a controlled number tail · lines 1086–1093
    Open as its own page

    The conical patch interpretation uses Definition def:completion. The masks remain masks of that completion; they are not silently changed into intrinsic cone spectral projectors.

Model 3: a specified sourced form and an exterior pairing

  • sectionThe Newton–wave prescriptionModel 3: a specified sourced form and an exterior pairing › The Newton–wave prescription · IV-B@1#eq:NW · lines 1098–1133
    Open as its own page

    Translate to zero. On the completion, let be a smooth conserved symmetric source, Schwartz in space with all seminorms locally uniform in time. Define

    and

    For trace-reversed data , prescribe

    With , put

    where

  • propositionProposition: Response and propagated constraintModel 3: a specified sourced form and an exterior pairing › The Newton–wave prescription · IV-B@1#prop:NW · proof attached · lines 1134–1161
    Open as its own page

    Equation (eq:NW) defines a smooth response , continuous from suitable source Schwartz seminorms to compact smooth seminorms. It satisfies

    These equations are built into the prescribed response; they are not derived gravitational dynamics.

    Proof. The Newton multiplier is locally integrable in three dimensions. Its differentiated multipliers and the wave propagators give smoothness and compact seminorm bounds. The Newton data can have Coulomb tails; square integrability of the metric itself is not needed.

    The wave formula gives . Set . The prescribed data give . Since and , the wave equation also gives . Conservation gives ; uniqueness implies . Substitution into the linearized Einstein operator gives .

  • sectionA form, not an independent metric fieldModel 3: a specified sourced form and an exterior pairing › A form, not an independent metric field · IV-B@1#eq:metric-form · lines 1163–1194
    Open as its own page

    On

    use the massive free scalar and the fixed vacuum-normal-ordered stress

    For , its matrix element is a finite sum of products of Schwartz wave packets and derivatives. Polarized Klein–Gordon conservation shows that it is conserved.

    For real compact symmetric , define

    The preceding seminorm estimates prove that this is a well-defined sesquilinear form, symmetric for real . Its conical patch interpretation is (eq:completed-response) and Lemma lem:patch.

  • sectionRegulated quadratic generatorModel 3: a specified sourced form and an exterior pairing › Regulated quadratic generator · lines 1195–1243
    Open as its own page

    For clarity, the complete kernel prescription is recorded. Let

    and define

    Apply the initial-data rule of (eq:NW) to , obtaining its trace-reversed amplitude . Explicitly,

    and

    Define

    Choose a real even smooth compact mask , equal to one on , and set

  • lemmaLemma: Pair and mixed transfer boundsModel 3: a specified sourced form and an exterior pairing › Regulated quadratic generator · IV-B@1#lem:model3-kernels · proof attached · lines 1244–1288
    Open as its own page

    At each fixed finite , is a symmetric Hilbert–Schmidt tensor and is bounded self-adjoint. More precisely, on the cutoff support,

    and

    No separate Newton infrared mask is required.

    Proof. For the pair sector, at ,

    The first expression also has vanishing first derivative there. On bounded momentum sets, smoothness of the massive dispersion relation therefore gives and . Thus the initial Newton amplitudes are respectively and , and . The wave factors are bounded on the finite time support, proving the pair bound. Its square is integrable in the three-dimensional transfer variable.

    In the mixed sector, the bounded numerators give at worst . The sine-over- factors are bounded on compact time intervals, so no stronger singularity occurs. On bounded momentum support,

    and likewise with interchanged. The Schur test gives boundedness. Reality and polarization give the stated symmetries.

  • sectionRegulated quadratic generatorModel 3: a specified sourced form and an exterior pairing › Regulated quadratic generator · IV-B@1#eq:B3, IV-B@1#eq:coherent3 · lines 1288–1317
    Open as its own page

    Define on

    The sector estimates already used give

    Neither nor the bounded momentum cutoff is asserted to have finite rank.

    Normal ordering gives the exact coherent identity

    It follows by replacing the normal-ordered field factors by their coherent one-point functions. The graph bound justifies the expectation.

  • sectionExterior curvature certificate and finite cutoffsModel 3: a specified sourced form and an exterior pairing › Exterior curvature certificate and finite cutoffs · IV-B@1#eq:curvature-current · lines 1318–1388
    Open as its own page

    Use

    For real compact , set

    with all other entries zero. Direct differentiation and integration by parts give

    Choose nonzero real radial , supported in , and scalar data . Their energy is

    The initial momentum density vanishes. Newton's radial formula and trace reversal give

    At , ,

    Smoothness and finite propagation permit a small future neighborhood where the curvature remains positive and the uncut scalar vanishes. Choose a nonzero nonnegative there. Then

    Let be the Schwartz coherent label for . Since in Schwartz topology, (eq:coherent3) and response continuity allow a sufficiently large finite with

    The weighted Poisson tail and (eq:B3) imply

    For example, writing

    the expectation error is at most . Fix a finite for which the compressed mean is at least . Its vacuum mean is exactly zero.

  • theoremTheorem: Model 3 recordModel 3: a specified sourced form and an exterior pairing › Exterior curvature certificate and finite cutoffs · IV-B@1#thm:model3 · proof attached · lines 1389–1408
    Open as its own page

    At the selected finite , the generator

    has a positive vacuum–coherent Ramsey contrast for every , at a sufficiently small fixed and . At , the record laws agree exactly. If the declared source response is multiplied by an additional classical strength , the source-off control also gives exact agreement.

    Proof. The mean separation is at least , and both second moments are finite by boundedness. Apply Lemma lem:contrast. At either off-control, , so , independently of the preparation.

  • sectionExterior curvature certificate and finite cutoffsModel 3: a specified sourced form and an exterior pairing › Exterior curvature certificate and finite cutoffs · lines 1408–1415
    Open as its own page

    The cutoff field is not spatially compact: momentum truncation creates tails. Thus exterior support separation is an uncut classical certificate; only its positive compact pairing has been transferred to the retained finite cutoffs.

The finite destructive clock instrument

  • sectionComplete identity, references, and consumptionThe finite destructive clock instrument › Complete identity, references, and consumption · lines 1420–1426
    Open as its own page

    Let have finite dimension , with orthonormal basis and projectors . Let be any retained system, possibly one of the infinite-dimensional represented matter systems.

  • definitionDefinition: Destructive Enter channelThe finite destructive clock instrument › Complete identity, references, and consumption · IV-B@1#eq:enter · lines 1427–1435
    Open as its own page

    The output quantum context is , not .

  • theoremTheorem: Complete clock extractionThe finite destructive clock instrument › Complete identity, references, and consumption · IV-B@1#thm:instrument, IV-B@1#eq:drop-record · proof attached · lines 1437–1464
    Open as its own page

    The channel (eq:enter) is CPTP. With , it equals

    For every untouched reference , this equality remains valid after tensoring with . Moreover,

    The conditional residual on a positive-probability branch is .

    Proof. The operators satisfy

    They therefore define a CPTP map. Expanding shows that both branch formulas equal . Summing gives (eq:drop-record). The calculation is unchanged with replaced by .

  • sectionComplete identity, references, and consumptionThe finite destructive clock instrument › Complete identity, references, and consumption · lines 1464–1473
    Open as its own page

    Conditional reference states can be steered by conditioning. Equation (eq:drop-record) asserts invariance of the unconditional surviving marginal, not of every normalized branch.

    The identity is the finite instrument comparison emphasized in En09-A CheungEn09; here it has been proved for the retained possibly infinite-dimensional .

  • propositionProposition: No return, no residual inference, no finite CCRThe finite destructive clock instrument › Three separations · IV-B@1#prop:three-separations · proof attached · lines 1476–1504
    Open as its own page

    For :

    1. has no universal left inverse on all clock–system states;

    2. equality of record effects does not imply equality of recorded residual instruments;

    3. finite matrices cannot satisfy .

    Proof. The two clock states , tensored with the same residual, have the same image under . A left inverse would have to recover both distinct inputs from that image.

    For the second assertion, on a residual qubit compare

    Both instruments have effects , but on their conditional residuals are and . Thus their records agree on every input and their residuals need not.

    Finally, , whereas .

  • sectionThree separationsThe finite destructive clock instrument › Three separations · lines 1504–1511
    Open as its own page

    A fresh allocation after readout is a new quantum name, not return of a consumed name. The record-only clock channel is entanglement breaking on the clock input. The complete map on need not be entanglement breaking, because the retained can preserve entanglement with a reference.

  • propositionProposition: Destructive coarse-grainingThe finite destructive clock instrument › Refinement independence · IV-B@1#prop:refinement · proof attached · lines 1514–1531
    Open as its own page

    Suppose mutually orthogonal projectors are refined into orthonormal rank-one projectors . Destructive fine readout followed by forgetting has residual block

    It is independent of the chosen orthonormal basis within .

    Proof. Expand in any orthonormal basis of its clock subspace. Partial trace removes all off-diagonal clock matrix units and sums the diagonal residual blocks.

  • sectionRefinement independenceThe finite destructive clock instrument › Refinement independence · lines 1531–1536
    Open as its own page

    This is a destructive-readout statement. It is not an assertion that fine dephasing equals a nondestructive coarse Lüders channel when the clock itself is returned.

  • propositionProposition: Finite covariant conditional evolutionThe finite destructive clock instrument › Conditional evolution requires additional hypotheses · IV-B@1#prop:relational · proof attached · lines 1539–1567
    Open as its own page

    Let be prescribed unitary groups, and assume

    at the relevant times. Suppose a complete rank-one reading basis obeys

    Then its subnormalized residuals satisfy

    Hence the normalized residuals have the corresponding unitary relation.

    Proof. Stationarity gives

    Substitute the covariance formula for into the partial trace. Unitary invariance of the clock trace gives the displayed relation. All traces are equal and sum to one.

  • sectionConditional evolution requires additional hypothesesThe finite destructive clock instrument › Conditional evolution requires additional hypotheses · lines 1567–1576
    Open as its own page

    This is the precise finite conditioning comparison associated with Page–Wootters and En09-A PageWootters,CheungEn09. Stationarity alone is insufficient for an arbitrary reading basis. For a referenced conditional-evolution statement, stationarity must hold on the full referenced preparation. None of these assumptions is imposed automatically on the Ramsey preparations.

The same-model dictionary and Ramsey–Enter composition

  • sectionNamed factors and the three mapsThe same-model dictionary and Ramsey–Enter composition › Named factors and the three maps · lines 1581–1631
    Open as its own page

    For each model , retain the separate matter space . Add three finite named carrier factors . They are not a spatial tensor factorization of the continuum field. Their fixed locations mark the three developing rods.

    Use one total consumed context

    Here is finite time-code memory and is the Ramsey probe. Taking a power of two gives a finite qubit encoding. The retained context is

    Both clock/probe components are consumed by the complete readout.

    The dictionaries are:

    1. Time map. A fixed injective calibration

      The binary outcome is not another value of the event time. A separate history map may assign to a labelled history event.

    2. Location map. A map sends each admitted finite carrier name and tick to a point of the regular spatial slice. Its three numerical rod coordinates are , using (eq:dev). The field module remains a global represented module; this map does not localize every one of its modes at the probe.

    3. Causal-wire map. For every certified scheduled dependency ,

      Equivalently, an ancestor of an output belongs to the metric past of that output.

    These are written maps in one declared model. They are not inferred from similarity of terminology between manuscripts.

  • propositionProposition: Fixed-event calibrationThe same-model dictionary and Ramsey–Enter composition › Named factors and the three maps · IV-B@1#prop:event · proof attached · lines 1632–1642
    Open as its own page

    If a clock is read at one fixed event , and almost surely with injective , then is deterministic.

    Proof. At most one has . Every other outcome must have probability zero.

  • sectionNamed factors and the three mapsThe same-model dictionary and Ramsey–Enter composition › Named factors and the three maps · lines 1642–1648
    Open as its own page

    Consequently, a stochastic multi-time interpretation at one fixed event must be a history-label interpretation, or an explicitly imperfect clock calibration, not exact equality to several coordinates of that one event.

  • sectionOne complete composed channelThe same-model dictionary and Ramsey–Enter composition › One complete composed channel · lines 1649–1658
    Open as its own page

    Prepare in , where , and in . Apply to , leaving the rod factors untouched. Destructively read in the basis

  • theoremTheorem: Ramsey–Enter identityThe same-model dictionary and Ramsey–Enter composition › One complete composed channel · IV-B@1#thm:composition, IV-B@1#eq:composed · proof attached · lines 1659–1689
    Open as its own page

    For each of the three generators and every trace-class input on , the complete output is

    This identity holds with every untouched reference. The time code is deterministic, the Ramsey outcome need not be, and all factors survive.

    All contrast and convergence statements in Theorems thm:model1, thm:spectral-channel, thm:model2, and thm:model3 survive this attachment in their stated topologies.

    Proof. Apply Theorem thm:instrument to the two-factor clock and use Lemma lem:ramsey. The bra annihilates every branch except ; the bra gives . The rod identity and the reference identity tensor through the calculation. Attachment of a fixed classical code is an isometry on the comparison interface and changes no record probabilities. Compatible CPTP composition preserves the stated error bounds.

  • sectionOne complete composed channelThe same-model dictionary and Ramsey–Enter composition › One complete composed channel · lines 1689–1700
    Open as its own page

    For a preparation with several history blocks, the same calculation gives their subnormalized conditional blocks. It does not turn those history labels into the actual times of one fixed readout event.

    At , Models 1 and 2 retain different gravitational preparations, so their complete matter outputs need not agree. What agrees exactly is the declared binary record law. No arbitrary later gravitational-sensitive measurement is included in that off-control claim.

  • propositionProposition: The complete records do not select the dictionaryThe same-model dictionary and Ramsey–Enter composition › Dictionary nonuniqueness · IV-B@1#prop:nonunique · proof attached · lines 1703–1725
    Open as its own page

    The finite recorded channels constructed here do not uniquely determine the rod frame, the lapse, or the global conical deficit.

    Proof. Translate or rotate the developing coordinates and all finite carrier locations. The matrices and the complete instruments are unchanged, while the rod numbers change.

    For the lapse comparison, retain the same coordinate events and channels but compare and . Every wire causal for is causal for , but a static coordinate interval has different proper durations. The same channel data therefore do not fix the lapse calibration.

    Finally, two different deficits admit isometric regular balls. Install the same finite ports and the same flat-completion detector package in such balls. Their complete output channels coincide, although the global circumference-to-radius ratios differ.

  • sectionDictionary nonuniquenessThe same-model dictionary and Ramsey–Enter composition › Dictionary nonuniqueness · lines 1725–1732
    Open as its own page

    The lapse comparison is a non-identification test, not a replacement of the main unit-lapse freeze. These are the same kinds of distinctions recorded in I-B CheungIB; the proof here does not assume a metric-reconstruction theorem.

Certified transport and the precise locality statement

  • sectionSchedule past and metric containmentCertified transport and the precise locality statement › Schedule past and metric containment · lines 1737–1748
    Open as its own page

    Consider finitely many finite carrier spaces at prescribed sites. At tick , let the complete channel factor over a partition of those sites. Include every classical control wire in this network. For terminal sites , define

  • theoremTheorem: Scheduled influence boundCertified transport and the precise locality statement › Schedule past and metric containment · IV-B@1#thm:locality · proof attached · lines 1749–1771
    Open as its own page

    The pulled-back terminal algebra satisfies

    If every block dependency is certified metric causal, then each scheduled ancestor event belongs to the metric past of a terminal event. Equal input reductions on the scheduled past give equal output reductions. With references, equality of the corresponding joint input reductions gives equality of the joint output reductions.

    Proof. The adjoint of a channel is unital. A block disjoint from the current observable support therefore acts on an identity and cannot enlarge that support. Repeating this argument backwards proves the algebra inclusion. Equal reductions give equal expectations of every pulled-back observable. Tensoring with a reference proves the complete statement. Composing the certified causal dependencies gives a piecewise causal curve, proving metric containment.

  • sectionSchedule past and metric containmentCertified transport and the precise locality statement › Schedule past and metric containment · lines 1771–1778
    Open as its own page

    This is an upper bound on influence. A scheduled path can carry a replacement channel and no signal. It is not a derivation of the metric or an assertion that every ancestor is operationally detectable. The comparison with En03-A and En05-A is documentary CheungEn03,CheungEn05.

  • sectionExact target-adapted null transportCertified transport and the precise locality statement › Exact target-adapted null transport · lines 1779–1796
    Open as its own page

    Fix a convex developed spatial ball in , two distinct sites , and

    For an integer , install

    At each site place , with a fixed blank , . At tick , swap and .

  • theoremTheorem: Reference-preserving null transportCertified transport and the precise locality statement › Exact target-adapted null transport · IV-B@1#thm:transport · proof attached · lines 1797–1820
    Open as its own page

    For every payload–reference state , after tick the state is

    under the fixed register identifications. The destination channel is exactly , including the reference. Arrival is at . The protocol uses SWAP gates, payload-sized registers, and ticks, and every tick-boundary dependency is metric causal.

    Proof. The invariant holds initially. At tick , the destination factor is blank and independent. SWAP exchanges it with the entire current payload factor, including its correlations with , leaving the previous factor blank. Induction proves the invariant and the complete identity channel. Each active spatial separation is , and the segment remains in the developing ball. The total duration is . The resource counts follow from the construction.

  • sectionExact target-adapted null transportCertified transport and the precise locality statement › Exact target-adapted null transport · lines 1820–1826
    Open as its own page

    The target-adapted permission is essential. This is not exact arbitrary null transport on one previously fixed lattice. En08-B studies a different refinement contract CheungEn08B; its resource formulas are not imported here.

  • sectionLedger and the boundary of the causal theoremCertified transport and the precise locality statement › Ledger and the boundary of the causal theorem · lines 1827–1850
    Open as its own page
    ObjectCharged resource or status
    Route registers of dimension , SWAPs, ticks, duration .
    Consumed contextDimension ; all its quantum names are removed from the output context.
    Spatial rodsThe three named factors remain.
    ReferenceUntouched; any external storage ledger remains external.
    Represented field moduleInfinite-dimensional ideal input; not priced as a finite-qubit program.
    Energy, work, heat, resetNot determined by the channel ledger.

    For , the route uses carrier qubits. Add clock and rod counts only for disjoint simultaneously live names; do not count one factor twice.

  • scopeGlobal apparatus boundaryCertified transport and the precise locality statement › Ledger and the boundary of the causal theorem · lines 1851–1861
    Open as its own page

    apparatus boundary{ Theorems thm:locality and thm:transport certify the finite carrier and control network. The global field operations remain admitted global apparatuses. Their assignment to an externally scheduled experiment does not prove that their action on local field observables lies inside a compact spacetime region.

    No local causal-support theorem for those global apparatuses, no within-tick SWAP Hamiltonian, and no compact system–probe field interaction is inferred. A full causal field implementation would require an additional same-model construction.}

  • sectionLedger and the boundary of the causal theoremCertified transport and the precise locality statement › Ledger and the boundary of the causal theorem · lines 1861–1867
    Open as its own page

    In particular, the finite route transports finite payloads, not the entire . A finite number cutoff does not make that field module a finite payload.

Manipulation of the consumed context

  • propositionProposition: Four admitted manipulationsManipulation of the consumed context · IV-B@1#prop:manipulation · proof attached · lines 1872–1898
    Open as its own page

    Within the declared interfaces:

    1. a clock unitary before Enter replaces the measured projectors by ;

    2. a pre-readout coupling on produces branch maps ;

    3. record-controlled continuation by channels produces

    4. fresh clock allocation permits another readout, but does not recover or reuse a consumed quantum name.

    These constructions are CPTP after retaining all branches and remain valid with untouched references.

    Proof. The first two claims follow by substituting and into (eq:enter). For the third, the direct-sum channel preserves the trace of each classical block and is completely positive. Fresh allocation is tensoring with a fixed new state; its name is distinct by definition.

  • sectionManipulation of the consumed contextManipulation of the consumed context · lines 1898–1917
    Open as its own page

    A general basis change is not a coordinate transformation. For example, a computational-basis clock state is deterministic in that basis and has a uniform law after a Hadamard basis change, while the event and all geometric coordinates can remain fixed. A coordinate relabelling does not perform that physical change of observable.

    The geometric readings of these manipulations are correspondingly limited: they select a clock observable, a conditional matter state, or a permitted future continuation. They do not change (eq:metric), alter the defect dimension, or move the readout event into its own past.

    If a continuation retains the binary record, the already proved binary contrast remains available. If it discards or overwrites that record, no general contrast-preservation assertion is made. Model-specific cutoffs remain unchanged throughout.

Documentary separations and optional certificates

  • sectionClassical descent, currents, and lapseDocumentary separations and optional certificates › Classical descent, currents, and lapse · lines 1922–1941
    Open as its own page

    The classical functional is specified before representation. The quotient and descent problems of III do not follow from the existence of a represented instrument, and their equation spaces are not identified with the three present representations CheungIII. The admissible-current and retarded-product constructions of V concern different objects CheungV. In particular, a Newton–wave quadratic curvature pairing is not the unregulated cubic scalar correction .

    A classical matter-defined relational lapse, a finite clock record, an externally scheduled time, and a numerical interpolation parameter are distinct. Em02-E, XIX-A, and XX-A document their own prescriptions and non-identifications CheungEm02E,CheungXIXA,CheungXXA. No map identifies those lapse constructions with the consumed clock factor of this paper.

  • sectionOptional finite Ward residual: a separate interfaceDocumentary separations and optional certificates › Optional finite Ward residual: a separate interface · IV-B@1#eq:ward · lines 1942–1980
    Open as its own page

    The finite local-Ward decomposition discussed in Oai282-A is a comparison, not a premise for Model 3 CheungOai282. Its algebraic content can be stated independently. On a flat patch, let finite-matrix-valued distributions , , , , and be defined on a common joint-test domain. Put

    and

    For a conformal Killing field, . Direct differentiation gives, for every admitted compact joint test ,

    Indeed the improvement has zero divergence and trace ; the conformal Killing identity evaluates the differentiated term. The triangle inequality gives the corresponding finite norm certificate.

    All insertion products and contacts in this statement are inputs. Equation (eq:ward) supplies no missing product prescription, does not identify these matrices with , and does not establish an untested Ward identity or Einstein dynamics. Number compression alone would not even provide the finite matrix space required by this optional certificate.

  • sectionRecovery, islands, and gravity-generated entanglementDocumentary separations and optional certificates › Recovery, islands, and gravity-generated entanglement · lines 1981–2001
    Open as its own page

    The Hawk-series recovery, operational-island, and operational-wormhole certificates concern separate accessible factors and complete complements CheungHawk. No such factorization or certificate is constructed here. A binary contrast is not a Page curve, an interior, an island, or a wormhole.

    Similarly, the decoder and apparatus comparisons in the En02 and Em03 series are negative controls, not physical identifications CheungEn02Em03. Reference preservation of SWAP does not prove entanglement generated by gravity. Model 1 changes gravitational preparation at fixed scalar preparation; its signal does not exclude every classical stochastic account.

    The OpenAI catalogue is a distinct documentary source OpenAICatalogue. Every OpenAI citation in this paper is a separation edge: it supplies no premise, field representation, gravitational dictionary, implementation, or coefficient admission.

Mathematical release and the unconstructed implications

  • theoremTheorem: IV-B interface releaseMathematical release and the unconstructed implications · IV-B@1#thm:release · proof attached · lines 2006–2059
    Open as its own page

    Fix the conical geometry (eq:metric), the developing patch, the flat-completion prescription, and the three independently defined represented models above. Then:

    1. each model has the complete Ramsey–Enter channel (eq:composed), with a consumed finite clock context, a classical record, surviving rods and matter, and arbitrary untouched references;

    2. the three positive-contrast conclusions hold in their stated, separate regulator regimes, together with their exact interpolation-off controls;

    3. Model 1 admits the stated edge removal with pointwise complete trace-norm convergence; Model 2 admits complete diamond-norm spectral convergence at each fixed finite ; Model 3 retains its selected finite ;

    4. compact coefficient and curvature pairings agree with their conical-patch readings under the declared completion;

    5. finite carrier/control networks with causal block certificates obey the schedule-past bound, and the target-adapted route implements exact complete null transport of a finite payload;

    6. the records do not uniquely determine the geometric dictionary, and neither a quantum return of the consumed clock nor a finite canonical commutator follows.

    Thus a Grade-S interface adaptation is constructed. An intrinsic-cone field adaptation and a compact causal implementation of the global apparatuses are not established. Grade E is not constructed.

    Proof. The operator and record assertions are Proposition prop:A1, Theorems thm:model1, thm:spectral-channel, thm:model2, and thm:model3. Proposition prop:edge identifies the precise unbounded-model topology. Lemma lem:patch proves the geometric pairing statement. Theorems thm:instrument and thm:composition prove the complete clock attachment.

    Theorems thm:locality and thm:transport give the finite causal-wire and transport assertions on their explicitly certified interfaces. Propositions prop:three-separations, prop:event, and prop:nonunique establish the remaining separations. Proposition prop:no-global-transfer explains why the stronger field and implementation assertions are not deductions from these results.

  • sectionThe six stronger implications remain missingMathematical release and the unconstructed implications › The six stronger implications remain missing · lines 2061–2080
    Open as its own page

    In the terminology of I-B, the following stronger connecting constructions remain outside the release CheungIB:

    1. a chart reconstructed from records without a predeclared location map;

    2. lapse coefficients reconstructed without the geometric clock and background prescription;

    3. a Lorentz cone selected by scheduler consistency alone;

    4. a covariant residual stress tensor sourcing the same metric through a proved dynamics law;

    5. a native quantum-lapse construction with compatible joint regulator removal;

    6. a physical proper-time calibration derived from records, rather than supplied and checked against the declared metric and observer.

    The proved equality for the specified static observers does not supply the last physical calibration.

  • sectionCutoff ledgerMathematical release and the unconstructed implications › Cutoff ledger · lines 2081–2107
    Open as its own page
    ModelRemovedRetained or not identified
    1Smooth initial edge , in the proved topologyFixed TT plane; numerical ; no field-sector limit.
    2Spectral masks , at fixed finite Number cutoff ; TT representation; scalar-only free compression.
    3No instrument cutoff removedSelected finite scalar momentum cutoff and number cutoff ; fixed normal ordering and Newton–wave prescription.
    AllNo common cutoff is definedNo identification of the representations, sources, or regulators between models.

    An expectation limit used to select a finite cutoff is not an instrument limit. Finite particle number is not finite one-particle dimension. A finite probe is not a finite-qubit representation of an entire infinite-dimensional field.

  • sectionStanding stops and non-claimsMathematical release and the unconstructed implications › Standing stops and non-claims · lines 2108–2149
    Open as its own page

    This release does not:

    • construct a full reduced Einstein–scalar phase space, a sourced graviton representation, an unregulated self-adjoint metric field, or the unregulated cubic scalar correction;

    • construct an intrinsic global cone field theory, a compact system–probe coupling, or a microscopic causal realization of the global Ramsey controls;

    • prove measurement uniqueness, or assert that the infinite-dimensional generators are primitives of a finite-qubit language;

    • assert an instrument limit or identify the three representations, sources, normalizations, and cutoffs;

    • derive the prescribed metric, Einstein dynamics, a quantum gravitational constraint algebra, or quantum relational evolution without an external schedule;

    • construct spacetime emergence, holographic emergence, a Page curve, an island, an interior, or a gravity-generated-entanglement test;

    • solve any of the nine standing problems in the supplied programme;

    • infer heat, work, reset cost, or a Landauer ledger from channel equality.

    The source records distinguishing the internal-amplitude advances from the missing inherited full characteristic map remain separate CheungXIVIJ,CheungXVB,CheungXVIN. In particular,

    The existence of a technical manuscript called XV-B is not denied; the statement concerns the downstream admission exit. No differential or Ward defect is applied here to an absent inherited coefficient. A represented pilot is not that coefficient's admission.

  • sectionWhat is potentially useful and what is not newMathematical release and the unconstructed implications › What is potentially useful and what is not new · lines 2150–2169
    Open as its own page

    The substantive combination is the following: exact destructive readout can be attached without losing the conditional field state, reference correlations, positive represented contrasts, or the distinction between their regulator topologies. In particular, fixed- spectral estimates control the entire recorded instrument, not merely selected probabilities. The same formulation exposes two otherwise easy errors: treating a stochastic outcome as several exact times of one event, and treating a local developing chart as a global quantization theorem.

    These are precise interface and transfer statements. The elementary Ramsey, Kraus, partial-trace, and SWAP identities are not claimed to be new in isolation. No literature-wide novelty or experimental-impact claim is inferred from the internal manuscript comparison.

Audit of the requested conversion

  • sectionAudit of the requested conversionAudit of the requested conversion · lines 2171–2248
    Open as its own page
    Requested stepExact result or correction
    Requested stepExact result or correction
    Freeze the conical geometryCompleted in Proposition prop:geometry. The full defect is a worldsheet and unit lapse is retained.
    Place the represented models on the coneCompleted as a declared-completion patch interpretation. Proposition prop:no-global-transfer prevents promotion to an intrinsic global-cone theory.
    Evaluate the Newton–wave response on the conical backgroundThe precise operation is (eq:completed-response): compute the declared complete-source response, then pull it back. It satisfies the local pulled-back equations. An intrinsic cone inverse determined by local data is not asserted.
    Use one consumed clock factorThe total finite context is . Its time memory and Ramsey probe are both consumed. This avoids identifying a random binary signal with the exact coordinate time of one event.
    Prove the three dictionariesThe maps are explicit in Section sec:dictionary. Agreement holds on the admitted ports, compact tests, and certified wires. Nonuniqueness is proved.
    Prove complete measurement identitiesCompleted in Theorems thm:instrument and thm:composition, with arbitrary untouched references.
    Preserve positive records and controlsCompleted separately for all three represented models. Record equality at zero interpolation is not confused with equality of their entire retained matter states.
    Remove the admitted cutoffsOnly the listed cutoffs are removed. Model 1 gives pointwise complete trace-norm convergence. Model 2 gives diamond-norm spectral convergence at fixed . Model 3 retains finite .
    Schedule global apparatuses inside the coneExternal times can be assigned, but that assignment is not a local causal implementation theorem. The missing compact field coupling is not concealed by a timestamp.
    Transport and localityExact complete finite-payload null transport and the causal-wire influence bound are proved. Neither theorem transports an entire unencoded field Hilbert space.
    Manipulate the fourth factorCompleted as basis change, pre-readout coupling, classical continuation, and fresh allocation. No geometric time axis is consumed.
    Release Grade S, not Grade EGrade-S interface adaptation is constructed. Intrinsic-cone field transfer and compact causal apparatus realization remain separate missing bridges. Grade E and all standing analytic stops are unchanged.

Declarations

  • sectionDeclarationsDeclarations · lines 2249–2272
    Open as its own page

    . This is a single standard pdfLaTeX source with an internal bibliography. No successful pdfLaTeX build, proof-assistant check, numerical execution, hardware compilation, physical implementation, independent referee verification, or journal acceptance of this manuscript is asserted.

    status. The Enter-series identifiers below distinguish unpublished source records and supplied excerpts from the separately published or accepted journal literature. No publication dates, DOIs, or stronger verification status are invented for the internal manuscripts. Descriptive annotations identify the comparison being made; they are not additional theorems imported into this paper.

    . The three represented instruments remain separate. The conical geometry remains prescribed. Enter consumes a finite clock encoding and returns its classical record together with the specified surviving matter. A drawing is a visualization of this declared model, not a derivation of spacetime.

  • bibliographyReferencesDeclarations · lines 2273–2480
    Open as its own page

    CheungEnter

    N. Cheung, The Enter Calculus: A Linear Quantum Lambda Calculus with an Operational Characterization of Measurement. Frontiers in Physics 14 (2026), doi:\,10.3389/fphy.2026.1954943. Publisher abstract record: accepted 28 September 2026; the displayed record describes the final formatted version as forthcoming. Used for operational background, not as a field-theoretic premise.

    CheungPhil

    N. Cheung, The Philosophy of Enter: Destructive Readout, Quantum Recovery, and the Refusal of Identification. EntPhil, version 2, introductory essay. https://enter.grok.me/enter. Documentary philosophical source, not a theorem premise.

    CheungI

    N. Cheung, Manuscript I, version 2. Enter Calculus Companion. https://enter.grok.me/browse/I. Operational measurement characterization within its stated class; no uniqueness theorem is transferred here.

    CheungIB

    N. Cheung, I-B-v1: A Finite Enter Spacetime: Calibrated Destructive Time Readout on a Prescribed Conical Product. Version 1, source file I-B-v1.tex. https://enter.grok.me/browse/I-B. Geometric and interface provenance; all assertions used in the present construction are restated and proved here.

    CheungIV

    N. Cheung, Represented records for three named scalar-field models: Finite-plane corrections, dense-TT corrections, and sourced curvature pairings. Manuscript IV, version 1, source file IV.tex. https://enter.grok.me/browse/IV. Source of the three represented-model conventions and their distinct cutoff grammar.

    CheungEn09

    N. Cheung, Manuscript En09-A, version 1. Enter Calculus Companion. https://enter.grok.me/browse/En09-A. Supplied complete relational Enter instrument, covariance, stationarity, and refinement comparisons. Documentary comparison; the needed identities are proved in this paper.

    CheungEn03

    N. Cheung, Manuscript En03-A, version 1. Enter Calculus Companion. https://enter.grok.me/browse/En03-A. Supplied scheduled-block locality and record/residual interface comparisons; not an imported premise.

    CheungEn05

    N. Cheung, Manuscript En05-A, version 1. Enter Calculus Companion. https://enter.grok.me/browse/En05-A. Supplied schedule-past and metric-envelope comparisons; not a derivation of a metric and not an imported premise.

    CheungEn08B

    N. Cheung, En08-B: Resource-controlled operational approximation of null boundary transport. Version 1. https://enter.grok.me/browse/En08-B. Different lattice-refinement transport contract; documentary only.

    CheungIII

    N. Cheung, Manuscript III, version 2. Enter Calculus Companion. https://enter.grok.me/browse/III. Classical descent and equation-space separations; documentary only.

    CheungV

    N. Cheung, Manuscript V, version 1. Enter Calculus Companion. https://enter.grok.me/browse/V. Admissible-current, retarded-product, and Newton–wave cubic comparisons; documentary only.

    CheungVIIIB

    N. Cheung, Manuscript VIII-B, version 3. Enter Calculus Companion. https://enter.grok.me/browse/VIII-B. Conical-family, source, collar, and lapse non-identifications; documentary only.

    CheungEm02E

    N. Cheung, Manuscript Em02-E, version 1. Enter Calculus Companion. https://enter.grok.me/browse/Em02-E. Supplied classical relational-lapse expansion on its own background; documentary only.

    CheungXIXA

    N. Cheung, Manuscript XIX-A, version 1. Enter Calculus Companion. https://enter.grok.me/browse/XIX-A. Clock separation before coordinate identification; documentary only.

    CheungXXA

    N. Cheung, Manuscript XX-A, version 1. Enter Calculus Companion. https://enter.grok.me/browse/XX-A. Classical original-rod lapse and separate quantum-admission boundary; documentary only.

    CheungOai282

    N. Cheung, Manuscript Oai282-A, version 1. Enter Calculus Companion. https://enter.grok.me/browse/Oai282-A. Supplied finite local-Ward residual interface. A separation comparison, not a premise for Model 3 or Einstein dynamics.

    CheungHawk

    N. Cheung, Manuscripts Hawk04-C, Hawk04-D, Hawk05-A–Hawk05-C, Hawk06-A, Hawk07-A, and Hawk07-B. Enter Calculus Companion; supplied source excerpts. Complete-complement, recovery, operational-island, and operational-wormhole comparisons on separately declared interfaces. Documentary negative bearings only.

    CheungEn02Em03

    N. Cheung, En02 and Em03 manuscript series. Enter Calculus Companion; supplied version-specific excerpts. Decoder ledgers, packet and apparatus models, and entanglement-breaking channel comparisons. Documentary negative controls only; no model identification or theorem transfer.

    CheungXIVIJ

    N. Cheung, Manuscripts XIV-I and XIV-J, versions 1. Enter Calculus Companion. https://enter.grok.me/browse/XIV-I; https://enter.grok.me/browse/XIV-J. Internal-amplitude construction and the separate unresolved full characteristic-map and admission boundaries. Documentary only.

    CheungXVB

    N. Cheung, Manuscript XV-B, version 2. Enter Calculus Companion; supplied text. https://enter.grok.me/browse/XV-B. Relative-lifting and reconstruction-descent interfaces; the supplied technical manuscript does not itself supply the inherited full graph or quantum admission. Documentary only.

    CheungXVIN

    N. Cheung, Manuscript XVI-N, revision r12. Enter Calculus Companion; supplied conditional obstruction statement. https://enter.grok.me/browse/XVI-N. Not discharged or identified with the present measurement models.

    OpenAICatalogue

    OpenAI, OpenAI mathematical manuscript catalogue. Separate documentary collection displayed by the Enter Calculus Companion. https://enter.grok.me/openai. Catalogue attribution only. Not independently verified here and not a premise. No OpenAI family is identified with a Cheung manuscript or with the present represented instruments.

    Nelson

    E. Nelson, “Analytic vectors,” Annals of Mathematics, second series, 70 (1959), 572–615. doi:\,10.2307/1970331. External analytic-vector theorem used in Proposition prop:A1 after explicit sector estimates.

    PageWootters

    D. N. Page and W. K. Wootters, “Evolution without evolution: Dynamics described by stationary observables,” Physical Review D 27 (1983), 2885–2892. doi:\,10.1103/PhysRevD.27.2885. External conditioning context; not a premise for geometric emergence or an unscheduled Ramsey implementation.