{"id":"two-max-tracker-ge-not-gt","text":"In the two-max tracking idiom (`max_product`), the primary branch uses `>=` (not `>`), which is critical for correctness: with `>`, an array of identical values would leave `max2` at the initial value of 0 instead of being promoted.","truth_value":"IN","source":"entries/2026/06/06/maximum-product-of-two-elements-in-an-array-solution.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"two-max-tracker-ge-not-gt","truth_value":"IN","reason":"premise"}]}}