Manuscript Hawk03-A@1 · Hawk03-A.tex · assumption · 9a109c12
Assumption: One-model physical bridge package
Comparison errors and a conditional physical certificate · lines 1327–1367
Hawk03-A@1#ass:physical
For each declared time up to a stopping criterion, a candidate physical model supplies the following data.
A stated microscopic action or evolution, field content, initial data, physical observable algebra, regulators, renormalization prescription, and validity domain.
A complete physical isometric emission interface, with a fixed identification of every accessible and inaccessible output used in the comparison. Any gravitational factorization or algebra-to-factor bridge is separately justified.
A reference-uniform comparison on those identified outputs,
where is a complete comparison interface with proved recovery error and complete leakage . The comparison map is linear and its transfer law is labeled derived or additionally assumed.
For each admitted infalling experiment, complete physical and comparison instruments on the identified output interface satisfying
Their comparison record laws are within of a stated regular reference experiment with matched excitations and detector preparation.
Independently proved state and geometry certificates: appropriate field-state regularity; renormalized stress-energy and conservation; curvature and constraint estimates; total energy balance; and controlled backreaction through the stopping criterion. Any use of those estimates to bound or is proved in a declared topology.
A physical partner algebra and an operational assignment for joint radiation and infalling interventions, on the same admissible states. Reconstruction domains, commutators, state-preparation quantifiers, and post-intervention validity domains are stated.
Displayed formulas in this passage
unlabeled · line 1340
unlabeled · line 1350
Nearby in this section
- section: Comparison errors and a conditional physical certificate
- lemma: Lemma: Sequential reference-stable comparison
- section: Comparison errors and a conditional physical certificate
- lemma: Lemma: Isometric full-output comparison
- lemma: Lemma: Finite POVM comparison
- remark: Remark: Effect and instrument budgets remain different
- section: Comparison errors and a conditional physical certificate
- theorem: Theorem: Conditional one-model certification