@aster-cloud/aster-lang-test 0.0.2

package/corpus/tier2-divergent/java-only/26-if-bool-condition.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 2,
+  "engines": [
+    "java"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/26-if-bool-condition.aster",
+  "knownGaps": [
+    "ts-peg-missing-and-or-binary-ops"
+  ],
+  "divergenceType": "grammar-gap"
+}

package/corpus/tier2-divergent/java-only/27-business-loan-eligibility.aster

@@ -0,0 +1,4 @@
+Module dual.engine.business.loan.
+
+Rule eligible given age, credit_score, annual_income, produce:
+  Return age greater than 17 and credit_score greater than 599 and annual_income greater than 19999.

package/corpus/tier2-divergent/java-only/27-business-loan-eligibility.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 2,
+  "engines": [
+    "java"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/27-business-loan-eligibility.aster",
+  "knownGaps": [
+    "ts-peg-missing-and-or-binary-ops"
+  ],
+  "divergenceType": "grammar-gap"
+}

package/corpus/tier2-divergent/java-only/30-business-gdpr-retention.aster

@@ -0,0 +1,4 @@
+Module dual.engine.business.gdpr.
+
+Rule allow_access given consent_active, days_since_consent, produce:
+  Return consent_active and days_since_consent less than 730.

package/corpus/tier2-divergent/java-only/30-business-gdpr-retention.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 2,
+  "engines": [
+    "java"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/30-business-gdpr-retention.aster",
+  "knownGaps": [
+    "ts-peg-missing-and-or-binary-ops"
+  ],
+  "divergenceType": "grammar-gap"
+}

package/corpus/tier2-divergent/java-only/neq_test.aster

@@ -0,0 +1,10 @@
+Module demo.neq.
+
+Rule isDifferent given x, y, produce:
+  Return not (x equals to y).
+
+Rule isNotZero given n, produce:
+  Return not (n equals to 0).
+
+Rule checkNotEqual given a, b, produce:
+  Return not (a equals to b).

package/corpus/tier2-divergent/java-only/neq_test.meta.json

@@ -0,0 +1,11 @@
+{
+  "tier": 2,
+  "engines": [
+    "java"
+  ],
+  "source": "aster-lang-ts/test/cnl/programs/operators/neq_test.aster",
+  "knownGaps": [
+    "ts-cannot-parse-its-own-sample"
+  ],
+  "divergenceType": "unexpected"
+}

package/corpus/tier2-divergent/ts-only/03-if-else.aster

@@ -0,0 +1,9 @@
+Module dual.engine.control.ifelse.
+
+Rule grade given score, produce:
+  If score greater than 90:
+    Return "A".
+  If score greater than 80:
+    Return "B".
+  Otherwise:
+    Return "C".

package/corpus/tier2-divergent/ts-only/03-if-else.cases.json

@@ -0,0 +1,27 @@
+{
+  "policy": "tier1-equivalence/policies/03-if-else.aster",
+  "entry": "grade",
+  "cases": [
+    {
+      "name": "score 95 → A",
+      "input": [
+        95
+      ],
+      "expectedOutput": "A"
+    },
+    {
+      "name": "score 85 → B",
+      "input": [
+        85
+      ],
+      "expectedOutput": "B"
+    },
+    {
+      "name": "score 70 → C",
+      "input": [
+        70
+      ],
+      "expectedOutput": "C"
+    }
+  ]
+}

package/corpus/tier2-divergent/ts-only/03-if-else.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 2,
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/03-if-else.aster",
+  "knownGaps": [
+    "java-rejects: L4:26 extraneous input ':' expecting {',', NEWLINE}"
+  ],
+  "divergenceType": "grammar-gap"
+}

package/corpus/tier2-divergent/ts-only/18-comparison-chained.aster

@@ -0,0 +1,9 @@
+Module dual.engine.comparison.chained.
+
+Rule classify given score produce:
+  If score less than 60:
+    Return "fail".
+  If score less than 80:
+    Return "pass".
+  Otherwise:
+    Return "excellent".

