Temporal Logic Explorer

 Build a temporal-logic explorer where users describe rules involving events that must happen before, after, during, or within specific time windows. Convert the rules into an interactive temporal model and simulate event sequences against them. Detect violations, impossible conditions, race conditions, and ambiguous timing rules. Provide a visual timeline showing exactly where each rule succeeds or fails and generate human-readable explanations for every violation.