The distinct conditional quantum expansion

The classical defect (eq:defect) is not a quantum renormalization separator. The finite-dimensional theorem of Section sec:certificate cannot define a missing product or supply missing catalogue coverage.