# Inspequte Rule Verify

> Perform isolated, file-based verification of an inspequte rule change using verify-input/. Use when producing a go/no-go verification report from spec.md, patch/diff, and report files without reading plan.md or chat logs.

- Skill: `diegosouzapw/inspequte-rule-verify` (Agent Skill, multi-file: 2 files)
- Install (CLI): `npx skillmds@latest add diegosouzapw/inspequte-rule-verify`
- Raw SKILL.md: https://api.skillmd.com/api/skills/diegosouzapw/inspequte-rule-verify/raw
- Safety review: pending (external: skill-scanner PASS, skillspector PASS)
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Security
- Author: diegosouzapw (https://skillmd.com/u/diegosouzapw)
- Updated: 2026-09-08
- Page: https://skillmd.com/skills/diegosouzapw/inspequte-rule-verify

---


# inspequte rule verify

## Required Input Directory
- `verify-input/`

Required files:
- `verify-input/spec.md`
- `verify-input/diff.patch` (or equivalent change set)
- `verify-input/reports/*` (test/build/audit evidence)

Optional but recommended:
- `verify-input/changes/*`
- `verify-input/changed-files.txt`

## Isolation Policy
- Verify must only use `spec.md`, change set (`diff.patch`), and report files.
- Do not read `src/rules/<rule-id>/plan.md`.
- Do not use implementation discussion logs, chat context, or author intent.
- If required input files are missing, fail with a clear blocked report.

## Output
- Print a verification report with these sections:
1. `## Spec compliance findings`
2. `## FP/noise risks`
3. `## Determinism/stability risks`
4. `## Performance and regression concerns`
5. `## Recommendation (Go/No-Go)`
- Save the same report to `verify-input/verify-report.md`.

## Minimal Context Loading
1. Read only files under `verify-input/`.
2. Avoid reading the broader repository unless a missing required file blocks verification.

## Definition of Done
- All required sections are present.
- Every finding cites concrete evidence from files inside `verify-input/`.
- Recommendation is explicit: `Go` or `No-Go`.
- Report does not reference `plan.md` or discussion history.
- Report calls out deviations from policy, including any `@Suppress` suppression behavior or non-JSpecify annotation semantics introduced without an explicit spec change.