{"id":"extend-or-reset-canonical-consecutive-pattern","text":"The single-pass \"extend current run or reset counter\" idiom is the canonical approach for all consecutive-element problems, with in-loop max updates eliminating post-loop fixup.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["extend-or-reset-pattern","maxpower-eager-max-update","no-post-loop-fixup-needed"],"outlist":[],"label":"Run-tracking with eager max avoids off-by-one errors that end-of-array special cases introduce"}],"dependents":["single-pass-streaming-dominant-shape"],"metadata":{"last_reviewed":"2026-06-07T22:02:22","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"extend-or-reset-canonical-consecutive-pattern","truth_value":"IN","reason":"SL justification valid","antecedents":["extend-or-reset-pattern","maxpower-eager-max-update","no-post-loop-fixup-needed"],"label":"Run-tracking with eager max avoids off-by-one errors that end-of-array special cases introduce"},{"node":"extend-or-reset-pattern","truth_value":"IN","reason":"premise"},{"node":"maxpower-eager-max-update","truth_value":"IN","reason":"premise"},{"node":"no-post-loop-fixup-needed","truth_value":"IN","reason":"premise"}]}}