s_hskz
【５】まで読ませて頂きました。実に細かいまとめですね…… ざっくりと読んだだけの私の直感で【５】までの流れに個人的な好みをいれさせて頂くと……４は必ずしも避けない感じです。と云うのは①から④までの天秤で左右に何個づつ乗せるかについて勘案した場合に最初から形を綺麗すぎるところまでに絞りたくない気がするからです。結果論で綺麗になるのは好みではありますが運が良いときだけと割りきるかもしれません。
とは言え、Yssさんの思考をトレース仕切れていませんし【６】以後は追いかけきれませんでした。
なお、このおまけ問題で、ニセ１枚のケースとニセ２枚のケースとをあわせた全体で、ハミング距離が２ならば、判定できるコインの枚数にはまだまだ余力があることになるのではないかと存じます。
追伸。ロックは暫く見送ります。どうかご安心くださいますよう。
解けてないですが、進んだところまでとりあえず書いてみました。