@aster-cloud/aster-lang-test 0.0.2

package/corpus/tier1-equivalence/policies/prescription-workflow.aster

@@ -0,0 +1,83 @@
+# ========================================
+# Healthcare Demo: E-Prescription Workflow
+# HIPAA Compliant Medication Handling
+# ========================================
+
+Module examples.healthcare.prescription_workflow.
+
+# 处方数据结构
+# 注意：实际生产环境中应使用 @pii 注解标记敏感字段
+Define Prescription has
+  prescription_id,
+  patient_id,
+  patient_name,
+  medication,
+  dosage,
+  frequency,
+  prescriber_id,
+  prescriber_name.
+
+Define DrugInteraction has
+  drug_a,
+  drug_b,
+  severity,
+  description.
+
+Define PharmacyVerification has
+  verified,
+  pharmacist_id,
+  timestamp,
+  notes.
+
+Define VerificationStep has
+  step_name,
+  passed,
+  message.
+
+# 药物相互作用检查（简化版）
+# 返回描述文本而非完整结构，简化类型推断
+Rule check_warfarin_aspirin_interaction given medication, has_aspirin, produce:
+  If medication equals to "warfarin"
+    If has_aspirin
+      Return ok of "Increased bleeding risk".
+  Return err of "No interaction".
+
+# 验证处方医生执照
+Rule validate_prescriber given prescriber_id, produce:
+  If prescriber_id equals to ""
+    Return VerificationStep with step_name set to "validate_prescriber", passed set to false, message set to "Prescriber ID required".
+  Return VerificationStep with step_name set to "validate_prescriber", passed set to true, message set to "Prescriber validated".
+
+# 验证剂量合理性
+Rule verify_dosage given medication, dosage, produce:
+  If dosage equals to ""
+    Return VerificationStep with step_name set to "verify_dosage", passed set to false, message set to "Dosage required".
+  Return VerificationStep with step_name set to "verify_dosage", passed set to true, message set to "Dosage verified".
+
+# 处方验证工作流（简化版）
+Rule verify_prescription given rx, has_aspirin, produce:
+  Let prescriber_check be validate_prescriber(rx.prescriber_id).
+  If prescriber_check.passed equals to false
+    Return err of prescriber_check.message.
+  Let interaction_check be check_warfarin_aspirin_interaction(rx.medication, has_aspirin).
+  If Result.isOk(interaction_check)
+    Return err of "Drug interaction detected".
+  Let dosage_check be verify_dosage(rx.medication, rx.dosage).
+  If dosage_check.passed equals to false
+    Return err of dosage_check.message.
+  Let verification be PharmacyVerification with verified set to true, pharmacist_id set to "PH-001", timestamp set to "2025-11-27T10:00:00Z", notes set to "All checks passed".
+  Return ok of verification.
+
+# 安全传输处方（脱敏患者信息）
+Rule transmit_prescription_safe given rx, produce:
+  Return Text.concat("Rx ", rx.prescription_id, " for ", redact(rx.patient_name), ": ", rx.medication, " ", rx.dosage).
+
+# 示例：无相互作用的处方验证
+Rule demo_safe_prescription, produce:
+  Let rx be Prescription with prescription_id set to "RX-001", patient_id set to "P-001", patient_name set to "John Doe", medication set to "lisinopril", dosage set to "10mg", frequency set to "once daily", prescriber_id set to "DR-001", prescriber_name set to "Dr. Smith".
+  Return verify_prescription(rx, false).
+
+# 示例：有药物相互作用的处方验证
+Rule demo_interaction_prescription, produce:
+  Let rx be Prescription with prescription_id set to "RX-002", patient_id set to "P-002", patient_name set to "Jane Doe", medication set to "warfarin", dosage set to "5mg", frequency set to "once daily", prescriber_id set to "DR-002", prescriber_name set to "Dr. Jones".
+  Return verify_prescription(rx, true).

package/corpus/tier1-equivalence/policies/prescription-workflow.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/examples/healthcare/prescription-workflow.aster"
+}

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

@@ -0,0 +1,10 @@
+Module demo.rest.
+
+Rule greet given name, produce:
+  Return Text.concat("Hello, ", name).
+
+Rule exclaim given s, produce:
+  Return Text.concat(s, "!").
+
+Rule length given s, produce:
+  Return Text.length(s).

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

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

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

