Implements batch list/show/ready/next/start/complete commands with dependency
validation, migrates 42 implementation batches (2377 features, 2087 tests) from
porting_batches.db into the live tracking database, and documents the batch
workflow in AGENTS.md.
Status updates (feature/test update and batch-update) now verify the
requested status against Roslyn audit classification. Mismatches
require --override "reason" to force. Overrides are logged to a new
status_overrides table and reviewable via 'override list' command.
Add 'deferred' to features.status CHECK constraint (table migration).
Server module (module_id=8) 3394 features: verified → deferred.
These features have ported implementations but their unit tests are
deferred pending a runnable .NET server end-to-end.
Small module features (modules 1-7, 9-12) remain verified.
