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
A proposed physical model supplies:
a stated action or microscopic evolution, initial data, field content, regulator, renormalization scheme, and validity domain;
a geometry/state calculation with stated constraints, stress-energy conservation, total energy balance, and error allowances up to ;
a finite code embedding and a complete isometric emission interface, with all fixed auxiliary purifications assigned;
a complete comparison interface on identified output spaces, with independently proved stepwise and preparation/cutoff/endpoint diamond-error allowances;
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).