{"id":"bidirectional-ocp-bounded-by-structural-stability","text":"Composite-Visitor's bidirectional OCP coverage (new types via Composite, new operations via Visitor) achieves full bidirectional extensibility for recursive structures only when the element class structure is stable — if structure changes frequently, the Visitor axis collapses (all visitors need updating) and only standard Composite OCP remains.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["composite-visitor-dual-ocp-coverage"],"outlist":["visitor-tradeoff-stable-structure-required"],"label":"Bidirectional OCP is conditional on structural stability; the strong claim propagates to 6 downstream conclusions that implicitly assume stability"}],"dependents":[],"metadata":{"source_type":"derived"},"created_at":"2026-06-18T02:11:32+00:00","updated_at":"2026-06-18T02:11:32+00:00","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"bidirectional-ocp-bounded-by-structural-stability","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":[],"label":"Bidirectional OCP is conditional on structural stability; the strong claim propagates to 6 downstream conclusions that implicitly assume stability","violated_outlist":["visitor-tradeoff-stable-structure-required"]}]}}