mcard-js 2.1.1 → 2.1.2

package/dist/ptr/lambda/LambdaRuntime.js

@@ -0,0 +1,417 @@
+/**
+ * Lambda Runtime - PTR Runtime for Lambda Calculus
+ *
+ * Implements α-β-η conversions as a PTR runtime, treating MCard hashes
+ * as Lambda terms and performing computations that produce new MCards.
+ *
+ * This runtime can be used via CLM specifications to define and verify
+ * Lambda Calculus reductions.
+ *
+ * @module mcard-js/ptr/lambda/LambdaRuntime
+ */
+// Import conversions
+import { alphaRename, alphaEquivalent, alphaNormalize } from './AlphaConversion';
+import { betaReduce, normalize, reduceStep, isNormalForm } from './BetaReduction';
+import { etaReduce, etaExpand, etaNormalize, etaEquivalent } from './EtaConversion';
+import { freeVariables, isClosed } from './FreeVariables';
+import { storeTerm, mkVar, mkAbs, mkApp, prettyPrintDeep } from './LambdaTerm';
+// ─────────────────────────────────────────────────────────────────────────────
+// Lambda Runtime Class
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * Lambda Calculus Runtime for PTR
+ *
+ * Executes Lambda Calculus operations on MCard-stored terms.
+ */
+export class LambdaRuntime {
+    collection;
+    constructor(collection) {
+        this.collection = collection;
+    }
+    /**
+     * Execute a Lambda operation
+     *
+     * @param codeOrPath - For Lambda runtime, this is the term hash to operate on
+     * @param context - Additional context (varies by operation)
+     * @param config - Lambda configuration with operation type
+     * @param chapterDir - Chapter directory (used for relative paths if needed)
+     */
+    async execute(codeOrPath, context, config, chapterDir) {
+        const termHash = codeOrPath;
+        const lambdaConfig = config;
+        const ctx = (context && typeof context === 'object')
+            ? context
+            : {};
+        try {
+            switch (lambdaConfig.operation) {
+                case 'alpha':
+                    return this.doAlphaRename(termHash, lambdaConfig, ctx);
+                case 'beta':
+                    return this.doBetaReduce(termHash);
+                case 'eta-reduce':
+                    return this.doEtaReduce(termHash);
+                case 'eta-expand':
+                    return this.doEtaExpand(termHash, lambdaConfig, ctx);
+                case 'normalize':
+                    return this.doNormalize(termHash, lambdaConfig);
+                case 'step':
+                    return this.doStep(termHash, lambdaConfig);
+                case 'alpha-equiv':
+                    return this.doAlphaEquiv(termHash, lambdaConfig, ctx);
+                case 'eta-equiv':
+                    return this.doEtaEquiv(termHash, lambdaConfig, ctx);
+                case 'alpha-norm':
+                    return this.doAlphaNormalize(termHash);
+                case 'eta-norm':
+                    return this.doEtaNormalize(termHash);
+                case 'free-vars':
+                    return this.doFreeVars(termHash);
+                case 'is-closed':
+                    return this.doIsClosed(termHash);
+                case 'is-normal':
+                    return this.doIsNormal(termHash);
+                case 'parse':
+                    return this.doParse(ctx);
+                case 'pretty':
+                    return this.doPretty(termHash);
+                case 'build':
+                    return this.doBuild(ctx);
+                default:
+                    return {
+                        success: false,
+                        error: `Unknown Lambda operation: ${lambdaConfig.operation}`
+                    };
+            }
+        }
+        catch (err) {
+            return {
+                success: false,
+                error: err instanceof Error ? err.message : String(err)
+            };
+        }
+    }
+    // ─────────────────────────────────────────────────────────────────────────
+    // Operation Implementations
+    // ─────────────────────────────────────────────────────────────────────────
+    async doAlphaRename(termHash, config, ctx) {
+        const newName = config.newName || ctx.newName;
+        if (!newName) {
+            return { success: false, error: 'Alpha rename requires newName parameter' };
+        }
+        const result = await alphaRename(this.collection, termHash, newName).run();
+        if (result.isLeft) {
+            return { success: false, error: result.left };
+        }
+        const pretty = await prettyPrintDeep(this.collection, result.right);
+        return {
+            success: true,
+            result: result.right,
+            termHash: result.right,
+            prettyPrint: pretty
+        };
+    }
+    async doBetaReduce(termHash) {
+        const result = await betaReduce(this.collection, termHash).run();
+        if (result.isLeft) {
+            return { success: false, error: result.left };
+        }
+        const pretty = await prettyPrintDeep(this.collection, result.right);
+        return {
+            success: true,
+            result: result.right,
+            termHash: result.right,
+            prettyPrint: pretty
+        };
+    }
+    async doEtaReduce(termHash) {
+        const result = await etaReduce(this.collection, termHash).run();
+        if (result.isNothing) {
+            return { success: false, error: 'Not an η-redex' };
+        }
+        const pretty = await prettyPrintDeep(this.collection, result.value);
+        return {
+            success: true,
+            result: result.value,
+            termHash: result.value,
+            prettyPrint: pretty
+        };
+    }
+    async doEtaExpand(termHash, config, ctx) {
+        const freshVar = config.freshVar || ctx.freshVar || 'x';
+        const result = await etaExpand(this.collection, termHash, freshVar).run();
+        const pretty = await prettyPrintDeep(this.collection, result);
+        return {
+            success: true,
+            result: result,
+            termHash: result,
+            prettyPrint: pretty
+        };
+    }
+    async doNormalize(termHash, config) {
+        const strategy = config.strategy || 'normal';
+        const maxSteps = config.maxSteps || 1000;
+        const result = await normalize(this.collection, termHash, strategy, maxSteps).run();
+        if (result.isLeft) {
+            return { success: false, error: result.left };
+        }
+        const normResult = result.right;
+        const pretty = await prettyPrintDeep(this.collection, normResult.normalForm);
+        return {
+            success: true,
+            result: {
+                normalForm: normResult.normalForm,
+                steps: normResult.steps,
+                reductionPath: normResult.reductionPath
+            },
+            termHash: normResult.normalForm,
+            prettyPrint: pretty
+        };
+    }
+    async doStep(termHash, config) {
+        const strategy = config.strategy || 'normal';
+        const result = await reduceStep(this.collection, termHash, strategy).run();
+        if (result.isNothing) {
+            return {
+                success: true,
+                result: { alreadyNormal: true },
+                termHash: termHash,
+                prettyPrint: await prettyPrintDeep(this.collection, termHash)
+            };
+        }
+        const pretty = await prettyPrintDeep(this.collection, result.value);
+        return {
+            success: true,
+            result: result.value,
+            termHash: result.value,
+            prettyPrint: pretty
+        };
+    }
+    async doAlphaEquiv(termHash, config, ctx) {
+        const compareWith = config.compareWith || ctx.compareWith;
+        if (!compareWith) {
+            return { success: false, error: 'Alpha equivalence check requires compareWith parameter' };
+        }
+        const result = await alphaEquivalent(this.collection, termHash, compareWith).run();
+        if (result.isLeft) {
+            return { success: false, error: result.left };
+        }
+        return {
+            success: true,
+            result: { equivalent: result.right }
+        };
+    }
+    async doEtaEquiv(termHash, config, ctx) {
+        const compareWith = config.compareWith || ctx.compareWith;
+        if (!compareWith) {
+            return { success: false, error: 'Eta equivalence check requires compareWith parameter' };
+        }
+        const result = await etaEquivalent(this.collection, termHash, compareWith).run();
+        return {
+            success: true,
+            result: { equivalent: result }
+        };
+    }
+    async doAlphaNormalize(termHash) {
+        const result = await alphaNormalize(this.collection, termHash).run();
+        if (result.isLeft) {
+            return { success: false, error: result.left };
+        }
+        const pretty = await prettyPrintDeep(this.collection, result.right);
+        return {
+            success: true,
+            result: result.right,
+            termHash: result.right,
+            prettyPrint: pretty
+        };
+    }
+    async doEtaNormalize(termHash) {
+        const result = await etaNormalize(this.collection, termHash).run();
+        const pretty = await prettyPrintDeep(this.collection, result);
+        return {
+            success: true,
+            result: result,
+            termHash: result,
+            prettyPrint: pretty
+        };
+    }
+    async doFreeVars(termHash) {
+        const result = await freeVariables(this.collection, termHash).run();
+        if (result.isNothing) {
+            return { success: false, error: `Term not found: ${termHash}` };
+        }
+        return {
+            success: true,
+            result: { freeVariables: Array.from(result.value) }
+        };
+    }
+    async doIsClosed(termHash) {
+        const result = await isClosed(this.collection, termHash).run();
+        return {
+            success: true,
+            result: { closed: result }
+        };
+    }
+    async doIsNormal(termHash) {
+        const result = await isNormalForm(this.collection, termHash).run();
+        return {
+            success: true,
+            result: { normalForm: result }
+        };
+    }
+    async doParse(ctx) {
+        const expression = ctx.expression;
+        if (!expression) {
+            return { success: false, error: 'Parse requires expression parameter' };
+        }
+        try {
+            const hash = await parseLambdaExpression(this.collection, expression);
+            const pretty = await prettyPrintDeep(this.collection, hash);
+            return {
+                success: true,
+                result: hash,
+                termHash: hash,
+                prettyPrint: pretty
+            };
+        }
+        catch (err) {
+            return {
+                success: false,
+                error: `Parse error: ${err instanceof Error ? err.message : String(err)}`
+            };
+        }
+    }
+    async doPretty(termHash) {
+        const pretty = await prettyPrintDeep(this.collection, termHash);
+        return {
+            success: true,
+            result: pretty,
+            prettyPrint: pretty
+        };
+    }
+    async doBuild(ctx) {
+        const spec = ctx.term;
+        if (!spec) {
+            return { success: false, error: 'Build requires term specification' };
+        }
+        const hash = await storeTerm(this.collection, spec);
+        const pretty = await prettyPrintDeep(this.collection, hash);
+        return {
+            success: true,
+            result: hash,
+            termHash: hash,
+            prettyPrint: pretty
+        };
+    }
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// Simple Parser for Lambda Expressions
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * Parse a simple Lambda expression string into MCards
+ *
+ * Syntax:
+ *   x, y, z        - Variables
+ *   \x.M or λx.M   - Abstraction
+ *   (M N)          - Application
+ *   M N            - Application (left-associative)
+ *
+ * Examples:
+ *   \x.x           - Identity function
+ *   \f.\x.f x      - Application combinator
+ *   (\x.x) y       - Identity applied to y
+ */
+export async function parseLambdaExpression(collection, expression) {
+    const tokens = tokenize(expression);
+    let pos = 0;
+    function peek() {
+        return pos < tokens.length ? tokens[pos] : null;
+    }
+    function consume() {
+        if (pos >= tokens.length)
+            throw new Error('Unexpected end of expression');
+        return tokens[pos++];
+    }
+    function expect(token) {
+        const actual = consume();
+        if (actual !== token) {
+            throw new Error(`Expected '${token}', got '${actual}'`);
+        }
+    }
+    async function parseExpr() {
+        const terms = [];
+        while (peek() && peek() !== ')') {
+            terms.push(await parseTerm());
+        }
+        if (terms.length === 0) {
+            throw new Error('Empty expression');
+        }
+        // Left-associate applications: a b c = ((a b) c)
+        let result = terms[0];
+        for (let i = 1; i < terms.length; i++) {
+            const app = mkApp(result, terms[i]);
+            result = await storeTerm(collection, app);
+        }
+        return result;
+    }
+    async function parseTerm() {
+        const token = peek();
+        if (token === '\\' || token === 'λ') {
+            return parseAbstraction();
+        }
+        if (token === '(') {
+            consume(); // (
+            const expr = await parseExpr();
+            expect(')');
+            return expr;
+        }
+        // Variable
+        const name = consume();
+        if (!name.match(/^[a-zA-Z_][a-zA-Z0-9_']*$/)) {
+            throw new Error(`Invalid variable name: ${name}`);
+        }
+        const varTerm = mkVar(name);
+        return storeTerm(collection, varTerm);
+    }
+    async function parseAbstraction() {
+        consume(); // \ or λ
+        const param = consume();
+        if (!param.match(/^[a-zA-Z_][a-zA-Z0-9_']*$/)) {
+            throw new Error(`Invalid parameter name: ${param}`);
+        }
+        expect('.');
+        const body = await parseExpr();
+        const abs = mkAbs(param, body);
+        return storeTerm(collection, abs);
+    }
+    return parseExpr();
+}
+function tokenize(expression) {
+    const tokens = [];
+    let i = 0;
+    while (i < expression.length) {
+        const ch = expression[i];
+        // Skip whitespace
+        if (/\s/.test(ch)) {
+            i++;
+            continue;
+        }
+        // Single-character tokens
+        if ('()\\λ.'.includes(ch)) {
+            tokens.push(ch);
+            i++;
+            continue;
+        }
+        // Identifiers
+        if (/[a-zA-Z_]/.test(ch)) {
+            let name = '';
+            while (i < expression.length && /[a-zA-Z0-9_']/.test(expression[i])) {
+                name += expression[i++];
+            }
+            tokens.push(name);
+            continue;
+        }
+        throw new Error(`Unexpected character: ${ch}`);
+    }
+    return tokens;
+}
+//# sourceMappingURL=LambdaRuntime.js.map

package/dist/ptr/lambda/LambdaRuntime.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"LambdaRuntime.js","sourceRoot":"","sources":["../../../src/ptr/lambda/LambdaRuntime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAQH,qBAAqB;AACrB,OAAO,EACH,WAAW,EACX,eAAe,EACf,cAAc,EACjB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACH,UAAU,EACV,SAAS,EACT,UAAU,EAEV,YAAY,EAGf,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACH,SAAS,EACT,SAAS,EACT,YAAY,EACZ,aAAa,EAChB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACH,aAAa,EAEb,QAAQ,EACX,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAGH,SAAS,EAGT,KAAK,EACL,KAAK,EACL,KAAK,EACL,eAAe,EAClB,MAAM,cAAc,CAAC;AA0CtB,gFAAgF;AAChF,uBAAuB;AACvB,gFAAgF;AAEhF;;;;GAIG;AACH,MAAM,OAAO,aAAa;IACd,UAAU,CAAiB;IAEnC,YAAY,UAA0B;QAClC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;IACjC,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,OAAO,CACT,UAAkB,EAClB,OAAgB,EAChB,MAAW,EACX,UAAkB;QAElB,MAAM,QAAQ,GAAG,UAAU,CAAC;QAC5B,MAAM,YAAY,GAAG,MAAsB,CAAC;QAC5C,MAAM,GAAG,GAAG,CAAC,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,CAAC;YAChD,CAAC,CAAC,OAAkC;YACpC,CAAC,CAAC,EAAE,CAAC;QAET,IAAI,CAAC;YACD,QAAQ,YAAY,CAAC,SAAS,EAAE,CAAC;gBAC7B,KAAK,OAAO;oBACR,OAAO,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;gBAE3D,KAAK,MAAM;oBACP,OAAO,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;gBAEvC,KAAK,YAAY;oBACb,OAAO,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;gBAEtC,KAAK,YAAY;oBACb,OAAO,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;gBAEzD,KAAK,WAAW;oBACZ,OAAO,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;gBAEpD,KAAK,MAAM;oBACP,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;gBAE/C,KAAK,aAAa;oBACd,OAAO,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;gBAE1D,KAAK,WAAW;oBACZ,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;gBAExD,KAAK,YAAY;oBACb,OAAO,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;gBAE3C,KAAK,UAAU;oBACX,OAAO,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;gBAEzC,KAAK,WAAW;oBACZ,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;gBAErC,KAAK,WAAW;oBACZ,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;gBAErC,KAAK,WAAW;oBACZ,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;gBAErC,KAAK,OAAO;oBACR,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBAE7B,KAAK,QAAQ;oBACT,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;gBAEnC,KAAK,OAAO;oBACR,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBAE7B;oBACI,OAAO;wBACH,OAAO,EAAE,KAAK;wBACd,KAAK,EAAE,6BAA6B,YAAY,CAAC,SAAS,EAAE;qBAC/D,CAAC;YACV,CAAC;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,OAAO;gBACH,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;aAC1D,CAAC;QACN,CAAC;IACL,CAAC;IAED,4EAA4E;IAC5E,4BAA4B;IAC5B,4EAA4E;IAEpE,KAAK,CAAC,aAAa,CACvB,QAAgB,EAChB,MAAoB,EACpB,GAA4B;QAE5B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,IAAI,GAAG,CAAC,OAAiB,CAAC;QACxD,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,yCAAyC,EAAE,CAAC;QAChF,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC;QAE3E,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAChB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAClD,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACpE,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM,CAAC,KAAK;YACpB,QAAQ,EAAE,MAAM,CAAC,KAAK;YACtB,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,YAAY,CAAC,QAAgB;QACvC,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAEjE,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAChB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAClD,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACpE,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM,CAAC,KAAK;YACpB,QAAQ,EAAE,MAAM,CAAC,KAAK;YACtB,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,WAAW,CAAC,QAAgB;QACtC,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAEhE,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACnB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC;QACvD,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACpE,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM,CAAC,KAAK;YACpB,QAAQ,EAAE,MAAM,CAAC,KAAK;YACtB,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,WAAW,CACrB,QAAgB,EAChB,MAAoB,EACpB,GAA4B;QAE5B,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,GAAG,CAAC,QAAkB,IAAI,GAAG,CAAC;QAElE,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAC1E,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAE9D,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,MAAM;YAChB,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,WAAW,CACrB,QAAgB,EAChB,MAAoB;QAEpB,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,QAAQ,CAAC;QAC7C,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,IAAI,CAAC;QAEzC,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAEpF,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAChB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAClD,CAAC;QAED,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC;QAChC,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;QAE7E,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE;gBACJ,UAAU,EAAE,UAAU,CAAC,UAAU;gBACjC,KAAK,EAAE,UAAU,CAAC,KAAK;gBACvB,aAAa,EAAE,UAAU,CAAC,aAAa;aAC1C;YACD,QAAQ,EAAE,UAAU,CAAC,UAAU;YAC/B,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,MAAM,CAChB,QAAgB,EAChB,MAAoB;QAEpB,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,QAAQ,CAAC;QAE7C,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAE3E,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACnB,OAAO;gBACH,OAAO,EAAE,IAAI;gBACb,MAAM,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE;gBAC/B,QAAQ,EAAE,QAAQ;gBAClB,WAAW,EAAE,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC;aAChE,CAAC;QACN,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACpE,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM,CAAC,KAAK;YACpB,QAAQ,EAAE,MAAM,CAAC,KAAK;YACtB,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,YAAY,CACtB,QAAgB,EAChB,MAAoB,EACpB,GAA4B;QAE5B,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,IAAI,GAAG,CAAC,WAAqB,CAAC;QACpE,IAAI,CAAC,WAAW,EAAE,CAAC;YACf,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,wDAAwD,EAAE,CAAC;QAC/F,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,GAAG,EAAE,CAAC;QAEnF,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAChB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAClD,CAAC;QAED,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC,KAAK,EAAE;SACvC,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,UAAU,CACpB,QAAgB,EAChB,MAAoB,EACpB,GAA4B;QAE5B,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,IAAI,GAAG,CAAC,WAAqB,CAAC;QACpE,IAAI,CAAC,WAAW,EAAE,CAAC;YACf,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,sDAAsD,EAAE,CAAC;QAC7F,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,GAAG,EAAE,CAAC;QAEjF,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE;SACjC,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,gBAAgB,CAAC,QAAgB;QAC3C,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAErE,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAChB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAClD,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACpE,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM,CAAC,KAAK;YACpB,QAAQ,EAAE,MAAM,CAAC,KAAK;YACtB,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,cAAc,CAAC,QAAgB;QACzC,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QACnE,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAE9D,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,MAAM;YAChB,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,UAAU,CAAC,QAAgB;QACrC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAEpE,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACnB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,mBAAmB,QAAQ,EAAE,EAAE,CAAC;QACpE,CAAC;QAED,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,EAAE,aAAa,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;SACtD,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,UAAU,CAAC,QAAgB;QACrC,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAE/D,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE;SAC7B,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,UAAU,CAAC,QAAgB;QACrC,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QAEnE,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE;SACjC,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,OAAO,CAAC,GAA4B;QAC9C,MAAM,UAAU,GAAG,GAAG,CAAC,UAAoB,CAAC;QAC5C,IAAI,CAAC,UAAU,EAAE,CAAC;YACd,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,qCAAqC,EAAE,CAAC;QAC5E,CAAC;QAED,IAAI,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,qBAAqB,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;YACtE,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YAE5D,OAAO;gBACH,OAAO,EAAE,IAAI;gBACb,MAAM,EAAE,IAAI;gBACZ,QAAQ,EAAE,IAAI;gBACd,WAAW,EAAE,MAAM;aACtB,CAAC;QACN,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,OAAO;gBACH,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,gBAAgB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;aAC5E,CAAC;QACN,CAAC;IACL,CAAC;IAEO,KAAK,CAAC,QAAQ,CAAC,QAAgB;QACnC,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QAEhE,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,MAAM;YACd,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;IAEO,KAAK,CAAC,OAAO,CAAC,GAA4B;QAC9C,MAAM,IAAI,GAAG,GAAG,CAAC,IAAkB,CAAC;QACpC,IAAI,CAAC,IAAI,EAAE,CAAC;YACR,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,mCAAmC,EAAE,CAAC;QAC1E,CAAC;QAED,MAAM,IAAI,GAAG,MAAM,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAE5D,OAAO;YACH,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,IAAI;YACZ,QAAQ,EAAE,IAAI;YACd,WAAW,EAAE,MAAM;SACtB,CAAC;IACN,CAAC;CACJ;AAED,gFAAgF;AAChF,uCAAuC;AACvC,gFAAgF;AAEhF;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACvC,UAA0B,EAC1B,UAAkB;IAElB,MAAM,MAAM,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;IACpC,IAAI,GAAG,GAAG,CAAC,CAAC;IAEZ,SAAS,IAAI;QACT,OAAO,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACpD,CAAC;IAED,SAAS,OAAO;QACZ,IAAI,GAAG,IAAI,MAAM,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAC1E,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IACzB,CAAC;IAED,SAAS,MAAM,CAAC,KAAa;QACzB,MAAM,MAAM,GAAG,OAAO,EAAE,CAAC;QACzB,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;YACnB,MAAM,IAAI,KAAK,CAAC,aAAa,KAAK,WAAW,MAAM,GAAG,CAAC,CAAC;QAC5D,CAAC;IACL,CAAC;IAED,KAAK,UAAU,SAAS;QACpB,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,OAAO,IAAI,EAAE,IAAI,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,MAAM,SAAS,EAAE,CAAC,CAAC;QAClC,CAAC;QAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAC;QACxC,CAAC;QAED,iDAAiD;QACjD,IAAI,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACpC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,GAAG,MAAM,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAC9C,CAAC;QAED,OAAO,MAAM,CAAC;IAClB,CAAC;IAED,KAAK,UAAU,SAAS;QACpB,MAAM,KAAK,GAAG,IAAI,EAAE,CAAC;QAErB,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,GAAG,EAAE,CAAC;YAClC,OAAO,gBAAgB,EAAE,CAAC;QAC9B,CAAC;QAED,IAAI,KAAK,KAAK,GAAG,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC,CAAC,IAAI;YACf,MAAM,IAAI,GAAG,MAAM,SAAS,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,CAAC,CAAC;YACZ,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,WAAW;QACX,MAAM,IAAI,GAAG,OAAO,EAAE,CAAC;QACvB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CAAC,0BAA0B,IAAI,EAAE,CAAC,CAAC;QACtD,CAAC;QAED,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5B,OAAO,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC;IAED,KAAK,UAAU,gBAAgB;QAC3B,OAAO,EAAE,CAAC,CAAC,SAAS;QACpB,MAAM,KAAK,GAAG,OAAO,EAAE,CAAC;QAExB,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,CAAC,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CAAC,2BAA2B,KAAK,EAAE,CAAC,CAAC;QACxD,CAAC;QAED,MAAM,CAAC,GAAG,CAAC,CAAC;QAEZ,MAAM,IAAI,GAAG,MAAM,SAAS,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC/B,OAAO,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACtC,CAAC;IAED,OAAO,SAAS,EAAE,CAAC;AACvB,CAAC;AAED,SAAS,QAAQ,CAAC,UAAkB;IAChC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,GAAG,CAAC,CAAC;IAEV,OAAO,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAEzB,kBAAkB;QAClB,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAChB,CAAC,EAAE,CAAC;YACJ,SAAS;QACb,CAAC;QAED,0BAA0B;QAC1B,IAAI,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChB,CAAC,EAAE,CAAC;YACJ,SAAS;QACb,CAAC;QAED,cAAc;QACd,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,IAAI,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,CAAC,GAAG,UAAU,CAAC,MAAM,IAAI,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClE,IAAI,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5B,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,SAAS;QACb,CAAC;QAED,MAAM,IAAI,KAAK,CAAC,yBAAyB,EAAE,EAAE,CAAC,CAAC;IACnD,CAAC;IAED,OAAO,MAAM,CAAC;AAClB,CAAC"}

package/dist/ptr/lambda/LambdaTerm.d.ts

@@ -0,0 +1,95 @@
+/**
+ * Lambda Term - Algebraic Data Type for Lambda Calculus
+ *
+ * Represents Lambda Calculus terms as content-addressable MCards.
+ * Each term variant is stored as JSON in MCard content, with sub-terms
+ * referenced by their SHA-256 hashes for structural sharing.
+ *
+ * The three term constructors mirror the BNF grammar:
+ *   M, N ::= x | λx.M | M N
+ *
+ * @module mcard-js/ptr/lambda/LambdaTerm
+ */
+import { MCard } from '../../model/MCard';
+import { CardCollection } from '../../model/CardCollection';
+/**
+ * Variable term: x
+ */
+export interface VarTerm {
+    readonly tag: 'Var';
+    readonly name: string;
+}
+/**
+ * Abstraction term: λx.M
+ * Body is stored as MCard hash for structural sharing
+ */
+export interface AbsTerm {
+    readonly tag: 'Abs';
+    readonly param: string;
+    readonly body: string;
+}
+/**
+ * Application term: M N
+ * Both function and argument are MCard hashes
+ */
+export interface AppTerm {
+    readonly tag: 'App';
+    readonly func: string;
+    readonly arg: string;
+}
+/**
+ * Union type for all Lambda terms
+ */
+export type LambdaTerm = VarTerm | AbsTerm | AppTerm;
+/**
+ * Create a variable term
+ */
+export declare function mkVar(name: string): VarTerm;
+/**
+ * Create an abstraction term
+ */
+export declare function mkAbs(param: string, bodyHash: string): AbsTerm;
+/**
+ * Create an application term
+ */
+export declare function mkApp(funcHash: string, argHash: string): AppTerm;
+/**
+ * Serialize a Lambda term to MCard content (JSON string)
+ */
+export declare function serializeTerm(term: LambdaTerm): string;
+/**
+ * Deserialize MCard content to Lambda term
+ */
+export declare function deserializeTerm(content: string): LambdaTerm;
+/**
+ * Create an MCard from a Lambda term
+ */
+export declare function termToMCard(term: LambdaTerm): Promise<MCard>;
+/**
+ * Extract Lambda term from MCard
+ */
+export declare function mcardToTerm(mcard: MCard): LambdaTerm;
+/**
+ * Store a Lambda term in the collection and return its hash
+ */
+export declare function storeTerm(collection: CardCollection, term: LambdaTerm): Promise<string>;
+/**
+ * Retrieve a Lambda term from the collection by hash
+ */
+export declare function loadTerm(collection: CardCollection, hash: string): Promise<LambdaTerm | null>;
+/**
+ * Check if a term exists in the collection
+ */
+export declare function termExists(collection: CardCollection, hash: string): Promise<boolean>;
+/**
+ * Pretty-print a Lambda term (shallow - shows hashes for subterms)
+ */
+export declare function prettyPrintShallow(term: LambdaTerm): string;
+/**
+ * Pretty-print a Lambda term (deep - resolves all subterms from collection)
+ */
+export declare function prettyPrintDeep(collection: CardCollection, hash: string): Promise<string>;
+export declare function isVar(term: LambdaTerm): term is VarTerm;
+export declare function isAbs(term: LambdaTerm): term is AbsTerm;
+export declare function isApp(term: LambdaTerm): term is AppTerm;
+//# sourceMappingURL=LambdaTerm.d.ts.map

package/dist/ptr/lambda/LambdaTerm.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"LambdaTerm.d.ts","sourceRoot":"","sources":["../../../src/ptr/lambda/LambdaTerm.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAM5D;;GAEG;AACH,MAAM,WAAW,OAAO;IACpB,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACzB;AAED;;;GAGG;AACH,MAAM,WAAW,OAAO;IACpB,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACzB;AAED;;;GAGG;AACH,MAAM,WAAW,OAAO;IACpB,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,CAAC;AAMrD;;GAEG;AACH,wBAAgB,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE3C;AAED;;GAEG;AACH,wBAAgB,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAE9D;AAED;;GAEG;AACH,wBAAgB,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAEhE;AAMD;;GAEG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAEtD;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,UAAU,CA8B3D;AAED;;GAEG;AACH,wBAAsB,WAAW,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,CAElE;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,KAAK,GAAG,UAAU,CAEpD;AAMD;;GAEG;AACH,wBAAsB,SAAS,CAC3B,UAAU,EAAE,cAAc,EAC1B,IAAI,EAAE,UAAU,GACjB,OAAO,CAAC,MAAM,CAAC,CAIjB;AAED;;GAEG;AACH,wBAAsB,QAAQ,CAC1B,UAAU,EAAE,cAAc,EAC1B,IAAI,EAAE,MAAM,GACb,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC,CAI5B;AAED;;GAEG;AACH,wBAAsB,UAAU,CAC5B,UAAU,EAAE,cAAc,EAC1B,IAAI,EAAE,MAAM,GACb,OAAO,CAAC,OAAO,CAAC,CAGlB;AAMD;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAS3D;AAED;;GAEG;AACH,wBAAsB,eAAe,CACjC,UAAU,EAAE,cAAc,EAC1B,IAAI,EAAE,MAAM,GACb,OAAO,CAAC,MAAM,CAAC,CAiBjB;AAMD,wBAAgB,KAAK,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,IAAI,OAAO,CAEvD;AAED,wBAAgB,KAAK,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,IAAI,OAAO,CAEvD;AAED,wBAAgB,KAAK,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,IAAI,OAAO,CAEvD"}