pub(crate) async fn perm_is_provably_unique<'db>( env: &mut Env<'db>, perm: SymPerm<'db>, ) -> Errors<bool>