// Minimal learned anomaly example — full showcase: examples/showcase/assurance/rover.sd

hardware RoverV1 {
    sensors [GPS, Lidar];
    actuators [DifferentialDrive];
}

anomaly_detector NavigationML {
    learned backend assurance.anomaly;
    expected localization.confidence >= 0.80;
}

on anomaly NavigationML severity High {
    enter degraded_mode;
}

robot Rover {
    sensor gps: GPS;
    sensor lidar: Lidar;
    actuator wheels: DifferentialDrive;
    safety { max_speed = 1.0 m/s; }
    behavior patrol() { wheels.drive(0.3 m/s); }
}
