@typeonce/effect-machine 0.12.0 → 0.14.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 (103) hide show
  1. package/README.md +130 -30
  2. package/dist/Machine.d.ts +722 -262
  3. package/dist/Machine.d.ts.map +1 -1
  4. package/dist/Machine.js +130 -62
  5. package/dist/Machine.js.map +1 -1
  6. package/dist/internal/machine/atom.d.ts +1 -0
  7. package/dist/internal/machine/atom.d.ts.map +1 -1
  8. package/dist/internal/machine/atom.js +23 -0
  9. package/dist/internal/machine/atom.js.map +1 -1
  10. package/dist/internal/machine/commandRuntime.d.ts.map +1 -1
  11. package/dist/internal/machine/commandRuntime.js +2 -5
  12. package/dist/internal/machine/commandRuntime.js.map +1 -1
  13. package/dist/internal/machine/configuration.d.ts +5 -0
  14. package/dist/internal/machine/configuration.d.ts.map +1 -1
  15. package/dist/internal/machine/configuration.js +6 -2
  16. package/dist/internal/machine/configuration.js.map +1 -1
  17. package/dist/internal/machine/executionPlan.d.ts +1 -0
  18. package/dist/internal/machine/executionPlan.d.ts.map +1 -1
  19. package/dist/internal/machine/executionPlan.js +57 -24
  20. package/dist/internal/machine/executionPlan.js.map +1 -1
  21. package/dist/internal/machine/initialization.d.ts +5 -0
  22. package/dist/internal/machine/initialization.d.ts.map +1 -0
  23. package/dist/internal/machine/initialization.js +61 -0
  24. package/dist/internal/machine/initialization.js.map +1 -0
  25. package/dist/internal/machine/inspectionRuntime.d.ts +25 -0
  26. package/dist/internal/machine/inspectionRuntime.d.ts.map +1 -0
  27. package/dist/internal/machine/inspectionRuntime.js +79 -0
  28. package/dist/internal/machine/inspectionRuntime.js.map +1 -0
  29. package/dist/internal/machine/invocation.d.ts +2 -1
  30. package/dist/internal/machine/invocation.d.ts.map +1 -1
  31. package/dist/internal/machine/invocation.js +17 -10
  32. package/dist/internal/machine/invocation.js.map +1 -1
  33. package/dist/internal/machine/machine.d.ts +4 -3
  34. package/dist/internal/machine/machine.d.ts.map +1 -1
  35. package/dist/internal/machine/machine.js +327 -32
  36. package/dist/internal/machine/machine.js.map +1 -1
  37. package/dist/internal/machine/planner.d.ts +28 -0
  38. package/dist/internal/machine/planner.d.ts.map +1 -1
  39. package/dist/internal/machine/planner.js +132 -51
  40. package/dist/internal/machine/planner.js.map +1 -1
  41. package/dist/internal/machine/process.d.ts.map +1 -1
  42. package/dist/internal/machine/process.js +4 -2
  43. package/dist/internal/machine/process.js.map +1 -1
  44. package/dist/internal/machine/runtime.d.ts +27 -3
  45. package/dist/internal/machine/runtime.d.ts.map +1 -1
  46. package/dist/internal/machine/runtime.js +440 -64
  47. package/dist/internal/machine/runtime.js.map +1 -1
  48. package/dist/internal/machine/symbols.d.ts +2 -0
  49. package/dist/internal/machine/symbols.d.ts.map +1 -1
  50. package/dist/internal/machine/symbols.js +2 -0
  51. package/dist/internal/machine/symbols.js.map +1 -1
  52. package/dist/internal/machine/topology.d.ts +25 -0
  53. package/dist/internal/machine/topology.d.ts.map +1 -1
  54. package/dist/internal/machine/topology.js +26 -10
  55. package/dist/internal/machine/topology.js.map +1 -1
  56. package/dist/internal/testing/machine/exploration.d.ts.map +1 -1
  57. package/dist/internal/testing/machine/exploration.js +11 -2
  58. package/dist/internal/testing/machine/exploration.js.map +1 -1
  59. package/dist/internal/testing/machine/finiteModel.d.ts.map +1 -1
  60. package/dist/internal/testing/machine/finiteModel.js +75 -69
  61. package/dist/internal/testing/machine/finiteModel.js.map +1 -1
  62. package/dist/internal/testing/machine/transitionCoverage.d.ts +20 -0
  63. package/dist/internal/testing/machine/transitionCoverage.d.ts.map +1 -0
  64. package/dist/internal/testing/machine/transitionCoverage.js +80 -0
  65. package/dist/internal/testing/machine/transitionCoverage.js.map +1 -0
  66. package/dist/internal/testing/machine/verification.d.ts.map +1 -1
  67. package/dist/internal/testing/machine/verification.js +171 -33
  68. package/dist/internal/testing/machine/verification.js.map +1 -1
  69. package/dist/testing/MachineTest.d.ts +97 -22
  70. package/dist/testing/MachineTest.d.ts.map +1 -1
  71. package/dist/testing/MachineTest.js +58 -16
  72. package/dist/testing/MachineTest.js.map +1 -1
  73. package/dist/unstable/cluster/ClusterMachine.d.ts +4 -1
  74. package/dist/unstable/cluster/ClusterMachine.d.ts.map +1 -1
  75. package/dist/unstable/cluster/ClusterMachine.js +4 -1
  76. package/dist/unstable/cluster/ClusterMachine.js.map +1 -1
  77. package/dist/unstable/reactivity/AtomMachine.d.ts +21 -3
  78. package/dist/unstable/reactivity/AtomMachine.d.ts.map +1 -1
  79. package/dist/unstable/reactivity/AtomMachine.js +21 -3
  80. package/dist/unstable/reactivity/AtomMachine.js.map +1 -1
  81. package/docs/agent-guide.md +240 -65
  82. package/package.json +5 -5
  83. package/src/Machine.ts +1240 -495
  84. package/src/internal/machine/atom.ts +26 -0
  85. package/src/internal/machine/commandRuntime.ts +2 -9
  86. package/src/internal/machine/configuration.ts +28 -3
  87. package/src/internal/machine/executionPlan.ts +72 -24
  88. package/src/internal/machine/initialization.ts +73 -0
  89. package/src/internal/machine/inspectionRuntime.ts +102 -0
  90. package/src/internal/machine/invocation.ts +37 -12
  91. package/src/internal/machine/machine.ts +438 -39
  92. package/src/internal/machine/planner.ts +180 -55
  93. package/src/internal/machine/process.ts +4 -2
  94. package/src/internal/machine/runtime.ts +661 -89
  95. package/src/internal/machine/symbols.ts +3 -0
  96. package/src/internal/machine/topology.ts +65 -12
  97. package/src/internal/testing/machine/exploration.ts +10 -2
  98. package/src/internal/testing/machine/finiteModel.ts +114 -80
  99. package/src/internal/testing/machine/transitionCoverage.ts +116 -0
  100. package/src/internal/testing/machine/verification.ts +216 -58
  101. package/src/testing/MachineTest.ts +118 -28
  102. package/src/unstable/cluster/ClusterMachine.ts +4 -1
  103. package/src/unstable/reactivity/AtomMachine.ts +24 -3
