Manuscript Hawk02-A@1 · Hawk02-A.tex · assumption · 7fbae745

Assumption: Physical acceptance package

The Hawk02-A conditional certification theorem · lines 1562–1584

Hawk02-A@1#ass:physical

Back to manuscript

A proposed physical model supplies:

  1. a stated action or microscopic evolution, initial data, field content, regulator, renormalization scheme, and validity domain;

  2. a geometry/state calculation with stated constraints, stress-energy conservation, total energy balance, and error allowances up to ;

  3. a finite code embedding and a complete isometric emission interface, with all fixed auxiliary purifications assigned;

  4. a complete comparison interface on identified output spaces, with independently proved stepwise and preparation/cutoff/endpoint diamond-error allowances;

  5. an explicit complementary-channel leakage bound for that comparison interface.

The transfer law in item (P3) is labeled either derived from the stated dynamics or additionally assumed. A geometry-dependent family of nonaffine state-by-state rules does not satisfy (P3).

Nearby in this section