Prelims
a) R12C1 = {17/27/35}, no 4,8,9
b) R2C34 = {17/27/35}, no 4,8,9
c) R3C23 = {69/78}
d) R3C45 = {15/24}
e) R34C6 = {59/68}
f) R34C8 = {17/27/35}, no 4,8,9
g) R4C34 = {15/24}
h) R45C9 = {13}
i) R5C34 = {15/24}
j) R89C9 = {69/78}
k) R9C23 = {49/58/67}, no 1,2,3
l) 19(3) cage at R3C1 = {289/379/469/478/568}, no 1
m) 26(4) cage at R4C5 = {2789/3689/4589/4679/5678}, no 1
n) 27(4) cage at R5C7 = {3789/4689/5679}, no 1,2
o) 10(4) cage at R8C6 = {1234}
Steps resulting from Prelims
1a. Naked pair {13} in R45C9, locked for C9 and N6, clean-up: no 5,7 in R3C8
1b. 27(4) cage at R5C7 now = {4689/5679}, 6,9 locked for N6, clean-up: no 2 in R3C8
1c. 2 in N6 only in R4C78 + R6C8, CPE no 2 in R2C8
1d. Naked quad {1234} in 10(4) cage at R8C6, CPE no 1,2,3,4 in R9C4
1e. 1 in N5 only in R456C4 + R6C5, CPE no 1 in R7C4
1f. 36(7) cage at R6C8 must contain 9, not now in R6C8, CPE no 9 in R7C4
2. 45 rule on C9 2 innies R67C9 = 10 = [46/64/82], no 5,7,9, no 8 in R7C9
2a. 5 in C9 only in 16(3) cage at R1C9, locked for N3
2b. 16(3) cage = {259/457}, no 6,8
3. 45 rule on R1234 2 innies R4C59 = 9 = [63/81]
3a. Variable hidden killer pair 3,7 in 26(4) cage at R4C5 and 16(3) cage at R6C4 for N5, 26(4) cage cannot contain more than one of 3,7 -> 16(3) cage must contain at least one of 3,7 = {178/349/358/367/457} (cannot be {169/259/268} which don’t contain 3 or 7), no 2
4. 45 rule on N7 2 outies R89C4 = 1 innie R7C2 + 10
4a. Min R89C4 = 11, no 1 in R8C4
4b. Max R89C4 = 17 -> max R7C2 = 7
5. 45 rule on N5 3 innies R45C4 + R4C6 = 1 outie R7C4 + 3
5a. Max R7C4 = 8 -> max R45C4 + R4C6 = 11, no 9 in R4C6, clean-up: no 5 in R3C6
5b. Min R45C4 + R4C6 = 8 -> min R7C4 = 5
5c. 26(4) cage at R4C5 = {2789/3689/4589/4679} (cannot be {5678} which clashes with R4C6), 9 locked for N5
5d. 9 in R4 only in R4C12, locked for N4 and 19(3) cage at R3C1, no 9 in R3C1
5e. 19(3) cage must contain 9 in R4C12 = {289/379/469}, no 5
6. 45 rule on R12 3(2+1) outies R34C7 + R3C9 = 13
6a. R34C7 cannot total 4 -> no 9 in R3C9
7. R3C23 = {69/78}, R3C6 = {689} -> combined cage R3C236 = {69}8/{78}6/{78}9, 8 locked for R3
7a. 19(3) cage at R3C1 (step 5e) = {289/379/469}
7b. 2 of {289} must be in R3C1 -> no 2 in R4C12
7c. Consider combinations for R4C34 = {15/24}
R4C34 = {15}, locked for R4 => R4C56 = {68}, locked for R4 => 19(3) cage = {379/469}
or R4C34 = {24}, R4C9 = 1 (hidden single in R4) => 3 in R4 only in R4C12 => 19(3) cage = {379}
-> 19(3) cage = {379/469}, no 2,8
[Maybe SudokuSolver sees this as a huge block 19(3) cage cannot be 2{89} because R4C123456 = {89}{24}[65] clashes with R4C78.]
8. 45 rule on N6 3 innies R4C78 + R6C8 = 14 must contain 2 for N6 = {248/257}
8a. Consider combinations for R4C34 = {15/24}
R4C34 = {15}, locked for R4 => R4C56 = {68}, locked for R4
or R4C34 = {24}, locked for R4 => R4C8 = {57} => R4C78 + R6C8 = {257}, no 8
-> no 8 in R4C7
8b. 8 in R4 only in R4C56, locked for N5
[Extending that forcing chain.]
8c. R4C34 = {15}, locked for R4 => R4C56 = {68}, locked for R4
or R4C34 = {24}, locked for R4 => R4C78 = {57}, locked for R4 => R4C56 = {68}
-> R4C56 = {68}, clean-up: no 9 in R3C6
8d. Naked pair {68} in R4C56, locked for R4 and N5
8e. Naked pair {68} in R34C6, locked for C6
8f. 26(4) cage at R4C5 (step 5c) = {2789/4589/4679} (cannot be {3689} because 6,8 only in R4C5), no 3
8g. 3 in N5 only in R6C45, locked for R6
8h. 16(3) cage at R6C4 (step 3a) must contain 3 = {358/367}, no 1,4 -> R6C45 = {35/37}, R7C4 = {68}
[At this stage I saw
1 in N5 only in R45C4, locked for C4, clean-up: no 7 in R2C3, no 5 in R3C5
Either R4C34 = [51] or R5C34 = [51] (locking cages) -> 5 in R45C3, locked for C3 and N4
but this quickly becomes unnecessary.]
8i. Killer pair 6,8 in R3C23 and R3C6, locked for R3, clean-up: no 2 in R4C8
8j. 19(3) cage at R3C1 = {379} (only remaining combination), no 4
8k. 19(3) cage = 7{39} (cannot be 3[79] which clashes with R34C8 = [17/35]) -> R3C1 = 7, R4C12 = {39}, 3 locked for R4 and N4 -> R45C9 = [13], clean-up: no 1 in R12C1, no 8 in R3C23, no 1 in R2C4, no 5 in R4C34
8l. R5C4 = 1 (hidden single in N5) -> R5C3 = 5, clean-up: no 3 in R2C4, no 5 in R3C5, no 8 in R9C2
8n. Naked pair {24} in R4C34, locked for R4 -> R4C78 = {57}, locked for N6
8o. R6C8 = 2 (hidden single in N6), clean-up: no 8 in R6C9 (step 2)
8p. Naked pair {46} in R67C9, locked for C9, clean-up: no 9 in R89C9
8q. Naked pair {78} in R89C9, locked for C9 and N9
8r. Naked triple {259} in 16(3) cage at R1C9, locked for N3
8s. Naked pair {69} in R3C23, locked for R3 and N1 -> R3C6 = 8, R4C6 = 6, placed for D/, R4C5 = 8, clean-up: no 2 in R12C1, no 2 in R2C4
8t. Naked pair {35} in R12C1, locked for C1 and N1 -> R4C12 = [93], clean-up: no 5 in R2C4
9. 36(7) cage at R6C8 = {2345679} (only remaining combination), no 1, 7 locked for N8
9a. 1 in N8 only in R8C6 + R9C56, locked for 10(4) cage at R8C6, no 1 in R9C7
9b. 1 in N9 only in 12(3) cage at R8C7 = {129/156}, no 3,4
9c. 2 of {129} must be in R8C7 -> no 9 in R8C7
9d. 36(7) cage = {2345679}, CPE no 6 in R7C4
9e. R7C4 = 8 -> R6C45 = 8 = {35}, 5 locked for N5
9f. R45C4 + R4C6 = R7C4 + 3 (step 5) -> R45C4 + R4C6 = 11, R4C6 = 6, R5C4 = 1 -> R4C4 = 4, placed for D\, R4C3 = 2, R2C3 = 1 -> R2C4 = 7, clean-up: no 2 in R3C5
10. R8C8 = 1 (hidden single on D\), R3C8 = 3 -> R4C8 = 5, R4C7 = 7
10a. 1 in N8 only in R9C56, locked for R9
10b. R3C7 = 1 (hidden single on D/), R3C5 = 4, R3C4 = 2, R3C9 = 5
11. 45 rule on N47 5(1+4) outies R3C1 + R4589C4 = 23, R3C1 = 7, R45C4 = [41] -> R89C4 = 11 = {56}, locked for C4, N8 and 23(4) cage at R7C3
11a. R6C4 = 3, placed for D/, R6C5 = 5
11b. 36(7) cage at R6C8 = {2345679} -> R7C7 = 5, placed for D\, 6 locked for R7 and N9 -> R8C7 = 2, R9C8 = 9, clean-up: no 4 in R9C23
11c. Naked pair {46} in R7C89, locked for R7 and N9 -> R9C7 = 3, R8C6 = 4
11d. R89C4 = 11 -> R78C3 = 12 = [93], 9 placed for D/ -> R1C9 = 2, placed for D/, R5C5 = 7, placed for both diagonals
11e. R9C1 = 4 (hidden single in R9), placed for D/
11f. R2C8 = 8, R34C7 = [17] -> R2C67 = 7 = [34]
11g. R8C2 = 5 (hidden single on D/), R9C1 = 4 -> R78C1 = 10 = [28]
11h. R56C1 = [61] -> R5C2 = 8 (cage sum)
and the rest is naked singles, without using the diagonals.