package/corpus/tier2-divergent/ts-only/18-comparison-chained.cases.json

@@ -0,0 +1,27 @@
+{
+  "policy": "tier1-equivalence/policies/18-comparison-chained.aster",
+  "entry": "classify",
+  "cases": [
+    {
+      "name": "score 50 → fail",
+      "input": [
+        50
+      ],
+      "expectedOutput": "fail"
+    },
+    {
+      "name": "score 75 → pass",
+      "input": [
+        75
+      ],
+      "expectedOutput": "pass"
+    },
+    {
+      "name": "score 90 → excellent",
+      "input": [
+        90
+      ],
+      "expectedOutput": "excellent"
+    }
+  ]
+}

package/corpus/tier2-divergent/ts-only/18-comparison-chained.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 2,
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/18-comparison-chained.aster",
+  "knownGaps": [
+    "java-rejects: L4:23 extraneous input ':' expecting {',', NEWLINE}"
+  ],
+  "divergenceType": "grammar-gap"
+}

package/corpus/tier2-divergent/ts-only/21-let-conditional.aster

@@ -0,0 +1,8 @@
+Module dual.engine.let.conditional.
+
+Rule shipping given weight produce:
+  Let base_rate be 10.
+  If weight greater than 100:
+    Return base_rate plus weight divided by 10.
+  Otherwise:
+    Return base_rate.

package/corpus/tier2-divergent/ts-only/21-let-conditional.cases.json

@@ -0,0 +1,27 @@
+{
+  "policy": "tier1-equivalence/policies/21-let-conditional.aster",
+  "entry": "shipping",
+  "cases": [
+    {
+      "name": "50kg → base 10",
+      "input": [
+        50
+      ],
+      "expectedOutput": 10
+    },
+    {
+      "name": "200kg → 10 + 20 = 30",
+      "input": [
+        200
+      ],
+      "expectedOutput": 30
+    },
+    {
+      "name": "100kg boundary → base 10",
+      "input": [
+        100
+      ],
+      "expectedOutput": 10
+    }
+  ]
+}

package/corpus/tier2-divergent/ts-only/21-let-conditional.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 2,
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/21-let-conditional.aster",
+  "knownGaps": [
+    "java-rejects: L5:28 extraneous input ':' expecting {',', NEWLINE}"
+  ],
+  "divergenceType": "grammar-gap"
+}

package/corpus/tier2-divergent/ts-only/22-let-shadowing.aster

@@ -0,0 +1,9 @@
+Module dual.engine.let.shadowing.
+
+Rule normalize given raw_value produce:
+  Let value be raw_value.
+  If value less than 0:
+    Let value be 0.
+    Return value.
+  Otherwise:
+    Return value.

package/corpus/tier2-divergent/ts-only/22-let-shadowing.cases.json

@@ -0,0 +1,27 @@
+{
+  "policy": "tier1-equivalence/policies/22-let-shadowing.aster",
+  "entry": "normalize",
+  "cases": [
+    {
+      "name": "negative clamped to 0",
+      "input": [
+        -5
+      ],
+      "expectedOutput": 0
+    },
+    {
+      "name": "positive untouched",
+      "input": [
+        42
+      ],
+      "expectedOutput": 42
+    },
+    {
+      "name": "zero untouched",
+      "input": [
+        0
+      ],
+      "expectedOutput": 0
+    }
+  ]
+}

package/corpus/tier2-divergent/ts-only/22-let-shadowing.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 2,
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/22-let-shadowing.aster",
+  "knownGaps": [
+    "java-rejects: L5:22 extraneous input ':' expecting {',', NEWLINE}"
+  ],
+  "divergenceType": "grammar-gap"
+}

package/corpus/tier2-divergent/ts-only/23-if-nested.aster

@@ -0,0 +1,10 @@
+Module dual.engine.control.nested.
+
+Rule loan_decision given credit, income, produce:
+  If credit greater than 700:
+    If income greater than 50000:
+      Return "approved".
+    Otherwise:
+      Return "review".
+  Otherwise:
+    Return "denied".

