Yeah, I’d map the constraints into a state machine, then generate the loop by exploring the state space with a deterministic algorithm. The key is pruning impossible paths early so the program stays efficient. It’d be like a puzzle solver, but for music.