Safe Substitution
Kind: capability
Layer: Structural Core
Record: lexicon:safe-substitution
Canonical: Lexicon
Replacing a component or expression with an equivalent one without altering program correctness.
Listed in Lexicon terms, after Safe Refactoring and before Model Drift.