Thanks Ed for an extremely challenging V2.
Congratulations to Mike for finding what I assume was the way that Ed intended it to be solved.
Your steps 4c and 4d, which clearly depend on spotting step 4b first, were neat and very powerful. After them the puzzle was effectively cracked.
My solving path was very different and much harder work but at least I think I can say that this puzzle isn't a one-trick pony. I found it very hard going when I was analysing the 19(4) cage at R8C2 but the puzzle got more interesting when I was able to move on to other parts of the grid after step 21.
Here is my walkthrough for A191 V2.
Prelims
a) 11(2) cage in N1 = {29/38/47/56}, no 1
b) R1C23 = {19/28/37/46}, no 5
c) R1C78 = {29/38/47/56}, no 1
d) 12(2) cage in N3 = {39/48/57}, no 1,2,6
e) R23C1 = {49/58/67}, no 1,2,3
f) R23C9 = {18/27/36/45}, no 9
g) R4C34 = {29/38/47/56}, no 1
h) R4C67 = {29/38/47/56}, no 1
i) R5C34 = {15/24}
j) R5C67 = {19/28/37/46}, no 5
k) R6C34 = {19/28/37/46}, no 5
l) R6C67 = {19/28/37/46}, no 5
m) R78C1 = {29/38/47/56}, no 1
n) R78C9 = {19/28/37/46}, no 5
o) R9C23 = {39/47/56}, no 1,2,6
p) R9C78 = {18/27/36/45}, no 9
q) 11(3) cage at R3C7 = {128/137/146/236/245}, no 9
r) 19(3) cage at R6C2 = {289/379/469/478/568}, no 1
s) 13(4) cage at R3C2 = {1237/1246/1345}, no 8,9
1. 45 rule on R12 2 outies R3C19 = 15 = [78/87/96], clean-up: no 7,8,9 in R2C1, R2C9 = {123}
2. 45 rule on R89 2 innies R8C19 = 8 = [26/53/62/71], no 4,8,9, no 3 in R8C1, no 7 in R8C9, clean-up: R7C1 = {4569}, R7C9 = {4789}
2a. 45 rule on R89 2 outies R7C19 = 13 [Added to simplify later steps]
3. 45 rule on C9 2 outies R25C8 = 1 innie R9C9 + 11
3a. Max R25C8 = 17 -> max R9C9 = 6
3b. Min R25C8 = 12, no 1,2 in R5C8
4. 45 rule on N1 3 innies R2C3 + R3C23 = 11 = {128/137/146/236/245}, no 9
5. 45 rule on N3 1 innie R
2C7 = 1 outie R4C8 + 2, no 1,2 in R
2C7, no 8 in R4C8
6. 45 rule on N7 2(1+1) outies R6C2 + R8C4 = 16 = [79/88/97]
7. 45 rule on N9 2(1+1) outies R6C8 + R8C6 = 9 = {18/27/36/45}, no 9
8. Min R5C12 = 5 (cannot be {12} which clashes with R5C34, cannot be {13} because R5C1234 = 10(4) = {1234} clashes with R5C67) -> max R6C1 = 7
9. 12(2) cage at R1C9 = {39/48/57}, R23C9 = [18/27/36] -> combined cage 12(2) + R23C9 must contain at least one of 3,8
9a. R1C78 = {29/47/56} (cannot be {38} which clashes with combined cage 12(2) + R23C9), no 3,8
10. Hidden killer quad 2,3,4,5 in R78C1, R7C23, R9C23 and 19(4) cage for N7, R7C23 contains one of 2,3,4,5, R78C1 contains one of 2,4,5, R9C23 contains one of 3,4,5 -> 19(4) cage must contain one of 2,3,4,5
10a. 1 in N7 only in 19(4) cage at R8C2 = {1279/1369/1378/1468/1567} (cannot be {1459} which contains two of 2,3,4,5)
10b. Cannot be {1468}, here’s how
19(4) cage = {146}8 => R78C1 = [92] => R9C23 = {57} => R7C23 cannot be {38} because 19(3) cage at R6C2 cannot be 8{38}
10c. 19(4) cage at R8C2 = {1279/1369/1378/1567}, no 4
11. R78C1 = [56/65/92] (cannot be [47] because R78C1 = [47] + 19(4) cage = {136}9 clashes with R9C23 and R8C1 = 7 clashes with all others combinations for 19(4) because R8C1 “sees” all the cells of the 19(4) cage), no 4 in R7C1, no 7 in R8C1, clean-up: no 1 in R8C9 (step 2), no 9 in R7C9
12. R23C1 = [49/58/67], R78C1 = {56}/[92] -> combined cage R2378C1 = [49]{56}/[58][92]/[67][92], 9 locked for C1, clean-up: no 2 in R2C2
13. 19(3) cage at R6C2 = {289/379/478/568} (cannot be {469} which clashes with R78C1 = {56} or R7C19 = [94])
[With hindsight this elimination of {469} could have been done after step 2.]
14. 19(4) cage at R8C2 = {1279/1369/1378/1567} (step 10c)
14a. Cannot be {1369}, here’s how
19(4) cage = {136}9 => R78C1 = [92] => R7C9 = 4 (step 2a), R9C23 = {48} (only remaining place for 4 in N7) => R7C23 cannot be {57} because 19(3) cage at R6C2 cannot be 7{57}
14b. 19(4) cage = {1378} can only be {137}8, here’s how
19(4) cage = {138}7 => R9C23 = {57} => R78C1 = [92] => R7C23 cannot be {46} because 19(3) cage at R6C2 cannot be {469} (step 13)
-> 19(4) cage at R8C2 = {127}9/{129}7/{137}8/{156}7, no 8 in R8C23 + R9C1
15. 19(4) cage at R8C2 = {127}9/{129}7/{137}8/{156}7
15a. 19(4) cage at R8C2 = {127}9/{137}8/{156}7 => R9C23 cannot be {57}
19(4) cage at R8C2 = {129}7 => R78C1 = {56} => R9C23 cannot be {57}
15b. -> R9C23 = {39/48}, no 5,7
15c. 19(4) cage at R8C2 = {129}7 => R6C2 = 9 (step 6) -> no 9 in R8C2
16. R23C9 = [18/27/36], R78C9 = [46/73/82] -> R2378C9 = [1873/1846/2746/3682]
16a. 25(4) cage in N6 = {1789/2689/3589/3679/4579} (cannot be {4678} which clashes with R2378C9, ALS block), 9 locked for N6, clean-up: no 2 in R4C6, no 1 in R5C6, no 1 in R6C6
17. 19(4) cage at R8C2 (step 15) = {127}9/{129}7/{137}8/{156}7
17a. {127}9 => R8C4 = 9
{129}7/{137}8 => R9C23 = {48} => 9 in R9 only in R9C456
{156}7 => R7C1 = 9 => 9 in R9 only in R9C456
17b. -> 9 in R8C4 + R9C456, locked for N8
18. 9 in 45(9) cage only in R3C456 + R456C5, CPE no 9 in R12C5
19. R2378C9 (step 16) = [1873/1846/2746/3682]
19a. Cannot be [1873], here’s how
[1873] => R3C1 = 7 (step 1), R8C1 = 5 (step 2) => R7C1 = 6 -> no place for 9 in C1
19b. R2378C9 = [1846/2746/3682], 6 locked for C9
19c. R78C9 = [46/82], no 3,7, clean-up: no 5 in R8C1 (step 2), no 6 in R7C1
[With hindsight after step 12 I ought to have spotted 9 in C1 only in R37C1 -> R3C19 = [96] (step 1) or R7C19 = [94] (step 2a) -> R37C9 must contain at least one of 4,6...]
20. Naked pair {26} in R8C19, locked for R8, clean-up: no 3,7 in R6C8 (step 7)
21. 19(4) cage at R8C2 (step 17) = {127}9/{129}7/{137}8/{156}7
21a. Cannot be {127}9, here’s how
[My original way to do this was flawed but I’ve found a slightly longer way]
19(4) cage = {127}9 => R8C1 = 6 => R7C1 = 5 => R7C9 = 8 (step 2a) => R9C23 = {48} (only remaining place for 8 in N7) => 9 in R9 only in R9C456 => no 9 in R8C4
21b. 19(4) cage at R8C2 = {129}7/{137}8/{156}7, no 9 in R8C4, clean-up: no 7 in R6C2 (step 6)
21c. 6 of {156}7 must be in R9C1 -> no 5 in R9C1
22. 9 in N8 only in R9C456, locked for R9, clean-up: no 3 in R9C23
22a. Naked pair {48} in R9C23, locked for R9 and N7, clean-up: no 1,5 in R9C78
22b. Killer pair 2,6 in R8C9 and R9C78, locked for N9
23. 45 rule on R9 2 innies R9C19 = 1 outie R8C5 + 3
23a. R9C19 cannot total 10 (cannot be [73] which clashes with R9C78) -> no 7 in R8C5
24. 21(4) cage at R8C6 = {1389/1479/3459} (cannot be {1578} which clashes with R8C4), 9 locked for R8 and N9
24a. 19(4) cage at R8C2 (step 21b) = {137}8/{156}7, no 2
25. 25(4) cage in N6 (step 16a) = {1789/3589/3679/4579} (cannot be {2689} which clashes with R2378C9, ALS block), no 2
26. 2 in C9 only in R28C9 -> R2378C9 (step 19b) = [2746/3682], no 1, clean-up: no 8 in R3C9, no 7 in R3C1 (step 1), no 6 in R2C1
26a. R2378C1 (step 12) = [49][56]/[58][92], 5 locked for C1, clean-up: no 6 in R2C2
27. R2C3 + R3C23 (step 4) = {128/137/146/236} (cannot be {245} which clashes with R2C1), no 5
28. 45 rule on N3 3 innies R2C7 + R3C78 = 13 = {139/148/157/247/346} (cannot be {238} which clashes with R2C9, cannot be {256} which clashes with R23C9)
28a. R1C78 = {29/56} (cannot be {47} which clashes with R2C7 + R3C78 or with R2C7 + R3C78 + R23C9 when R2C7 + R3C78 = {139}), no 4,7
29. 14(3) cage at R6C8 = {158/167/257/356} (cannot be {248} which clashes with R7C9, cannot be {347} which clashes with R9C78), no 4, clean-up: no 5 in R8C6 (step 7)
30. 45 rule on R1 3 outies R2C258 = 17 = {179/278/368/467} (cannot be {458} which clashes with R2C1, cannot be {359} which clashes with R2C19, cannot be {269} because 2,6 only in R2C5), no 5, clean-up: no 6 in R1C1, no 7 in R1C9
30a. 1,2,6 only in R2C5 -> R2C5 = {126}
31. 45 rule on R1 2 innies R1C19 = 1 outie R2C5 + 6
31a. R2C5 = {126} -> R1C19 = 7,8,12 = {34/35/39/48/57} (cannot be {25} which clashes with R1C78), no 2 in R1C1, clean-up: no 9 in R2C2
32. Killer pair 4,8 in 11(2) cage at R1C1 and R23C1, locked for N1, clean-up: no 2,6 in R1C23
33. R2C3 + R3C23 (step 27) = {236} (only remaining combination, cannot be {137} which clashes with 11(2) cage at R1C1), locked for N1, clean-up: no 8 in 11(2) cage at R1C1, no 7 in R1C23
33. Naked pair {47} in 11(2) cage at R1C1, locked for N1 and D\ -> R2C1 = 5, R3C1 = 8, R7C1 = 9, R8C1 = 2, R8C9 = 6, R7C9 = 4, R3C9 = 7, R2C9 = 2
33a. Naked pair {19} in R1C23, locked for R1
33b. Naked pair {56} in R1C78, locked for R1 and N3
33c. 2 in R1 only in R1C456, locked for N2
33d. 9 in R3 only in R3C456, locked for N2 and 45(9) cage at R3C4, no 9 in R456C5
33e. 9 in C9 only in R456C9, locked for N6
33f. Clean-up: no 3,8 in R2C8, no 4,7 in R4C3, no 3,6 in R6C7, no 3 in R9C78
34. R2C258 (step 30) = {179/467} -> R2C2 = 7, R1C1 = 4
35. 1 in N3 only in R3C78, locked for R3 and 11(3) cage at R3C7
35a. 11(3) cage at R3C7 = {137/146} -> R4C8 = {67}, R3C7 = {89} (step 5)
36. 2 in N1 only in R3C23, locked for 13(4) cage at R3C2, no 2 in R4C2
36a. 13(4) cage at R3C2 = {1237/1246}, no 5, 1 locked for R4 and N4, clean-up: no 5 in R5C4, no 9 in R6C4
36b. 1,4,7 only in R4C12 -> no 3,6 in R4C12
37. Naked pair {27} in R9C78, locked for R9 and N9
38. 14(3) cage at R6C8 (step 29) = {158} (only remaining combination, cannot be {356} because R7C23 = [67] clashes with 19(4) cage at R8C2), CPE no 1,5,8 in R8C8
39. 3 in N9 only in R8C78 + R9C9, locked for 21(4) cage at R8C6, no 3 in R8C6
39a. 21(4) cage at R8C6 (step 24) = {1389/3459}, no 7
40. R56C1 = {367} -> 12(3) cage in N4 = {237} (only combination containing two of 3,6,7) -> R5C2 = 2, R56C1 = {37}, locked for C1 and N4, clean-up: no 8,9 in R4C4, no 4 in R5C34, no 3,7,8 in R6C4
41. R4C1 = 1, R4C2 = 4, R3C3 = 2 (hidden single in N1), placed for D\, R3C2 = 6 (step 36a), R2C3 = 3, R5C34 = [51], R9C23 = [84], R6C2 = 9, R8C4 = 7 (step 6), R9C1 = 6, R7C3 = 7, both placed for D/, R1C23 = [19], R8C3 = 1, R7C2 = 3 (step 13), R8C2 = 5, placed for D/
[No more routine clean-up]
42. R3C7 = 1, R6C4 = 2 (hidden singles on D/), R6C3 = 8, R4C3 = 6, R4C4 = 5, placed for D\, R7C7 = 8, placed for D\, R5C5 = 3, placed for both diagonals, R8C8 = 9, placed for D\, R1C9 = 8, placed for D/
and the rest is naked singles without using the diagonals.