Skip to content

rebrand to Determa State (v0.0.5)#52

Merged
fruwe merged 4 commits into
mainfrom
rebrand-determa
Jul 5, 2026
Merged

rebrand to Determa State (v0.0.5)#52
fruwe merged 4 commits into
mainfrom
rebrand-determa

Conversation

@fruwe

@fruwe fruwe commented Jul 5, 2026

Copy link
Copy Markdown
Member

Renames the package from harel to Determa State.

  • import determa.state (PEP 420 namespace) · dist determa-state · CLI determa-state
  • action-id determa, $DETERMA_STORE/./.determa, DetermaError, logger determa.state
  • conformance re-pinned to v0.0.5; version bumped to 0.0.5

ruff + mypy clean; 150 unit + 67 conformance green locally; wheel builds as determa_state-0.0.5. Lineage references to David Harel preserved.

⚠️ Two .github/workflows/ edits (below) must be applied by a maintainer — the automation token lacks GitHub workflow scope. CI (mypy src/harel) stays red until then.

Closes #51

fruwe added 4 commits July 5, 2026 22:30
Rename the package from harel to Determa State (the statechart product in
the Determa family):

- import name harel -> determa.state (PEP 420 namespace package)
- distribution harel-python -> determa-state; CLI harel -> determa-state
- action-language id harel -> determa (schema default); guard language stays cel
- $HAREL_STORE/./.harel -> $DETERMA_STORE/./.determa
- public error base HarelError -> DetermaError; logger 'harel' -> 'determa.state'
- re-pin the conformance suite to the v0.0.5 tag; bump to 0.0.5

Academic lineage references (David Harel, Harel/Samek, Harel/UML) are unchanged.
ruff + mypy clean; 150 unit + 67 conformance green; wheel builds as
determa_state-0.0.5 with the namespace layout and bundled schema.

Closes #51
Signed-off-by: Christian-Manuel Butzke <chris@fruwe.com>
Updated project name in release workflow for PyPI.

Signed-off-by: Christian-Manuel Butzke <chris@fruwe.com>
Signed-off-by: Christian-Manuel Butzke <chris@fruwe.com>
@fruwe
fruwe merged commit 00f5e05 into main Jul 5, 2026
2 checks passed
@fruwe
fruwe deleted the rebrand-determa branch July 5, 2026 15:47
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.

rebrand to Determa State (v0.0.5)

1 participant