assure — Run assurance workflows: anomaly coverage, prognostics, and assurance cases.
spanda assure [--json] <file.sd>
Run assurance workflows: anomaly coverage, prognostics, and assurance cases.
--json — machine-readable assurance report
spanda assure robot.sd --json
0 when assurance checks pass; 1 on gaps or violations.
Assurance metadata in program declarations.
spanda-readiness(1), spanda-diagnose(1), spanda(1), spanda-reference.md