A "perfect tensor" is defined here :on the https://ncatlab.org/nlab/show/perfect+tensornLab very abstractly as "its tensor/hom-adjuncts V⊗k⟶V⊗n−k$V^{\otimes k} \to V^{\otimes n - k}$ for k≤n/2$k \le n/2$ are isometries". The only example I'm aware of is the one used in the construction of the HaPPY code : https://ncatlab.org/nlab/show/HaPPY+codeHaPPY code. What are other examples?