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.