verification-lattice
SkillDev toolsUse when multi-layer verification beyond standard code review is needed.
Available today. Use it from your connected AI after setup.
No other account needed.
Connect ahel once, and every AI you use reads what you have installed.
Then ask your AI: use the verification-lattice skill
What this skill tells your AI
The instructions your AI receives, as published by gonzalezpazmonica/pm-workspace in .claude/skills/verification-lattice/SKILL.md and read by ahel’s review.
Subagent Scope Guard
If you were dispatched as a subagent to execute a specific delegated task, skip this skill's full orchestration workflow. Execute only the assigned task, report result (DONE / DONE_WITH_CONCERNS / BLOCKED), and return. This guard prevents runaway skill activation in nested agent contexts.
Verification Lattice: 5-Layer Verification Pipeline
A layered verification system where each layer builds on previous results, culminating in informed human review.
Decision Checklist
Before running verification, answer sequentially:
- Is this a documentation-only or formatting change? -> If YES: run Layers 1-2 only (skip 3-5)
- Does the change affect security, auth, or PII? -> If YES: run all 5 layers, Layer 3 mandatory
- Is the risk score > 50? -> If YES: run Layers 1-4, Layer 5 mandatory (human review)
- Is the risk score < 26? -> If YES: run Layers 1-3 only, Layer 5 optional
- Does the project have performance benchmarks? -> If NO: skip Layer 4 performance checks
Abort Conditions
- Layer 1 (deterministic) fails -> STOP, fix before continuing
- Layer 3 finds critical/high vulnerability -> STOP, mandatory fix
Layer 1: Deterministic Verification
Purpose: Automated checks producing consistent, repeatable results.
Checks:
- Lint (code style, patterns)
- Format (whitespace, structure)
- Type checking (static type errors)
- Compilation (build errors)
- Unit tests (functional correctness)
Agent: None (scripts only)
Gate: All checks must pass. No exceptions.
Output: Pass/Fail + error log
Layer 2: Semantic Verification
Purpose: AI-powered analysis of intent and correctness.
Checks:
- Implementation matches specification
- Acceptance criteria fully met
- Business logic correctness
- API contract compliance
- Documentation updates aligned with code
Agent: code-reviewer
Gate: All criteria mapped to code changes.
Output: Mapping report + acceptance criteria checklist
Layer 3: Security Verification
Purpose: Identify vulnerabilities and compliance risks.
Checks:
- OWASP vulnerability patterns
- Dependency audit (known CVEs)
- Secret detection (API keys, credentials)
- PII exposure scan
- SQL injection patterns
- Authorization flaws
Agent: security-reviewer
Gate: No high or critical severity findings.
Output: Security scan report + remediation plan
Layer 4: Agentic Verification
Purpose: Cross-cutting concerns beyond code functionality.
Checks:
- Performance regression analysis
- API contract compatibility
- Documentation consistency
- Mental model freshness
- Architecture alignment
Agent: architect
Gate: No regressions, architecture decisions justified.
Output: Architecture review + risk assessment
Layer 5: Human Code Review
Purpose: Design decisions, business alignment, maintainability.
Input: Consolidated report from layers 1-4.
Focus:
- Design decisions rationale
- Business alignment
- Long-term maintainability
- Code clarity and readability
Gate: Human approval required.
Output: Reviewer sign-off + design notes
Execution Flow
- Layer 1 runs → produces report
- Layer 2 consumes Layer 1 report → produces report
- Layer 3 consumes Layers 1-2 reports → produces report
- Layer 4 consumes Layers 1-3 reports → produces report
- Human reviewer reads consolidated report from Layers 1-4 → approves/requests changes Each layer is independent executable, but cascade provides context enrichment.
Commands
/verify-full {task-id}— Run all 5 layers sequentially/verify-layer {N} {task-id}— Run specific layer for debugging
Output Storage
All verification results stored in output/verification/{task-id}/:
layer1-deterministic.jsonlayer2-semantic.jsonlayer3-security.jsonlayer4-agentic.jsonlayer5-human-checklist.md
Signals
- GitHub stars
- 50
- Forks
- 12
- Last commit
- Sep 2026
Others that do the same job
Advanced
- Catalog kind
- skill
- Gateway key
verification-lattice- Source
- github.com/gonzalezpazmonica/pm-workspace