php: file(...) : Format der Datei?

[encoder]

Ohne auswendig zu wissen was file(...) genau macht, bezweifle ich dass es die Datei auswertet.

Das dürfte an print_r deutlich werden, das sagt dir dass $Erledigt nur ein Element hat, nämlich mit Index 0 und dem Inhalt
"5" => true,"6" => true,"7" => true,"8" => false,"9" => true

Dein Code liest also die Zeile ein wie sie ist. Die Elemente [1] usw. gibt es nicht.

6: T, 7: T ?

???