{"id":"eof-detected-by-short-read","text":"In the read4 solution, EOF is detected solely by `read4` returning fewer than 4 characters; there is no separate EOF flag or sentinel.","truth_value":"IN","source":"entries/2026/06/06/read-n-characters-given-read4-solution.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"eof-detected-by-short-read","truth_value":"IN","reason":"premise"}]}}