@aster-cloud/aster-lang-test 0.0.2

package/corpus/tier3-fixtures/golden-core/pii_result_type.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/pii_result_type.aster"
+}

package/corpus/tier3-fixtures/golden-core/type_inference_cnl.aster

@@ -0,0 +1,146 @@
+Module tests.type_inference_cnl.
+
+// ============================================================
+// CNL 自然语言风格类型推断示例
+// Natural Language Style Type Inference Examples
+// ============================================================
+//
+// 本示例展示 Aster CNL 的类型推断功能，使字段定义更接近自然语言。
+// This example demonstrates Aster CNL's type inference, making
+// field definitions closer to natural language.
+//
+// 类型推断规则 (Type Inference Rules):
+// - *Id, *ID, *Identifier, *Code, *Key, *Token → Text
+// - *Amount, *Price, *Cost, *Fee, *Balance, *Rate → Float
+// - *Count, *Number, *Age, *Score, *Level, *Months, *Days → Int
+// - is*, has*, can*, should*, allow* → Bool
+// - *Date, *Time, *At, *Timestamp, *Created → DateTime
+// - 有 Range 约束 → Int 或 Float (depending on bounds)
+// - 有 Pattern 约束 → Text
+// - 默认 → Text
+// ============================================================
+
+// --------------------------------------------------
+// 示例 1: 贷款申请 - 对比传统语法与 CNL 语法
+// Example 1: Loan Application - Traditional vs CNL
+// --------------------------------------------------
+
+// 传统语法 (Traditional syntax with explicit types):
+// Define LoanApplication has applicantId: Text, loanAmount: Float, termMonths: Int, isApproved: Bool.
+
+// CNL 自然语言语法 (CNL natural language syntax):
+// 字段类型根据命名约定自动推断
+Define LoanApplication has
+  applicantId,
+  loanAmount,
+  termMonths,
+  isApproved.
+
+// 推断结果:
+// - applicantId → Text (匹配 *Id 后缀)
+// - loanAmount → Float (匹配 *Amount 后缀)
+// - termMonths → Int (匹配 *Months 后缀)
+// - isApproved → Bool (匹配 is* 前缀)
+
+// --------------------------------------------------
+// 示例 2: 带约束的字段定义
+// Example 2: Fields with Constraints
+// --------------------------------------------------
+
+// 约束驱动类型推断 (Constraint-driven type inference):
+Define ApplicantProfile has
+  age between 18 and 120,
+  creditScore between 300 and 850,
+  annualIncome,
+  monthlyDebt,
+  yearsEmployed between 0 and 50.
+
+// 推断结果:
+// - age → Int (Range 约束使用整数边界)
+// - creditScore → Int (Range 约束使用整数边界)
+// - annualIncome → Float (匹配 *Income 后缀)
+// - monthlyDebt → Float (匹配 *Debt 后缀? 无，默认 Text；实际需要显式声明)
+// - yearsEmployed → Int (Range 约束使用整数边界)
+
+// --------------------------------------------------
+// 示例 3: 审批决定 - 混合使用推断与显式类型
+// Example 3: Approval Decision - Mixed Inference and Explicit
+// --------------------------------------------------
+
+// 推断类型与显式类型可以混合使用
+Define LoanDecision has
+  isApproved,
+  approvalReason required,
+  approvedAmount,
+  interestRate between 0.01 and 0.30,
+  termMonths.
+
+// 推断结果:
+// - isApproved → Bool (匹配 is* 前缀)
+// - approvalReason → Text (显式声明)
+// - approvedAmount → Float (匹配 *Amount 后缀)
+// - interestRate → Float (Range 约束使用小数边界)
+// - termMonths → Int (匹配 *Months 后缀)
+
+// --------------------------------------------------
+// 示例 4: 用户信息 - 各类型推断展示
+// Example 4: User Info - Various Type Inference
+// --------------------------------------------------
+
+Define UserInfo has
+  // Text 类型推断
+  userId,
+  userCode,
+  apiKey,
+  accessToken,
+  firstName,
+  emailAddress,
+
+  // Int 类型推断
+  itemCount,
+  orderNumber,
+  memberLevel,
+  pageSize,
+
+  // Float 类型推断
+  accountBalance,
+  totalPrice,
+  serviceFee,
+  taxPercentage,
+
+  // Bool 类型推断
+  isActive,
+  hasPermission,
+  canEdit,
+  shouldNotify,
+
+  // DateTime 类型推断
+  createdAt,
+  updatedAt,
+  expiryDate,
+  lastModified.
+
+// --------------------------------------------------
+// 示例 5: 评估函数 - 使用推断类型的数据
+// Example 5: Evaluation Function - Using Inferred Types
+// --------------------------------------------------
+
+Rule evaluateLoan given application, applicant, produce:
+  If applicant.age less than 18
+    Return LoanDecision with isApproved set to false, approvalReason set to "Underage", approvedAmount set to 0.0, interestRate set to 0.0, termMonths set to 0.
+
+  If applicant.creditScore less than 650
+    Return LoanDecision with isApproved set to false, approvalReason set to "Low credit", approvedAmount set to 0.0, interestRate set to 0.0, termMonths set to 0.
+
+  Let baseRate be calculateBaseRate(applicant.creditScore).
+
+  Return LoanDecision with isApproved set to true, approvalReason set to "Approved", approvedAmount set to application.loanAmount, interestRate set to baseRate, termMonths set to application.termMonths.
+
+Rule calculateBaseRate given score, produce:
+  If score less than 670
+    Return 0.15.
+  If score less than 740
+    Return 0.10.
+  If score less than 800
+    Return 0.07.
+  Return 0.05.