@@ -0,0 +1,4 @@
+Module demo.trycatch.
+
+Rule risky, produce:
+  Return Repo.op().

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

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

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

@@ -0,0 +1,8 @@
+Module aster.finance.risk.
+
+Define FinancialProfile has totalAssets, totalLiabilities, monthlyIncome, monthlyExpenses, creditScore.
+
+Define RiskAssessment has riskLevel, riskScore, recommendation.
+
+Rule assessRisk given profile, produce:
+  Return 0.

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

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

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

@@ -0,0 +1,4 @@
+Module test.cnl.programs.business.rules_engine.
+
+Rule main, produce:
+  Return 0.

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

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

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

@@ -0,0 +1,6 @@
+Module aster.healthcare.simpletest.
+
+Rule calculateCoverage given basePrice, coveragePercent, produce:
+  Let coverage be basePrice times coveragePercent.
+  Let result be coverage divided by 100.
+  Return result.

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

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

package/corpus/tier1-equivalence/policies/soc2-audit-demo.aster

@@ -0,0 +1,117 @@
+# ========================================
+# SOC2 Compliance Demo: Audit Trail Verification
+# CC7.2 - System Operations Monitoring
+# ========================================
+
+Module examples.compliance.soc2_audit_demo.
+
+# 审计记录结构（防篡改哈希链）
+Define AuditRecord has
+  record_number,
+  tenant_id,
+  event_type,
+  timestamp,
+  policy_module,
+  policy_function,
+  success,
+  prev_hash,
+  current_hash.
+
+Define ChainVerificationResult has
+  is_valid,
+  records_count,
+  broken_index,
+  reason.
+
+Define ChainState has
+  is_valid,
+  records_count,
+  broken_index,
+  reason,
+  last_hash.
+
+# 计算审计记录哈希
+# @cpu 因为调用 Crypto.hash 属于 CPU 类能力（本地哈希计算）
+Rule compute_hash given record, produce. It performs cpu:
+  Let content be Text.concat(record.prev_hash, record.event_type, record.timestamp, record.tenant_id, record.policy_module, record.policy_function, Bool.toString(record.success)).
+  Return Crypto.hash(content, "SHA-256").
+
+# 验证单条记录完整性
+# @cpu 通过 compute_hash 间接传播
+Rule verify_record_integrity given record, produce. It performs cpu:
+  Let expected be compute_hash(record).
+  Return expected equals to record.current_hash.
+
+# 验证链接
+Rule verify_chain_link given record, expected_prev_hash, produce:
+  If expected_prev_hash equals to ""
+    Return record.prev_hash equals to "".
+  Return record.prev_hash equals to expected_prev_hash.
+
+# 验证单条记录并更新链状态
+Rule verify_one_record given state, record, produce. It performs cpu:
+  If state.is_valid equals to false
+    Return state.
+  If verify_record_integrity(record) equals to false
+    Let msg be Text.concat("Hash integrity failed at record ", Int.toString(record.record_number)).
+    Return ChainState with is_valid set to false, records_count set to state.records_count plus 1, broken_index set to record.record_number, reason set to msg, last_hash set to state.last_hash.
+  If verify_chain_link(record, state.last_hash) equals to false
+    Let msg be Text.concat("Chain link broken at record ", Int.toString(record.record_number)).
+    Return ChainState with is_valid set to false, records_count set to state.records_count plus 1, broken_index set to record.record_number, reason set to msg, last_hash set to state.last_hash.
+  Return ChainState with is_valid set to true, records_count set to state.records_count plus 1, broken_index set to 0, reason set to "", last_hash set to record.current_hash.
+
+# 验证三条记录的链（简化版，避免使用 List.reduce）
+Rule verify_three_records given r1, r2, r3, produce. It performs cpu:
+  Let s0 be ChainState with is_valid set to true, records_count set to 0, broken_index set to 0, reason set to "", last_hash set to "".
+  Let s1 be verify_one_record(s0, r1).
+  Let s2 be verify_one_record(s1, r2).
+  Let s3 be verify_one_record(s2, r3).
+  Return ChainVerificationResult with is_valid set to s3.is_valid, records_count set to s3.records_count, broken_index set to s3.broken_index, reason set to s3.reason.
+
+# 验证两条记录的链（简化版，避免使用 List.reduce）
+Rule verify_two_records given r1, r2, produce. It performs cpu:
+  Let s0 be ChainState with is_valid set to true, records_count set to 0, broken_index set to 0, reason set to "", last_hash set to "".
+  Let s1 be verify_one_record(s0, r1).
+  Let s2 be verify_one_record(s1, r2).
+  Return ChainVerificationResult with is_valid set to s2.is_valid, records_count set to s2.records_count, broken_index set to s2.broken_index, reason set to s2.reason.
+
+# 验证审计链完整性（SOC2 CC7.2）- 简化版验证单条
+Rule verify_audit_chain given record, produce. It performs cpu:
+  Let s0 be ChainState with is_valid set to true, records_count set to 0, broken_index set to 0, reason set to "", last_hash set to "".
+  Let s1 be verify_one_record(s0, record).
+  Return ChainVerificationResult with is_valid set to s1.is_valid, records_count set to s1.records_count, broken_index set to s1.broken_index, reason set to s1.reason.
+
+# 生成 SOC2 合规报告
+Rule generate_soc2_report given tenant_id, verification, produce:
+  If verification.is_valid
+    Return Text.concat("SOC2 CC7.2 PASSED: Audit chain verified for tenant ", tenant_id, ". Records checked: ", Int.toString(verification.records_count)).
+  Otherwise
+    Return Text.concat("SOC2 CC7.2 FAILED: Audit chain broken at record ", Int.toString(verification.broken_index), ". Reason: ", verification.reason).
+
+# 创建 Genesis 记录
+# @cpu 通过 compute_hash 间接传播
+Rule create_genesis_record given tenant_id, produce. It performs cpu:
+  Let record be AuditRecord with record_number set to 1, tenant_id set to tenant_id, event_type set to "POLICY_EXECUTED", timestamp set to "2025-11-27T10:00:00Z", policy_module set to "examples.compliance", policy_function set to "verify_audit_chain", success set to true, prev_hash set to "", current_hash set to "".
+  Let hash be compute_hash(record).
+  Return AuditRecord with record_number set to record.record_number, tenant_id set to record.tenant_id, event_type set to record.event_type, timestamp set to record.timestamp, policy_module set to record.policy_module, policy_function set to record.policy_function, success set to record.success, prev_hash set to "", current_hash set to hash.
+
+# 追加审计记录
+# @cpu 通过 compute_hash 间接传播
+Rule append_audit_record given prev, event_type, policy_func, success, produce. It performs cpu:
+  Let record be AuditRecord with record_number set to prev.record_number plus 1, tenant_id set to prev.tenant_id, event_type set to event_type, timestamp set to "2025-11-27T10:01:00Z", policy_module set to "examples.compliance", policy_function set to policy_func, success set to success, prev_hash set to prev.current_hash, current_hash set to "".
+  Let hash be compute_hash(record).
+  Return AuditRecord with record_number set to record.record_number, tenant_id set to record.tenant_id, event_type set to record.event_type, timestamp set to record.timestamp, policy_module set to record.policy_module, policy_function set to record.policy_function, success set to record.success, prev_hash set to record.prev_hash, current_hash set to hash.
+
+# 示例：验证有效链
+Rule demo_valid_chain, produce. It performs cpu:
+  Let genesis be create_genesis_record("tenant-001").
+  Let record2 be append_audit_record(genesis, "DATA_ACCESS", "get_patient", true).
+  Let record3 be append_audit_record(record2, "DATA_MODIFY", "update_record", true).
+  Return verify_three_records(genesis, record2, record3).
+
+# 示例：检测篡改链
+Rule demo_tampered_chain, produce. It performs cpu:
+  Let genesis be create_genesis_record("tenant-001").
+  Let record2 be append_audit_record(genesis, "DATA_ACCESS", "get_patient", true).
+  Let tampered_record2 be AuditRecord with record_number set to record2.record_number, tenant_id set to record2.tenant_id, event_type set to record2.event_type, timestamp set to record2.timestamp, policy_module set to record2.policy_module, policy_function set to record2.policy_function, success set to record2.success, prev_hash set to "tampered_hash_value", current_hash set to record2.current_hash.
+  Return verify_two_records(genesis, tampered_record2).

