Tarifler & Production

import schema from "std/schema"
import num    from "std/numeric"

schema LineItem {
  description: string | null @desc("Mal veya hizmet açıklaması")
  quantity: float | null  @desc("Satılan miktar")
  unit_price: float | null  @desc("Birim fiyat")
  total: float | null  @desc("Kalem toplamı")

  where quantity == null || unit_price == null || total == null || num.approximatelyEqual(quantity * unit_price, total, 0.01)
    @feedback("quantity * unit_price toplamına uymuyor")
}

schema MetaEntry {
  key: string
  value: string
}

schema Document
  @desc("Belgeden çıkarılan yapılandırılmış veri")
  @prompt("Metinden Document schema'sına uygun JSON üret. Alan açıklamalarını talimat olarak kullan. Bulunmayan değerleri uydurma; nullable alanlarda null, array alanlarda [] kullan. Schema'ya sığmayan bilgiyi meta içinde koru.") {
  doc_number: string | null @desc("Belge numarası")
  items: LineItem[]    @desc("Tüm kalemler; hiçbirini atlama")
  meta: MetaEntry[]   @desc("Schema alanlarına girmeyen bilgiler")
}

agent Extractor {
  model: TextModel
  retry: 2

  fn extract(text: string) -> Document {
    instructions = schema.prompt(Document)
    result       = ask "{instructions}\n\nMETİN:\n{text}" -> Document
    return result
  }
}

schema Classification {
  category: enum["invoice", "receipt", "contract", "other"]
  rationale: string @length(10, 200)
  confidence: float [0..1]
}

run_policy Consensus {
  strategy: "vote"
  models: [Primary, Backup, Reviewer]
  quorum: 2
  tie: "highest_confidence"
}

agent Classifier {
  run_policy: Consensus
  temperature: 0

  fn classify(text: string) -> Classification {
    ask "Belge türünü belirle:\n{text}" -> Classification
  }
}

schema Invoice {
  invoice_number: string @desc("Fatura numarası")
  total: float  @desc("Vergi dahil genel toplam")
}

schema Receipt {
  reference: string @desc("Dekont referansı")
  paid_at: string @desc("Ödeme zamanı") @fmt("date-time")
}

schema Document = Invoice | Receipt tagged by kind

schema Detection {
  kind: enum["Invoice", "Receipt"] @desc("Üye schema adı")
  confidence: float [0..1]
}

schema Summary {
  line: string
}

agent Detector {
  temperature: 0
  fn detect(text: string) -> Detection {
    ask "Bu belge hangi türde?\n\nMETİN:\n{text}" -> Detection
  }
}

agent Extractor {
  retry: 2
  fn extract(kind: string, text: string) -> Document {
    switch kind {
      case "Invoice" { ask "Fatura alanlarını çıkar:\n{text}" -> Invoice }
      default { ask "Dekont alanlarını çıkar:\n{text}" -> Receipt }
    }
  }
}

agent Reporter {
  fn report(document: Document) -> Summary {
    match document {
      case Invoice invoice {
        return { line: invoice.invoice_number }
      }
      case Receipt receipt {
        return { line: receipt.reference }
      }
    }
  }
}

input text: string

detector  = Detector()
extractor = Extractor()
reporter  = Reporter()

detection = detector.detect(text)
document  = extractor.extract(detection.kind, text)
summary   = reporter.report(document)

schema Invoice {
  invoice_number: string @desc("Invoice number")
  total: float @desc("Grand total including tax")
}

schema Receipt {
  reference: string @desc("Receipt reference")
  paid_at: string @desc("Payment time") @fmt("date-time")
}

schema Document = Invoice | Receipt tagged by kind

schema Extraction<T> {
  data: T
  confidence: float [0..1] @desc("How certain this extraction is, 0 to 1")
  sources: string[] @desc("Ids of the context documents the values were read from")
}

schema Summary {
  line: string
  confidence: float
}

agent Extractor {
  model: TextModel
  retry: 2

  fn extract(text: string) -> Extraction<Document> {
    ask "Extract the document and say how certain you are.\n\nTEXT:\n{text}" -> Extraction<Document>
  }
}

agent Reporter {
  fn report(extraction: Extraction<Document>) -> Summary {
    document: Document = extraction.data
    match document {
      case Invoice invoice {
        return { line: invoice.invoice_number, confidence: extraction.confidence }
      }
      case Receipt receipt {
        return { line: receipt.reference, confidence: extraction.confidence }
      }
    }
  }
}

input text: string

extractor = Extractor()
reporter = Reporter()

extraction = extractor.extract(text)
summary = reporter.report(extraction)

schema Invoice {
  invoice_number: string @desc("Invoice number")
  total: float @desc("Grand total including tax")
}

schema Confidence {
  score: float [0..1] @desc("How certain the extraction is")
  reason: string @desc("Why that score was given")
}

schema Customer {
  name: string @desc("Customer name")
}

schema Pair<A, B> {
  left: A
  right: B
}

agent Desk {
  fn read(document: string) -> Pair<Invoice, Confidence> {
    ask "Extract the invoice and state how certain you are.\n\nDOCUMENT:\n{document}" -> Pair<Invoice, Confidence>
  }

  fn attribute(document: string) -> Pair<Invoice, Customer> {
    ask "Extract the invoice and the customer it belongs to.\n\nDOCUMENT:\n{document}" -> Pair<Invoice, Customer>
  }
}

agent TechnicalAnalyst {
  role: "Teknik bulguyu belgeden çıkar."
  retry: 2
  fn examine(topic: string, document: string) -> TechnicalAnalysis {
    ask "{topic} için teknik bulguyu çıkar.\n\nBELGE:\n{document}" -> TechnicalAnalysis
  }
}

