@aster-cloud/aster-lang-test 0.0.2

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

@@ -0,0 +1,119 @@
+Module aster.finance.enterprise_lending.
+
+Define EnterpriseInfo has companyId, companyName, industry, yearsInBusiness, employeeCount, annualRevenue, revenueGrowthRate, profitMargin.
+
+Define FinancialPosition has totalAssets, currentAssets, totalLiabilities, currentLiabilities, equity, cashFlow, outstandingDebt.
+
+Define BusinessHistory has previousLoans, defaultCount, latePayments, creditUtilization, largestLoanAmount, relationshipYears.
+
+Define LoanApplication has requestedAmount, loanPurpose, termMonths, collateralValue, guarantorCount.
+
+Define LendingDecision has approved, approvedAmount, interestRateBps, termMonths, collateralRequired, specialConditions, riskCategory, confidenceScore, reasonCode, detailedAnalysis.
+
+Define LiquidityAnalysis has currentRatio, quickRatio, isHealthy, recommendation.
+
+Define LeverageAnalysis has debtToEquity, debtToAssets, riskLevel, maxLoanCapacity.
+
+Define ProfitabilityAnalysis has returnOnAssets, returnOnEquity, profitabilityGrade, repaymentCapacity.
+
+Rule assessLiquidity given position, produce:
+  Let currentRatio be (position.currentAssets times 100) divided by position.currentLiabilities.
+  Let quickRatio be (position.currentAssets times 100) divided by position.currentLiabilities.
+  If currentRatio at least 200
+    Return LiquidityAnalysis(currentRatio, quickRatio, true, "Excellent liquidity").
+  If currentRatio at least 150
+    Return LiquidityAnalysis(currentRatio, quickRatio, true, "Good liquidity").
+  If currentRatio at least 100
+    Return LiquidityAnalysis(currentRatio, quickRatio, true, "Adequate liquidity").
+  Return LiquidityAnalysis(currentRatio, quickRatio, false, "Poor liquidity").
+
+Rule assessLeverage given position, produce:
+  If position.equity equals to 0
+    Return LeverageAnalysis(0, 0, "CRITICAL", 0).
+  Let debtToEquity be (position.totalLiabilities times 100) divided by position.equity.
+  Let debtToAssets be (position.totalLiabilities times 100) divided by position.totalAssets.
+  Let baseCapacity be position.equity times 3.
+  If debtToEquity at most 100
+    Return LeverageAnalysis(debtToEquity, debtToAssets, "LOW", baseCapacity).
+  If debtToEquity at most 200
+    Return LeverageAnalysis(debtToEquity, debtToAssets, "MEDIUM", baseCapacity).
+  If debtToEquity at most 300
+    Return LeverageAnalysis(debtToEquity, debtToAssets, "HIGH", baseCapacity).
+  Return LeverageAnalysis(debtToEquity, debtToAssets, "CRITICAL", 0).
+
+Rule assessProfitability given enterprise, position, produce:
+  Let returnOnAssets be enterprise.profitMargin.
+  Let returnOnEquity be enterprise.profitMargin.
+  Let annualCashFlow be position.cashFlow times 12.
+  Let repaymentCapacity be annualCashFlow times 3.
+  If returnOnAssets at least 15
+    Return ProfitabilityAnalysis(returnOnAssets, returnOnEquity, "EXCELLENT", repaymentCapacity).
+  If returnOnAssets at least 10
+    Return ProfitabilityAnalysis(returnOnAssets, returnOnEquity, "GOOD", repaymentCapacity).
+  If returnOnAssets at least 5
+    Return ProfitabilityAnalysis(returnOnAssets, returnOnEquity, "FAIR", repaymentCapacity).
+  Return ProfitabilityAnalysis(returnOnAssets, returnOnEquity, "POOR", repaymentCapacity).
+
+Rule calculateIndustryFactor given industry, produce:
+  If industry equals to "Healthcare"
+    Return 105.
+  If industry equals to "Education"
+    Return 105.
+  If industry equals to "Manufacturing"
+    Return 100.
+  If industry equals to "Retail"
+    Return 95.
+  If industry equals to "Services"
+    Return 100.
+  If industry equals to "Construction"
+    Return 85.
+  If industry equals to "Hospitality"
+    Return 80.
+  If industry equals to "Transportation"
+    Return 90.
+  Return 100.
+
+Rule assessMaturityScore given enterprise, history, produce:
+  Let score be 0.
+  If enterprise.yearsInBusiness at least 10
+    Let score be score plus 30.
+  If enterprise.yearsInBusiness at least 5
+    Let score be score plus 15.
+  If enterprise.employeeCount at least 100
+    Let score be score plus 15.
+  If enterprise.annualRevenue at least 10000000
+    Let score be score plus 10.
+  If history.relationshipYears at least 5
+    Let score be score plus 10.
+  If history.defaultCount equals to 0
+    Let score be score plus 10.
+  Return score.
+
+Rule evaluateEnterpriseLoan given enterprise, position, history, application, produce:
+  If history.defaultCount greater than 0
+    Return LendingDecision(false, 0, 0, 0, 0, "Declined", "HIGH_RISK", 0, "PREVIOUS_DEFAULT", "Previous defaults on record").
+  If position.equity at most 0
+    Return LendingDecision(false, 0, 0, 0, 0, "Declined", "CRITICAL", 0, "NEGATIVE_EQUITY", "Negative equity position").
+  Let liquidityResult be assessLiquidity(position).
+  Let leverageResult be assessLeverage(position).
+  Let profitabilityResult be assessProfitability(enterprise, position).
+  Let maturityScore be assessMaturityScore(enterprise, history).
+  Let industryFactor be calculateIndustryFactor(enterprise.industry).
+  Let baseScore be maturityScore.
+  If liquidityResult.isHealthy
+    Let baseScore be baseScore plus 10.
+  If leverageResult.riskLevel equals to "LOW"
+    Let baseScore be baseScore plus 10.
+  If profitabilityResult.profitabilityGrade equals to "EXCELLENT"
+    Let baseScore be baseScore plus 10.
+  Let adjustedScore be (baseScore times industryFactor) divided by 100.
+  Let maxLoanAmount be leverageResult.maxLoanCapacity.
+  If profitabilityResult.repaymentCapacity less than maxLoanAmount
+    Let maxLoanAmount be profitabilityResult.repaymentCapacity.
+  Let approvedAmt be application.requestedAmount.
+  If approvedAmt greater than maxLoanAmount
+    Let approvedAmt be maxLoanAmount.
+  If adjustedScore at least 70
+    Let requiredCollateral be (approvedAmt times 50) divided by 100.
+    Return LendingDecision(true, approvedAmt, 650, application.termMonths, requiredCollateral, "Standard terms", "MODERATE_RISK", adjustedScore, "APPROVED_STANDARD", "Solid financial profile").
+  Return LendingDecision(false, 0, 0, 0, application.requestedAmount, "Declined", "HIGH_RISK", adjustedScore, "DECLINED_RISK", "Insufficient risk score").

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

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

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