package/corpus/tier2-divergent/ts-only/23-if-nested.cases.json

@@ -0,0 +1,30 @@
+{
+  "policy": "tier1-equivalence/policies/23-if-nested.aster",
+  "entry": "loan_decision",
+  "cases": [
+    {
+      "name": "750 + 60k → approved",
+      "input": [
+        750,
+        60000
+      ],
+      "expectedOutput": "approved"
+    },
+    {
+      "name": "750 + 30k → review",
+      "input": [
+        750,
+        30000
+      ],
+      "expectedOutput": "review"
+    },
+    {
+      "name": "650 + any → denied",
+      "input": [
+        650,
+        100000
+      ],
+      "expectedOutput": "denied"
+    }
+  ]
+}

package/corpus/tier2-divergent/ts-only/23-if-nested.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 2,
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/23-if-nested.aster",
+  "knownGaps": [
+    "java-rejects: L4:28 extraneous input ':' expecting {',', NEWLINE}"
+  ],
+  "divergenceType": "grammar-gap"
+}

package/corpus/tier2-divergent/ts-only/24-if-guard-clause.aster

@@ -0,0 +1,6 @@
+Module dual.engine.control.guard.
+
+Rule absolute_value given x produce:
+  If x less than 0:
+    Return 0 minus x.
+  Return x.

package/corpus/tier2-divergent/ts-only/24-if-guard-clause.cases.json

@@ -0,0 +1,27 @@
+{
+  "policy": "tier1-equivalence/policies/24-if-guard-clause.aster",
+  "entry": "absolute_value",
+  "cases": [
+    {
+      "name": "abs(-5) = 5",
+      "input": [
+        -5
+      ],
+      "expectedOutput": 5
+    },
+    {
+      "name": "abs(7) = 7",
+      "input": [
+        7
+      ],
+      "expectedOutput": 7
+    },
+    {
+      "name": "abs(0) = 0",
+      "input": [
+        0
+      ],
+      "expectedOutput": 0
+    }
+  ]
+}

package/corpus/tier2-divergent/ts-only/24-if-guard-clause.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 2,
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/24-if-guard-clause.aster",
+  "knownGaps": [
+    "java-rejects: L4:18 extraneous input ':' expecting {',', NEWLINE}"
+  ],
+  "divergenceType": "grammar-gap"
+}

package/corpus/tier2-divergent/ts-only/25-if-multi-branch.aster

@@ -0,0 +1,11 @@
+Module dual.engine.control.multibranch.
+
+Rule pricing_tier given monthly_spend produce:
+  If monthly_spend less than 100:
+    Return "free".
+  If monthly_spend less than 1000:
+    Return "pro".
+  If monthly_spend less than 10000:
+    Return "team".
+  Otherwise:
+    Return "enterprise".

package/corpus/tier2-divergent/ts-only/25-if-multi-branch.cases.json

@@ -0,0 +1,27 @@
+{
+  "policy": "tier1-equivalence/policies/25-if-multi-branch.aster",
+  "entry": "pricing_tier",
+  "cases": [
+    {
+      "name": "50 → free",
+      "input": [
+        50
+      ],
+      "expectedOutput": "free"
+    },
+    {
+      "name": "500 → pro",
+      "input": [
+        500
+      ],
+      "expectedOutput": "pro"
+    },
+    {
+      "name": "20000 → enterprise",
+      "input": [
+        20000
+      ],
+      "expectedOutput": "enterprise"
+    }
+  ]
+}

package/corpus/tier2-divergent/ts-only/25-if-multi-branch.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 2,
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/25-if-multi-branch.aster",
+  "knownGaps": [
+    "java-rejects: L4:32 extraneous input ':' expecting {',', NEWLINE}"
+  ],
+  "divergenceType": "grammar-gap"
+}

package/corpus/tier2-divergent/ts-only/29-business-tax-bracket.aster

@@ -0,0 +1,11 @@
+Module dual.engine.business.tax.
+
+Rule tax given income produce:
+  If income less than 10000:
+    Return 0.
+  If income less than 50000:
+    Return income times 10 divided by 100.
+  If income less than 200000:
+    Return income times 20 divided by 100.
+  Otherwise:
+    Return income times 30 divided by 100.