package/dist/internal/machine/topology.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"topology.js","sourceRoot":"","sources":["../../../src/internal/machine/topology.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC,MAAM,CAAC,MAAM,YAAY,GAAG,wBAAwB,CAAA;AAEpD,MAAM,CAAC,MAAM,oBAAoB,GAAkB,MAAM,CAAC,+BAA+B,CAAC,CAAA;AAE1F,MAAM,CAAC,MAAM,gBAAgB,GAAkB,MAAM,CAAC,2BAA2B,CAAC,CAAA;AAElF,MAAM,CAAC,MAAM,uBAAuB,GAAkB,MAAM,CAAC,kCAAkC,CAAC,CAAA;AAEhG,MAAM,CAAC,MAAM,mBAAmB,GAAkB,MAAM,CAAC,8BAA8B,CAAC,CAAA;AAExF,MAAM,CAAC,MAAM,kBAAkB,GAAkB,MAAM,CAAC,6BAA6B,CAAC,CAAA;AAEtF,MAAM,CAAC,MAAM,cAAc,GAAkB,MAAM,CAAC,yBAAyB,CAAC,CAAA;AA4B9E,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7B,CAAC,cAAc,CAAC,EAAE,cAAc;CACjC,CAAa,CAAA;AAEd,MAAM,CAAC,MAAM,YAAY,GAAG,GAAqB,EAAE,CAAC,QAAQ,CAAA;AAE5D,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAU,EAAyB,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,cAAc,CAAC,CAAA;AAE/F,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAE,MAAc,EAAiB,EAAE,CAAC,CAAC;IACjF,CAAC,mBAAmB,CAAC,EAAE,mBAAmB;IAC1C,IAAI;IACJ,MAAM;CACP,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAU,EAAsB,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAA;AAEtG,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAY,EACZ,MAAc,EACd,MAA0C,EAC5B,EAAE,CAAC,CAAC;IAClB,CAAC,kBAAkB,CAAC,EAAE,kBAAkB;IACxC,IAAI;IACJ,MAAM;IACN,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5C,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAU,EAAqB,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAA;AAwDnG,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAY,EACZ,UAA0D,EAC3B,EAAE;IACjC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAClE,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,SAAS;YACjB,WAAW,EAAE,UAAU,CAAC,WAAW;YACnC,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,UAAU,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;YAC3D,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE,SAAS;SAClB,CAAA;IACH,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjE,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,SAAS;YACjB,WAAW,EAAE,UAAU,CAAC,WAAW;YACnC,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,SAAS;YAClB,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE,SAAS;SAClB,CAAA;IACH,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QAChC,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,MAAM,EAAE,SAAS;YACjB,WAAW,EAAE,MAAM,CAAC,kBAAkB,CAAC,UAAU,CAAC;YAClD,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,SAAS;YAClB,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE,SAAS;SAClB,CAAA;IACH,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC;QACpF,CAAC,CAAC,UAAU,CAAC,MAA8B;QAC3C,CAAC,CAAC,SAAS,CAAA;IACb,MAAM,WAAW,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAA;IACrG,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CAAC,yCAAyC,IAAI,4BAA4B,CAAC,CAAA;IAC5F,CAAC;IACD,IAAI,WAAW,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,GAAY,UAAU,CAAC,IAAI,CAAA;QACrC,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,yCAAyC,IAAI,gBAAgB,CAAC,CAAA;QAChF,CAAC;QACD,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACnC,OAAO;gBACL,MAAM;gBACN,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;gBAC1E,WAAW;gBACX,IAAI,EAAE,UAAU;gBAChB,OAAO,EAAE,SAAS;gBAClB,OAAO,EAAE,SAAS;gBAClB,MAAM,EAAE,UAAU,CAAC,MAAM;aAC1B,CAAA;QACH,CAAC;QACD,IAAI,OAAO,UAAU,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CAAC,yCAAyC,IAAI,+BAA+B,CAAC,CAAA;QAC/F,CAAC;QACD,OAAO;YACL,MAAM;YACN,MAAM,EAAE,SAAS;YACjB,WAAW;YACX,IAAI,EAAE,UAAU;YAChB,OAAO,EAAE,SAAS;YAClB,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,MAAM,EAAE,UAAU,CAAC,MAAM;SAC1B,CAAA;IACH,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;IACjF,OAAO,UAAU,CAAC,IAAI,KAAK,OAAO;QAChC,CAAC,CAAC;YACA,MAAM;YACN,MAAM;YACN,WAAW;YACX,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,SAAS;YAClB,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE,SAAS;SAClB;QACD,CAAC,CAAC;YACA,MAAM;YACN,MAAM,EAAE,SAAS;YACjB,WAAW;YACX,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,SAAS;YAClB,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE,SAAS;SAClB,CAAA;AACL,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAA4B,EAAsB,EAAE;IACpF,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6B,CAAA;IACnD,IAAI,KAAK,GAAG,CAAC,CAAA;IAEb,MAAM,OAAO,GAAG,CAAC,IAAuB,EAAE,MAA0B,EAAyB,EAAE;QAC7F,MAAM,KAAK,GAAkB,EAAE,CAAA;QAC/B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACtB,MAAM,IAAI,KAAK,CAAC,2CAA2C,GAAG,GAAG,CAAC,CAAA;YACpE,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,GAAG,EAAE,CAAA;YAC5D,MAAM,UAAU,GAAG,sBAAsB,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAE,CAAC,CAAA;YAC3D,IAAI,IAAuB,CAAA;YAC3B,IAAI,WAA0C,CAAA;YAC9C,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,EAAE,UAAU,CAAC,WAAW,EAAE,KAAK,EAAE,CAAA;YACtE,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;gBACxB,KAAK,QAAQ;oBACX,IAAI,GAAG;wBACL,GAAG,IAAI;wBACP,IAAI,EAAE,QAAQ;wBACd,MAAM,EAAE,UAAU,CAAC,MAAM;wBACzB,MAAM,EAAE,SAAS;wBACjB,OAAO,EAAE,SAAS;wBAClB,MAAM;wBACN,QAAQ,EAAE,EAAE;wBACZ,OAAO,EAAE,SAAS;qBACnB,CAAA;oBACD,MAAK;gBACP,KAAK,UAAU;oBACb,IAAI,GAAG;wBACL,GAAG,IAAI;wBACP,IAAI,EAAE,UAAU;wBAChB,MAAM,EAAE,UAAU,CAAC,MAAM;wBACzB,MAAM,EAAE,SAAS;wBACjB,OAAO,EAAE,SAAS;wBAClB,MAAM;wBACN,QAAQ,EAAE,EAAE;wBACZ,OAAO,EAAE,GAAG,IAAI,IAAI,UAAU,CAAC,OAAO,EAAE;qBACzC,CAAA;oBACD,WAAW,GAAG,UAAU,CAAC,MAAM,CAAA;oBAC/B,MAAK;gBACP,KAAK,UAAU;oBACb,IAAI,GAAG;wBACL,GAAG,IAAI;wBACP,IAAI,EAAE,UAAU;wBAChB,MAAM,EAAE,UAAU,CAAC,MAAM;wBACzB,MAAM,EAAE,UAAU,CAAC,MAAM;wBACzB,OAAO,EAAE,SAAS;wBAClB,MAAM;wBACN,QAAQ,EAAE,EAAE;wBACZ,OAAO,EAAE,SAAS;qBACnB,CAAA;oBACD,WAAW,GAAG,UAAU,CAAC,MAAM,CAAA;oBAC/B,MAAK;gBACP,KAAK,OAAO;oBACV,IAAI,GAAG;wBACL,GAAG,IAAI;wBACP,IAAI,EAAE,OAAO;wBACb,MAAM,EAAE,UAAU,CAAC,MAAM;wBACzB,MAAM,EAAE,UAAU,CAAC,MAAM;wBACzB,OAAO,EAAE,SAAS;wBAClB,MAAM;wBACN,QAAQ,EAAE,EAAE;wBACZ,OAAO,EAAE,SAAS;qBACnB,CAAA;oBACD,MAAK;gBACP,KAAK,SAAS;oBACZ,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;wBACzB,MAAM,IAAI,KAAK,CAAC,0BAA0B,IAAI,iCAAiC,CAAC,CAAA;oBAClF,CAAC;oBACD,IAAI,GAAG;wBACL,GAAG,IAAI;wBACP,IAAI,EAAE,SAAS;wBACf,MAAM,EAAE,SAAS;wBACjB,MAAM,EAAE,SAAS;wBACjB,OAAO,EAAE,UAAU,CAAC,OAAO;wBAC3B,MAAM;wBACN,QAAQ,EAAE,EAAE;wBACZ,OAAO,EAAE,SAAS;qBACnB,CAAA;oBACD,MAAK;gBACP,KAAK,QAAQ;oBACX,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;wBACzB,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,iCAAiC,CAAC,CAAA;oBACjF,CAAC;oBACD,IAAI,GAAG;wBACL,GAAG,IAAI;wBACP,IAAI,EAAE,QAAQ;wBACd,MAAM,EAAE,SAAS;wBACjB,MAAM,EAAE,SAAS;wBACjB,OAAO,EAAE,SAAS;wBAClB,MAAM;wBACN,QAAQ,EAAE,EAAE;wBACZ,OAAO,EAAE,SAAS;qBACnB,CAAA;oBACD,MAAK;YACT,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;YACtB,KAAK,IAAI,CAAC,CAAA;YACV,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAClE,SAAQ;YACV,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAChB,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;gBAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAA;gBAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBAC7B,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;wBACpF,MAAM,IAAI,KAAK,CAAC,yCAAyC,IAAI,0BAA0B,CAAC,CAAA;oBAC1F,CAAC;oBACD,IAAI,GAAG,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,CAAA;gBAC9B,CAAC;qBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACpC,IAAI,GAAG,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,CAAA;gBAC9B,CAAC;qBAAM,CAAC;oBACN,MAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,+BAA+B,CAAC,CAAA;gBACxE,CAAC;gBACD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;YACxB,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC,CAAA;IAED,OAAO;QACL,MAAM;QACN,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC;KACZ,CAAA;AACzB,CAAC,CAAA;AAED,MAAM,wBAAwB,GAAG,EAAE,IAAI,EAAE,SAAS,EAAW,CAAA;AAE7D,MAAM,iBAAiB,GAAG,CAAC,OAAgB,EAA6B,EAAE,CACxE,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,SAAS,IAAI,OAAO,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS;IACtG,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAgC,CAAC,EAAE;IACnF,CAAC,CAAC,wBAAwB,CAAA;AAE9B,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,OAAoB,EACyB,EAAE;IAC/C,MAAM,WAAW,GAAwC,EAAE,CAAA;IAC3D,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACtD,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAuC,CAAA;QAChF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,SAAQ;QACV,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAI,MAAc,CAAC,MAAM,CAAA;YACrC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,WAAW,CAAC,IAAI,CAAC;oBACf,MAAM,EAAE,IAAI,CAAC,IAAI;oBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC3B,OAAO,EAAE,KAAK;oBACd,OAAO,EAAE,iBAAiB,CAAC,MAAM,CAAC;iBACnC,CAAC,CAAA;YACJ,CAAC;YACD,SAAQ;QACV,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YACrD,MAAM,OAAO,GAAG,MAAM,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAA;YAClC,WAAW,CAAC,IAAI,CAAC;gBACf,MAAM,EAAE,IAAI,CAAC,IAAI;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;gBACjC,OAAO,EAAE,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI;gBACpF,OAAO,EAAE,iBAAiB,CAAC,OAAO,CAAC;aACpC,CAAC,CAAA;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC;gBACf,MAAM,EAAE,IAAI,CAAC,IAAI;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gBAC3B,OAAO,EAAE,KAAK;gBACd,OAAO,EAAE,iBAAiB,CAAC,MAAM,CAAC,MAAM,CAAC;aAC1C,CAAC,CAAA;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC;gBACf,MAAM,EAAE,IAAI,CAAC,IAAI;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;gBACzB,OAAO,EAAE,KAAK;gBACd,OAAO,EAAE,iBAAiB,CAAC,MAAM,CAAC,MAAM,CAAC;aAC1C,CAAC,CAAA;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,KAAK,SAAS;YACzC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;gBAC9B,CAAC,CAAC,MAAM,CAAC,MAAM;gBACf,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QACnB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,EAAE,GAAG,OAAO,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YAC1E,KAAK,MAAM,OAAO,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,UAAU,CAAU,EAAE,CAAC;gBAC/D,MAAM,OAAO,GAAG,OAAO,KAAK,MAAM;oBAChC,CAAC,CAAC,MAAM,CAAC,MAAM;oBACf,CAAC,CAAC,OAAO,KAAK,SAAS;wBACvB,CAAC,CAAC,MAAM,CAAC,SAAS;wBAClB,CAAC,CAAC,MAAM,CAAC,UAAU,CAAA;gBACrB,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;oBAC1B,WAAW,CAAC,IAAI,CAAC;wBACf,MAAM,EAAE,IAAI,CAAC,IAAI;wBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE;wBACxC,OAAO,EAAE,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI;wBACpF,OAAO,EAAE,iBAAiB,CAAC,OAAO,CAAC;qBACpC,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAAA;AACpB,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,CAIxB,IAAa,EACb,KAAiD,EACjD,OAUC,EACgC,EAAE,CACnC,CAAC;IACC,CAAC,YAAY,CAAC,EAAE,YAAY;IAC5B,CAAC,oBAAoB,CAAC,EAAE,OAAO,EAAE,QAAQ;IACzC,IAAI;IACJ,KAAK;IACL,MAAM,EAAE,OAAO,EAAE,MAAM;CACxB,CAAoC,CAAA;AAEvC,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAiC,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,YAAY,CAAC,CAAA;AAEnG,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAc,EAAc,EAAE,CAAC,CAAC;IAC7D,CAAC,gBAAgB,CAAC,EAAE,gBAAgB;IACpC,KAAK;CACN,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAU,EAAmB,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAA;AAE7F,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAU,EAAgD,EAAE,CACrF,WAAW,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;AAEnD,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,QAAiD,EACjD,IAAY,EACZ,OAAiC,EACuB,EAAE;IAC1D,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAC9B,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAC1C,OAAO,MAAM,CAAC,IAAI,EAAE,CAAA;IACtB,CAAC;IACD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACjC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAA;QACzC,CAAC;IACH,CAAC;IACD,IAAI,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACjE,OAAO,iBAAiB,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;IACzD,CAAC;IACD,IAAI,WAAW,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QACvG,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACnD,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;gBACtB,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;gBACtD,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC1B,OAAO,MAAM,CAAA;gBACf,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,EAAE,CAAA;AACtB,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,OAAoB,EAAE,IAAY,EAAqB,EAAE;IAC/E,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAChD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,YAAY,CAAC,CAAA;IACnE,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAuB,EAAwB,EAAE;IAClF,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,CAAC,IAAI,uBAAuB,CAAC,CAAA;IACrE,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAA;AACpB,CAAC,CAAA"}
1
+ {"version":3,"file":"topology.js","sourceRoot":"","sources":["../../../src/internal/machine/topology.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC,MAAM,CAAC,MAAM,YAAY,GAAG,wBAAwB,CAAA;AAEpD,MAAM,CAAC,MAAM,oBAAoB,GAAkB,MAAM,CAAC,+BAA+B,CAAC,CAAA;AAE1F,MAAM,CAAC,MAAM,gBAAgB,GAAkB,MAAM,CAAC,2BAA2B,CAAC,CAAA;AAElF,MAAM,CAAC,MAAM,uBAAuB,GAAkB,MAAM,CAAC,kCAAkC,CAAC,CAAA;AAEhG,MAAM,CAAC,MAAM,mBAAmB,GAAkB,MAAM,CAAC,8BAA8B,CAAC,CAAA;AAExF,MAAM,CAAC,MAAM,mBAAmB,GAAkB,MAAM,CAAC,8BAA8B,CAAC,CAAA;AAExF,MAAM,CAAC,MAAM,kBAAkB,GAAkB,MAAM,CAAC,6BAA6B,CAAC,CAAA;AAEtF,MAAM,CAAC,MAAM,cAAc,GAAkB,MAAM,CAAC,yBAAyB,CAAC,CAAA;AAE9E,MAAM,CAAC,MAAM,qBAAqB,GAAkB,MAAM,CAAC,gCAAgC,CAAC,CAAA;AAmD5F,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAyB,EACzB,IAAa,EACb,KAA4B,EACX,EAAE,CACnB,MAAM,CAAC,MAAM,CAAC;IACZ,CAAC,qBAAqB,CAAC,EAAE,qBAAqD;IAC9E,IAAI;IACJ,KAAK;IACL,IAAI;CACL,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAU,EAAwB,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,qBAAqB,CAAC,CAAA;AAE5G,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7B,CAAC,cAAc,CAAC,EAAE,cAAc;CACjC,CAAa,CAAA;AAEd,MAAM,CAAC,MAAM,YAAY,GAAG,GAAqB,EAAE,CAAC,QAAQ,CAAA;AAE5D,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAU,EAAyB,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,cAAc,CAAC,CAAA;AAE/F,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAE,MAAc,EAAiB,EAAE,CAAC,CAAC;IACjF,CAAC,mBAAmB,CAAC,EAAE,mBAAmB;IAC1C,IAAI;IACJ,MAAM;CACP,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAU,EAAsB,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAA;AAEtG,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAY,EACZ,KAAc,EACd,MAA0C,EAC3B,EAAE,CAAC,CAAC;IACnB,CAAC,mBAAmB,CAAC,EAAE,mBAAmB;IAC1C,IAAI,EAAE,eAAe;IACrB,IAAI;IACJ,KAAK;IACL,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5C,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAU,EAAsB,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAA;AAEtG,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAY,EACZ,MAAc,EACd,MAA0C,EAC5B,EAAE,CAAC,CAAC;IAClB,CAAC,kBAAkB,CAAC,EAAE,kBAAkB;IACxC,IAAI;IACJ,MAAM;IACN,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5C,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAU,EAAqB,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAA;AAwDnG,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAY,EACZ,UAA0D,EAC3B,EAAE;IACjC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAClE,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,SAAS;YACjB,WAAW,EAAE,UAAU,CAAC,WAAW;YACnC,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,UAAU,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;YAC3D,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE,SAAS;SAClB,CAAA;IACH,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjE,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,SAAS;YACjB,WAAW,EAAE,UAAU,CAAC,WAAW;YACnC,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,SAAS;YAClB,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE,SAAS;SAClB,CAAA;IACH,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QAChC,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,MAAM,EAAE,SAAS;YACjB,WAAW,EAAE,MAAM,CAAC,kBAAkB,CAAC,UAAU,CAAC;YAClD,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,SAAS;YAClB,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE,SAAS;SAClB,CAAA;IACH,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC;QACpF,CAAC,CAAC,UAAU,CAAC,MAA8B;QAC3C,CAAC,CAAC,SAAS,CAAA;IACb,MAAM,WAAW,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAA;IACrG,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CAAC,yCAAyC,IAAI,4BAA4B,CAAC,CAAA;IAC5F,CAAC;IACD,IAAI,WAAW,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,GAAY,UAAU,CAAC,IAAI,CAAA;QACrC,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,yCAAyC,IAAI,gBAAgB,CAAC,CAAA;QAChF,CAAC;QACD,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACnC,OAAO;gBACL,MAAM;gBACN,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;gBAC1E,WAAW;gBACX,IAAI,EAAE,UAAU;gBAChB,OAAO,EAAE,SAAS;gBAClB,OAAO,EAAE,SAAS;gBAClB,MAAM,EAAE,UAAU,CAAC,MAAM;aAC1B,CAAA;QACH,CAAC;QACD,IAAI,OAAO,UAAU,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CAAC,yCAAyC,IAAI,+BAA+B,CAAC,CAAA;QAC/F,CAAC;QACD,OAAO;YACL,MAAM;YACN,MAAM,EAAE,SAAS;YACjB,WAAW;YACX,IAAI,EAAE,UAAU;YAChB,OAAO,EAAE,SAAS;YAClB,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,MAAM,EAAE,UAAU,CAAC,MAAM;SAC1B,CAAA;IACH,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;IACjF,OAAO,UAAU,CAAC,IAAI,KAAK,OAAO;QAChC,CAAC,CAAC;YACA,MAAM;YACN,MAAM;YACN,WAAW;YACX,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,SAAS;YAClB,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE,SAAS;SAClB;QACD,CAAC,CAAC;YACA,MAAM;YACN,MAAM,EAAE,SAAS;YACjB,WAAW;YACX,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,SAAS;YAClB,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE,SAAS;SAClB,CAAA;AACL,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAA4B,EAAsB,EAAE;IACpF,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6B,CAAA;IACnD,IAAI,KAAK,GAAG,CAAC,CAAA;IAEb,MAAM,OAAO,GAAG,CAAC,IAAuB,EAAE,MAA0B,EAAyB,EAAE;QAC7F,MAAM,KAAK,GAAkB,EAAE,CAAA;QAC/B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACtB,MAAM,IAAI,KAAK,CAAC,2CAA2C,GAAG,GAAG,CAAC,CAAA;YACpE,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,GAAG,EAAE,CAAA;YAC5D,MAAM,UAAU,GAAG,sBAAsB,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAE,CAAC,CAAA;YAC3D,IAAI,IAAuB,CAAA;YAC3B,IAAI,WAA0C,CAAA;YAC9C,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,EAAE,UAAU,CAAC,WAAW,EAAE,KAAK,EAAE,CAAA;YACtE,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;gBACxB,KAAK,QAAQ;oBACX,IAAI,GAAG;wBACL,GAAG,IAAI;wBACP,IAAI,EAAE,QAAQ;wBACd,MAAM,EAAE,UAAU,CAAC,MAAM;wBACzB,MAAM,EAAE,SAAS;wBACjB,OAAO,EAAE,SAAS;wBAClB,MAAM;wBACN,QAAQ,EAAE,EAAE;wBACZ,OAAO,EAAE,SAAS;qBACnB,CAAA;oBACD,MAAK;gBACP,KAAK,UAAU;oBACb,IAAI,GAAG;wBACL,GAAG,IAAI;wBACP,IAAI,EAAE,UAAU;wBAChB,MAAM,EAAE,UAAU,CAAC,MAAM;wBACzB,MAAM,EAAE,SAAS;wBACjB,OAAO,EAAE,SAAS;wBAClB,MAAM;wBACN,QAAQ,EAAE,EAAE;wBACZ,OAAO,EAAE,GAAG,IAAI,IAAI,UAAU,CAAC,OAAO,EAAE;qBACzC,CAAA;oBACD,WAAW,GAAG,UAAU,CAAC,MAAM,CAAA;oBAC/B,MAAK;gBACP,KAAK,UAAU;oBACb,IAAI,GAAG;wBACL,GAAG,IAAI;wBACP,IAAI,EAAE,UAAU;wBAChB,MAAM,EAAE,UAAU,CAAC,MAAM;wBACzB,MAAM,EAAE,UAAU,CAAC,MAAM;wBACzB,OAAO,EAAE,SAAS;wBAClB,MAAM;wBACN,QAAQ,EAAE,EAAE;wBACZ,OAAO,EAAE,SAAS;qBACnB,CAAA;oBACD,WAAW,GAAG,UAAU,CAAC,MAAM,CAAA;oBAC/B,MAAK;gBACP,KAAK,OAAO;oBACV,IAAI,GAAG;wBACL,GAAG,IAAI;wBACP,IAAI,EAAE,OAAO;wBACb,MAAM,EAAE,UAAU,CAAC,MAAM;wBACzB,MAAM,EAAE,UAAU,CAAC,MAAM;wBACzB,OAAO,EAAE,SAAS;wBAClB,MAAM;wBACN,QAAQ,EAAE,EAAE;wBACZ,OAAO,EAAE,SAAS;qBACnB,CAAA;oBACD,MAAK;gBACP,KAAK,SAAS;oBACZ,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;wBACzB,MAAM,IAAI,KAAK,CAAC,0BAA0B,IAAI,iCAAiC,CAAC,CAAA;oBAClF,CAAC;oBACD,IAAI,GAAG;wBACL,GAAG,IAAI;wBACP,IAAI,EAAE,SAAS;wBACf,MAAM,EAAE,SAAS;wBACjB,MAAM,EAAE,SAAS;wBACjB,OAAO,EAAE,UAAU,CAAC,OAAO;wBAC3B,MAAM;wBACN,QAAQ,EAAE,EAAE;wBACZ,OAAO,EAAE,SAAS;qBACnB,CAAA;oBACD,MAAK;gBACP,KAAK,QAAQ;oBACX,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;wBACzB,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,iCAAiC,CAAC,CAAA;oBACjF,CAAC;oBACD,IAAI,GAAG;wBACL,GAAG,IAAI;wBACP,IAAI,EAAE,QAAQ;wBACd,MAAM,EAAE,SAAS;wBACjB,MAAM,EAAE,SAAS;wBACjB,OAAO,EAAE,SAAS;wBAClB,MAAM;wBACN,QAAQ,EAAE,EAAE;wBACZ,OAAO,EAAE,SAAS;qBACnB,CAAA;oBACD,MAAK;YACT,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;YACtB,KAAK,IAAI,CAAC,CAAA;YACV,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAClE,SAAQ;YACV,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAChB,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;gBAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAA;gBAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBAC7B,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;wBACpF,MAAM,IAAI,KAAK,CAAC,yCAAyC,IAAI,0BAA0B,CAAC,CAAA;oBAC1F,CAAC;oBACD,IAAI,GAAG,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,CAAA;gBAC9B,CAAC;qBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACpC,IAAI,GAAG,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,CAAA;gBAC9B,CAAC;qBAAM,CAAC;oBACN,MAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,+BAA+B,CAAC,CAAA;gBACxE,CAAC;gBACD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;YACxB,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC,CAAA;IAED,OAAO;QACL,MAAM;QACN,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC;KACZ,CAAA;AACzB,CAAC,CAAA;AAED,MAAM,kBAAkB,GAAG,CAAC,OAAgB,EAA2C,EAAE,CACvF,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,UAAU,IAAI,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAmD,CAAC;IACzE,CAAC,CAAC,EAAE,CAAA;AAER,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,OAAoB,EACyB,EAAE;IAC/C,MAAM,WAAW,GAAwC,EAAE,CAAA;IAC3D,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACtD,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAuC,CAAA;QAChF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,SAAQ;QACV,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAI,MAAc,CAAC,MAAM,CAAA;YACrC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,WAAW,CAAC,IAAI,CAAC;oBACf,MAAM,EAAE,IAAI,CAAC,IAAI;oBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC3B,OAAO,EAAE,KAAK;oBACd,QAAQ,EAAE,kBAAkB,CAAC,MAAM,CAAC;iBACrC,CAAC,CAAA;YACJ,CAAC;YACD,SAAQ;QACV,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YACrD,MAAM,OAAO,GAAG,MAAM,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAA;YAClC,WAAW,CAAC,IAAI,CAAC;gBACf,MAAM,EAAE,IAAI,CAAC,IAAI;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;gBACjC,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI;gBACpE,QAAQ,EAAE,kBAAkB,CAAC,OAAO,CAAC;aACtC,CAAC,CAAA;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC;gBACf,MAAM,EAAE,IAAI,CAAC,IAAI;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gBAC3B,OAAO,EAAE,KAAK;gBACd,QAAQ,EAAE,kBAAkB,CAAC,MAAM,CAAC,MAAM,CAAC;aAC5C,CAAC,CAAA;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC;gBACf,MAAM,EAAE,IAAI,CAAC,IAAI;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;gBACzB,OAAO,EAAE,KAAK;gBACd,QAAQ,EAAE,kBAAkB,CAAC,MAAM,CAAC,MAAM,CAAC;aAC5C,CAAC,CAAA;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,KAAK,SAAS;YACzC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;gBAC9B,CAAC,CAAC,MAAM,CAAC,MAAM;gBACf,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QACnB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,EAAE,GAAG,OAAO,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YAC1E,KAAK,MAAM,OAAO,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,UAAU,CAAU,EAAE,CAAC;gBAC/D,MAAM,OAAO,GAAG,OAAO,KAAK,MAAM;oBAChC,CAAC,CAAC,MAAM,CAAC,MAAM;oBACf,CAAC,CAAC,OAAO,KAAK,SAAS;wBACvB,CAAC,CAAC,MAAM,CAAC,SAAS;wBAClB,CAAC,CAAC,MAAM,CAAC,UAAU,CAAA;gBACrB,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;oBAC1B,WAAW,CAAC,IAAI,CAAC;wBACf,MAAM,EAAE,IAAI,CAAC,IAAI;wBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE;wBACxC,OAAO,EAAE,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI;wBACpF,QAAQ,EAAE,kBAAkB,CAAC,OAAO,CAAC;qBACtC,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAAA;AACpB,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,CAIxB,IAAa,EACb,KAAiD,EACjD,OAUC,EACgC,EAAE,CACnC,CAAC;IACC,CAAC,YAAY,CAAC,EAAE,YAAY;IAC5B,CAAC,oBAAoB,CAAC,EAAE,OAAO,EAAE,QAAQ;IACzC,IAAI;IACJ,KAAK;IACL,MAAM,EAAE,OAAO,EAAE,MAAM;CACxB,CAAoC,CAAA;AAEvC,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAiC,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,YAAY,CAAC,CAAA;AAEnG,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAc,EAAc,EAAE,CAAC,CAAC;IAC7D,CAAC,gBAAgB,CAAC,EAAE,gBAAgB;IACpC,KAAK;CACN,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAU,EAAmB,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAA;AAE7F,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAU,EAAgD,EAAE,CACrF,WAAW,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;AAEnD,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,QAAiD,EACjD,IAAY,EACZ,OAAiC,EACuB,EAAE;IAC1D,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAC9B,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAC1C,OAAO,MAAM,CAAC,IAAI,EAAE,CAAA;IACtB,CAAC;IACD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACjC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAA;QACzC,CAAC;IACH,CAAC;IACD,IAAI,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACjE,OAAO,iBAAiB,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;IACzD,CAAC;IACD,IAAI,WAAW,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QACvG,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACnD,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;gBACtB,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;gBACtD,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC1B,OAAO,MAAM,CAAA;gBACf,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,EAAE,CAAA;AACtB,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,OAAoB,EAAE,IAAY,EAAqB,EAAE;IAC/E,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAChD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,YAAY,CAAC,CAAA;IACnE,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAuB,EAAwB,EAAE;IAClF,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,CAAC,IAAI,uBAAuB,CAAC,CAAA;IACrE,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAA;AACpB,CAAC,CAAA"}
package/dist/internal/testing/machine/exploration.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"exploration.d.ts","sourceRoot":"","sources":["../../../../src/internal/testing/machine/exploration.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC,OAAO,KAAK,OAAO,MAAM,qBAAqB,CAAA;AAC9C,OAAO,KAAK,EACV,WAAW,EACX,uBAAuB,EAGvB,cAAc,EACd,eAAe,EACf,oBAAoB,EAEpB,cAAc,EACd,mBAAmB,EAEnB,QAAQ,EACR,UAAU,EACV,WAAW,EAGZ,MAAM,iCAAiC,CAAA;AACxC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAClE,OAAO,EAAoB,KAAK,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAGtE,KAAK,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAA;AAIrC,KAAK,YAAY,CAAC,CAAC,SAAS,UAAU,IAClC,CAAC,GACD,gBAAgB,CAChB,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EACzB,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,EAClC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAChC,CAAA;AAwDH,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,UAAU,EAAE,GAAG,SAAS,cAAc,EACtE,SAAS,YAAY,CAAC,CAAC,CAAC,EACxB,SAAS,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,KAC9B,MAAM,CAAC,MAAM,CACd,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,EACnB,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,EAC9C,WAAW,CAAC,CAAC,CAAC,CA+If,CAAA;;;;AAED,qBAAa,iBAAiB,CAC5B,CAAC,SAAS,UAAU,GAAG,UAAU,EACjC,GAAG,SAAS,cAAc,GAAG,cAAc,CAC3C,SAAQ,uBAAiD;IACzD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,WAAW,EAAE,WAAW,GAAG,aAAa,CAAA;IACjD,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAA;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,YAAY,EAAE,uBAAuB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IACtD,QAAQ,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;CAC3C,CAAC;CAAG;AAQL,eAAO,MAAM,YAAY,GAAI,CAAC,SAAS,UAAU,EAAE,GAAG,SAAS,cAAc,EAC3E,aAAa,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,EAChC,WAAW,oBAAoB,CAAC,CAAC,EAAE,GAAG,CAAC,KACtC,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,SAA8C,CAAA;AAE3E,eAAO,MAAM,eAAe,GAAI,CAAC,SAAS,UAAU,EAAE,GAAG,SAAS,cAAc,EAC9E,aAAa,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,EAChC,MAAM,MAAM,EACZ,WAAW,oBAAoB,CAAC,CAAC,EAAE,GAAG,CAAC,KACtC,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAkBlE,CAAA;AAED,eAAO,MAAM,iBAAiB,GAAI,CAAC,SAAS,UAAU,EAAE,GAAG,SAAS,cAAc,EAChF,aAAa,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,EAChC,MAAM,MAAM,EACZ,WAAW,oBAAoB,CAAC,CAAC,EAAE,GAAG,CAAC,KACtC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CA6B/C,CAAA"}
1
+ {"version":3,"file":"exploration.d.ts","sourceRoot":"","sources":["../../../../src/internal/testing/machine/exploration.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC,OAAO,KAAK,OAAO,MAAM,qBAAqB,CAAA;AAC9C,OAAO,KAAK,EACV,WAAW,EACX,uBAAuB,EAGvB,cAAc,EACd,eAAe,EACf,oBAAoB,EAEpB,cAAc,EACd,mBAAmB,EAEnB,QAAQ,EACR,UAAU,EACV,WAAW,EAGZ,MAAM,iCAAiC,CAAA;AACxC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAClE,OAAO,EAAoB,KAAK,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAItE,KAAK,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAA;AAIrC,KAAK,YAAY,CAAC,CAAC,SAAS,UAAU,IAClC,CAAC,GACD,gBAAgB,CAChB,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EACzB,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,EAClC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAChC,CAAA;AAwDH,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,UAAU,EAAE,GAAG,SAAS,cAAc,EACtE,SAAS,YAAY,CAAC,CAAC,CAAC,EACxB,SAAS,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,KAC9B,MAAM,CAAC,MAAM,CACd,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,EACnB,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,EAC9C,WAAW,CAAC,CAAC,CAAC,CAsJf,CAAA;;;;AAED,qBAAa,iBAAiB,CAC5B,CAAC,SAAS,UAAU,GAAG,UAAU,EACjC,GAAG,SAAS,cAAc,GAAG,cAAc,CAC3C,SAAQ,uBAAiD;IACzD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,WAAW,EAAE,WAAW,GAAG,aAAa,CAAA;IACjD,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAA;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,YAAY,EAAE,uBAAuB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IACtD,QAAQ,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;CAC3C,CAAC;CAAG;AAQL,eAAO,MAAM,YAAY,GAAI,CAAC,SAAS,UAAU,EAAE,GAAG,SAAS,cAAc,EAC3E,aAAa,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,EAChC,WAAW,oBAAoB,CAAC,CAAC,EAAE,GAAG,CAAC,KACtC,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,SAA8C,CAAA;AAE3E,eAAO,MAAM,eAAe,GAAI,CAAC,SAAS,UAAU,EAAE,GAAG,SAAS,cAAc,EAC9E,aAAa,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,EAChC,MAAM,MAAM,EACZ,WAAW,oBAAoB,CAAC,CAAC,EAAE,GAAG,CAAC,KACtC,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAkBlE,CAAA;AAED,eAAO,MAAM,iBAAiB,GAAI,CAAC,SAAS,UAAU,EAAE,GAAG,SAAS,cAAc,EAChF,aAAa,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,EAChC,MAAM,MAAM,EACZ,WAAW,oBAAoB,CAAC,CAAC,EAAE,GAAG,CAAC,KACtC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CA6B/C,CAAA"}
package/dist/internal/testing/machine/exploration.js CHANGED
@@ -10,6 +10,7 @@ import * as Schema from "effect/Schema";
10
10
  import * as Machine from "../../../Machine.js";
11
11
  import { assertInvariants } from "./invariant.js";
12
12
  import { appendTrace, run } from "./trace.js";
13
+ import { makeTransitionCoverageCollector } from "./transitionCoverage.js";
13
14
  const defaultLimits = {
14
15
  maxDepth: 20,
15
16
  maxStates: 1_000,
@@ -61,6 +62,10 @@ export const explore = (machine, options) => {
61
62
  }
62
63
  const initialContext = stateContext(machine, initialTrace);
63
64
  const initialKey = validateKey(options.stateKey(initialContext));
65
+ const transitionCoverage = makeTransitionCoverageCollector(machine);
66
+ for (const microstep of initialTrace.initial.plan.microsteps) {
67
+ transitionCoverage.observeMicrostep(microstep);
68
+ }
64
69
  const nodes = [{ ...initialContext, key: initialKey }];
65
70
  const nodeDraftsByKey = new Map([[initialKey, 0]]);
66
71
  const edges = [];
@@ -104,6 +109,9 @@ export const explore = (machine, options) => {
104
109
  const scenario = scenarioWithEvent(source.trace, event);
105
110
  const targetTrace = yield* appendTrace(machine, source.trace, event, scenario);
106
111
  plannedTransitions += 1;
112
+ const step = targetTrace.steps[targetTrace.steps.length - 1];
113
+ for (const microstep of step.plan.microsteps)
114
+ transitionCoverage.observeMicrostep(microstep);
107
115
  if (invariants.length > 0) {
108
116
  yield* assertInvariants(machine, targetTrace, invariants);
109
117
  }
@@ -116,7 +124,7 @@ export const explore = (machine, options) => {
116
124
  target: existing,
117
125
  edge: {
118
126
  event,
119
- step: targetTrace.steps[targetTrace.steps.length - 1],
127
+ step,
120
128
  discovered: false
121
129
  }
122
130
  });
@@ -143,7 +151,7 @@ export const explore = (machine, options) => {
143
151
  target: targetIndex,
144
152
  edge: {
145
153
  event,
146
- step: targetTrace.steps[targetTrace.steps.length - 1],
154
+ step,
147
155
  discovered: true
148
156
  }
149
157
  });
@@ -178,6 +186,7 @@ export const explore = (machine, options) => {
178
186
  retainedEdges: edges.length,
179
187
  maxDepth: nodes.reduce((maximum, node) => Math.max(maximum, node.depth), 0)
180
188
  },
189
+ transitionCoverage: transitionCoverage.summary(),
181
190
  completeness
182
191
  };
183
192
  });
