mission_plan declarations and mission achievability verification.
| File | Focus |
|---|---|
mission_assurance.sd |
Mission plan steps, constraints, and assurance hooks |
spanda check examples/mission/mission_assurance.sd
spanda mission verify examples/mission/mission_assurance.sd --json
Guide: docs/mission-verification.md · Package: spanda-mission-planning (assurance.mission)