Conseqa DSL Model Structure: All Seven Top-Level Keys

services:
  service.checkout:
    kind: backend
  service.inventory:
    kind: backend
  service.payments:
    kind: worker

# Opaque revision marker — increment it however your team tracks changes.
revision: 1

# ── Services ──────────────────────────────────────────────────────────────
# Logical ownership boundaries for operations.
services:
  service.checkout:
    kind: backend          # backend | frontend | worker | job

# ── Schemas ───────────────────────────────────────────────────────────────
# Logical shapes for payloads, messages, and data objects.
# See: /dsl/field-types
schemas:
  schema.CreateOrderRequest:
    kind: canonical
    completeness: complete  # complete | partial
    fields:
      order_id: uuid
      idempotency_key: string
      amount: decimal

  schema.OrderSummary:
    kind: fragment
    source: schema.CreateOrderRequest
    mapping:
      id: order_id           # fragment field -> source field path

# ── Data models ───────────────────────────────────────────────────────────
# Logical transactional state boundaries containing persistent objects.
data_models:
  data.checkout:
    objects:
      object.order:
        schema: schema.OrderRecord
        identity:
          - order_id          # each entry is one field path in the composite identity tuple

# ── Topics ────────────────────────────────────────────────────────────────
# Named channels for event-driven message delivery.
topics:
  topic.order_events:
    messages:
      - schema.OrderCreated
    ordering:
      kind: keyed             # unspecified | unordered | global | keyed
      mapping:
        schema.OrderCreated: order_id
    message_identity:
      kind: keyed
      mapping:
        schema.OrderCreated:
          - event_id

# ── State machines ────────────────────────────────────────────────────────
# Object lifecycle declarations with valid transitions and side effects.
state_machines:
  machine.order_lifecycle:
    subject:
      kind: object
      object: object.order
      state: status           # field on object.order that holds the state
    states:
      - state.order.pending
      - state.order.paid
      - state.order.cancelled
    initial: state.order.pending
    transitions:
      transition.order.mark_paid:
        from:
          - state.order.pending
        to: state.order.paid
        side_effects: {}

# ── Operations ────────────────────────────────────────────────────────────
# Logical units of application behavior.
# See: /dsl/effects, /dsl/program-control, /dsl/value-references
operations:
  operation.create_order:
    service: service.checkout
    description: "Optional prose — no proof semantics."
    inputs:
      input.create_order.request:
        kind: request
        schema: schema.CreateOrderRequest
        identity:
          kind: keyed
          fields:
            - idempotency_key
        result:
          ok: schema.CreateOrderResponse
          err: schema.RequestRejected
    effects: {}
    effect_intents: {}
    transaction_outputs: {}
    transactions: {}
    program:
      steps:
        - kind: complete
    requirements:
      serialization: []
      ordering: []
      idempotency: []
      recoverability: []
    execution:
      concurrency:
        kind: unbounded