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

Back to manuscript

For each declared time up to a stopping criterion, a candidate physical model supplies the following data.

  1. A stated microscopic action or evolution, field content, initial data, physical observable algebra, regulators, renormalization prescription, and validity domain.

  2. 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.

  3. 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.

  4. 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.

  5. 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.

  6. 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