@stevenvo780/st-lang 2.6.1 → 2.7.1

package/dist/tests/result-bindings.test.js

@@ -0,0 +1,59 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const interpreter_1 = require("../runtime/interpreter");
+const propositional_1 = require("../profiles/classical/propositional");
+(0, vitest_1.describe)('Captured action results', () => {
+    (0, vitest_1.it)('stores derivation results in variables with structured fields', () => {
+        const interp = new interpreter_1.Interpreter();
+        const out = interp.execute(`
+        logic classical.propositional
+        axiom a1 = P -> Q
+        axiom a2 = P
+        let manual = Q
+        let deriv = derive Q from {a1, a2}
+        let same = formula_eq(deriv.formula, manual)
+      `, '<test>');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        const bindings = interp.getLetBindings();
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)(bindings.get('deriv'))).toBe('Q');
+        (0, vitest_1.expect)(bindings.get('deriv.status')?.name).toBe('"provable"');
+        (0, vitest_1.expect)(bindings.get('deriv.command')?.name).toBe('"derive"');
+        (0, vitest_1.expect)(bindings.get('same')?.kind).toBe('number');
+        (0, vitest_1.expect)(bindings.get('same')?.value).toBe(1);
+    });
+    (0, vitest_1.it)('decomposes formulas into list values and supports indexing helpers', () => {
+        const interp = new interpreter_1.Interpreter();
+        const out = interp.execute(`
+        logic classical.propositional
+        let f = (P & Q) -> R
+        let atoms = atoms_of(f)
+        let count = len(atoms)
+        let second = at(atoms, 1)
+      `, '<test>');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        const bindings = interp.getLetBindings();
+        (0, vitest_1.expect)(bindings.get('atoms')?.kind).toBe('list');
+        (0, vitest_1.expect)(bindings.get('count')?.value).toBe(3);
+        (0, vitest_1.expect)(bindings.get('second')?.kind).toBe('atom');
+        (0, vitest_1.expect)(bindings.get('second')?.name).toBe('Q');
+    });
+    (0, vitest_1.it)('captures truth table metadata as structured fields', () => {
+        const interp = new interpreter_1.Interpreter();
+        const out = interp.execute(`
+        logic classical.propositional
+        let tt = truth_table (P & Q)
+        let vars = tt.variables
+        let first = at(vars, 0)
+        let total = len(vars)
+      `, '<test>');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        const bindings = interp.getLetBindings();
+        (0, vitest_1.expect)(bindings.get('tt.status')?.name).toBe('"satisfiable"');
+        (0, vitest_1.expect)(bindings.get('tt.rows_count')?.value).toBe(4);
+        (0, vitest_1.expect)(bindings.get('vars')?.kind).toBe('list');
+        (0, vitest_1.expect)(bindings.get('first')?.name).toBe('P');
+        (0, vitest_1.expect)(bindings.get('total')?.value).toBe(2);
+    });
+});
+//# sourceMappingURL=result-bindings.test.js.map

package/dist/tests/result-bindings.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"result-bindings.test.js","sourceRoot":"","sources":["../../src/tests/result-bindings.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,wDAAqD;AACrD,uEAAsE;AAEtE,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,MAAM,GAAG,IAAI,yBAAW,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CACxB;;;;;;;OAOC,EACD,QAAQ,CACT,CAAC;QAEF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE7B,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,MAAM,GAAG,IAAI,yBAAW,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CACxB;;;;;;OAMC,EACD,QAAQ,CACT,CAAC;QAEF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE7B,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC;QACzC,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,MAAM,GAAG,IAAI,yBAAW,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CACxB;;;;;;OAMC,EACD,QAAQ,CACT,CAAC;QAEF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE7B,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC;QACzC,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/stress-hardware.test.d.ts

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

package/dist/tests/stress-hardware.test.d.ts.map

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