Prompt file imported from zowskyy/frontier-syntax (
.cursor/commands/truth-verify.md). Copyright stays with the author.
/truth-verify
Run the Frontier verification pipeline (engine v3.0).
Usage
/truth-verify [--quick] [--ci] [--full] [--phases=phase1,phase2]
What it does
- Python engine — unified orchestration instead of shell phases
- Property-based tests — parser never panics, deterministic parse/hash
- Incremental cache —
.verification_cache/skips unchanged phases - Parallel execution — independent phases run concurrently
- Optional Docker sandbox — host vs container hash comparison when Docker is available
- Mandatory Coq in CI —
--cifails ifcoqcor proofs are missing - Differential checks — fuzzing, sample hash parity, WASM artifact presence
Examples
/truth-verify --quick
/truth-verify --ci
/truth-verify --phases=fuzz,compare
Equivalent command
./build_truth.sh --quick
python3 -m verification.engine --quick
Outputs
verification/reports/— environment, emulation, comparison, final reportproof/certificates/— signed JSON certificate + SHA-256 sidecartruth_certificate_*.txt— human-readable certificate.verification_cache/— incremental phase cache
Troubleshooting
Re-run a single phase:
python3 -m verification.engine --phases=fuzz --no-cache