Swarm health checks verify quorum and mesh connectivity. When fleet health is critical, swarm coordination logs events and may defer peer deliveries (Phase 34–35).
Example: examples/robotics/swarm_coordination.sd
health_check SwarmHealth for swarm DroneSwarm {
require quorum >= 70%;
require communication.mesh_connected == true;
}
spanda swarm coordinate examples/robotics/swarm_coordination.sd
spanda swarm coordinate examples/robotics/swarm_coordination.sd --mesh-url http://127.0.0.1:8787
spanda swarm coordinate examples/showcase/swarm_takeover/swarm.sd --failed DroneTwo --progress 55 --mesh-url http://127.0.0.1:8787
spanda health robot examples/robotics/swarm_coordination.sd --json
Fleet health refinement runs via apply_fleet_health_checks when programs declare both fleet and
swarm blocks.