Execute an existing specification with requirement traceability, controlled deviations, dependency-aware progress, and closure evidence. Always call implementation for the shared mutation contract.
