Manuscript XVII-A@1 · XVII-A.tex · section · 711d7ee4

Decision gates

Decision gates and exact release › Decision gates · lines 1304–1365

Back to manuscript

{ {}1.15

GateOutcome in this paper
Objects named and are fixed in (eq:region-point); is fixed in (eq:named-observable), before the boundary smearing and record map.
Map class fixedExact finite operator reconstruction with the CPTP binary record channel (eq:RB).
Route fixedThe metric, coordinates, boundary completion, and finite dictionary are inputs. No metric or Einstein derivation.
Non-premises markedThe supplied manuscripts are explicitly separated in Section sec:ledger.
Geometry check lies on the assumed conformal boundary of a newly declared AdS model. No inherited collar, schedule region, or packet support is renamed.
Interior checkNo interior partner, wedge, island, or evaporation channel is asserted.
DiagnosticOne exact analytical comparison is evaluated in Section sec:diagnostic; no numerical execution.
Cutoff checkThe target is a finite-matrix sine effect. Remark rem:compression excludes an unproved continuum compression or cutoff-removal claim.

}