@@ -0,0 +1,18 @@
+Module demo.lambdamatchbind.
+
+Define User has id, name.
+
+Rule greetUser given user, prefix, produce:
+  Let f be function with value, produce:
+    Match value:
+      When User(id, name), Return Text.concat(prefix, name).
+      When other, Return prefix.
+  Return f(user).
+
+Rule posOrZero given count, produce:
+  Let sel be function with value, produce:
+    If value greater than 0
+      Return value.
+    Otherwise
+      Return 0.
+  Return sel(count).

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

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

package/corpus/tier2-divergent/ts-only/lambda_cnl_match_bind__programs-patterns.aster

@@ -0,0 +1,18 @@
+Module demo.lambdamatchbind.
+
+Define User has id, name.
+
+Rule greetUser given user, prefix, produce:
+  Let f be function with value, produce:
+    Match value:
+      When User(id, name), Return Text.concat(prefix, name).
+      When other, Return prefix.
+  Return f(user).
+
+Rule posOrZero given count, produce:
+  Let sel be function with value, produce:
+    If value greater than 0
+      Return value.
+    Otherwise
+      Return 0.
+  Return sel(count).

package/corpus/tier2-divergent/ts-only/lambda_cnl_match_bind__programs-patterns.meta.json

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

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

@@ -0,0 +1,8 @@
+Module demo.lambdamatchmaybe.
+
+Rule fromMaybe given value, fallback, produce:
+  Let f be function with candidate, produce:
+    Match candidate:
+      When null, Return fallback.
+      When actual, Return actual.
+  Return f(value).

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

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