package/corpus/tier1-equivalence/policies/soc2-audit-demo.meta.json

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

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

@@ -0,0 +1,13 @@
+Module std.collections.
+
+Rule length given xs, produce:
+  Return List.length(xs).
+
+Rule head given xs, produce:
+  Return none.
+
+Rule id given x, produce:
+  Return x.
+
+Rule mapId given xs, produce:
+  Return List.map(xs, id).

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

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

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

@@ -0,0 +1,13 @@
+Module std.io.
+
+Rule print given msg, produce. It performs io:
+  Return IO.print(msg).
+
+Rule readLine, produce. It performs io:
+  Return IO.readLine().
+
+Rule readFile given path, produce. It performs io:
+  Return IO.readFile(path).
+
+Rule writeFile given path, contents, produce. It performs io:
+  Return IO.writeFile(path, contents).

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

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

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

@@ -0,0 +1,19 @@
+Module std.maybe_result.
+
+Rule inc given x, produce:
+  Return x.
+
+Rule maybeWithDefault given x, d, produce:
+  Return Maybe.withDefault(x, d).
+
+Rule mapMaybe given x, produce:
+  Return Maybe.map(x, inc).
+
+Rule logErr given e, produce:
+  Return e.
+
+Rule mapOk given r, produce:
+  Return Result.mapOk(r, inc).
+
+Rule tapError given r, produce:
+  Return Result.tapError(r, logErr).

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

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

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

