@whitequark my strategy for dealing with such strays:
1. do not attempt to catch; such cats are not to be caught
2. leave dishes of milk every night on the windowsill closest to all the easiest exit jumps, and similar such offerings
3. there is no step three; let the cat approach in its own time, should it ever choose to