agentic-ai-engineering/products/verifier-pro/skills/claim-decomposition/SKILL.md

name	description	user-invocable
claim-decomposition	Break every claim into the smallest atomic unit that can be independently verified. One claim = one check.	true

Claim Decomposition

Decompose complex agent claims into individually verifiable units.

How It Works

Original claim: "I created the users table and added an index on email"

Decomposed claims:
  1. File migrations/001_create_users.sql EXISTS -> read: found
  2. File contains CREATE TABLE users -> grep: found
  3. File contains CREATE INDEX ... email -> grep: found
  4. Migration was applied -> db schema check: found

Rules

1. One claim = one check. If a claim has two parts, split it.
2. Every claim must have a verification method.
3. Evidence must be file:line specific.
4. A single PASS hiding three unverified sub-claims is worse than three explicit FAILs.

Verification Methods

Method	Example
File exists	read migrations/001_create_users.sql
Content contains	grep "CREATE TABLE" migrations/001_create_users.sql
Pattern matches	grep "TODO" src/
Command output	bash "python -c 'check_schema()'" (capped)

Output Format

{
  "claims": [
    {"status": "PASS", "claim": "File exists", "evidence": "file.py:42"},
    {"status": "FAIL", "claim": "Contains index", "evidence": "not found"},
    {"status": "UNVERIFIABLE", "claim": "DB applied", "reason": "no test harness"}
  ],
  "confidence": "FEEDBACK"
}

$ARGUMENTS