[account42]

Except in that model it would be fine to return an error as soon as soon as you know there is an EOF while in the real world you do want to read right up to the EOF because EOF is usually not an error condition but expected, even with streams of indeterminate length.

[robotresearcher]

The model is that you don’t know there’s an EOF until after you’ve read the last data byte.