Dressed Record Composition Without a Global Integrability Oracle: Spacelike Residuals, a Three-Way Typology, and the Stability of Record-Dynamics Integrability
Paper 55 of this series proved that the certified record-history kernel composes foliation-independently at the displayed orders under D0 — undressed update operators, Kraus operators in mutually commuting spacelike algebras — and relocated the dressed case in both directions: "dressed update operators (beyond D0) — the class-boundary question — not settled here in either direction: physical dressed operators fail exact spacelike commutation (Donnelly & Giddings 2016), so whether they reintroduce ordering dependence is exactly what a dressed construction must decide." Paper 57 built that dressed construction at declared anchor classes. This paper — the centre panel of the Shared-Frontier Program (Papers 57-59), consuming the charter Paper 57 defined — makes it decide at the kernel's own grade: the classical-quantum class the corpus actually runs (geometry classical at tree level), with the quantum-field dressing half of the question excluded at the definition, not at the verdict, and seated at (d5). What is decided is the kernel-grade half of the question; the paper's thesis, annotations, and verdict all carry that qualifier. The audited authority is the Global Integrability Oracle: the guarantor that the world's many dressed local updates compose consistently, assumed rather than earned. The paper replaces the pronouncement with a computation. Delivered: the dressed slab calculus — Paper 55's one-node factorization lifted to the package, with the dressing correction displayed per factor in three typed components (support re-anchoring, collar-bounded; the retarded dressed-response correction; the constraint-tail conditioning at the kernel's classical-quantum grade), complete positivity, adaptedness, and localization proved, with the common-domain fact typed at the channel level (apparatus channel type vs support realization — no canonical local-algebra element identity asserted across anchorings, consistent with Paper 57's sandwich); the residual theorem — the transposition computation extended to the full dressed pair table (sixteen cross-factor pairs, displayed as a 4x4 matrix with an order dictionary, each computed, plus the surface-tied booking schemes whose mid-composition differences cancel at the endpoint) — landing every in-class same-endpoint spacelike transposition residual in the zero cell of the pre-committed typology {zero, pure-convention, order-effective}, strict map identity for every admissible representative, the trichotomy exhaustive and decidable via a fully specified dressing-convention quotient; the representative-equivalence lemma owning the presentation content (the pure-convention cell is inhabited by presentation data, not endpoint residuals); Paper 45's (o4) operator families entering as first-class rows (their composition-facing half decided — no self-adjointness consumed; their measurement-scheme half returned open-named); the stability theorem (Paper 55's Theorems 1-2 persist under dressing at both equality grades); an out-of-class witness displaying the order-effective cell's shape (a quantum-tail toy phase, with the Weyl-convention note: the factor-2 ordering ratio is convention-independent in magnitude); and exact recovery of the undressed calculus with the Model M band unchanged. The verdict is scoped, not certified: conjuncts (d1)-(d4) close at the displayed orders on the declared classes; (d5) — iterated feedback, all-orders composition, the nonperturbative classical-quantum constraint sector, and the quantum-field dressing boundary — is scored open and built elsewhere. FrontierStatus(composition) = scoped at model grade. Paper 55's (t5) closes the kernel-grade half of its dressed-operator row by annotation; the Oracle is unemployed: consistency was computed, not pronounced. Nothing is adopted, calibrated, or scored; no band moves; the substantive integrability-of-nature face is declined, not refuted.
Paper 55 of this series proved that the certified record-history kernel composes foliation-independently at the displayed orders under D0 — undressed update operators, Kraus operators in mutually commuting spacelike algebras — and relocated the dressed case in both directions: "dressed update operators (beyond D0) — the class-boundary question — not settled here in either direction: physical dressed operators fail exact spacelike commutation (Donnelly & Giddings 2016), so whether they reintroduce ordering dependence is exactly what a dressed construction must decide." Paper 57 built that dressed construction at declared anchor classes. This paper — the centre panel of the Shared-Frontier Program (Papers 57-59), consuming the charter Paper 57 defined — makes it decide at the kernel's own grade: the classical-quantum class the corpus actually runs (geometry classical at tree level), with the quantum-field dressing half of the question excluded at the definition, not at the verdict, and seated at (d5). What is decided is the kernel-grade half of the question; the paper's thesis, annotations, and verdict all carry that qualifier. The audited authority is the Global Integrability Oracle: the guarantor that the world's many dressed local updates compose consistently, assumed rather than earned. The paper replaces the pronouncement with a computation. Delivered: the dressed slab calculus — Paper 55's one-node factorization lifted to the package, with the dressing correction displayed per factor in three typed components (support re-anchoring, collar-bounded; the retarded dressed-response correction; the constraint-tail conditioning at the kernel's classical-quantum grade), complete positivity, adaptedness, and localization proved, with the common-domain fact typed at the channel level (apparatus channel type vs support realization — no canonical local-algebra element identity asserted across anchorings, consistent with Paper 57's sandwich); the residual theorem — the transposition computation extended to the full dressed pair table (sixteen cross-factor pairs, displayed as a 4x4 matrix with an order dictionary, each computed, plus the surface-tied booking schemes whose mid-composition differences cancel at the endpoint) — landing every in-class same-endpoint spacelike transposition residual in the zero cell of the pre-committed typology {zero, pure-convention, order-effective}, strict map identity for every admissible representative, the trichotomy exhaustive and decidable via a fully specified dressing-convention quotient; the representative-equivalence lemma owning the presentation content (the pure-convention cell is inhabited by presentation data, not endpoint residuals); Paper 45's (o4) operator families entering as first-class rows (their composition-facing half decided — no self-adjointness consumed; their measurement-scheme half returned open-named); the stability theorem (Paper 55's Theorems 1-2 persist under dressing at both equality grades); an out-of-class witness displaying the order-effective cell's shape (a quantum-tail toy phase, with the Weyl-convention note: the factor-2 ordering ratio is convention-independent in magnitude); and exact recovery of the undressed calculus with the Model M band unchanged. The verdict is scoped, not certified: conjuncts (d1)-(d4) close at the displayed orders on the declared classes; (d5) — iterated feedback, all-orders composition, the nonperturbative classical-quantum constraint sector, and the quantum-field dressing boundary — is scored open and built elsewhere. FrontierStatus(composition) = scoped at model grade. Paper 55's (t5) closes the kernel-grade half of its dressed-operator row by annotation; the Oracle is unemployed: consistency was computed, not pronounced. Nothing is adopted, calibrated, or scored; no band moves; the substantive integrability-of-nature face is declined, not refuted.
A hybrid classical-quantum dynamics whose decoherence, geometry noise, and causal-order action are all driven by one record-export current faces a sharp question the moment it is written down non-relativistically: is the single laboratory time in its intensities and its equal-time noise a removable scaffold, or a load-bearing preferred simultaneity? This paper audits that question for the record-history kernel P_ker adopted earlier in this series, in a fully declared formal setting and with a pre-committed either-way verdict. The scope is fixed before anything is scored: a fixed globally hyperbolic background (Minkowski benchmark) under a minimal dressing assumption D0, at leading order in the export couplings — never background independence, never Planckian physics. The setting types record exports as non-selective instruments implemented in the Fewster-Verch measurement-scheme sense; lifts the kernel's adaptedness clause to a causal-set-indexed filtration (intensities measurable with respect to their own causal past); and requires export-sourced noise to admit a representation as a retarded kernel integrated against an adapted martingale measure, separating retarded response (M3a) from screened common-past correlations (M3b). Four covariant lifts of the export intensity are scored on eight criteria, including a local-implementation witness and covariant trade-off data. The hypersurface candidate fails as a primitive — the live example of the barred move, "notation-covariantization" — while the world-tube candidate passes, with the density and diamond forms as its aggregates. For the surviving class the paper constructs, rather than asserts, its core: an explicit measurement-scheme witness model (a pointer coupling to a fragment carrier field, compactly supported in the event diamond and switched by the apparatus's own trigger field) for the self-adjoint dephasing subclass of the kernel's operator family — a declared narrowing carried as an explicit scope condition; an explicit admissible-noise construction (compensated-Poisson impulses along the tube, retarded profiles), whose covariance computation recovers the kernel's equal-time form as its non-relativistic cell limit and whose screening property is proved, not assumed; an export stress tensor constructed pathwise — the difference of one closed, internally switched action's on-shell conserved stress tensor along two coupled realizations differing only in the jump innovation at the event diamond — so that conservation is a pathwise identity, causal support follows by finite propagation speed, and the monopole vanishes by global conservation, with the trigger's locality carried as a displayed hypothesis; a typing theorem showing the kernel's three type declarations make every witnessed export a causally admissible local operation (with a two-step counterexample showing each declaration is necessary — the Sorkin impossible-measurement threat is blocked by exactly those declarations); a leading-order foliation-independence proposition (spacelike-separated update maps commute; adapted increments compose; the multi-event kernel is independent of the causal linear extension); and the tube-wise decoherence-diffusion floor with the Minkowski benchmark numbers recovered unchanged. The verdict is scoped, not discharged. What is certified is a constructed microcausality core at leading order for the exhibited, witnessed class: after this paper, the registered sentence "nothing relativistic certified" no longer stands as written. What remains open is named, not hidden: the general-frame operator derivation of the trade-off floor for boosted extended populations; the multi-event composition law beyond leading order, where geometry back-reaction couples updates within a light cone; background independence — the dressed-source seam assigned to the next paper; and measurement-scheme witnesses for the kernel's operator family beyond the self-adjoint dephasing subclass. Because those conjuncts are open, the covariant-extension debt as a whole is not paid, and the honest verdict under the grouping's shared discharge type is scoped, with the kernel keeping its declared non-relativistic restriction and the series' U3-level claims keeping their published ceiling until the completion closes. Within the series this opens the thirteenth grouping — the Debt-Discharge Program (Papers 45-47) — whose charter, naming rule, and verdict type are defined here and reused by the dressed-source and species/ultraviolet panels. Nothing is adopted, calibrated, or scored; no band moves; the substantive preferred-foliation rival is declined, not refuted.
Paper 34 typed quantum-indefinite causal order for controlled-order processes and told the truth about the rest: full quantization of the causal-precedence relation is "flagged, not claimed," and "no microscopic or holographic account of a quantized precedence is supplied." Paper 57 registered the stay-reason: the radical case "needs a dressed order-sector algebra beyond (r1)'s declared classes; a program of its own." But the corpus has no checkable specification of what counts as a candidate for that program's central object. While none exists, a quiet authority works by default — the Global Chronologist: not the Gatekeeper deciding candidate admission, not the 34/43 Sequencer imposing or dynamically selecting an order, but the imagined authority that supplies a canonical chronology/order-sector algebra and composition law from outside the candidate class. This paper types the candidate layer and starves the Chronologist. "An order sector is a type, not a timeline." / "Typed is not constructed." / "Admissible-as-typed is not selected." The instrument is the OrdSecSpec normal form — "Dressed here names the target class of a future algebra; this paper does not construct dressed operators or dressed composition." Seven declared fields on a finite declaration language (Paper 69's discipline consumed as a template, all order-sector objects redefined locally): a source-data grammar O = (E, L, C_ord, R_ord, Gamma_ord) whose type constraint bars external chronology — global time functions, canonical foliation labels, pre-given total orders — while allowing internally declared order-control and order-record data (with a three-scan renaming test, so a global clock smuggled as control data is caught structurally); a sector codomain Sigma_sec = {coh, mix, cond} plus the typed residual outside-ctrl, one-to-one with 34's trichotomy on the declared controlled-order subdomain — general nonseparable processes are never forced into the trichotomy; a composition/conditioning grammar that provides symbols and reduction targets but no composition theorems (no associativity theorem, no spacelike-independence theorem, no measurement model, no all-orders dressed composition result); a reduction map rho^ord onto 34's conditioned record-relative effective order, the canonical chronology appearing only in its codomain; four recovery rows (34's machinery; 57's fixed-order limit; 58's undressed limit; and 34's R-E — radical-precedence remains flagged, not claimed — preserved as a row, not resolved); and skeleton-grade failure criteria. The admission test is decidable — four finite checks with a verdict routing, including the order smuggling sentence: "a candidate fails the admission test if a composition or conditioning clause reads an external chronology label before the reduction map is applied." The declared candidate table — the process-matrix/quantum-switch family, the causal-set row (typed only as a source of order data and order-composition discipline, with every adequacy claim barred), the indefinite-causal-structure family, and one corpus-internal calibration row (34's own machinery, which cannot feed the kill) — is typed by displayed fields under 69's extraction protocol and setting/input rule: "The paper classifies the families by displayed fields, not by reputation or expected success." The emptiness kill is scoped to skeleton grade, with the minimum skeleton displayed and one row, the process-matrix/switch row, proven to meet it at skeleton grade. The ceiling is strict: nothing here is a construction or an audition, and no row is a winner — 34's flag is exactly as set after this paper as before it; (d5) and (r5) stay open at their owners' seats; the preparation artifact is recorded as complete without opening, numbering, or reserving any successor program; no physics claim, no adoption, no datum. OrdStatus(order-sector classes) = scoped at typing/classification grade. "An order sector is a type, not a timeline." / "Typed is not constructed." / "Admissible-as-typed is not selected."
This paper is the forty-third in a sequence developing an interpretive framework that redescribes physical reality as a causally consistent history of information updates rather than as a collection of independently existing objects. It is the prediction-and-exclusion panel of the twelfth grouping — the U3 construction program — and it adopts nothing, spends nothing, and tunes nothing: Paper 41 adopted the common record-history kernel P_ker at the claim level L3-A and computed its admissible space; Paper 42 executed the recovery conditions and spent the grouping's single calibration, freezing the normalized kernel — the decoherence coefficient confined to the gate-truncated band Lambda_cal = [5e-5, 2.1] (architecture-level record-chain variant [5e-5, 2.1e-1]), the diffusion coefficient carried as a per-class prediction band, the order coefficient computed from operator overlap, the eligibility thresholds fixed at adoption. Every number in this paper is a consequence of the normalized kernel plus declared audit inputs. The paper computes the program's first genuine prediction bands, both defined as excesses over the full standard model. For any controlled-order process (quantum-switch class) with audited certified-export count N_exp coupling to the order register during coherence, the order coherence obeys -ln(V/V_std) = kappa_W lambda_dec N_exp, with V_std computed first (including the standard which-order record-formation decoherence Paper 34 already identifies) and the overlap coefficient computed exactly for the declared symmetric dual-rail tapped-switch configuration (orthogonal detector modes give kappa_W = 1, and V_std(t) = V_0(1-t) is derived for the actual circuit). The export-correlated geometry-noise band is delivered with its dimensional map and shown to sit roughly sixteen orders below any plausible force-noise floor — suppressed, computed and stated early; the order channel carries the panel. Three verdicts follow, each by a rule fixed before any data were consulted. The exclusion audit (one-dataset-one-role: the Paper 42 calibration dataset is barred) finds every existing class either export-vacuous or — the one export-non-vacuous sibling row, Sears et al. 2012 — bound-non-yielding, because the source states no quantitative residual and the declared transcription discipline forbids manufacturing one: nothing is carved, the surviving set equals the whole band, and this pre-declared fallback outcome is published as such. The empirical-distinctness decision (the generic-CQ collapse branch Paper 41 deferred here), evaluated pointwise over the band against the whole admissible universal-mass-density-CQ comparator class, returns undecided-with-a-specified-discriminant: no performed audit decides it in either direction, and the band's upper sub-band carries a specified, feasible, not-yet-performed differential audit — identical monitored devices with the output chain recorded versus unrecorded at fixed total decay, on which every admissible comparator predicts zero contrast and the kernel does not — with the decision rule for its execution pre-committed (contrast: distinctness earned; null across the discriminable sub-band: that region carved and the collapse verdict fires). The reachability trichotomy: the binding design inequality of any co-designed export channel is lambda_dec times the probe's certified fraction >= 4 deltaV / V_0 (derived for the declared circuit at its optimal tap), and on the supported photonic-switch platform class (Procopio 2015; Rubino 2017; Goswami 2018) the declared floors reach lambda_dec >~ 1.7e-1 at the conservative probe corner (4.7e-2 at the best declared corner): the verdict is (iii-c) — a surviving, partially reachable window — and Paper 44 is unlocked as a design-and-feasibility paper, inheriting the probe specification, the confound budget, and the differential-audit protocol. The retired authority is the Global Sequencer in its dynamical face — the assumption that definite before-and-after must be imposed by a dedicated universal classicalizing agency rather than generated at a computable, testable rate by ordinary record export; its retirement is conditional on P_ker and says so. "Not excluded" is never read as "confirmed"; no gate is crossed; no U3 is claimed — even the surviving window is a window, not a crossing.
This paper is the forty-first in a sequence developing an interpretive framework that redescribes physical reality as a causally consistent history of information updates rather than as a collection of independently existing objects. It opens the twelfth grouping — the U3 construction program — and executes a declared mode shift: from audit to adoption. The eleventh grouping (Papers 38-40) audited three independent seams for a framework-forced world-side observable and returned three honest nulls; its capstone proved that adoption, typing, and matched-warrant witnesses alone do not generate U3 (dynamical unification with new physical predictions), and named the additional world-side postulate such content would cost. This paper pays the named cost explicitly, in public, at a typed level. It defines a new claim level, L3-A (adopted world-side dynamics postulate) — declared, parameterized, falsifiable, conditionality-tagged, normalized before prediction — and adopts at that level a common record-history kernel P_ker: one classical-quantum (GKSL-type CQ) generator whose fixed Lindblad operators are export-event operators driven by an adapted, classical, non-future-referencing record-export intensity J_rec, with eligibility thresholds (redundancy floor, retention floor, error ceiling, grain) fixed once at adoption for every system and every experiment, never re-tuned. The same operator family drives three faces — matter-side export decoherence (lambda_dec), geometry-side stochastic sourcing (lambda_diff, connected to Paper 38's variance budget by an adopted export-fluctuation sourcing law), and causal-order classicalization at the derived rate lambda_ord = kappa lambda_dec, with kappa computed from operator overlap, not tuned. Erasing the operator family anywhere erases it everywhere: that, not an analogy among three sectors, is what "common dynamics" means here. The flagship object is the admissible coefficient space A_ker of lambda = (lambda_dec, lambda_diff) under an eight-gate consistency system: complete positivity; operational no-signaling at the declared non-relativistic weak-field regime; the decoherence-diffusion trade-off floor of classical-quantum gravity — imported only after a normal-form placement derivation licenses its hypotheses for the export-localized kernel class, in operator form first and as a benchmarked scalar projection second; Paper 38's energy-budget ceiling through the displayed sourcing bridge; second-law accounting; and three data ceilings (molecular interferometry, mm-scale gravimetry, quantum-switch visibility), each carrying an explicit export-density-audit vacuousness branch. At the declared benchmark the gates leave an explicit admissible point (lambda_dec = 1e-2, lambda_diff = 1e-57 kg^2 s^2 per event), so A_ker is nonempty and the program proceeds. A distinctness lemma separates P_ker definitionally from universal mass-density CQ coupling, with the honest converse stated (empirical distinctness must be earned in Paper 43's rho_J-varying regimes, else the generic-CQ collapse branch fires); a calibration ledger fixes what the single calibration slot may ever buy; recovery conditions RC1/RC2a/RC2b/RC3 are defined here and owed by Paper 42; a closure map guarantees every branch of the grouping — consistency no-go, generic-CQ collapse, trade-off-underdetermined, recovery no-go, suppressed, excluded, or surviving window — ends in a definite, publishable result. The paper claims no gate crossing and no U3; it asserts none of the new physics it adopts; all downstream results are conditional on P_ker. The adopted postulate is genuinely new physics as a commitment (L3-A); the paper's own computations about it are interpretive (L2-Q) on imported physics (L1).
A classification of the (e5) recoverability question and its candidate class, not a certification of any recovery. Paper 61 typed a seat for "recoverability from horizon or static-patch degrees of freedom" and answered nothing — it kept the clause [record]-and-open, registering that the seat "would require a declared algebra of those degrees, a decoding relation, and a provenance/warrant condition; none is supplied here." Paper 71's Strong-Field Completion Charter locked the constructive successor — panel P-D, this paper — under its element-6 hard lock (owner-approved, verbatim): "P-D is locked unless a named decoding-relation candidate exists at its theme time; absent that, P-D publishes the missing-leg finding — an honest scoped/killed landing, never a silently solved gap." This paper consumes that charter unmodified and adjudicates the lock. The adjudication is against a content criterion. A DecRelCand — a named decoding-relation candidate — is any object declaring a map from an algebra of horizon or static-patch degrees of freedom that recovers held records from it (an admissible one, DecRelSpec, adds compatibility with Paper 61's ledger). An audit of the declared challenge set of recovery/decoding-map structures in the ALAC corpus and the cited strong-field literature — general and holographic quantum error correction, entanglement-wedge reconstruction, Hayden-Preskill decoding, islands / quantum extremal surfaces, the static-patch algebra, the corpus accounting-layer decoders, Paper 60's already-barred global-purification decoder, the general recovery formalism, and the Gate-VII rubric — refutes each by a named field: wrong domain, wrong codomain, barred evaporation/holographic physics, or an algebra supplied with no decoding map. The candidate set is therefore empty at this paper's theme time. The (e5) recoverability-relation declared class is uninhabited, and P-D publishes the missing-leg finding: CompletionStatus(recoverability relation) = killed via K0 — the decoding leg registered absent, never solved. Certified is structurally unreachable (the operative leg is absent); scoped is definitionally unreachable (no recoverability-relation instance is constructed). Forgetting the machinery returns Paper 61's registered ledger classification exactly. The leg reopens iff a decoding candidate arrives; the finding never enters P-C2. No endpoint physics; nothing adopted, calibrated, or scored. The pivotal near-miss is the static-patch / de Sitter observer algebra (Chandrasekaran-Longo-Penington-Witten 2023; Chandrasekaran-Penington-Witten 2023; Witten 2022): a genuine declared algebra of the very degrees of freedom the (e5) seat names — but it supplies no decoding map recovering Paper 61's held records, so a leg-1 algebra without a leg-2 map is not a decoding-relation candidate. Possessing an algebra of observables, or a state/evaluation functional on it, is not yet a decoding relation in the present sense. The foil retired is the Global Recoverer — the authority that would grant strong-field recoverability by default, the decoding step assumed rather than exhibited — retired preemptively as a guard against a future overread, since the corpus does not currently overclaim: Paper 05 marks recoverability conjectural, Paper 61 keeps the clause [record]-and-open, and Paper 60 already displayed and barred the one global decoder it named.
When two arms of an experiment differ in exactly one respect — here, whether a monitoring record is retained or discarded before retention — three decisions remain after the data arrive: were the arms genuinely comparable, or did an ordinary asymmetry confound the pair; does the measured contrast track the recorded arm in the declared sense; and who may say what the outcome means. Mill's method of difference leaves its central clause — "all other circumstances remaining the same" — to judgment; whoever holds that judgment after data exist is a Global Comparator, the matched-pair authority, and the last post-data seat standing in this sequence's Execution Program (the Experimenter retired at Paper 44, the Statistician at 48, the Falsifier at 49). This paper — the fiftieth in the sequence, capstone of the Execution Program (Papers 48-50) — retires it by construction: it builds the reference handover instance H_D for Paper 44's recorded-unrecorded differential on the circuit-QED co-location envelope, at the executable level, and runs Paper 48's acceptance gate on the deposited pair. Delivered: the delta specification from Paper 42's benchmark environment to 44's design (the monitored-register-as-order-control upgrade, the two-regime protocol, the retention-step toggle, the dummy-write hardware); the schema completion to field-level primitives; the certification pipeline as executable functions — Paper 44's two lambda-blind pre-execution campaigns as the S1 gate whose failure is a typed pre-tree disposition (44's "no bound" pre-commitments, never a leaf), and the in-situ audits conjoined into the certificate whose ~40-order comparator-blindness margin is frozen content, cited and never recomputed; the scoring pipeline completing the one slot 48 assigned to this paper — a Ramsey delay-sweep readout-to-rate map over a declared, exactly-enforced grid with symmetric SPAM normalization, frozen edge cases, no clipping anywhere, a frozen per-arm post-exclusion N rule, the signed contrast, and the leaf router implementing 48's differential rows verbatim, including the anti-tracking route (subtyped for diagnosis, never split for authority); the concrete exclusion rule list with its veto-impact template; the S1-S4 runbook; and the mock-data challenge, executed in three parts — a deterministic core exhaustive over all four dispositions, every frozen edge case, and the production/harness boundary itself; an auditor-generated adversarial set produced through a recorded, hash-deposited exchange by a party that did not implement the scoring code, whose first execution caught a genuine pre-freeze defect, corrected before hash fixation and reported; and a public-beacon-seeded bulk. All three parts pass against hand-derivable or rule-derived expectations; the routing tables are generated by executing the shipped implementation and are typed non-evidence in the sentence that reports them. The gate passes condition by condition under the coverage completion inherited from Paper 49; the verdict is InstanceStatus_D = reference-complete with an empty instance gap register, and the Execution Program closes whole: one template, two instances, every leaf of 44's execution map covered by exactly one instance plus the shared non-execution leaf. Displayed at the close is the channel's frozen comparison content: a certified null already fires the carve and the collapse verdict, together, never separately; a certified tracking contrast already licenses distinctness earned and the first FrameworkForcedShift candidacy — declarable only in the data holder's own successor paper, the single reserved cell that is the Comparator's substantive retirement; everything else is the confounded row. Nothing is measured, carved, or scored; no band or feasibility verdict moves; the data papers stay reserved behind mechanical unlocks; reference-complete never shortens to accepted, and an immutable core guarantees no admissible adoption-time extension can change the margin, the sign convention, the anti-tracking route, or a single claim cell. Comparability has audits, tracking has a router, meaning has a table — nothing is left for an authority to judge.