/verify

name: verify
description: Self-healing verification loop (test → clippy → fmt)
required_context: []

Verify

Flow

cargo test → cargo clippy → cargo fmt --check
    │            │              │
    └── On fail: fix and retry (notify user after 3 same failures)

Commands

cargo test --quiet
cargo clippy --all-targets --all-features -- -D warnings
cargo fmt --all -- --check

Verification Honesty (MUST — PASS gate)

Verification trustworthiness lies not in "what passed" but in **"what was *actually executed* and passed"**. Enforced before any PASS verdict.

Skip ≠ Pass

• Tests marked `ignored` / `#[ignore]` are **unverified** → do not count as green.
• Tests skipped due to environment (missing external service, platform constraints, etc.) are a **BLOCKER**. If unfixable, escalate to user as "verification incomplete + reason" rather than PASS.

Do not cite unrun tests as verification evidence

• "Confirmed via test X" is only valid when **that test actually ran and passed in this execution**.
• Do not use a merely written test as evidence of "confirmed" (false-green = false reassurance).

Coverage honesty (mock ≠ real)

• Mock-based unit tests verify **only the logic inside the mock boundary**. Behaviors invisible to mocks — file I/O, concurrency, simd-json real parsing — are **confirmed only by integration verification**.
• If a path is covered only by mocks, report it as **"mock coverage only — integration unconfirmed"** rather than "verified".

Acceptance/DoD cross-check (carry PLAN gates)

• Read the PLAN Acceptance/DoD and any `[unverified-gate]` passed from implement; cross-check whether each item **actually ran and passed in this execution**.
• If unrunnable (prod smoke / external service / CI-only environment) → no green-wash. Tag as `[unverified-gate: delegated, owner/due/probe]` and **carry to wrap Plan Reconciliation** (`../wrap/references/reconciliation.md`).

Report format

• ✅ Actually executed and passed
• ⛔ Skipped/environment-blocked + **reason** (unresolved = BLOCKER, not PASS)
• ⚠️ Mock coverage only, integration unconfirmed
• ⏳ Delegated to wrap due to unverifiable Acceptance item

Self-Healing

• Fail → analyze error → fix code → retry
• Same error 3 times → notify user

Rules

• Required before commit
• Order: test → clippy → fmt
• All must pass to proceed

Next Step

**Only when the Verification Honesty gate passes** (actual execution passed, no unresolved BLOCKERs) → call `/review` immediately. Do not ask "should I review?".

If there are unresolved BLOCKERs, **do not proceed to /review** — report "verification incomplete + reason + required environment actions" to the user.