Thanks for the feedback!
If I ever come around and add any other modes to this, then guaranteed solvability would certainly a top priority. Being able to do that with an infinite board means I’d have to modify existing algorithms, but it should be doable in theory.