Skip to content

Canonical intermediate-state FSM: enum, legal transitions, deterministic reducer #51

Description

@SollanSystems

Today the active state in state.json is an arbitrary string and transitions are prose. Kernel must own legal transitions ("agents propose; the kernel disposes" — ADR 0001).

Scope:

  • Canonical intermediate-state enum + legal-transition table in the kernel.
  • Validation in contract.py (doctor) + enforcement in emit writers.
  • ISO-8601 UTC timestamps stamped by state/terminal writers (roadmap: normalize IDs and timestamps).
  • Deterministic reducer lands with the EventStore issue; this issue covers the FSM definition + validator.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    roadmapv-next roadmap: kernel/runtime split execution

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions