swiss-cheese

Cancel the current verification loop

Run a specific gate validation (exit 0=pass, exit 1=fail)

Start iterative refinement loop until all gates pass

Request to skip a layer with justification (requires proof of inapplicability)

Show current verification status across all layers

Start safety-critical Rust development with design review