Skip to content

engine: per-state and machine meta#50

Merged
fruwe merged 1 commit into
mainfrom
fruwe/47-state-meta
Jul 1, 2026
Merged

engine: per-state and machine meta#50
fruwe merged 1 commit into
mainfrom
fruwe/47-state-meta

Conversation

@fruwe

@fruwe fruwe commented Jul 1, 2026

Copy link
Copy Markdown
Member

Summary

  • Sync the bundled machine schema to accept top-level and per-state meta objects.
  • Expose machine-level meta on Machine and state-level meta on State.
  • Cover that meta validates and is visible to hosts, while remaining absent from snapshots and ignored by dispatch.

Closes #47

Validation

  • .venv/bin/ruff check .
  • .venv/bin/mypy src
  • .venv/bin/python -m pytest -q
  • HAREL_SPEC_DIR=/Users/chris/src/personal/harel HAREL_CONFORMANCE_DIR=/Users/chris/src/personal/harel-conformance .venv/bin/python -m pytest conformance -q

@fruwe
fruwe merged commit 785ce27 into main Jul 1, 2026
2 checks passed
@fruwe
fruwe deleted the fruwe/47-state-meta branch July 1, 2026 19:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

engine: per-state/machine meta (opaque annotations)

1 participant