@stevenvo780/st-lang 4.3.0 → 4.5.0

package/dist/tests/nbe/nbe.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nbe.test.js","sourceRoot":"","sources":["../../../src/tests/nbe/nbe.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,mCAcmB;AAEnB,iDAAiD;AACjD,MAAM,CAAC,GAAG,IAAA,WAAK,EAAC,GAAG,CAAC,CAAC;AACrB,MAAM,CAAC,GAAG,IAAA,WAAK,EAAC,GAAG,CAAC,CAAC;AACrB,MAAM,IAAI,GAAG,IAAA,UAAI,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACxB,MAAM,OAAO,GAAG,IAAA,UAAI,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAE9B,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,uBAAuB;QACvB,MAAM,CAAC,GAAG,IAAA,QAAE,EAAC,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9B,oDAAoD;QACpD,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAS,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,QAAQ;QAChC,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAS,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC;QACvB,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,IAAA,UAAI,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1C,sBAAsB;QACtB,MAAM,QAAQ,GAAG,IAAA,SAAG,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,QAAE,EAAC,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,CAAC,GAAG,IAAA,SAAG,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,IAAA,UAAI,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,KAAK,GAAG,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK;QACxC,MAAM,OAAO,GAAG,IAAA,SAAG,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5E,MAAM,CAAC,GAAG,IAAA,QAAE,EAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,IAAA,QAAE,EAAC,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACxB,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,IAAA,UAAI,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,IAAI,GAAG,IAAA,SAAG,EAAC,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACnE,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,CAAC,GAAG,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,GAAG,IAAA,QAAE,EAAC,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,GAAG,IAAA,kBAAY,EAAC,IAAA,eAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,IAAA,kBAAY,EAAC,IAAA,eAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,IAAA,kBAAY,EAAC,IAAA,eAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,kEAAkE;QAClE,iEAAiE;QACjE,2CAA2C;QAC3C,MAAM,CAAC,GAAG,IAAA,QAAE,EAAC,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACvD,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,IAAA,UAAI,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,gDAAgD;QAChD,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,GAAG,IAAA,SAAG,EAAC,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACzC,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,6BAA6B;QAC7B,kDAAkD;QAClD,mBAAmB;QACnB,MAAM,KAAK,GAAG,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,IAAA,SAAG,EAAC,GAAG,EAAE,OAAO,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,QAAE,EAAC,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACzE,MAAM,CAAC,GAAG,IAAA,QAAE,EAAC,IAAA,QAAE,EAAC,CAAC,EAAE,KAAK,CAAC,EAAE,IAAA,OAAC,EAAC,OAAO,CAAC,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,IAAA,OAAC,EAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,IAAA,cAAQ,EAAC,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAS,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,kBAAkB;QAC1C,MAAM,GAAG,GAAG,IAAA,cAAQ,EAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAA,kBAAY,EAAC,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,qBAAe,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/D,MAAM,CAAC,GAAG,IAAA,kBAAY,EAAC,IAAA,WAAK,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,qBAAe,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,yDAAyD;QACzD,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,IAAA,QAAE,EAAC,IAAA,SAAG,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/F,MAAM,GAAG,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAA,eAAS,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,CAAC,GAAG,IAAA,QAAE,EAAC,IAAA,SAAG,EAAC,GAAG,EAAE,IAAI,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,EAAE,EAAE,IAAA,SAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,QAAE,EAAC,IAAA,OAAC,EAAC,GAAG,CAAC,EAAE,IAAA,OAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/pi-calculus/pi-calculus.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=pi-calculus.test.d.ts.map

package/dist/tests/pi-calculus/pi-calculus.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pi-calculus.test.d.ts","sourceRoot":"","sources":["../../../src/tests/pi-calculus/pi-calculus.test.ts"],"names":[],"mappings":""}

package/dist/tests/pi-calculus/pi-calculus.test.js

