Small corrections: the changed assumption

Outgoing number statistics, a one-block marginal, a near-horizon pair state, and local semiclassical dynamics are four different tests. The construction proves only its explicitly stated marginal and channel results.

A useful entropy form of the pair-production obstruction is elementary.