@stevenvo780/st-lang 4.0.0 → 4.1.0

package/dist/proof-exchange/index.d.ts

@@ -1,6 +1,4 @@
-import { webcrypto } from 'node:crypto';
 import type { Proof } from '../types';
-export type { webcrypto };
 export interface ProofPackage {
     version: '1.0';
     formula: string;
@@ -15,12 +13,12 @@ export interface ProofPackage {
 export declare function canonicalize(pkg: ProofPackage): string;
 export declare function hashProof(pkg: ProofPackage): Promise<string>;
 export declare function generateKeyPair(): Promise<{
-    publicKey: webcrypto.CryptoKey;
-    privateKey: webcrypto.CryptoKey;
+    publicKey: CryptoKey;
+    privateKey: CryptoKey;
 }>;
-export declare function signProof(pkg: ProofPackage, privateKey: webcrypto.CryptoKey): Promise<{
+export declare function signProof(pkg: ProofPackage, privateKey: CryptoKey): Promise<{
     signature: string;
     algorithm: 'Ed25519' | 'HMAC-SHA256';
 }>;
-export declare function verifyProof(pkg: ProofPackage, signature: string, publicKey: webcrypto.CryptoKey | string): Promise<boolean>;
+export declare function verifyProof(pkg: ProofPackage, signature: string, publicKey: CryptoKey | string): Promise<boolean>;
 //# sourceMappingURL=index.d.ts.map

package/dist/proof-exchange/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/proof-exchange/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAEtC,YAAY,EAAE,SAAS,EAAE,CAAC;AAE1B,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,KAAK,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,KAAK,CAAC;IACb,QAAQ,EAAE;QACR,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,SAAS,EAAE,MAAM,CAAC;QAClB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;KACjB,CAAC;CACH;AA0BD,wBAAgB,YAAY,CAAC,GAAG,EAAE,YAAY,GAAG,MAAM,CAEtD;AAID,wBAAsB,SAAS,CAAC,GAAG,EAAE,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAMlE;AAED,wBAAsB,eAAe,IAAI,OAAO,CAAC;IAC/C,SAAS,EAAE,SAAS,CAAC,SAAS,CAAC;IAC/B,UAAU,EAAE,SAAS,CAAC,SAAS,CAAC;CACjC,CAAC,CAYD;AAED,wBAAsB,SAAS,CAC7B,GAAG,EAAE,YAAY,EACjB,UAAU,EAAE,SAAS,CAAC,SAAS,GAC9B,OAAO,CAAC;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,SAAS,GAAG,aAAa,CAAA;CAAE,CAAC,CAStE;AAWD,wBAAsB,WAAW,CAC/B,GAAG,EAAE,YAAY,EACjB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,SAAS,CAAC,SAAS,GAAG,MAAM,GACtC,OAAO,CAAC,OAAO,CAAC,CAwBlB"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/proof-exchange/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAEtC,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,KAAK,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,KAAK,CAAC;IACb,QAAQ,EAAE;QACR,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,SAAS,EAAE,MAAM,CAAC;QAClB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;KACjB,CAAC;CACH;AA0BD,wBAAgB,YAAY,CAAC,GAAG,EAAE,YAAY,GAAG,MAAM,CAEtD;AAID,wBAAsB,SAAS,CAAC,GAAG,EAAE,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAMlE;AAED,wBAAsB,eAAe,IAAI,OAAO,CAAC;IAC/C,SAAS,EAAE,SAAS,CAAC;IACrB,UAAU,EAAE,SAAS,CAAC;CACvB,CAAC,CAiBD;AAED,wBAAsB,SAAS,CAC7B,GAAG,EAAE,YAAY,EACjB,UAAU,EAAE,SAAS,GACpB,OAAO,CAAC;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,SAAS,GAAG,aAAa,CAAA;CAAE,CAAC,CAStE;AAWD,wBAAsB,WAAW,CAC/B,GAAG,EAAE,YAAY,EACjB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,SAAS,GAAG,MAAM,GAC5B,OAAO,CAAC,OAAO,CAAC,CAwBlB"}

package/dist/proof-exchange/index.js

@@ -5,7 +5,6 @@ exports.hashProof = hashProof;
 exports.generateKeyPair = generateKeyPair;
 exports.signProof = signProof;
 exports.verifyProof = verifyProof;
-const node_crypto_1 = require("node:crypto");
 function canonicalizeValue(value) {
     if (value === null)
         return 'null';
@@ -32,7 +31,7 @@ function canonicalizeValue(value) {
 function canonicalize(pkg) {
     return canonicalizeValue(pkg);
 }
-const subtle = node_crypto_1.webcrypto.subtle;
+const subtle = globalThis.crypto.subtle;
 async function hashProof(pkg) {
     const canonical = canonicalize(pkg);
     const encoded = new TextEncoder().encode(canonical);
@@ -42,9 +41,14 @@ async function hashProof(pkg) {
 }
 async function generateKeyPair() {
     try {
-        const result = await subtle.generateKey({ name: 'Ed25519' }, true, ['sign', 'verify']);
-        const pair = result;
-        return { publicKey: pair.publicKey, privateKey: pair.privateKey };
+        const pair = await subtle.generateKey({ name: 'Ed25519' }, true, [
+            'sign',
+            'verify',
+        ]);
+        return {
+            publicKey: pair.publicKey,
+            privateKey: pair.privateKey,
+        };
     }
     catch {
         const key = await subtle.generateKey({ name: 'HMAC', hash: 'SHA-256', length: 256 }, true, [

package/dist/proof-exchange/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/proof-exchange/index.ts"],"names":[],"mappings":";;AAyCA,oCAEC;AAID,8BAMC;AAED,0CAeC;AAED,8BAYC;AAWD,kCA4BC;AA3HD,6CAAwC;AAsBxC,SAAS,iBAAiB,CAAC,KAAgB;IACzC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAChE,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,KAAK,EAAE,CAAC,CAAC;QACtF,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAAE,OAAO,GAAG,CAAC;QACrC,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IAC5D,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7C,MAAM,KAAK,GAAG,UAAU;SACrB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC;SACrC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,OAAO,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;AACrC,CAAC;AAED,SAAgB,YAAY,CAAC,GAAiB;IAC5C,OAAO,iBAAiB,CAAC,GAA4B,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,MAAM,GAA2B,uBAAS,CAAC,MAAM,CAAC;AAEjD,KAAK,UAAU,SAAS,CAAC,GAAiB;IAC/C,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;IACzD,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACxE,CAAC;AAEM,KAAK,UAAU,eAAe;IAInC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QACvF,MAAM,IAAI,GAAG,MAAiC,CAAC;QAC/C,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;IACpE,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE;YACzF,MAAM;YACN,QAAQ;SACT,CAAC,CAAC;QACH,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;IAC7C,CAAC;AACH,CAAC;AAEM,KAAK,UAAU,SAAS,CAC7B,GAAiB,EACjB,UAA+B;IAE/B,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC;IACtF,MAAM,SAAS,GAAkC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;IAC9F,MAAM,SAAS,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IACjE,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;IACvD,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChF,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,eAAe,CAAC,GAAW;IAClC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAEM,KAAK,UAAU,WAAW,CAC/B,GAAiB,EACjB,SAAiB,EACjB,SAAuC;IAEvC,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,IAAI,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;QAE5C,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;YAC5C,MAAM,WAAW,GAAG,MAAM,MAAM,CAAC,SAAS,CACxC,KAAK,EACL,QAAQ,EACR,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EACjC,KAAK,EACL,CAAC,QAAQ,CAAC,CACX,CAAC;YACF,OAAO,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAClE,CAAC;QAED,MAAM,QAAQ,GAAG,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC;QAC1C,MAAM,SAAS,GAAkC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;QAC7F,OAAO,MAAM,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IACnE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/proof-exchange/index.ts"],"names":[],"mappings":";;AAsCA,oCAEC;AAID,8BAMC;AAED,0CAoBC;AAED,8BAYC;AAWD,kCA4BC;AA1GD,SAAS,iBAAiB,CAAC,KAAgB;IACzC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAChE,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,KAAK,EAAE,CAAC,CAAC;QACtF,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAAE,OAAO,GAAG,CAAC;QACrC,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IAC5D,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7C,MAAM,KAAK,GAAG,UAAU;SACrB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC;SACrC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,OAAO,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;AACrC,CAAC;AAED,SAAgB,YAAY,CAAC,GAAiB;IAC5C,OAAO,iBAAiB,CAAC,GAA4B,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,MAAM,GAAiB,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC;AAE/C,KAAK,UAAU,SAAS,CAAC,GAAiB;IAC/C,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;IACzD,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACxE,CAAC;AAEM,KAAK,UAAU,eAAe;IAInC,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE;YAC/D,MAAM;YACN,QAAQ;SACK,CAAC,CAAC;QACjB,OAAO;YACL,SAAS,EAAG,IAAsB,CAAC,SAAS;YAC5C,UAAU,EAAG,IAAsB,CAAC,UAAU;SAC/C,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE;YACzF,MAAM;YACN,QAAQ;SACK,CAAC,CAAC;QACjB,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;IAC7C,CAAC;AACH,CAAC;AAEM,KAAK,UAAU,SAAS,CAC7B,GAAiB,EACjB,UAAqB;IAErB,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC;IACtF,MAAM,SAAS,GAAwB,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;IACpF,MAAM,SAAS,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IACjE,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;IACvD,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChF,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,eAAe,CAAC,GAAW;IAClC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAEM,KAAK,UAAU,WAAW,CAC/B,GAAiB,EACjB,SAAiB,EACjB,SAA6B;IAE7B,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,IAAI,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;QAE5C,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;YAC5C,MAAM,WAAW,GAAG,MAAM,MAAM,CAAC,SAAS,CACxC,KAAK,EACL,QAAQ,EACR,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EACjC,KAAK,EACL,CAAC,QAAQ,CAAC,CACX,CAAC;YACF,OAAO,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAClE,CAAC;QAED,MAAM,QAAQ,GAAG,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC;QAC1C,MAAM,SAAS,GAAwB,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;QACnF,OAAO,MAAM,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IACnE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC"}

package/dist/tests/coverage-95/api-and-interpreter-e2e.test.d.ts

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

package/dist/tests/coverage-95/api-and-interpreter-e2e.test.d.ts.map

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

package/dist/tests/coverage-95/api-and-interpreter-e2e.test.js

@@ -0,0 +1,255 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const api_1 = require("../../api");
+const interpreter_1 = require("../../runtime/interpreter");
+const interface_1 = require("../../profiles/interface");
+(0, vitest_1.describe)('api — evaluate / parse / check / quickEval', () => {
+    (0, vitest_1.it)('evaluate succeeds on valid ST script', () => {
+        const r = (0, api_1.evaluate)(`logic classical.propositional
+axiom a1 : P -> Q
+axiom a2 : P
+derive Q from a1, a2
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.exitCode).toBe(0);
+        (0, vitest_1.expect)(r.results.length).toBeGreaterThanOrEqual(1);
+        (0, vitest_1.expect)(r.stdout.length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('evaluate reports parse error with exitCode 1', () => {
+        const r = (0, api_1.evaluate)('logic\n@@@@\n');
+        (0, vitest_1.expect)(r.ok).toBe(false);
+        (0, vitest_1.expect)(r.exitCode).toBe(1);
+        (0, vitest_1.expect)(r.stderr.length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('parse: returns program on success', () => {
+        const r = (0, api_1.parse)('logic classical.propositional\naxiom a : P\n');
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.program).not.toBeNull();
+        (0, vitest_1.expect)(r.program.statements.length).toBe(2);
+    });
+    (0, vitest_1.it)('parse: returns null program on error', () => {
+        const r = (0, api_1.parse)('axiom : ::\n');
+        (0, vitest_1.expect)(r.ok).toBe(false);
+        (0, vitest_1.expect)(r.program).toBeNull();
+    });
+    (0, vitest_1.it)('check: ok=true for valid syntax', () => {
+        const r = (0, api_1.check)('logic classical.propositional\n');
+        (0, vitest_1.expect)(r.ok).toBe(true);
+    });
+    (0, vitest_1.it)('check: ok=false for syntax error', () => {
+        const r = (0, api_1.check)('axiom : ::\n');
+        (0, vitest_1.expect)(r.ok).toBe(false);
+    });
+    (0, vitest_1.it)('quickEval auto-prepends classical.propositional', () => {
+        const r = (0, api_1.quickEval)('check valid (P -> (Q -> P))');
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0]?.status).toBe('valid');
+    });
+    (0, vitest_1.it)('quickEval handles invalid expression', () => {
+        const r = (0, api_1.quickEval)('check valid (P & !P)');
+        (0, vitest_1.expect)(r.results[0]?.status).toBe('invalid');
+    });
+});
+(0, vitest_1.describe)('api — listProfiles', () => {
+    (0, vitest_1.it)('returns at least the built-in profiles', () => {
+        const profiles = (0, api_1.listProfiles)();
+        (0, vitest_1.expect)(profiles).toContain('classical.propositional');
+        (0, vitest_1.expect)(profiles).toContain('classical.first_order');
+        (0, vitest_1.expect)(profiles.length).toBeGreaterThan(5);
+    });
+});
+(0, vitest_1.describe)('api — createInterpreter (stateful)', () => {
+    (0, vitest_1.it)('exec maintains state across calls', () => {
+        const st = (0, api_1.createInterpreter)();
+        (0, vitest_1.expect)(st.getProfile()).toBeNull();
+        st.exec('logic classical.propositional');
+        (0, vitest_1.expect)(st.getProfile()).toBe('classical.propositional');
+        st.exec('axiom a1 : P -> Q');
+        st.exec('axiom a2 : P');
+        (0, vitest_1.expect)(st.getAxioms()).toContain('a1');
+        (0, vitest_1.expect)(st.getAxioms()).toContain('a2');
+        const r = st.exec('derive Q from a1, a2');
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        const sum = st.getTheorySummary();
+        (0, vitest_1.expect)(sum.profile).toBe('classical.propositional');
+        (0, vitest_1.expect)(sum.axioms).toEqual(vitest_1.expect.arrayContaining(['a1', 'a2']));
+        (0, vitest_1.expect)(sum.judgmentCount).toBeGreaterThanOrEqual(0);
+        (0, vitest_1.expect)(st.getHistory().length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('reset clears state', () => {
+        const st = (0, api_1.createInterpreter)();
+        st.exec('logic classical.propositional');
+        st.exec('axiom a1 : P');
+        st.reset();
+        (0, vitest_1.expect)(st.getProfile()).toBeNull();
+        (0, vitest_1.expect)(st.getAxioms()).toEqual([]);
+        (0, vitest_1.expect)(st.getHistory()).toEqual([]);
+    });
+    (0, vitest_1.it)('exec accumulates theorems and claims', () => {
+        const st = (0, api_1.createInterpreter)();
+        st.exec('logic classical.propositional');
+        st.exec('theorem t1 : P -> P');
+        (0, vitest_1.expect)(st.getTheorems()).toContain('t1');
+        st.exec('let phi = P -> P');
+        st.exec('claim c1 = phi');
+        const claims = st.getClaims();
+        (0, vitest_1.expect)(claims.length).toBeGreaterThanOrEqual(0);
+    });
+});
+(0, vitest_1.describe)('api — protocol-level wrappers (hover/symbols/goto/completion)', () => {
+    const src = `logic classical.propositional
+axiom a1 : P -> Q
+theorem t1 : P -> P
+`;
+    (0, vitest_1.it)('hover returns content for a symbol', () => {
+        const r = (0, api_1.hover)(src, 2, 9);
+        (0, vitest_1.expect)(r).not.toBeNull();
+        (0, vitest_1.expect)(r.content).toMatch(/Axioma/);
+    });
+    (0, vitest_1.it)('hover returns null when out of range', () => {
+        const r = (0, api_1.hover)(src, 999, 1);
+        (0, vitest_1.expect)(r).toBeNull();
+    });
+    (0, vitest_1.it)('symbols returns list with axiom and theorem', () => {
+        const syms = (0, api_1.symbols)(src);
+        (0, vitest_1.expect)(syms.some((s) => s.kind === 'axiom')).toBe(true);
+        (0, vitest_1.expect)(syms.some((s) => s.kind === 'theorem')).toBe(true);
+    });
+    (0, vitest_1.it)('gotoDefinition finds existing name', () => {
+        const r = (0, api_1.gotoDefinition)(src, 'a1');
+        (0, vitest_1.expect)(r).not.toBeNull();
+        (0, vitest_1.expect)(r.line).toBe(2);
+    });
+    (0, vitest_1.it)('gotoDefinition returns null for missing name', () => {
+        const r = (0, api_1.gotoDefinition)(src, 'nope');
+        (0, vitest_1.expect)(r).toBeNull();
+    });
+    (0, vitest_1.it)('completion returns a list', () => {
+        const items = (0, api_1.completion)();
+        (0, vitest_1.expect)(items.length).toBeGreaterThan(10);
+    });
+});
+(0, vitest_1.describe)('api — format utilities', () => {
+    const atom = (n) => ({ kind: 'atom', name: n });
+    const and = (a, b) => ({ kind: 'and', args: [a, b] });
+    (0, vitest_1.it)('formulaToString produces ascii-ish', () => {
+        (0, vitest_1.expect)((0, api_1.formulaToString)(and(atom('P'), atom('Q')))).toContain('&');
+    });
+    (0, vitest_1.it)('formulaToUnicode produces unicode operators', () => {
+        (0, vitest_1.expect)((0, api_1.formulaToUnicode)(and(atom('P'), atom('Q')))).toContain('∧');
+    });
+    (0, vitest_1.it)('formulaToLaTeX produces TeX commands', () => {
+        (0, vitest_1.expect)((0, api_1.formulaToLaTeX)(and(atom('P'), atom('Q')))).toMatch(/\\(land|wedge|cap)|\\to|\\&/);
+    });
+    (0, vitest_1.it)('detectFallacies works given premises, conclusion, profile', () => {
+        // affirming the consequent: P -> Q, Q => P
+        const premises = [{ kind: 'implies', args: [atom('P'), atom('Q')] }, atom('Q')];
+        const conclusion = atom('P');
+        (0, vitest_1.expect)((0, api_1.listProfiles)().length).toBeGreaterThan(0);
+        new interpreter_1.Interpreter();
+        const p = interface_1.registry.get('classical.propositional');
+        if (!p)
+            throw new Error('no profile');
+        const fs = (0, api_1.detectFallacies)(premises, conclusion, p);
+        (0, vitest_1.expect)(Array.isArray(fs)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('Interpreter — coverage of multiple commands', () => {
+    (0, vitest_1.it)('runs check valid / invalid / satisfiable / equivalent', () => {
+        const src = `logic classical.propositional
+check valid (P -> P)
+check valid (P & !P)
+check satisfiable (P | !P)
+check equivalent (P & Q), (Q & P)
+`;
+        const out = new interpreter_1.Interpreter().execute(src);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.results.length).toBe(4);
+    });
+    (0, vitest_1.it)('runs countermodel and truth_table commands', () => {
+        const src = `logic classical.propositional
+countermodel (P -> Q)
+truth_table (P & Q)
+`;
+        const out = new interpreter_1.Interpreter().execute(src);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    (0, vitest_1.it)('runs explain', () => {
+        const src = `logic classical.propositional
+explain (P -> P)
+`;
+        const out = new interpreter_1.Interpreter().execute(src);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    (0, vitest_1.it)('runs let and print', () => {
+        const src = `logic arithmetic
+let x = 5
+print x
+let y = x + 3
+print y
+`;
+        const out = new interpreter_1.Interpreter().execute(src);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('5');
+    });
+    (0, vitest_1.it)('runs if/else statement', () => {
+        const src = `logic classical.propositional
+if valid (P -> P) {
+  print "ok"
+} else {
+  print "no"
+}
+`;
+        const out = new interpreter_1.Interpreter().execute(src);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('ok');
+    });
+    (0, vitest_1.it)('runs fn declaration and call', () => {
+        const src = `logic arithmetic
+fn double(x) {
+  return x * 2
+}
+let r = double(7)
+print r
+`;
+        const out = new interpreter_1.Interpreter().execute(src);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('14');
+    });
+    (0, vitest_1.it)('runs theory with members', () => {
+        const src = `logic classical.propositional
+theory Persona(nombre) {
+  let id = nombre
+  axiom existencia : P
+  theorem identidad : P -> P
+}
+`;
+        const out = new interpreter_1.Interpreter().execute(src);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    (0, vitest_1.it)('runs define and unfold', () => {
+        const src = `logic classical.propositional
+define Mortal(x) := P -> Q
+unfold Mortal(s)
+`;
+        const out = new interpreter_1.Interpreter().execute(src);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    (0, vitest_1.it)('handles source declaration', () => {
+        const src = `logic classical.propositional
+source Kant24 { author "Kant" }
+`;
+        const out = new interpreter_1.Interpreter().execute(src);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    (0, vitest_1.it)('handles glossary command', () => {
+        const src = `logic classical.propositional
+define M(x) := P
+glossary
+`;
+        const out = new interpreter_1.Interpreter().execute(src);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+});
+//# sourceMappingURL=api-and-interpreter-e2e.test.js.map

package/dist/tests/coverage-95/api-and-interpreter-e2e.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"api-and-interpreter-e2e.test.js","sourceRoot":"","sources":["../../../src/tests/coverage-95/api-and-interpreter-e2e.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,mCAemB;AACnB,2DAAwD;AACxD,wDAAoD;AAGpD,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;CAItB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC,eAAe,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAA,WAAK,EAAC,8CAA8C,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,OAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,WAAK,EAAC,cAAc,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAA,WAAK,EAAC,iCAAiC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,WAAK,EAAC,cAAc,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAA,eAAS,EAAC,6BAA6B,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,eAAS,EAAC,sBAAsB,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,QAAQ,GAAG,IAAA,kBAAY,GAAE,CAAC;QAChC,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,yBAAyB,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,EAAE,GAAG,IAAA,uBAAiB,GAAE,CAAC;QAC/B,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QACnC,EAAE,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QAExD,EAAE,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAC7B,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAEvC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAExB,MAAM,GAAG,GAAG,EAAE,CAAC,gBAAgB,EAAE,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,eAAM,CAAC,eAAe,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,GAAG,CAAC,aAAa,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAEpD,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,EAAE,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,EAAE,GAAG,IAAA,uBAAiB,GAAE,CAAC;QAC/B,EAAE,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;QACzC,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACxB,EAAE,CAAC,KAAK,EAAE,CAAC;QACX,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,EAAE,GAAG,IAAA,uBAAiB,GAAE,CAAC;QAC/B,EAAE,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;QACzC,EAAE,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAEzC,EAAE,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC5B,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC1B,MAAM,MAAM,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+DAA+D,EAAE,GAAG,EAAE;IAC7E,MAAM,GAAG,GAAG;;;CAGb,CAAC;IAEA,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAE,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,IAAI,GAAG,IAAA,aAAO,EAAC,GAAG,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,oBAAc,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,IAAA,oBAAc,EAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,KAAK,GAAG,IAAA,gBAAU,GAAE,CAAC;QAC3B,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IACjE,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAEjF,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,IAAA,qBAAe,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,sBAAgB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,IAAA,oBAAc,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,2CAA2C;QAC3C,MAAM,QAAQ,GAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3F,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,kBAAY,GAAE,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACjD,IAAI,yBAAW,EAAE,CAAC;QAClB,MAAM,CAAC,GAAG,oBAAQ,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;QAClD,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,YAAY,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,IAAA,qBAAe,EAAC,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG;;;;;CAKf,CAAC;QACE,MAAM,GAAG,GAAG,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3C,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,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG;;;CAGf,CAAC;QACE,MAAM,GAAG,GAAG,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAG;;CAEf,CAAC;QACE,MAAM,GAAG,GAAG,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,GAAG,GAAG;;;;;CAKf,CAAC;QACE,MAAM,GAAG,GAAG,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,GAAG,GAAG;;;;;;CAMf,CAAC;QACE,MAAM,GAAG,GAAG,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG;;;;;;CAMf,CAAC;QACE,MAAM,GAAG,GAAG,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG;;;;;;CAMf,CAAC;QACE,MAAM,GAAG,GAAG,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,GAAG,GAAG;;;CAGf,CAAC;QACE,MAAM,GAAG,GAAG,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,GAAG,GAAG;;CAEf,CAAC;QACE,MAAM,GAAG,GAAG,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG;;;CAGf,CAAC;QACE,MAAM,GAAG,GAAG,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/coverage-95/argumentation.test.d.ts

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

package/dist/tests/coverage-95/argumentation.test.d.ts.map

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

package/dist/tests/coverage-95/argumentation.test.js

@@ -0,0 +1,105 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const extensions_1 = require("../../argumentation/extensions");
+function af(args, attacks) {
+    return { arguments: new Set(args), attacks };
+}
+(0, vitest_1.describe)('Argumentation — basic frameworks', () => {
+    (0, vitest_1.it)('groundedExtension on empty framework returns empty set', () => {
+        const f = af([], []);
+        const g = (0, extensions_1.groundedExtension)(f);
+        (0, vitest_1.expect)(g.size).toBe(0);
+    });
+    (0, vitest_1.it)('groundedExtension when no attacks contains all args', () => {
+        const f = af(['a', 'b', 'c'], []);
+        const g = (0, extensions_1.groundedExtension)(f);
+        (0, vitest_1.expect)(g.size).toBe(3);
+    });
+    (0, vitest_1.it)('groundedExtension with self-attack excludes self-attacker', () => {
+        const f = af(['a', 'b'], [['a', 'a']]);
+        const g = (0, extensions_1.groundedExtension)(f);
+        (0, vitest_1.expect)(g.has('a')).toBe(false);
+    });
+    (0, vitest_1.it)('two-cycle: grounded is empty', () => {
+        const f = af(['a', 'b'], [
+            ['a', 'b'],
+            ['b', 'a'],
+        ]);
+        const g = (0, extensions_1.groundedExtension)(f);
+        (0, vitest_1.expect)(g.size).toBe(0);
+    });
+    (0, vitest_1.it)('isComplete identifies complete extensions', () => {
+        const f = af(['a', 'b'], [['a', 'b']]);
+        (0, vitest_1.expect)((0, extensions_1.isComplete)(f, new Set(['a']))).toBe(true);
+    });
+    (0, vitest_1.it)('isStable: only when all unincluded args are attacked', () => {
+        const f = af(['a', 'b'], [['a', 'b']]);
+        (0, vitest_1.expect)((0, extensions_1.isStable)(f, new Set(['a']))).toBe(true);
+        (0, vitest_1.expect)((0, extensions_1.isStable)(f, new Set())).toBe(false);
+    });
+});
+(0, vitest_1.describe)('Argumentation — semantics', () => {
+    const f1 = af(['a', 'b'], [
+        ['a', 'b'],
+        ['b', 'a'],
+    ]);
+    const opts = { exhaustiveLimit: 20, warnOnLarge: false };
+    (0, vitest_1.it)('preferred returns maximal admissible sets', () => {
+        const ext = (0, extensions_1.preferredExtensions)(f1, opts);
+        (0, vitest_1.expect)(ext.length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('complete returns complete extensions', () => {
+        const ext = (0, extensions_1.completeExtensions)(f1, opts);
+        (0, vitest_1.expect)(ext.length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('stable returns stable extensions', () => {
+        const ext = (0, extensions_1.stableExtensions)(f1, opts);
+        (0, vitest_1.expect)(Array.isArray(ext)).toBe(true);
+    });
+    (0, vitest_1.it)('semiStable returns extensions', () => {
+        const ext = (0, extensions_1.semiStableExtensions)(f1, opts);
+        (0, vitest_1.expect)(Array.isArray(ext)).toBe(true);
+    });
+    (0, vitest_1.it)('semiStable on empty AF returns []', () => {
+        const ext = (0, extensions_1.semiStableExtensions)(af([], []), opts);
+        (0, vitest_1.expect)(ext.length).toBeGreaterThanOrEqual(0);
+    });
+});
+(0, vitest_1.describe)('Argumentation — computeExtensions dispatch', () => {
+    const f = af(['a', 'b'], [['a', 'b']]);
+    (0, vitest_1.it)('grounded semantics returns single extension', () => {
+        const ext = (0, extensions_1.computeExtensions)(f, 'grounded');
+        (0, vitest_1.expect)(ext.length).toBe(1);
+    });
+    (0, vitest_1.it)('preferred semantics', () => {
+        (0, vitest_1.expect)((0, extensions_1.computeExtensions)(f, 'preferred').length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('stable semantics', () => {
+        (0, vitest_1.expect)(Array.isArray((0, extensions_1.computeExtensions)(f, 'stable'))).toBe(true);
+    });
+    (0, vitest_1.it)('complete semantics', () => {
+        (0, vitest_1.expect)((0, extensions_1.computeExtensions)(f, 'complete').length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('semi-stable semantics', () => {
+        (0, vitest_1.expect)(Array.isArray((0, extensions_1.computeExtensions)(f, 'semi-stable'))).toBe(true);
+    });
+    (0, vitest_1.it)('warns on large frameworks', () => {
+        const big = af(['a', 'b', 'c'], []);
+        const warnSpy = vitest_1.vi.spyOn(console, 'warn').mockImplementation(() => undefined);
+        (0, extensions_1.computeExtensions)(big, 'preferred', { exhaustiveLimit: 2, warnOnLarge: true });
+        (0, vitest_1.expect)(warnSpy).toHaveBeenCalled();
+        warnSpy.mockRestore();
+    });
+});
+(0, vitest_1.describe)('Argumentation — lazyAdmissibleSets', () => {
+    (0, vitest_1.it)('yields all admissible subsets', () => {
+        const sets = Array.from((0, extensions_1.lazyAdmissibleSets)(af(['a'], [])));
+        (0, vitest_1.expect)(sets.length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('throws when n > 30', () => {
+        const big = af(Array.from({ length: 31 }, (_, i) => 'a' + i), []);
+        (0, vitest_1.expect)(() => Array.from((0, extensions_1.lazyAdmissibleSets)(big))).toThrow();
+    });
+});
+//# sourceMappingURL=argumentation.test.js.map

package/dist/tests/coverage-95/argumentation.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"argumentation.test.js","sourceRoot":"","sources":["../../../src/tests/coverage-95/argumentation.test.ts"],"names":[],"mappings":";;AAAA,mCAAkD;AAClD,+DAUwC;AAGxC,SAAS,EAAE,CAAC,IAAc,EAAE,OAAgC;IAC1D,OAAO,EAAE,SAAS,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC;AAC/C,CAAC;AAED,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACrB,MAAM,CAAC,GAAG,IAAA,8BAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,IAAA,8BAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAA,8BAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,EAAE,CACV,CAAC,GAAG,EAAE,GAAG,CAAC,EACV;YACE,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;SACX,CACF,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,8BAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,uBAAU,EAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,qBAAQ,EAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,qBAAQ,EAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,MAAM,EAAE,GAAG,EAAE,CACX,CAAC,GAAG,EAAE,GAAG,CAAC,EACV;QACE,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;KACX,CACF,CAAC;IACF,MAAM,IAAI,GAAG,EAAE,eAAe,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IAEzD,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,GAAG,GAAG,IAAA,gCAAmB,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,IAAA,+BAAkB,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,GAAG,GAAG,IAAA,6BAAgB,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,GAAG,GAAG,IAAA,iCAAoB,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,GAAG,IAAA,iCAAoB,EAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAEvC,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,GAAG,GAAG,IAAA,8BAAiB,EAAC,CAAC,EAAE,UAAU,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,IAAA,eAAM,EAAC,IAAA,8BAAiB,EAAC,CAAC,EAAE,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,IAAA,8BAAiB,EAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,IAAA,eAAM,EAAC,IAAA,8BAAiB,EAAC,CAAC,EAAE,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,IAAA,8BAAiB,EAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,GAAG,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QACpC,MAAM,OAAO,GAAG,WAAE,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,kBAAkB,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QAC9E,IAAA,8BAAiB,EAAC,GAAG,EAAE,WAAW,EAAE,EAAE,eAAe,EAAE,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,gBAAgB,EAAE,CAAC;QACnC,OAAO,CAAC,WAAW,EAAE,CAAC;IACxB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAA,+BAAkB,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,GAAG,GAAG,EAAE,CACZ,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,EAC7C,EAAE,CACH,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAA,+BAAkB,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/coverage-95/arithmetic.test.d.ts

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

package/dist/tests/coverage-95/arithmetic.test.d.ts.map

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