入力は計算開始時に通常テープに書かれてるものだけを指している。

>その停止時刻をT(x)とした時に、オラクルテープの添字T(x)の右側は無視できる。

これはそうはならない。
なぜなら停止時刻は入力によって左右されるものだから。
入力が大きくなれば停止時刻も大きくなり、
結果、オラクルテープが可算無限長もつのは本質的である。