Status: IN
LSP's behavioral contract framework is the correctness guarantee underlying the entire wrapping taxonomy: Proxy must be substitutable for its subject, Decorator for its component, and Strategy implementations for the abstract strategy — each wrapping depth depends on behavioral substitutability to preserve client transparency.
Every level of the Proxy→Decorator→Strategy wrapping depth axis relies on LSP's substitutability contracts
Depends on (SL): lsp-contractual-completeness, wrapping-taxonomy-access-to-algorithm