/verify - Manifest Verification Runner

Orchestrate verification of all criteria from a Manifest by spawning parallel verifiers. Report results grouped by type.

Input: $ARGUMENTS

Format: <manifest-file-path> <execution-log-path> [--mode efficient|balanced|thorough] [--scope D1,D2,...] [--final] [--deferred]

Both paths required — return usage error if missing. Mode defaults to thorough if not provided. --scope and --final are mutually exclusive (final is full by definition); when both appear, treat as final. --deferred runs only method: deferred-auto criteria — see "Deferred-Auto Criteria" below.

Selective vs Full Verification

/verify runs in one of two modes — selective or full — driven by the caller (/do):

• Selective pass. Runs only the ACs of the in-scope deliverables (passed via --scope D2,D3, or computed by /do as the deliverable owning a failed criterion in fix-loop) plus all Global Invariants (INV-G* always run). Used during the fix-loop and after scoped /do invocations to keep token cost bounded.
• Full pass. Runs every AC across every deliverable plus all globals. Triggered by --final from /do, or auto-triggered by /verify itself after a selective pass goes green (see Outcome Handling).

When --scope is absent and --final is absent, selective mode degenerates to full — there's no narrowing to apply, so behavior matches today's "verify everything." This is also the first /verify pass on a fresh /do (no failure context yet, no scope flag).