package/corpus/tier2-divergent/ts-only/lambda_cnl_match_maybe__programs-patterns.aster

@@ -0,0 +1,8 @@
+Module demo.lambdamatchmaybe.
+
+Rule fromMaybe given value, fallback, produce:
+  Let f be function with candidate, produce:
+    Match candidate:
+      When null, Return fallback.
+      When actual, Return actual.
+  Return f(value).

package/corpus/tier2-divergent/ts-only/lambda_cnl_match_maybe__programs-patterns.meta.json

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

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

@@ -0,0 +1,8 @@
+Module demo.lambdamatchresult.
+
+Rule fromResult given result, produce:
+  Let f be function with candidate, produce:
+    Match candidate:
+      When Ok(value), Return value.
+      When Err(err), Return Text.concat("E:", err).
+  Return f(result).

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

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

package/corpus/tier2-divergent/ts-only/lambda_cnl_match_result__programs-patterns.aster

@@ -0,0 +1,8 @@
+Module demo.lambdamatchresult.
+
+Rule fromResult given result, produce:
+  Let f be function with candidate, produce:
+    Match candidate:
+      When Ok(value), Return value.
+      When Err(err), Return Text.concat("E:", err).
+  Return f(result).

package/corpus/tier2-divergent/ts-only/lambda_cnl_match_result__programs-patterns.meta.json

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

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

@@ -0,0 +1,11 @@
+Module demo.lambdamixed.
+
+Rule demo given pfx, produce:
+  Let f be function with x, produce:
+    Return Text.concat(pfx, x).
+  Let g be function with y, produce:
+    Return Text.concat("2", y).
+  Return Text.concat(f(""), g("b")).
+
+Rule compare given x, y, produce:
+  Return cmp(x, y).

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

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

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

@@ -0,0 +1,8 @@
+Module demo.lambdagte.
+
+Rule isAtLeast given x, threshold, produce:
+  Return x at least threshold.
+
+Rule isLengthAtLeast given s, minLen, produce:
+  Let len be Text.length(s).
+  Return len at least minLen.

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

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

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

@@ -0,0 +1,8 @@
+Module demo.lambdalte.
+
+Rule isAtMost given x, limit, produce:
+  Return x at most limit.
+
+Rule isShortEnough given s, maxLen, produce:
+  Let len be Text.length(s).
+  Return len at most maxLen.

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

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

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

@@ -0,0 +1,12 @@
+Module aster.finance.loan.
+
+Define LoanApplication has applicantId required, amount, termMonths between 0 and 600, purpose required.
+
+Define ApplicantProfile has age between 0 and 120, creditScore between 300 and 850, annualIncome.
+
+Define LoanDecision has approved, reason, approvedAmount, interestRateBps, termMonths.
+
+Rule evaluateLoanEligibility given application, applicant, produce:
+  Return 0.
+Rule determineInterestRateBps given creditScore between 300 and 850, produce:
+  Return 350.

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

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

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

@@ -0,0 +1,7 @@
+Module demo.nested_generic_lambda.
+
+Rule double given value, produce:
+  Let identity be function with x, produce:
+    Return x.
+  Let result be identity(value).
+  Return some of result.

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

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

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

