I often ponder what the generator algorithm might be when I am solving "insane" 13x17 Kakuro puzzles [1], because there always seems to be just enough logical paths to solve each puzzle. Well done!
[1] - https://krazydad.com/kakuro/index.php?sv=13x17I_v1