{"id":"double-dispatch-unifies-type-resolution-across-patterns","text":"Double dispatch is the shared type-resolution mechanism connecting Visitor's OCP axis inversion to the broader elimination of fragile type-switching: Visitor's Accept→Visit protocol is precisely an instance of the general double-dispatch technique that replaces dynamic_cast/type-switch chains, meaning Visitor's architectural contribution (new operations without modifying elements) is a specific application of a more general principle for achieving type-safe polymorphic dispatch across independently varying hierarchies.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["visitor-double-dispatch-mechanism","double-dispatch-eliminates-type-switching"],"outlist":[],"label":"Visitor's double-dispatch protocol is a specific instance of the general type-switching elimination technique"}],"dependents":["double-dispatch-completes-visitor-extensibility-mechanism"],"metadata":{"source_type":"derived","review_result":"pass"},"created_at":"2026-06-18T01:19:55+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":"double-dispatch-unifies-type-resolution-across-patterns","truth_value":"IN","reason":"SL justification valid","antecedents":["visitor-double-dispatch-mechanism","double-dispatch-eliminates-type-switching"],"label":"Visitor's double-dispatch protocol is a specific instance of the general type-switching elimination technique"},{"node":"visitor-double-dispatch-mechanism","truth_value":"IN","reason":"SL justification valid","antecedents":["gof-visitor-double-dispatch-via-accept","visitor-passed-as-argument-to-accept","gof-visitor-two-class-hierarchies"],"label":"Accept-as-argument + callback-encodes-type + two-hierarchy-structure together constitute the double-dispatch mechanism"},{"node":"gof-visitor-double-dispatch-via-accept","truth_value":"IN","reason":"premise"},{"node":"visitor-passed-as-argument-to-accept","truth_value":"IN","reason":"premise"},{"node":"gof-visitor-two-class-hierarchies","truth_value":"IN","reason":"premise"},{"node":"double-dispatch-eliminates-type-switching","truth_value":"IN","reason":"premise"}]}}