A specified independent-loss detector

This multiplicative formula must not be transplanted to input-dependent preparation success, outcome-dependent loss, or correlated assignment errors. Such models require their own complete-law calculation.

Independent preparation failures can be represented by a complete preparation instrument. The projective readout followed by independent erasure and assignment channels is also complete. No failed branch is silently renormalized away.