verification-runner

Execute final proof commands on SaltMarcher passes and record execution evidence.

Updated Aug 26, 2025
One-click install
npx skills add https://github.com/ThonkTank/Salt-Marcher --skill verification-runner-thonktank
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: verification-runner
Source: https://github.com/ThonkTank/Salt-Marcher/tree/main/tools/quality/skills/verification-runner
Command: npx skills add https://github.com/ThonkTank/Salt-Marcher --skill verification-runner-thonktank

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill requires gradle, and includes scripts (resource) components.

What problem does it solve?

This Skill provides a standardized process for executing final proof runs on SaltMarcher passes, ensuring they pass with definitive evidence recorded for handoff and review.

Core Features & Use Cases

  • Proof Command Execution: Run assigned proof commands on the final checkout.
  • Evidence Recording: Record command, exit status, key output, and file changes after the run.
  • Use Case: Before handoff to production, the verification runner can be used to confirm that a code pass meets all standards and requirements, with evidence of the final proof run.

Quick Start

To run the verification runner for a specific pass, execute the following command from the repository root: ./gradlew run-verif --command "your-proof-command".

Frequently Asked Questions about verification-runner

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

FAQPage Schema
How do I record evidence for automated testing before a software handoff?

To record evidence for automated testing before a software handoff, execute final proof commands on your checkout. The runner logs the command, exit status, key output, and file changes to verify compliance.

What is proof running in software compliance and when do I need it?

Proof running in software compliance is the execution of final verification commands to generate definitive evidence of a successful pass. It is needed before production handoffs to confirm code meets all standards.

Does the verification runner require Gradle to execute proof commands?

Yes, the verification runner requires Gradle to execute proof commands. You trigger the process by running the Gradle task, which automates the testing and captures the required handoff evidence.

Can I use this script to log command output for SaltMarcher passes?

Yes, you can use this script to log command output for SaltMarcher passes. It specifically executes assigned proof commands on the final checkout and records execution details for compliance review.

What is the best way to automate test evidence logging for production handoffs?

The best way to automate test evidence logging for production handoffs is using a standardized verification runner. It executes final proof commands and automatically records exit statuses and output for compliance.

What details are captured when recording execution details for handoff standards?

When recording execution details for handoff standards, the runner captures the exact proof command used, the exit status, key output logs, and any file changes that occurred after the run completed.