@stevenvo780/st-lang 4.14.0 → 4.15.0

package/dist/tests/coverage-90/coverage-90-certificate-rules.test.js

@@ -0,0 +1,172 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const rules_1 = require("../../proof-systems/certificate/rules");
+function check(name, args, conclusion, premises) {
+    const fn = rules_1.STANDARD_RULES.get(name);
+    if (!fn)
+        throw new Error(`Unknown rule: ${name}`);
+    return fn(args, conclusion, premises);
+}
+(0, vitest_1.describe)('coverage-90 — certificate STANDARD_RULES checkers', () => {
+    // ---- axiom / premise ----
+    (0, vitest_1.it)('axiom accepts conclusion present in args', () => {
+        (0, vitest_1.expect)(check('axiom', ['P -> Q'], 'P -> Q', [])).toBe(true);
+    });
+    (0, vitest_1.it)('axiom rejects when conclusion not in args', () => {
+        (0, vitest_1.expect)(check('axiom', ['P'], 'Q', [])).toBe(false);
+    });
+    (0, vitest_1.it)('axiom rejects when premises present', () => {
+        (0, vitest_1.expect)(check('axiom', ['P'], 'P', ['Q'])).toBe(false);
+    });
+    (0, vitest_1.it)('axiom rejects no args', () => {
+        (0, vitest_1.expect)(check('axiom', [], 'P', [])).toBe(false);
+    });
+    // ---- assumption / hypothesis ----
+    (0, vitest_1.it)('assumption: no premises required', () => {
+        (0, vitest_1.expect)(check('assumption', [], 'P', [])).toBe(true);
+        (0, vitest_1.expect)(check('hypothesis', [], 'P', [])).toBe(true);
+    });
+    (0, vitest_1.it)('assumption rejected with premises', () => {
+        (0, vitest_1.expect)(check('assumption', [], 'P', ['Q'])).toBe(false);
+    });
+    // ---- reiteration / reit ----
+    (0, vitest_1.it)('reit: single premise equal to conclusion', () => {
+        (0, vitest_1.expect)(check('reit', [], 'P', ['P'])).toBe(true);
+        (0, vitest_1.expect)(check('reiteration', [], '(P)', ['P'])).toBe(true);
+    });
+    (0, vitest_1.it)('reit rejects different premise', () => {
+        (0, vitest_1.expect)(check('reit', [], 'P', ['Q'])).toBe(false);
+    });
+    (0, vitest_1.it)('reit rejects multiple premises', () => {
+        (0, vitest_1.expect)(check('reit', [], 'P', ['P', 'Q'])).toBe(false);
+    });
+    // ---- modus-ponens / mp / ->E ----
+    (0, vitest_1.it)('modus-ponens accepts A->B, A ⊢ B', () => {
+        (0, vitest_1.expect)(check('modus-ponens', [], 'B', ['A -> B', 'A'])).toBe(true);
+        (0, vitest_1.expect)(check('mp', [], 'Q', ['P -> Q', 'P'])).toBe(true);
+        (0, vitest_1.expect)(check('->E', [], 'Q', ['P -> Q', 'P'])).toBe(true);
+    });
+    (0, vitest_1.it)('mp rejects wrong premises count', () => {
+        (0, vitest_1.expect)(check('mp', [], 'Q', ['P -> Q'])).toBe(false);
+    });
+    (0, vitest_1.it)('mp rejects non-implies first premise', () => {
+        (0, vitest_1.expect)(check('mp', [], 'Q', ['P & Q', 'P'])).toBe(false);
+    });
+    (0, vitest_1.it)('mp rejects mismatched antecedent', () => {
+        (0, vitest_1.expect)(check('mp', [], 'Q', ['P -> Q', 'R'])).toBe(false);
+    });
+    // ---- modus-tollens ----
+    (0, vitest_1.it)('modus-tollens accepts A->B, ¬B ⊢ ¬A', () => {
+        (0, vitest_1.expect)(check('modus-tollens', [], '¬A', ['A -> B', '¬B'])).toBe(true);
+        (0, vitest_1.expect)(check('modus-tollens', [], '~P', ['P -> Q', '~Q'])).toBe(true);
+    });
+    (0, vitest_1.it)('modus-tollens rejects when negation pattern wrong', () => {
+        (0, vitest_1.expect)(check('modus-tollens', [], 'A', ['A -> B', '¬B'])).toBe(false);
+    });
+    // ---- and-intro ----
+    (0, vitest_1.it)('and-intro: A, B ⊢ A & B', () => {
+        (0, vitest_1.expect)(check('and-intro', [], 'A & B', ['A', 'B'])).toBe(true);
+        (0, vitest_1.expect)(check('and-intro', [], 'P ∧ Q', ['P', 'Q'])).toBe(true);
+    });
+    (0, vitest_1.it)('and-intro rejects mismatch', () => {
+        (0, vitest_1.expect)(check('and-intro', [], 'A & B', ['A', 'C'])).toBe(false);
+    });
+    // ---- and-elim ----
+    (0, vitest_1.it)('and-elim-left: A & B ⊢ A', () => {
+        (0, vitest_1.expect)(check('and-elim-left', [], 'A', ['A & B'])).toBe(true);
+    });
+    (0, vitest_1.it)('and-elim-right: A & B ⊢ B', () => {
+        (0, vitest_1.expect)(check('and-elim-right', [], 'B', ['A & B'])).toBe(true);
+    });
+    (0, vitest_1.it)('and-elim-left rejects non-and premise', () => {
+        (0, vitest_1.expect)(check('and-elim-left', [], 'A', ['A | B'])).toBe(false);
+    });
+    // ---- or-intro ----
+    (0, vitest_1.it)('or-intro-left: A ⊢ A | B', () => {
+        (0, vitest_1.expect)(check('or-intro-left', [], 'A | B', ['A'])).toBe(true);
+    });
+    (0, vitest_1.it)('or-intro-right: B ⊢ A | B', () => {
+        (0, vitest_1.expect)(check('or-intro-right', [], 'A | B', ['B'])).toBe(true);
+    });
+    // ---- or-elim ----
+    (0, vitest_1.it)('or-elim: A|B, A->C, B->C ⊢ C', () => {
+        (0, vitest_1.expect)(check('or-elim', [], 'C', ['A | B', 'A -> C', 'B -> C'])).toBe(true);
+    });
+    (0, vitest_1.it)('or-elim rejects mismatched conclusion', () => {
+        (0, vitest_1.expect)(check('or-elim', [], 'D', ['A | B', 'A -> C', 'B -> C'])).toBe(false);
+    });
+    (0, vitest_1.it)('or-elim rejects wrong premises count', () => {
+        (0, vitest_1.expect)(check('or-elim', [], 'C', ['A | B', 'A -> C'])).toBe(false);
+    });
+    // ---- implies-intro ----
+    (0, vitest_1.it)('implies-intro: assumes A, derived B ⊢ A -> B', () => {
+        (0, vitest_1.expect)(check('implies-intro', ['A'], 'A -> B', ['B'])).toBe(true);
+    });
+    (0, vitest_1.it)('implies-intro rejects no args', () => {
+        (0, vitest_1.expect)(check('implies-intro', [], 'A -> B', ['B'])).toBe(false);
+    });
+    // ---- not-intro ----
+    (0, vitest_1.it)('not-intro: from ⊥ assuming A ⊢ ¬A', () => {
+        (0, vitest_1.expect)(check('not-intro', ['P'], '¬P', ['⊥'])).toBe(true);
+        (0, vitest_1.expect)(check('not-intro', ['P'], '~P', ['false'])).toBe(true);
+        (0, vitest_1.expect)(check('not-intro', ['P'], '!P', ['bottom'])).toBe(true);
+    });
+    (0, vitest_1.it)('not-intro rejects non-bottom premise', () => {
+        (0, vitest_1.expect)(check('not-intro', ['P'], '¬P', ['Q'])).toBe(false);
+    });
+    // ---- not-elim ----
+    (0, vitest_1.it)('not-elim: A, ¬A ⊢ ⊥', () => {
+        (0, vitest_1.expect)(check('not-elim', [], '⊥', ['P', '¬P'])).toBe(true);
+        (0, vitest_1.expect)(check('not-elim', [], 'false', ['Q', '~Q'])).toBe(true);
+    });
+    (0, vitest_1.it)('not-elim rejects non-matching pair', () => {
+        (0, vitest_1.expect)(check('not-elim', [], '⊥', ['P', '¬Q'])).toBe(false);
+    });
+    // ---- efq ----
+    (0, vitest_1.it)('efq: from ⊥ derive anything', () => {
+        (0, vitest_1.expect)(check('efq', [], 'P', ['⊥'])).toBe(true);
+        (0, vitest_1.expect)(check('efq', [], 'Q', ['false'])).toBe(true);
+    });
+    (0, vitest_1.it)('efq rejects non-bottom premise', () => {
+        (0, vitest_1.expect)(check('efq', [], 'P', ['Q'])).toBe(false);
+    });
+    // ---- double-neg ----
+    (0, vitest_1.it)('double-neg-elim: ¬¬A ⊢ A', () => {
+        (0, vitest_1.expect)(check('double-neg-elim', [], 'A', ['¬¬A'])).toBe(true);
+    });
+    (0, vitest_1.it)('double-neg-intro: A ⊢ ¬¬A', () => {
+        (0, vitest_1.expect)(check('double-neg-intro', [], '¬¬A', ['A'])).toBe(true);
+    });
+    (0, vitest_1.it)('double-neg-elim rejects single negation', () => {
+        (0, vitest_1.expect)(check('double-neg-elim', [], 'A', ['¬A'])).toBe(false);
+    });
+    // ---- iff rules ----
+    (0, vitest_1.it)('iff-intro: A->B, B->A ⊢ A<->B', () => {
+        (0, vitest_1.expect)(check('iff-intro', [], 'A <-> B', ['A -> B', 'B -> A'])).toBe(true);
+    });
+    (0, vitest_1.it)('iff-intro rejects mismatch', () => {
+        (0, vitest_1.expect)(check('iff-intro', [], 'A <-> C', ['A -> B', 'B -> A'])).toBe(false);
+    });
+    (0, vitest_1.it)('iff-elim-left: A<->B ⊢ A->B', () => {
+        (0, vitest_1.expect)(check('iff-elim-left', [], 'A -> B', ['A <-> B'])).toBe(true);
+    });
+    (0, vitest_1.it)('iff-elim-right: A<->B ⊢ B->A', () => {
+        (0, vitest_1.expect)(check('iff-elim-right', [], 'B -> A', ['A <-> B'])).toBe(true);
+    });
+    // ---- Mixed spellings (¬, ~, !, not) ----
+    (0, vitest_1.it)('mp accepts ASCII implies', () => {
+        (0, vitest_1.expect)(check('mp', [], 'Q', ['P -> Q', 'P'])).toBe(true);
+    });
+    (0, vitest_1.it)('mp accepts unicode →', () => {
+        (0, vitest_1.expect)(check('mp', [], 'Q', ['P → Q', 'P'])).toBe(true);
+    });
+    (0, vitest_1.it)('and-intro accepts unicode ∧', () => {
+        (0, vitest_1.expect)(check('and-intro', [], 'P ∧ Q', ['P', 'Q'])).toBe(true);
+    });
+    // ---- Parenthesized formulas ----
+    (0, vitest_1.it)('mp strips outer parens', () => {
+        (0, vitest_1.expect)(check('mp', [], 'Q', ['(P -> Q)', '(P)'])).toBe(true);
+    });
+});
+//# sourceMappingURL=coverage-90-certificate-rules.test.js.map

