verification-plan-codex

Define proof criteria, failure signals, and recovery triggers before execution.

18|1|Updated Mar 19, 2026
One-click install
npx skills add https://github.com/dachent/skills --skill verification-plan-codex
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: verification-plan-codex
Source: https://github.com/dachent/skills/tree/main/verification-plan-codex
Command: npx skills add https://github.com/dachent/skills --skill verification-plan-codex

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

This skill eliminates ambiguity in project execution by forcing the definition of success, failure, and recovery criteria before any work begins.

Core Features & Use Cases

  • Proof Mapping: Links every success criterion to a specific, verifiable proof method.
  • Failure Signaling: Identifies observable signals that indicate a process has failed, allowing for immediate intervention.
  • Use Case: When planning a complex refactor, use this skill to define exactly what constitutes a successful build, what specific test failure signals a rollback, and the exact steps to restore the codebase to its previous state.

Quick Start

Use the verification-plan-codex skill to generate a comprehensive proof plan for the current project implementation.

Frequently Asked Questions about verification-plan-codex

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

FAQPage Schema
How do I define verification criteria and rollback triggers before executing a software refactor?

Define verification criteria by mapping every success criterion to a verifiable proof method and identifying specific failure signals to trigger an immediate codebase rollback. This eliminates execution ambiguity by establishing deterministic validation and recovery steps before any work begins.

What is proof mapping in software quality assurance and how does it validate project completion?

Proof mapping in software quality assurance links each project success criterion to a specific, observable proof method. It validates project completion by requiring evidence-based verification, ensuring deliverables meet explicit acceptance criteria before the workflow is considered finished.

Can I use deterministic validation planning for mixed business-coding projects?

Yes, deterministic validation planning applies to mixed business-coding projects. It forces the definition of explicit acceptance criteria, failure signals, and recovery triggers, ensuring both software changes and business workflow deliverables meet rigorous proof criteria before execution.

What's the best way to plan recovery steps for failed coding changes?

The best way to plan recovery steps is to define explicit rollback triggers and failure signals before execution begins. By identifying observable signals that indicate a process has failed, you can establish immediate intervention steps to restore the codebase to its previous state.

When do I need to establish failure signals and recovery triggers for my workflows?

You need to establish failure signals and recovery triggers when planning complex refactors, mixed business-coding projects, or any deliverable requiring explicit acceptance criteria. This ensures deterministic validation and rollback planning are in place before execution to prevent ambiguity.