v0.3.0 — Petri Net FSM, SNN Bridge, Event-Driven Transitions
Added
- Petri net regime FSM —
PetriNet,PetriNetAdapter,ProtocolNetSpecfor multi-phase protocol sequencing - Event-driven transitions —
EventBus+RegimeEventpub/sub with bounded history RegimeManager.force_transition()— bypasses cooldown and hysteresis holdhysteresis_hold_steps— consecutive-step requirement for soft downward transitions- SNN controller bridge (
SNNControllerBridge) — pure-numpy LIF rate model + Nengo/Lava optional backends - Rust
RegimeManager.force_transition()andtransition_logfor FFI parity - ~90 new tests across 5 new test files
Changed
SupervisorPolicyaccepts optionalpetri_adapterargumentBoundaryObserver.observe()accepts optionalstepkwargRegimeManagerconstructor acceptsevent_busandhysteresis_hold_stepsparams
See CHANGELOG.md for full details.