package/corpus/tier3-fixtures/golden-core/type_inference_cnl.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/type_inference_cnl.aster"
+}

package/corpus/tier3-fixtures/golden-core/workflow-diamond.aster

@@ -0,0 +1,19 @@
+Module demo.workflow.core.diamond.
+
+Rule runDiamond, produce. It performs io:
+  
+  workflow:
+    step prepare:
+      Let baseline be Time.now().
+      Return ok of baseline.
+  
+    step branchA:
+      Return ok of Ai.summarize("payload").
+  
+    step branchB:
+      Return ok of Files.read("/tmp/data").
+  
+    step finalize:
+      Return ok of 42.
+  
+  .

package/corpus/tier3-fixtures/golden-core/workflow-diamond.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/workflow-diamond.aster"
+}

package/corpus/tier3-fixtures/golden-core/workflow-linear__golden-core.aster

@@ -0,0 +1,22 @@
+Module demo.workflow.core.linear.
+
+Rule runLinear, produce. It performs io:
+  
+  workflow:
+    step fetch:
+      Return ok of Http.get("/orders").
+
+    step persist:
+      Let record be Sql.insert("orders", "payload").
+      Return ok of record.
+
+    compensate:
+      Return ok of Secrets.rotate("orders-key").
+  
+    retry:
+      max attempts: 3.
+      backoff: exponential.
+  
+    timeout: 15 seconds.
+  
+  .

package/corpus/tier3-fixtures/golden-core/workflow-linear__golden-core.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/workflow-linear.aster"
+}

package/corpus/tier3-fixtures/golden-diagnostics/pii_http_violation__golden-diagnostics.aster

@@ -0,0 +1,4 @@
+Module test.pii.http_violation.
+
+Rule send_user_email given email, produce. It performs io [Http]:
+  Return Http.post("https://api.example.com", email).

package/corpus/tier3-fixtures/golden-diagnostics/pii_http_violation__golden-diagnostics.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-diagnostics",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/diagnostics/pii_http_violation.aster"
+}

package/corpus/tier3-fixtures/lexicon-i18n/01-hello.aster

