Verify one tracked specs/<stable-id>/ feature against its constitution, design, tasks, tests, quality gates, ledger links, and cross-repository contracts.