@divmain/jdm-asm 0.2.0

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.
Files changed (397) hide show
  1. package/.github/workflows/ci.yml +53 -0
  2. package/.oxfmtrc.json +16 -0
  3. package/.oxlintrc.json +183 -0
  4. package/AGENTS.md +81 -0
  5. package/README.md +769 -0
  6. package/asconfig.json +23 -0
  7. package/benchmarks/fixtures.ts +111 -0
  8. package/benchmarks/input-fixtures.ts +80 -0
  9. package/benchmarks/run.ts +913 -0
  10. package/benchmarks/worker-pool.ts +223 -0
  11. package/benchmarks/worker.ts +374 -0
  12. package/dist/index.d.ts +996 -0
  13. package/dist/index.js +12239 -0
  14. package/dist/index.js.map +1 -0
  15. package/package.json +49 -0
  16. package/scripts/run-all-tests.ts +220 -0
  17. package/src/compiler/EXPRESSION_SUBSETS.md +228 -0
  18. package/src/compiler/asc-compiler.ts +315 -0
  19. package/src/compiler/ast-types.ts +215 -0
  20. package/src/compiler/build.ts +56 -0
  21. package/src/compiler/cache.ts +414 -0
  22. package/src/compiler/code-generators.ts +211 -0
  23. package/src/compiler/codegen/index.ts +15 -0
  24. package/src/compiler/codegen/js-marshal.ts +999 -0
  25. package/src/compiler/codegen/js-validation.ts +243 -0
  26. package/src/compiler/codegen.ts +19 -0
  27. package/src/compiler/compile-time-validation.ts +507 -0
  28. package/src/compiler/cst-visitor.ts +434 -0
  29. package/src/compiler/errors.ts +227 -0
  30. package/src/compiler/expression-parser.ts +536 -0
  31. package/src/compiler/graph.ts +197 -0
  32. package/src/compiler/index.ts +199 -0
  33. package/src/compiler/input-validation.ts +33 -0
  34. package/src/compiler/marshal-gen.ts +21 -0
  35. package/src/compiler/nodes/context-resolvers.ts +197 -0
  36. package/src/compiler/nodes/decision-table.ts +507 -0
  37. package/src/compiler/nodes/decision.ts +292 -0
  38. package/src/compiler/nodes/expression-compiler.ts +526 -0
  39. package/src/compiler/nodes/expression.ts +425 -0
  40. package/src/compiler/nodes/function.ts +316 -0
  41. package/src/compiler/nodes/input.ts +60 -0
  42. package/src/compiler/nodes/switch.ts +547 -0
  43. package/src/compiler/optimizer.ts +948 -0
  44. package/src/compiler/orchestrator.ts +352 -0
  45. package/src/compiler/parser.ts +115 -0
  46. package/src/compiler/result-selection.ts +161 -0
  47. package/src/compiler/runtime/index.ts +26 -0
  48. package/src/compiler/runtime-codegen.ts +211 -0
  49. package/src/compiler/runtime-validation-codegen.ts +294 -0
  50. package/src/compiler/runtime.ts +452 -0
  51. package/src/compiler/schema.ts +245 -0
  52. package/src/compiler/switch-branch-detection.ts +92 -0
  53. package/src/compiler/types.ts +136 -0
  54. package/src/compiler/unary-ast-transforms.ts +148 -0
  55. package/src/compiler/unary-parser.ts +301 -0
  56. package/src/compiler/unary-transform.ts +161 -0
  57. package/src/compiler/utils.ts +27 -0
  58. package/src/compiler/virtual-fs.ts +90 -0
  59. package/src/compiler/wasm-instantiate.ts +127 -0
  60. package/src/index.ts +1 -0
  61. package/src/runtime/arrays.ts +579 -0
  62. package/src/runtime/context.ts +189 -0
  63. package/src/runtime/expressions.ts +1811 -0
  64. package/src/runtime/index.ts +8 -0
  65. package/src/runtime/memory.ts +607 -0
  66. package/src/runtime/strings.ts +260 -0
  67. package/src/runtime/tables.ts +96 -0
  68. package/src/runtime/tsconfig.json +4 -0
  69. package/src/runtime/values.ts +209 -0
  70. package/test-data/README.md +83 -0
  71. package/test-data/decision-tables/basic/8k.json +87992 -0
  72. package/test-data/decision-tables/basic/affiliate-commission-calculator.json +228 -0
  73. package/test-data/decision-tables/basic/airline-loyalty-points-calculations.json +285 -0
  74. package/test-data/decision-tables/basic/airline-upgrade-eligibility.json +466 -0
  75. package/test-data/decision-tables/basic/auto-insurance-premium-calculator.json +412 -0
  76. package/test-data/decision-tables/basic/booking-personalization-system.json +553 -0
  77. package/test-data/decision-tables/basic/care-team-assignment-system.json +585 -0
  78. package/test-data/decision-tables/basic/claim-validation-system.json +307 -0
  79. package/test-data/decision-tables/basic/clinical-lab-result-interpreter.json +433 -0
  80. package/test-data/decision-tables/basic/clinical-treatment-protocol.json +474 -0
  81. package/test-data/decision-tables/basic/credit-limit-adjustment.json +479 -0
  82. package/test-data/decision-tables/basic/customer-eligibility-engine.json +551 -0
  83. package/test-data/decision-tables/basic/customer-lifetime-value.json +200 -0
  84. package/test-data/decision-tables/basic/customer-onboarding-kyc-verification.json +611 -0
  85. package/test-data/decision-tables/basic/customer-service-escalation.json +191 -0
  86. package/test-data/decision-tables/basic/decision-table-discounts.json +168 -0
  87. package/test-data/decision-tables/basic/decision-table-shipping.json +398 -0
  88. package/test-data/decision-tables/basic/delivery-route-optimizer.json +271 -0
  89. package/test-data/decision-tables/basic/device-compatibility-checker.json +303 -0
  90. package/test-data/decision-tables/basic/disaster-relief-fund-allocation.json +296 -0
  91. package/test-data/decision-tables/basic/dynamic-fx-rate-pricing-system.json +237 -0
  92. package/test-data/decision-tables/basic/dynamic-marketplace-comission-calculator.json +242 -0
  93. package/test-data/decision-tables/basic/dynamic-shipping-cost-calculator.json +378 -0
  94. package/test-data/decision-tables/basic/dynamic-tarrif-engine.json +289 -0
  95. package/test-data/decision-tables/basic/dynamic-ticket-pricing.json +325 -0
  96. package/test-data/decision-tables/basic/empty-column-with-space.json +100 -0
  97. package/test-data/decision-tables/basic/empty-column-without-space.json +100 -0
  98. package/test-data/decision-tables/basic/environment-compliance-assessment.json +386 -0
  99. package/test-data/decision-tables/basic/expression-table-map.json +313 -0
  100. package/test-data/decision-tables/basic/flash-sale-eligibility.json +366 -0
  101. package/test-data/decision-tables/basic/flight-dispatch-decision-system.json +455 -0
  102. package/test-data/decision-tables/basic/flight-rebooking-fee-calculator.json +406 -0
  103. package/test-data/decision-tables/basic/government-assistance.json +299 -0
  104. package/test-data/decision-tables/basic/grant-funding-distribution.json +307 -0
  105. package/test-data/decision-tables/basic/hazardous-materials-management-system.json +414 -0
  106. package/test-data/decision-tables/basic/immigration-eligibility-evaluator.json +765 -0
  107. package/test-data/decision-tables/basic/import-duties-calculator.json +318 -0
  108. package/test-data/decision-tables/basic/insurance-agent-commission.json +228 -0
  109. package/test-data/decision-tables/basic/insurance-coverage-calculator.json +362 -0
  110. package/test-data/decision-tables/basic/insurance-underwriting-risk.json +321 -0
  111. package/test-data/decision-tables/basic/international-roaming-policy-manager.json +199 -0
  112. package/test-data/decision-tables/basic/legacy-plan-management.json +434 -0
  113. package/test-data/decision-tables/basic/marketplace-listing-verification-system.json +334 -0
  114. package/test-data/decision-tables/basic/medication-dosage-calculator.json +318 -0
  115. package/test-data/decision-tables/basic/merch-bags.json +171 -0
  116. package/test-data/decision-tables/basic/municipal-permit-evaluation-system.json +364 -0
  117. package/test-data/decision-tables/basic/mvno-partner-enablement.json +313 -0
  118. package/test-data/decision-tables/basic/partner-revenue-sharing.json +244 -0
  119. package/test-data/decision-tables/basic/payment-routing-and-fee-calculator.json +475 -0
  120. package/test-data/decision-tables/basic/policy-discount-calculator.json +307 -0
  121. package/test-data/decision-tables/basic/policy-eligibility-analyzer.json +299 -0
  122. package/test-data/decision-tables/basic/product-listing-scoring.json +358 -0
  123. package/test-data/decision-tables/basic/realtime-fraud-detection.json +235 -0
  124. package/test-data/decision-tables/basic/regional-compliance-manager.json +278 -0
  125. package/test-data/decision-tables/basic/returns-and-refund-policy.json +366 -0
  126. package/test-data/decision-tables/basic/returns-processing-system.json +448 -0
  127. package/test-data/decision-tables/basic/school-district-resource-allocation.json +282 -0
  128. package/test-data/decision-tables/basic/seat-map-optimization.json +325 -0
  129. package/test-data/decision-tables/basic/seller-fee-calculator.json +307 -0
  130. package/test-data/decision-tables/basic/service-level-agreement-enforcement.json +575 -0
  131. package/test-data/decision-tables/basic/smart-financial-product-matcher.json +249 -0
  132. package/test-data/decision-tables/basic/supply-chain-risk.json +316 -0
  133. package/test-data/decision-tables/basic/table-loop.json +93 -0
  134. package/test-data/decision-tables/basic/table.json +76 -0
  135. package/test-data/decision-tables/basic/traffic-violation-penalty-calculator.json +436 -0
  136. package/test-data/decision-tables/basic/transaction-compliance-classifier.json +525 -0
  137. package/test-data/decision-tables/basic/vehicle-claims-resolution.json +310 -0
  138. package/test-data/decision-tables/basic/warehouse-storage-location.json +345 -0
  139. package/test-data/decision-tables/hit-policy-collect/collect-multiple-matches.json +127 -0
  140. package/test-data/decision-tables/hit-policy-collect/collect-no-match.json +95 -0
  141. package/test-data/decision-tables/hit-policy-first/first-match.json +103 -0
  142. package/test-data/decision-tables/hit-policy-first/no-match.json +95 -0
  143. package/test-data/decision-tables/hit-policy-output-order/output-order-respected.json +94 -0
  144. package/test-data/decision-tables/hit-policy-output-order/string-output-order.json +94 -0
  145. package/test-data/decision-tables/hit-policy-priority/priority-respected.json +86 -0
  146. package/test-data/decision-tables/hit-policy-rule-order/rule-order-respected.json +94 -0
  147. package/test-data/decision-tables/hit-policy-unique/all-match-error.json +89 -0
  148. package/test-data/decision-tables/hit-policy-unique/multiple-match-error.json +89 -0
  149. package/test-data/decision-tables/hit-policy-unique/no-match.json +88 -0
  150. package/test-data/decision-tables/hit-policy-unique/unique-match.json +99 -0
  151. package/test-data/expressions/arithmetic/error-cyclic.json +114 -0
  152. package/test-data/expressions/arithmetic/error-missing-input.json +54 -0
  153. package/test-data/expressions/arithmetic/error-missing-output.json +54 -0
  154. package/test-data/expressions/arithmetic/expression-default.json +93 -0
  155. package/test-data/expressions/arithmetic/expression-fields.json +94 -0
  156. package/test-data/expressions/arithmetic/expression-loop.json +94 -0
  157. package/test-data/expressions/arithmetic/expression-passthrough.json +108 -0
  158. package/test-data/expressions/arithmetic/expression.json +69 -0
  159. package/test-data/expressions/arithmetic/nested-request.json +125 -0
  160. package/test-data/expressions/arithmetic/number-function.json +58 -0
  161. package/test-data/expressions/arithmetic/test-number-functions.json +68 -0
  162. package/test-data/expressions/functions/all.json +149 -0
  163. package/test-data/expressions/functions/avg.json +89 -0
  164. package/test-data/expressions/functions/filter.json +109 -0
  165. package/test-data/expressions/functions/flat.json +167 -0
  166. package/test-data/expressions/functions/map-strings.json +65 -0
  167. package/test-data/expressions/functions/map.json +73 -0
  168. package/test-data/expressions/functions/reduce.json +49 -0
  169. package/test-data/expressions/functions/some.json +175 -0
  170. package/test-data/expressions/functions/sort-strings.json +97 -0
  171. package/test-data/expressions/functions/sort.json +97 -0
  172. package/test-data/expressions/logical/logical-and.json +116 -0
  173. package/test-data/expressions/logical/logical-complex.json +260 -0
  174. package/test-data/expressions/logical/logical-not.json +111 -0
  175. package/test-data/expressions/logical/logical-or.json +123 -0
  176. package/test-data/expressions/string/string-comparison.json +128 -0
  177. package/test-data/expressions/string/string-concat.json +106 -0
  178. package/test-data/expressions/string/string-contains.json +125 -0
  179. package/test-data/expressions/string/string-endsWith.json +113 -0
  180. package/test-data/expressions/string/string-indexOf.json +131 -0
  181. package/test-data/expressions/string/string-join.json +92 -0
  182. package/test-data/expressions/string/string-lower.json +94 -0
  183. package/test-data/expressions/string/string-replace.json +130 -0
  184. package/test-data/expressions/string/string-split.json +101 -0
  185. package/test-data/expressions/string/string-startsWith.json +113 -0
  186. package/test-data/expressions/string/string-substring.json +138 -0
  187. package/test-data/expressions/string/string-trim.json +100 -0
  188. package/test-data/expressions/string/string-upper.json +94 -0
  189. package/test-data/other/custom.json +51 -0
  190. package/test-data/other/customer-input-schema.json +34 -0
  191. package/test-data/other/customer-output-schema.json +34 -0
  192. package/test-data/other/passthrough.json +31 -0
  193. package/test-data/sub-decisions/basic/$nodes-child.json +31 -0
  194. package/test-data/sub-decisions/basic/$nodes-parent.json +49 -0
  195. package/test-data/sub-decisions/basic/recursive-table1.json +49 -0
  196. package/test-data/sub-decisions/basic/recursive-table2.json +49 -0
  197. package/test-data/sub-decisions/complex-multi/approval-decision.json +31 -0
  198. package/test-data/sub-decisions/complex-multi/complex-dag.json +175 -0
  199. package/test-data/sub-decisions/complex-multi/credit-check.json +31 -0
  200. package/test-data/sub-decisions/complex-multi/customer-segmentation.json +31 -0
  201. package/test-data/sub-decisions/complex-multi/discount-eligibility.json +31 -0
  202. package/test-data/sub-decisions/complex-multi/eligibility-check.json +31 -0
  203. package/test-data/sub-decisions/complex-multi/final-offer.json +31 -0
  204. package/test-data/sub-decisions/complex-multi/income-verification.json +31 -0
  205. package/test-data/sub-decisions/complex-multi/linear-chain.json +121 -0
  206. package/test-data/sub-decisions/complex-multi/pricing-calculation.json +31 -0
  207. package/test-data/sub-decisions/complex-multi/product-eligibility.json +31 -0
  208. package/test-data/sub-decisions/complex-multi/risk-assessment.json +31 -0
  209. package/test-data/sub-decisions/complex-multi/shared-validation.json +31 -0
  210. package/test-data/sub-decisions/complex-multi/validation.json +31 -0
  211. package/test-data/sub-decisions/diamond/decision-a.json +31 -0
  212. package/test-data/sub-decisions/diamond/decision-b.json +31 -0
  213. package/test-data/sub-decisions/diamond/decision-c.json +31 -0
  214. package/test-data/sub-decisions/diamond/decision-shared.json +31 -0
  215. package/test-data/sub-decisions/diamond/diamond-pattern.json +109 -0
  216. package/test-data/sub-decisions/error-propagation/parent-calls-error.json +44 -0
  217. package/test-data/sub-decisions/error-propagation/sub-decision-with-error.json +60 -0
  218. package/test-data/switch-nodes/basic/account-dormancy-management.json +245 -0
  219. package/test-data/switch-nodes/basic/application-risk-assessment.json +474 -0
  220. package/test-data/switch-nodes/basic/cellular-data-rollover-system.json +281 -0
  221. package/test-data/switch-nodes/basic/clinical-pathway-selection.json +454 -0
  222. package/test-data/switch-nodes/basic/insurance-prior-authorization.json +467 -0
  223. package/test-data/switch-nodes/basic/last-mile-delivery-assignment.json +373 -0
  224. package/test-data/switch-nodes/basic/loan-approval.json +469 -0
  225. package/test-data/switch-nodes/basic/multi-switch.json +498 -0
  226. package/test-data/switch-nodes/basic/online-checkin-eligibility.json +285 -0
  227. package/test-data/switch-nodes/basic/order-consolidation-system.json +493 -0
  228. package/test-data/switch-nodes/basic/seller-approval-workflow.json +383 -0
  229. package/test-data/switch-nodes/basic/set-fee.json +243 -0
  230. package/test-data/switch-nodes/basic/shipping-carrier-selector.json +379 -0
  231. package/test-data/switch-nodes/basic/switch-node.json +167 -0
  232. package/test-data/switch-nodes/basic/switch-performance-2.json +1307 -0
  233. package/test-data/switch-nodes/basic/switch-performance.json +691 -0
  234. package/test-data/switch-nodes/basic/tax-exemption.json +295 -0
  235. package/test-data/switch-nodes/basic/warehouse-cross-docking.json +313 -0
  236. package/test-data/switch-nodes/default-cases/switch-with-default.json +134 -0
  237. package/test-data/zen-reference/$nodes-child.json +69 -0
  238. package/test-data/zen-reference/$nodes-parent.json +34 -0
  239. package/test-data/zen-reference/8k.json +87992 -0
  240. package/test-data/zen-reference/credit-analysis.json +324 -0
  241. package/test-data/zen-reference/custom.json +51 -0
  242. package/test-data/zen-reference/customer-input-schema.json +34 -0
  243. package/test-data/zen-reference/customer-output-schema.json +34 -0
  244. package/test-data/zen-reference/error-cyclic.json +114 -0
  245. package/test-data/zen-reference/error-missing-input.json +54 -0
  246. package/test-data/zen-reference/error-missing-output.json +54 -0
  247. package/test-data/zen-reference/expression.json +69 -0
  248. package/test-data/zen-reference/function-v2.json +48 -0
  249. package/test-data/zen-reference/function.json +46 -0
  250. package/test-data/zen-reference/graphs/account-dormancy-management.json +245 -0
  251. package/test-data/zen-reference/graphs/affiliate-commission-calculator.json +228 -0
  252. package/test-data/zen-reference/graphs/airline-loyalty-points-calculations.json +285 -0
  253. package/test-data/zen-reference/graphs/airline-upgrade-eligibility.json +466 -0
  254. package/test-data/zen-reference/graphs/aml.json +537 -0
  255. package/test-data/zen-reference/graphs/application-risk-assessment.json +474 -0
  256. package/test-data/zen-reference/graphs/auto-insurance-premium-calculator.json +412 -0
  257. package/test-data/zen-reference/graphs/booking-personalization-system.json +553 -0
  258. package/test-data/zen-reference/graphs/care-team-assignment-system.json +585 -0
  259. package/test-data/zen-reference/graphs/cellular-data-rollover-system.json +281 -0
  260. package/test-data/zen-reference/graphs/claim-validation-system.json +307 -0
  261. package/test-data/zen-reference/graphs/clinical-lab-result-interpreter.json +433 -0
  262. package/test-data/zen-reference/graphs/clinical-pathway-selection.json +454 -0
  263. package/test-data/zen-reference/graphs/clinical-treatment-protocol.json +474 -0
  264. package/test-data/zen-reference/graphs/company-analysis.json +390 -0
  265. package/test-data/zen-reference/graphs/credit-limit-adjustment.json +479 -0
  266. package/test-data/zen-reference/graphs/customer-eligibility-engine.json +551 -0
  267. package/test-data/zen-reference/graphs/customer-lifetime-value.json +200 -0
  268. package/test-data/zen-reference/graphs/customer-onboarding-kyc-verification.json +611 -0
  269. package/test-data/zen-reference/graphs/customer-service-escalation.json +191 -0
  270. package/test-data/zen-reference/graphs/decision-table-discounts.json +168 -0
  271. package/test-data/zen-reference/graphs/decision-table-shipping.json +398 -0
  272. package/test-data/zen-reference/graphs/delivery-route-optimizer.json +271 -0
  273. package/test-data/zen-reference/graphs/device-compatibility-checker.json +303 -0
  274. package/test-data/zen-reference/graphs/disaster-relief-fund-allocation.json +296 -0
  275. package/test-data/zen-reference/graphs/dynamic-fx-rate-pricing-system.json +237 -0
  276. package/test-data/zen-reference/graphs/dynamic-marketplace-comission-calculator.json +242 -0
  277. package/test-data/zen-reference/graphs/dynamic-shipping-cost-calculator.json +378 -0
  278. package/test-data/zen-reference/graphs/dynamic-tarrif-engine.json +289 -0
  279. package/test-data/zen-reference/graphs/dynamic-ticket-pricing.json +325 -0
  280. package/test-data/zen-reference/graphs/empty-column-with-space.json +100 -0
  281. package/test-data/zen-reference/graphs/empty-column-without-space.json +100 -0
  282. package/test-data/zen-reference/graphs/environment-compliance-assessment.json +386 -0
  283. package/test-data/zen-reference/graphs/expression-default.json +93 -0
  284. package/test-data/zen-reference/graphs/expression-fields.json +94 -0
  285. package/test-data/zen-reference/graphs/expression-loop.json +94 -0
  286. package/test-data/zen-reference/graphs/expression-passthrough.json +108 -0
  287. package/test-data/zen-reference/graphs/expression-table-map.json +313 -0
  288. package/test-data/zen-reference/graphs/flash-sale-eligibility.json +366 -0
  289. package/test-data/zen-reference/graphs/flight-dispatch-decision-system.json +455 -0
  290. package/test-data/zen-reference/graphs/flight-rebooking-fee-calculator.json +406 -0
  291. package/test-data/zen-reference/graphs/government-assistance.json +299 -0
  292. package/test-data/zen-reference/graphs/grant-funding-distribution.json +307 -0
  293. package/test-data/zen-reference/graphs/hazardous-materials-management-system.json +414 -0
  294. package/test-data/zen-reference/graphs/immigration-eligibility-evaluator.json +765 -0
  295. package/test-data/zen-reference/graphs/import-duties-calculator.json +318 -0
  296. package/test-data/zen-reference/graphs/insurance-agent-commission.json +228 -0
  297. package/test-data/zen-reference/graphs/insurance-breakdown.json +421 -0
  298. package/test-data/zen-reference/graphs/insurance-coverage-calculator.json +362 -0
  299. package/test-data/zen-reference/graphs/insurance-prior-authorization.json +467 -0
  300. package/test-data/zen-reference/graphs/insurance-underwriting-risk.json +321 -0
  301. package/test-data/zen-reference/graphs/international-roaming-policy-manager.json +199 -0
  302. package/test-data/zen-reference/graphs/last-mile-delivery-assignment.json +373 -0
  303. package/test-data/zen-reference/graphs/legacy-plan-management.json +434 -0
  304. package/test-data/zen-reference/graphs/loan-approval.json +469 -0
  305. package/test-data/zen-reference/graphs/marketplace-listing-verification-system.json +334 -0
  306. package/test-data/zen-reference/graphs/medication-dosage-calculator.json +318 -0
  307. package/test-data/zen-reference/graphs/merch-bags.json +171 -0
  308. package/test-data/zen-reference/graphs/multi-switch.json +498 -0
  309. package/test-data/zen-reference/graphs/municipal-permit-evaluation-system.json +364 -0
  310. package/test-data/zen-reference/graphs/mvno-partner-enablement.json +313 -0
  311. package/test-data/zen-reference/graphs/nested-request.json +125 -0
  312. package/test-data/zen-reference/graphs/online-checkin-eligibility.json +285 -0
  313. package/test-data/zen-reference/graphs/order-consolidation-system.json +493 -0
  314. package/test-data/zen-reference/graphs/partner-revenue-sharing.json +244 -0
  315. package/test-data/zen-reference/graphs/payment-routing-and-fee-calculator.json +475 -0
  316. package/test-data/zen-reference/graphs/policy-discount-calculator.json +307 -0
  317. package/test-data/zen-reference/graphs/policy-eligibility-analyzer.json +299 -0
  318. package/test-data/zen-reference/graphs/product-listing-scoring.json +358 -0
  319. package/test-data/zen-reference/graphs/realtime-fraud-detection.json +235 -0
  320. package/test-data/zen-reference/graphs/regional-compliance-manager.json +278 -0
  321. package/test-data/zen-reference/graphs/returns-and-refund-policy.json +366 -0
  322. package/test-data/zen-reference/graphs/returns-processing-system.json +448 -0
  323. package/test-data/zen-reference/graphs/school-district-resource-allocation.json +282 -0
  324. package/test-data/zen-reference/graphs/seat-map-optimization.json +325 -0
  325. package/test-data/zen-reference/graphs/seller-approval-workflow.json +383 -0
  326. package/test-data/zen-reference/graphs/seller-fee-calculator.json +307 -0
  327. package/test-data/zen-reference/graphs/service-level-agreement-enforcement.json +575 -0
  328. package/test-data/zen-reference/graphs/set-fee.json +243 -0
  329. package/test-data/zen-reference/graphs/shipping-carrier-selector.json +379 -0
  330. package/test-data/zen-reference/graphs/smart-financial-product-matcher.json +249 -0
  331. package/test-data/zen-reference/graphs/supply-chain-risk.json +316 -0
  332. package/test-data/zen-reference/graphs/table-loop.json +93 -0
  333. package/test-data/zen-reference/graphs/tax-exemption.json +295 -0
  334. package/test-data/zen-reference/graphs/traffic-violation-penalty-calculator.json +436 -0
  335. package/test-data/zen-reference/graphs/transaction-compliance-classifier.json +525 -0
  336. package/test-data/zen-reference/graphs/vehicle-claims-resolution.json +310 -0
  337. package/test-data/zen-reference/graphs/warehouse-cross-docking.json +313 -0
  338. package/test-data/zen-reference/graphs/warehouse-storage-location.json +345 -0
  339. package/test-data/zen-reference/http-function.json +34 -0
  340. package/test-data/zen-reference/infinite-function.json +46 -0
  341. package/test-data/zen-reference/js/imports.js +25 -0
  342. package/test-data/zen-reference/passthrough.json +31 -0
  343. package/test-data/zen-reference/recursive-table1.json +49 -0
  344. package/test-data/zen-reference/recursive-table2.json +49 -0
  345. package/test-data/zen-reference/sleep-function.json +34 -0
  346. package/test-data/zen-reference/switch-node.json +167 -0
  347. package/test-data/zen-reference/switch-performance-2.json +1307 -0
  348. package/test-data/zen-reference/switch-performance.json +691 -0
  349. package/test-data/zen-reference/table.json +76 -0
  350. package/tests/helpers/index.ts +73 -0
  351. package/tests/helpers/mock-context.ts +231 -0
  352. package/tests/helpers/round-trip.ts +398 -0
  353. package/tests/helpers/test-harness-comparison.ts +325 -0
  354. package/tests/helpers/test-harness-wasm.ts +710 -0
  355. package/tests/helpers/test-harness.ts +28 -0
  356. package/tests/helpers/wasm-test.ts +659 -0
  357. package/tests/integration/compilation-errors.test.ts +864 -0
  358. package/tests/integration/decision-tables.test.ts +531 -0
  359. package/tests/integration/edge-cases.test.ts +787 -0
  360. package/tests/integration/expressions.test.ts +513 -0
  361. package/tests/integration/function-node-integration.test.ts +182 -0
  362. package/tests/integration/sub-decisions.test.ts +108 -0
  363. package/tests/integration/switch-nodes.test.ts +399 -0
  364. package/tests/integration/unary-or-matching.test.ts +53 -0
  365. package/tests/integration/wasm-data-types.test.ts +398 -0
  366. package/tests/integration/wasm-errors.test.ts +199 -0
  367. package/tests/integration/wasm-execution.test.ts +348 -0
  368. package/tests/integration/wasm-memory.test.ts +228 -0
  369. package/tests/scripts/analyze-coverage.ts +166 -0
  370. package/tests/scripts/categorize-tests.ts +396 -0
  371. package/tests/scripts/coverage-analysis.ts +836 -0
  372. package/tests/unit/compiler/cache.test.ts +238 -0
  373. package/tests/unit/compiler/errors.test.ts +316 -0
  374. package/tests/unit/compiler/graph-scalability.test.ts +510 -0
  375. package/tests/unit/compiler/graph.test.ts +878 -0
  376. package/tests/unit/compiler/input-validation.test.ts +447 -0
  377. package/tests/unit/compiler/logical-and-parser.test.ts +143 -0
  378. package/tests/unit/compiler/logical-not-parser.test.ts +107 -0
  379. package/tests/unit/compiler/logical-or-parser.test.ts +236 -0
  380. package/tests/unit/compiler/marshal-gen/marshal-gen.test.ts +97 -0
  381. package/tests/unit/compiler/nodes/decision-table.test.ts +103 -0
  382. package/tests/unit/compiler/nodes/decision.test.ts +182 -0
  383. package/tests/unit/compiler/nodes/function-compile.test.ts +204 -0
  384. package/tests/unit/compiler/nodes/function.test.ts +176 -0
  385. package/tests/unit/compiler/nodes/input.test.ts +30 -0
  386. package/tests/unit/compiler/nodes/switch.test.ts +127 -0
  387. package/tests/unit/compiler/optimizer-cache.test.ts +327 -0
  388. package/tests/unit/compiler/optimizer-implementation.test.ts +625 -0
  389. package/tests/unit/compiler/parser.test.ts +508 -0
  390. package/tests/unit/compiler/runtime-error-cleanup.test.ts +426 -0
  391. package/tests/unit/compiler/runtime-validation.test.ts +303 -0
  392. package/tests/unit/compiler/runtime.test.ts +221 -0
  393. package/tests/unit/compiler/schema/schema.test.ts +248 -0
  394. package/tests/unit/compiler/unary-ast-transforms.test.ts +245 -0
  395. package/tsconfig.json +27 -0
  396. package/tsup.config.ts +11 -0
  397. package/vitest.config.ts +12 -0
