質問者は>>73にあるように「60%から検証を始める」と問題がありそうだと考えているようだが
どの目が出るかは rand(1, 100) を実行した時点で決まる
あとは検証してるだけなので、どのアルファベットから始めても確定した過去は変わらない

狐につままれたように思っているのは確率分布の上側を除いていく処理が、なぜ指定された割合と一致するのかということだと予想
これが確率論から導けるのか、それともたまたま計算結果が一致する別のアルゴリズムなのか

それが「この処理は確率のアルゴリズムであるのか?」という表現に至ったのではないかね