Contract-Neutral: test-only coverage and source-contract assertions; no runtime or contract behavior changed