@@ -0,0 +1,611 @@
1
+ {
2
+ "tests": [
3
+ {
4
+ "input": {
5
+ "customer": {
6
+ "id": "CUST12345",
7
+ "firstName": "John",
8
+ "lastName": "Smith",
9
+ "dateOfBirth": "1985-06-15",
10
+ "email": "john.smith@example.com",
11
+ "phone": "+1-555-123-4567",
12
+ "address": {
13
+ "line1": "123 Main Street",
14
+ "line2": "Apt 4B",
15
+ "city": "New York",
16
+ "state": "NY",
17
+ "postalCode": "10001",
18
+ "country": "US"
19
+ },
20
+ "isPoliticallyExposed": false,
21
+ "isHighRiskBusiness": false,
22
+ "occupation": "Software Engineer",
23
+ "employerName": "Tech Company Inc."
24
+ },
25
+ "financialInfo": {
26
+ "estimatedTransactionValue": 25000,
27
+ "accountPurpose": "Savings and Investment",
28
+ "sourceOfFunds": "Employment Income"
29
+ },
30
+ "verification": {
31
+ "documentType": "passport",
32
+ "documentStatus": "valid",
33
+ "documentNumber": "P123456789",
34
+ "documentExpiry": "2028-05-20",
35
+ "documentIssuingCountry": "US"
36
+ },
37
+ "watchlist": {
38
+ "sanctionsMatch": false,
39
+ "pepListMatch": false,
40
+ "adverseMediaMatch": false
41
+ }
42
+ },
43
+ "output": {
44
+ "nextSteps": "Onboarding approved",
45
+ "requiredActionsCount": 0,
46
+ "requirements": {
47
+ "addressVerification": false,
48
+ "enhancedMonitoring": false,
49
+ "faceVerification": false,
50
+ "sourceOfFunds": false
51
+ },
52
+ "verificationStatus": "approved"
53
+ }
54
+ }
55
+ ],
56
+ "nodes": [
57
+ {
58
+ "type": "inputNode",
59
+ "content": {
60
+ "schema": ""
61
+ },
62
+ "id": "input",
63
+ "name": "request",
64
+ "position": {
65
+ "x": 110,
66
+ "y": 114
67
+ }
68
+ },
69
+ {
70
+ "type": "decisionTableNode",
71
+ "content": {
72
+ "hitPolicy": "first",
73
+ "rules": [
74
+ {
75
+ "_id": "risk1",
76
+ "country": "'US', 'CA', 'GB', 'AU', 'NZ', 'JP', 'DE', 'FR'",
77
+ "pep": "false",
78
+ "highRiskBusiness": "false",
79
+ "transactionValue": "< 10000",
80
+ "o1": "10",
81
+ "o2": "'low'"
82
+ },
83
+ {
84
+ "_id": "risk2",
85
+ "country": "'US', 'CA', 'GB', 'AU', 'NZ', 'JP', 'DE', 'FR'",
86
+ "pep": "false",
87
+ "highRiskBusiness": "false",
88
+ "transactionValue": ">= 10000, < 100000",
89
+ "o1": "30",
90
+ "o2": "'medium'"
91
+ },
92
+ {
93
+ "_id": "risk3",
94
+ "country": "'US', 'CA', 'GB', 'AU', 'NZ', 'JP', 'DE', 'FR'",
95
+ "pep": "true",
96
+ "highRiskBusiness": "",
97
+ "transactionValue": "",
98
+ "o1": "75",
99
+ "o2": "'high'"
100
+ },
101
+ {
102
+ "_id": "risk4",
103
+ "country": "'US', 'CA', 'GB', 'AU', 'NZ', 'JP', 'DE', 'FR'",
104
+ "pep": "",
105
+ "highRiskBusiness": "true",
106
+ "transactionValue": "",
107
+ "o1": "70",
108
+ "o2": "'high'"
109
+ },
110
+ {
111
+ "_id": "risk5",
112
+ "country": "'RU', 'IR', 'KP', 'CU', 'SY', 'VE'",
113
+ "pep": "",
114
+ "highRiskBusiness": "",
115
+ "transactionValue": "",
116
+ "o1": "100",
117
+ "o2": "'very-high'"
118
+ },
119
+ {
120
+ "_id": "risk6",
121
+ "country": "",
122
+ "pep": "true",
123
+ "highRiskBusiness": "true",
124
+ "transactionValue": "",
125
+ "o1": "90",
126
+ "o2": "'very-high'"
127
+ },
128
+ {
129
+ "_id": "risk7",
130
+ "country": "",
131
+ "pep": "",
132
+ "highRiskBusiness": "",
133
+ "transactionValue": ">= 100000",
134
+ "o1": "60",
135
+ "o2": "'high'"
136
+ },
137
+ {
138
+ "_id": "risk8",
139
+ "country": "",
140
+ "pep": "",
141
+ "highRiskBusiness": "",
142
+ "transactionValue": "",
143
+ "o1": "40",
144
+ "o2": "'medium'"
145
+ }
146
+ ],
147
+ "inputs": [
148
+ {
149
+ "id": "country",
150
+ "name": "Country",
151
+ "field": "customer.address.country"
152
+ },
153
+ {
154
+ "id": "pep",
155
+ "name": "PEP Status",
156
+ "field": "customer.isPoliticallyExposed"
157
+ },
158
+ {
159
+ "id": "highRiskBusiness",
160
+ "name": "High Risk Business",
161
+ "field": "customer.isHighRiskBusiness"
162
+ },
163
+ {
164
+ "id": "transactionValue",
165
+ "name": "Transaction Value",
166
+ "field": "financialInfo.estimatedTransactionValue"
167
+ }
168
+ ],
169
+ "outputs": [
170
+ {
171
+ "id": "o1",
172
+ "name": "Risk Score",
173
+ "field": "assessment.riskScore"
174
+ },
175
+ {
176
+ "id": "o2",
177
+ "name": "Risk Level",
178
+ "field": "assessment.riskLevel"
179
+ }
180
+ ],
181
+ "passThrough": true,
182
+ "inputField": null,
183
+ "outputPath": null,
184
+ "executionMode": "single"
185
+ },
186
+ "id": "customerRiskScoring",
187
+ "name": "customerRiskScoring",
188
+ "position": {
189
+ "x": 430,
190
+ "y": 114
191
+ }
192
+ },
193
+ {
194
+ "type": "decisionTableNode",
195
+ "content": {
196
+ "hitPolicy": "first",
197
+ "rules": [
198
+ {
199
+ "_id": "doc1",
200
+ "i1": "'passport'",
201
+ "i2": "'valid'",
202
+ "i3": "'low', 'medium'",
203
+ "o1": "true",
204
+ "o2": "'standard'",
205
+ "o3": "false"
206
+ },
207
+ {
208
+ "_id": "doc2",
209
+ "i1": "'passport'",
210
+ "i2": "'valid'",
211
+ "i3": "'high', 'very-high'",
212
+ "o1": "true",
213
+ "o2": "'enhanced'",
214
+ "o3": "true"
215
+ },
216
+ {
217
+ "_id": "doc3",
218
+ "i1": "'driving_license'",
219
+ "i2": "'valid'",
220
+ "i3": "'low'",
221
+ "o1": "true",
222
+ "o2": "'standard'",
223
+ "o3": "false"
224
+ },
225
+ {
226
+ "_id": "doc4",
227
+ "i1": "'driving_license'",
228
+ "i2": "'valid'",
229
+ "i3": "'medium', 'high', 'very-high'",
230
+ "o1": "false",
231
+ "o2": "'insufficient'",
232
+ "o3": "true"
233
+ },
234
+ {
235
+ "_id": "doc5",
236
+ "i1": "'national_id'",
237
+ "i2": "'valid'",
238
+ "i3": "'low', 'medium'",
239
+ "o1": "true",
240
+ "o2": "'standard'",
241
+ "o3": "false"
242
+ },
243
+ {
244
+ "_id": "doc6",
245
+ "i1": "'national_id'",
246
+ "i2": "'valid'",
247
+ "i3": "'high', 'very-high'",
248
+ "o1": "false",
249
+ "o2": "'insufficient'",
250
+ "o3": "true"
251
+ },
252
+ {
253
+ "_id": "doc7",
254
+ "i1": "",
255
+ "i2": "'expired', 'damaged', 'suspicious'",
256
+ "i3": "",
257
+ "o1": "false",
258
+ "o2": "'rejected'",
259
+ "o3": "true"
260
+ },
261
+ {
262
+ "_id": "doc8",
263
+ "i1": "",
264
+ "i2": "",
265
+ "i3": "",
266
+ "o1": "false",
267
+ "o2": "'missing'",
268
+ "o3": "true"
269
+ }
270
+ ],
271
+ "inputs": [
272
+ {
273
+ "id": "i1",
274
+ "name": "Document Type",
275
+ "field": "verification.documentType"
276
+ },
277
+ {
278
+ "id": "i2",
279
+ "name": "Document Status",
280
+ "field": "verification.documentStatus"
281
+ },
282
+ {
283
+ "id": "i3",
284
+ "name": "Risk Level",
285
+ "field": "assessment.riskLevel"
286
+ }
287
+ ],
288
+ "outputs": [
289
+ {
290
+ "id": "o1",
291
+ "name": "Document Verified",
292
+ "field": "verification.isDocumentVerified"
293
+ },
294
+ {
295
+ "id": "o2",
296
+ "name": "Verification Status",
297
+ "field": "verification.documentVerificationStatus"
298
+ },
299
+ {
300
+ "id": "o3",
301
+ "name": "Additional Verification Required",
302
+ "field": "verification.requiresAdditionalVerification"
303
+ }
304
+ ],
305
+ "passThrough": true,
306
+ "inputField": null,
307
+ "outputPath": null,
308
+ "executionMode": "single"
309
+ },
310
+ "id": "documentVerification",
311
+ "name": "documentVerification",
312
+ "position": {
313
+ "x": 750,
314
+ "y": 114
315
+ }
316
+ },
317
+ {
318
+ "type": "decisionTableNode",
319
+ "content": {
320
+ "hitPolicy": "first",
321
+ "rules": [
322
+ {
323
+ "_id": "watch1",
324
+ "i1": "true",
325
+ "i2": "",
326
+ "i3": "",
327
+ "o1": "false",
328
+ "o2": "'reject'",
329
+ "o3": "'Customer appears on sanctions list'"
330
+ },
331
+ {
332
+ "_id": "watch2",
333
+ "i1": "false",
334
+ "i2": "true",
335
+ "i3": "",
336
+ "o1": "true",
337
+ "o2": "'review'",
338
+ "o3": "'Customer appears on PEP list - requires manual review'"
339
+ },
340
+ {
341
+ "_id": "watch3",
342
+ "i1": "false",
343
+ "i2": "false",
344
+ "i3": "true",
345
+ "o1": "true",
346
+ "o2": "'review'",
347
+ "o3": "'Customer has adverse media - requires manual review'"
348
+ },
349
+ {
350
+ "_id": "watch4",
351
+ "i1": "false",
352
+ "i2": "false",
353
+ "i3": "false",
354
+ "o1": "true",
355
+ "o2": "'pass'",
356
+ "o3": "'No watchlist hits found'"
357
+ }
358
+ ],
359
+ "inputs": [
360
+ {
361
+ "id": "i1",
362
+ "name": "Sanctions Match",
363
+ "field": "watchlist.sanctionsMatch"
364
+ },
365
+ {
366
+ "id": "i2",
367
+ "name": "PEP Match",
368
+ "field": "watchlist.pepListMatch"
369
+ },
370
+ {
371
+ "id": "i3",
372
+ "name": "Adverse Media",
373
+ "field": "watchlist.adverseMediaMatch"
374
+ }
375
+ ],
376
+ "outputs": [
377
+ {
378
+ "id": "o1",
379
+ "name": "Watchlist Passed",
380
+ "field": "watchlist.passed"
381
+ },
382
+ {
383
+ "id": "o2",
384
+ "name": "Watchlist Status",
385
+ "field": "watchlist.status"
386
+ },
387
+ {
388
+ "id": "o3",
389
+ "name": "Watchlist Message",
390
+ "field": "watchlist.message"
391
+ }
392
+ ],
393
+ "passThrough": true,
394
+ "inputField": null,
395
+ "outputPath": null,
396
+ "executionMode": "single",
397
+ "passThorough": false
398
+ },
399
+ "id": "watchlistCheck",
400
+ "name": "watchlistCheck",
401
+ "position": {
402
+ "x": 1070,
403
+ "y": 114
404
+ }
405
+ },
406
+ {
407
+ "type": "expressionNode",
408
+ "content": {
409
+ "expressions": [
410
+ {
411
+ "id": "exp1",
412
+ "key": "requiresEDD",
413
+ "value": "assessment.riskLevel == 'high' or assessment.riskLevel == 'very-high' or watchlist.status == 'review'"
414
+ },
415
+ {
416
+ "id": "exp2",
417
+ "key": "isSanctioned",
418
+ "value": "watchlist.status == 'reject'"
419
+ },
420
+ {
421
+ "id": "exp3",
422
+ "key": "dueDiligenceLevel",
423
+ "value": "$.isSanctioned ? 'blocked' : ($.requiresEDD ? 'enhanced' : 'standard')"
424
+ }
425
+ ],
426
+ "passThrough": true,
427
+ "inputField": null,
428
+ "outputPath": null,
429
+ "executionMode": "single"
430
+ },
431
+ "id": "dueDiligenceLevel",
432
+ "name": "dueDiligenceLevel",
433
+ "position": {
434
+ "x": 1390,
435
+ "y": 114
436
+ }
437
+ },
438
+ {
439
+ "type": "decisionTableNode",
440
+ "content": {
441
+ "hitPolicy": "first",
442
+ "rules": [
443
+ {
444
+ "_id": "add1",
445
+ "i1": "'enhanced'",
446
+ "i2": ">= 60",
447
+ "o1": "true",
448
+ "o2": "true",
449
+ "o3": "true",
450
+ "o4": "true"
451
+ },
452
+ {
453
+ "_id": "add2",
454
+ "i1": "'enhanced'",
455
+ "i2": "< 60",
456
+ "o1": "true",
457
+ "o2": "true",
458
+ "o3": "false",
459
+ "o4": "true"
460
+ },
461
+ {
462
+ "_id": "add3",
463
+ "i1": "'standard'",
464
+ "i2": ">= 40",
465
+ "o1": "false",
466
+ "o2": "true",
467
+ "o3": "false",
468
+ "o4": "false"
469
+ },
470
+ {
471
+ "_id": "add4",
472
+ "i1": "'standard'",
473
+ "i2": "< 40",
474
+ "o1": "false",
475
+ "o2": "false",
476
+ "o3": "false",
477
+ "o4": "false"
478
+ },
479
+ {
480
+ "_id": "add5",
481
+ "i1": "'blocked'",
482
+ "i2": "",
483
+ "o1": "false",
484
+ "o2": "false",
485
+ "o3": "false",
486
+ "o4": "false"
487
+ }
488
+ ],
489
+ "inputs": [
490
+ {
491
+ "id": "i1",
492
+ "name": "Due Diligence Level",
493
+ "field": "dueDiligenceLevel"
494
+ },
495
+ {
496
+ "id": "i2",
497
+ "name": "Risk Score",
498
+ "field": "assessment.riskScore"
499
+ }
500
+ ],
501
+ "outputs": [
502
+ {
503
+ "id": "o1",
504
+ "name": "Requires Source of Funds",
505
+ "field": "requirements.sourceOfFunds"
506
+ },
507
+ {
508
+ "id": "o2",
509
+ "name": "Requires Address Verification",
510
+ "field": "requirements.addressVerification"
511
+ },
512
+ {
513
+ "id": "o3",
514
+ "name": "Requires Face Verification",
515
+ "field": "requirements.faceVerification"
516
+ },
517
+ {
518
+ "id": "o4",
519
+ "name": "Requires Enhanced Monitoring",
520
+ "field": "requirements.enhancedMonitoring"
521
+ }
522
+ ],
523
+ "passThrough": true,
524
+ "inputField": null,
525
+ "outputPath": null,
526
+ "executionMode": "single"
527
+ },
528
+ "id": "additionalChecks",
529
+ "name": "additionalChecks",
530
+ "position": {
531
+ "x": 1710,
532
+ "y": 114
533
+ }
534
+ },
535
+ {
536
+ "type": "expressionNode",
537
+ "content": {
538
+ "expressions": [
539
+ {
540
+ "id": "exp1",
541
+ "key": "verificationStatus",
542
+ "value": "dueDiligenceLevel == 'blocked' ? 'rejected' : (verification.isDocumentVerified and watchlist.passed ? 'approved' : 'pending')"
543
+ },
544
+ {
545
+ "id": "exp2",
546
+ "key": "requiredActionsCount",
547
+ "value": "count(values(requirements), # == true)"
548
+ },
549
+ {
550
+ "id": "exp3",
551
+ "key": "nextSteps",
552
+ "value": "dueDiligenceLevel == 'blocked' ? 'Application rejected due to sanctions match' : ($.verificationStatus == 'pending' ? 'Additional verification required' : 'Onboarding approved')"
553
+ },
554
+ {
555
+ "id": "exp4",
556
+ "key": "requirements",
557
+ "value": "requirements"
558
+ }
559
+ ],
560
+ "passThrough": false,
561
+ "inputField": null,
562
+ "outputPath": null,
563
+ "executionMode": "single"
564
+ },
565
+ "id": "verificationResult",
566
+ "name": "verificationResult",
567
+ "position": {
568
+ "x": 2030,
569
+ "y": 114
570
+ }
571
+ }
572
+ ],
573
+ "edges": [
574
+ {
575
+ "id": "edge1",
576
+ "sourceId": "input",
577
+ "targetId": "customerRiskScoring",
578
+ "type": "edge"
579
+ },
580
+ {
581
+ "id": "edge2",
582
+ "sourceId": "customerRiskScoring",
583
+ "targetId": "documentVerification",
584
+ "type": "edge"
585
+ },
586
+ {
587
+ "id": "edge3",
588
+ "sourceId": "documentVerification",
589
+ "targetId": "watchlistCheck",
590
+ "type": "edge"
591
+ },
592
+ {
593
+ "id": "edge4",
594
+ "sourceId": "watchlistCheck",
595
+ "targetId": "dueDiligenceLevel",
596
+ "type": "edge"
597
+ },
598
+ {
599
+ "id": "edge5",
600
+ "sourceId": "dueDiligenceLevel",
601
+ "targetId": "additionalChecks",
602
+ "type": "edge"
603
+ },
604
+ {
605
+ "id": "edge6",
606
+ "sourceId": "additionalChecks",
607
+ "targetId": "verificationResult",
608
+ "type": "edge"
609
+ }
610
+ ]
611
+ }