{"id":"delta-array-off-by-one-correct","text":"In `maxAliveYear`, the death-year decrement at `delta[death - 1950]` correctly models exclusive death semantics: a person born in 1990 who dies in 2000 contributes to years 1990–1999 only.","truth_value":"IN","source":"entries/2026/06/06/maximum-population-year-solution.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"delta-array-off-by-one-correct","truth_value":"IN","reason":"premise"}]}}