Skip to content

v0.6.6

Latest

Choose a tag to compare

@eboody eboody released this 22 Mar 13:35
· 55 commits to main since this release

Changes

  • Added first-class machine introspection emitted directly from #[machine], including typed StateId, TransitionId, and a static GRAPH descriptor for exact transition-site queries.
  • Added typed runtime transition recording so consumer crates can record the chosen branch and join it back to static machine metadata.
  • Added an optional typed presentation overlay for attaching labels, descriptions, phases, and other consumer-owned metadata without rebuilding the machine graph.
  • Hardened proc-macro authority boundaries so machine metadata and diagnostics reject ambiguous or out-of-order definitions instead of silently inferring the wrong source.
  • Added adversarial coverage for #[cfg]-hidden duplicates, include! ambiguity, and declaration-order mistakes around #[state], #[machine], and #[validators].