@aster-cloud/aster-lang-test 0.0.2

package/corpus/tier1-equivalence/policies/enum_exhaustiveness.aster

@@ -0,0 +1,5 @@
+Define AuthErr as one of InvalidCreds, Locked.
+
+Rule show given e, produce:
+  Match e:
+    When InvalidCreds, Return "bad".

package/corpus/tier1-equivalence/policies/enum_exhaustiveness.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/patterns/enum_exhaustiveness.aster"
+}

package/corpus/tier1-equivalence/policies/enum_wildcard.aster

@@ -0,0 +1,6 @@
+Define AuthErr as one of InvalidCreds, Locked.
+
+Rule show2 given e, produce:
+  Match e:
+    When InvalidCreds, Return "bad".
+    When x, Return "other".

package/corpus/tier1-equivalence/policies/enum_wildcard.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/patterns/enum_wildcard.aster"
+}

package/corpus/tier1-equivalence/policies/fetch_dashboard.aster

@@ -0,0 +1,11 @@
+Define User has id, name.
+
+Define Dash has profile, timeline.
+
+Define AuthErr as one of InvalidCreds, Locked.
+
+Rule fetchDashboard given u, produce. It performs io:
+  Start profile as async ProfileSvc.load(u.id).
+  Start timeline as async FeedSvc.timeline(u.id).
+  Wait for profile and timeline.
+  Return ok of Dash(profile, timeline).

package/corpus/tier1-equivalence/policies/fetch_dashboard.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/async/fetch_dashboard.aster"
+}

package/corpus/tier1-equivalence/policies/fraud-simple-test.aster

@@ -0,0 +1,9 @@
+Module aster.finance.fraud.
+
+Define Transaction has transactionId, amount.
+
+Define FraudResult has riskScore.
+
+Rule detectSimple given transaction, produce:
+  Let score be transaction.amount.
+  Return FraudResult with riskScore set to score.

package/corpus/tier1-equivalence/policies/fraud-simple-test.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/business/finance/fraud-simple-test.aster"
+}

package/corpus/tier1-equivalence/policies/fraud.aster

@@ -0,0 +1,10 @@
+Module aster.finance.fraud.
+
+Define Transaction has transactionId, accountId, amount, timestamp.
+
+Define AccountHistory has accountId, averageAmount, suspiciousCount, accountAge, lastTimestamp.
+
+Define FraudResult has isSuspicious, riskScore, reason.
+
+Rule detectFraud given transaction, history, produce:
+  Return 0.

package/corpus/tier1-equivalence/policies/fraud.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/library/finance/fraud.aster"
+}

package/corpus/tier1-equivalence/policies/greet.aster

@@ -0,0 +1,8 @@
+Module app.
+
+Define User has id, name.
+
+Rule greet given user, produce:
+  Match user:
+    When null, Return "Hi, guest".
+    When User(id, name), Return "Welcome, {name}".

package/corpus/tier1-equivalence/policies/greet.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/examples/greet.aster"
+}

package/corpus/tier1-equivalence/policies/hello.aster

@@ -0,0 +1,4 @@
+Module app.
+
+Rule helloMessage, produce:
+  Return "Hello, world!".

package/corpus/tier1-equivalence/policies/hello.meta.json

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

package/corpus/tier1-equivalence/policies/hipaa-validation-demo.aster

