Spoofing detection: GPS vs IMU conflict, impossible jumps, and optional ML alert merge.
spanda spoof-check examples/showcase/gps_spoofing/rover.sd
spanda spoof-check examples/showcase/gps_spoofing/spoof.trace
spanda diagnose tamper examples/showcase/gps_spoofing/spoof.trace
Optional ML backend:
export SPANDA_SPOOFING_ML_ALERTS_PATH=examples/showcase/gps_spoofing/fixtures/ml-alerts.json
spanda spoof-check examples/showcase/gps_spoofing/spoof.trace
spanda demo spoof
spanda demo trust
Smoke: scripts/spoof_smoke.sh