@@ -0,0 +1,8 @@
+// Deutsches Hello World - Grundfunktion zur Begruessung
+Dieses Modul ist test.hallo.
+
+Um begruesse mit name, liefert:
+  gib zurueck "Hallo, " plus name.
+
+Um halloWelt, liefert:
+  gib zurueck "Hallo, Welt!".

package/corpus/tier3-fixtures/lexicon-i18n/01-hello.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lexicon-i18n",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/i18n/de-DE/01-hello.aster"
+}

package/corpus/tier3-fixtures/lexicon-i18n/01-hello__i18n-en-US.aster

@@ -0,0 +1,7 @@
+Module test.hello.
+
+Rule sayHello given name, produce:
+  Return "Hello, " plus name.
+
+Rule helloWorld, produce:
+  Return "Hello, World!".

package/corpus/tier3-fixtures/lexicon-i18n/01-hello__i18n-en-US.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lexicon-i18n",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/i18n/en-US/01-hello.aster"
+}

package/corpus/tier3-fixtures/lexicon-i18n/01-hello__i18n-zh-CN.aster

@@ -0,0 +1,8 @@
+// 中文 Hello World - 返回问候语的基础函数
+模块 测试.你好。
+
+规则 打招呼 包含 名字，产出：
+  返回 「你好，」 加 名字。
+
+规则 你好世界，产出：
+  返回 「你好，世界！」。

package/corpus/tier3-fixtures/lexicon-i18n/01-hello__i18n-zh-CN.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lexicon-i18n",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/i18n/zh-CN/01-hello.aster"
+}

package/corpus/tier3-fixtures/lexicon-i18n/02-types.aster

@@ -0,0 +1,10 @@
+// Deutsche Typen - Datentypdefinitionen mit Einschraenkungen
+Dieses Modul ist test.typen.
+
+Definiere Benutzer mit kennung, name, alter.
+
+Definiere Produkt mit sku, preis, aufLager.
+
+Definiere Status als eines von Ausstehend, Aktiv, Abgeschlossen, Storniert.
+
+Definiere Bestellung mit bestellId, kunde, status, notiz.

package/corpus/tier3-fixtures/lexicon-i18n/02-types.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lexicon-i18n",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/i18n/de-DE/02-types.aster"
+}

package/corpus/tier3-fixtures/lexicon-i18n/02-types__i18n-en-US.aster

@@ -0,0 +1,9 @@
+Module test.types.
+
+Define User has id, name, age.
+
+Define Product has sku, price, inStock.
+
+Define Status as one of Pending, Active, Completed, Cancelled.
+
+Define Order has orderId, customer, status, notes.

package/corpus/tier3-fixtures/lexicon-i18n/02-types__i18n-en-US.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lexicon-i18n",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/i18n/en-US/02-types.aster"
+}

package/corpus/tier3-fixtures/lexicon-i18n/02-types__i18n-zh-CN.aster

@@ -0,0 +1,24 @@
+// 中文类型 - 带约束的数据类型定义
+模块 测试.类型。
+
+// 基础记录类型
+定义 用户 包含
+  编号 必填，
+  名字 必填，
+  年龄 介于 0 且 120。
+
+// 多字段类型的记录
+定义 商品 包含
+  货号 必填，
+  价格 至少 0，
+  有货。
+
+// 枚举类型定义
+定义 状态 为以下之一 待处理、进行中、已完成、已取消。
+
+// 带可选字段的类型
+定义 订单 包含
+  订单号 必填，
+  顾客，
+  状态，
+  备注。

package/corpus/tier3-fixtures/lexicon-i18n/02-types__i18n-zh-CN.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lexicon-i18n",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/i18n/zh-CN/02-types.aster"
+}

package/corpus/tier3-fixtures/lexicon-i18n/03-functions.aster

