{"id":"solution-read-never-exceeds-n","text":"`Solution.read` places at most `n` characters into `buf`, enforced by `min(count, n - total)` on every copy iteration — the key correctness guard.","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":"solution-read-never-exceeds-n","truth_value":"IN","reason":"premise"}]}}