Syntax fundamentals

// `:` ONLY appears in type positions:

type Invoice = {
    vendor: string,              // field type annotation
    amount: money,               // field type annotation
    items: array[LineItem]       // parameterized type
}

@flow process(invoice: Invoice): Result {   // parameter and return types
    ...
}

variable: ExplicitType = expression         // explicit variable type (optional)

// `=` for ALL value assignments and field settings:

@core InvoiceProcessor {
    version = "1.0"                          // core metadata
    description = "Processes invoices"       // core metadata
}

@flexible {
    goal = "analyze intent"                  // block field
    input = message                          // block field
    output = { intent: string }              // block field (note: `:` inside is a type)
}

@rigid {
    total = invoice.items.sum(i => i.amount) // variable assignment
    status = "processed"                     // variable assignment
}

@config {
    @param threshold: float = 0.7            // default value
}

// ✅ CORRECT — assignment capture
result = @flexible {
    goal = "analyze document"
    input = document
    output = { summary: string }
}

// ❌ WRONG — arrow capture (removed from language)
@flexible { ... } -> result

// ✅ CORRECT
output = { data: map[string, string] }

// ❌ WRONG
output = { data: any }