@@ -0,0 +1,273 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const pi_calculus_1 = require("../../runtime/pi-calculus");
+// ------------------------------------------------------------
+// Constructores cómodos para escribir procesos en los tests.
+// ------------------------------------------------------------
+const nil = { kind: 'nil' };
+function inp(channel, bind, cont = nil) {
+    return { kind: 'input', channel, bind, cont };
+}
+function out(channel, value, cont = nil) {
+    return { kind: 'output', channel, value, cont };
+}
+function par(left, right) {
+    return { kind: 'parallel', left, right };
+}
+function nu(channel, body) {
+    return { kind: 'new', channel, body };
+}
+function rep(body) {
+    return { kind: 'replication', body };
+}
+function sum(left, right) {
+    return { kind: 'choice', left, right };
+}
+function match(left, right, cont) {
+    return { kind: 'match', left, right, cont };
+}
+// ------------------------------------------------------------
+// Helpers de assertion semántico.
+// ------------------------------------------------------------
+function setEq(a, b) {
+    const bs = new Set(b);
+    if (a.size !== bs.size)
+        return false;
+    for (const x of a)
+        if (!bs.has(x))
+            return false;
+    return true;
+}
+// ------------------------------------------------------------
+// Tests
+// ------------------------------------------------------------
+(0, vitest_1.describe)('π-calculus — nombres libres y ligados', () => {
+    (0, vitest_1.it)('fn(0) = ∅', () => {
+        (0, vitest_1.expect)((0, pi_calculus_1.freeNames)(nil).size).toBe(0);
+        (0, vitest_1.expect)((0, pi_calculus_1.boundNames)(nil).size).toBe(0);
+    });
+    (0, vitest_1.it)('fn(c̄⟨v⟩.0) = {c, v}', () => {
+        const p = out('c', 'v');
+        (0, vitest_1.expect)(setEq((0, pi_calculus_1.freeNames)(p), ['c', 'v'])).toBe(true);
+    });
+    (0, vitest_1.it)('fn(c(x).x̄⟨a⟩.0) = {c, a}; bn = {x}', () => {
+        // x es ligado por el input, no aparece libre.
+        const p = inp('c', 'x', out('x', 'a'));
+        (0, vitest_1.expect)(setEq((0, pi_calculus_1.freeNames)(p), ['c', 'a'])).toBe(true);
+        (0, vitest_1.expect)(setEq((0, pi_calculus_1.boundNames)(p), ['x'])).toBe(true);
+    });
+    (0, vitest_1.it)('(νc) c̄⟨v⟩.0 — c ligado, v libre', () => {
+        const p = nu('c', out('c', 'v'));
+        (0, vitest_1.expect)(setEq((0, pi_calculus_1.freeNames)(p), ['v'])).toBe(true);
+        (0, vitest_1.expect)(setEq((0, pi_calculus_1.boundNames)(p), ['c'])).toBe(true);
+    });
+});
+(0, vitest_1.describe)('π-calculus — α-renaming preserva semántica', () => {
+    (0, vitest_1.it)('renombrar un nombre libre mantiene la estructura', () => {
+        const p = par(out('c', 'a'), inp('c', 'x', out('x', 'b')));
+        const q = (0, pi_calculus_1.alphaRename)(p, 'b', 'B');
+        (0, vitest_1.expect)(setEq((0, pi_calculus_1.freeNames)(q), ['c', 'a', 'B'])).toBe(true);
+    });
+    (0, vitest_1.it)('renombrar un binder de input es inocuo si elegimos un fresco', () => {
+        // c(x).x̄⟨a⟩.0  =α=  c(y).ȳ⟨a⟩.0
+        const innerCont = out('x', 'a');
+        const p = { kind: 'input', channel: 'c', bind: 'x', cont: innerCont };
+        const renamedBody = (0, pi_calculus_1.alphaRename)(innerCont, 'x', 'y');
+        const q = { kind: 'input', channel: 'c', bind: 'y', cont: renamedBody };
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(p, q)).toBe(true);
+    });
+    (0, vitest_1.it)('alphaRename no captura: no toca apariciones bajo binder homónimo', () => {
+        // En c(x).x̄⟨a⟩.0, "x" interno está ligado y NO debe renombrarse
+        // si la sustitución parte del exterior.
+        const p = inp('c', 'x', out('x', 'a'));
+        const q = (0, pi_calculus_1.alphaRename)(p, 'x', 'Z');
+        // El cuerpo sigue usando "x" porque el binder lo atrapa.
+        (0, vitest_1.expect)(q).toEqual(inp('c', 'x', out('x', 'a')));
+    });
+});
+(0, vitest_1.describe)('π-calculus — sustitución capture-avoiding', () => {
+    (0, vitest_1.it)('P[x := v] cuando x no aparece libre devuelve P intacto', () => {
+        const p = out('c', 'd');
+        (0, vitest_1.expect)((0, pi_calculus_1.substitute)(p, 'x', 'v')).toEqual(p);
+    });
+    (0, vitest_1.it)('c̄⟨x⟩.0 [x := a] = c̄⟨a⟩.0', () => {
+        (0, vitest_1.expect)((0, pi_calculus_1.substitute)(out('c', 'x'), 'x', 'a')).toEqual(out('c', 'a'));
+    });
+    (0, vitest_1.it)('evita captura: c(v).v̄⟨w⟩.0 [w := v] α-refresca v', () => {
+        // El binder v capturaría la v que viene de afuera.
+        const p = inp('c', 'v', out('v', 'w'));
+        const r = (0, pi_calculus_1.substitute)(p, 'w', 'v');
+        (0, vitest_1.expect)(r.kind).toBe('input');
+        if (r.kind !== 'input')
+            return;
+        // El binder fue refrescado.
+        (0, vitest_1.expect)(r.bind).not.toBe('v');
+        // Las apariciones internas de "v" originales no se confunden con
+        // la "v" que reemplazó a "w".
+        (0, vitest_1.expect)((0, pi_calculus_1.freeNames)(r).has('v')).toBe(true);
+    });
+});
+(0, vitest_1.describe)('π-calculus — reducción COMM', () => {
+    (0, vitest_1.it)('c̄⟨a⟩.0 | c(x).0 → 0 | 0', () => {
+        const p = par(out('c', 'a'), inp('c', 'x'));
+        const next = (0, pi_calculus_1.reduce)(p);
+        (0, vitest_1.expect)(next.length).toBeGreaterThanOrEqual(1);
+        const head = next[0];
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(head, par(nil, nil))).toBe(true);
+    });
+    (0, vitest_1.it)('c̄⟨a⟩.0 | c(x).P sustituye x por a en P', () => {
+        // P = x̄⟨b⟩.0 — tras COMM debería quedar ā⟨b⟩.0
+        const p = par(out('c', 'a'), inp('c', 'x', out('x', 'b')));
+        const next = (0, pi_calculus_1.reduce)(p);
+        const found = next.some((q) => (0, pi_calculus_1.structuralCongruence)(q, par(nil, out('a', 'b'))));
+        (0, vitest_1.expect)(found).toBe(true);
+    });
+    (0, vitest_1.it)('(νc)(c̄⟨a⟩.0 | c(x).x̄⟨b⟩.0) reduce y expone comunicación', () => {
+        // Canal restringido + comunicación interna: COMM atraviesa (νc).
+        const p = nu('c', par(out('c', 'a'), inp('c', 'x', out('x', 'b'))));
+        const next = (0, pi_calculus_1.reduce)(p);
+        (0, vitest_1.expect)(next.length).toBeGreaterThan(0);
+        // El resultado debe contener un output a^⟨b⟩.0 visible (ya que x ↦ a).
+        const reduced = next[0];
+        // (νc)(0 | ā⟨b⟩.0) — c ya no aparece libre dentro, pero seguimos
+        // teniendo ā⟨b⟩.0 visible bajo el scope.
+        const expected = nu('c', par(nil, out('a', 'b')));
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(reduced, expected)).toBe(true);
+    });
+    (0, vitest_1.it)('!c̄⟨a⟩.0 | c(x).0 | c(x).0 permite ≥ 2 reducciones distintas', () => {
+        // La replicación produce copias del output; los dos inputs pueden
+        // consumir cada uno una copia.
+        const p = par(par(rep(out('c', 'a')), inp('c', 'x')), inp('c', 'x'));
+        const next = (0, pi_calculus_1.reduce)(p);
+        // Hay múltiples pares input/output posibles → varios sucesores.
+        (0, vitest_1.expect)(next.length).toBeGreaterThanOrEqual(2);
+    });
+    (0, vitest_1.it)('canales distintos no comunican: a(x).0 | b̄⟨v⟩.0 no reduce', () => {
+        const p = par(inp('a', 'x'), out('b', 'v'));
+        (0, vitest_1.expect)((0, pi_calculus_1.reduce)(p)).toEqual([]);
+        (0, vitest_1.expect)((0, pi_calculus_1.isDeadlocked)(p)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('π-calculus — deadlock', () => {
+    (0, vitest_1.it)('0 está deadlocked', () => {
+        (0, vitest_1.expect)((0, pi_calculus_1.isDeadlocked)(nil)).toBe(true);
+    });
+    (0, vitest_1.it)('0 | 0 está deadlocked', () => {
+        (0, vitest_1.expect)((0, pi_calculus_1.isDeadlocked)(par(nil, nil))).toBe(true);
+    });
+    (0, vitest_1.it)('input sin output complementario está deadlocked', () => {
+        (0, vitest_1.expect)((0, pi_calculus_1.isDeadlocked)(inp('c', 'x'))).toBe(true);
+    });
+    (0, vitest_1.it)('output sin input complementario está deadlocked', () => {
+        (0, vitest_1.expect)((0, pi_calculus_1.isDeadlocked)(out('c', 'v'))).toBe(true);
+    });
+});
+(0, vitest_1.describe)('π-calculus — match / replicación / choice', () => {
+    (0, vitest_1.it)('[x = x].P reduce a P', () => {
+        const inner = out('c', 'v');
+        const p = match('x', 'x', inner);
+        const next = (0, pi_calculus_1.reduce)(p);
+        (0, vitest_1.expect)(next.length).toBeGreaterThanOrEqual(1);
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(next[0], inner)).toBe(true);
+    });
+    (0, vitest_1.it)('[x = y].P no reduce si x ≠ y', () => {
+        const p = match('x', 'y', out('c', 'v'));
+        (0, vitest_1.expect)((0, pi_calculus_1.reduce)(p)).toEqual([]);
+    });
+    (0, vitest_1.it)('choice: c̄⟨a⟩.0 + d̄⟨b⟩.0 | c(x).0 → 0 (rama c elegida, d descartada)', () => {
+        const p = par(sum(out('c', 'a'), out('d', 'b')), inp('c', 'x'));
+        const next = (0, pi_calculus_1.reduce)(p);
+        // Al menos un sucesor que es ≡ 0 | 0 (la rama c̄⟨a⟩ se consume, d̄⟨b⟩
+        // se descarta por la regla SUM).
+        const reduced = next.some((q) => (0, pi_calculus_1.structuralCongruence)(q, par(nil, nil)));
+        (0, vitest_1.expect)(reduced).toBe(true);
+    });
+    (0, vitest_1.it)('replicación produce comunicaciones repetibles', () => {
+        // !c(x).0 | c̄⟨a⟩.0  → !c(x).0 | 0  (la copia consumida queda libre
+        // y la replicación sigue disponible para más outputs futuros).
+        const p = par(rep(inp('c', 'x')), out('c', 'a'));
+        const next = (0, pi_calculus_1.reduce)(p);
+        (0, vitest_1.expect)(next.length).toBeGreaterThan(0);
+        // Confirmamos que sigue habiendo una replicación en el sucesor.
+        const stillReplicates = next.some((q) => containsReplication(q));
+        (0, vitest_1.expect)(stillReplicates).toBe(true);
+    });
+});
+(0, vitest_1.describe)('π-calculus — congruencia estructural', () => {
+    (0, vitest_1.it)('P | 0 ≡ P', () => {
+        const P = out('c', 'a');
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(par(P, nil), P)).toBe(true);
+    });
+    (0, vitest_1.it)('P | Q ≡ Q | P (conmutatividad)', () => {
+        const P = out('c', 'a');
+        const Q = out('d', 'b');
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(par(P, Q), par(Q, P))).toBe(true);
+    });
+    (0, vitest_1.it)('(P | Q) | R ≡ P | (Q | R) (asociatividad)', () => {
+        const P = out('c', 'a');
+        const Q = out('d', 'b');
+        const R = out('e', 'f');
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(par(par(P, Q), R), par(P, par(Q, R)))).toBe(true);
+    });
+    (0, vitest_1.it)('(νc) 0 ≡ 0', () => {
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(nu('c', nil), nil)).toBe(true);
+    });
+    (0, vitest_1.it)('(νc)(νd) P ≡ (νd)(νc) P (intercambio de scopes)', () => {
+        const P = par(out('c', 'a'), inp('d', 'x'));
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(nu('c', nu('d', P)), nu('d', nu('c', P)))).toBe(true);
+    });
+    (0, vitest_1.it)('α-equivalencia: c(x).x̄⟨a⟩.0 ≡ c(y).ȳ⟨a⟩.0', () => {
+        const p = inp('c', 'x', out('x', 'a'));
+        const q = inp('c', 'y', out('y', 'a'));
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(p, q)).toBe(true);
+    });
+    (0, vitest_1.it)('procesos distintos no son congruentes', () => {
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(out('c', 'a'), out('d', 'a'))).toBe(false);
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(out('c', 'a'), inp('c', 'a'))).toBe(false);
+    });
+    (0, vitest_1.it)('scope extrusion: (νc)(P | Q) ≡ P | (νc) Q cuando c ∉ fn(P)', () => {
+        // P = ā⟨b⟩.0 no menciona c; Q = c̄⟨b⟩.0 sí.
+        const P = out('a', 'b');
+        const Q = out('c', 'b');
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(nu('c', par(P, Q)), par(P, nu('c', Q)))).toBe(true);
+    });
+});
+(0, vitest_1.describe)('π-calculus — trace', () => {
+    (0, vitest_1.it)('trace de proceso terminal solo tiene el inicio', () => {
+        (0, vitest_1.expect)((0, pi_calculus_1.trace)(nil).length).toBe(1);
+    });
+    (0, vitest_1.it)('trace de proceso reducible avanza ≥ 1 paso', () => {
+        const p = par(out('c', 'a'), inp('c', 'x', out('x', 'b')));
+        const tr = (0, pi_calculus_1.trace)(p, 5);
+        (0, vitest_1.expect)(tr.length).toBeGreaterThanOrEqual(2);
+    });
+    (0, vitest_1.it)('trace respeta maxSteps', () => {
+        // Replicación + emisor único produce trazas potencialmente largas;
+        // capamos a 3 pasos.
+        const p = par(rep(inp('c', 'x')), par(out('c', 'a'), out('c', 'b')));
+        const tr = (0, pi_calculus_1.trace)(p, 3);
+        (0, vitest_1.expect)(tr.length).toBeLessThanOrEqual(4); // estado inicial + ≤3 pasos
+    });
+});
+// ------------------------------------------------------------
+// Aux
+// ------------------------------------------------------------
+function containsReplication(p) {
+    switch (p.kind) {
+        case 'replication':
+            return true;
+        case 'parallel':
+        case 'choice':
+            return containsReplication(p.left) || containsReplication(p.right);
+        case 'new':
+            return containsReplication(p.body);
+        case 'input':
+        case 'output':
+        case 'match':
+            return containsReplication(p.cont);
+        case 'nil':
+            return false;
+    }
+}
+//# sourceMappingURL=pi-calculus.test.js.map

