Corollary: Defensible intermediate claims

Within this acceptance architecture:

1. a controlled geometry/state calculation and a proved emission comparison allowance support a semiclassical-plus-backreaction baseline on the stated domain;

2. adding a complete transfer interface and leakage certificate supports the recovery bound (eq:maincertificate);

3. when the transfer law is additionally assumed, the resulting recovery claim remains conditional on that law;

4. identifying that law as microscopically derived requires a separate derivation from the stated dynamics.

A pair-structure comparison or a small adiabatic indicator does not replace the missing channel allowance.

Proof. Items 1–4 distinguish the independently stated hypotheses in Assumption ass:physical from the conclusions of Theorem thm:main. Proposition prop:adiabatic and Theorem thm:pairentropy concern different quantities and provide no complete-map comparison by themselves.