@@ -0,0 +1,7 @@
+Module std.text.
+
+Rule concat given left, right, produce:
+  Return Text.concat(left, right).
+
+Rule hasSubstring given haystack, needle, produce:
+  Return Text.contains(haystack, needle).

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

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

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

@@ -0,0 +1,21 @@
+Module test.symbolicops.
+
+Rule testSymbolicComparison given x, y, produce:
+  Let lt be x < y.
+  Let gt be x > y.
+  Let lte be x <= y.
+  Let gte be x >= y.
+  Let neq be x != y.
+  Let eq be x = y.
+  Return eq.
+
+Rule testSymbolicArithmetic given x, y, produce:
+  Let sum be x + y.
+  Let diff be x - y.
+  Let prod be x * y.
+  Let quot be x / y.
+  Return sum.
+
+Rule testMixedOperators given x, y, produce:
+  Let result be x + y > 10.
+  Return result.

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

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

package/corpus/tier1-equivalence/policies/test-operators.aster

@@ -0,0 +1,12 @@
+Module test.operators.
+
+Define TestResult has value, message.
+
+Rule testLessOrEqual given x, produce:
+  Return TestResult with value set to x, message set to "greater than 10".
+
+Rule testGreaterOrEqual given x, produce:
+  Return TestResult with value set to x, message set to "less than 10".
+
+Rule testNotEqual given x, produce:
+  Return TestResult with value set to x, message set to "Equal to 10".

package/corpus/tier1-equivalence/policies/test-operators.meta.json

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

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

@@ -0,0 +1,5 @@
+Module test.allcomparisons.
+
+Rule testFirst given x as Text, y as Text, produce Text:
+  Let result be x.
+  Return result.

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

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

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

@@ -0,0 +1,4 @@
+Module test.arithmetic.
+
+Rule testAdd given x, y, produce:
+  Return x plus y.

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

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

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

