The Compilation Layer for Deterministic Software

service "accounts" {
  version     = "1.0.0"
  port        = 8002
  api_prefix = "/v1"
  database    = "ledger_accounts_db"
  compliance ["SOC2", "PCI-DSS", "DORA"]
  depends_on {
    identity imports [Tenant, Customer]
  }
}
entity Account {
  @aggregate_root
  @tenancy(tenant, tenant_id)
  @soft_delete
  id               UUID           @pk @default($computed.uuid)
  tenant_id      UUID           @fk(Tenant.id) @not_null
  owner_id      UUID           @fk(Customer.id) @not_null
  iban             String(34) @unique @sensitive
  currency       String(3)   @iso4217 @not_null
  balance        Money          @not_null @default(0)
  status          Enum(ACTIVE, FROZEN, CLOSED) @default("ACTIVE")
  opened_at    DateTime      @default($computed.now)
}
api {
  POST "/accounts" {
    permissions = ["accounts:open"]
    request {
      owner_id UUID           @required
      currency String(3) @required
    }
    response @entity(Account) @status(201)
  }
  POST "/accounts/{id}/freeze" {
    permissions = ["accounts:freeze"]
    triggers     = Account.status -> FROZEN
    response    @entity(Account)
  }
}

platform "LedgerPlatform" {
  modules {
    identity  { spec = "identity.dmx"  }
    accounts { spec = "accounts.dmx" }
    payments { spec = "payments.dmx" }
    audit       { spec = "audit.dmx"       }
  }
  // Sync HTTP — accounts resolves customer within its own request
  interactions {
    "I-10: Accounts resolves customer" {
      tier     = 1
      provider = identity
      consumer = accounts
      trigger  = http(method="GET", path="/customers/{id}")
      response_schema = CustomerDTO
      timeout_ms      = 500
      idempotent      = true
    }
    // Saga — atomic money transfer with compensation
    "I-11: Transfer saga" {
      tier           = 1
      orchestrator = payments
      participants = [accounts, accounts]
      trigger       = saga("transfer.requested")
      steps         = [debit_source, credit_target, settle]
      compensation = [reverse_credit, reverse_debit]
      outbox        = true
    }
    // Async event — audit logs every state transition
    "I-12: Transfer audited" {
      tier     = 2
      producer = payments
      consumer = audit
      trigger  = event("payments.transfer.settled")
      broker   = kafka
      payload { transfer_id UUID @required }
    }
  }
}