Scope, the release theorem, and the domain correction

The alternative endings remain distinct. There is no wavefront obstruction to the classical tree constructed here. There is also no proved theorem excluding every possible quantum extension. The unmet step is admission into the frozen target, not an unnamed propagator normalization.