Then I had a go at the V4. I enjoyed this because I made even more use of hidden killers than in the earlier variants but also made several silly mistakes; I've had to re-work some of the steps in the middle of my walkthrough and hope they are right now.
manu's walkthrough had a nice forcing chain, with a built-in contradiction, in his step 8.
Here is my walkthrough for A142 V4.
Prelims
a) R12C1 = {69/78}
b) R1C23 = {17/26/35}, no 4,8,9
c) R1C78 = {17/26/35}, no 4,8,9
d) R12C9 = {29/38/47/56}, no 1
e) R56C2 = {19/28/37/46}, no 5
f) R56C3 = {19/28/37/46}, no 5
g) R56C7 = {16/25/34}, no 7,8,9
h) R56C8 = {79}
i) 20(3) cage at R7C3 = {389/479/569/578}, no 1,2
j) 37(6) at R2C6 = {256789/346789}, no 1
1. Naked pair {79} in R56C8, locked for C8 and N6, clean-up: no 1 in R1C7
1a. 1 in N3 only in R1C8 + R3C789, CPE no 1 in R4C8
2. 45 rule on N7 2 innies R7C13 = 10 = [19/28]/{37/46}, no 5, no 8,9 in R7C1
3. 45 rule on N9 2 innies R7C79 = 12 = {39/48/57}, no 1,2,6
4. 45 rule on R1 3 outies R2C159 = 12 = {129/138/147/156/237/246} (cannot be {345} because R2C1 only contains 6,7,8,9)
4a. R2C1 = {6789} -> no 6,7,8,9 in R2C59, clean-up: no 2,3,4,5 in R1C9
4b. 1 of {156} must be in R2C5 -> no 5 in R2C5
5. 45 rule on N1 2 innies R2C23 = 1 outie R4C2 + 4, IOU no 4 in R2C3
6. 45 rule on N3 2 innies R2C78 = 1 outie R4C8 + 6, IOU no 6 in R2C7
7. 45 rule on C9 1 outie R9C8 = 1 innie R3C9 + 1, no 6,8,9 in R3C9, no 1 in R9C8
8. 45 rule on N78 2 innies R7C15 = 1 outie R7C7 + 2, IOU no 2 in R7C15, clean-up: no 8 in R7C3 (step 2)
9. 45 rule on N89 2 innies R7C59 = 1 outie R7C3 + 4, IOU no 4 in R7C59, clean-up: no 8 in R7C7 (step 3)
10. 45 rule on N4 2 innies R4C23 = 1 outie R7C1 + 10, no 1 in R4C23
11. 45 rule on N47 3(2+1) innies R4C23 + R7C3 = 20
11a. Max R47C3 = 17 -> min R4C2 = 3
12. 45 rule on N8 2 outies R7C37 = 1 innie R7C5 + 8
12a. Max R7C37 = 16 -> max R7C5 = 8
12b. R7C357 = [415/437/459/613/635/679/954/965/987] (cannot be [657] which clashes with R7C79 (step 3) = [75], cannot be [734] which clashes with R7C13 (step 2) = [37], cannot be [789] because R7C13 (step 2) = [37] clashes with R7C79 (step 3) = [93]) -> no 3,7 in R7C3, clean-up: no 3,7 in R7C1 (step 2)
13. 20(3) cage at R7C3 = {389/479/569} (cannot be {578} because R7C3 only contains 4,6,9), CPE no 9 in R7C6
14. Hidden killer pair 1,9 in R456C1, R56C2 and R56C3 for N4, R56C2 and R56C3 can only contain both or neither of 1,9 -> R456C1 can only contain 9 if it also contains 1
[Note. The possibility of 9 in R4C23 isn’t relevant to this step.]
14a. 15(4) cage at R4C1 = {1248/1257/1347/1356/2346} (cannot be {1239} = {239}1, which doesn’t contain 1 in R456C1), no 9
15. R4C23 = R7C1 + 10 (step 10)
15a. R7C1 = {146} -> R4C23 = 11,14,16 cannot be [92], here’s how
R7C1 = 1 => 1 in N4 only in R56C2 or R56C3 = {19} which clashes with [92]
-> no 2 in R4C3
16. 15(4) cage at R4C1 (step 14a) = {1248/1257/1347/1356/2346} cannot be {2346}, here’s how
{2346} => 1 in N4 only in R56C2 or R56C3 = {19}
{2346} = {236}4 => R4C23 (step 10) = 14 but cannot be {59} which clashes with R56C2 or R56C3 = {19} and cannot be {68} which clashes with R456C1 = {236}
or {2346} = {234}6 => R4C23 (step 10) = 16 but cannot be {79} which clashes with R56C2 or R56C3 = {19}
-> 15(4) cage = {1248/1257/1347/1356}, 1 locked for C1
[There’s a forcing chain possible here but I didn’t spot it until step 26.]
17. 45 rule on C1 3 innies R389C1 = 15 = {249/258/348/357} (cannot be {267} which clashes with R12C1, cannot be {456} which clashes with 15(4) cage at R4C1)
17a. 45 rule on C1 1 innie R3C1 = 1 outie R9C2, clean-up: no 1 in R9C2
17b. R3C1 = R9C2 -> combinations for 15(3) cage in N7 are the same as for R389C1
17c. 15(3) cage = {258/348/357} (cannot be {249} which clashes with R7C13), no 9, clean-up: no 9 in R3C1 (step 17a)
18. 9 in C1 only in R12C1 = {69}, locked for C1 and N1, clean-up: no 2 in R1C23, no 4 in R7C3 (step 2), no 6 in R9C2 (step 17a)
19. R2C159 (step 4) = {129/156/246}, no 3, clean-up: no 8 in R1C9
20. 4,8 in R1 only in R1C456, locked for N2
20a. 15(4) cage at R1C4 contains both of 4,8 = {1248} (only remaining combination), 1,2 locked for N2
21. Hidden killer pair 1,6 in R56C7 and 20(4) cage at R4C9 for N6, R56C7 contains both or neither of 1,6 -> 20(4) cage at R4C9 can only contain 6 if it also contains 1 (because no other 1 in N6 and no 6 in R7C9)
[Note. The possibility of 6 in R4C78 isn’t relevant to this step.]
21a. 20(4) cage at R4C9 = {1289/1478/1568/2378/3458} (cannot be {1379} because 7,9 only in R7C9, cannot be {2369/2468} which clash with R56C7, cannot be {2459} which clashes with R2C9, cannot be {1469/2567} which clash with R12C9, cannot be {3467} which contains 6 but no 1), 8 locked for C9
22. 20(4) cage at R4C9 (step 21a) = {1289/1478/1568/2378/3458} cannot be {1289/1478}, here’s how
{1289} = {128}9 => R56C7 = {34}, R7C79 (step 3) = [39] clashes with R56C7
{1478} = {148}7 => R56C7 = {25}, R7C79 (step 3) = [57] clashes with R56C7
-> 20(4) cage = {1568/2378/3458}, no 9, clean-up: no 3 in R7C7 (step 3)
23. R7C37 = R7C5 + 8 (step 12), min R7C37 = 11 (cannot be 10 because of clash with R7C13, CCC) -> no 1 in R7C5
24. 45 rule on C9 3 innies R389C9 = 14 = {149/167/239/347} (cannot be {257/356} which clash with 20(4) cage at R4C9), no 5, clean-up: no 6 in R9C8 (step 7)
25. 15(3) cage in N9 = {159/168/249/267/348/357/456} (cannot be {258} because 5,8 only in R9C8)
25a. 5,8 of {348/357} only in R9C8 -> no 3 in R9C8, clean-up: no 2 in R3C9 (step 7)
26. Consider placements for R7C1
R7C1 = 1 => R7C3 = 9 => no 9 in R56C3, clean-up: no 1 in R56C3
R7C1 = 4 => 1 in C1 only in R456C1, locked for N4, clean-up: no 9 in R56C3
-> R56C3 = {28/37/46}, no 1,9
27. 15(4) cage at R4C1 (step 16) = {1248/1257/1347}
27a. Consider the effect of these permutations on R4C23
{1248/1347} => R7C1 = {14}, 5 in N4 only in R4C23 (step 10) = 11,14 = {56/59}
{1257} => R456C1 = {257}, locked for N4, 1 only in R56C2 = {19}, R56C3 = {46} => R4C23 = {38}
-> R4C23 = {38/56/59}, no 4,7
28. 1 in N6 only in 20(4) cage at R4C9 (step 22) = {1568} or in R56C7 = {16} -> killer pair 1,6 in 20(4) cage at R4C9 + R56C7, locked for N6
29. R7C79 = 12 (step 3)
29a. 2 in 14(3) cage at R7C6 cannot be in R8C6 (R7C67 cannot total 12 which would clash with R7C79, CCC) -> no 2 in R7C6
[Alternatively 45 rule on N9 2 outies R78C6 = 1 innie R7C9 + 2, IOU no 2 in R8C6]
30. 14(3) cage at R7C6 = {149/158/167/239/248/257/347/356}
30a. 5 of {158/356} must be in R7C7, 2 of {257} must be in R7C6 -> no 5 in R7C6
30b. Hidden killer pair 1,2 in 14(3) cage at R7C6 and 19(4) cage for N8, 14(3) cage at R7C6 contains one of 1,2 except for {347/356} -> 19(4) cage must contain at least one of 1,2 and both = {1279} when 14(3) cage = {347/356}
30c. 7 of {167} must be in R7C7, 2 of {257} must be in R7C6, 7 of {347} must be in R7C7 (R78C6 + R7C7 cannot be {37}4 which clashes with 19(4) cage = {1279} -> no 7 in R7C6
31. R2C78 = R4C8 + 6 (step 6)
31a. R2C78 cannot be {26} which clashes with R2C159, cannot be {35} because 37(6) cage cannot contain both of 3,5 -> R2C78 cannot total 8 -> no 2 in R4C8
32. 45 rule on N6 2 innies R4C78 = 1 outie R7C9 + 2
32a. Max R7C9 = 8 -> max R4C78 = 10, no 8 in R4C7
33. 45 rule on N69 3(2+1) innies R4C78 + R7C7 = 14 = [239/257/284/347/437/455] -> no 5 in R4C7
34. 37(6) at R2C6 = {256789/346789}
34a. 2 of {256789} must be in R4C7 -> no 2 in R2C78 + R4C6
35. R2C78 = R4C8 + 6 (step 6)
R4C8 = {345} => R2C78 = 9,10,11 => no 9 in R2C7
R4C8 = 8 => 8 in N3 only in R2C7
-> no 9 in R2C7
35a. 9 in 37(6) cage at R2C6 only in R234C6, locked for C6
36. Hidden killer pair 2,9 in R12C9 and 20(4) cage at R3C7 for N3, R12C9 can only contain both or neither of 2,9 -> 20(4) cage can only contain 2 if it also contains 9
[Note. The possibility of 2 in R1C78 isn’t relevant to this step.]
36a. Hidden killer pair 1,7 in R1C78 and 20(4) cage at R3C7 for N3, R1C78 can only contain both or neither of 1,7 -> 20(4) cage can only contain 7 if it also contains 1
[Note. The possibility of 7 in other cells of N3 isn’t relevant to this step.]
36b. Hidden killer pair/triple 2,6,9 in R1C78, R12C9 and 20(4) cage at R3C7 for N3, R1C78 can contain both or neither of 2,6, R12C9 can contain both or neither of 2,9 -> 20(4) cage can only contain both of 6,9 if it also contains 2
[Note the possibility of 6 in R2C8 isn’t relevant to this step.]
36c. 20(4) cage at R3C7 = {1379/1478/1568/2459/3458} (cannot be {1469} because cage can only contain both of 6,9 if it also contains 2, cannot be {2369} because 2,6,9 only in R3C78, cannot be {2378/2468/2567} because cage can only contain 2 if it also contains 9, cannot be {3467} because cage can only contain 7 if it also contains 1, cannot be {1289} = [9218] which clashes with R3C9 + R9C8 = [12], step 7)
[At this stage I made a serious error in my original solving path. I’ve tried to get back to it as much as possible by bringing a couple of steps forward, as step 37, and then adding a contradiction move.]
37. Hidden killer quad 1,2,4,8 in 18(4) cage at R3C1 and 20(4) cage at R3C7 for R3, 20(4) cage cannot contain more than two of 1,2,4,8 in R3 -> 18(4) cage at R3C1 must contain at least two of 1,2,4,8 in R3
37a. 18(4) cage at R3C1 = {1278/1458/1467/2349/2358/2457} (cannot be {1269} because 6,9 only in R4C2, cannot be {1359/1368/2367} which clash with R1C23, cannot be {3456} which only contains one of 1,2,4,8)
37b. All combinations for 18(4) cage contain two of 1,2,4,8 in R3 except for {1458} = {148}5 (cannot be {145}8 which clashes with R1C23) -> 20(4) cage at R3C7 must contain two of 1,2,4,8 in R3 or one of 1,2,4,8 in R3
and not clash with {145}8
37c. 20(4) cage at R3C7 (step 36c) = {1478/1568/2459/3458} (cannot be {1379} which only contains one of 1,2,4,8
and clashes with {145}8)
37d. All combinations for 20(4) cage at R3C7 must contain two of 1,2,4,8 in R3 (because {1478/3458} clash with {145}8, an ALS block in the case of {3458})
38. R1C78 = {26/35}/[71] cannot be {26}, here’s how
R1C78 = {26} => R12C9 = [74]
20(4) cage at R3C7 (step 37c) = {1478/1568/2459/3458}
{1478/3458} clash with R12C9 (because 4,8 of {3458} must be in R3, step 37d) and {1568/2459} clash with R1C78
-> R1C78 = [35/53/71], no 2,6
39. Naked quad {1357} in R1C2378, locked for R1, clean-up: no 4 in R2C9
39a. R2C5 = 1 (hidden single in N2)
40. Killer pair 2,5 in R2C9 and 20(4) cage at R4C9, locked for C9
41. 15(3) cage in N9 (step 25) = {159/168/249/267/348/357/456}
41a. 2,5,8 of {249/348/456} must be in R9C8 -> no 4 in R9C8, clean-up: no 3 in R3C9 (step 7)
42. R2C78 = R4C8 + 6 (step 6)
42a. R4C8 = {3458} -> R2C78 = 9,10,11,14 = [36/46/38/56/74/83/86] (cannot be {45} because R1C78 = [71] clashes with R3C9 = {17}, cannot be [73] which clashes with R1C78) -> no 5 in R2C8
43. Hidden killer pair 1,7 in R1C23 and 18(4) cage at R3C1 for N1, R1C23 can only contain both or neither of 1,7 -> 18(4) cage can only contain 7 if it also contains 1
[Note. The possibility of 7 in R2C78 isn’t relevant to this step.]
43a. 18(4) cage at R3C1 (step 37a) = {1278/1458/2349/2358} (cannot be {1467} which clashes with R3C9, cannot be {2457} which contains 7 but not 1), no 6
44. R2C23 = R4C2 + 4 (step 5)
44a. R4C2 = {3589} -> R2C23 = 7,9,12,13 = [43/27/45/72/48/58/85] (cannot be {25} which clashes with R2C9, cannot be {57} which clashes with R1C23) -> no 3 in R2C2
45. 18(4) cage at R3C1 (step 43a) = {1278/1458/2349/2358}
45a. 2 of {1278} must be in R3C1 (18(4) cage cannot be 7{12}8 which clashes with 15(4) cage at R4C1) -> no 7 in R3C1, clean-up: no 7 in R9C2 (step 17a)
46. R4C23 = {38/56/59} (step 27a)
46a. R2C23 = R4C2 + 4 (step 5)
46b. R4C2 = {3589} cannot be 9, here’s how
R4C2 = 9 => R2C23 = 13 = {58} clashes with R4C23 = [95] (because R2C23 and R4C3 are all in the 28(6) cage at R2C2)
46c. R4C2 = {358} -> no 5 in R4C3
46d. R4C2 = {358} -> R2C23 = 7,9,12 (step 44a) = [43/27/45/72/48], no 5,8 in R2C2
47. R2C78 = R4C8 + 6 (step 6)
47a. 8 in R2 only in R2C378 -> R2C23 = [48] (step 46d)
and R2C78 (step 42a) = [36/56] or R2C78 = [38/83/86] (cannot be [48/58] = 12,13 because no 6,7 in R4C8) -> no 4 in R2C7
47b. 4 in N3 only in R2C8 + R3C789, CPE no 4 in R4C8
48. R4C8 = {358} -> R2C78 (step 42a) = 9,11,14 = [36/38/56/74/83/86]
48a. R4C78 = R7C9 + 2 (step 32)
48b. R7C9 = {3578} -> R4C78 = 5,7,9,10 = [23/25/43/45/28], no 3 in R4C7
48c. R4C78 = [25] -> no 4 in R2C8 because 37(6) cage cannot contain both of 2,4
or R4C78 = [45] -> no 4 in R2C8
-> no 4 in R2C8, clean-up: no 7 in R2C7 (step 48)
48d. 7 in 37(6) cage at R2C6 only in R234C6, locked for C6
[Now, at last, I’m just about back to my original solving path.]
49. 4 in N3 only in R3C789, locked for R3
49a. R2C2 = 4 (hidden single in N1), clean-up: no 6 in R56C2
[Make sure all eliminations are made for 28(6) cage at R2C2.]
50. R2C23 = R4C2 + 4 (step 5), R2C2 = 4 -> R2C3 = R4C2, no 2,7 in R2C3
50a. R2C9 = 2 (hidden single in R2), R1C9 = 9, R12C1 = [69]
50b. 7 in R2 only in R2C46, locked for N2
50c. 2 in N6 only in R456C7, locked for C7
51. 6 in C2 only in R78C2, locked for N7 -> R7C3 = 9, R7C1 = 1 (step 2), clean-up: no 3 in R7C9 (step 3)
52. R56C2 = {19} (hidden pair in N4), locked for C2, clean-up: no 7 in R1C3
52a. 9 in R4 only in R4C456, locked for N5
53. 18(4) cage at R3C1 (step 45) = {1278/2358}
53a. 1 of {1278} must be in R3C3 -> no 7 in R3C3
53b. 7 in N1 only in R13C2, locked for N2
54. 4 in N3 only in 20(4) cage at R3C7 (step 37c) = {1478/3458}, no 6
54a. R2C8 = 6 (hidden single in N3)
[Make sure all eliminations are made for 37(6) cage at R2C6.]
54b. 4 of {3458} must be in R3C9 -> 5 of {3458} must be in R3C7 (R34C8 = {35/58} clash with R3C9 + R9C8 = [45], step 7) -> no 3 in R3C7, no 5 in R34C8
54c. R2C78 = R4C8 + 6 (step 6), R2C8 = 6 -> R2C7 = R4C8, no 5 in R2C7
55. 20(4) cage at R4C9 (step 22) = {1568/3458}, no 7, clean-up: no 5 in R7C7 (step 3)
56. 20(4) cage at R3C7 (step 37c) = {1478/3458}
56a. 8 of {1478} must be in R4C8, 4,5 of {3458} must be in R3C79 with 3,8 in R34C8 -> 8 locked for C8, no 8 in R3C7, clean-up: no 7 in R3C9 (step 7)
56b. 5,7 only in R3C7 -> R3C7 = {57}
57. 7 in C9 only in R89C9, locked for N9 -> R7C7 = 4, R7C9 = 8 (step 3)
57a. R4C78 = R7C9 + 2 (step 32)
57b. R7C9 = 8 -> R4C78 = 10 = [28], R2C7 = 8 (step 54c), clean-up: no 3,5 in R56C7
58. Naked pair {16} in R56C7, locked for C7 and N6
59. Naked triple {345} in R456C9, locked for C9 -> R3C9 = 1, R9C8 = 2 (step 7), clean-up: no 7 in R1C7, no 2 in R3C1 (step 17a)
60. Naked pair {35} in R1C78, locked for R1 and N3 -> R1C23 = [71], R3C78 = [74]
61. R4C23 (step 27a) = {56} (only remaining combination) -> R4C2 = 5, R4C3 = 6, clean-up: no 4 in R56C3
61a. R2C3 = 5 (hidden single in N1)
[Make sure all eliminations are made for 28(6) cage at R2C2.]
62. Naked pair {37} in R2C46, locked for N2 -> R3C4 = 9, R3C6 = 5, R3C5 = 6
63. R4C4 = 1 (hidden single in R4) -> R2C4 = 3 (cage sum), R2C6 = 7, R4C6 = 9 (cage sum)
64. 5 in C1 only in R89C1 -> 15(3) cage in N7 (step 17c) = {258/357}, no 4
64a. R9C2 = {38} -> no 3,8 in R89C1
65. R7C37 = R7C5 + 8 (step 12)
65a. R7C37 = [94] = 13 -> R7C5 = 5, R7C8 = 3, R1C78 = [35], R8C8 = 1
66. R7C3 = 9 -> R78C4 = 11 = [74]
66a. R7C7 = 4 -> R78C6 = 10 = [28], R1C6 = 4, R5C6 = 3, R6C6 = 6, R7C2 = 6, R9C4 = 6, R9C6 = 1, R89C9 = [67], R9C1 = 5, R89C7 = [59], R89C5 = [93], R9C2 = 8, R8C1 = 2 (step 64), clean-up: no 7 in R6C3
67. 2 in N4 only in R56C3 = {28}, locked for C3 and N4
68. R5C4 = 5 (hidden single in C4), R3C5 = 6, R5C6 = 3 -> R45C5 = 29 - 3 - 5 - 6 = 15 = [78]
and the rest is naked singles.