{"id":"ceiling-div-integer-idiom","text":"The codebase uses `(n + d - 1) // d` (here `(sum + 1) // 2`) as the standard integer ceiling division idiom, avoiding floating-point precision issues from `math.ceil`.","truth_value":"IN","source":"entries/2026/06/06/minimum-amount-of-time-to-fill-cups-solution.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"ceiling-div-integer-idiom","truth_value":"IN","reason":"premise"}]}}