Verify

SkillDev tools

Self-healing verification loop (test → clippy → fmt)

Available today. Use it from your connected AI after setup.

Connect ahel once, and every AI you use reads what you have installed.

Then ask your AI: use the Verify skill

What this skill tells your AI

The instructions your AI receives, as published by mag123c/toktrack in .claude/skills/verify/SKILL.md and read by ahel’s review.

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.

Signals

GitHub stars
189
Forks
20
Last commit
Sep 2026
Advanced
Catalog kind
skill
Gateway key
verify-mag123c
Source
github.com/mag123c/toktrack