B6: decision and the exact successor package

The affirmative binary release through the requested quantum order is therefore not established. The missing extension is named, its support and normalization obligations are separated, and its absence is not called an anomaly. A manuscript cannot become a proof of that extension merely by labeling the formal expression “renormalized.”