Substitutability

Kind: algorithm

Record: algorithms:substitutability

Canonical: Algorithms

Closure: Dependencies in load order

Validate that every implementation of an abstraction preserves the abstraction’s behavior, accepts valid parent inputs, returns valid parent outputs, and does not strengthen forbidden constraints.

Listed in Algorithm contracts, after Interface Contract and before Canonical Data.

Domain

• Architecture

Tier

• leaf

Math type

• Logic

Force

• Contract compatibility
• Correctness verification

Contract of

• Substitutability

Linked from

• Quality Attributes
• The mathematics
• Domain tiers
• The forces