State Machine Specialist

What problem does it solve?

This skill defines and enforces a deterministic lifecycle for business entities (reservations) to prevent invalid transitions and ensure data consistency.

Core Features & Use Cases

• State definition and invariants: Clearly defined, unique states that model real-world booking entities.
• Transition matrix & rules: Explicitly specify which actions trigger which state changes to maintain correctness.
• Concurrency & integrity: Ensure atomic state changes and synchronization with external events (payments, cron jobs).
• Reprogramming impact: Assess and govern how reprogramming flows affect ongoing state transitions to avoid races or inconsistencies.

Quick Start

Draft a simple state machine for a Reservation (Hold, Confirmed, Cancelled) and specify the trigger actions for each transition.