the only way to do that in native zanzibar with one check would be to have a pre-existing relationship between the candidate folder and the candidate document, then you could use the intersection path to check (pseudocode)
document_in_folder#can_move_to = document->editor & folder->editor