disciplined-verification

Generate traceability matrices and Verification Reports from unit and integration tests.

Updated Aug 23, 2026
One-click install
npx skills add https://github.com/terraphim/terraphim-skills --skill disciplined-verification
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: disciplined-verification
Source: https://github.com/terraphim/terraphim-skills/tree/main/skills/disciplined-verification
Command: npx skills add https://github.com/terraphim/terraphim-skills --skill disciplined-verification

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Phase 4 of disciplined development: verifies implementation against design through unit and integration testing, builds traceability matrices, tracks coverage, and loops defects back to originating left-side phases.

Core Features & Use Cases

  • Orchestrates verification activities across unit and integration tests using specialist skills (ubs-scanner, requirements-traceability, code-review, security-audit, rust-performance, testing)
  • Produces a Verification Report with traceability matrices, coverage metrics, and evidence of defect closures
  • Defines a two-part process and defect loop-back protocol to align design, code, and tests

Quick Start

Run UBS scans, build a requirements traceability matrix, implement tests with the testing skill, execute unit tests with cargo test, and perform integration checks while updating the verification artifacts.

Frequently Asked Questions about disciplined-verification

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I verify software implementation against design specifications?

Verify implementation against design by running structured unit and integration tests, building traceability matrices that map tests to design elements, and enforcing defect loop-back protocols to align code with requirements.

What is a traceability matrix and when do I need it for integration testing?

A traceability matrix maps integration tests directly to design elements to ensure coverage. You need it during disciplined development workflows to track verification status and guide audits using defined artifacts.

How do I set up a defect loop-back protocol for unit testing?

Set up a defect loop-back protocol by routing unit testing failures back to originating design or requirements phases. This structured process aligns code corrections with specifications before producing a final Verification Report.

Does this verification workflow coordinate specialist testing skills across phases?

Yes, the verification workflow orchestrates specialist skills including UBS scanning, requirements traceability, code review, security audit, performance checks, and testing across all unit and integration verification phases.

What's the best way to generate a Verification Report with coverage metrics?

Generate a Verification Report by executing unit tests, performing integration checks, and updating verification artifacts. The report includes traceability matrices, coverage metrics, and evidence of defect closures.

Can I execute unit tests with cargo test during the verification process?

Yes, you can execute unit tests with cargo test as part of the verification process. Run UBS scans, implement tests with the testing skill, and perform integration checks while updating verification artifacts.