@@ -0,0 +1,126 @@
+# ========================================
+# HIPAA Compliance Demo: PHI Validation & Access Control
+# §164.312 - Access Control & Audit Controls
+# ========================================
+
+Module examples.compliance.hipaa_validation_demo.
+
+# HIPAA 访问控制级别（服务端定义，不可客户端伪造）
+Define AccessLevel has
+  level_name,
+  can_view_demographics,
+  can_view_medical,
+  can_view_financial,
+  can_modify.
+
+# PHI 数据分类
+Define PHICategory has
+  category,
+  sensitivity,
+  requires_consent,
+  retention_years.
+
+# 访问请求
+Define PHIAccessRequest has
+  user_id,
+  user_role,
+  phi_category_name,
+  purpose,
+  has_consent.
+
+# HIPAA 验证结果
+Define HIPAAValidation has
+  is_compliant,
+  passed_count,
+  failed_count,
+  message.
+
+# 定义访问级别（服务端权威函数）
+Rule get_access_level given role, produce:
+  If role equals to "physician"
+    Return AccessLevel with level_name set to "FULL", can_view_demographics set to true, can_view_medical set to true, can_view_financial set to false, can_modify set to true.
+  If role equals to "nurse"
+    Return AccessLevel with level_name set to "CLINICAL", can_view_demographics set to true, can_view_medical set to true, can_view_financial set to false, can_modify set to false.
+  If role equals to "billing"
+    Return AccessLevel with level_name set to "BILLING", can_view_demographics set to true, can_view_medical set to false, can_view_financial set to true, can_modify set to false.
+  If role equals to "admin"
+    Return AccessLevel with level_name set to "ADMIN", can_view_demographics set to true, can_view_medical set to false, can_view_financial set to false, can_modify set to false.
+  Return AccessLevel with level_name set to "NONE", can_view_demographics set to false, can_view_medical set to false, can_view_financial set to false, can_modify set to false.
+
+# 定义 PHI 类别
+Rule get_phi_category given category_name, produce:
+  If category_name equals to "demographics"
+    Return PHICategory with category set to "DEMOGRAPHICS", sensitivity set to "L2", requires_consent set to false, retention_years set to 6.
+  If category_name equals to "medical"
+    Return PHICategory with category set to "MEDICAL", sensitivity set to "L3", requires_consent set to true, retention_years set to 10.
+  If category_name equals to "financial"
+    Return PHICategory with category set to "FINANCIAL", sensitivity set to "L2", requires_consent set to false, retention_years set to 7.
+  If category_name equals to "psychotherapy"
+    Return PHICategory with category set to "PSYCHOTHERAPY", sensitivity set to "L3", requires_consent set to true, retention_years set to 10.
+  Return PHICategory with category set to "UNKNOWN", sensitivity set to "L3", requires_consent set to true, retention_years set to 10.
+
+# HIPAA §164.312(a) - 访问控制验证
+Rule validate_access_control given request, produce:
+  Let level be get_access_level(request.user_role).
+  Let category be get_phi_category(request.phi_category_name).
+  If category.category equals to "MEDICAL"
+    If level.can_view_medical equals to false
+      Return err of Text.concat("HIPAA: Role ", request.user_role, " cannot access medical records").
+  If category.category equals to "FINANCIAL"
+    If level.can_view_financial equals to false
+      Return err of Text.concat("HIPAA: Role ", request.user_role, " cannot access financial records").
+  If category.category equals to "PSYCHOTHERAPY"
+    If level.can_view_medical equals to false
+      Return err of Text.concat("HIPAA: Role ", request.user_role, " cannot access psychotherapy notes").
+  Return ok of Text.concat("Access validated for role: ", request.user_role).
+
+# HIPAA §164.508 - 同意验证
+Rule validate_consent given request, produce:
+  Let category be get_phi_category(request.phi_category_name).
+  If category.requires_consent
+    If request.has_consent equals to false
+      Return err of Text.concat("HIPAA: Consent required for ", category.category).
+  Return ok of "Consent validated".
+
+# HIPAA §164.512 - 使用目的验证
+Rule validate_purpose given request, produce:
+  If request.purpose equals to "treatment"
+    Return ok of "Purpose validated".
+  If request.purpose equals to "payment"
+    Return ok of "Purpose validated".
+  If request.purpose equals to "healthcare_operations"
+    Return ok of "Purpose validated".
+  Return err of Text.concat("HIPAA: Purpose ", request.purpose, " is not permitted").
+
+# 完整 HIPAA 合规验证（简化版 - 仅检查访问控制）
+Rule validate_hipaa_compliance given request, produce:
+  Let access_result be validate_access_control(request).
+  Let consent_result be validate_consent(request).
+  Let purpose_result be validate_purpose(request).
+  If Result.isOk(access_result)
+    If Result.isOk(consent_result)
+      If Result.isOk(purpose_result)
+        Return HIPAAValidation with is_compliant set to true, passed_count set to 3, failed_count set to 0, message set to "All HIPAA checks passed".
+  Return HIPAAValidation with is_compliant set to false, passed_count set to 0, failed_count set to 1, message set to "HIPAA compliance failed".
+
+# 生成 HIPAA 合规报告
+Rule generate_hipaa_report given user_id, validation, produce:
+  If validation.is_compliant
+    Return Text.concat("HIPAA COMPLIANCE: PASSED for ", user_id).
+  Otherwise
+    Return Text.concat("HIPAA COMPLIANCE: FAILED for ", user_id, ". Failed checks: ", Int.toString(validation.failed_count)).
+
+# 示例：医生访问医疗记录（合规）
+Rule demo_compliant_access, produce:
+  Let request be PHIAccessRequest with user_id set to "DR-001", user_role set to "physician", phi_category_name set to "medical", purpose set to "treatment", has_consent set to true.
+  Return validate_hipaa_compliance(request).
+
+# 示例：账单人员访问医疗记录（不合规）
+Rule demo_non_compliant_access, produce:
+  Let request be PHIAccessRequest with user_id set to "BILL-001", user_role set to "billing", phi_category_name set to "medical", purpose set to "payment", has_consent set to false.
+  Return validate_hipaa_compliance(request).
+
+# 示例：攻击者尝试伪造权限
+Rule demo_spoofed_access_blocked, produce:
+  Let request be PHIAccessRequest with user_id set to "ATTACKER-001", user_role set to "admin", phi_category_name set to "medical", purpose set to "curiosity", has_consent set to false.
+  Return validate_hipaa_compliance(request).

