# Verification

> Runs every required deterministic check (lint, type-check, tests, format, secret/dependency scan) against a diff (docs/PROCESS_CONTRACT.md, stage TESTING).

- Skill: `erik-corder/verification` (Agent Skill, multi-file: 7 files)
- Install (CLI): `npx skillmds@latest add erik-corder/verification`
- Raw SKILL.md: https://api.skillmd.com/api/skills/erik-corder/verification/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Security
- Author: erik-corder (https://skillmd.com/u/erik-corder)
- Updated: 2026-09-22
- Page: https://skillmd.com/skills/erik-corder/verification

---


# Verification

Covers Stage 9, `TESTING` (docs/PROCESS_CONTRACT.md §5). The one AI
capability this Skill allows is summarizing results for human
readability — an AI execution provider may never substitute its own
claim for actual tool output. See `evidence-recording` (in the `core`
pack) for how each check's real result is turned into a durable record.

## Rejection path

Any failing check → `TEST_FAILURE_EXPLANATION` (this pack does not yet
ship a Skill for that stage — see `docs/PROCESS_CONTRACT.md`, stage
`TEST_FAILURE_EXPLANATION`, for its definition).