The Isometry Tax: At-Rest Leakage in Rotation-Isolated Multi-Tenant Vector Search as an Instance of Property-Preserving-Encryption Leakage, with Bounds on Its Mitigations | Synapse