Automatic mutation campaigns for Verus and mixed Rust workspaces. Adds contract and specification operators, trusted-boundary challenges, cargo-mutants inventory ingestion, diff and file scoping, isolated parallel workers, mutation-score gates, and deterministic reporting. Sea Otter's four-worker diff-scoped campaign completes in 6m46s, with an estimated 1.8-2.0x parallel speedup.