I didn’t notice suggestion of (3) but I skimmed over some parts.
(Separately, the line “The whole point of out-of-the-box solutions is that they’re unexpected-in-advance” is funny to me / reminded me of this HPMOR scene[1], in that you imply expecting in advance non-specific out-of-the-box solutions, which you can then also have strong expectations to not involve some things (e.g. a program-typing task not involving tiling the world outside this room with copies of the program), but I don’t anticipate we actually disagree)
I didn’t notice suggestion of (3) but I skimmed over some parts.
(Separately, the line “The whole point of out-of-the-box solutions is that they’re unexpected-in-advance” is funny to me / reminded me of this HPMOR scene[1], in that you imply expecting in advance non-specific out-of-the-box solutions, which you can then also have strong expectations to not involve some things (e.g. a program-typing task not involving tiling the world outside this room with copies of the program), but I don’t anticipate we actually disagree)