@@ -0,0 +1,27 @@
+// Deutsche Funktionen - Funktionsdefinitionen und Aufrufe
+Dieses Modul ist test.funktionen.
+
+Definiere Ergebnis mit erfolg, nachricht.
+
+// Einfache Funktion mit einem Parameter
+Um verdoppeln mit wert, liefert:
+  gib zurueck wert mal 2.
+
+// Funktion mit mehreren Parametern
+Um addieren mit a, b, liefert:
+  gib zurueck a plus b.
+
+// Funktion die eine andere Funktion aufruft
+Um vierfach mit wert, liefert:
+  sei doppelt gleich verdoppeln(wert).
+  gib zurueck verdoppeln(doppelt).
+
+// Funktion die einen Datensatz zurueckgibt
+Um ergebnisErstellen mit ok, msg, liefert:
+  gib zurueck Ergebnis mit erfolg setze auf ok, nachricht setze auf msg.
+
+// Funktion mit lokalen Variablen
+Um berechnen mit basis, faktor, offset, liefert:
+  sei produkt gleich basis mal faktor.
+  sei resultat gleich produkt plus offset.
+  gib zurueck resultat.

package/corpus/tier3-fixtures/lexicon-i18n/03-functions.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lexicon-i18n",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/i18n/de-DE/03-functions.aster"
+}

package/corpus/tier3-fixtures/lexicon-i18n/03-functions__i18n-en-US.aster

@@ -0,0 +1,27 @@
+// English Functions - Function definitions and calls
+Module test.functions.
+
+Define Result has success, message.
+
+// Simple function with one parameter
+Rule double given x, produce:
+  Return x times 2.
+
+// Function with multiple parameters
+Rule add given a, b, produce:
+  Return a plus b.
+
+// Function calling another function
+Rule quadruple given x, produce:
+  Let doubled be double(x).
+  Return double(doubled).
+
+// Function returning a record
+Rule createResult given ok, msg, produce:
+  Return Result with success set to ok, message set to msg.
+
+// Function with local variables
+Rule calculate given base, multiplier, offset, produce:
+  Let product be base times multiplier.
+  Let result be product plus offset.
+  Return result.

package/corpus/tier3-fixtures/lexicon-i18n/03-functions__i18n-en-US.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lexicon-i18n",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/i18n/en-US/03-functions.aster"
+}

package/corpus/tier3-fixtures/lexicon-i18n/03-functions__i18n-zh-CN.aster

@@ -0,0 +1,27 @@
+// 中文函数 - 函数定义和调用
+模块 测试.函数。
+
+定义 响应 包含 是否成功，消息。
+
+// 单参数简单函数
+规则 翻倍 包含 数值，产出：
+  返回 数值 乘 2。
+
+// 多参数函数
+规则 相加 包含 甲，乙，产出：
+  返回 甲 加 乙。
+
+// 调用其他函数的函数
+规则 四倍 包含 数值，产出：
+  令 双倍 为 翻倍(数值)。
+  返回 翻倍(双倍)。
+
+// 返回记录的函数
+规则 创建响应 包含 是否成功，消息，产出：
+  返回 「响应已生成」。
+
+// 带局部变量的函数
+规则 计算 包含 基数，倍数，偏移，产出：
+  令 乘积 为 基数 乘 倍数。
+  令 总和 为 乘积 加 偏移。
+  返回 总和。

package/corpus/tier3-fixtures/lexicon-i18n/03-functions__i18n-zh-CN.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lexicon-i18n",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/i18n/zh-CN/03-functions.aster"
+}

package/corpus/tier3-fixtures/lexicon-i18n/04-control-flow.aster

