Embedded State Machine Libs

Overview

Use this skill for embedded state machine libraries and hand-written finite state machines. The core is to make states, events, transitions, side effects, and invalid transitions explicit and verifiable.

When To Use

Use this skill when:

• The user wants to add or debug a StateMachine library or event-driven MCU workflow.
• The issue involves wrong transitions, stuck states, reentrancy, event loss, timeout handling, or unclear state ownership.
• Firmware has modes such as idle, init, run, error, recovery, upgrade, sleep, or calibration.

Do not use this skill for RTOS scheduling issues unless the state machine is the primary abstraction.

First Questions

Ask for: