rtl-p5-verify

name	rtl-p5-verify
description	Phase 5 legacy bundled verification: functional + silicon checks in one flow. Triggers 'verify', 'Phase 5', 'run all checks'. New flows: prefer split P5A/P5B.
user-invocable	true
argument-hint	[--module=name | --stage=N | --resume]
allowed-tools	Bash, Read, Write, Edit, Task, Grep, Glob

Execute Phase 5 verification pipeline. Runs three-stage verification (module → top → final) covering 9 verification categories with module graduation gates and compliance review. This is a legacy bundled bridge while teams transition to split P5A/P5B.

<Use_When>

• Phase 4 RTL implementation is complete with lint passing
• User says "verify", "verification", "Phase 5", "run all checks"
• Need comprehensive verification: lint, formal, CDC, functional, coverage, synthesis
• Need one legacy-style Phase-5 command that bundles functional + silicon-oriented checks
• Need migration bridge while adopting split flows (rtl-p5a-functional-closure + rtl-p5b-silicon-validation)
• Team workflow intentionally keeps the combined legacy Phase-5 interface </Use_When>

<Do_Not_Use_When>

• RTL modules don't exist yet (run rtl-p4-rapid-impl or rtl-p4-implement first)
• Only need functional regression (use rtl-p5s-func-verify)
• Only need a specific verification category (use the category-specific skill)
• Want strict separation of functional closure and silicon validation (use rtl-p5a-functional-closure first, then rtl-p5b-silicon-validation)
• Starting a new verification flow with explicit two-stage closure (default to split rtl-p5a-functional-closure + rtl-p5b-silicon-validation) </Do_Not_Use_When>

Prerequisites

Phase 4 completion required:

• rtl/**/*.sv files must exist
• One of the following completion proofs must exist:
  • reviews/phase-4-rtl/lint-report.md (full rtl-p4-implement path)
  • .rat/state/p4-state.json with gates.p4_exit.verdict = pass (rapid rtl-p4-rapid-impl path)

If prerequisites are missing: WARNING — recommend running /rtl-agent-team:rtl-p4-rapid-impl or /rtl-agent-team:rtl-p4-implement. Proceed with available artifacts — orchestrator will adapt scope.

Execution

Task(subagent_type="rtl-agent-team:p5-verify-orchestrator", prompt="Execute Phase 5 verification. User input: $ARGUMENTS")

Do not perform any work directly. The orchestrator agent manages all stages, module graduation, parallel agent spawning, and compliance review.

Compliance Notes

• Verification must confirm all iron requirement acceptance_criteria are met. When structured acceptance_criteria (with ac_id) exist from P3, verification tracks compliance at the individual criterion level (ac_id granularity). When acceptance_criteria is in string-array format (P1/P2), verification operates at REQ level.
• Final compliance check compares test results against P1+P2+P3 acceptance_criteria
• Phase 5 PASS requires zero unmet iron requirements across all verification categories

Output

• reviews/phase-5-verify/ — 9 category verification reports (lint, formal, CDC, protocol, functional, coverage, performance, synthesis, code review)
• reviews/phase-5-verify/final-compliance.md — overall PASS/FAIL verdict with requirement traceability