agent RiskAnalyst {
  role: "Belgeye dayanarak riski sınıflandır."
  retry: 2
  fn assess(topic: string, document: string) -> RiskAssessment {
    ask "{topic} için riski değerlendir.\n\nBELGE:\n{document}" -> RiskAssessment
  }
}

agent Editor {
  role: "Bağımsız analizleri tek raporda birleştir."
  fn merge(analyses: AnalysisBundle) -> Report {
    ask "Analizleri birleştir; yeni bilgi ekleme.\n\n{analyses}" -> Report
  }
}

technicalAgent = TechnicalAnalyst()
riskAgent      = RiskAnalyst()
editor         = Editor()

analyses = parallel on_error continue limit 2 timeout 60000 -> AnalysisBundle {
  technical = technicalAgent.examine(topic, document)
  risk      = riskAgent.assess(topic, document)
}

report = editor.merge(analyses)

agent Accountant {
  tools: [calculate]

  fn execute(a: float, b: float) -> Explanation {
    // Guaranteed: it does not depend on a model decision
    result = tool calculate({ a: a, b: b, operation: "add" })

    // The model only interprets, it does not calculate
    explanation = ask "Şu sonucu bir cümleyle açıkla: {result}" -> Explanation
    return explanation
  }
}

import agent from "std/agent"

agent FaultTolerant {
  tools: [http_get, cache_read]
  tool_failure_limit: 3

  fn fetch(url: string) -> Content {
    try {
      live = tool http_get({ url: url })
      return { source: "live", body: live.body }
    } catch error {
      if agent.isRetryable(error) {
        cached = tool cache_read({ url: url })
        return { source: "cache", body: cached.body }
      }
      return { source: "error", body: agent.errorMessage(error) }
    }
  }
}

cursor = pipeline.loadCursor()              // state.read; ilk koşuda null -> varsayılan
rows = query NewOrders(cursor.since)         // tipli satırlar, $1 bağlama, şema doğrulamalı
prepared = pipeline.prepare(rows)            // col.sortBy + col.groupBy + toplamlar

classified = parallel over prepared.ordered as order limit 2 -> Classified[] {
  result = pipeline.classify(order)          // ask; eleman başına şema doğrulama
  return result
}

written = command RecordSummary("east", prepared.east_total)
result = pipeline.summarize(prepared, classified, written)   // state.write yeni watermark

model Primary {
  provider: "openai-compatible"
  base_url: "https://gateway-a.example/v1"
  model: "text-model-l"
  api_key: getEnv("api_key")
  timeout: 30000
}

model Backup {
  provider: "anthropic"
  base_url: "https://gateway-b.example/v1"
  model: "text-model-m"
  api_key: getEnv("anthropic_key")
  timeout: 30000
}

run_policy Resilient {
  strategy: "fallback"
  models: [Primary, Backup]
  on: ["timeout", "rate_limit", "provider_error", "empty_content"]
  max_attempts: 2
}

agent Production {
  model: Primary
  run_policy: Resilient
  retry: 2
  timeout: 30000
  orchestration_timeout: 120000
  token_budget: 50000
  tool_failure_limit: 3
  tool_policy: "deny_write"
}

datasource Warehouse {
  credential: "PG_URL"
  timeout: 30000        // zorunlu: varsayılan bir deadline yok
  retry: 2              // yalnızca query — command hiç retry edilmez
  pool_max: 4           // in-flight tavanı; varsayılanı 1
}

classified = parallel over rows as row on_error continue limit 4 -> Classified[] {
  return grader.grade(row)
}

npm test                 # 550 test — gateway gerektirmez
npm run test:live-model  # gerçek gateway gerektirir, opsiyonel

test "kalem toplamı tutarlı olmalı" {
  expect LineItem { quantity: 2, unit_price: 5, total: 10 } valid
  expect LineItem { quantity: 2, unit_price: 5, total: 16 } invalid "uymuyor"
}

schema Reading {
  celsius: float @valid(x => x > -274) @severity("warn")
  sensor: string @valid(x => startsWith(x, "S-"))
}

test "soft rules record findings instead of failing" {
  expect Reading { celsius: -300, sensor: "S-1" } finding "x => x > -274"
  expect Reading { celsius: 21.5, sensor: "S-1" } valid
}

test "hard rules on the same schema still refuse" {
  expect Reading { celsius: 21.5, sensor: "X-1" } invalid "does not satisfy its @valid rule"
}

test "temiz ölçüm hiçbir şey kaydetmez" {
  expect Reading { celsius: 21.5, sensor: "S-1" } clean
}

test "şerhli ölçüm geçerlidir ama temiz değildir" {
  expect Reading { celsius: -300, sensor: "S-1" } valid
  expect Reading { celsius: -300, sensor: "S-1" } finding "x => x > -274"
}

luma program.luma --record /tmp/run.json   # gateway'e bir kez gider
luma program.luma --replay /tmp/run.json   # hiç istek yok

luma program.luma --fmt | diff -u program.luma -   # çıktı yoksa biçimli

for f in luma/*.luma luma/std/*.luma; do
  luma "$f" --fmt | diff -q - "$f" > /dev/null || { echo "unformatted: $f"; exit 1; }
done

lumac program.luma -o out.ts     # tek dosyalık kendine yeten TypeScript
bun out.ts

lumac program.luma --compile     # ya da bir adım öteye: executable
./program

luma program.luma --all --trace-file trace.json --state-file .state.json