{"id":"polymorphic-iteration-bears-creational-cost-of-behavioral-abstraction","text":"Polymorphic iteration imposes a creational overhead (heap allocation via factory methods, RAII cleanup via proxy objects) that non-polymorphic iteration avoids, making Factory Method the cost-bearer for Iterator's behavioral abstraction — concretely demonstrating that programming to an interface incurs creational infrastructure costs proportional to the abstraction's polymorphic requirements.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["polymorphic-iterators-need-heap-and-raii","iterator-factory-method-creates-appropriate-iterator"],"outlist":[],"label":"The program-to-interface principle has concrete creational costs when applied to iteration"}],"dependents":[],"metadata":{"source_type":"derived","review_result":"pass"},"created_at":"2026-06-18T02:11:31+00:00","updated_at":"2026-06-18T06:15:08+00:00","reviewed_at":"2026-06-18T06:15:08+00:00","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"polymorphic-iteration-bears-creational-cost-of-behavioral-abstraction","truth_value":"IN","reason":"SL justification valid","antecedents":["polymorphic-iterators-need-heap-and-raii","iterator-factory-method-creates-appropriate-iterator"],"label":"The program-to-interface principle has concrete creational costs when applied to iteration"},{"node":"polymorphic-iterators-need-heap-and-raii","truth_value":"IN","reason":"premise"},{"node":"iterator-factory-method-creates-appropriate-iterator","truth_value":"IN","reason":"premise"}]}}