@@ -0,0 +1,35 @@
+// Deutsche Kontrollfluss - Wenn/Sonst Bedingungen
+Dieses Modul ist test.kontrollfluss.
+
+Definiere Entscheidung mit genehmigt, grund.
+
+// Einfache Wenn-Bedingung
+Um istErwachsen mit alter, liefert:
+  wenn alter groesser als 17
+    gib zurueck wahr.
+  gib zurueck falsch.
+
+// Wenn mit Sonst
+Um alterPruefen mit alter, liefert:
+  wenn alter kleiner als 18
+    gib zurueck "Minderjaehrig".
+  sonst
+    gib zurueck "Erwachsen".
+
+// Verschachtelte Bedingungen
+Um alterKategorisieren mit alter, liefert:
+  wenn alter kleiner als 13
+    gib zurueck "Kind".
+  wenn alter kleiner als 20
+    gib zurueck "Jugendlicher".
+  wenn alter kleiner als 60
+    gib zurueck "Erwachsener".
+  gib zurueck "Senior".
+
+// Komplexe Entscheidungslogik
+Um antragBewerten mit alter, punktzahl, liefert:
+  wenn alter kleiner als 18
+    gib zurueck Entscheidung mit genehmigt setze auf falsch, grund setze auf "Minderjaehriger Antragsteller".
+  wenn punktzahl kleiner als 600
+    gib zurueck Entscheidung mit genehmigt setze auf falsch, grund setze auf "Punktzahl zu niedrig".
+  gib zurueck Entscheidung mit genehmigt setze auf wahr, grund setze auf "Genehmigt".

package/corpus/tier3-fixtures/lexicon-i18n/04-control-flow.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lexicon-i18n",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/i18n/de-DE/04-control-flow.aster"
+}

package/corpus/tier3-fixtures/lexicon-i18n/04-control-flow__i18n-en-US.aster

@@ -0,0 +1,35 @@
+// English Control Flow - If/Otherwise conditionals
+Module test.controlflow.
+
+Define Decision has approved, reason.
+
+// Simple if condition
+Rule isAdult given age, produce:
+  If age greater than 17
+    Return true.
+  Return false.
+
+// If with otherwise
+Rule checkAge given age, produce:
+  If age less than 18
+    Return "Minor".
+  Otherwise
+    Return "Adult".
+
+// Nested conditions
+Rule categorizeAge given age, produce:
+  If age less than 13
+    Return "Child".
+  If age less than 20
+    Return "Teenager".
+  If age less than 60
+    Return "Adult".
+  Return "Senior".
+
+// Complex decision logic
+Rule evaluateApplication given age, score, produce:
+  If age less than 18
+    Return Decision with approved set to false, reason set to "Underage applicant".
+  If score less than 600
+    Return Decision with approved set to false, reason set to "Score too low".
+  Return Decision with approved set to true, reason set to "Approved".

package/corpus/tier3-fixtures/lexicon-i18n/04-control-flow__i18n-en-US.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lexicon-i18n",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/i18n/en-US/04-control-flow.aster"
+}

package/corpus/tier3-fixtures/lexicon-i18n/04-control-flow__i18n-zh-CN.aster

@@ -0,0 +1,35 @@
+// 中文控制流 - 如果/否则条件语句
+模块 测试.控制流。
+
+定义 决定 包含 是否批准，理由。
+
+// 简单如果条件
+规则 是否成年 包含 年龄，产出：
+  如果 年龄 大于 17
+    返回 真。
+  返回 假。
+
+// 如果加否则
+规则 检查年龄 包含 年龄，产出：
+  如果 年龄 小于 18
+    返回 「未成年」。
+  否则
+    返回 「成年人」。
+
+// 嵌套条件
+规则 年龄分类 包含 年龄，产出：
+  如果 年龄 小于 13
+    返回 「儿童」。
+  如果 年龄 小于 20
+    返回 「青少年」。
+  如果 年龄 小于 60
+    返回 「成年人」。
+  返回 「老年人」。
+
+// 复杂决策逻辑
+规则 评估申请 包含 年龄，评分，产出：
+  如果 年龄 小于 18
+    返回 决定 包含 是否批准 将 设为 假, 理由 将 设为 「申请人未成年」。
+  如果 评分 小于 600
+    返回 决定 包含 是否批准 将 设为 假, 理由 将 设为 「评分过低」。
+  返回 决定 包含 是否批准 将 设为 真, 理由 将 设为 「审核通过」。

package/corpus/tier3-fixtures/lexicon-i18n/04-control-flow__i18n-zh-CN.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lexicon-i18n",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/i18n/zh-CN/04-control-flow.aster"
+}