package/dist/tests/coverage-90/coverage-90-certificate-rules.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-90-certificate-rules.test.js","sourceRoot":"","sources":["../../../src/tests/coverage-90/coverage-90-certificate-rules.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,iEAAuE;AAEvE,SAAS,KAAK,CAAC,IAAY,EAAE,IAAc,EAAE,UAAkB,EAAE,QAAkB;IACjF,MAAM,EAAE,GAAG,sBAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC;IAClD,OAAO,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;AACxC,CAAC;AAED,IAAA,iBAAQ,EAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,4BAA4B;IAC5B,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,oCAAoC;IACpC,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,KAAK,CAAC,YAAY,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,KAAK,CAAC,YAAY,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,KAAK,CAAC,YAAY,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,+BAA+B;IAC/B,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,KAAK,CAAC,aAAa,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,oCAAoC;IACpC,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,KAAK,CAAC,cAAc,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,0BAA0B;IAC1B,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,KAAK,CAAC,eAAe,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,KAAK,CAAC,eAAe,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,KAAK,CAAC,eAAe,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,sBAAsB;IACtB,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,IAAA,eAAM,EAAC,KAAK,CAAC,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,KAAK,CAAC,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,KAAK,CAAC,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,qBAAqB;IACrB,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,KAAK,CAAC,eAAe,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,KAAK,CAAC,eAAe,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,qBAAqB;IACrB,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,KAAK,CAAC,eAAe,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,oBAAoB;IACpB,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,KAAK,CAAC,SAAS,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,KAAK,CAAC,SAAS,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,KAAK,CAAC,SAAS,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,0BAA0B;IAC1B,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,IAAA,eAAM,EAAC,KAAK,CAAC,eAAe,EAAE,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,eAAe,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,sBAAsB;IACtB,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,KAAK,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,KAAK,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,KAAK,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,KAAK,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,qBAAqB;IACrB,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,UAAU,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,KAAK,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,KAAK,CAAC,UAAU,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,gBAAgB;IAChB,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,uBAAuB;IACvB,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,KAAK,CAAC,iBAAiB,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,KAAK,CAAC,kBAAkB,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,IAAA,eAAM,EAAC,KAAK,CAAC,iBAAiB,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,sBAAsB;IACtB,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,WAAW,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,KAAK,CAAC,WAAW,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,eAAe,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,2CAA2C;IAC3C,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,mCAAmC;IACnC,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/coverage-90/coverage-90-interpreter-extra.test.d.ts

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

