creational-substitutability-type-integrity

Status: OUT

Creational patterns and LSP address complementary aspects of type integrity across the object lifecycle: creational patterns govern which concrete types enter the system and how they are accessed (Factory Method for type selection, Singleton for instance multiplicity), forming the runtime object supply chain that composition-based patterns depend on, while LSP's dual role validates that those types are behaviorally substitutable (enabling abstract coupling) and reveals through violation analysis what behavioral contracts must be preserved — making creation and substitutability two related concerns that together support type safety from instantiation to use.

Justifications

depth-4 insight connecting "what enters the system" (creational control) to "what must hold for what entered" (behavioral substitutability)

Depends on (SL): creational-complete-lifecycle-infrastructure, lsp-dual-role-enabling-and-constraining

Depended on by

JSON