package/corpus/tier1-equivalence/policies/hipaa-validation-demo.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/examples/compliance/hipaa-validation-demo.aster"
+}

package/corpus/tier1-equivalence/policies/id_generic.aster

@@ -0,0 +1,4 @@
+Module demo.generic.
+
+Rule identity given x, produce:
+  Return x.

package/corpus/tier1-equivalence/policies/id_generic.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/generics/id_generic.aster"
+}

package/corpus/tier1-equivalence/policies/if_param.aster

@@ -0,0 +1,7 @@
+Module demo.ifp.
+
+Rule choose given flag, produce:
+  If flag equals to "Y"
+    Return "Y".
+  Otherwise
+    Return "N".

package/corpus/tier1-equivalence/policies/if_param.meta.json

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

package/corpus/tier1-equivalence/policies/incremental.aster

@@ -0,0 +1,8 @@
+Module test.loan.
+
+Define LoanApplication has applicantId, amount, termMonths, purpose.
+
+Define Decision has approved, reason.
+
+Rule check given age, produce:
+  Return Decision with approved set to true, reason set to "OK".

package/corpus/tier1-equivalence/policies/incremental.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/async/incremental.aster"
+}

package/corpus/tier1-equivalence/policies/incremental_test.aster

@@ -0,0 +1,10 @@
+Module aster.finance.loan.
+
+Define LoanApplication has applicantId, amount, termMonths, purpose.
+
+Define ApplicantProfile has age, creditScore, annualIncome, monthlyDebt, yearsEmployed.
+
+Define LoanDecision has approved, reason, approvedAmount, interestRate, termMonths.
+
+Rule evaluateLoanEligibility given application, applicant, produce:
+  Return LoanDecision with approved set to true, reason set to "OK", approvedAmount set to 0, interestRate set to 0, termMonths set to 0.

package/corpus/tier1-equivalence/policies/incremental_test.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/async/incremental_test.aster"
+}

package/corpus/tier1-equivalence/policies/incremental_test2.aster

@@ -0,0 +1,10 @@
+Module aster.finance.loan.
+
+Define LoanApplication has applicantId, amount, termMonths, purpose.
+
+Define ApplicantProfile has age, creditScore, annualIncome, monthlyDebt, yearsEmployed.
+
+Define LoanDecision has approved, reason, approvedAmount, interestRate, termMonths.
+
+Rule evaluateLoanEligibility given application, applicant, produce:
+  Return 0.

package/corpus/tier1-equivalence/policies/incremental_test2.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/async/incremental_test2.aster"
+}

package/corpus/tier1-equivalence/policies/incremental_test3.aster

@@ -0,0 +1,10 @@
+Module aster.finance.loan.
+
+Define LoanApplication has applicantId, amount, termMonths, purpose.
+
+Define ApplicantProfile has age, creditScore, annualIncome, monthlyDebt, yearsEmployed.
+
+Define LoanDecision has approved, reason, approvedAmount, interestRate, termMonths.
+
+Rule evaluateLoanEligibility given application, applicant, produce:
+  Return 0.

package/corpus/tier1-equivalence/policies/incremental_test3.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/async/incremental_test3.aster"
+}

package/corpus/tier1-equivalence/policies/int_match.aster

@@ -0,0 +1,8 @@
+Module demo.int_match.
+
+Rule classify given n, produce:
+  Match n:
+    When 0, Return "zero".
+    When 1, Return "one".
+    When 2, Return "two".
+    When 42, Return "answer".

package/corpus/tier1-equivalence/policies/int_match.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/patterns/int_match.aster"
+}

package/corpus/tier1-equivalence/policies/int_match_default.aster

@@ -0,0 +1,7 @@
+Module demo.int_match_default.
+
+Rule classifyDefault given n, produce:
+  Match n:
+    When 10, Return "ten".
+    When 20, Return "twenty".
+    When other, Return Text.concat("other:", "case").

package/corpus/tier1-equivalence/policies/int_match_default.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/patterns/int_match_default.aster"
+}

