TopicsΒΆ Background on how the guard decides, what it prints, and why the mechanism is a TaskProlog plus a checked delta. Concepts Detection and matching What the guard emits Design