package/dist/internal/testing/machine/exploration.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"exploration.js","sourceRoot":"","sources":["../../../../src/internal/testing/machine/exploration.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,IAAI,MAAM,aAAa,CAAA;AACnC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,OAAO,MAAM,qBAAqB,CAAA;AAoB9C,OAAO,EAAE,gBAAgB,EAAuB,MAAM,gBAAgB,CAAA;AACtE,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,YAAY,CAAA;AAc7C,MAAM,aAAa,GAA8B;IAC/C,QAAQ,EAAE,EAAE;IACZ,SAAS,EAAE,KAAK;IAChB,cAAc,EAAE,MAAM;CACvB,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,IAAqC,EAAE,KAAa,EAAE,OAAe,EAAQ,EAAE;IACpG,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,OAAO,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,kDAAkD,OAAO,EAAE,CAAC,CAAA;IAClH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,MAA4D,EAA6B,EAAE;IAChH,MAAM,QAAQ,GAAG;QACf,QAAQ,EAAE,MAAM,EAAE,QAAQ,IAAI,aAAa,CAAC,QAAQ;QACpD,SAAS,EAAE,MAAM,EAAE,SAAS,IAAI,aAAa,CAAC,SAAS;QACvD,cAAc,EAAE,MAAM,EAAE,cAAc,IAAI,aAAa,CAAC,cAAc;KACvE,CAAA;IACD,aAAa,CAAC,UAAU,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAA;IAC/C,aAAa,CAAC,WAAW,EAAE,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,CAAA;IACjD,aAAa,CAAC,gBAAgB,EAAE,QAAQ,CAAC,cAAc,EAAE,CAAC,CAAC,CAAA;IAC3D,OAAO,QAAQ,CAAA;AACjB,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAA6B,GAAQ,EAAO,EAAE;IAChE,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAClF,MAAM,IAAI,KAAK,CAAC,6EAA6E,CAAC,CAAA;IAChG,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CAAuB,OAAU,EAAE,KAAe,EAA8B,EAAE,CAAC,CAAC;IACvG,OAAO;IACP,QAAQ,EAAE,KAAK,CAAC,KAAK;IACrB,aAAa,EAAE,KAAK,CAAC,kBAAkB;IACvC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;IACzB,KAAK;CACN,CAAC,CAAA;AAEF,MAAM,iBAAiB,GAAG,CACxB,KAAe,EACf,KAAoC,EACvB,EAAE,CACf,CAAC;IACC,GAAG,KAAK,CAAC,QAAQ;IACjB,MAAM,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC;CAC1C,CAAgB,CAAA;AAQnB,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,OAAwB,EACxB,OAA+B,EAK/B,EAAE;IACF,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;IAC5C,MAAM,eAAe,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,KAAK,MAAM,CAAC,IAAI;QACnF,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QAChB,CAAC,CAAC,EAAE,KAAK,EAAG,OAA6C,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAA2B,CAAA;IAE1G,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,eAAe,CAAC,CAAA;QACzD,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,EAAE,CAAA;QAC3C,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,YAAY,EAAE,UAAU,CAAC,CAAA;QAC5D,CAAC;QAED,MAAM,cAAc,GAAG,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;QAC1D,MAAM,UAAU,GAAG,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAA;QAChE,MAAM,KAAK,GAAmC,CAAC,EAAE,GAAG,cAAc,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAA;QACtF,MAAM,eAAe,GAAG,IAAI,GAAG,CAAc,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QAC/D,MAAM,KAAK,GAAmC,EAAE,CAAA;QAChD,MAAM,QAAQ,GAAuC,EAAE,CAAA;QACvD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAsC,CAAA;QAC7D,IAAI,kBAAkB,GAAG,CAAC,CAAA;QAC1B,IAAI,MAAM,GAAG,CAAC,CAAA;QACd,IAAI,MAAM,GAAG,KAAK,CAAA;QAElB,OAAO,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC;YACxC,MAAM,WAAW,GAAG,MAAM,CAAA;YAC1B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAE,CAAA;YAC/B,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;YACzC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC/B,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAA;YACnF,CAAC;YAED,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACpC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;gBAC/C,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;oBAC/B,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,YAAY;wBAClB,MAAM,EAAE,MAAM,CAAC,GAAG;wBAClB,KAAK,EAAE,MAAM,CAAC,KAAK;wBACnB,KAAK;qBACN,CAAC,CAAA;gBACJ,CAAC;gBACD,SAAQ;YACV,CAAC;YAED,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;gBAC/B,IAAI,kBAAkB,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;oBAChD,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;oBAC1B,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,iBAAiB;wBACvB,MAAM,EAAE,MAAM,CAAC,GAAG;wBAClB,KAAK,EAAE,MAAM,CAAC,KAAK;wBACnB,KAAK;qBACN,CAAC,CAAA;oBACF,MAAM,GAAG,IAAI,CAAA;oBACb,MAAK;gBACP,CAAC;gBAED,MAAM,QAAQ,GAAG,iBAAiB,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;gBACvD,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAA;gBAC9E,kBAAkB,IAAI,CAAC,CAAA;gBACvB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC1B,KAAK,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,WAAW,EAAE,UAAU,CAAC,CAAA;gBAC3D,CAAC;gBAED,MAAM,aAAa,GAAG,YAAY,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;gBACxD,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAA;gBAC9D,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;gBAC/C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,KAAK,CAAC,IAAI,CAAC;wBACT,MAAM,EAAE,WAAW;wBACnB,MAAM,EAAE,QAAQ;wBAChB,IAAI,EAAE;4BACJ,KAAK;4BACL,IAAI,EAAE,WAAW,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE;4BACtD,UAAU,EAAE,KAAK;yBAClB;qBACF,CAAC,CAAA;oBACF,SAAQ;gBACV,CAAC;gBAED,IAAI,KAAK,CAAC,MAAM,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;oBACrC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;oBACrB,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,YAAY;wBAClB,MAAM,EAAE,MAAM,CAAC,GAAG;wBAClB,KAAK,EAAE,MAAM,CAAC,KAAK;wBACnB,KAAK;wBACL,MAAM,EAAE,SAAS;wBACjB,WAAW;qBACZ,CAAC,CAAA;oBACF,MAAM,GAAG,IAAI,CAAA;oBACb,MAAK;gBACP,CAAC;gBAED,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAA;gBAChC,eAAe,CAAC,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC,CAAA;gBAC3C,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,aAAa,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAA;gBAChD,KAAK,CAAC,IAAI,CAAC;oBACT,MAAM,EAAE,WAAW;oBACnB,MAAM,EAAE,WAAW;oBACnB,IAAI,EAAE;wBACJ,KAAK;wBACL,IAAI,EAAE,WAAW,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE;wBACtD,UAAU,EAAE,IAAI;qBACjB;iBACF,CAAC,CAAA;YACJ,CAAC;QACH,CAAC;QAED,MAAM,WAAW,GAA2B,EAAE,CAAA;QAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAA8C,CAAC,OAAO,EAAE,EAAE;YACpF,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAA;YACxE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC,MAAM,CAAE,EAAE,WAAW,CAAC,IAAI,CAAC,MAAM,CAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;YACzF,CAAC;QACH,CAAC,CAAC,CAAA;QACF,MAAM,UAAU,GAAG,IAAI,GAAG,EAAwB,CAAA;QAClD,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,KAAK,CAAE,CAAC,CAAC,CAAA;QAC7E,MAAM,YAAY,GAAoC,OAAO,CAAC,IAAI,KAAK,CAAC;YACtE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE;YACtB,CAAC,CAAC;gBACA,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,aAAa,CAAW,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBAC9F,QAAQ;aACT,CAAA;QAEH,OAAO;YACL,KAAK;YACL,KAAK;YACL,UAAU;YACV,KAAK,EAAE,WAAW,CAAC,CAAC,CAAE;YACtB,MAAM;YACN,KAAK,EAAE;gBACL,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,kBAAkB;gBAClB,aAAa,EAAE,KAAK,CAAC,MAAM;gBAC3B,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;aAC5E;YACD,YAAY;SACb,CAAA;IACH,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,OAAO,iBAGX,SAAQ,IAAI,CAAC,WAAW,CAAC,8BAA8B,CAOvD;CAAG;AAEL,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAQ,EAAE;IACnD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAA;IAC/F,CAAC;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,WAAgC,EAChC,SAAuC,EACF,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;AAE3E,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,WAAgC,EAChC,IAAY,EACZ,SAAuC,EAC4B,EAAE;IACrE,qBAAqB,CAAC,IAAI,CAAC,CAAA;IAC3B,OAAO,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;QACzB,MAAM,OAAO,GAAG,YAAY,CAAC,WAAW,EAAE,SAAS,CAAC,CAAA;QACpD,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;QACzD,MAAM,YAAY,GAAG,WAAW,CAAC,YAAY,CAAC,IAAI,KAAK,WAAW,CAAA;QAClE,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,iBAAiB,CAAC;YACpB,IAAI;YACJ,WAAW,EAAE,WAAW;YACxB,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU;YAClD,OAAO,EAAE,YAAY;gBACnB,CAAC,CAAC,mBAAmB,IAAI,oDAAoD;gBAC7E,CAAC,CAAC,YAAY,IAAI,kBAAkB;YACtC,YAAY,EAAE,WAAW,CAAC,YAAY;SACvC,CAAC,CACH,CAAA;IACH,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,WAAgC,EAChC,IAAY,EACZ,SAAuC,EACS,EAAE;IAClD,qBAAqB,CAAC,IAAI,CAAC,CAAA;IAC3B,OAAO,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;QACzB,MAAM,OAAO,GAAG,YAAY,CAAC,WAAW,EAAE,SAAS,CAAC,CAAA;QACpD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,iBAAiB,CAAC;gBACpB,IAAI;gBACJ,WAAW,EAAE,aAAa;gBAC1B,MAAM,EAAE,iBAAiB;gBACzB,OAAO,EAAE,YAAY,IAAI,mDAAmD,OAAO,CAAC,KAAK,EAAE;gBAC3F,YAAY,EAAE,WAAW,CAAC,YAAY;gBACtC,OAAO;aACR,CAAC,CACH,CAAA;QACH,CAAC;QACD,IAAI,WAAW,CAAC,YAAY,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAClD,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,iBAAiB,CAAC;gBACpB,IAAI;gBACJ,WAAW,EAAE,aAAa;gBAC1B,MAAM,EAAE,cAAc;gBACtB,OAAO,EAAE,qBAAqB,IAAI,oDAAoD;gBACtF,YAAY,EAAE,WAAW,CAAC,YAAY;aACvC,CAAC,CACH,CAAA;QACH,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAA;IACpB,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA"}
1
+ {"version":3,"file":"exploration.js","sourceRoot":"","sources":["../../../../src/internal/testing/machine/exploration.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,IAAI,MAAM,aAAa,CAAA;AACnC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,OAAO,MAAM,qBAAqB,CAAA;AAoB9C,OAAO,EAAE,gBAAgB,EAAuB,MAAM,gBAAgB,CAAA;AACtE,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,YAAY,CAAA;AAC7C,OAAO,EAAE,+BAA+B,EAAE,MAAM,yBAAyB,CAAA;AAczE,MAAM,aAAa,GAA8B;IAC/C,QAAQ,EAAE,EAAE;IACZ,SAAS,EAAE,KAAK;IAChB,cAAc,EAAE,MAAM;CACvB,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,IAAqC,EAAE,KAAa,EAAE,OAAe,EAAQ,EAAE;IACpG,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,OAAO,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,kDAAkD,OAAO,EAAE,CAAC,CAAA;IAClH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,MAA4D,EAA6B,EAAE;IAChH,MAAM,QAAQ,GAAG;QACf,QAAQ,EAAE,MAAM,EAAE,QAAQ,IAAI,aAAa,CAAC,QAAQ;QACpD,SAAS,EAAE,MAAM,EAAE,SAAS,IAAI,aAAa,CAAC,SAAS;QACvD,cAAc,EAAE,MAAM,EAAE,cAAc,IAAI,aAAa,CAAC,cAAc;KACvE,CAAA;IACD,aAAa,CAAC,UAAU,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAA;IAC/C,aAAa,CAAC,WAAW,EAAE,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,CAAA;IACjD,aAAa,CAAC,gBAAgB,EAAE,QAAQ,CAAC,cAAc,EAAE,CAAC,CAAC,CAAA;IAC3D,OAAO,QAAQ,CAAA;AACjB,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAA6B,GAAQ,EAAO,EAAE;IAChE,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAClF,MAAM,IAAI,KAAK,CAAC,6EAA6E,CAAC,CAAA;IAChG,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CAAuB,OAAU,EAAE,KAAe,EAA8B,EAAE,CAAC,CAAC;IACvG,OAAO;IACP,QAAQ,EAAE,KAAK,CAAC,KAAK;IACrB,aAAa,EAAE,KAAK,CAAC,kBAAkB;IACvC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;IACzB,KAAK;CACN,CAAC,CAAA;AAEF,MAAM,iBAAiB,GAAG,CACxB,KAAe,EACf,KAAoC,EACvB,EAAE,CACf,CAAC;IACC,GAAG,KAAK,CAAC,QAAQ;IACjB,MAAM,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC;CAC1C,CAAgB,CAAA;AAQnB,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,OAAwB,EACxB,OAA+B,EAK/B,EAAE;IACF,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;IAC5C,MAAM,eAAe,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,KAAK,MAAM,CAAC,IAAI;QACnF,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QAChB,CAAC,CAAC,EAAE,KAAK,EAAG,OAA6C,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAA2B,CAAA;IAE1G,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,eAAe,CAAC,CAAA;QACzD,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,EAAE,CAAA;QAC3C,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,YAAY,EAAE,UAAU,CAAC,CAAA;QAC5D,CAAC;QAED,MAAM,cAAc,GAAG,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;QAC1D,MAAM,UAAU,GAAG,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAA;QAChE,MAAM,kBAAkB,GAAG,+BAA+B,CAAI,OAAO,CAAC,CAAA;QACtE,KAAK,MAAM,SAAS,IAAI,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YAC7D,kBAAkB,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAA;QAChD,CAAC;QACD,MAAM,KAAK,GAAmC,CAAC,EAAE,GAAG,cAAc,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAA;QACtF,MAAM,eAAe,GAAG,IAAI,GAAG,CAAc,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QAC/D,MAAM,KAAK,GAAmC,EAAE,CAAA;QAChD,MAAM,QAAQ,GAAuC,EAAE,CAAA;QACvD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAsC,CAAA;QAC7D,IAAI,kBAAkB,GAAG,CAAC,CAAA;QAC1B,IAAI,MAAM,GAAG,CAAC,CAAA;QACd,IAAI,MAAM,GAAG,KAAK,CAAA;QAElB,OAAO,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC;YACxC,MAAM,WAAW,GAAG,MAAM,CAAA;YAC1B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAE,CAAA;YAC/B,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;YACzC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC/B,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAA;YACnF,CAAC;YAED,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACpC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;gBAC/C,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;oBAC/B,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,YAAY;wBAClB,MAAM,EAAE,MAAM,CAAC,GAAG;wBAClB,KAAK,EAAE,MAAM,CAAC,KAAK;wBACnB,KAAK;qBACN,CAAC,CAAA;gBACJ,CAAC;gBACD,SAAQ;YACV,CAAC;YAED,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;gBAC/B,IAAI,kBAAkB,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;oBAChD,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;oBAC1B,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,iBAAiB;wBACvB,MAAM,EAAE,MAAM,CAAC,GAAG;wBAClB,KAAK,EAAE,MAAM,CAAC,KAAK;wBACnB,KAAK;qBACN,CAAC,CAAA;oBACF,MAAM,GAAG,IAAI,CAAA;oBACb,MAAK;gBACP,CAAC;gBAED,MAAM,QAAQ,GAAG,iBAAiB,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;gBACvD,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAA;gBAC9E,kBAAkB,IAAI,CAAC,CAAA;gBACvB,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,CAAA;gBAC7D,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU;oBAAE,kBAAkB,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAA;gBAC5F,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC1B,KAAK,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,WAAW,EAAE,UAAU,CAAC,CAAA;gBAC3D,CAAC;gBAED,MAAM,aAAa,GAAG,YAAY,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;gBACxD,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAA;gBAC9D,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;gBAC/C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,KAAK,CAAC,IAAI,CAAC;wBACT,MAAM,EAAE,WAAW;wBACnB,MAAM,EAAE,QAAQ;wBAChB,IAAI,EAAE;4BACJ,KAAK;4BACL,IAAI;4BACJ,UAAU,EAAE,KAAK;yBAClB;qBACF,CAAC,CAAA;oBACF,SAAQ;gBACV,CAAC;gBAED,IAAI,KAAK,CAAC,MAAM,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;oBACrC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;oBACrB,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,YAAY;wBAClB,MAAM,EAAE,MAAM,CAAC,GAAG;wBAClB,KAAK,EAAE,MAAM,CAAC,KAAK;wBACnB,KAAK;wBACL,MAAM,EAAE,SAAS;wBACjB,WAAW;qBACZ,CAAC,CAAA;oBACF,MAAM,GAAG,IAAI,CAAA;oBACb,MAAK;gBACP,CAAC;gBAED,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAA;gBAChC,eAAe,CAAC,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC,CAAA;gBAC3C,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,aAAa,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAA;gBAChD,KAAK,CAAC,IAAI,CAAC;oBACT,MAAM,EAAE,WAAW;oBACnB,MAAM,EAAE,WAAW;oBACnB,IAAI,EAAE;wBACJ,KAAK;wBACL,IAAI;wBACJ,UAAU,EAAE,IAAI;qBACjB;iBACF,CAAC,CAAA;YACJ,CAAC;QACH,CAAC;QAED,MAAM,WAAW,GAA2B,EAAE,CAAA;QAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAA8C,CAAC,OAAO,EAAE,EAAE;YACpF,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAA;YACxE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC,MAAM,CAAE,EAAE,WAAW,CAAC,IAAI,CAAC,MAAM,CAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;YACzF,CAAC;QACH,CAAC,CAAC,CAAA;QACF,MAAM,UAAU,GAAG,IAAI,GAAG,EAAwB,CAAA;QAClD,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,KAAK,CAAE,CAAC,CAAC,CAAA;QAC7E,MAAM,YAAY,GAAoC,OAAO,CAAC,IAAI,KAAK,CAAC;YACtE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE;YACtB,CAAC,CAAC;gBACA,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,aAAa,CAAW,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBAC9F,QAAQ;aACT,CAAA;QAEH,OAAO;YACL,KAAK;YACL,KAAK;YACL,UAAU;YACV,KAAK,EAAE,WAAW,CAAC,CAAC,CAAE;YACtB,MAAM;YACN,KAAK,EAAE;gBACL,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,kBAAkB;gBAClB,aAAa,EAAE,KAAK,CAAC,MAAM;gBAC3B,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;aAC5E;YACD,kBAAkB,EAAE,kBAAkB,CAAC,OAAO,EAAE;YAChD,YAAY;SACb,CAAA;IACH,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,OAAO,iBAGX,SAAQ,IAAI,CAAC,WAAW,CAAC,8BAA8B,CAOvD;CAAG;AAEL,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAQ,EAAE;IACnD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAA;IAC/F,CAAC;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,WAAgC,EAChC,SAAuC,EACF,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;AAE3E,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,WAAgC,EAChC,IAAY,EACZ,SAAuC,EAC4B,EAAE;IACrE,qBAAqB,CAAC,IAAI,CAAC,CAAA;IAC3B,OAAO,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;QACzB,MAAM,OAAO,GAAG,YAAY,CAAC,WAAW,EAAE,SAAS,CAAC,CAAA;QACpD,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;QACzD,MAAM,YAAY,GAAG,WAAW,CAAC,YAAY,CAAC,IAAI,KAAK,WAAW,CAAA;QAClE,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,iBAAiB,CAAC;YACpB,IAAI;YACJ,WAAW,EAAE,WAAW;YACxB,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU;YAClD,OAAO,EAAE,YAAY;gBACnB,CAAC,CAAC,mBAAmB,IAAI,oDAAoD;gBAC7E,CAAC,CAAC,YAAY,IAAI,kBAAkB;YACtC,YAAY,EAAE,WAAW,CAAC,YAAY;SACvC,CAAC,CACH,CAAA;IACH,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,WAAgC,EAChC,IAAY,EACZ,SAAuC,EACS,EAAE;IAClD,qBAAqB,CAAC,IAAI,CAAC,CAAA;IAC3B,OAAO,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;QACzB,MAAM,OAAO,GAAG,YAAY,CAAC,WAAW,EAAE,SAAS,CAAC,CAAA;QACpD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,iBAAiB,CAAC;gBACpB,IAAI;gBACJ,WAAW,EAAE,aAAa;gBAC1B,MAAM,EAAE,iBAAiB;gBACzB,OAAO,EAAE,YAAY,IAAI,mDAAmD,OAAO,CAAC,KAAK,EAAE;gBAC3F,YAAY,EAAE,WAAW,CAAC,YAAY;gBACtC,OAAO;aACR,CAAC,CACH,CAAA;QACH,CAAC;QACD,IAAI,WAAW,CAAC,YAAY,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAClD,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,iBAAiB,CAAC;gBACpB,IAAI;gBACJ,WAAW,EAAE,aAAa;gBAC1B,MAAM,EAAE,cAAc;gBACtB,OAAO,EAAE,qBAAqB,IAAI,oDAAoD;gBACtF,YAAY,EAAE,WAAW,CAAC,YAAY;aACvC,CAAC,CACH,CAAA;QACH,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAA;IACpB,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA"}
package/dist/internal/testing/machine/finiteModel.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"finiteModel.d.ts","sourceRoot":"","sources":["../../../../src/internal/testing/machine/finiteModel.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,KAAK,OAAO,MAAM,qBAAqB,CAAA;AAE9C;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,uEAAuE;IACvE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,uEAAuE;IACvE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,mEAAmE;IACnE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED;;;;;GAKG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,uEAAuE;IACvE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,kDAAkD;IAClD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,WAAW,CAAC,CAAA;CAC5C;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,uEAAuE;IACvE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,iEAAiE;IACjE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,qDAAqD;IACrD,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,WAAW,CAAC,CAAA;CAC5C;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,SAAS,GAAG,MAAM,CAAA;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAC1B;AAED,uEAAuE;AACvE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAC1B;AAED;;;;;GAKG;AACH,MAAM,MAAM,WAAW,GACnB,iBAAiB,GACjB,gBAAgB,GAChB,mBAAmB,GACnB,mBAAmB,GACnB,kBAAkB,GAClB,iBAAiB,CAAA;AAErB;;;;;;;GAOG;AACH,MAAM,MAAM,uBAAuB,GAC/B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAA;AAE7B;;;;;GAKG;AACH,UAAU,oBAAoB;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,mDAAmD;IACnD,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,0EAA0E;IAC1E,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAC9B;AAED;;;;;GAKG;AACH,MAAM,MAAM,qBAAqB,GAAG,oBAAoB,GAAG;IACzD,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,uBAAuB,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAA;IAC9E,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAC1B,CAAA;AAED;;;;;;GAMG;AACH,MAAM,MAAM,yBAAyB,GAAG,oBAAoB,GAAG;IAC7D,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,uBAAuB,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAA;CAC/E,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,GAAG,qBAAqB,GAAG,yBAAyB,CAAA;AAEhF;;;;;;;;GAQG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB;AAED;;;;;GAKG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,WAAW,EAAE,SAAS,GAAG,MAAM,CAAA;IACxC,QAAQ,CAAC,QAAQ,EAAE,qBAAqB,CAAA;IACxC,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAA;IACrC,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAA;IACtC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;CAC5E;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,WAAW,CAAC,CAAA;IAC1C,8CAA8C;IAC9C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACtC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAA;IACrD,0EAA0E;IAC1E,QAAQ,CAAC,gBAAgB,CAAC,EAAE,aAAa,CAAC,qBAAqB,CAAC,CAAA;CACjE;AAED;;;;;GAKG;AACH,MAAM,WAAW,kBAAkB;IACjC,mEAAmE;IACnE,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAC7B,8DAA8D;IAC9D,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;IAC1B,6DAA6D;IAC7D,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,0EAA0E;IAC1E,QAAQ,CAAC,kBAAkB,CAAC,EAAE,CAAC,GAAG,CAAC,CAAA;IACnC,oDAAoD;IACpD,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,+DAA+D;IAC/D,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAA;IAChC,4EAA4E;IAC5E,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAA;IAClC,mFAAmF;IACnF,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAA;CAClC;AAED;;;;;GAKG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;QACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;QAC5B,QAAQ,CAAC,kBAAkB,EAAE,CAAC,GAAG,CAAC,CAAA;QAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;QAC1B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;QAC/B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;QACjC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;KACjC,CAAA;IACD,QAAQ,CAAC,UAAU,EAAE;QACnB,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAA;QAC5B,QAAQ,CAAC,cAAc,EAAE,IAAI,CAAA;QAC7B,QAAQ,CAAC,aAAa,EAAE,IAAI,CAAA;QAC5B,QAAQ,CAAC,2BAA2B,EAAE,IAAI,CAAA;QAC1C,QAAQ,CAAC,qBAAqB,EAAE,IAAI,CAAA;QACpC,QAAQ,CAAC,YAAY,EAAE,IAAI,CAAA;QAC3B,QAAQ,CAAC,sBAAsB,EAAE,IAAI,CAAA;QACrC,QAAQ,CAAC,iBAAiB,EAAE,IAAI,CAAA;QAChC,QAAQ,CAAC,uBAAuB,EAAE,IAAI,CAAA;QACtC,QAAQ,CAAC,oBAAoB,EAAE,IAAI,CAAA;QACnC,QAAQ,CAAC,2BAA2B,EAAE,IAAI,CAAA;KAC3C,CAAA;CACF;AAED;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,SAAS,CAAC,WAAW,CAAC,CAAA;IACpD,QAAQ,CAAC,WAAW,EAAE,sBAAsB,CAAA;CAC7C;AAqhBD;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,YAAY,GAAI,UAAS,kBAAuB,KAAG,YAsD/D,CAAA;AA6iBD;;;;;;;;;;GAUG;AACH,eAAO,MAAM,YAAY,GAAI,OAAO,WAAW,KAAG,OAAO,CAAC,OAAO,CAAC,GAiBjE,CAAA"}
1
+ {"version":3,"file":"finiteModel.d.ts","sourceRoot":"","sources":["../../../../src/internal/testing/machine/finiteModel.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,KAAK,OAAO,MAAM,qBAAqB,CAAA;AAE9C;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,uEAAuE;IACvE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,uEAAuE;IACvE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,mEAAmE;IACnE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED;;;;;GAKG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,uEAAuE;IACvE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,kDAAkD;IAClD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,WAAW,CAAC,CAAA;CAC5C;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,uEAAuE;IACvE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,iEAAiE;IACjE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,qDAAqD;IACrD,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,WAAW,CAAC,CAAA;CAC5C;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,SAAS,GAAG,MAAM,CAAA;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAC1B;AAED,uEAAuE;AACvE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAC1B;AAED;;;;;GAKG;AACH,MAAM,MAAM,WAAW,GACnB,iBAAiB,GACjB,gBAAgB,GAChB,mBAAmB,GACnB,mBAAmB,GACnB,kBAAkB,GAClB,iBAAiB,CAAA;AAErB;;;;;;;GAOG;AACH,MAAM,MAAM,uBAAuB,GAC/B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAA;AAE7B;;;;;GAKG;AACH,UAAU,oBAAoB;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,mDAAmD;IACnD,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,0EAA0E;IAC1E,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAC9B;AAED;;;;;GAKG;AACH,MAAM,MAAM,qBAAqB,GAAG,oBAAoB,GAAG;IACzD,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,uBAAuB,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAA;IAC9E,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAC1B,CAAA;AAED;;;;;;GAMG;AACH,MAAM,MAAM,yBAAyB,GAAG,oBAAoB,GAAG;IAC7D,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,uBAAuB,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAA;CAC/E,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,GAAG,qBAAqB,GAAG,yBAAyB,CAAA;AAEhF;;;;;;;;GAQG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB;AAED;;;;;GAKG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,WAAW,EAAE,SAAS,GAAG,MAAM,CAAA;IACxC,QAAQ,CAAC,QAAQ,EAAE,qBAAqB,CAAA;IACxC,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAA;IACrC,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAA;IACtC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;CAC5E;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,WAAW,CAAC,CAAA;IAC1C,8CAA8C;IAC9C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACtC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAA;IACrD,0EAA0E;IAC1E,QAAQ,CAAC,gBAAgB,CAAC,EAAE,aAAa,CAAC,qBAAqB,CAAC,CAAA;CACjE;AAED;;;;;GAKG;AACH,MAAM,WAAW,kBAAkB;IACjC,mEAAmE;IACnE,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAC7B,8DAA8D;IAC9D,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;IAC1B,6DAA6D;IAC7D,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,0EAA0E;IAC1E,QAAQ,CAAC,kBAAkB,CAAC,EAAE,CAAC,GAAG,CAAC,CAAA;IACnC,oDAAoD;IACpD,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,+DAA+D;IAC/D,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAA;IAChC,4EAA4E;IAC5E,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAA;IAClC,mFAAmF;IACnF,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAA;CAClC;AAED;;;;;GAKG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;QACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;QAC5B,QAAQ,CAAC,kBAAkB,EAAE,CAAC,GAAG,CAAC,CAAA;QAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;QAC1B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;QAC/B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;QACjC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;KACjC,CAAA;IACD,QAAQ,CAAC,UAAU,EAAE;QACnB,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAA;QAC5B,QAAQ,CAAC,cAAc,EAAE,IAAI,CAAA;QAC7B,QAAQ,CAAC,aAAa,EAAE,IAAI,CAAA;QAC5B,QAAQ,CAAC,2BAA2B,EAAE,IAAI,CAAA;QAC1C,QAAQ,CAAC,qBAAqB,EAAE,IAAI,CAAA;QACpC,QAAQ,CAAC,YAAY,EAAE,IAAI,CAAA;QAC3B,QAAQ,CAAC,sBAAsB,EAAE,IAAI,CAAA;QACrC,QAAQ,CAAC,iBAAiB,EAAE,IAAI,CAAA;QAChC,QAAQ,CAAC,uBAAuB,EAAE,IAAI,CAAA;QACtC,QAAQ,CAAC,oBAAoB,EAAE,IAAI,CAAA;QACnC,QAAQ,CAAC,2BAA2B,EAAE,IAAI,CAAA;KAC3C,CAAA;CACF;AAED;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,SAAS,CAAC,WAAW,CAAC,CAAA;IACpD,QAAQ,CAAC,WAAW,EAAE,sBAAsB,CAAA;CAC7C;AAqhBD;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,YAAY,GAAI,UAAS,kBAAuB,KAAG,YAsD/D,CAAA;AAwkBD;;;;;;;;;;GAUG;AACH,eAAO,MAAM,YAAY,GAAI,OAAO,WAAW,KAAG,OAAO,CAAC,OAAO,CAAC,GAwBjE,CAAA"}
package/dist/internal/testing/machine/finiteModel.js CHANGED
@@ -707,40 +707,6 @@ const stateValue = (state, value) => {
707
707
  }
708
708
  return { _tag: stateTag(state.path), value: value ?? state.node.value };
709
709
  };
710
- const runtimeTargetPath = (byPath, sourcePath, requestedPath) => {
711
- const source = byPath.get(sourcePath);
712
- const requested = byPath.get(requestedPath);
713
- if (requested.node._tag === "History")
714
- return requested.parent;
715
- if (requested.node._tag === "Choice")
716
- return runtimeTargetPath(byPath, sourcePath, requested.node.selected);
717
- if (source.root !== requested.root)
718
- return requested.path;
719
- const initial = (path) => {
720
- const current = byPath.get(path);
721
- if (current.node._tag === "Parallel") {
722
- if (sourcePath !== current.path && !sourcePath.startsWith(`${current.path}.`)) {
723
- return current.path;
724
- }
725
- const child = sourcePath === current.path
726
- ? current.node.states[0].key
727
- : sourcePath.slice(current.path.length + 1).split(".")[0];
728
- return initial(`${current.path}.${child}`);
729
- }
730
- return current.node._tag === "Compound" ? initial(`${current.path}.${current.node.initial}`) : current.path;
731
- };
732
- const inspect = (path) => {
733
- const current = byPath.get(path);
734
- if (current.node._tag === "Parallel" && sourcePath !== current.path && !sourcePath.startsWith(`${current.path}.`)) {
735
- return current.path;
736
- }
737
- if (current.path === requestedPath)
738
- return initial(current.path);
739
- const next = requestedPath.slice(current.path.length + 1).split(".")[0];
740
- return inspect(`${current.path}.${next}`);
741
- };
742
- return inspect(source.root);
743
- };
744
710
  const makeStateTree = (states, parent) => {
745
711
  const tree = Object.create(null);
746
712
  for (const node of states) {
@@ -843,6 +809,59 @@ const selectHistoryTarget = (builder, path) => {
843
809
  current = current[parts[index]];
844
810
  return current[parts[parts.length - 1]]();
845
811
  };
812
+ const selectableDefinitionTarget = (source, target, byPath) => {
813
+ const parts = target.split(".");
814
+ for (let index = 0; index < parts.length; index++) {
815
+ const path = parts.slice(0, index + 1).join(".");
816
+ const node = byPath.get(path)?.node;
817
+ if ((node?._tag === "Compound" || node?._tag === "Parallel") &&
818
+ source !== path && !source.startsWith(`${path}.`))
819
+ return path;
820
+ }
821
+ return target;
822
+ };
823
+ const selectDefinitionTarget = (selector, source, target, byPath) => {
824
+ const selected = byPath.get(target);
825
+ if (selected.node._tag === "History") {
826
+ return selectHistoryTarget(selector.history, target);
827
+ }
828
+ const sourceRoot = byPath.get(source).root;
829
+ if (selected.root !== sourceRoot) {
830
+ const root = target.split(".")[0];
831
+ return selector.full[root]();
832
+ }
833
+ const selectable = selectableDefinitionTarget(source, target, byPath);
834
+ let current = selector.branch;
835
+ const parts = selectable.split(".");
836
+ for (const part of parts)
837
+ current = current[part];
838
+ if (typeof current === "function")
839
+ return current();
840
+ return current.initial();
841
+ };
842
+ const resolveDefinitionTarget = (builder, source, target, byPath, value) => {
843
+ const selected = byPath.get(target);
844
+ if (selected.node._tag === "History")
845
+ return builder();
846
+ if (selected.root !== byPath.get(source).root) {
847
+ const parts = target.split(".");
848
+ return selectSnapshot({ [parts[0]]: builder }, parts[0], byPath, parts, 0, source, value);
849
+ }
850
+ const selectable = selectableDefinitionTarget(source, target, byPath);
851
+ if (selectable !== target) {
852
+ const bound = byPath.get(selectable);
853
+ const parts = target.split(".");
854
+ return selectSnapshot({ [bound.node.key]: builder }, selectable, byPath, parts, selectable.split(".").length - 1, source, value);
855
+ }
856
+ if (selected.node._tag === "Choice")
857
+ return builder();
858
+ const input = { value: value ?? selected.node.value };
859
+ if (selected.node._tag === "Compound" || selected.node._tag === "Parallel") {
860
+ const parts = target.split(".");
861
+ return selectSnapshot({ [selected.node.key]: builder }, target, byPath, parts, parts.length - 1, source, value);
862
+ }
863
+ return builder.from(input);
864
+ };
846
865
  const makeHandlers = (states, parent, byPath, transitions) => {
847
866
  const handlers = Object.create(null);
848
867
  for (const node of states) {
@@ -851,15 +870,10 @@ const makeHandlers = (states, parent, byPath, transitions) => {
851
870
  continue;
852
871
  if (node._tag === "Choice") {
853
872
  handlers[node.key] = {
854
- choice: {
855
- targets: node.targets,
856
- transition: ({ target }) => {
857
- const selected = byPath.get(node.selected);
858
- const parts = selected.path.split(".");
859
- const builder = selected.root === byPath.get(path).root ? target.branch : target.full;
860
- return selectSnapshot(builder, parts[0], byPath, parts, 0, path);
861
- }
862
- }
873
+ choice: Machine.transition({
874
+ target: (to) => selectDefinitionTarget(to, path, node.selected, byPath),
875
+ resolve: ({ target }) => resolveDefinitionTarget(target, path, node.selected, byPath)
876
+ })
863
877
  };
864
878
  continue;
865
879
  }
@@ -873,29 +887,15 @@ const makeHandlers = (states, parent, byPath, transitions) => {
873
887
  for (const transition of transitions.values()) {
874
888
  if (transition.source !== path)
875
889
  continue;
876
- const config = {
890
+ const config = Machine.transition({
877
891
  ...("reenter" in transition ? { reenter: transition.reenter } : {}),
878
- ...(transition.target === undefined
879
- ? {}
880
- : {
881
- targets: [
882
- byPath.get(transition.target).node._tag === "History" ||
883
- byPath.get(transition.target).node._tag === "Choice"
884
- ? transition.target
885
- : runtimeTargetPath(byPath, path, transition.target)
886
- ]
887
- }),
888
- transition: ({ target }) => {
889
- if (transition.target === undefined)
890
- return undefined;
891
- const targetState = byPath.get(transition.target);
892
- if (targetState.node._tag === "History")
893
- return selectHistoryTarget(target.history, targetState.path);
894
- const parts = transition.target.split(".");
895
- const builder = targetState.root === byPath.get(path).root ? target.branch : target.full;
896
- return selectSnapshot(builder, parts[0], byPath, parts, 0, path, transition.targetValue);
897
- }
898
- };
892
+ target: (to) => transition.target === undefined
893
+ ? to.none()
894
+ : selectDefinitionTarget(to, path, transition.target, byPath),
895
+ resolve: transition.target === undefined
896
+ ? () => undefined
897
+ : ({ target }) => resolveDefinitionTarget(target, path, transition.target, byPath, transition.targetValue)
898
+ });
899
899
  if (transition.trigger.type === "event")
900
900
  on[transition.trigger.event] = config;
901
901
  else if (transition.trigger.type === "always")
@@ -930,12 +930,12 @@ const makeHandlers = (states, parent, byPath, transitions) => {
930
930
  ...(Object.keys(history).length === 0 ? {} : { history }),
931
931
  ...(node._tag === "Compound"
932
932
  ? {
933
- initial: () => stateValue(byPath.get(`${path}.${node.initial}`))
933
+ initialize: ({ builder }) => builder(stateValue(byPath.get(`${path}.${node.initial}`)))
934
934
  }
935
935
  : {
936
- initial: () => Object.fromEntries(node.states
936
+ initialize: ({ builder }) => node.states
937
937
  .filter((child) => child._tag !== "History" && child._tag !== "Choice")
938
- .map((child) => [child.key, stateValue(byPath.get(`${path}.${child.key}`))]))
938
+ .reduce((current, child) => current[child.key](stateValue(byPath.get(`${path}.${child.key}`))), builder)
939
939
  }),
940
940
  states: makeHandlers(node.states, path, byPath, transitions)
941
941
  }
@@ -965,7 +965,13 @@ export const compileModel = (model) => {
965
965
  const machine = Machine.make({
966
966
  states: defined.states,
967
967
  events: Machine.events(...eventSchemas),
968
- initial: () => selectSnapshot(defined.initial, initial.path, byPath, [initial.path], 0)
968
+ initial: {
969
+ target: (to) => {
970
+ const selected = to[initial.path];
971
+ return typeof selected === "function" ? selected() : selected.initial();
972
+ },
973
+ resolve: ({ target }) => selectSnapshot({ [initial.path]: target }, initial.path, byPath, [initial.path], 0)
974
+ }
969
975
  });
970
976
  const transitions = new Map(model.transitions.map((transition) => [
971
977
  `${transition.source}\u0000${triggerKey(transition.trigger)}`,