package/corpus/tier2-divergent/ts-only/29-business-tax-bracket.cases.json

@@ -0,0 +1,27 @@
+{
+  "policy": "tier1-equivalence/policies/29-business-tax-bracket.aster",
+  "entry": "tax",
+  "cases": [
+    {
+      "name": "5k → 0 tax (below threshold)",
+      "input": [
+        5000
+      ],
+      "expectedOutput": 0
+    },
+    {
+      "name": "30k @ 10%",
+      "input": [
+        30000
+      ],
+      "expectedOutput": 3000
+    },
+    {
+      "name": "100k @ 20%",
+      "input": [
+        100000
+      ],
+      "expectedOutput": 20000
+    }
+  ]
+}

package/corpus/tier2-divergent/ts-only/29-business-tax-bracket.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 2,
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/29-business-tax-bracket.aster",
+  "knownGaps": [
+    "java-rejects: L4:27 extraneous input ':' expecting {',', NEWLINE}"
+  ],
+  "divergenceType": "grammar-gap"
+}

package/corpus/tier2-divergent/ts-only/comparison_operators.aster

@@ -0,0 +1,10 @@
+Module demo.comparison.
+
+Rule testGreaterThanOrEqual given a, b, produce:
+  Return 0.
+Rule testLessThanOrEqual given a, b, produce:
+  Return 0.
+Rule testNotEqual given a, b, produce:
+  Return 0.
+Rule testInRange given value, min, max, produce:
+  Return 0.

package/corpus/tier2-divergent/ts-only/comparison_operators.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 2,
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/operators/comparison_operators.aster",
+  "knownGaps": [
+    "java-cannot-parse"
+  ],
+  "divergenceType": "grammar-gap"
+}

package/corpus/tier2-divergent/ts-only/cross_compiler_ops.aster

@@ -0,0 +1,73 @@
+Module ops.cross_compiler.
+
+Rule kwLessThan given x, y, produce:
+  Return x less than y.
+
+Rule kwGreaterThan given x, y, produce:
+  Return x greater than y.
+
+Rule kwEqualsTo given x, y, produce:
+  Return x equals to y.
+
+Rule kwNotEqualTo given x, y, produce:
+  Return x not equal to y.
+
+Rule kwAtLeast given x, y, produce:
+  Return x at least y.
+
+Rule kwAtMost given x, y, produce:
+  Return x at most y.
+
+Rule synUnder given x, y, produce:
+  Return x under y.
+
+Rule synOver given x, y, produce:
+  Return x over y.
+
+Rule synMoreThan given x, y, produce:
+  Return x more than y.
+
+Rule symLt given x, y, produce:
+  Return x < y.
+
+Rule symGt given x, y, produce:
+  Return x > y.
+
+Rule symLe given x, y, produce:
+  Return x <= y.
+
+Rule symGe given x, y, produce:
+  Return x >= y.
+
+Rule symNe given x, y, produce:
+  Return x != y.
+
+Rule symEqEq given x, y, produce:
+  Return x == y.
+
+Rule symEqSingle given x, y, produce:
+  Return x = y.
+
+Rule kwPlus given x, y, produce:
+  Return x plus y.
+
+Rule kwMinus given x, y, produce:
+  Return x minus y.
+
+Rule kwTimes given x, y, produce:
+  Return x times y.
+
+Rule kwDividedBy given x, y, produce:
+  Return x divided by y.
+
+Rule symAdd given x, y, produce:
+  Return x + y.
+
+Rule symSub given x, y, produce:
+  Return x - y.
+
+Rule symMul given x, y, produce:
+  Return x * y.
+
+Rule symDiv given x, y, produce:
+  Return x / y.

package/corpus/tier2-divergent/ts-only/cross_compiler_ops.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 2,
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/operators/cross_compiler_ops.aster",
+  "knownGaps": [
+    "java-cannot-parse"
+  ],
+  "divergenceType": "grammar-gap"
+}