@stevenvo780/st-lang 4.9.0 → 4.11.0

package/dist/tests/tooling/lemma-library/lemma-library.test.js

@@ -0,0 +1,197 @@
+"use strict";
+// ============================================================
+// Tests — Lemma Library curada + TF-IDF + auto-apply
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const lemma_library_1 = require("../../../tooling/lemma-library");
+(0, vitest_1.describe)('Lemma Library — biblioteca estándar', () => {
+    (0, vitest_1.it)('contiene ≥95 lemas curados', () => {
+        const lib = (0, lemma_library_1.standardLibrary)();
+        (0, vitest_1.expect)(lib.size()).toBeGreaterThanOrEqual(95);
+    });
+    (0, vitest_1.it)('cada sub-biblioteca aporta el conteo esperado', () => {
+        (0, vitest_1.expect)(lemma_library_1.PROPOSITIONAL_LEMMAS.length).toBeGreaterThanOrEqual(30);
+        (0, vitest_1.expect)(lemma_library_1.ARITHMETIC_LEMMAS.length).toBeGreaterThanOrEqual(20);
+        (0, vitest_1.expect)(lemma_library_1.SET_THEORY_LEMMAS.length).toBeGreaterThanOrEqual(15);
+        (0, vitest_1.expect)(lemma_library_1.MODAL_LEMMAS.length).toBeGreaterThanOrEqual(15);
+        (0, vitest_1.expect)(lemma_library_1.FIRSTORDER_LEMMAS.length).toBeGreaterThanOrEqual(15);
+    });
+    (0, vitest_1.it)('todos los ids son únicos', () => {
+        const lib = (0, lemma_library_1.standardLibrary)();
+        const ids = lib.all().map((l) => l.id);
+        (0, vitest_1.expect)(new Set(ids).size).toBe(ids.length);
+    });
+    (0, vitest_1.it)('rechaza añadir un lema con id duplicado', () => {
+        const lib = new lemma_library_1.LemmaLibrary();
+        const lemma = {
+            id: 'x.dup',
+            name: 'dup',
+            statement: 'P',
+            domain: 'propositional',
+            tags: [],
+            difficulty: 'trivial',
+        };
+        lib.add(lemma);
+        (0, vitest_1.expect)(() => lib.add(lemma)).toThrow(/duplicate/);
+    });
+});
+(0, vitest_1.describe)('Lemma Library — filtros', () => {
+    const lib = (0, lemma_library_1.standardLibrary)();
+    (0, vitest_1.it)('byDomain(modal) filtra solo modales', () => {
+        const modal = lib.byDomain('modal');
+        (0, vitest_1.expect)(modal.length).toBeGreaterThanOrEqual(15);
+        for (const l of modal)
+            (0, vitest_1.expect)(l.domain).toBe('modal');
+    });
+    (0, vitest_1.it)('byDomain(arithmetic) tiene la inducción', () => {
+        const arith = lib.byDomain('arithmetic');
+        const ids = arith.map((l) => l.id);
+        (0, vitest_1.expect)(ids).toContain('arith.induction');
+    });
+    (0, vitest_1.it)('byTag(classical) trae lemas clásicos', () => {
+        const classical = lib.byTag('classical');
+        (0, vitest_1.expect)(classical.length).toBeGreaterThan(5);
+        for (const l of classical)
+            (0, vitest_1.expect)(l.tags).toContain('classical');
+    });
+    (0, vitest_1.it)('byTag(de-morgan) trae De Morgan en proposicional y conjuntos', () => {
+        const dm = lib.byTag('de-morgan');
+        const ids = dm.map((l) => l.id);
+        (0, vitest_1.expect)(ids).toContain('prop.de-morgan-and');
+        (0, vitest_1.expect)(ids).toContain('prop.de-morgan-or');
+        (0, vitest_1.expect)(ids).toContain('set.de-morgan-union');
+        (0, vitest_1.expect)(ids).toContain('set.de-morgan-inter');
+    });
+    (0, vitest_1.it)('byDifficulty(trivial) y (hard) particionan razonablemente', () => {
+        const trivial = lib.byDifficulty('trivial');
+        const hard = lib.byDifficulty('hard');
+        (0, vitest_1.expect)(trivial.length).toBeGreaterThan(0);
+        (0, vitest_1.expect)(hard.length).toBeGreaterThan(0);
+        (0, vitest_1.expect)(trivial.every((l) => l.difficulty === 'trivial')).toBe(true);
+        (0, vitest_1.expect)(hard.every((l) => l.difficulty === 'hard')).toBe(true);
+    });
+    (0, vitest_1.it)('get(id) recupera el lema correcto o undefined', () => {
+        (0, vitest_1.expect)(lib.get('prop.identity')?.statement).toBe('P → P');
+        (0, vitest_1.expect)(lib.get('nope.nada')).toBeUndefined();
+    });
+});
+(0, vitest_1.describe)('Lemma Library — keyword search', () => {
+    const lib = (0, lemma_library_1.standardLibrary)();
+    (0, vitest_1.it)('search "de morgan" devuelve los 4 De Morgan en el top', () => {
+        const results = lib.search('de morgan', { limit: 10 });
+        const topIds = results.slice(0, 6).map((l) => l.id);
+        (0, vitest_1.expect)(topIds).toContain('prop.de-morgan-and');
+        (0, vitest_1.expect)(topIds).toContain('prop.de-morgan-or');
+        (0, vitest_1.expect)(topIds).toContain('set.de-morgan-union');
+        (0, vitest_1.expect)(topIds).toContain('set.de-morgan-inter');
+    });
+    (0, vitest_1.it)('search filtrado por dominio respeta el filtro', () => {
+        const results = lib.search('commutativity', { domain: 'set' });
+        (0, vitest_1.expect)(results.length).toBeGreaterThan(0);
+        for (const r of results)
+            (0, vitest_1.expect)(r.domain).toBe('set');
+    });
+    (0, vitest_1.it)('search sin matches devuelve []', () => {
+        const results = lib.search('xyzqwerty-nope');
+        (0, vitest_1.expect)(results).toEqual([]);
+    });
+    (0, vitest_1.it)('search query vacía devuelve []', () => {
+        (0, vitest_1.expect)(lib.search('   ')).toEqual([]);
+    });
+});
+(0, vitest_1.describe)('Lemma Library — similar', () => {
+    const lib = (0, lemma_library_1.standardLibrary)();
+    (0, vitest_1.it)('similar a la identidad P → P prioriza otros con → ', () => {
+        const identity = lib.get('prop.identity');
+        (0, vitest_1.expect)(identity).toBeDefined();
+        if (!identity)
+            return;
+        const sims = lib.similar(identity, 5);
+        (0, vitest_1.expect)(sims.length).toBe(5);
+        // todos los similares deberían ser proposicional o usar →
+        for (const s of sims) {
+            (0, vitest_1.expect)(s.id).not.toBe('prop.identity');
+        }
+    });
+    (0, vitest_1.it)('similar a De Morgan (∧) sugiere De Morgan (∨)', () => {
+        const dmAnd = lib.get('prop.de-morgan-and');
+        (0, vitest_1.expect)(dmAnd).toBeDefined();
+        if (!dmAnd)
+            return;
+        const sims = lib.similar(dmAnd, 5);
+        const ids = sims.map((s) => s.id);
+        (0, vitest_1.expect)(ids).toContain('prop.de-morgan-or');
+    });
+});
+(0, vitest_1.describe)('Lemma Library — TF-IDF semantic search', () => {
+    const lib = (0, lemma_library_1.standardLibrary)();
+    const index = (0, lemma_library_1.buildIndex)(lib);
+    (0, vitest_1.it)('buildIndex cubre todos los lemas', () => {
+        (0, vitest_1.expect)(index.totalDocs).toBe(lib.size());
+        (0, vitest_1.expect)(index.documents.length).toBe(lib.size());
+    });
+    (0, vitest_1.it)('semanticSearch "modus ponens" ranquea MP en el tope', () => {
+        const hits = (0, lemma_library_1.semanticSearch)(index, 'modus ponens', 3);
+        (0, vitest_1.expect)(hits.length).toBeGreaterThan(0);
+        (0, vitest_1.expect)(hits[0]?.lemma.id).toBe('prop.modus-ponens');
+    });
+    (0, vitest_1.it)('semanticSearch "axiom K modal distribution" privilegia K', () => {
+        const hits = (0, lemma_library_1.semanticSearch)(index, 'axiom K distribution', 5);
+        const ids = hits.map((h) => h.lemma.id);
+        (0, vitest_1.expect)(ids).toContain('modal.k');
+    });
+    (0, vitest_1.it)('semanticSearch query vacía → []', () => {
+        (0, vitest_1.expect)((0, lemma_library_1.semanticSearch)(index, '')).toEqual([]);
+    });
+    (0, vitest_1.it)('semanticSearch scores son monótonos decrecientes', () => {
+        const hits = (0, lemma_library_1.semanticSearch)(index, 'commutativity union intersection', 5);
+        for (let i = 1; i < hits.length; i++) {
+            const prev = hits[i - 1];
+            const curr = hits[i];
+            if (prev && curr)
+                (0, vitest_1.expect)(prev.score).toBeGreaterThanOrEqual(curr.score);
+        }
+    });
+});
+(0, vitest_1.describe)('Lemma Library — tryApplyLemma', () => {
+    const lib = (0, lemma_library_1.standardLibrary)();
+    (0, vitest_1.it)('aplica asociatividad a "(P ∧ Q) ∧ R"', () => {
+        const goal = '((P ∧ Q) ∧ R) ↔ (P ∧ (Q ∧ R))';
+        const result = (0, lemma_library_1.tryApplyLemma)(goal, lib);
+        const ids = result.applicable.map((l) => l.id);
+        (0, vitest_1.expect)(ids).toContain('prop.and-associative');
+    });
+    (0, vitest_1.it)('aplica modus ponens a su forma canónica', () => {
+        const goal = '((P → Q) ∧ P) → Q';
+        const result = (0, lemma_library_1.tryApplyLemma)(goal, lib);
+        const ids = result.applicable.map((l) => l.id);
+        (0, vitest_1.expect)(ids).toContain('prop.modus-ponens');
+        (0, vitest_1.expect)(result.substitutions).toBeDefined();
+    });
+    (0, vitest_1.it)('goal sin estructura lógica → applicable []', () => {
+        const result = (0, lemma_library_1.tryApplyLemma)('hello world', lib);
+        (0, vitest_1.expect)(result.applicable).toEqual([]);
+    });
+    (0, vitest_1.it)('substitutions mapea variables del lema a tokens del goal', () => {
+        const result = (0, lemma_library_1.tryApplyLemma)('A → A', lib);
+        const ids = result.applicable.map((l) => l.id);
+        (0, vitest_1.expect)(ids).toContain('prop.identity');
+        // tokens normalizados a lowercase: la metavar 'p' del lema captura 'a' del goal.
+        (0, vitest_1.expect)(result.substitutions?.get('p')).toBe('a');
+    });
+});
+(0, vitest_1.describe)('Lemma Library — tokenize', () => {
+    (0, vitest_1.it)('separa símbolos lógicos en tokens propios', () => {
+        (0, vitest_1.expect)((0, lemma_library_1.tokenize)('P ∧ Q')).toEqual(['p', '∧', 'q']);
+        (0, vitest_1.expect)((0, lemma_library_1.tokenize)('¬¬P → P')).toEqual(['¬', '¬', 'p', '→', 'p']);
+    });
+    (0, vitest_1.it)('filtra stopwords largos y normaliza case', () => {
+        // "The" filtrado (stopword ≥3 letras); "of" preservado; metavar "P" lowercased.
+        const toks = (0, lemma_library_1.tokenize)('The Identity of P');
+        (0, vitest_1.expect)(toks).toContain('identity');
+        (0, vitest_1.expect)(toks).toContain('p');
+        (0, vitest_1.expect)(toks).not.toContain('the');
+    });
+});
+//# sourceMappingURL=lemma-library.test.js.map

