Thanks! Pbzvat hc jvgu qvssrerag jnlf gb ohvyq gur tbyrz juvyr univat gur erfg bs gur chmmyr jbex jnf n ovt punyyratr, unq gb rkcrevzrag jvgu n ybg bs inevngvbaf.
To come up with puzzles of this complexity imo it’s a lot of trial and error, going back and forth between different constraints until all the deductions you want to include work at the same time. Often adding something will break something else and you either tweak things until it works or you give up on the addition.