mirror of
https://github.com/openprose/prose.git
synced 2026-09-19 05:55:05 +08:00
irl-dan
677b1654b5
- SKILL.md: route lint, preflight, inspect, status as sugar for std programs - prose.md: add environment: as sixth contract section with VM verification - forme.md: propagate environment declarations through wiring to manifest - help.md: update command reference - Replace prose-compile with prose-lint, add preflight/inspect/status commands - Remove compile, wire, migrate, eval as top-level commands Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
909 B
909 B
description, argument-hint
| description | argument-hint |
|---|---|
| Evaluate a completed OpenProse run | <run-id> |
Inspect and evaluate the completed run: $ARGUMENTS
This command is sugar for prose run std/evals/inspector -- run_id: <run-id>. It evaluates:
- Execution trace — reads
state.mdto reconstruct the run timeline - Contract satisfaction — checks whether each service's
ensurescommitments were met - Error analysis — reviews any errors, their handling, and downstream impact
- Output quality — evaluates the final output against the program's top-level
ensures
The run ID corresponds to a directory in .prose/runs/ (e.g., 20260317-143052-a7b3c9). The inspector reads the manifest, state log, workspace files, and bindings to produce a comprehensive evaluation.
If no run ID is specified, show recent runs and ask which one to inspect (equivalent to prose status followed by selection).