% XIX-C.tex % Self-contained source: no external bibliography, figures, or input files. % Suggested build: % pdflatex -interaction=nonstopmode -halt-on-error XIX-C.tex % pdflatex -interaction=nonstopmode -halt-on-error XIX-C.tex % % No successful compilation or proof-assistant execution is asserted. % Anonymous submission: authorized authorship metadata must be supplied % before a signed submission. Citation of N. Cheung is not authorship % attribution for this manuscript. \documentclass[11pt,a4paper]{article} \usepackage[T1]{fontenc} \usepackage[utf8]{inputenc} \usepackage{lmodern} \usepackage[margin=27mm]{geometry} \usepackage{amsmath,amssymb,amsthm,mathtools} \usepackage{booktabs,tabularx,array,longtable} \usepackage{enumitem} \usepackage{microtype} \usepackage{xurl} \usepackage[hidelinks]{hyperref} \hypersetup{ pdftitle={XIX-C: Finite Incidence Registers and the Missing Continuum Evolution}, pdfauthor={}, pdfsubject={Finite registers, scheduled support, and continuum non-determination}, pdfkeywords={incidence register, fixed cone, source token, residual state, finite channel, scheduled support, continuum limit} } \setlength{\emergencystretch}{3em} \setlength{\parskip}{3pt} \setlength{\parindent}{15pt} \numberwithin{equation}{section} \setlist[enumerate]{leftmargin=*,itemsep=3pt} \setlist[itemize]{leftmargin=*,itemsep=3pt} \newtheorem{theorem}{Theorem}[section] \newtheorem{proposition}[theorem]{Proposition} \newtheorem{lemma}[theorem]{Lemma} \newtheorem{corollary}[theorem]{Corollary} \theoremstyle{definition} \newtheorem{definition}[theorem]{Definition} \newtheorem{convention}[theorem]{Convention} \theoremstyle{remark} \newtheorem{remark}[theorem]{Remark} \newcommand{\R}{\mathbb R} \newcommand{\C}{\mathbb C} \newcommand{\N}{\mathbb N} \newcommand{\dd}{\mathrm d} \newcommand{\id}{\operatorname{id}} \newcommand{\tr}{\operatorname{Tr}} \newcommand{\rank}{\operatorname{rank}} \newcommand{\supp}{\operatorname{supp}} \newcommand{\diam}{\operatorname{diam}} \newcommand{\im}{\operatorname{im}} \newcommand{\ket}[1]{\lvert #1\rangle} \newcommand{\bra}[1]{\langle #1\rvert} \newcommand{\kb}[2]{\lvert #1\rangle\langle #2\rvert} \newcommand{\pair}[2]{\langle #1,#2\rangle} \newcommand{\norm}[1]{\left\lVert #1\right\rVert} \newcommand{\abs}[1]{\left\lvert #1\right\rvert} \newcommand{\sid}[1]{\texttt{\detokenize{#1}}} \newcommand{\Alg}{\mathcal A} \newcommand{\Chan}{\mathcal C} \newcommand{\Sch}{\mathsf{Sch}} \newcommand{\Inf}{\mathsf{Inf}} \newcommand{\Ein}{\mathsf{Ein}_0} \newcommand{\NN}{\mathcal N} \newcommand{\ClockVIII}{\mathsf C_{\mathrm{VIII}}} \newcommand{\dtrace}{d_{\mathrm{tr}}} \newcommand{\ddiam}{d_\diamond} \newcolumntype{Y}{>{\raggedright\arraybackslash}X} \title{\textbf{XIX-C}\\[3pt] Finite Incidence Registers and the Missing Continuum Evolution\\ \large Matching, Records, Promised Tokens, and Scheduled Support} \author{} \date{} \begin{document} \maketitle \begin{abstract} We formulate a finite-register incidence interface on a prescribed spinless conical carrier. Its inputs are a calibrated incidence parameter, installed packet data, finite codes, affine matching checks, source tokens, and guarded command updates. Incidence keeps the selected packet fixed; source replacement is a separate command. The mathematical conclusion is a non-determination theorem, not a universal nonexistence theorem. Matching uniqueness determines an accepted output within its declared presentation, but neither chooses a source law nor acquires an expectation. Equal classical records need not determine residual source functionals. A finite supplied token is not an exact expectation-acquisition instrument. The parameter, code, normal deformation speed, and matter-defined lapse retain different dependencies. For complete finite channel realizations, we prove scheduled Heisenberg support containment, reference-stable no-signalling, and the equivalence of snapshot determinacy, channel factorization, and adjoint support containment. A physical containment conclusion requires an independently supplied causal embedding. We then give two explicit refinement families agreeing with the same finite channel but converging to different continuous-time semigroups. Thus even a reference-stable finite locality certificate does not select a continuum evolution. No continuum realization of the incidence package, regulator removal, invariant physical speed, dynamical cone, Einstein dynamics, field-theoretic instrument, or gravitational quantum coefficient is constructed. Comparisons with the supplied Cheung records are documentary separations, not theorem premises. The VI--XVI-D coordinate mismatch is not used. \end{abstract} \noindent\textbf{Keywords:} finite incidence register; affine matching; residual state; source token; scheduled support; channel factorization; continuum non-determination. \tableofcontents %===================================================================== \section{Question, result, and source discipline} \label{sec:scope} %===================================================================== The question is whether a finite incidence register and its prescribed schedule already constitute a continuum physical evolution. The answer proved here is narrower and more precise: the displayed finite data do not determine such an evolution. Additional realizations can agree on those data and disagree on their time calibration, interpolation, or limiting dynamics. The motivating records are Cheung's VIII-A, VIII-B, and VIII-C, version 3, together with VII-J, En05-A, and Landmark I \cite{CheungVIIIA,CheungVIIIB,CheungVIIIC, CheungVIIJ,CheungEn05A,CheungI}. Their reported conclusions concern different interfaces: matching, packet selection, guarded commands, complete finite channels, and measurement records. Shared vocabulary does not identify those interfaces. XIX-A named the incidence object \[ \ClockVIII =\text{prescribed parameter together with a finite reading register} \] and separated it from a matter-defined relational lapse \cite{XIXA}. XIX-B treated a different question: the direct first-coordinate comparison of VI's unswitched prescription with XVI-D's prepared candidate \cite{XIXB}. Neither result is a premise below. The elementary separation tests needed here are proved again. \paragraph{Two kinds of conclusion.} We distinguish: \begin{enumerate}[label=\textup{(\roman*)}] \item a \emph{mathematical non-determination}: explicit constructions agree on named finite data and disagree on an additional target; \item a \emph{release boundary}: this manuscript supplies no construction of a named continuum or quantum object. \end{enumerate} The second is not promoted to a theorem that every possible future construction is impossible. \paragraph{Source records are not premises.} Every proof uses definitions, equations, or finite-dimensional arguments printed here. The unpublished records provide motivation, versions, and comparison locators. We do not reconstruct their complete geometric certificates, source laws, or implementations. Where the full defining data are unavailable, the claim is an explicit interface theorem, not an authentication of the predecessor. \paragraph{The finite implementation is not the entire analytic family.} A constructor with a continuous deficit argument need not have a finite image. A finite implementation installs only finitely many packets and parameter values, or uses a separately declared promise to select among them. We do not call an entire continuous constructor a finite set. \paragraph{The carrier is supplied.} The conical metric used below is background data. No new or matter-derived metric is constructed. In particular, ``fixed cone'' means fixed during the incidence command. A separate source-replacement command may select another installed packet; that is not a simultaneous incidence--deficit evolution. %===================================================================== \section{Declared finite incidence interface} \label{sec:interface} %===================================================================== \subsection{Prescribed carrier and installed data} For a deficit \(0<\mu<2\pi\), let the regular part of the spatial spinless cone have the supplied metric \begin{equation} \gamma_\mu=\dd r^2+a_\mu^2r^2\dd\vartheta^2, \qquad a_\mu=1-\frac{\mu}{2\pi}, \qquad \vartheta\in\R/(2\pi\mathbb Z). \label{eq:cone} \end{equation} The reference deficit is \[ \mu_*=\frac{\pi}{2}, \qquad a_{\mu_*}=\frac34. \] When a spacetime carrier is needed for a local kinematic comparison, we declare \begin{equation} q_\mu=-\dd U^2+\gamma_\mu. \label{eq:carrier} \end{equation} The singular apex is not included in differential calculations. Matching at a particle event is instead part of the finite certificate interface. Let \(\mathscr P_{\mathrm{inst}}\) be a finite set of installed packet codes. Each code \(p\) references complete supplied data, including a deficit \(\mu(p)\), seam convention, charts, worldline and rest data, labels, and matching conditions. The code is not itself the geometric tensor or affine word. Let \(\mathscr J\) be a finite incidence-code set with a declared reading table \begin{equation} \tau:\mathscr J\longrightarrow I_s\subset\R. \label{eq:reading} \end{equation} The parameter \(s\), the code \(j\), and its reading \(\tau(j)\) are distinct objects. Injectivity of \(\tau\) is not assumed unless specified for an application. Let \(\mathscr T\) be a finite source-token set. A token table is a declared map \begin{equation} \Lambda:\mathscr T\longrightarrow\mathscr P_{\mathrm{inst}}. \label{eq:token-table} \end{equation} This map implements a supplied token. It contains no procedure for obtaining the token from an unknown quantum state. \subsection{Matching checks} \begin{definition}[Declared matching interface] \label{def:matching} For each accessible input \(a\) in a declared finite set \(\mathscr A_{\mathrm{acc}}\), a proposed complete output has coordinates \(z\in\R^{m_a}\) in a fixed developed presentation. The affine part of its matching test is \begin{equation} A_a z=b_a, \label{eq:matching} \end{equation} where \(A_a,b_a\) are supplied finite matrices and vectors. Additional predicates specify seam, worldline, overlap, label, and guard compatibility. Acceptance means that all declared checks hold. A matching certificate is the proposed output together with the data establishing those checks. It is not a rule selecting the right-hand side \(b_a\) from an unknown matter state. \end{definition} The interface allows exact or algebraically represented real entries. Finite cardinality of codes does not imply a finite decimal representation of every geometric constant. \begin{lemma}[Matching uniqueness in a fixed presentation] \label{lem:matching} Suppose \(A_a\) has full column rank. Then at most one complete output is accepted for that input. If an installed output \(z_a\) satisfies all checks, it is the unique accepted output. Any candidate with a nonzero matching residual \(A_a z-b_a\), or with a failed additional predicate, is rejected. \end{lemma} \begin{proof} If \(z,z'\) both satisfy the affine equation, then \(A_a(z-z')=0\). Full column rank gives \(z=z'\). Additional predicates cannot create another solution of the affine equation. The rejection assertion is exactly the acceptance definition. \end{proof} \begin{remark}[Uniqueness is not existence or gauge identification] Full column rank must be checked in the chosen presentation. If redundant coordinates or gauge freedoms remain, the lemma does not assert uniqueness before those freedoms are fixed. It also does not produce an accepted output. The supplied VIII-A/B records report fixed-presentation matching uniqueness and rejected updates \cite{CheungVIIIA,CheungVIIIB}. The matrix interface above proves the corresponding elementary criterion, without asserting that an unprinted native matrix has been independently evaluated. \end{remark} \subsection{Guarded command grammar and finite histories} \begin{definition}[Finite incidence controller] \label{def:controller} Fix a finite command alphabet \(\mathscr L\), a horizon \(K\in\N\), and a finite controller state space \(\Omega_K\). A state records the installed packet code \(p\), incidence code \(j\), required permission data, a retained history of length at most \(K\), and an acceptance or rejection flag. Each command has a total deterministic update \[ u_\ell:\Omega_K\longrightarrow\Omega_K. \] For legal commands the following rules hold: \begin{enumerate}[label=\textup{(\roman*)}] \item \emph{Fixed-packet flow} updates only the declared flow and record data; it keeps \(p\) fixed. \item \emph{Guarded incidence} changes the incidence or event code only when its exact guard holds, and keeps \(p\) fixed. \item \emph{Source replacement} selects \(p'=\Lambda(t)\) from a supplied token \(t\), and is admitted only in its declared regular replacement region, not at an incidence command. \end{enumerate} Illegal commands return a declared rejection output rather than being deleted. At the history horizon, further commands use a declared overflow or stopping rule and do not create unbounded hidden memory. \end{definition} The horizon convention is necessary: retaining arbitrarily long uncompressed histories would not be a fixed finite register. \begin{proposition}[Finite composition and frozen incidence] \label{prop:composition} For Definition~\ref{def:controller}: \begin{enumerate}[label=\textup{(\roman*)}] \item every finite legal command word of length at most \(K\) has a unique controller output; \item during every incidence command, the packet and its deficit remain fixed; \item if every admitted command preserves complete matching acceptance, every legal prefix preserves acceptance; \item a supplied token replacement does not acquire a token. \end{enumerate} \end{proposition} \begin{proof} Compose the declared functions \(u_\ell\). This proves (i). The incidence rule gives (ii). Induction on word length proves (iii). The replacement function takes a token as an argument; no state-acquisition map occurs in its definition, proving (iv). \end{proof} Assertion (iii) is deliberately conditional on the displayed preservation property. This paper does not manufacture the native three-to-six certificate from an unspecified matrix or chart. The supplied VIII-A record describes one accepted event on the reference cone; VIII-B describes fixed-deficit packet instances; VIII-C describes their guarded composition \cite{CheungVIIIA,CheungVIIIB,CheungVIIIC}. Those documentary statements are not extra hypotheses hidden inside the proof. \subsection{Complete finite channel realization} A deterministic update on a classical register has the channel \begin{equation} \mathcal U_\ell(\rho) =\sum_{\omega\in\Omega_K} \bra{\omega}\rho\ket{\omega} \kb{u_\ell(\omega)}{u_\ell(\omega)}. \label{eq:classical-channel} \end{equation} Its Kraus operators are \[ K_\omega=\ket{u_\ell(\omega)}\bra{\omega}, \qquad \sum_\omega K_\omega^\dagger K_\omega=I. \] Thus it is completely positive and trace preserving. On diagonal states it is exactly the classical probability pushforward. Its action on coherent superpositions is a separately declared dephasing realization, not an automatically reversible implementation. If reversibility is required, the complete update must be a permutation on a declared enlarged finite space. An irreversible function is not renamed a permutation. When the geometric and source letters act as the identity on an internal matter factor \(M\), their realization is \[ \mathcal U_\ell\otimes\id_M. \] For a fixed external token this does not change the unconditioned matter marginal, even in the presence of reference correlations: trace preservation on the controller proves the statement. It is therefore not a construction of gravity-generated internal entanglement. This is a finite semantic realization only. No native Enter-program compilation, gate synthesis, or global live-qubit certificate is claimed. %===================================================================== \section{Records, residual source functionals, and token acquisition} \label{sec:records} %===================================================================== \subsection{The factorization criterion} \begin{lemma}[Fiber criterion] \label{lem:fibers} For maps \(\pi:D\to B\) and \(F:D\to V\), a map \(\overline F:\pi(D)\to V\) with \(F=\overline F\circ\pi\) exists if and only if \(F\) is constant on every fiber of \(\pi\). \end{lemma} \begin{proof} A composition with \(\pi\) is constant on fibers. Conversely, define \(\overline F(\pi(d))=F(d)\). Fiber constancy makes this independent of the representative. \end{proof} This is the elementary criterion used in XIX-A \cite{XIXA}; the proof is printed here so that no predecessor theorem is needed. \subsection{A destructive record is not its residual state} For finite factors \(S,B\), the declared computational-basis destructive readout is \begin{equation} \mathcal M_S(\rho) =\sum_z\kb{z}{z}_R\otimes (\bra{z}_S\otimes I_B)\rho(\ket{z}_S\otimes I_B). \label{eq:readout} \end{equation} The output factors are \(R,B\); the measured factor \(S\) is consumed. The record probabilities and unnormalized residuals are \[ p_z=\tr\bigl((\bra{z}_S\otimes I_B) \rho(\ket{z}_S\otimes I_B)\bigr), \qquad \rho_{B,z}^{\mathrm{un}} =(\bra{z}_S\otimes I_B)\rho(\ket{z}_S\otimes I_B). \] These finite record conventions agree with the operational interfaces discussed by Cheung \cite{CheungI,CheungEnter,CheungXVIIIA}. No uniqueness characterization of measurement is used here. \begin{proposition}[Equal records need not determine a residual source] \label{prop:residual} There are two states with identical complete classical record laws but different residual expectations of a fixed observable. Consequently, a residual source functional does not generally factor through the record law. \end{proposition} \begin{proof} Take two qubits and \[ \rho_0=\kb{0}{0}_S\otimes\kb{0}{0}_B, \qquad \rho_1=\kb{0}{0}_S\otimes\kb{1}{1}_B. \] In both cases the record is \(z=0\) with probability one. For \(Z_B=\kb{0}{0}-\kb{1}{1}\), the residual expectations are \(1\) and \(-1\). Apply Lemma~\ref{lem:fibers}. \end{proof} The proposition does not say that no restricted preparation class can make a residual functional record-determined. It excludes the unrestricted inference from equality of records alone. Inaccessible spectators and their correlations must not be silently discarded when the source functional depends on them. \subsection{Finite tokens are promises, not exact estimators} Let \(J=J^\dagger\) be a finite-dimensional source observable. Write \[ q_J(\rho)=\tr(J\rho). \] A token promise might specify a class \(D_{\mathrm{prom}}\), a code assignment \(t:D_{\mathrm{prom}}\to\mathscr T\), and a table satisfying a task condition on that class. Supplying \(t(\rho)\) and constructing an instrument that obtains it from an unknown \(\rho\) are different operations. \begin{proposition}[Two exact token-acquisition refusals] \label{prop:token} \begin{enumerate}[label=\textup{(\roman*)}] \item If \(q_J\) has infinitely many values on a preparation class, no finite token with a fixed decoder determines all those values exactly. \item Let \(\rho,\sigma\) be two positive definite states. No finite-copy measurement can deterministically return different exact labels for \(\rho\) and \(\sigma\). This applies to every fixed copy number and to finite adaptive instruments using at most that many copies. \end{enumerate} \end{proposition} \begin{proof} For (i), a decoder \(d:\mathscr T\to\R\) has finite image. It cannot equal \(q_J\) on a class with infinitely many expectation values. For (ii), for a fixed number \(n\), both \(\rho^{\otimes n}\) and \(\sigma^{\otimes n}\) are positive definite. If a nonzero positive effect \(E\) occurs, then \[ \tr(E\rho^{\otimes n})>0, \qquad \tr(E\sigma^{\otimes n})>0. \] Indeed \(\rho^{\otimes n}\ge aI\) for some \(a>0\), so the first trace is at least \(a\tr E>0\), and similarly for \(\sigma\). An outcome occurring with probability one for one state and zero for the other would contradict this property. A finite adaptive procedure with at most \(n\) copies is a POVM on the \(n\)-copy input: unused copies may be supplied and ignored. Its output-label effects therefore obey the same argument. \end{proof} The quantifier matters. Perfect discrimination of specially promised orthogonal states is not excluded. Approximate estimation with a stated preparation class, copy resources, residual ownership, and error allowance is not excluded either. It is simply a new instrument problem, absent from the token table. \begin{proposition}[A nonlinear expectation law is not an affine channel] \label{prop:affine} A proposed output probability \[ p(\rho)=\bigl(\tr(Z\rho)\bigr)^2 \] on all qubit states is not an outcome probability of a fixed single-input quantum instrument. \end{proposition} \begin{proof} Instrument probabilities are affine: \(p(\rho)=\tr(E\rho)\) for an effect \(E\). The proposed law equals \(1\) on both \(\kb{0}{0}\) and \(\kb{1}{1}\), but equals \(0\) on their equal mixture. An affine law would equal \(1\) on that mixture. \end{proof} This example does not evaluate VIII-B's particular nonlinear source law. It proves the reason a classical state-dependent packet-selection rule is not automatically a quantum channel. A supplied-token table is a channel on the token register; its composition with an unconstructed expectation oracle is not a constructed instrument. \paragraph{Finite-instrument ceiling.} Born certificates, destructive residual rays, record compatibility, and stability under a live-qubit budget belong to finite-instrument statements \cite{CheungI,CheungEnter}. They do not provide a continuum clock or a field-theoretic instrument. The source-token and record separations reported in VIII-A/B/C retain precisely this distinction \cite{CheungVIIIA,CheungVIIIB,CheungVIIIC}. %===================================================================== \section{Parameter, code, deformation rate, and lapse} \label{sec:clock} %===================================================================== \subsection{Normal speed of a prescribed graph} On a regular carrier patch, prescribe a graph family \[ \iota_s(x)=(F(s,x),x), \qquad \abs{\nabla_{\gamma_\mu}F}<1, \qquad \partial_sF>0. \] The parameter \(s\) is supplied externally. \begin{lemma}[Normal component and reparametrization] \label{lem:normal} The future unit normal and the normal deformation component are \begin{equation} n_s=\frac{\partial_U+\nabla_{\gamma_\mu}F} {\sqrt{1-\abs{\nabla_{\gamma_\mu}F}^2}}, \qquad L_s=-q_\mu(n_s,(\partial_sF)\partial_U) =\frac{\partial_sF} {\sqrt{1-\abs{\nabla_{\gamma_\mu}F}^2}}. \label{eq:normal} \end{equation} If \(r=f(s)\), \(f'>0\), describes the same unparametrized slices, then \begin{equation} L_r=\frac{L_s}{f'(s)}. \label{eq:retiming} \end{equation} \end{lemma} \begin{proof} For a graph tangent \(w+\dd_xF(w)\partial_U\), its pairing with \(\partial_U+\nabla F\) vanishes. The squared norm of that vector is \(-1+\abs{\nabla F}^2\). Normalization gives \(n_s\), and contraction gives \(L_s\). The chain rule gives \(\partial_rF=\partial_sF/f'(s)\), proving the final formula. \end{proof} Graph ordering and matching are unchanged under \(r=2s\), but the deformation component is halved. A rate is therefore not determined by ordering alone. Likewise, for a declared edge-length report \(\ell(s)\), \[ \frac{\dd\ell}{\dd r} =\frac1{f'(s)}\frac{\dd\ell}{\dd s}. \] This is a derivative of a prescribed report. It is not a relative Lorentz boost: no pair of frames, relative four-velocity, or boost action is specified by that derivative. \subsection{The matter-defined clock requires additional data} For a Lorentzian metric \(q\) and a scalar \(T\) with timelike nonzero gradient, the raw clock lapse is \begin{equation} N[q,T]= \bigl(-q^{-1}(\dd T,\dd T)\bigr)^{-1/2}. \label{eq:lapse} \end{equation} A relational lapse additionally requires a specified relational map \(\alpha_{q,T}\), including spatial rods and clock calibration: \[ \NN[q,T]=N[q,T]\circ\alpha_{q,T}. \] This is the classical type of object compared in Em02-E \cite{CheungEm02E}. Its quantum gauge identity is not used. \begin{proposition}[The finite incidence data do not determine a matter lapse] \label{prop:lapse} The parameter, finite code, normal deformation component, and matter-defined relational lapse are not one functional. In particular, retaining the same carrier, graph family, matching data, register, and update does not determine \(\NN\). \end{proposition} \begin{proof} Keep all incidence data fixed and add, on a regular flat patch, the scalar clocks \[ T_c=cU,\qquad c>0. \] Equation~\eqref{eq:lapse} gives \(N[q_\mu,T_c]=1/c\). With the matching homogeneous reference clock and identity spatial rods on that patch, the relational map is the identity, so \(\NN=1/c\). The finite incidence data and \(L_s\) are unchanged as \(c\) varies. Lemma~\ref{lem:fibers} excludes determination of this additional matter lapse by those data. The parameter is an argument of \(F\); the code is an element of a finite set; \(L_s\) is a derivative-dependent field; \(\NN\) depends on a metric, clock gradient, calibration, and rods. Their declared domains and dependencies are distinct. \end{proof} \begin{remark}[An added scalar can reproduce the normal component] When \(\partial_sF>0\), define \(S_F\) locally by \(U=F(S_F(U,x),x)\). Implicit differentiation gives \[ \dd S_F=\frac{\dd U-\dd_xF}{\partial_sF}, \qquad N[q_\mu,S_F]=L_s. \] Thus numerical or functional equality is possible after the schedule-defined scalar is explicitly added. This does not identify \(S_F\) with an inflaton, supply its rods, or derive \(F\) from matter dynamics. It prevents an overstrong claim that kinematic and scalar lapses can never coincide. \end{remark} The prescribed density ramp of XIX-A remains its named non-clock. No inflaton clock is called a non-clock here \cite{XIXA}. %===================================================================== \section{The complete finite-register support ceiling} \label{sec:support} %===================================================================== \subsection{Finite channels and regional algebras} Let \(X\) be a finite site set with finite-dimensional Hilbert spaces \(\mathcal H_x\). Controller, token, permission, and record registers must be included among these sites or among the explicitly named ports of a more general network. Set \[ \mathcal H_X=\bigotimes_{x\in X}\mathcal H_x, \qquad \Alg(A)= \mathcal B\!\left(\bigotimes_{x\in A}\mathcal H_x\right) \otimes I_{X\setminus A}. \] All channels are complete and trace preserving. Measurements retain every outcome, including rejection and failure branches. For a channel \(\Chan\), its adjoint is defined by \[ \tr(\Chan(\rho)B)=\tr(\rho\,\Chan^*(B)). \] Trace preservation is equivalent to \(\Chan^*(I)=I\). The following finite comparison is the ceiling associated with the snapshot--channel--adjoint interface of En05-A \cite{CheungEn05A}. We give its complete tensor-factor proof. \begin{proposition}[Exact snapshot--channel--adjoint comparison] \label{prop:comparison} Let \(\Chan_Y\) be a channel from the full input \(X\) to an output factor \(Y\), and let \(A\subseteq X\). The following are equivalent: \begin{enumerate}[label=\textup{(\roman*)}] \item Whenever \(\tr_{X\setminus A}\rho =\tr_{X\setminus A}\sigma\), one has \(\Chan_Y(\rho)=\Chan_Y(\sigma)\). \item There is a unique channel \(\Psi_A\) such that \[ \Chan_Y=\Psi_A\circ\tr_{X\setminus A}. \] \item \[ \Chan_Y^*(\mathcal B(\mathcal H_Y))\subseteq\Alg(A). \] \end{enumerate} The factorization is stable under tensoring with an untouched finite-dimensional reference. \end{proposition} \begin{proof} Assume (i), and fix a state \(\omega\) on \(X\setminus A\). Define \[ \Psi_A(a)=\Chan_Y(a\otimes\omega). \] It is a channel. By (i), for every state \(\rho\), \[ \Chan_Y(\rho) =\Chan_Y\bigl((\tr_{X\setminus A}\rho)\otimes\omega\bigr) =\Psi_A(\tr_{X\setminus A}\rho). \] Density matrices linearly span the full matrix algebra: a Hermitian matrix is a difference of positive matrices, and each nonzero positive matrix is a scalar multiple of a density matrix. Extending first over Hermitian and then over complex matrices proves (ii). Uniqueness follows because partial trace is onto, using \(a\mapsto a\otimes\omega\). Taking adjoints in (ii) gives \[ \Chan_Y^*(B)=\Psi_A^*(B)\otimes I_{X\setminus A}, \] which proves (iii). Conversely, (iii) makes all output expectations depend only on the reduction to \(A\); states are separated by matrix observables, giving (i). The equality of linear maps in (ii) can be tensored with \(\id_Q\) for any reference \(Q\). Its input snapshot is then the joint \(AQ\) reduction, not merely the separate marginals. \end{proof} \begin{remark}[All states and complete outputs are essential] The proposition quantifies over all input states. Testing only a promise class can leave undetected directions. Also, equality of two separate input marginals on \(A\) and \(Q\) does not imply equality of their joint \(AQ\) state. A selectively normalized measurement branch is not generally a channel. It is not covered by the unital-adjoint proof. \end{remark} \subsection{Scheduled ancestry} At tick \(k\), let \(\mathscr B_k\) be a partition of \(X\) and let \[ \Phi_k=\bigotimes_{B\in\mathscr B_k}\Phi_{k,B} \] be a product of block channels. For an output set \(Y\) at tick \(t\), define \begin{align} N_{t,t}(Y)&=Y,\nonumber\\ N_{s,t}(Y)&= \bigcup\{B\in\mathscr B_{s+1}: B\cap N_{s+1,t}(Y)\ne\varnothing\}, \qquad s0\), the scalar envelope rate is \(\Delta/\delta\). Neither \(d\) nor \(\delta\) is derived by this proof. Use the conventions \[ \dtrace(\rho,\sigma)=\frac12\norm{\rho-\sigma}_1, \qquad \ddiam(\widetilde\Chan,\Chan) =\frac12\norm{\widetilde\Chan-\Chan}_\diamond. \] These standard complete-channel norms include arbitrary reference systems \cite{Watrous}. \begin{proposition}[Reference-stable approximate no-signalling] \label{prop:approx} Suppose \(\ddiam(\widetilde\Chan,\Chan)\le e\), where \(\Chan\) obeys the scheduled support bound. For two states with equal ancestor reductions, the actual output reductions differ in trace distance by at most \[ \min\{1,2e\}. \] The same bound holds with an untouched reference when the joint ancestor--reference reductions agree. \end{proposition} \begin{proof} The ideal outputs agree. Insert this common output between the two actual outputs. Each actual--ideal discrepancy is at most \(e\), so the triangle inequality gives \(2e\). Trace distance between states is at most one. The diamond norm supplies the referenced version. \end{proof} Simulation accuracy, exact physical containment, and complete no-signalling are therefore separate statements. A small diamond error need not imply that every actual gate is physically embedded in a proposed causal relation. %===================================================================== \section{Why finite certification does not select a continuum evolution} \label{sec:continuum} %===================================================================== \subsection{A named target, not an unnamed limit} \begin{definition}[A minimal operational evolution limit] \label{def:limit} For a declared finite observable or payload interface, an operational evolution limit consists of: \begin{enumerate}[label=\textup{(\roman*)}] \item a sequence of finite realizations indexed by \(n\), with tick durations \(\delta_n\downarrow0\); \item channels \(\Chan_n(t)\), encoders \(\mathcal E_n\), and decoders \(\mathcal D_n\) on common comparison interfaces; \item a limiting family \(\mathcal T_t\) satisfying \(\mathcal T_0=\id\), a stated composition law, and a stated continuity condition; \item a convergence theorem in a declared topology, for example \begin{equation} \sup_{0\le t\le T} \ddiam\bigl(\mathcal D_n\Chan_n(t)\mathcal E_n, \mathcal T_t\bigr)\longrightarrow0 \label{eq:limit} \end{equation} for each finite \(T\). \end{enumerate} A spatial continuum theory additionally requires spatial realizations, local access maps, and their compatibility. \end{definition} A single finite update supplies none of the sequence, comparison maps, scaling, or convergence theorem merely by iteration. Iteration is a discrete evolution. It is not the same object as Definition~\ref{def:limit}. \subsection{An explicit pair of incompatible limits} The next construction proves non-determination even with stronger finite data than a classical reading table. \begin{proposition}[One finite channel, two different evolution limits] \label{prop:two-limits} Fix \(00\), on input \(\kb{1}{1}\), \[ \mathcal T_t^a(\kb{1}{1}) =e^{-at}\kb{1}{1}+(1-e^{-at})\kb{0}{0}. \] The two outputs have trace distance \(\abs{e^{-\alpha t}-e^{-\beta t}}>0\). Thus their limiting evolutions differ despite the common finite member and identical locality ceiling. \end{proof} \begin{remark}[Exact extent of the counterexample] The two refinement families are deliberately different choices of missing refinement data. They do not satisfy an unasserted projective-consistency condition with the coarse tick. Such consistency would be an additional hypothesis, not a consequence of having one finite channel. The example neither constructs the continuum limit of VIII nor excludes all such limits. It disproves a general inference that a finite channel and a support certificate determine a limiting evolution. \end{remark} \subsection{A finite parameter table does not determine an interpolation} \begin{proposition}[Smooth interpolation non-determination] \label{prop:interpolation} Suppose a finite code table specifies distinct readings \(s_1,\ldots,s_m\) and the values \(F(s_i,x)\) of a smooth uniformly spacelike graph family on a compact regular spatial patch. Those samples need not determine its intermediate normal deformation component. \end{proposition} \begin{proof} Choose \(s_c\) different from all sample readings, a smooth time bump \(b\) supported in an unsampled interval with \(b(s_c)=0\) and \(b'(s_c)\ne0\), and a nonzero smooth spatial bump \(h\). Put \[ F_\epsilon(s,x)=F(s,x)+\epsilon b(s)h(x). \] All sampled graphs are unchanged. By compactness and uniform spacelikeness, sufficiently small \(\epsilon\) preserves spacelikeness. If ordering is required and \(\partial_sF\) has a positive lower bound on the perturbation support, small \(\epsilon\) preserves it as well. At \(s_c\), the spatial graph gradient is unchanged, but \[ \partial_sF_\epsilon(s_c,x) =\partial_sF(s_c,x)+\epsilon b'(s_c)h(x). \] Equation~\eqref{eq:normal} therefore gives different normal components wherever \(h\ne0\). \end{proof} A fully prescribed analytic family avoids this particular interpolation ambiguity by adding the family itself. It still does not derive that family from matter dynamics or supply a scaling limit. \subsection{Finite data do not determine a continuum kernel} \begin{lemma}[Finite linear tests leave smooth kernel ambiguity] \label{lem:kernel} Let \(W\) be a nonempty open set, and let \(\ell_1,\ldots,\ell_m\) be linear functionals on \(C_c^\infty(W)\). There is a nonzero smooth compact function \(k\) with \(\ell_i(k)=0\) for all \(i\). Thus finitely many linear kernel evaluations do not determine an unrestricted compact smooth kernel. \end{lemma} \begin{proof} Choose \(m+1\) nonzero smooth functions with pairwise disjoint compact supports in \(W\). They are linearly independent. The map from their span to \(\C^m\) given by the \(\ell_i\) has a nonzero kernel. Any nonzero element of that kernel is the required \(k\). \end{proof} The same argument applies componentwise to a three-slot tensor kernel on an open configuration product. It is a finite-data comparison, not a construction of the characteristic kernel in the separate gravitational programme. The pure-trace non-determination comparison in XVIII-A has its own stronger and differently specified test family \cite{CheungXVIIIA}. No token is identified with that kernel. %===================================================================== \section{The missing continuum and physical interfaces} \label{sec:missing} %===================================================================== \subsection{A local checklist, not an authentication of C1--C7} The following are the missing interfaces for a proposed incidence continuum successor. They are named here as \(L1\)--\(L7\). They are \emph{not} a reconstruction of En05-A's unavailable complete C1--C7 hypothesis list. \begin{description}[style=nextline,leftmargin=2.5em] \item[L1: Refinement and calibration.] Specify the finite realizations, growing code and site spaces, spatial scales, tick durations, and the relation of every finite reading to a common continuum parameter. \item[L2: Common realization and mixed germs.] If deficit replacement and incidence are to occur in one limit, supply a common realization, seam conventions, one-sided germs, complete overlap words, worldline and label transports, and admissibility through the mixed stratum. \item[L3: Complete acquisition interface.] Specify any instrument that obtains source information: its preparation class, quantum and classical output algebras, residual ownership, sample and memory resources, error topology, and robust response of the geometric controller. \item[L4: Matched local operations.] Provide encoders, decoders, and comparison maps for the same complete experiments and interventions at every refinement. Separate convergence of selected outcome laws is not enough. \item[L5: Evolution and observable convergence.] Supply a limiting evolution or propagator, its domains, composition and continuity, convergence topology, controlled remainders, and the continuum observable comparison. For an algebraic target, control products, not only channel compositions. \item[L6: Physical causal realization.] Supply event locations and causal certification for the complete timed network. Prove the required directional and finite-time containment or its stated controlled approximation. \item[L7: Dynamics and frame covariance.] A dynamical cone requires a matter--geometry law, equations, initial data, constraints, and consistency under packet change. An invariant physical speed additionally requires physical frame transformations and a covariance theorem for the same observables and operational interfaces. \end{description} These are completion requirements for different targets. Not every abstract channel limit requires a spacetime metric or frame covariance. Those requirements arise only when the proposed conclusion includes physical causality, invariant speed, or dynamical geometry. \subsection{A relay rate is not an invariant physical speed} The finite scalar envelope \(\Delta/\delta\) changes when the external tick duration changes. Lemma~\ref{lem:normal} gives the corresponding dependence of a normal deformation component on incidence parametrization. A physical frame-invariance statement is different from either rescaling. It requires a declared action between frames and a proof that the same physical propagation bound is preserved. Neither a successful finite relay nor the choice of units proves that statement. As an elementary directional negative control, nearest-neighbor cardinal moves in \(\mathbb Z^2\) after \(n\) ticks reach exactly the lattice points with \[ \abs{x_1}+\abs{x_2}\le n \] and appropriate parity if waiting is forbidden. After division by \(n\), the limiting envelope is the \(\ell^1\) unit ball, not the Euclidean disk. The maximum displacement in direction \((1,0)\) differs from that in the Euclidean unit direction \((1,1)/\sqrt2\). Thus a scalar radius bound alone does not establish isotropy. Periodic-graph velocity polytopes provide broader context \cite{Fritz,FritzCorrigendum}. We do not transfer a periodic-graph obstruction to the conical incidence package or to refinement families with changing directional sets. \subsection{Regulator removal is a separate operation} The finite interface contains no declared regulated quantum family \(O_\epsilon\), state, topology, or removal theorem. Increasing a history horizon, refining a register, and removing a field regulator are not identical limits. Even bounded numerical families need not converge: \(a_n=(-1)^n\) is bounded and has no limit. Thus finite boundedness or acceptance, by itself, is not a regulator-removal argument. The relevant family and topology must first be defined. %===================================================================== \section{Main separation theorem and exact release} \label{sec:main} %===================================================================== \begin{theorem}[Finite incidence does not determine continuum evolution] \label{thm:main} Retain the finite incidence interface of Section~\ref{sec:interface}, its full-column-rank matching checks on the accessible inputs to which uniqueness is applied, its complete acceptance predicates, finite token table, exact guards, and frozen-packet incidence rule. Then: \begin{enumerate}[label=\textup{(\roman*)}] \item The declared controller has a unique output for every command word, including its rejection convention. Accepted matching outputs are unique within the fixed presentation. Matching acceptance does not select a matter source law. \item A classical record does not generally determine a residual source functional. A supplied finite token does not constitute an exact expectation-acquisition instrument on an unrestricted preparation class. \item The incidence parameter, finite reading code, normal deformation component, and matter-defined relational lapse are not interchangeable prescriptions. Incidence keeps its installed packet fixed; source replacement is a separate operation. \item For every complete finite channel realization with all control and guard inputs represented in its dependency graph, scheduled ancestors bound Heisenberg support and operational influence. Snapshot determinacy, channel factorization, and adjoint support containment are equivalent on the declared full-state tensor interface. Physical containment requires a separately certified causal embedding. \item Those finite data and finite support certificates do not determine a continuum evolution or an invariant physical speed. In particular, a common finite channel can have different refinement limits, as in Proposition~\ref{prop:two-limits}; finite graph samples can have different intermediate rates, as in Proposition~\ref{prop:interpolation}. \end{enumerate} The theorem is a finite-interface and non-determination result. It is not a universal obstruction to a continuum realization supplied with additional hypotheses. \end{theorem} \begin{proof} Lemma~\ref{lem:matching} and Proposition~\ref{prop:composition} prove (i). The affine equation takes its right-hand side as declared input; it does not define its matter dependence. Propositions~\ref{prop:residual}, \ref{prop:token}, and \ref{prop:affine} prove the stated record and acquisition separations in (ii). Lemma~\ref{lem:normal}, Proposition~\ref{prop:lapse}, and the command grammar prove (iii). The explicit schedule-defined scalar in Section~\ref{sec:clock} explains why the assertion is non-interchangeability, not exclusion of every special equality. Proposition~\ref{prop:comparison}, Lemma~\ref{lem:onelayer}, and Propositions~\ref{prop:schedule}, \ref{prop:physical}, and \ref{prop:approx} prove (iv), with their exact hypotheses. For (v), Proposition~\ref{prop:two-limits} gives two complete local refinement families with one common finite channel and different limits. Proposition~\ref{prop:interpolation} gives different rates at identical finite samples. Equation~\eqref{eq:retiming} and the externally calibrated metric envelope give further rate dependence. None includes a physical frame action or matter--geometry equation. These explicit failures of determination establish the claimed separations without assuming a predecessor obstruction. \end{proof} \paragraph{Release boundary.} The objects constructed or analyzed in this paper are finite interfaces, complete finite channels, separation witnesses, and illustrative channel limits unrelated to the native incidence geometry. No continuum realization of the VIII incidence package is constructed. No regulator removal, invariant physical speed, matter-driven cone evolution, Einstein dynamics, field-theoretic instrument, or gravitational quantum coefficient is released. \begin{center} \small \begin{tabularx}{\linewidth}{@{}p{.33\linewidth}p{.18\linewidth}Y@{}} \toprule Question & Ending here & Exact scope\\ \midrule Finite register and guarded update & Defined & Installed packets, finite histories, tokens, and rejection outputs\\[3pt] Matching uniqueness & Proved & Full-column-rank criterion in a fixed presentation\\[3pt] Native three-to-six certificate & Documentary & Not independently reconstructed from unsupplied geometric data\\[3pt] Record--residual separation & Proved & Explicit equal-record witness\\[3pt] Token versus acquisition & Proved & Finite decoder and fixed finite-copy exact-acquisition refusals\\[3pt] Frozen packet during incidence & Proved & Declared command grammar; replacement remains separate\\[3pt] Scheduled support ceiling & Proved & Complete finite channels with all actual predecessors included\\[3pt] Physical causal containment & Conditional & Requires a certified location and causal relation\\[3pt] Continuum non-determination & Proved & Two explicit refinements of one finite channel have different limits\\[3pt] Native incidence continuum limit & Not constructed & Refinement, common realization, and convergence still absent here\\[3pt] Invariant speed and dynamical cone & Not derived & Calibration, frame action, and source dynamics are additional\\[3pt] Quantum admission and compilation & Not performed & No gravitational quantum coefficient or executed implementation\\ \bottomrule \end{tabularx} \end{center} \[ \boxed{\text{Declared path: null.}} \] This is a relationship convention: VIII, VII-J, and En05-A are not made theorem premises of one another by this manuscript. It does not mean that a mathematical function is identically zero. %===================================================================== \section{Documentary comparisons and unchanged obligations} \label{sec:documentary} %===================================================================== \subsection{Finite constructions and their nontransfer boundaries} The following table records the supplied scopes, not independent verification of every predecessor proof. \begin{longtable}{@{}p{.22\linewidth}p{.72\linewidth}@{}} \toprule Record & Comparison and refusal\\ \midrule \endfirsthead \toprule Record & Comparison and refusal\\ \midrule \endhead \bottomrule \endfoot VIII-A, v3 & The supplied record describes a finite affine matching interface, a residual--record split, and one accepted three-to-six certificate at deficit \(\pi/2\). Admissibility is not a sourced dynamical law \cite{CheungVIIIA}.\\[4pt] VIII-B, v3 & The supplied record describes a deterministic packet constructor on a compact deficit interval, matching uniqueness, rejected updates, and a finite promised-token table. The table does not acquire the expectation or construct the mixed incidence--deficit germ \cite{CheungVIIIB}.\\[4pt] VIII-C, v3 & The supplied record composes fixed-packet flow, guarded incidence, and regular source replacement. Complete output certificates retain packet data. Its computational support bound is not an independently supplied physical causal past \cite{CheungVIIIC}.\\[4pt] VII-J & Timed dependency, actual intervention-based influence, and physical causality are distinct. Its fixed-cone communication and buffered two-qubit transport statements do not evolve the cone or derive Lorentz invariance \cite{CheungVIIJ}.\\[4pt] En05-A & Snapshot, channel, and adjoint-support comparisons are finite operational statements. Its full continuum and frame-covariance package requires additional hypotheses. No incidence realization satisfying that package is supplied here \cite{CheungEn05A}.\\[4pt] Landmark I, v2 & Finite destructive readout returns records and residual outputs under a stated structural class. Budget-stable finite-instrument claims are not a continuum clock, an independence theorem, or a field-theoretic instrument \cite{CheungI,CheungEnter}.\\[4pt] En05-B & Its supplied isotropic operational-limit construction concerns its own growing directional family and matched experiment class. It is not imported as the continuum limit of VIII, and its chosen speed is not derived from the incidence register \cite{CheungEn05B}.\\[4pt] En05-C & Its tensor-free snapshot--channel--adjoint comparison and its named observable and refinement limits retain their algebraic domains. They do not reconstruct a physical metric or supply the missing incidence realization \cite{CheungEn05C}.\\[4pt] En06-A & Its corrected layer account and conditional operational/algebraic interfaces do not derive invariant speed. Commuting superoperators are not a substitute for the required observable-product hypotheses \cite{CheungEn06A}.\\[4pt] En06-B & Its finite transport and refinement construction uses its own routes, capacity convention, and prescribed speed. It does not derive that speed or supply an autonomous matter-driven substrate \cite{CheungEn06B}.\\[4pt] XVIII-A & A selected witness is not the full compact kernel, and readout is not quantum return. No finite table is identified with its three-slot continuum kernel \cite{CheungXVIIIA}.\\[4pt] XIX-A and XIX-B & Clock separation and a direct coordinate mismatch are distinct from the finite-register question. XIX-B's source, response sign, and forcing residual are not inputs here \cite{XIXA,XIXB}.\\ \end{longtable} \subsection{Debugged scope of the analytic programme} The supplied XIV-H, XIV-I, and XIV-J records describe different gate-specific accomplishments and stops: an H2 amplitude gap in XIV-H, an internal I2 amplitude construction with an I3 joint-map gap in XIV-I, and a supported-sector reference with the full map unresolved at J2 in XIV-J \cite{CheungXIVH,CheungXIVI,CheungXIVJ}. Their historical or sheet-specific gate labels are not assertions that later partial constructions never occurred. Conversely, advancing an internal amplitude gate does not supply the full joint characteristic map. This paper neither reaudits nor advances that analytic chain. XV-B, version 2, exists as a technical manuscript of descent, relative lifting, and extension interfaces \cite{CheungXVB}. Saying that the inherited downstream quantum-admission exit remains closed does not deny the existence of that manuscript. It means that the separate complete coefficient and its required admission have not been supplied by the present finite-register analysis. Em02-E's later quantum audit still requires a gauge-fixed covariance, a state or suitable parametrix, an admissible counterterm class, controlled remainders, and a retained-order quantum gauge identity \cite{CheungEm02E}. Those are not consequences of matching or of the finite-channel adjoint calculation. \subsection{Catalogue and Ward comparisons} The supplied Family 271 record is documentary. Its reported Lean scope names 271-04 only, and VI is not 271-04 \cite{Catalogue271}. No catalogue attribution, proof correctness, or Lean execution is authenticated by this manuscript. Oai282-B and Oai069-A retain their own local Ward, finite-defect, and local-system comparison domains \cite{CheungOai282B,CheungOai069A}. They are not a gravitational dictionary, a matter clock, or a conical evolution law. In particular, a categorical equivalence on a fixed curve is not a channel on the incidence register merely because both use finite labels. \subsection{Standing boundary} The following remain outside this release: \[ \begin{gathered} \text{quantum evolution without an external time: not constructed},\\ \text{VI quantum certificate: RG-open},\\ \text{Em02-E quantum gauge identity: not verified here},\\ \sid{O.1 = NOT_CLOSED} \quad\text{outside its separately scoped record},\\ \text{XVI-N and Route B: not discharged},\\ \text{XV-B downstream quantum-admission exit: not opened}. \end{gathered} \] The source-status comparisons are supported by the supplied records \cite{CheungVI,CheungEm02E,CheungXVIN,CheungXVB, CheungXIVJ,CheungVIIIC}. They are scope boundaries, not new universal nonexistence theorems. No quantum Ward defect is calculated from an absent coefficient. No physical invariant speed, Einstein equation, continuum field algebra, or emergent metric is inferred from a finite support set. Stage D's quantum-certificate problem is untouched. %===================================================================== \section{Conclusion} \label{sec:conclusion} %===================================================================== The finite incidence construction has an exact and useful interface: a prescribed parameter, installed codes and packets, accessible-input matching, residual--record separation, supplied source tokens, and guarded commands. During incidence the selected packet remains fixed. A source replacement is another command, not a derived backreaction equation. Its complete finite channel realizations have a rigorous ceiling: scheduled ancestors bound Heisenberg support and actual influence. Equal ancestor snapshots determine complete output laws, including their reference extensions. A physical causal interpretation needs an independent embedding; a continuum interpretation needs a refinement and convergence theorem. The decisive negative result is not merely the absence of a theorem name. Explicit constructions show that the missing data matter: the same finite channel can lead to different continuous-time limits, the same finite graph samples can have different intermediate rates, and the same classical record can leave different residual sources. \[ \boxed{ \begin{gathered} \text{finite matching and update}\ne \text{expectation acquisition},\\ \text{scheduled support}\ne \text{physical causal relation},\\ \text{finite register certificate}\ne \text{continuum evolution theorem},\\ \text{declared path: null}. \end{gathered}} \] Here \(\ne\) means non-identification of the declared objects, not a prohibition on every future connecting map. The next continuum paper must supply the missing limit and its hypotheses. This paper names that obligation and stops. %===================================================================== \section*{Declarations} \addcontentsline{toc}{section}{Declarations} %===================================================================== \paragraph{Mathematical scope.} The proofs concern explicit finite interfaces, complete finite-dimensional channels, prescribed local kinematics, and non-determination witnesses. The illustrative reset-channel limits do not constitute the native incidence continuum limit. \paragraph{Source scope.} Unpublished manuscripts are cited by supplied version and filename. Their descriptive titles are not expanded where a verified full title was not supplied. Native geometric certificates and unprinted predecessor proofs are not theorem premises. \paragraph{Verification and static debugging.} The source uses standard pdfLaTeX packages, an internal bibliography, and no external figures or input files. Its notation, theorem references, and finite/continuum quantifiers have been organized to avoid the identified interface confusions. No successful pdfLaTeX execution, proof-assistant verification, independent symbolic or numerical execution, referee approval, or journal acceptance is asserted. \paragraph{Implementation.} Equation~\eqref{eq:classical-channel} is a finite semantic channel definition, not an executed program or a verified native Enter-calculus compilation. Hardware realization, qubit occupancy, gate synthesis, and implementation error require separate certificates. \paragraph{Authorship.} The manuscript is anonymous. Citation of N.~Cheung does not establish authorship of this manuscript. A signed submission must supply the responsible author's authorized metadata. \paragraph{Availability.} A signed submission should provide stable copies or archival locations for the cited unpublished versions. The mathematical proofs here do not require their unprinted arguments. %===================================================================== \begin{thebibliography}{99} \addcontentsline{toc}{section}{References} %===================================================================== \bibitem{CheungVIIIA} N.~Cheung, \emph{Landmark VIII-A}, version 3, supplied unpublished manuscript, \sid{VIII-A-v3.tex}, n.d. Enter Calculus Companion. Comparison locators: finite affine matching, \sid{thm:residual}, and ``Admissibility is not sourced dynamics.'' Documentary comparison; the native geometric certificate is not independently reconstructed here. \bibitem{CheungVIIIB} N.~Cheung, \emph{Landmark VIII-B}, version 3, supplied unpublished manuscript, \sid{VIII-B-v3.tex}, n.d. Enter Calculus Companion. Comparison locators: \sid{prop:matching-unique}, \sid{prop:rejections}, \sid{prop:affine}, \sid{prop:obstruction}, and ``Separate successors.'' \bibitem{CheungVIIIC} N.~Cheung, \emph{Landmark VIII-C}, version 3, supplied unpublished manuscript, \sid{VIII-C-v3.tex}, n.d. Enter Calculus Companion. Comparison locators: \sid{prop:complete-output}, \sid{prop:token-obstruction}, \sid{thm:C5}, and ``Conclusion and the four missing interfaces.'' \bibitem{CheungVIIJ} N.~Cheung, \emph{Landmark VII-J}, version 1, supplied unpublished manuscript, \sid{VII-J.tex}, n.d. Enter Calculus Companion. Timed dependency graphs, intervention-based influence, physical containment, reference-stable simulation allowances, and the fixed-cone buffered transport comparison. \bibitem{CheungVIIF} N.~Cheung, \emph{Landmark VII-F}, version 1, supplied unpublished manuscript, \sid{VII-F.tex}, n.d. Enter Calculus Companion. Comparison locator: \sid{thm:event}. The native three-to-six geometric event is not reconstructed from the finite interface in this manuscript. \bibitem{CheungEn05A} N.~Cheung, \emph{En05-A}, version 1, supplied unpublished manuscript, \sid{En05-A.tex}, n.d. Enter Calculus Companion. Finite snapshot--channel--adjoint comparison, schedule-past envelopes, and conditional continuum and frame-covariance interfaces. \bibitem{CheungI} N.~Cheung, \emph{Landmark I}, version 2, supplied unpublished manuscript, \sid{I.tex}, n.d. Enter Calculus Companion. Finite measurement characterization, records, destructive residual outputs, and bounded-resource scope. \bibitem{CheungEnter} N.~Cheung, ``The Enter Calculus: A Linear Quantum Lambda Calculus with an Operational Characterization of Measurement,'' \emph{Frontiers in Physics} \textbf{14} (2026), article 1954943. DOI: \sid{10.3389/fphy.2026.1954943}. Publisher accepted-article record, accepted 28 September 2026. Finite operational context only; no continuum or gravitational construction is imported. \bibitem{CheungEn05B} N.~Cheung, \emph{En05-B}, version 1, supplied unpublished manuscript, \sid{En05-B.tex}, n.d. Enter Calculus Companion. Isotropic matched operational-limit construction on its own growing directional and finite-experiment family. Not the continuum realization of the incidence package. \bibitem{CheungEn05C} N.~Cheung, \emph{En05-C}, version 1, supplied unpublished manuscript, \sid{En05-C.tex}, n.d. Enter Calculus Companion. Comparison locator: \sid{thm:release}. Tensor-free snapshot--channel--adjoint comparison, observable and refinement limits, and conditional spacetime realization. \bibitem{CheungEn06A} N.~Cheung, \emph{En06-A}, version 1, supplied unpublished manuscript, \sid{En06-A.tex}, n.d. Enter Calculus Companion. Corrected layer account and separately stated operational, observable-algebra, and frame-covariance interfaces. \bibitem{CheungEn06B} N.~Cheung, \emph{En06-B}, version 1, supplied unpublished manuscript, \sid{En06-B.tex}, n.d. Enter Calculus Companion. Comparison locator: \sid{thm:release}. Finite-capacity transport and refinement on prescribed routes and speed; no derived speed or autonomous substrate is imported. \bibitem{CheungXVIIIA} N.~Cheung, \emph{Landmark XVIII-A: Prepared Relational Observables: Non-Determination, Normalization Compatibility, and Conditional Ultraviolet Matching}, version 2, supplied unpublished manuscript, \sid{XVIII-A-v2.tex}, n.d. Enter Calculus Companion. Comparison locators: \sid{thm:witness}, \sid{cor:smoothwitness}, and \sid{eq:readout}. Witness, full kernel, record, and quantum-return interfaces remain distinct. \bibitem{XIXA} \emph{XIX-A: Clock Separation Before Coordinate Identification: Four Labelled Objects and Five Non-Identifications}, anonymous draft supplied in the present manuscript exchange, \sid{XIX-A.tex}, n.d. Comparison locators: \sid{lem:factor}, \sid{prop:retiming}, and \sid{prop:foliation-clock}. No authorship or independent verification is inferred. \bibitem{XIXB} \emph{XIX-B: A Witness Mismatch Between Two Coordinate Cauchy Prescriptions: Unswitched Harmonic Coordinates and Prepared Coordinate Completion}, anonymous draft supplied in the present manuscript exchange, \sid{XIX-B.tex}, n.d. Its direct first-order coordinate mismatch is a separate result, not a premise of the present finite-register theorem. \bibitem{CheungEm02E} N.~Cheung, \emph{Em02-E}, version 1, supplied unpublished manuscript, \sid{Em02-E-v1.tex}, n.d. Enter Calculus Companion. Original scalar-clock rods, classical relational lapse, \sid{thm:lapse}, and the incomplete quantum audit. No quantum identity or regulator-removal theorem is imported. \bibitem{CheungVI} N.~Cheung, \emph{Relational Einstein--scalar observables at second order: classical descent and a compact-switch obstruction}, Landmark VI, version 1, supplied unpublished manuscript, \sid{VI.tex}, n.d. Enter Calculus Companion. Classical descent and the separately RG-open quantum finite-renormalization certificate. \bibitem{CheungXIVH} N.~Cheung, \emph{Landmark XIV-H: Internal kernel relations on the operator route}, version 1, supplied unpublished manuscript, \sid{XIV-H.tex}, n.d. Comparison locators: \sid{thm:H2} and \sid{thm:release}. Historical internal-amplitude stop, not a finite-register premise. \bibitem{CheungXIVI} N.~Cheung, \emph{Landmark XIV-I}, version 1, supplied unpublished manuscript, \sid{XIV-I.tex}, n.d. Enter Calculus Companion. Comparison locators: \sid{thm:I2}, \sid{thm:I3}, and \sid{thm:release}. Internal amplitudes and the missing complete joint map remain different gates. \bibitem{CheungXIVJ} N.~Cheung, \emph{Landmark XIV-J}, version 1, supplied unpublished manuscript, \sid{XIV-J.tex}, n.d. Enter Calculus Companion. Comparison locators: \sid{thm:reference}, \sid{thm:J2}, \sid{cor:noadmission}, and \sid{thm:release}. A supported-sector reference is not the full characteristic map. \bibitem{CheungXVB} N.~Cheung, \emph{XV-B}, version 2, supplied unpublished manuscript, \sid{XV-B.tex}, n.d. Enter Calculus Companion. Comparison locators: \sid{thm:lifting}, \sid{thm:jetnull}, and \sid{thm:release}. Technical descent and extension interfaces are distinct from the inherited downstream quantum-admission exit. \bibitem{CheungXVIN} N.~Cheung, \emph{XVI-N}, version r12, supplied unpublished manuscript, \sid{XVI-N.tex}, n.d. Enter Calculus Companion. Conditional massless special-family obstruction and the undischarged spatially compact Route B. Neither is a finite-register continuum theorem. \bibitem{CheungOai282B} N.~Cheung, \emph{Oai282-B}, version 1, supplied unpublished manuscript, \sid{Oai282-B.tex}, n.d. Enter Calculus Companion. Local Ward and nontransfer comparisons only; not a gravitational dictionary or clock construction. \bibitem{CheungOai069A} N.~Cheung, \emph{Oai069-A}, version 1, supplied unpublished manuscript, \sid{Oai069-A.tex}, n.d. Enter Calculus Companion. Comparison locator: \sid{thm:category}. Finite-monodromy local systems and separately scoped finite operational comparisons; not incidence dynamics. \bibitem{Catalogue271} \emph{OpenAI catalogue: Family 271 and reported Lean scope}, attributed to OpenAI in the supplied companion record, record dated 7 October 2026. Enter Calculus Companion. The supplied Lean scope names 271-04 only. Catalogue attribution, proof validity, and Lean execution are not independently authenticated here. \bibitem{Watrous} J.~Watrous, \emph{The Theory of Quantum Information}, Cambridge University Press, Cambridge, 2018. DOI: \sid{10.1017/9781316848142}. Finite channels, reference systems, trace distance, and diamond-norm conventions. \bibitem{Fritz} T.~Fritz, ``Velocity polytopes of periodic graphs and a no-go theorem for digital physics,'' \emph{Discrete Mathematics} \textbf{313} (2013), 1289--1301. DOI: \sid{10.1016/j.disc.2013.02.010}. arXiv:1109.1963. Periodic-graph context only; no graph obstruction is transferred to changing refinement families or conical dynamics. \bibitem{FritzCorrigendum} T.~Fritz, ``Corrigendum to `Velocity polytopes of periodic graphs and a no-go theorem for digital physics','' \emph{Discrete Mathematics} \textbf{313} (2013), 2380. DOI: \sid{10.1016/j.disc.2013.07.011}. Records the earlier cycle-figure and crystal-lattice literature. \end{thebibliography} \end{document}