package/corpus/tier1-equivalence/policies/interop_overload.aster

@@ -0,0 +1,19 @@
+Module demo.interop.
+
+Rule pickInt, produce:
+  Return Interop.pick(1).
+
+Rule pickObj, produce:
+  Return Interop.pick(null).
+
+Rule pickBool, produce:
+  Return Interop.pick(true).
+
+Rule pickStr, produce:
+  Return Interop.pick("hello").
+
+Rule pickLong, produce:
+  Return Interop.pick(1L).
+
+Rule pickDouble, produce:
+  Return Interop.pick(1.0).

package/corpus/tier1-equivalence/policies/interop_overload.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/integration/interop/interop_overload.aster"
+}

package/corpus/tier1-equivalence/policies/interop_sum.aster

@@ -0,0 +1,16 @@
+Module demo.interop.sumdemo.
+
+Rule sumInt, produce:
+  Return Interop.sum(1, 2).
+
+Rule sumLong, produce:
+  Return Interop.sum(1L, 2L).
+
+Rule sumDouble, produce:
+  Return Interop.sum(1.0, 2.0).
+
+Rule sumIntLong, produce:
+  Return Interop.sum(1, 2L).
+
+Rule sumIntDouble, produce:
+  Return Interop.sum(1, 2.0).

package/corpus/tier1-equivalence/policies/interop_sum.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/integration/interop/interop_sum.aster"
+}

package/corpus/tier1-equivalence/policies/lambda_cnl.aster

@@ -0,0 +1,4 @@
+Module demo.lambdacnl.
+
+Rule greet given pfx, produce:
+  Return f("there").

package/corpus/tier1-equivalence/policies/lambda_cnl.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/lambda/lambda_cnl.aster"
+}

package/corpus/tier1-equivalence/policies/lambda_cnl_length.aster

@@ -0,0 +1,4 @@
+Module demo.lambdalength.
+
+Rule lengthOf given s, produce:
+  Return f(s).

package/corpus/tier1-equivalence/policies/lambda_cnl_length.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/lambda/lambda_cnl_length.aster"
+}

package/corpus/tier1-equivalence/policies/lambda_cnl_length_cmp.aster

@@ -0,0 +1,4 @@
+Module demo.lambdalengthcmp.
+
+Rule isLongerThan given s, n, produce:
+  Return pred(s, n).

package/corpus/tier1-equivalence/policies/lambda_cnl_length_cmp.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/lambda/lambda_cnl_length_cmp.aster"
+}

package/corpus/tier1-equivalence/policies/lambda_cnl_math_bool.aster

@@ -0,0 +1,7 @@
+Module demo.lambdamath.
+
+Rule compute, produce:
+  Return inc(41).
+
+Rule invert given v, produce:
+  Return neg(v).

package/corpus/tier1-equivalence/policies/lambda_cnl_math_bool.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/lambda/lambda_cnl_math_bool.aster"
+}

package/corpus/tier1-equivalence/policies/lambda_cnl_short.aster

@@ -0,0 +1,4 @@
+Module demo.lambdashort.
+
+Rule greet given pfx, produce:
+  Return f("short").

package/corpus/tier1-equivalence/policies/lambda_cnl_short.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/lambda/lambda_cnl_short.aster"
+}

package/corpus/tier1-equivalence/policies/life.aster

@@ -0,0 +1,18 @@
+Module aster.insurance.life.
+
+Define Applicant has applicantId, age, gender, smoker, bmi, occupation, healthScore.
+
+Define PolicyRequest has coverageAmount, termYears, policyType.
+
+Define LifeQuote has approved, reason, monthlyPremium, coverageAmount, termYears.
+
+Rule generateLifeQuote given applicant, request, produce:
+  Return 0.
+Rule calculateBaseRate given age, termYears, produce:
+  Return 0.
+Rule calculateHealthMultiplier given applicant, produce:
+  Return 0.
+Rule calculateOccupationMultiplier given occupation, produce:
+  Return 0.
+Rule calculateRiskScore given applicant, produce:
+  Return 0.

package/corpus/tier1-equivalence/policies/life.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/library/insurance/life.aster"
+}

package/corpus/tier1-equivalence/policies/list_ops.aster

@@ -0,0 +1,10 @@
+Module demo.list.
+
+Rule length given xs, produce:
+  Return List.length(xs).
+
+Rule third given xs, produce:
+  Return List.get(xs, 2).
+
+Rule isEmpty given xs, produce:
+  Return List.isEmpty(xs).

package/corpus/tier1-equivalence/policies/list_ops.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/collections/list_ops.aster"
+}