mova-evidence-proof-v0
Use for deterministic changes, evidence-first delivery, or assembling proof kits with clear safety justification.
When & Why to Use This Skill
The mova-evidence-proof-v0 skill is a specialized framework for ensuring high-integrity, deterministic system changes through an evidence-first delivery model. It prioritizes operational safety by requiring verifiable proof kits, linking narrative claims to concrete artifacts, and mandating negative testing suites for risky execution paths to prevent unauthorized or invalid operations.
Use Cases
- Safety Justification: Assembling comprehensive proof kits that provide deterministic evidence and safety justifications before deploying critical system changes.
- Automated Auditing: Generating evidence-first reports where every claim is linked to specific artifact paths, grep results, or command outputs for transparent auditing.
- Risk Mitigation: Implementing negative testing suites to validate how the system handles unauthorized access, oversized payloads, and validation errors in high-stakes environments.
- Deterministic Troubleshooting: Using bash and history lookup tools to rerun commands and verify system states without fabricating outputs, ensuring data integrity during debugging.
| name | mova-evidence-proof-v0 |
|---|---|
| description | Use for deterministic changes, evidence-first delivery, or assembling proof kits with clear safety justification. |
| allowed-tools | Bash, Read, Grep, Glob |
Determinism rules
- Business results belong in result payloads; run-specific data goes to env/meta and artifacts.
- Do not fabricate outputs; rerun commands if needed.
Negative suite
- Required for risky paths: unauthorized, deny, bad signature, oversize, and validation errors.
- Add minimal, explicit cases and surface them in evidence.
Evidence-first standard
- Prefer artifacts and reports over narrative claims.
- Always link to evidence paths in
artifacts/**.
Evidence sources
- Artifacts paths,
gw_request_id, and episode ids/refs. - History lookup must use
mova_search_episodes_v0(read-only).