@@ -0,0 +1,113 @@
+Module aster.finance.personal_lending.
+
+Define PersonalInfo has applicantId, age, educationLevel, employmentStatus, occupation, yearsAtJob, monthsAtAddress, maritalStatus, dependents.
+
+Define IncomeProfile has monthlyIncome, additionalIncome, spouseIncome, rentIncome, incomeStability, incomeGrowthRate.
+
+Define CreditProfile has creditScore, creditHistory, activeLoans, creditCardCount, creditUtilization, latePayments, defaults, bankruptcies, inquiries.
+
+Define DebtProfile has totalMonthlyDebt, mortgagePayment, carPayment, studentLoanPayment, creditCardMinPayment, otherDebtPayment.
+
+Define LoanRequest has requestedAmount, purpose, termMonths, downPayment, collateralValue.
+
+Define LoanDecision has approved, approvedAmount, interestRateBps, termMonths, monthlyPayment, downPaymentRequired, conditions, riskLevel, decisionScore, reasonCode, recommendations.
+
+Define CreditAssessment has scoreGrade, historyGrade, utilizationRatio, negativeMarks, riskIndicator, maxLoanAmount.
+
+Define IncomeAssessment has totalMonthlyIncome, stabilityGrade, adequacy, loanCapacity.
+
+Define AffordabilityAnalysis has debtToIncomeRatio, residualIncome, affordabilityGrade, maxMonthlyPayment.
+
+Rule assessCredit given profile, produce:
+  Let utilizationRatio be profile.creditUtilization.
+  Let negativeMarks be (profile.latePayments plus (profile.defaults times 3)) plus (profile.bankruptcies times 5).
+  If profile.creditScore at least 750
+    Return CreditAssessment("EXCELLENT", "STRONG", utilizationRatio, negativeMarks, "LOW", 50000).
+  If profile.creditScore at least 700
+    Return CreditAssessment("GOOD", "SOLID", utilizationRatio, negativeMarks, "LOW", 30000).
+  If profile.creditScore at least 650
+    Return CreditAssessment("FAIR", "ADEQUATE", utilizationRatio, negativeMarks, "MEDIUM", 20000).
+  Return CreditAssessment("POOR", "LIMITED", utilizationRatio, negativeMarks, "HIGH", 10000).
+
+Rule assessIncome given personal, income, produce:
+  Let totalIncome be income.monthlyIncome plus income.additionalIncome plus income.spouseIncome plus income.rentIncome.
+  Let loanCapacity be totalIncome times 6.
+  If income.incomeStability equals to "PERMANENT"
+    Return IncomeAssessment(totalIncome, "GOOD", "ADEQUATE", loanCapacity).
+  If totalIncome at least 3000
+    Return IncomeAssessment(totalIncome, "FAIR", "LOW", loanCapacity).
+  Return IncomeAssessment(totalIncome, "POOR", "VERY_LOW", 0).
+
+Rule assessAffordability given income, debt, request, produce:
+  Let totalIncome be income.monthlyIncome plus income.additionalIncome plus income.spouseIncome plus income.rentIncome.
+  Let totalDebt be debt.totalMonthlyDebt.
+  Let estimatedPayment be (request.requestedAmount times 8) divided by 1000.
+  Let totalDebtWithLoan be totalDebt plus estimatedPayment.
+  Let dtiWithLoan be (totalDebtWithLoan times 100) divided by totalIncome.
+  Let residual be totalIncome minus totalDebtWithLoan.
+  Let maxPayment be (totalIncome times 30) divided by 100.
+  If dtiWithLoan at most 36
+    Return AffordabilityAnalysis(dtiWithLoan, residual, "EXCELLENT", maxPayment).
+  If dtiWithLoan at most 43
+    Return AffordabilityAnalysis(dtiWithLoan, residual, "FAIR", maxPayment).
+  Return AffordabilityAnalysis(dtiWithLoan, residual, "POOR", maxPayment).
+
+Rule calculateStabilityScore given personal, income, produce:
+  Let score be 0.
+  If personal.age at least 35
+    Let score be score plus 10.
+  If personal.yearsAtJob at least 5
+    Let score be score plus 10.
+  If income.incomeStability equals to "PERMANENT"
+    Let score be score plus 10.
+  If personal.educationLevel equals to "GRADUATE"
+    Let score be score plus 5.
+  Return score.
+
+Rule calculatePurposeAdjustment given purpose, produce:
+  If purpose equals to "HOME_RENOVATION"
+    Return 105.
+  If purpose equals to "EDUCATION"
+    Return 108.
+  If purpose equals to "BUSINESS"
+    Return 100.
+  If purpose equals to "DEBT_CONSOLIDATION"
+    Return 95.
+  If purpose equals to "CAR_PURCHASE"
+    Return 100.
+  If purpose equals to "MEDICAL"
+    Return 105.
+  If purpose equals to "WEDDING"
+    Return 90.
+  If purpose equals to "VACATION"
+    Return 80.
+  Return 85.
+
+Rule evaluatePersonalLoan given personal, income, credit, debt, request, produce:
+  If credit.bankruptcies greater than 0
+    Return LoanDecision(false, 0, 0, 0, 0, 0, "Declined", "HIGH_RISK", 0, "BANKRUPTCY_HISTORY", "Previous bankruptcy on record").
+  Let creditAssessment be assessCredit(credit).
+  Let incomeAssessment be assessIncome(personal, income).
+  Let affordabilityAnalysis be assessAffordability(income, debt, request).
+  Let stabilityScore be calculateStabilityScore(personal, income).
+  Let purposeAdjustment be calculatePurposeAdjustment(request.purpose).
+  Let baseScore be stabilityScore.
+  If creditAssessment.riskIndicator equals to "LOW"
+    Let baseScore be baseScore plus 20.
+  If incomeAssessment.adequacy equals to "ADEQUATE"
+    Let baseScore be baseScore plus 10.
+  If affordabilityAnalysis.affordabilityGrade equals to "EXCELLENT"
+    Let baseScore be baseScore plus 10.
+  Let adjustedScore be (baseScore times purposeAdjustment) divided by 100.
+  Let maxLoanAmount be creditAssessment.maxLoanAmount.
+  If incomeAssessment.loanCapacity less than maxLoanAmount
+    Let maxLoanAmount be incomeAssessment.loanCapacity.
+  Let approvedAmt be request.requestedAmount.
+  If approvedAmt greater than maxLoanAmount
+    Let approvedAmt be maxLoanAmount.
+  If adjustedScore at least 70
+    Let rate be 550.
+    Let payment be (approvedAmt times rate) divided by 100000.
+    Let downPmt be 0.
+    Return LoanDecision(true, approvedAmt, rate, request.termMonths, payment, downPmt, "Approved", "MODERATE", adjustedScore, "APPROVED_STANDARD", "Standard terms").
+  Return LoanDecision(false, 0, 0, 0, 0, request.requestedAmount, "Declined", "HIGH_RISK", adjustedScore, "DECLINED_RISK", "Insufficient score").

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

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

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

