The main emission theorem

The proof is assembled at the end of Section sec:observables. The result is exact in the declared stationary free-field model. No late-time approximation is used in (eq:packetlaw). Section sec:peeling treats a different, explicitly conditional late-time limit.