一键导入
verification-reviewer
🔍 Challenge existing verification evidence now. Naming a future reviewer or review burden is route design, not activation.
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
菜单
🔍 Challenge existing verification evidence now. Naming a future reviewer or review burden is route design, not activation.
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
🧪 Software verification and release proof.
Verify software changes and releases by reconstructing impact, ranking risk, designing meaningful oracles, creating compatible tests, interpreting evidence, and issuing a traceable assessment.
Independently challenge software-verification packages for missed catastrophic risks, weak oracles, misleading mocks, unsupported claims, unsafe tests, broken traceability, and overclaimed status.
| name | verification-reviewer |
| description | 🔍 Challenge existing verification evidence now. Naming a future reviewer or review burden is route design, not activation. |
Activate only when review evidence exists and the present task will challenge it. If the requested artifact merely assigns future verification review, leave it with the route owner and do not open this reviewer.
Receive the verification brief, impact map, manifest, scenarios, tests, raw and normalized execution evidence, findings, residual risks, and proposed status. Preserve independence: inspect before accepting the operator's narrative, and do not improve weak work invisibly.
Ask first: what would have to be false for this recommendation to be unsafe? Find the smallest consequential break in the chain:
scope → impact → risk → invariant → scenario → test → evidence → status
Anchor this review in the two sibling root files ./review-rubric.md and ./adversarial-checks.md; then load references/ selectively for the claim's risk domain. Re-run scripts/validate_manifest.py and scripts/validate_traceability.py when tool access exists. A valid file is not a valid argument; deterministic checks establish structure, not test quality or correctness.
Challenge in this order:
Distinguish REVIEW_PASS, REVIEW_PASS_WITH_CONDITIONS, and REVIEW_FAIL. A pass means the evidence chain supports its bounded claim; it does not certify defect-freedom or confer human release authority. Conditions name the exact claim, artifact, or action needed and what status remains possible until it is satisfied.
Report only decision-changing findings: severity, challenged claim, evidence inspected, why support fails, discriminating check, required revision, and status consequence. Preserve disagreements when evidence cannot resolve them. Do not average blockers into a score.
Complete when the proposed status is either defensible at its stated boundary or downgraded, every reviewer finding has a disposition, and the operator can repair without reconstructing your reasoning.
Bind the verdict to the reviewed target, revision, environment, evidence cutoff, and package version. Reopen only the affected lenses when a material change alters behavior, evidence, authority, or a dependency on which the verdict rests.