@aster-cloud/aster-lang-test 0.0.2

package/corpus/tier1-equivalence/inputs/01-arithmetic-add.cases.json

@@ -0,0 +1,30 @@
+{
+  "policy": "tier1-equivalence/policies/01-arithmetic-add.aster",
+  "entry": "add",
+  "cases": [
+    {
+      "name": "1 + 2 = 3",
+      "input": [
+        1,
+        2
+      ],
+      "expectedOutput": 3
+    },
+    {
+      "name": "0 + 0 = 0",
+      "input": [
+        0,
+        0
+      ],
+      "expectedOutput": 0
+    },
+    {
+      "name": "negative + positive",
+      "input": [
+        -5,
+        8
+      ],
+      "expectedOutput": 3
+    }
+  ]
+}

package/corpus/tier1-equivalence/inputs/02-arithmetic-precedence.cases.json

@@ -0,0 +1,33 @@
+{
+  "policy": "tier1-equivalence/policies/02-arithmetic-precedence.aster",
+  "entry": "compute",
+  "cases": [
+    {
+      "name": "2 + 3 * 4 = 14",
+      "input": [
+        2,
+        3,
+        4
+      ],
+      "expectedOutput": 14
+    },
+    {
+      "name": "0 + anything = anything",
+      "input": [
+        0,
+        5,
+        6
+      ],
+      "expectedOutput": 30
+    },
+    {
+      "name": "negative middle",
+      "input": [
+        10,
+        -2,
+        3
+      ],
+      "expectedOutput": 4
+    }
+  ]
+}

package/corpus/tier1-equivalence/inputs/04-let-binding.cases.json

@@ -0,0 +1,27 @@
+{
+  "policy": "tier1-equivalence/policies/04-let-binding.aster",
+  "entry": "discounted_price",
+  "cases": [
+    {
+      "name": "100 → 90 (10% off)",
+      "input": [
+        100
+      ],
+      "expectedOutput": 90
+    },
+    {
+      "name": "1000 → 900",
+      "input": [
+        1000
+      ],
+      "expectedOutput": 900
+    },
+    {
+      "name": "0 → 0",
+      "input": [
+        0
+      ],
+      "expectedOutput": 0
+    }
+  ]
+}

package/corpus/tier1-equivalence/inputs/05-comparison.cases.json

@@ -0,0 +1,27 @@
+{
+  "policy": "tier1-equivalence/policies/05-comparison.aster",
+  "entry": "is_adult",
+  "cases": [
+    {
+      "name": "21 is adult",
+      "input": [
+        21
+      ],
+      "expectedOutput": true
+    },
+    {
+      "name": "17 is not adult (boundary)",
+      "input": [
+        17
+      ],
+      "expectedOutput": false
+    },
+    {
+      "name": "18 is adult",
+      "input": [
+        18
+      ],
+      "expectedOutput": true
+    }
+  ]
+}

package/corpus/tier1-equivalence/inputs/06-string-concat.cases.json

@@ -0,0 +1,27 @@
+{
+  "policy": "tier1-equivalence/policies/06-string-concat.aster",
+  "entry": "greet",
+  "cases": [
+    {
+      "name": "Hello, Alice",
+      "input": [
+        "Alice"
+      ],
+      "expectedOutput": "Hello, Alice"
+    },
+    {
+      "name": "empty name",
+      "input": [
+        ""
+      ],
+      "expectedOutput": "Hello, "
+    },
+    {
+      "name": "unicode name",
+      "input": [
+        "世界"
+      ],
+      "expectedOutput": "Hello, 世界"
+    }
+  ]
+}

package/corpus/tier1-equivalence/inputs/07-arithmetic-subtract.cases.json

