You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or win
8000
dow. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Audited against current master — FSM support is tested at every layer, so the audit finding is stale:
Parsing: tests/test_fsm.py (10 tests) covers [state-name] prefixes, optional state names, output bindings, IF/THEN conditionals, and full FSM-style steps.
Derivation: test_get_fsm_states and test_fsm_transitions pin the state list and transition edges from dependencies.
Emission: tests/test_graph.py::test_emit_fsm_mermaid covers the FSM state diagram output.
End to end: examples/features/fsm.nl is a strictly-verified corpus example (state markers through the full compile/test/ci pipeline), and nlsc graph --anlu ... --format mermaid selects the FSM view when state names are present.
Activity
Mnehmos commentedon Mar 17, 2026
Backlog: FSM support is an interesting extension but not on the critical path to v0.1, v0.5, or v1.0. No milestone assigned. Revisit after v0.5 ships.
Mnehmos commentedon Sep 12, 2026
Audited against current master — FSM support is tested at every layer, so the audit finding is stale:
tests/test_fsm.py(10 tests) covers[state-name]prefixes, optional state names, output bindings, IF/THEN conditionals, and full FSM-style steps.test_get_fsm_statesandtest_fsm_transitionspin the state list and transition edges from dependencies.tests/test_graph.py::test_emit_fsm_mermaidcovers the FSM state diagram output.examples/features/fsm.nlis a strictly-verified corpus example (state markers through the full compile/test/ci pipeline), andnlsc graph --anlu ... --format mermaidselects the FSM view when state names are present.Closing as delivered.