@aster-cloud/aster-lang-test 0.0.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/corpus/tier1-equivalence/inputs/01-arithmetic-add.cases.json +30 -0
- package/corpus/tier1-equivalence/inputs/02-arithmetic-precedence.cases.json +33 -0
- package/corpus/tier1-equivalence/inputs/04-let-binding.cases.json +27 -0
- package/corpus/tier1-equivalence/inputs/05-comparison.cases.json +27 -0
- package/corpus/tier1-equivalence/inputs/06-string-concat.cases.json +27 -0
- package/corpus/tier1-equivalence/inputs/07-arithmetic-subtract.cases.json +30 -0
- package/corpus/tier1-equivalence/inputs/08-arithmetic-divide.cases.json +30 -0
- package/corpus/tier1-equivalence/inputs/09-arithmetic-modulo.cases.json +27 -0
- package/corpus/tier1-equivalence/inputs/10-arithmetic-negate.cases.json +27 -0
- package/corpus/tier1-equivalence/inputs/13-boolean-not.cases.json +27 -0
- package/corpus/tier1-equivalence/inputs/15-comparison-less.cases.json +30 -0
- package/corpus/tier1-equivalence/inputs/16-comparison-equals.cases.json +30 -0
- package/corpus/tier1-equivalence/inputs/19-let-multiple.cases.json +30 -0
- package/corpus/tier1-equivalence/inputs/20-let-dependent.cases.json +27 -0
- package/corpus/tier1-equivalence/inputs/28-business-insurance-premium.cases.json +30 -0
- package/corpus/tier1-equivalence/policies/01-arithmetic-add.aster +4 -0
- package/corpus/tier1-equivalence/policies/01-arithmetic-add.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/02-arithmetic-precedence.aster +4 -0
- package/corpus/tier1-equivalence/policies/02-arithmetic-precedence.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/04-let-binding.aster +5 -0
- package/corpus/tier1-equivalence/policies/04-let-binding.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/05-comparison.aster +4 -0
- package/corpus/tier1-equivalence/policies/05-comparison.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/06-string-concat.aster +4 -0
- package/corpus/tier1-equivalence/policies/06-string-concat.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/07-arithmetic-subtract.aster +4 -0
- package/corpus/tier1-equivalence/policies/07-arithmetic-subtract.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/08-arithmetic-divide.aster +4 -0
- package/corpus/tier1-equivalence/policies/08-arithmetic-divide.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/09-arithmetic-modulo.aster +5 -0
- package/corpus/tier1-equivalence/policies/09-arithmetic-modulo.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/10-arithmetic-negate.aster +4 -0
- package/corpus/tier1-equivalence/policies/10-arithmetic-negate.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/13-boolean-not.aster +4 -0
- package/corpus/tier1-equivalence/policies/13-boolean-not.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/15-comparison-less.aster +4 -0
- package/corpus/tier1-equivalence/policies/15-comparison-less.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/16-comparison-equals.aster +4 -0
- package/corpus/tier1-equivalence/policies/16-comparison-equals.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/19-let-multiple.aster +6 -0
- package/corpus/tier1-equivalence/policies/19-let-multiple.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/20-let-dependent.aster +6 -0
- package/corpus/tier1-equivalence/policies/20-let-dependent.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/28-business-insurance-premium.aster +7 -0
- package/corpus/tier1-equivalence/policies/28-business-insurance-premium.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/arith_compare.aster +7 -0
- package/corpus/tier1-equivalence/policies/arith_compare.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/auto.aster +22 -0
- package/corpus/tier1-equivalence/policies/auto.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/bad_generic.aster +4 -0
- package/corpus/tier1-equivalence/policies/bad_generic.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/bad_generic_return.aster +4 -0
- package/corpus/tier1-equivalence/policies/bad_generic_return.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/bad_generic_return_type.aster +4 -0
- package/corpus/tier1-equivalence/policies/bad_generic_return_type.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/capability-v2.aster +12 -0
- package/corpus/tier1-equivalence/policies/capability-v2.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/capdemo.aster +7 -0
- package/corpus/tier1-equivalence/policies/capdemo.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/claims.aster +14 -0
- package/corpus/tier1-equivalence/policies/claims.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/cli_tool.aster +10 -0
- package/corpus/tier1-equivalence/policies/cli_tool.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/creditcard.aster +40 -0
- package/corpus/tier1-equivalence/policies/creditcard.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_alias_import.aster +22 -0
- package/corpus/tier1-equivalence/policies/eff_alias_import.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_alias_unmapped.aster +12 -0
- package/corpus/tier1-equivalence/policies/eff_alias_unmapped.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce.aster +7 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_brackets.aster +7 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_brackets.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_missing_ai_model.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_missing_ai_model.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_missing_files.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_missing_files.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_missing_secrets.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_missing_secrets.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_unused_extra.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_unused_extra.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_unused_files.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_unused_files.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_unused_time.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_unused_time.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse_bare.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse_bare.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse_brackets.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse_brackets.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse_files_secrets.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse_files_secrets.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse_mixed_brackets_and_and.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse_mixed_brackets_and_and.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse_single.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse_single.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_custom_prefix.aster +7 -0
- package/corpus/tier1-equivalence/policies/eff_custom_prefix.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_infer_mixed.aster +8 -0
- package/corpus/tier1-equivalence/policies/eff_infer_mixed.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_infer_transitive.aster +10 -0
- package/corpus/tier1-equivalence/policies/eff_infer_transitive.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_infer_wrapper_cpu.aster +7 -0
- package/corpus/tier1-equivalence/policies/eff_infer_wrapper_cpu.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_infer_wrapper_io.aster +7 -0
- package/corpus/tier1-equivalence/policies/eff_infer_wrapper_io.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_valid_all_caps.aster +9 -0
- package/corpus/tier1-equivalence/policies/eff_valid_all_caps.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_valid_cpu_only.aster +7 -0
- package/corpus/tier1-equivalence/policies/eff_valid_cpu_only.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_valid_exact_match.aster +5 -0
- package/corpus/tier1-equivalence/policies/eff_valid_exact_match.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_valid_exact_match__programs-patterns.aster +5 -0
- package/corpus/tier1-equivalence/policies/eff_valid_exact_match__programs-patterns.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_valid_http_sql.aster +5 -0
- package/corpus/tier1-equivalence/policies/eff_valid_http_sql.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_valid_nested.aster +13 -0
- package/corpus/tier1-equivalence/policies/eff_valid_nested.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_valid_pure_only.aster +7 -0
- package/corpus/tier1-equivalence/policies/eff_valid_pure_only.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_valid_subset_declared.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_valid_subset_declared.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_chain.aster +10 -0
- package/corpus/tier1-equivalence/policies/eff_violation_chain.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_cpu_calls_io.aster +7 -0
- package/corpus/tier1-equivalence/policies/eff_violation_cpu_calls_io.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_empty_caps.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_violation_empty_caps.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_files_calls_secrets.aster +5 -0
- package/corpus/tier1-equivalence/policies/eff_violation_files_calls_secrets.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_files_only.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_violation_files_only.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_http_calls_sql.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_violation_http_calls_sql.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_missing_http.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_violation_missing_http.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_missing_sql.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_violation_missing_sql.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_missing_time.aster +5 -0
- package/corpus/tier1-equivalence/policies/eff_violation_missing_time.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_mixed_caps.aster +6 -0
- package/corpus/tier1-equivalence/policies/eff_violation_mixed_caps.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_multiple_errors.aster +7 -0
- package/corpus/tier1-equivalence/policies/eff_violation_multiple_errors.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_nested_a.aster +10 -0
- package/corpus/tier1-equivalence/policies/eff_violation_nested_a.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_nested_b.aster +10 -0
- package/corpus/tier1-equivalence/policies/eff_violation_nested_b.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_pure_calls_cpu.aster +7 -0
- package/corpus/tier1-equivalence/policies/eff_violation_pure_calls_cpu.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_secrets_calls_ai.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_violation_secrets_calls_ai.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_secrets_calls_http.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_violation_secrets_calls_http.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_sql_calls_files.aster +5 -0
- package/corpus/tier1-equivalence/policies/eff_violation_sql_calls_files.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_transitive.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_violation_transitive.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/effect_enforcement.aster +4 -0
- package/corpus/tier1-equivalence/policies/effect_enforcement.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eligibility.aster +18 -0
- package/corpus/tier1-equivalence/policies/eligibility.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/enum_exhaustiveness.aster +5 -0
- package/corpus/tier1-equivalence/policies/enum_exhaustiveness.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/enum_wildcard.aster +6 -0
- package/corpus/tier1-equivalence/policies/enum_wildcard.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/fetch_dashboard.aster +11 -0
- package/corpus/tier1-equivalence/policies/fetch_dashboard.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/fraud-simple-test.aster +9 -0
- package/corpus/tier1-equivalence/policies/fraud-simple-test.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/fraud.aster +10 -0
- package/corpus/tier1-equivalence/policies/fraud.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/greet.aster +8 -0
- package/corpus/tier1-equivalence/policies/greet.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/hello.aster +4 -0
- package/corpus/tier1-equivalence/policies/hello.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/hipaa-validation-demo.aster +126 -0
- package/corpus/tier1-equivalence/policies/hipaa-validation-demo.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/id_generic.aster +4 -0
- package/corpus/tier1-equivalence/policies/id_generic.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/if_param.aster +7 -0
- package/corpus/tier1-equivalence/policies/if_param.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/incremental.aster +8 -0
- package/corpus/tier1-equivalence/policies/incremental.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/incremental_test.aster +10 -0
- package/corpus/tier1-equivalence/policies/incremental_test.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/incremental_test2.aster +10 -0
- package/corpus/tier1-equivalence/policies/incremental_test2.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/incremental_test3.aster +10 -0
- package/corpus/tier1-equivalence/policies/incremental_test3.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/int_match.aster +8 -0
- package/corpus/tier1-equivalence/policies/int_match.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/int_match_default.aster +7 -0
- package/corpus/tier1-equivalence/policies/int_match_default.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/interop_overload.aster +19 -0
- package/corpus/tier1-equivalence/policies/interop_overload.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/interop_sum.aster +16 -0
- package/corpus/tier1-equivalence/policies/interop_sum.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/lambda_cnl.aster +4 -0
- package/corpus/tier1-equivalence/policies/lambda_cnl.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/lambda_cnl_length.aster +4 -0
- package/corpus/tier1-equivalence/policies/lambda_cnl_length.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/lambda_cnl_length_cmp.aster +4 -0
- package/corpus/tier1-equivalence/policies/lambda_cnl_length_cmp.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/lambda_cnl_math_bool.aster +7 -0
- package/corpus/tier1-equivalence/policies/lambda_cnl_math_bool.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/lambda_cnl_short.aster +4 -0
- package/corpus/tier1-equivalence/policies/lambda_cnl_short.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/life.aster +18 -0
- package/corpus/tier1-equivalence/policies/life.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/list_ops.aster +10 -0
- package/corpus/tier1-equivalence/policies/list_ops.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/loan_fixed.aster +12 -0
- package/corpus/tier1-equivalence/policies/loan_fixed.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/loan_full_test.aster +12 -0
- package/corpus/tier1-equivalence/policies/loan_full_test.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/loan_with_constraints.aster +8 -0
- package/corpus/tier1-equivalence/policies/loan_with_constraints.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/loan_with_int.aster +12 -0
- package/corpus/tier1-equivalence/policies/loan_with_int.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/login.aster +11 -0
- package/corpus/tier1-equivalence/policies/login.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/map_ops.aster +7 -0
- package/corpus/tier1-equivalence/policies/map_ops.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/match_enum.aster +8 -0
- package/corpus/tier1-equivalence/policies/match_enum.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/match_multi.aster +8 -0
- package/corpus/tier1-equivalence/policies/match_multi.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/match_null.aster +6 -0
- package/corpus/tier1-equivalence/policies/match_null.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/nested_generic_function.aster +5 -0
- package/corpus/tier1-equivalence/policies/nested_generic_function.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/patient-record.aster +70 -0
- package/corpus/tier1-equivalence/policies/patient-record.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/pii_function_return.aster +8 -0
- package/corpus/tier1-equivalence/policies/pii_function_return.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/pii_http_safe.aster +4 -0
- package/corpus/tier1-equivalence/policies/pii_http_safe.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/pii_http_violation.aster +4 -0
- package/corpus/tier1-equivalence/policies/pii_http_violation.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/pii_nested_call.aster +11 -0
- package/corpus/tier1-equivalence/policies/pii_nested_call.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/pii_propagation.aster +5 -0
- package/corpus/tier1-equivalence/policies/pii_propagation.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/pii_type_basic.aster +4 -0
- package/corpus/tier1-equivalence/policies/pii_type_basic.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/pii_type_in_data.aster +6 -0
- package/corpus/tier1-equivalence/policies/pii_type_in_data.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/pii_type_in_function.aster +4 -0
- package/corpus/tier1-equivalence/policies/pii_type_in_function.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/pii_type_mixed.aster +8 -0
- package/corpus/tier1-equivalence/policies/pii_type_mixed.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/pii_type_phone.aster +4 -0
- package/corpus/tier1-equivalence/policies/pii_type_phone.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/pii_type_ssn.aster +4 -0
- package/corpus/tier1-equivalence/policies/pii_type_ssn.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/policy_demo.aster +19 -0
- package/corpus/tier1-equivalence/policies/policy_demo.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/policy_engine.aster +28 -0
- package/corpus/tier1-equivalence/policies/policy_engine.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/prescription-workflow.aster +83 -0
- package/corpus/tier1-equivalence/policies/prescription-workflow.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/rest_service.aster +10 -0
- package/corpus/tier1-equivalence/policies/rest_service.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/result_trycatch.aster +4 -0
- package/corpus/tier1-equivalence/policies/result_trycatch.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/risk.aster +8 -0
- package/corpus/tier1-equivalence/policies/risk.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/rules_engine.aster +4 -0
- package/corpus/tier1-equivalence/policies/rules_engine.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/simple_test.aster +6 -0
- package/corpus/tier1-equivalence/policies/simple_test.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/soc2-audit-demo.aster +117 -0
- package/corpus/tier1-equivalence/policies/soc2-audit-demo.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/stdlib_collections.aster +13 -0
- package/corpus/tier1-equivalence/policies/stdlib_collections.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/stdlib_io.aster +13 -0
- package/corpus/tier1-equivalence/policies/stdlib_io.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/stdlib_maybe_result.aster +19 -0
- package/corpus/tier1-equivalence/policies/stdlib_maybe_result.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/stdlib_text.aster +7 -0
- package/corpus/tier1-equivalence/policies/stdlib_text.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/symbolic_operators.aster +21 -0
- package/corpus/tier1-equivalence/policies/symbolic_operators.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test-operators.aster +12 -0
- package/corpus/tier1-equivalence/policies/test-operators.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_all_comparisons.aster +5 -0
- package/corpus/tier1-equivalence/policies/test_all_comparisons.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_arithmetic.aster +4 -0
- package/corpus/tier1-equivalence/policies/test_arithmetic.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_auto.aster +66 -0
- package/corpus/tier1-equivalence/policies/test_auto.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_claims.aster +44 -0
- package/corpus/tier1-equivalence/policies/test_claims.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_complex_return.aster +14 -0
- package/corpus/tier1-equivalence/policies/test_complex_return.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_copy.aster +7 -0
- package/corpus/tier1-equivalence/policies/test_copy.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_division.aster +9 -0
- package/corpus/tier1-equivalence/policies/test_division.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_eligibility.aster +46 -0
- package/corpus/tier1-equivalence/policies/test_eligibility.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_eligibility_full.aster +14 -0
- package/corpus/tier1-equivalence/policies/test_eligibility_full.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_eligibility_minimal.aster +10 -0
- package/corpus/tier1-equivalence/policies/test_eligibility_minimal.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_eligibility_simple.aster +7 -0
- package/corpus/tier1-equivalence/policies/test_eligibility_simple.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_eligibility_struct.aster +15 -0
- package/corpus/tier1-equivalence/policies/test_eligibility_struct.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_exact_eligibility.aster +18 -0
- package/corpus/tier1-equivalence/policies/test_exact_eligibility.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_gte.aster +4 -0
- package/corpus/tier1-equivalence/policies/test_gte.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_helper1.aster +6 -0
- package/corpus/tier1-equivalence/policies/test_helper1.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_invalid.aster +6 -0
- package/corpus/tier1-equivalence/policies/test_invalid.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_let_in_if.aster +4 -0
- package/corpus/tier1-equivalence/policies/test_let_in_if.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_let_member_call.aster +10 -0
- package/corpus/tier1-equivalence/policies/test_let_member_call.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_life.aster +80 -0
- package/corpus/tier1-equivalence/policies/test_life.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_loan.aster +8 -0
- package/corpus/tier1-equivalence/policies/test_loan.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_operators.aster +5 -0
- package/corpus/tier1-equivalence/policies/test_operators.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_return_with.aster +6 -0
- package/corpus/tier1-equivalence/policies/test_return_with.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_second_func.aster +4 -0
- package/corpus/tier1-equivalence/policies/test_second_func.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_two_ifs.aster +4 -0
- package/corpus/tier1-equivalence/policies/test_two_ifs.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_two_statements.aster +12 -0
- package/corpus/tier1-equivalence/policies/test_two_statements.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/text_ops.aster +16 -0
- package/corpus/tier1-equivalence/policies/text_ops.meta.json +9 -0
- package/corpus/tier2-divergent/java-only/11-boolean-and.aster +4 -0
- package/corpus/tier2-divergent/java-only/11-boolean-and.meta.json +12 -0
- package/corpus/tier2-divergent/java-only/12-boolean-or.aster +4 -0
- package/corpus/tier2-divergent/java-only/12-boolean-or.meta.json +12 -0
- package/corpus/tier2-divergent/java-only/14-boolean-short-circuit.aster +4 -0
- package/corpus/tier2-divergent/java-only/14-boolean-short-circuit.meta.json +12 -0
- package/corpus/tier2-divergent/java-only/17-comparison-range.aster +4 -0
- package/corpus/tier2-divergent/java-only/17-comparison-range.meta.json +12 -0
- package/corpus/tier2-divergent/java-only/26-if-bool-condition.aster +9 -0
- package/corpus/tier2-divergent/java-only/26-if-bool-condition.meta.json +12 -0
- package/corpus/tier2-divergent/java-only/27-business-loan-eligibility.aster +4 -0
- package/corpus/tier2-divergent/java-only/27-business-loan-eligibility.meta.json +12 -0
- package/corpus/tier2-divergent/java-only/30-business-gdpr-retention.aster +4 -0
- package/corpus/tier2-divergent/java-only/30-business-gdpr-retention.meta.json +12 -0
- package/corpus/tier2-divergent/java-only/neq_test.aster +10 -0
- package/corpus/tier2-divergent/java-only/neq_test.meta.json +11 -0
- package/corpus/tier2-divergent/ts-only/03-if-else.aster +9 -0
- package/corpus/tier2-divergent/ts-only/03-if-else.cases.json +27 -0
- package/corpus/tier2-divergent/ts-only/03-if-else.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/18-comparison-chained.aster +9 -0
- package/corpus/tier2-divergent/ts-only/18-comparison-chained.cases.json +27 -0
- package/corpus/tier2-divergent/ts-only/18-comparison-chained.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/21-let-conditional.aster +8 -0
- package/corpus/tier2-divergent/ts-only/21-let-conditional.cases.json +27 -0
- package/corpus/tier2-divergent/ts-only/21-let-conditional.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/22-let-shadowing.aster +9 -0
- package/corpus/tier2-divergent/ts-only/22-let-shadowing.cases.json +27 -0
- package/corpus/tier2-divergent/ts-only/22-let-shadowing.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/23-if-nested.aster +10 -0
- package/corpus/tier2-divergent/ts-only/23-if-nested.cases.json +30 -0
- package/corpus/tier2-divergent/ts-only/23-if-nested.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/24-if-guard-clause.aster +6 -0
- package/corpus/tier2-divergent/ts-only/24-if-guard-clause.cases.json +27 -0
- package/corpus/tier2-divergent/ts-only/24-if-guard-clause.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/25-if-multi-branch.aster +11 -0
- package/corpus/tier2-divergent/ts-only/25-if-multi-branch.cases.json +27 -0
- package/corpus/tier2-divergent/ts-only/25-if-multi-branch.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/29-business-tax-bracket.aster +11 -0
- package/corpus/tier2-divergent/ts-only/29-business-tax-bracket.cases.json +27 -0
- package/corpus/tier2-divergent/ts-only/29-business-tax-bracket.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/comparison_operators.aster +10 -0
- package/corpus/tier2-divergent/ts-only/comparison_operators.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/cross_compiler_ops.aster +73 -0
- package/corpus/tier2-divergent/ts-only/cross_compiler_ops.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/enterprise.aster +119 -0
- package/corpus/tier2-divergent/ts-only/enterprise.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_bind.aster +18 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_bind.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_bind__programs-patterns.aster +18 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_bind__programs-patterns.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_maybe.aster +8 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_maybe.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_maybe__programs-patterns.aster +8 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_maybe__programs-patterns.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_result.aster +8 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_result.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_result__programs-patterns.aster +8 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_result__programs-patterns.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_mixed.aster +11 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_mixed.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/lambda_gte_test.aster +8 -0
- package/corpus/tier2-divergent/ts-only/lambda_gte_test.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/lambda_lte_test.aster +8 -0
- package/corpus/tier2-divergent/ts-only/lambda_lte_test.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/loan.aster +12 -0
- package/corpus/tier2-divergent/ts-only/loan.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/nested_generic_lambda.aster +7 -0
- package/corpus/tier2-divergent/ts-only/nested_generic_lambda.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/personal.aster +113 -0
- package/corpus/tier2-divergent/ts-only/personal.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/test_all_comparisons__ts-only.aster +9 -0
- package/corpus/tier2-divergent/ts-only/test_all_comparisons__ts-only.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/test_eligibility_with_ifs.aster +18 -0
- package/corpus/tier2-divergent/ts-only/test_eligibility_with_ifs.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/test_let_with_call.aster +6 -0
- package/corpus/tier2-divergent/ts-only/test_let_with_call.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/test_operators__ts-only.aster +6 -0
- package/corpus/tier2-divergent/ts-only/test_operators__ts-only.meta.json +12 -0
- package/corpus/tier3-fixtures/comments/comment1.in.aster +6 -0
- package/corpus/tier3-fixtures/comments/comment1.in.meta.json +9 -0
- package/corpus/tier3-fixtures/comments/comment1.out.aster +4 -0
- package/corpus/tier3-fixtures/comments/comment1.out.meta.json +9 -0
- package/corpus/tier3-fixtures/comments/comment2.in.aster +6 -0
- package/corpus/tier3-fixtures/comments/comment2.in.meta.json +9 -0
- package/corpus/tier3-fixtures/comments/comment2.out.aster +5 -0
- package/corpus/tier3-fixtures/comments/comment2.out.meta.json +9 -0
- package/corpus/tier3-fixtures/comments/comment3.in.aster +8 -0
- package/corpus/tier3-fixtures/comments/comment3.in.meta.json +9 -0
- package/corpus/tier3-fixtures/comments/comment3.out.aster +8 -0
- package/corpus/tier3-fixtures/comments/comment3.out.meta.json +9 -0
- package/corpus/tier3-fixtures/fixtures/capability-violations.aster +15 -0
- package/corpus/tier3-fixtures/fixtures/capability-violations.meta.json +9 -0
- package/corpus/tier3-fixtures/fixtures/parallel-workflow.aster +4 -0
- package/corpus/tier3-fixtures/fixtures/parallel-workflow.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-ast/workflow-compensate.aster +15 -0
- package/corpus/tier3-fixtures/golden-ast/workflow-compensate.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-ast/workflow-linear__golden-ast.aster +14 -0
- package/corpus/tier3-fixtures/golden-ast/workflow-linear__golden-ast.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/bad_division_by_zero.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/bad_division_by_zero.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/bad_list_index_out_of_bounds.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/bad_list_index_out_of_bounds.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/bad_text_substring_negative.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/bad_text_substring_negative.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/bad_type_mismatch_add_text.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/bad_type_mismatch_add_text.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/boundary_empty_generic_list.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/boundary_empty_generic_list.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/boundary_empty_list_length.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/boundary_empty_list_length.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/boundary_list_slice_zero.aster +5 -0
- package/corpus/tier3-fixtures/golden-core/boundary_list_slice_zero.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/boundary_map_type.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/boundary_map_type.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/boundary_maybe_match.aster +6 -0
- package/corpus/tier3-fixtures/golden-core/boundary_maybe_match.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/boundary_null_match_default.aster +6 -0
- package/corpus/tier3-fixtures/golden-core/boundary_null_match_default.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/boundary_result_both.aster +7 -0
- package/corpus/tier3-fixtures/golden-core/boundary_result_both.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/boundary_result_err_null.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/boundary_result_err_null.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/boundary_text_empty_concat.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/boundary_text_empty_concat.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/boundary_text_trim_whitespace.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/boundary_text_trim_whitespace.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/eff_generic_func.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/eff_generic_func.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/eff_multiple_caps.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/eff_multiple_caps.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/generic_list_of_results.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/generic_list_of_results.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/generic_result_maybe.aster +6 -0
- package/corpus/tier3-fixtures/golden-core/generic_result_maybe.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/if_param__golden-core.aster +7 -0
- package/corpus/tier3-fixtures/golden-core/if_param__golden-core.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/inventory_workflow.aster +16 -0
- package/corpus/tier3-fixtures/golden-core/inventory_workflow.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/login__golden-core.aster +11 -0
- package/corpus/tier3-fixtures/golden-core/login__golden-core.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/payment_workflow.aster +16 -0
- package/corpus/tier3-fixtures/golden-core/payment_workflow.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/pii_param_return.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/pii_param_return.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/pii_result_type.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/pii_result_type.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/type_inference_cnl.aster +146 -0
- package/corpus/tier3-fixtures/golden-core/type_inference_cnl.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/workflow-diamond.aster +19 -0
- package/corpus/tier3-fixtures/golden-core/workflow-diamond.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/workflow-linear__golden-core.aster +22 -0
- package/corpus/tier3-fixtures/golden-core/workflow-linear__golden-core.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-diagnostics/pii_http_violation__golden-diagnostics.aster +4 -0
- package/corpus/tier3-fixtures/golden-diagnostics/pii_http_violation__golden-diagnostics.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/01-hello.aster +8 -0
- package/corpus/tier3-fixtures/lexicon-i18n/01-hello.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/01-hello__i18n-en-US.aster +7 -0
- package/corpus/tier3-fixtures/lexicon-i18n/01-hello__i18n-en-US.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/01-hello__i18n-zh-CN.aster +8 -0
- package/corpus/tier3-fixtures/lexicon-i18n/01-hello__i18n-zh-CN.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/02-types.aster +10 -0
- package/corpus/tier3-fixtures/lexicon-i18n/02-types.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/02-types__i18n-en-US.aster +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/02-types__i18n-en-US.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/02-types__i18n-zh-CN.aster +24 -0
- package/corpus/tier3-fixtures/lexicon-i18n/02-types__i18n-zh-CN.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/03-functions.aster +27 -0
- package/corpus/tier3-fixtures/lexicon-i18n/03-functions.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/03-functions__i18n-en-US.aster +27 -0
- package/corpus/tier3-fixtures/lexicon-i18n/03-functions__i18n-en-US.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/03-functions__i18n-zh-CN.aster +27 -0
- package/corpus/tier3-fixtures/lexicon-i18n/03-functions__i18n-zh-CN.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/04-control-flow.aster +35 -0
- package/corpus/tier3-fixtures/lexicon-i18n/04-control-flow.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/04-control-flow__i18n-en-US.aster +35 -0
- package/corpus/tier3-fixtures/lexicon-i18n/04-control-flow__i18n-en-US.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/04-control-flow__i18n-zh-CN.aster +35 -0
- package/corpus/tier3-fixtures/lexicon-i18n/04-control-flow__i18n-zh-CN.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/05-patterns.aster +27 -0
- package/corpus/tier3-fixtures/lexicon-i18n/05-patterns.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/05-patterns__i18n-en-US.aster +27 -0
- package/corpus/tier3-fixtures/lexicon-i18n/05-patterns__i18n-en-US.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/05-patterns__i18n-zh-CN.aster +27 -0
- package/corpus/tier3-fixtures/lexicon-i18n/05-patterns__i18n-zh-CN.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/06-operators.aster +49 -0
- package/corpus/tier3-fixtures/lexicon-i18n/06-operators.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/06-operators__i18n-en-US.aster +49 -0
- package/corpus/tier3-fixtures/lexicon-i18n/06-operators__i18n-en-US.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/06-operators__i18n-zh-CN.aster +49 -0
- package/corpus/tier3-fixtures/lexicon-i18n/06-operators__i18n-zh-CN.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/arithmetic.aster +24 -0
- package/corpus/tier3-fixtures/lexicon-i18n/arithmetic.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/hello__zh-CN.aster +6 -0
- package/corpus/tier3-fixtures/lexicon-i18n/hello__zh-CN.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/loan_decision.aster +21 -0
- package/corpus/tier3-fixtures/lexicon-i18n/loan_decision.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/user_greeting.aster +10 -0
- package/corpus/tier3-fixtures/lexicon-i18n/user_greeting.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly1.in.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly1.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly1.out.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly1.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly10.in.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly10.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly10.out.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly10.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly11.in.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly11.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly11.out.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly11.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly12.in.aster +6 -0
- package/corpus/tier3-fixtures/lossless/ugly12.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly12.out.aster +5 -0
- package/corpus/tier3-fixtures/lossless/ugly12.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly13.in.aster +6 -0
- package/corpus/tier3-fixtures/lossless/ugly13.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly13.out.aster +6 -0
- package/corpus/tier3-fixtures/lossless/ugly13.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly14.in.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly14.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly14.out.aster +6 -0
- package/corpus/tier3-fixtures/lossless/ugly14.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly2.in.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly2.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly2.out.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly2.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly3.in.aster +6 -0
- package/corpus/tier3-fixtures/lossless/ugly3.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly3.out.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly3.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly4.in.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly4.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly4.out.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly4.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly5.in.aster +7 -0
- package/corpus/tier3-fixtures/lossless/ugly5.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly5.out.aster +5 -0
- package/corpus/tier3-fixtures/lossless/ugly5.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly6.in.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly6.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly6.out.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly6.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly7.in.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly7.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly7.out.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly7.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly8.in.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly8.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly8.out.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly8.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly9.in.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly9.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly9.out.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly9.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lsp/a.aster +5 -0
- package/corpus/tier3-fixtures/lsp/a.meta.json +9 -0
- package/corpus/tier3-fixtures/lsp/b.aster +5 -0
- package/corpus/tier3-fixtures/lsp/b.meta.json +9 -0
- package/corpus/tier3-fixtures/lsp/bar.aster +7 -0
- package/corpus/tier3-fixtures/lsp/bar.meta.json +9 -0
- package/corpus/tier3-fixtures/lsp/foo.aster +7 -0
- package/corpus/tier3-fixtures/lsp/foo.meta.json +9 -0
- package/corpus/tier3-fixtures/parser-error/simple_function.aster +4 -0
- package/corpus/tier3-fixtures/parser-error/simple_function.meta.json +9 -0
- package/corpus/tier3-fixtures/parser-error/test-bad-syntax.aster +4 -0
- package/corpus/tier3-fixtures/parser-error/test-bad-syntax.meta.json +9 -0
- package/corpus/tier3-fixtures/parser-error/test-number-type.aster +6 -0
- package/corpus/tier3-fixtures/parser-error/test-number-type.meta.json +9 -0
- package/corpus/tier3-fixtures/parser-error/test_if_syntax.aster +8 -0
- package/corpus/tier3-fixtures/parser-error/test_if_syntax.meta.json +7 -0
- package/corpus/tier3-fixtures/parser-error/with_data_type.aster +4 -0
- package/corpus/tier3-fixtures/parser-error/with_data_type.meta.json +9 -0
- package/corpus/tier3-fixtures/policy-converter/async_policy.aster +9 -0
- package/corpus/tier3-fixtures/policy-converter/async_policy.meta.json +9 -0
- package/corpus/tier3-fixtures/policy-converter/data_policy.aster +9 -0
- package/corpus/tier3-fixtures/policy-converter/data_policy.meta.json +9 -0
- package/corpus/tier3-fixtures/policy-converter/effects_policy.aster +7 -0
- package/corpus/tier3-fixtures/policy-converter/effects_policy.meta.json +9 -0
- package/corpus/tier3-fixtures/policy-converter/simple_policy.aster +7 -0
- package/corpus/tier3-fixtures/policy-converter/simple_policy.meta.json +9 -0
- package/corpus/tier3-fixtures/runtime-retry/retry_max_attempts.aster +13 -0
- package/corpus/tier3-fixtures/runtime-retry/retry_max_attempts.meta.json +9 -0
- package/corpus/tier3-fixtures/runtime-retry/retry_success.aster +13 -0
- package/corpus/tier3-fixtures/runtime-retry/retry_success.meta.json +9 -0
- package/corpus/tier3-fixtures/runtime-retry/retry_with_timeout.aster +4 -0
- package/corpus/tier3-fixtures/runtime-retry/retry_with_timeout.meta.json +9 -0
- package/corpus/tier3-fixtures/truffle/smoke-test.aster +4 -0
- package/corpus/tier3-fixtures/truffle/smoke-test.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/async_duplicate_start.aster +7 -0
- package/corpus/tier3-fixtures/type-checker/async_duplicate_start.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/async_duplicate_wait.aster +7 -0
- package/corpus/tier3-fixtures/type-checker/async_duplicate_wait.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/async_missing_wait.aster +5 -0
- package/corpus/tier3-fixtures/type-checker/async_missing_wait.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/async_wait_not_started.aster +5 -0
- package/corpus/tier3-fixtures/type-checker/async_wait_not_started.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/basic_types.aster +4 -0
- package/corpus/tier3-fixtures/type-checker/basic_types.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/capability_missing_decl.aster +5 -0
- package/corpus/tier3-fixtures/type-checker/capability_missing_decl.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/effect_missing_cpu.aster +4 -0
- package/corpus/tier3-fixtures/type-checker/effect_missing_cpu.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/effect_missing_io.aster +4 -0
- package/corpus/tier3-fixtures/type-checker/effect_missing_io.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/effect_var_basic.aster +8 -0
- package/corpus/tier3-fixtures/type-checker/effect_var_basic.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/generics.aster +4 -0
- package/corpus/tier3-fixtures/type-checker/generics.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/inventory_capability_missing_io.aster +7 -0
- package/corpus/tier3-fixtures/type-checker/inventory_capability_missing_io.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/inventory_capability_success.aster +9 -0
- package/corpus/tier3-fixtures/type-checker/inventory_capability_success.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/lambda_with_effects.aster +9 -0
- package/corpus/tier3-fixtures/type-checker/lambda_with_effects.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/list_literal_mismatch.aster +4 -0
- package/corpus/tier3-fixtures/type-checker/list_literal_mismatch.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/payment_capability_missing_io.aster +7 -0
- package/corpus/tier3-fixtures/type-checker/payment_capability_missing_io.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/payment_capability_success.aster +9 -0
- package/corpus/tier3-fixtures/type-checker/payment_capability_success.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/pii_http_violation__type-checker.aster +4 -0
- package/corpus/tier3-fixtures/type-checker/pii_http_violation__type-checker.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/return_type_mismatch.aster +4 -0
- package/corpus/tier3-fixtures/type-checker/return_type_mismatch.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/type_mismatch_assign.aster +7 -0
- package/corpus/tier3-fixtures/type-checker/type_mismatch_assign.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/with_external_package.aster +6 -0
- package/corpus/tier3-fixtures/type-checker/with_external_package.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow-compensate-new-cap.aster +11 -0
- package/corpus/tier3-fixtures/type-checker/workflow-compensate-new-cap.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow-linear__type-checker.aster +23 -0
- package/corpus/tier3-fixtures/type-checker/workflow-linear__type-checker.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow-missing-compensate.aster +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow-missing-compensate.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow-missing-io.aster +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow-missing-io.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow-type-mismatch.aster +11 -0
- package/corpus/tier3-fixtures/type-checker/workflow-type-mismatch.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow-undeclared-capability.aster +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow-undeclared-capability.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow_retry_exponential.aster +13 -0
- package/corpus/tier3-fixtures/type-checker/workflow_retry_exponential.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow_retry_many_attempts.aster +13 -0
- package/corpus/tier3-fixtures/type-checker/workflow_retry_many_attempts.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow_retry_timeout_conflict.aster +15 -0
- package/corpus/tier3-fixtures/type-checker/workflow_retry_timeout_conflict.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow_timeout_too_long.aster +11 -0
- package/corpus/tier3-fixtures/type-checker/workflow_timeout_too_long.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow_timeout_too_short.aster +11 -0
- package/corpus/tier3-fixtures/type-checker/workflow_timeout_too_short.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker-cross-module/external-packages/mock/pkg/analytics/remote.aster +4 -0
- package/corpus/tier3-fixtures/type-checker-cross-module/external-packages/mock/pkg/analytics/remote.meta.json +7 -0
- package/corpus/tier3-fixtures/type-checker-cross-module/module_a.aster +4 -0
- package/corpus/tier3-fixtures/type-checker-cross-module/module_a.meta.json +7 -0
- package/corpus/tier3-fixtures/type-checker-cross-module/module_b.aster +6 -0
- package/corpus/tier3-fixtures/type-checker-cross-module/module_b.meta.json +7 -0
- package/corpus/tier3-fixtures/type-checker-cross-module/module_b_external.aster +6 -0
- package/corpus/tier3-fixtures/type-checker-cross-module/module_b_external.meta.json +7 -0
- package/corpus/tier3-fixtures/type-checker-cross-module/module_b_missing_pkg.aster +6 -0
- package/corpus/tier3-fixtures/type-checker-cross-module/module_b_missing_pkg.meta.json +7 -0
- package/dist/loader.d.ts +55 -0
- package/dist/loader.d.ts.map +1 -0
- package/dist/loader.js +97 -0
- package/dist/loader.js.map +1 -0
- package/dist/test/loader.test.d.ts +2 -0
- package/dist/test/loader.test.d.ts.map +1 -0
- package/dist/test/loader.test.js +45 -0
- package/dist/test/loader.test.js.map +1 -0
- package/package.json +34 -0
package/dist/loader.d.ts
ADDED
|
@@ -0,0 +1,55 @@
|
|
|
1
|
+
export declare const CORPUS_ROOT: string;
|
|
2
|
+
export type Tier = 1 | 2 | 3;
|
|
3
|
+
export interface SampleMeta {
|
|
4
|
+
tier: Tier;
|
|
5
|
+
engines: ('java' | 'ts')[];
|
|
6
|
+
lexicon?: string;
|
|
7
|
+
capabilities?: string[];
|
|
8
|
+
knownGaps?: string[];
|
|
9
|
+
divergenceType?: 'grammar-gap' | 'sample-bug' | 'intentional' | 'unexpected';
|
|
10
|
+
bucket?: string;
|
|
11
|
+
source?: string;
|
|
12
|
+
tags?: string[];
|
|
13
|
+
notes?: string;
|
|
14
|
+
}
|
|
15
|
+
export interface Sample {
|
|
16
|
+
/** Relative to CORPUS_ROOT, e.g. "tier1-equivalence/policies/01-arithmetic-add.aster". */
|
|
17
|
+
path: string;
|
|
18
|
+
/** Absolute path; convenient for shelling out. */
|
|
19
|
+
absPath: string;
|
|
20
|
+
/** Parsed .meta.json contents. */
|
|
21
|
+
meta: SampleMeta;
|
|
22
|
+
/** Convenience: read source on demand. */
|
|
23
|
+
readSource(): string;
|
|
24
|
+
/** If a `.cases.json` exists for this sample, returns parsed object; else null. */
|
|
25
|
+
readCases(): CasesGolden | null;
|
|
26
|
+
}
|
|
27
|
+
export interface CasesGolden {
|
|
28
|
+
/** Path (corpus-relative) to the .aster file. */
|
|
29
|
+
policy: string;
|
|
30
|
+
/** Entry function name to invoke. */
|
|
31
|
+
entry: string;
|
|
32
|
+
cases: CaseDef[];
|
|
33
|
+
}
|
|
34
|
+
export interface CaseDef {
|
|
35
|
+
name: string;
|
|
36
|
+
input: unknown[];
|
|
37
|
+
expectedOutput: unknown;
|
|
38
|
+
}
|
|
39
|
+
export interface ListOpts {
|
|
40
|
+
/** Filter by tier. */
|
|
41
|
+
tier?: Tier;
|
|
42
|
+
/** Filter to samples whose engines list includes this engine. */
|
|
43
|
+
engine?: 'java' | 'ts';
|
|
44
|
+
/** Filter by tier3 bucket. */
|
|
45
|
+
bucket?: string;
|
|
46
|
+
}
|
|
47
|
+
/** List every sample under CORPUS_ROOT. */
|
|
48
|
+
export declare function listSamples(opts?: ListOpts): Sample[];
|
|
49
|
+
/** Convenience: just tier1 samples (the equivalence set). */
|
|
50
|
+
export declare function listTier1(): Sample[];
|
|
51
|
+
/** Convenience: list samples in a specific tier3 bucket. */
|
|
52
|
+
export declare function listTier3Bucket(bucket: string): Sample[];
|
|
53
|
+
/** Read one sample by corpus-relative path. Throws if not found. */
|
|
54
|
+
export declare function readSample(relPath: string): Sample;
|
|
55
|
+
//# sourceMappingURL=loader.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"loader.d.ts","sourceRoot":"","sources":["../src/loader.ts"],"names":[],"mappings":"AAoCA,eAAO,MAAM,WAAW,QAAsB,CAAC;AAE/C,MAAM,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAE7B,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,IAAI,CAAC;IACX,OAAO,EAAE,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;IAC3B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,cAAc,CAAC,EAAE,aAAa,GAAG,YAAY,GAAG,aAAa,GAAG,YAAY,CAAC;IAC7E,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,MAAM;IACrB,0FAA0F;IAC1F,IAAI,EAAE,MAAM,CAAC;IACb,kDAAkD;IAClD,OAAO,EAAE,MAAM,CAAC;IAChB,kCAAkC;IAClC,IAAI,EAAE,UAAU,CAAC;IACjB,0CAA0C;IAC1C,UAAU,IAAI,MAAM,CAAC;IACrB,mFAAmF;IACnF,SAAS,IAAI,WAAW,GAAG,IAAI,CAAC;CACjC;AAED,MAAM,WAAW,WAAW;IAC1B,iDAAiD;IACjD,MAAM,EAAE,MAAM,CAAC;IACf,qCAAqC;IACrC,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,OAAO,EAAE,CAAC;CAClB;AAED,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,OAAO,EAAE,CAAC;IACjB,cAAc,EAAE,OAAO,CAAC;CACzB;AAED,MAAM,WAAW,QAAQ;IACvB,sBAAsB;IACtB,IAAI,CAAC,EAAE,IAAI,CAAC;IACZ,iEAAiE;IACjE,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,8BAA8B;IAC9B,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAqCD,2CAA2C;AAC3C,wBAAgB,WAAW,CAAC,IAAI,GAAE,QAAa,GAAG,MAAM,EAAE,CAQzD;AAED,6DAA6D;AAC7D,wBAAgB,SAAS,IAAI,MAAM,EAAE,CAEpC;AAED,4DAA4D;AAC5D,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAExD;AAED,oEAAoE;AACpE,wBAAgB,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAIlD"}
|
package/dist/loader.js
ADDED
|
@@ -0,0 +1,97 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Aster Lang test corpus loader (Node).
|
|
3
|
+
*
|
|
4
|
+
* Provides path-based access to the bundled corpus. Browsers should bundle the
|
|
5
|
+
* corpus via their bundler's asset pipeline; this module assumes a Node-style
|
|
6
|
+
* filesystem.
|
|
7
|
+
*/
|
|
8
|
+
import { readFileSync, readdirSync, statSync, existsSync } from 'node:fs';
|
|
9
|
+
import { join, dirname, resolve, relative } from 'node:path';
|
|
10
|
+
import { fileURLToPath } from 'node:url';
|
|
11
|
+
const __dirname = dirname(fileURLToPath(import.meta.url));
|
|
12
|
+
/**
|
|
13
|
+
* Corpus root directory. Resolved relative to this module so the path is
|
|
14
|
+
* stable whether the package is consumed via `node_modules`, a workspace
|
|
15
|
+
* symlink, or a local checkout.
|
|
16
|
+
*
|
|
17
|
+
* Layout searched, in order:
|
|
18
|
+
* - <pkg>/corpus (post-prepack: bundled into the tarball)
|
|
19
|
+
* - <pkg>/../../../corpus (dev: monorepo root)
|
|
20
|
+
*/
|
|
21
|
+
function resolveCorpusRoot() {
|
|
22
|
+
const candidates = [
|
|
23
|
+
resolve(__dirname, '..', 'corpus'),
|
|
24
|
+
resolve(__dirname, '..', '..', '..', '..', 'corpus'),
|
|
25
|
+
resolve(__dirname, '..', '..', '..', 'corpus'),
|
|
26
|
+
];
|
|
27
|
+
for (const c of candidates) {
|
|
28
|
+
if (existsSync(c))
|
|
29
|
+
return c;
|
|
30
|
+
}
|
|
31
|
+
throw new Error(`aster-lang-test: corpus not found in any of:\n ${candidates.join('\n ')}`);
|
|
32
|
+
}
|
|
33
|
+
export const CORPUS_ROOT = resolveCorpusRoot();
|
|
34
|
+
function walk(dir, out = []) {
|
|
35
|
+
for (const name of readdirSync(dir)) {
|
|
36
|
+
const full = join(dir, name);
|
|
37
|
+
if (statSync(full).isDirectory())
|
|
38
|
+
walk(full, out);
|
|
39
|
+
else if (name.endsWith('.aster'))
|
|
40
|
+
out.push(full);
|
|
41
|
+
}
|
|
42
|
+
return out;
|
|
43
|
+
}
|
|
44
|
+
function loadMeta(asterAbs) {
|
|
45
|
+
const metaAbs = asterAbs.replace(/\.aster$/, '.meta.json');
|
|
46
|
+
if (!existsSync(metaAbs)) {
|
|
47
|
+
throw new Error(`Missing .meta.json beside ${asterAbs}`);
|
|
48
|
+
}
|
|
49
|
+
return JSON.parse(readFileSync(metaAbs, 'utf8'));
|
|
50
|
+
}
|
|
51
|
+
function makeSample(asterAbs) {
|
|
52
|
+
const rel = relative(CORPUS_ROOT, asterAbs);
|
|
53
|
+
const meta = loadMeta(asterAbs);
|
|
54
|
+
return {
|
|
55
|
+
path: rel,
|
|
56
|
+
absPath: asterAbs,
|
|
57
|
+
meta,
|
|
58
|
+
readSource: () => readFileSync(asterAbs, 'utf8'),
|
|
59
|
+
readCases: () => {
|
|
60
|
+
const casesAbs = asterAbs
|
|
61
|
+
.replace('/policies/', '/inputs/')
|
|
62
|
+
.replace(/\.aster$/, '.cases.json');
|
|
63
|
+
if (!existsSync(casesAbs))
|
|
64
|
+
return null;
|
|
65
|
+
return JSON.parse(readFileSync(casesAbs, 'utf8'));
|
|
66
|
+
},
|
|
67
|
+
};
|
|
68
|
+
}
|
|
69
|
+
/** List every sample under CORPUS_ROOT. */
|
|
70
|
+
export function listSamples(opts = {}) {
|
|
71
|
+
const all = walk(CORPUS_ROOT).map(makeSample);
|
|
72
|
+
return all.filter((s) => {
|
|
73
|
+
if (opts.tier !== undefined && s.meta.tier !== opts.tier)
|
|
74
|
+
return false;
|
|
75
|
+
if (opts.engine && !s.meta.engines.includes(opts.engine))
|
|
76
|
+
return false;
|
|
77
|
+
if (opts.bucket && s.meta.bucket !== opts.bucket)
|
|
78
|
+
return false;
|
|
79
|
+
return true;
|
|
80
|
+
});
|
|
81
|
+
}
|
|
82
|
+
/** Convenience: just tier1 samples (the equivalence set). */
|
|
83
|
+
export function listTier1() {
|
|
84
|
+
return listSamples({ tier: 1 });
|
|
85
|
+
}
|
|
86
|
+
/** Convenience: list samples in a specific tier3 bucket. */
|
|
87
|
+
export function listTier3Bucket(bucket) {
|
|
88
|
+
return listSamples({ tier: 3, bucket });
|
|
89
|
+
}
|
|
90
|
+
/** Read one sample by corpus-relative path. Throws if not found. */
|
|
91
|
+
export function readSample(relPath) {
|
|
92
|
+
const abs = resolve(CORPUS_ROOT, relPath);
|
|
93
|
+
if (!existsSync(abs))
|
|
94
|
+
throw new Error(`Sample not found: ${relPath}`);
|
|
95
|
+
return makeSample(abs);
|
|
96
|
+
}
|
|
97
|
+
//# sourceMappingURL=loader.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"loader.js","sourceRoot":"","sources":["../src/loader.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAC1E,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAE1D;;;;;;;;GAQG;AACH,SAAS,iBAAiB;IACxB,MAAM,UAAU,GAAG;QACjB,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC;QAClC,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC;QACpD,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC;KAC/C,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,UAAU,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IACD,MAAM,IAAI,KAAK,CACb,mDAAmD,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAC7E,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,iBAAiB,EAAE,CAAC;AAqD/C,SAAS,IAAI,CAAC,GAAW,EAAE,MAAgB,EAAE;IAC3C,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC7B,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE;YAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;aAC7C,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,QAAQ,CAAC,QAAgB;IAChC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IAC3D,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,6BAA6B,QAAQ,EAAE,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,UAAU,CAAC,QAAgB;IAClC,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAChC,OAAO;QACL,IAAI,EAAE,GAAG;QACT,OAAO,EAAE,QAAQ;QACjB,IAAI;QACJ,UAAU,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC;QAChD,SAAS,EAAE,GAAG,EAAE;YACd,MAAM,QAAQ,GAAG,QAAQ;iBACtB,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC;iBACjC,OAAO,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;YACtC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;gBAAE,OAAO,IAAI,CAAC;YACvC,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;QACpD,CAAC;KACF,CAAC;AACJ,CAAC;AAED,2CAA2C;AAC3C,MAAM,UAAU,WAAW,CAAC,OAAiB,EAAE;IAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC9C,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACtB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACvE,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QACvE,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC/D,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,SAAS;IACvB,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;AAClC,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,eAAe,CAAC,MAAc;IAC5C,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;AAC1C,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,UAAU,CAAC,OAAe;IACxC,MAAM,GAAG,GAAG,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,OAAO,EAAE,CAAC,CAAC;IACtE,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"loader.test.d.ts","sourceRoot":"","sources":["../../src/test/loader.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,45 @@
|
|
|
1
|
+
import { describe, it } from 'node:test';
|
|
2
|
+
import assert from 'node:assert/strict';
|
|
3
|
+
import { CORPUS_ROOT, listSamples, listTier1, listTier3Bucket, } from '../loader.js';
|
|
4
|
+
describe('CorpusLoader', () => {
|
|
5
|
+
it('resolves CORPUS_ROOT to an existing directory', () => {
|
|
6
|
+
assert.ok(CORPUS_ROOT.endsWith('corpus'), `got ${CORPUS_ROOT}`);
|
|
7
|
+
});
|
|
8
|
+
it('listSamples returns the full corpus (≥ 300 samples after dedup)', () => {
|
|
9
|
+
const all = listSamples();
|
|
10
|
+
assert.ok(all.length >= 300, `expected ≥ 300 samples, got ${all.length}`);
|
|
11
|
+
});
|
|
12
|
+
it('listTier1 returns >= 160 samples and all have engines=[java,ts]', () => {
|
|
13
|
+
const t1 = listTier1();
|
|
14
|
+
assert.ok(t1.length >= 160, `expected ≥ 160 tier1 samples, got ${t1.length}`);
|
|
15
|
+
for (const s of t1) {
|
|
16
|
+
assert.deepEqual([...s.meta.engines].sort(), ['java', 'ts']);
|
|
17
|
+
}
|
|
18
|
+
});
|
|
19
|
+
it('listTier3Bucket("lossless") returns the pretty-printer goldens', () => {
|
|
20
|
+
const lossless = listTier3Bucket('lossless');
|
|
21
|
+
assert.ok(lossless.length >= 25, `expected ≥ 25 lossless samples, got ${lossless.length}`);
|
|
22
|
+
});
|
|
23
|
+
it('readSample reads source content', () => {
|
|
24
|
+
const t1 = listTier1();
|
|
25
|
+
assert.ok(t1.length > 0, 'need at least one tier1 sample');
|
|
26
|
+
const source = t1[0].readSource();
|
|
27
|
+
assert.ok(source.includes('Module') || source.includes('Rule'), `tier1 sample should contain Module/Rule, got: ${source.slice(0, 100)}`);
|
|
28
|
+
});
|
|
29
|
+
it('readCases returns cases for tier1 samples with .cases.json', () => {
|
|
30
|
+
const t1 = listTier1();
|
|
31
|
+
const withCases = t1.find((s) => s.readCases() !== null);
|
|
32
|
+
assert.ok(withCases, 'expected ≥ 1 tier1 sample with .cases.json');
|
|
33
|
+
const cases = withCases.readCases();
|
|
34
|
+
assert.ok(cases.cases.length > 0, 'cases array should be non-empty');
|
|
35
|
+
assert.ok(typeof cases.entry === 'string', 'cases.entry should be a string');
|
|
36
|
+
});
|
|
37
|
+
it('every sample has a corresponding .meta.json', () => {
|
|
38
|
+
const all = listSamples();
|
|
39
|
+
for (const s of all) {
|
|
40
|
+
assert.ok(s.meta.tier, `${s.path} missing meta.tier`);
|
|
41
|
+
assert.ok(s.meta.engines, `${s.path} missing meta.engines`);
|
|
42
|
+
}
|
|
43
|
+
});
|
|
44
|
+
});
|
|
45
|
+
//# sourceMappingURL=loader.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"loader.test.js","sourceRoot":"","sources":["../../src/test/loader.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EACL,WAAW,EACX,WAAW,EACX,SAAS,EACT,eAAe,GAEhB,MAAM,cAAc,CAAC;AAEtB,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,WAAW,EAAE,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,IAAI,GAAG,EAAE,+BAA+B,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,EAAE,GAAG,SAAS,EAAE,CAAC;QACvB,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,IAAI,GAAG,EAAE,qCAAqC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;QAC9E,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YACnB,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,QAAQ,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;QAC7C,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,EAAE,uCAAuC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,EAAE,GAAG,SAAS,EAAE,CAAC;QACvB,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,gCAAgC,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;QAClC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAC5D,iDAAiD,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,EAAE,GAAG,SAAS,EAAE,CAAC;QACvB,MAAM,SAAS,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,KAAK,IAAI,CAAC,CAAC;QACzD,MAAM,CAAC,EAAE,CAAC,SAAS,EAAE,4CAA4C,CAAC,CAAC;QACnE,MAAM,KAAK,GAAG,SAAU,CAAC,SAAS,EAAG,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,iCAAiC,CAAC,CAAC;QACrE,MAAM,CAAC,EAAE,CAAC,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,EAAE,gCAAgC,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;YACpB,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,oBAAoB,CAAC,CAAC;YACtD,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,uBAAuB,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
package/package.json
ADDED
|
@@ -0,0 +1,34 @@
|
|
|
1
|
+
{
|
|
2
|
+
"name": "@aster-cloud/aster-lang-test",
|
|
3
|
+
"version": "0.0.2",
|
|
4
|
+
"description": "Shared test corpus for Aster Lang dual-engine equivalence (Java ANTLR + TS PEG).",
|
|
5
|
+
"license": "Apache-2.0",
|
|
6
|
+
"type": "module",
|
|
7
|
+
"main": "./dist/loader.js",
|
|
8
|
+
"types": "./dist/loader.d.ts",
|
|
9
|
+
"exports": {
|
|
10
|
+
".": {
|
|
11
|
+
"import": "./dist/loader.js",
|
|
12
|
+
"types": "./dist/loader.d.ts"
|
|
13
|
+
}
|
|
14
|
+
},
|
|
15
|
+
"files": [
|
|
16
|
+
"dist/**/*",
|
|
17
|
+
"corpus/**/*"
|
|
18
|
+
],
|
|
19
|
+
"devDependencies": {
|
|
20
|
+
"@types/node": "^22.0.0",
|
|
21
|
+
"typescript": "^5.6.0"
|
|
22
|
+
},
|
|
23
|
+
"publishConfig": {
|
|
24
|
+
"access": "public"
|
|
25
|
+
},
|
|
26
|
+
"repository": {
|
|
27
|
+
"type": "git",
|
|
28
|
+
"url": "https://github.com/aster-cloud/aster-lang-test.git"
|
|
29
|
+
},
|
|
30
|
+
"scripts": {
|
|
31
|
+
"build": "tsc",
|
|
32
|
+
"test": "pnpm run build && node --test 'dist/test/**/*.test.js'"
|
|
33
|
+
}
|
|
34
|
+
}
|