@@ -0,0 +1,30 @@
+{
+  "policy": "tier1-equivalence/policies/07-arithmetic-subtract.aster",
+  "entry": "subtract",
+  "cases": [
+    {
+      "name": "10 - 3 = 7",
+      "input": [
+        10,
+        3
+      ],
+      "expectedOutput": 7
+    },
+    {
+      "name": "5 - 5 = 0",
+      "input": [
+        5,
+        5
+      ],
+      "expectedOutput": 0
+    },
+    {
+      "name": "3 - 10 = -7",
+      "input": [
+        3,
+        10
+      ],
+      "expectedOutput": -7
+    }
+  ]
+}

package/corpus/tier1-equivalence/inputs/08-arithmetic-divide.cases.json

@@ -0,0 +1,30 @@
+{
+  "policy": "tier1-equivalence/policies/08-arithmetic-divide.aster",
+  "entry": "divide",
+  "cases": [
+    {
+      "name": "20 / 4 = 5",
+      "input": [
+        20,
+        4
+      ],
+      "expectedOutput": 5
+    },
+    {
+      "name": "7 / 2 = 3 (integer truncation)",
+      "input": [
+        7,
+        2
+      ],
+      "expectedOutput": 3
+    },
+    {
+      "name": "100 / 10 = 10",
+      "input": [
+        100,
+        10
+      ],
+      "expectedOutput": 10
+    }
+  ]
+}

package/corpus/tier1-equivalence/inputs/09-arithmetic-modulo.cases.json

@@ -0,0 +1,27 @@
+{
+  "policy": "tier1-equivalence/policies/09-arithmetic-modulo.aster",
+  "entry": "is_even",
+  "cases": [
+    {
+      "name": "4 is even",
+      "input": [
+        4
+      ],
+      "expectedOutput": true
+    },
+    {
+      "name": "7 is not even",
+      "input": [
+        7
+      ],
+      "expectedOutput": false
+    },
+    {
+      "name": "0 is even",
+      "input": [
+        0
+      ],
+      "expectedOutput": true
+    }
+  ]
+}

package/corpus/tier1-equivalence/inputs/10-arithmetic-negate.cases.json

@@ -0,0 +1,27 @@
+{
+  "policy": "tier1-equivalence/policies/10-arithmetic-negate.aster",
+  "entry": "negate",
+  "cases": [
+    {
+      "name": "negate 5 → -5",
+      "input": [
+        5
+      ],
+      "expectedOutput": -5
+    },
+    {
+      "name": "negate 0 → 0",
+      "input": [
+        0
+      ],
+      "expectedOutput": 0
+    },
+    {
+      "name": "negate -7 → 7",
+      "input": [
+        -7
+      ],
+      "expectedOutput": 7
+    }
+  ]
+}

package/corpus/tier1-equivalence/inputs/13-boolean-not.cases.json

@@ -0,0 +1,27 @@
+{
+  "policy": "tier1-equivalence/policies/13-boolean-not.aster",
+  "entry": "invert",
+  "cases": [
+    {
+      "name": "not true → false",
+      "input": [
+        true
+      ],
+      "expectedOutput": false
+    },
+    {
+      "name": "not false → true",
+      "input": [
+        false
+      ],
+      "expectedOutput": true
+    },
+    {
+      "name": "double negation true",
+      "input": [
+        true
+      ],
+      "expectedOutput": false
+    }
+  ]
+}

package/corpus/tier1-equivalence/inputs/15-comparison-less.cases.json

@@ -0,0 +1,30 @@
+{
+  "policy": "tier1-equivalence/policies/15-comparison-less.aster",
+  "entry": "is_below_threshold",
+  "cases": [
+    {
+      "name": "5 < 10 → true",
+      "input": [
+        5,
+        10
+      ],
+      "expectedOutput": true
+    },
+    {
+      "name": "10 < 10 → false (boundary)",
+      "input": [
+        10,
+        10
+      ],
+      "expectedOutput": false
+    },
+    {
+      "name": "15 < 10 → false",
+      "input": [
+        15,
+        10
+      ],
+      "expectedOutput": false
+    }
+  ]
+}