@@ -0,0 +1,9 @@
+Module test.allcomparisons.
+
+Rule testAllOperators given x, y, produce:
+  Let lt be x less than y.
+  Let gt be x greater than y.
+  Let lte be x at most y.
+  Let gte be x at least y.
+  Let neq be not (x equals to y).
+  Return neq.

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

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

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

@@ -0,0 +1,18 @@
+Module test.eligibility.with.ifs.
+
+Define Patient has patientId, age, hasInsurance, insuranceType, chronicConditions.
+
+Define Service has serviceCode, serviceName, basePrice, requiresPreAuth.
+
+Define EligibilityCheck has eligible, reason, coveragePercent, estimatedCost, requiresPreAuth.
+
+Rule determineMinorCoverage given insuranceType, service, produce:
+  Return 0.
+Rule determineSeniorCoverage given insuranceType, service, produce:
+  Return 0.
+Rule determineStandardCoverage given insuranceType, service, chronicConditions, produce:
+  Return 0.
+Rule calculatePatientCost given basePrice, coveragePercent, produce:
+  Return 0.
+Rule checkServiceEligibility given patient, service, produce:
+  Return 0.

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

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

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

@@ -0,0 +1,6 @@
+Module test.let.with.call.
+
+Rule helper given x, produce:
+  Return 0.
+Rule testLetWithCall given x, produce:
+  Return 0.

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

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

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

@@ -0,0 +1,6 @@
+Module test.operators.
+
+Rule checkRange given x, produce:
+  Let atLeast10 be x at least 10.
+  Let atMost100 be x at most 100.
+  Return atLeast10.

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

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

package/corpus/tier3-fixtures/comments/comment1.in.aster

@@ -0,0 +1,6 @@
+Module demo.comments.
+
+Rule greet given name, produce: // inline comment after header
+  Return Text.concat("Hi, ", name).  // say hi
+  // standalone comment should not be preserved
+