package/dist/tests/coverage-90/coverage-90-interpreter-extra.test.d.ts.map

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

package/dist/tests/coverage-90/coverage-90-interpreter-extra.test.js

@@ -0,0 +1,326 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const interpreter_1 = require("../../runtime/interpreter");
+function run(src) {
+    return new interpreter_1.Interpreter().execute(src);
+}
+(0, vitest_1.describe)('coverage-90 — interpreter extra paths', () => {
+    // ---- proof_by_cases path in derive (lines 2120-2191 in propositional) ----
+    (0, vitest_1.it)('derive uses proof-by-cases when disjunction is in premises', () => {
+        const out = run(`logic classical.propositional
+axiom disj : (A | B)
+axiom imp1 : (A -> C)
+axiom imp2 : (B -> C)
+derive C from disj, imp1, imp2
+`);
+        (0, vitest_1.expect)(out.results[0]?.status).toBe('provable');
+    });
+    (0, vitest_1.it)('prove triggers proof-by-cases', () => {
+        const out = run(`logic classical.propositional
+axiom dj : (P | Q)
+axiom impP : (P -> R)
+axiom impQ : (Q -> R)
+prove R from dj, impP, impQ
+`);
+        (0, vitest_1.expect)(out.results[0]?.status).toBe('provable');
+    });
+    (0, vitest_1.it)('derive with large atom set forces semantic verification', () => {
+        // > 26 atoms forces semantic dpll path (lines 2853-2880)
+        const big = Array.from({ length: 30 }, (_, i) => `X${i}`).join(' & ');
+        const out = run(`logic classical.propositional
+prove (${big}) from
+`);
+        // Don't care about result, just exercise the path
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- fn call continuations (let / set / return / print) ----
+    (0, vitest_1.it)('fn call result used in let binding', () => {
+        const out = run(`logic arithmetic
+fn double(x) {
+  return x
+}
+let y = double(7)
+print y
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    (0, vitest_1.it)('fn call result via set', () => {
+        const out = run(`logic arithmetic
+fn id(x) {
+  return x
+}
+let y = 0
+set y = id(42)
+print y
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    (0, vitest_1.it)('fn call result printed directly', () => {
+        const out = run(`logic arithmetic
+fn ten() {
+  return 10
+}
+print ten()
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    (0, vitest_1.it)('fn returns from a returning fn (return continuation)', () => {
+        const out = run(`logic arithmetic
+fn inner() {
+  return 5
+}
+fn outer() {
+  return inner()
+}
+let r = outer()
+print r
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- theory parametric instantiation (lines 2429-2436) ----
+    (0, vitest_1.it)('parametric theory creates instance', () => {
+        const out = run(`logic classical.propositional
+theory Box(label) {
+  axiom inside : P
+}
+let myBox = Box("hello")
+print myBox
+print myBox.inside
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- theory dot resolution with instance prefix (lines 1203-1218, 2410-2424) ----
+    (0, vitest_1.it)('instance dot resolves to scope', () => {
+        const out = run(`logic classical.propositional
+theory Mind {
+  axiom thought : P
+  let alias = P
+  fn echo() {
+    return P
+  }
+}
+let m = Mind
+print m.thought
+print m.alias
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- theory with theorems and dot resolution (lines 1240-1256) ----
+    (0, vitest_1.it)('theory theorems accessible via dot', () => {
+        const out = run(`logic classical.propositional
+theory T {
+  axiom a : P
+  theorem th : P -> P
+}
+print T.a
+print T.th
+`);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    // ---- import_decl with various paths ----
+    (0, vitest_1.it)('import with dotted path (not a file) records error gracefully', () => {
+        const out = run(`logic classical.propositional
+import foo.bar.baz
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- analyze command (lines 909+) ----
+    (0, vitest_1.it)('analyze runs and produces output', () => {
+        const out = run(`logic classical.propositional
+axiom a1 : P -> Q
+axiom a2 : P
+analyze {
+  premises: [a1, a2]
+  conclusion: Q
+}
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- glossary with multiple definitions ----
+    (0, vitest_1.it)('glossary lists all definitions with descriptions', () => {
+        const out = run(`logic classical.propositional
+define M := P
+description "Mortal"
+define I(x, y) := x -> y
+description "Implies"
+glossary
+`);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    // ---- text-layer pipeline ----
+    (0, vitest_1.it)('text-layer with formalize binding', () => {
+        const out = run(`logic classical.propositional
+source S { author "Author" }
+let passage1 = passage @S "todo hombre es mortal"
+let phi = formalize passage1 as P -> Q
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- captured action: prove with bindings ----
+    (0, vitest_1.it)('captured prove exposes proof bindings', () => {
+        const out = run(`logic classical.propositional
+axiom a : P
+let p = prove P from a
+print p.status
+print p.goal
+print p.premise_names
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- print with various expressions ----
+    (0, vitest_1.it)('print arithmetic expressions', () => {
+        const out = run(`logic arithmetic
+print 1 + 2
+print 10 - 3
+print 4 * 5
+print 100 / 25
+print 17 % 5
+`);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    // ---- error recovery: undefined ref in derive ----
+    (0, vitest_1.it)('derive with undefined premise records error', () => {
+        const out = run(`logic classical.propositional
+derive Q from nothing
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- if-elif chain ----
+    (0, vitest_1.it)('nested if without else', () => {
+        const out = run(`logic classical.propositional
+if valid (P -> P) {
+  print "yes"
+  if satisfiable (Q) {
+    print "deep"
+  }
+}
+`);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    // ---- statement after parse error continues ----
+    (0, vitest_1.it)('parse error in middle does not halt subsequent stmts', () => {
+        const out = run(`logic classical.propositional
+axiom a : P
+@@@@invalid
+axiom b : Q
+`);
+        // Has diagnostic, but axiom b was attempted
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- executeSingle for REPL mode ----
+    (0, vitest_1.it)('executeSingle adds to existing state', () => {
+        const i = new interpreter_1.Interpreter();
+        i.execute('logic classical.propositional');
+        const r1 = i.executeSingle('axiom a : P');
+        const r2 = i.executeSingle('check valid (P -> P)');
+        (0, vitest_1.expect)(r1.exitCode).toBe(0);
+        (0, vitest_1.expect)(r2.exitCode).toBe(0);
+    });
+    // ---- multiple profiles in one script ----
+    (0, vitest_1.it)('switching profile mid-script', () => {
+        const out = run(`logic classical.propositional
+check valid (P -> P)
+logic arithmetic
+let x = 2 + 3
+print x
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- list literal usage ----
+    (0, vitest_1.it)('list literals can be passed as arguments', () => {
+        const out = run(`logic arithmetic
+let l = [1, 2, 3, 4, 5]
+let n = len(l)
+print n
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- format helpers and exec paths via simple .st-style ----
+    (0, vitest_1.it)('countermodel for valid formula', () => {
+        const out = run(`logic classical.propositional
+let c = countermodel (P -> P)
+print c.has_countermodel
+`);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    (0, vitest_1.it)('explain on satisfiable formula', () => {
+        const out = run(`logic classical.propositional
+explain (P & Q)
+explain (P -> P)
+explain (P & !P)
+`);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    // ---- Many sequential checks ----
+    (0, vitest_1.it)('many checks in sequence', () => {
+        const out = run(`logic classical.propositional
+check valid (P -> P)
+check valid (P -> P)
+check satisfiable (P)
+check satisfiable (P & Q)
+check valid ((P -> Q) -> (!Q -> !P))
+check valid ((P & Q) -> P)
+check valid ((P | Q) -> (Q | P))
+check valid (P -> (P | Q))
+check satisfiable (!P)
+`);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.results.length).toBe(9);
+    });
+    // ---- Theory member private from inside vs outside ----
+    (0, vitest_1.it)('theory private member accessible inside theory body', () => {
+        const out = run(`logic classical.propositional
+theory T {
+  private axiom inner : P
+  theorem outer : P
+}
+print T.outer
+`);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    // ---- proof_block (assume/show/qed) ----
+    (0, vitest_1.it)('proof_block runs even if axiom may not match', () => {
+        const out = run(`logic classical.propositional
+axiom a : P -> Q
+axiom b : P
+assume h : P
+show Q
+derive Q from a, b
+qed
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- arithmetic profile with mixed operators ----
+    (0, vitest_1.it)('arithmetic with comparison and arithmetic mix', () => {
+        const out = run(`logic arithmetic
+let x = 10
+let y = 5
+print x + y
+print x - y
+print x * y
+print x / y
+`);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    // ---- Belnap profile ----
+    (0, vitest_1.it)('paraconsistent.belnap with contradiction', () => {
+        const out = run(`logic paraconsistent.belnap
+axiom a : P
+axiom b : !P
+check satisfiable (P & !P)
+explain (P & !P)
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- aristotelian profile ----
+    (0, vitest_1.it)('aristotelian.syllogistic basic check', () => {
+        const out = run(`logic aristotelian.syllogistic
+axiom barbara : forall x (H(x) -> M(x))
+axiom premise : H(s)
+check satisfiable H(s)
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+});
+//# sourceMappingURL=coverage-90-interpreter-extra.test.js.map

package/dist/tests/coverage-90/coverage-90-interpreter-extra.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-90-interpreter-extra.test.js","sourceRoot":"","sources":["../../../src/tests/coverage-90/coverage-90-interpreter-extra.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,2DAAwD;AAExD,SAAS,GAAG,CAAC,GAAW;IACtB,OAAO,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AACxC,CAAC;AAED,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,6EAA6E;IAC7E,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;CAKnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;CAKnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,yDAAyD;QACzD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtE,MAAM,GAAG,GAAG,GAAG,CAAC;SACX,GAAG;CACX,CAAC,CAAC;QACC,kDAAkD;QAClD,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,+DAA+D;IAC/D,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;CAMnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;;CAOnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;CAKnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;;;;CASnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,8DAA8D;IAC9D,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;;CAOnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,oFAAoF;IACpF,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;;;;;;CAWnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,sEAAsE;IACtE,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;;CAOnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,2CAA2C;IAC3C,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,GAAG,GAAG,GAAG,CAAC;;CAEnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,yCAAyC;IACzC,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;;CAOnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,+CAA+C;IAC/C,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;CAMnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,gCAAgC;IAChC,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,GAAG,GAAG,CAAC;;;;CAInB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,iDAAiD;IACjD,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;CAMnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,2CAA2C;IAC3C,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;CAMnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,oDAAoD;IACpD,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,GAAG,GAAG,GAAG,CAAC;;CAEnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,0BAA0B;IAC1B,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;;CAOnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,kDAAkD;IAClD,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,GAAG,GAAG,GAAG,CAAC;;;;CAInB,CAAC,CAAC;QACC,4CAA4C;QAC5C,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,wCAAwC;IACxC,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAI,yBAAW,EAAE,CAAC;QAC5B,CAAC,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;QAC3C,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC;QAC1C,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,4CAA4C;IAC5C,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;CAKnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,+BAA+B;IAC/B,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,GAAG,CAAC;;;;CAInB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,+DAA+D;IAC/D,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,GAAG,GAAG,GAAG,CAAC;;;CAGnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,GAAG,GAAG,GAAG,CAAC;;;;CAInB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,mCAAmC;IACnC,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;;;;;CAUnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,yDAAyD;IACzD,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;CAMnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,0CAA0C;IAC1C,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;;CAOnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,oDAAoD;IACpD,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;;CAOnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,2BAA2B;IAC3B,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;CAKnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,iCAAiC;IACjC,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,GAAG,CAAC;;;;CAInB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/coverage-90/coverage-90-interpreter-features.test.d.ts

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

package/dist/tests/coverage-90/coverage-90-interpreter-features.test.d.ts.map

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