package/dist/tests/pi-calculus/pi-calculus.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pi-calculus.test.js","sourceRoot":"","sources":["../../../src/tests/pi-calculus/pi-calculus.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,2DASmC;AAGnC,+DAA+D;AAC/D,6DAA6D;AAC7D,+DAA+D;AAE/D,MAAM,GAAG,GAAc,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAEvC,SAAS,GAAG,CAAC,OAAe,EAAE,IAAY,EAAE,OAAkB,GAAG;IAC/D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,GAAG,CAAC,OAAe,EAAE,KAAa,EAAE,OAAkB,GAAG;IAChE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAClD,CAAC;AAED,SAAS,GAAG,CAAC,IAAe,EAAE,KAAgB;IAC5C,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,EAAE,CAAC,OAAe,EAAE,IAAe;IAC1C,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACxC,CAAC;AAED,SAAS,GAAG,CAAC,IAAe;IAC1B,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;AACvC,CAAC;AAED,SAAS,GAAG,CAAC,IAAe,EAAE,KAAgB;IAC5C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACzC,CAAC;AAED,SAAS,KAAK,CAAC,IAAY,EAAE,KAAa,EAAE,IAAe;IACzD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAC9C,CAAC;AAED,+DAA+D;AAC/D,kCAAkC;AAClC,+DAA+D;AAE/D,SAAS,KAAK,CAAI,CAAS,EAAE,CAAc;IACzC,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IACtB,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IAChD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+DAA+D;AAC/D,QAAQ;AACR,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,IAAA,eAAM,EAAC,IAAA,uBAAS,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,KAAK,CAAC,IAAA,uBAAS,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,8CAA8C;QAC9C,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAA,uBAAS,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,KAAK,CAAC,IAAA,wBAAU,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAA,uBAAS,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,KAAK,CAAC,IAAA,wBAAU,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAA,uBAAS,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,iCAAiC;QACjC,MAAM,SAAS,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAChC,MAAM,CAAC,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACjF,MAAM,WAAW,GAAG,IAAA,yBAAW,EAAC,SAAS,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACrD,MAAM,CAAC,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QACnF,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,iEAAiE;QACjE,wCAAwC;QACxC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,yDAAyD;QACzD,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,mDAAmD;QACnD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO;QAC/B,4BAA4B;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,iEAAiE;QACjE,8BAA8B;QAC9B,IAAA,eAAM,EAAC,IAAA,uBAAS,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,gDAAgD;QAChD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,kCAAoB,EAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,iEAAiE;QACjE,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpE,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACvC,uEAAuE;QACvE,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACxB,iEAAiE;QACjE,yCAAyC;QACzC,MAAM,QAAQ,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,kEAAkE;QAClE,+BAA+B;QAC/B,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACrE,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,gEAAgE;QAChE,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;QACjC,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAChE,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,sEAAsE;QACtE,iCAAiC;QACjC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,kCAAoB,EAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,oEAAoE;QACpE,+DAA+D;QAC/D,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACvC,gEAAgE;QAChE,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,4CAA4C;QAC5C,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,IAAA,eAAM,EAAC,IAAA,mBAAK,EAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,EAAE,GAAG,IAAA,mBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,mEAAmE;QACnE,qBAAqB;QACrB,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACrE,MAAM,EAAE,GAAG,IAAA,mBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,4BAA4B;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,MAAM;AACN,+DAA+D;AAE/D,SAAS,mBAAmB,CAAC,CAAY;IACvC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,aAAa;YAChB,OAAO,IAAI,CAAC;QACd,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ;YACX,OAAO,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACrE,KAAK,KAAK;YACR,OAAO,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACrC,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO;YACV,OAAO,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACrC,KAAK,KAAK;YACR,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC"}

package/dist/tests/planning/planning.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=planning.test.d.ts.map

package/dist/tests/planning/planning.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"planning.test.d.ts","sourceRoot":"","sources":["../../../src/tests/planning/planning.test.ts"],"names":[],"mappings":""}