package/corpus/tier1-equivalence/inputs/16-comparison-equals.cases.json

@@ -0,0 +1,30 @@
+{
+  "policy": "tier1-equivalence/policies/16-comparison-equals.aster",
+  "entry": "same",
+  "cases": [
+    {
+      "name": "5 == 5",
+      "input": [
+        5,
+        5
+      ],
+      "expectedOutput": true
+    },
+    {
+      "name": "5 == 6",
+      "input": [
+        5,
+        6
+      ],
+      "expectedOutput": false
+    },
+    {
+      "name": "0 == -0",
+      "input": [
+        0,
+        0
+      ],
+      "expectedOutput": true
+    }
+  ]
+}

package/corpus/tier1-equivalence/inputs/19-let-multiple.cases.json

@@ -0,0 +1,30 @@
+{
+  "policy": "tier1-equivalence/policies/19-let-multiple.aster",
+  "entry": "total_price",
+  "cases": [
+    {
+      "name": "5 × 100 = 500 + 50 tax = 550",
+      "input": [
+        5,
+        100
+      ],
+      "expectedOutput": 550
+    },
+    {
+      "name": "1 × 1000 = 1000 + 100 tax = 1100",
+      "input": [
+        1,
+        1000
+      ],
+      "expectedOutput": 1100
+    },
+    {
+      "name": "0 quantity = 0",
+      "input": [
+        0,
+        50
+      ],
+      "expectedOutput": 0
+    }
+  ]
+}

package/corpus/tier1-equivalence/inputs/20-let-dependent.cases.json

@@ -0,0 +1,27 @@
+{
+  "policy": "tier1-equivalence/policies/20-let-dependent.aster",
+  "entry": "final_amount",
+  "cases": [
+    {
+      "name": "50 → 100 + 100 = 200",
+      "input": [
+        50
+      ],
+      "expectedOutput": 200
+    },
+    {
+      "name": "0 → 0 + 100 = 100",
+      "input": [
+        0
+      ],
+      "expectedOutput": 100
+    },
+    {
+      "name": "1 → 2 + 100 = 102",
+      "input": [
+        1
+      ],
+      "expectedOutput": 102
+    }
+  ]
+}

package/corpus/tier1-equivalence/inputs/28-business-insurance-premium.cases.json

@@ -0,0 +1,30 @@
+{
+  "policy": "tier1-equivalence/policies/28-business-insurance-premium.aster",
+  "entry": "premium",
+  "cases": [
+    {
+      "name": "young + clean = 100 + 3 + 0 = 103",
+      "input": [
+        30,
+        0
+      ],
+      "expectedOutput": 103
+    },
+    {
+      "name": "older + 2 claims = 100 + 5 + 100 = 205",
+      "input": [
+        50,
+        2
+      ],
+      "expectedOutput": 205
+    },
+    {
+      "name": "max risk = 100 + 7 + 250 = 357",
+      "input": [
+        70,
+        5
+      ],
+      "expectedOutput": 357
+    }
+  ]
+}

package/corpus/tier1-equivalence/policies/01-arithmetic-add.aster

@@ -0,0 +1,4 @@
+Module dual.engine.arithmetic.add.
+
+Rule add given x, y, produce:
+  Return x plus y.

package/corpus/tier1-equivalence/policies/01-arithmetic-add.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/01-arithmetic-add.aster",
+  "capabilities": [
+    "cases-golden"
+  ]
+}

package/corpus/tier1-equivalence/policies/02-arithmetic-precedence.aster

@@ -0,0 +1,4 @@
+Module dual.engine.arithmetic.precedence.
+
+Rule compute given x, y, z, produce:
+  Return x plus y times z.

package/corpus/tier1-equivalence/policies/02-arithmetic-precedence.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/02-arithmetic-precedence.aster",
+  "capabilities": [
+    "cases-golden"
+  ]
+}

package/corpus/tier1-equivalence/policies/04-let-binding.aster

