Skip to content

Implement Determa State format 1 core conformance - #60

Merged
fruwe merged 3 commits into
mainfrom
fruwe/issue-59-format-1-core
Jul 28, 2026
Merged

Implement Determa State format 1 core conformance#60
fruwe merged 3 commits into
mainfrom
fruwe/issue-59-format-1-core

Conversation

@fruwe

@fruwe fruwe commented Jul 28, 2026

Copy link
Copy Markdown
Member

Summary

  • Replace the obsolete pre-format-1 engine with the strict format-1 bundle loader,
    validator, AST-checked portable CEL profile, pure create/dispatch API, and
    portable logical aggregate.
  • Implement hierarchy, local/unmarked transitions, choices, history, typed variables
    and payloads, isolated components, owned spawn/cancel, lifecycle ordering, atomic
    faults, deterministic identities, bundle fingerprinting, and recursive prior-state
    validation.
  • Enforce profile-owned recursive CEL collection equality/membership, exact portable
    conversions, and closed static send payload validation.
  • Preserve unbounded mathematical logical counters while retaining signed-64-bit
    variable/payload values, and reject impossible committed lifecycle and fault states.
  • Use one canonical descendant traversal for completion, stop, cancel, holder cleanup,
    and parallel disposal, including ownership-scoped cancellation, frozen subtree
    disposal, and atomic cascade_fault translation.
  • Enforce exact portable scalar resolution, frozen retained-faulted subtrees, caller
    ownership of delivery envelopes and prior state, and normative cause/event/effect
    identity vectors.
  • Remove abandoned grammar/API behavior and non-core queue, timer, store, snapshot,
    migration, export, and enabled-event assumptions.
  • Package the exact normative schema, add a current format-1 example, and update
    repository documentation and guidance.
  • Pin CI and the local conformance harness to immutable approved specification and
    conformance commits.

Closes #59.

Immutable Inputs

  • Specification: 4bd4d9588d11b75d376380b6120676a056a4bc45
  • Conformance: fc4842010ab8d83bf4c5c6280a5627ca86829f7f

Validation

  • ruff check .
  • mypy src/determa
  • pytest -q - 172 passed
  • DETERMA_CONFORMANCE_DIR=/tmp/determa-state-conformance-final-fc4842 DETERMA_SPEC_DIR=/tmp/determa-state-spec-final-4bd4d9 pytest conformance -q - 80 passed
    (75 core cases, suite presence, schema parity/meta-validation, and semantic loading
    of the authoritative minimal/full examples)
  • python -m build
  • Clean wheel installation and semantic validation of the repository example plus the
    authoritative minimal/full examples
  • Clean-wheel validation of recursive collection equality and the unchanged 0.0.6
    package version
  • git diff --check

The lint, type, unit, conformance, build, and installed-wheel gates use Python 3.13,
the version used by CI.

Version And Exclusions

The distribution version remains 0.0.6. This PR does not tag, publish, or release.

Snapshot wire portability, definition migration or hot-swap, package imports,
conformance/engine changes in other repositories, the tutorial, and the examples
repository are explicitly excluded.

@fruwe
fruwe marked this pull request as ready for review July 28, 2026 10:26
@fruwe
fruwe merged commit 723fc49 into main Jul 28, 2026
2 checks passed
@fruwe
fruwe deleted the fruwe/issue-59-format-1-core branch July 28, 2026 10:26
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.

Implement Determa State format 1 core conformance

1 participant