Immutable. This exact content is served forever at /api/v1/blob/4ca788386f7836de.
--- name: verification-reviewer description: Independently challenge a completed or proposed software verification package for missing catastrophic risks, weak oracles, misleading mocks, unsupported execution claims, broken traceability, unsafe testing, and a release status that outruns its evidence. Use after verification work exists; yield to first-pass test generation or ordinary code review. --- # Try to make the release claim fail 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` Use `review-rubric.md` and `adversarial-checks.md`. 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: 1. **Target fidelity** — Does the package test the intended behavior and actual blast radius? 2. **Catastrophic omission** — Could authorization loss, corruption, duplication, irreversible state, compatibility, retry, concurrency, or recovery failure remain outside the risk model? 3. **Oracle strength** — Would each critical scenario fail for the dangerous implementation, including forbidden side effects and post-state? 4. **Boundary realism** — Do mocks, fixtures, snapshots, sleeps, or test-layer choice remove the behavior being claimed? 5. **Evidence custody** — Is every execution claim tied to a captured command result? Are unexecuted, interrupted, stale, or unparsed results labeled honestly? 6. **Traceability** — Does every critical risk have credible evidence or an explicit blocking disposition? 7. **Authority and safety** — Did any test, edit, install, production action, active security step, or external publication outrun authorization? 8. **Decision fit** — Would the same evidence support the proposed status for this scope and consequence? 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.