@@ -0,0 +1,66 @@
+Module test.insurance.auto.
+
+Define Driver has driverId, age, yearsLicensed, accidentCount, violationCount, creditScore.
+
+Define Vehicle has vin, year, make, model, value, safetyRating.
+
+Define PolicyQuote has approved, reason, monthlyPremium, deductible, coverageLimit.
+
+Rule calculateAgeFactor given age, produce:
+  Return 0.
+Rule calculateVehicleFactor given vehicle, produce:
+  Return 0.
+Rule calculateBasePremium given driver, vehicle, produce:
+  Return 0.
+Rule calculateRiskMultiplier given driver, vehicle, produce:
+  Return 0.
+Rule determineDeductible given coverageType, creditScore, produce:
+  Return 0.
+Rule determineCoverageLimit given coverageType, vehicleValue, produce:
+  Return 0.
+Rule generateAutoQuote given driver, vehicle, coverageType, produce:
+  Return 0.
+Rule testDriverUnder18, produce:
+  Return 0.
+Rule testTooManyAccidents, produce:
+  Return 0.
+Rule testTooManyViolations, produce:
+  Return 0.
+Rule testYoungDriverPremiumCoverage, produce:
+  Return 0.
+Rule testMiddleAgedDriverStandardCoverage, produce:
+  Return 0.
+Rule testSeniorDriverBasicCoverage, produce:
+  Return 0.
+Rule testPerfectDriverNewCar, produce:
+  Return 0.
+Rule testHighRiskDriverOldCar, produce:
+  Return 0.
+Rule testLowCreditScore, produce:
+  Return 0.
+Rule testHighValueVehicle, produce:
+  Return 0.
+Rule testOldVehicle, produce:
+  Return 0.
+Rule testCalculateAgeFactorYoung, produce:
+  Return 0.
+Rule testCalculateAgeFactorMiddle, produce:
+  Return 0.
+Rule testCalculateAgeFactorSenior, produce:
+  Return 0.
+Rule testCalculateVehicleFactorNew, produce:
+  Return 0.
+Rule testCalculateVehicleFactorOld, produce:
+  Return 0.
+Rule testCalculateRiskMultiplierClean, produce:
+  Return 0.
+Rule testCalculateRiskMultiplierHighRisk, produce:
+  Return 0.
+Rule testDetermineDeductiblePremiumHigh, produce:
+  Return 0.
+Rule testDetermineDeductibleStandardLow, produce:
+  Return 0.
+Rule testDetermineCoverageLimitPremium, produce:
+  Return 0.
+Rule testDetermineCoverageLimitBasicHighValue, produce:
+  Return 0.

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

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

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

@@ -0,0 +1,44 @@
+Module test.healthcare.claims.
+
+Define Claim has claimId, patientId, providerId, serviceDate, amount, diagnosisCode.
+
+Define Provider has providerId, inNetwork, specialtyType, qualityScore.
+
+Define ClaimDecision has approved, reason, approvedAmount, denialCode, requiresReview.
+
+Rule calculateClaimApproval given claimAmount, coverage, specialty, produce:
+  Return 0.
+Rule processClaim given claim, provider, patientCoverage, produce:
+  Return 0.
+Rule validateClaimDocumentation given claim, hasPreAuth, hasReferral, produce:
+  Return 0.
+Rule testOutOfNetworkProvider, produce:
+  Return 0.
+Rule testAmountExceedsLimit, produce:
+  Return 0.
+Rule testLowQualityProvider, produce:
+  Return 0.
+Rule testGeneralProviderNormalClaim, produce:
+  Return 0.
+Rule testSpecialistProvider, produce:
+  Return 0.
+Rule testSurgeryProvider, produce:
+  Return 0.
+Rule testHighAmountInNetworkClaim, produce:
+  Return 0.
+Rule testMinimalAmountClaim, produce:
+  Return 0.
+Rule testValidDocumentationWithPreAuth, produce:
+  Return 0.
+Rule testInvalidDocumentationNoPreAuth, produce:
+  Return 0.
+Rule testInvalidDocumentationNoReferral, produce:
+  Return 0.
+Rule testLowAmountNoPreAuthRequired, produce:
+  Return 0.
+Rule testCalculateClaimApprovalGeneral, produce:
+  Return 0.
+Rule testCalculateClaimApprovalSpecialist, produce:
+  Return 0.
+Rule testCalculateClaimApprovalSurgery, produce:
+  Return 0.

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

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

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

@@ -0,0 +1,14 @@
+Module test.complex.return.
+
+Define Patient has insuranceType, age.
+
+Define Service has basePrice, requiresPreAuth.
+
+Define EligibilityCheck has eligible, reason, coveragePercent, estimatedCost, requiresPreAuth.
+
+Rule determineMinorCoverage given insuranceType, service, produce:
+  Return 0.
+Rule calculatePatientCost given basePrice, coveragePercent, produce:
+  Return 0.
+Rule checkServiceEligibility given patient, service, produce:
+  Return 0.