State Machines

Generated from specification/state-machines/README.md. Edit the canonical source file, not this page.

Lifecycle state-transition specifications for OpenFreytProtocol resources.

Each file in this directory describes one resource lifecycle:

• permitted states and their meanings
• valid transitions (command → preconditions → new state)
• terminal states
• invalid transition handling
• concurrency and idempotency behaviour

Required (foundation gate §13)

• offer-lifecycle.md — capacity offer states and transitions
• request-lifecycle.md — load request states and transitions
• proposal-lifecycle.md — match proposal states and transitions
• relationship-lifecycle.md — partner relationship states and transitions
• execution-lifecycle.md — execution record states and transitions

State machines here feed directly into:

• requirements/invariants.yaml — formal safety invariants
• formal/tla/ — TLA+ models
• domain unit tests