@@ -0,0 +1,5 @@
+Module dual.engine.let.binding.
+
+Rule discounted_price given price, produce:
+  Let discount be price divided by 10.
+  Return price minus discount.

package/corpus/tier1-equivalence/policies/04-let-binding.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/04-let-binding.aster",
+  "capabilities": [
+    "cases-golden"
+  ]
+}

package/corpus/tier1-equivalence/policies/05-comparison.aster

@@ -0,0 +1,4 @@
+Module dual.engine.comparison.
+
+Rule is_adult given age, produce:
+  Return age greater than 17.

package/corpus/tier1-equivalence/policies/05-comparison.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/05-comparison.aster",
+  "capabilities": [
+    "cases-golden"
+  ]
+}

package/corpus/tier1-equivalence/policies/06-string-concat.aster

@@ -0,0 +1,4 @@
+Module dual.engine.string.concat.
+
+Rule greet given name, produce:
+  Return "Hello, " plus name.

package/corpus/tier1-equivalence/policies/06-string-concat.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/06-string-concat.aster",
+  "capabilities": [
+    "cases-golden"
+  ]
+}

package/corpus/tier1-equivalence/policies/07-arithmetic-subtract.aster

@@ -0,0 +1,4 @@
+Module dual.engine.arithmetic.subtract.
+
+Rule subtract given x, y, produce:
+  Return x minus y.

package/corpus/tier1-equivalence/policies/07-arithmetic-subtract.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/07-arithmetic-subtract.aster",
+  "capabilities": [
+    "cases-golden"
+  ]
+}

package/corpus/tier1-equivalence/policies/08-arithmetic-divide.aster

@@ -0,0 +1,4 @@
+Module dual.engine.arithmetic.divide.
+
+Rule divide given x, y, produce:
+  Return x divided by y.

package/corpus/tier1-equivalence/policies/08-arithmetic-divide.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/08-arithmetic-divide.aster",
+  "capabilities": [
+    "cases-golden"
+  ]
+}

package/corpus/tier1-equivalence/policies/09-arithmetic-modulo.aster

@@ -0,0 +1,5 @@
+Module dual.engine.arithmetic.modulo.
+
+Rule is_even given n produce:
+  Let remainder be n minus n divided by 2 times 2.
+  Return remainder equals to 0.

package/corpus/tier1-equivalence/policies/09-arithmetic-modulo.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/09-arithmetic-modulo.aster",
+  "capabilities": [
+    "cases-golden"
+  ]
+}

package/corpus/tier1-equivalence/policies/10-arithmetic-negate.aster

@@ -0,0 +1,4 @@
+Module dual.engine.arithmetic.negate.
+
+Rule negate given x produce:
+  Return 0 minus x.

package/corpus/tier1-equivalence/policies/10-arithmetic-negate.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/10-arithmetic-negate.aster",
+  "capabilities": [
+    "cases-golden"
+  ]
+}

package/corpus/tier1-equivalence/policies/13-boolean-not.aster

@@ -0,0 +1,4 @@
+Module dual.engine.boolean.notop.
+
+Rule invert given flag produce:
+  Return not flag.

package/corpus/tier1-equivalence/policies/13-boolean-not.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/13-boolean-not.aster",
+  "capabilities": [
+    "cases-golden"
+  ]
+}

package/corpus/tier1-equivalence/policies/15-comparison-less.aster

@@ -0,0 +1,4 @@
+Module dual.engine.comparison.less.
+
+Rule is_below_threshold given value, threshold, produce:
+  Return value less than threshold.

package/corpus/tier1-equivalence/policies/15-comparison-less.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/15-comparison-less.aster",
+  "capabilities": [
+    "cases-golden"
+  ]
+}

package/corpus/tier1-equivalence/policies/16-comparison-equals.aster

@@ -0,0 +1,4 @@
+Module dual.engine.comparison.equals.
+
+Rule same given x, y, produce:
+  Return x equals to y.