Finite interfaces, reference preservation, and recovery

Adding fixed pure spectators or access-preserving isometric output embeddings changes none of the optimized distances above: compression with a CPTP off-support completion gives the reverse comparison. This observation permits us to suppress fixed vacant factors in the finite model.