package/dist/tests/tooling/lemma-library/lemma-library.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lemma-library.test.js","sourceRoot":"","sources":["../../../../src/tests/tooling/lemma-library/lemma-library.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,qDAAqD;AACrD,+DAA+D;;AAE/D,mCAA8C;AAC9C,kEAawC;AAExC,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,GAAG,GAAG,IAAA,+BAAe,GAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,IAAA,eAAM,EAAC,oCAAoB,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,iCAAiB,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,iCAAiB,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,4BAAY,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,iCAAiB,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,IAAA,+BAAe,GAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,GAAG,GAAG,IAAI,4BAAY,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAiB;YAC1B,EAAE,EAAE,OAAO;YACX,IAAI,EAAE,KAAK;YACX,SAAS,EAAE,GAAG;YACd,MAAM,EAAE,eAAe;YACvB,IAAI,EAAE,EAAE;YACR,UAAU,EAAE,SAAS;SACtB,CAAC;QACF,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACf,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,MAAM,GAAG,GAAG,IAAA,+BAAe,GAAE,CAAC;IAE9B,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAChD,KAAK,MAAM,CAAC,IAAI,KAAK;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;QACzC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,SAAS,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC5C,KAAK,MAAM,CAAC,IAAI,SAAS;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,OAAO,GAAG,GAAG,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,SAAS,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,MAAM,GAAG,GAAG,IAAA,+BAAe,GAAE,CAAC;IAE9B,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QACvD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,eAAe,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC1C,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,MAAM,GAAG,GAAG,IAAA,+BAAe,GAAE,CAAC;IAE9B,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/B,IAAI,CAAC,QAAQ;YAAE,OAAO;QACtB,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,0DAA0D;QAC1D,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACzC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACnC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,MAAM,GAAG,GAAG,IAAA,+BAAe,GAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,IAAA,0BAAU,EAAC,GAAG,CAAC,CAAC;IAE9B,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,IAAI,GAAG,IAAA,8BAAc,EAAC,KAAK,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,IAAI,GAAG,IAAA,8BAAc,EAAC,KAAK,EAAE,sBAAsB,EAAE,CAAC,CAAC,CAAC;QAC9D,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,IAAI,GAAG,IAAA,8BAAc,EAAC,KAAK,EAAE,kCAAkC,EAAE,CAAC,CAAC,CAAC;QAC1E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACrB,IAAI,IAAI,IAAI,IAAI;gBAAE,IAAA,eAAM,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,MAAM,GAAG,GAAG,IAAA,+BAAe,GAAE,CAAC;IAE9B,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,IAAI,GAAG,+BAA+B,CAAC;QAC7C,MAAM,MAAM,GAAG,IAAA,6BAAa,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,IAAI,GAAG,mBAAmB,CAAC;QACjC,MAAM,MAAM,GAAG,IAAA,6BAAa,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,IAAA,6BAAa,EAAC,aAAa,EAAE,GAAG,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,MAAM,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,MAAM,GAAG,IAAA,6BAAa,EAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QACvC,iFAAiF;QACjF,IAAA,eAAM,EAAC,MAAM,CAAC,aAAa,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,gFAAgF;QAChF,MAAM,IAAI,GAAG,IAAA,wBAAQ,EAAC,mBAAmB,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/tooling/provenance/ledger.test.d.ts

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

package/dist/tests/tooling/provenance/ledger.test.d.ts.map

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