Diagnostics examples

Fault diagnosis and root-cause analysis with spanda diagnose.

Files

File	Focus
`gps_failure.sd`	GPS loss scenario for diagnosis reports

spanda check examples/diagnostics/gps_failure.sd
spanda diagnose examples/diagnostics/gps_failure.sd --json

Guide: docs/diagnostics.md · Package: spanda-diagnosis (assurance.diagnosis)