agentic-lang 0.2.0

package/dist/refinements/refinement-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"refinement-types.d.ts","sourceRoot":"","sources":["../../src/refinements/refinement-types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAMH,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAGD,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;iBAKf,MAAM,OAAO,MAAM;;;;;;;;;;qBAQf,MAAM;;;;;qBAKN,MAAM;;;;;;;;;;;;;;;CAiBxB,CAAC;AAGF,qBAAa,qBAAqB;IAChC,OAAO,CAAC,SAAS,CAAM;IACvB,OAAO,CAAC,WAAW,CAAS;IAEtB,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC;IAQjC;;;OAGG;IACG,KAAK,CACT,KAAK,EAAE,GAAG,EACV,UAAU,EAAE,cAAc,EAC1B,IAAI,GAAE,QAAQ,GAAG,SAAqB,GACrC,OAAO,CAAC;QAAE,KAAK,EAAE,OAAO,CAAC;QAAC,cAAc,CAAC,EAAE,GAAG,CAAA;KAAE,CAAC;IAQpD;;OAEG;YACW,YAAY;IAqB1B;;OAEG;YACW,WAAW;IA8CzB,OAAO,CAAC,sBAAsB;IAc9B,OAAO,CAAC,kBAAkB;IAsD1B,OAAO,CAAC,YAAY;IA8BpB,OAAO,CAAC,iBAAiB;YAWX,qBAAqB;CAUpC;AAGD,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,OAAO,CAA+B;IAExC,QAAQ,CAAC,CAAC,EACd,KAAK,EAAE,CAAC,EACR,UAAU,EAAE,cAAc,EAC1B,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,CAAC,CAAC;CAcd;AAED,qBAAa,mBAAoB,SAAQ,KAAK;IAGnC,QAAQ,EAAE,MAAM;IAChB,UAAU,EAAE,cAAc;IAC1B,KAAK,EAAE,GAAG;gBAHjB,OAAO,EAAE,MAAM,EACR,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,cAAc,EAC1B,KAAK,EAAE,GAAG;CAKpB;AAGD,eAAO,MAAM,iBAAiB,uBAA8B,CAAC;AAC7D,eAAO,MAAM,mBAAmB,qBAA4B,CAAC"}

package/dist/refinements/refinement-types.js

@@ -0,0 +1,234 @@
+"use strict";
+/**
+ * Refinement Types for Agentic
+ * Enables dependent types and logical predicates in type annotations
+ * Inspired by Liquid Haskell and F*
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.refinementValidator = exports.refinementChecker = exports.RefinementViolation = exports.RefinementValidator = exports.RefinementTypeChecker = exports.CommonRefinements = void 0;
+const z3_solver_1 = require("z3-solver");
+// Common refinement types
+exports.CommonRefinements = {
+    // Numeric refinements
+    Positive: { baseType: 'number', predicate: 'x > 0', variable: 'x' },
+    NonNegative: { baseType: 'number', predicate: 'x >= 0', variable: 'x' },
+    NonZero: { baseType: 'number', predicate: 'x != 0', variable: 'x' },
+    Range: (min, max) => ({
+        baseType: 'number',
+        predicate: `x >= ${min} && x <= ${max}`,
+        variable: 'x',
+    }),
+    // String refinements
+    NonEmptyString: { baseType: 'string', predicate: 's.length > 0', variable: 's' },
+    MaxLength: (max) => ({
+        baseType: 'string',
+        predicate: `s.length <= ${max}`,
+        variable: 's',
+    }),
+    MinLength: (min) => ({
+        baseType: 'string',
+        predicate: `s.length >= ${min}`,
+        variable: 's',
+    }),
+    // Agentic-specific refinements
+    ConfidenceScore: {
+        baseType: 'number',
+        predicate: 'c >= 0.0 && c <= 1.0',
+        variable: 'c',
+    },
+    HighConfidence: {
+        baseType: 'number',
+        predicate: 'c >= 0.80 && c <= 1.0',
+        variable: 'c',
+    },
+};
+// Refinement type checker
+class RefinementTypeChecker {
+    constructor() {
+        this.initialized = false;
+    }
+    async initialize() {
+        if (this.initialized)
+            return;
+        const { Context } = await (0, z3_solver_1.init)();
+        this.z3Context = Context('main');
+        this.initialized = true;
+    }
+    /**
+     * Check if a value satisfies a refinement type
+     * Can be used at compile-time (static) or runtime (dynamic)
+     */
+    async check(value, refinement, mode = 'runtime') {
+        if (mode === 'runtime') {
+            return this.checkRuntime(value, refinement);
+        }
+        else {
+            return this.checkStatic(value, refinement);
+        }
+    }
+    /**
+     * Runtime checking (evaluate predicate with actual value)
+     */
+    async checkRuntime(value, refinement) {
+        try {
+            // Create evaluation context
+            const context = { [refinement.variable]: value };
+            // Evaluate predicate
+            const valid = this.evaluatePredicate(refinement.predicate, context);
+            return {
+                valid,
+                counterexample: valid ? undefined : { [refinement.variable]: value },
+            };
+        }
+        catch (error) {
+            const errorMessage = error instanceof Error ? error.message : String(error);
+            return { valid: false, counterexample: { error: errorMessage } };
+        }
+    }
+    /**
+     * Static checking (verify predicate holds for all values using Z3)
+     */
+    async checkStatic(constraint, refinement) {
+        await this.initialize();
+        const solver = new this.z3Context.Solver();
+        // Create symbolic variable
+        const symbolicVar = this.createSymbolicVariable(refinement.variable, refinement.baseType);
+        // Parse refinement predicate
+        const refinementFormula = this.parsePredicateToZ3(refinement.predicate, { [refinement.variable]: symbolicVar });
+        // Parse constraint to check
+        const constraintFormula = this.parsePredicateToZ3(constraint, { [refinement.variable]: symbolicVar });
+        // Check if refinement implies constraint
+        // i.e., ¬(refinement ∧ ¬constraint) is UNSAT
+        solver.add(refinementFormula);
+        solver.add(this.z3Context.Not(constraintFormula));
+        const result = await solver.check();
+        if (result === 'unsat') {
+            return { valid: true };
+        }
+        else if (result === 'sat') {
+            const model = await solver.model();
+            return {
+                valid: false,
+                counterexample: await this.extractCounterexample(model),
+            };
+        }
+        return { valid: false };
+    }
+    createSymbolicVariable(name, type) {
+        switch (type) {
+            case 'number':
+                return this.z3Context.Real.const(name);
+            case 'boolean':
+                return this.z3Context.Bool.const(name);
+            case 'string':
+                // Z3 has limited string support, use sequence theory
+                return this.z3Context.String.const(name);
+            default:
+                throw new Error(`Unsupported type for refinement: ${type}`);
+        }
+    }
+    parsePredicateToZ3(predicate, vars) {
+        // Simplified predicate parser
+        // In production, use proper expression parser
+        // Handle comparisons
+        if (predicate.includes('>=')) {
+            const [left, right] = predicate.split('>=').map(s => s.trim());
+            return this.z3Context.GE(this.parseOperand(left, vars), this.parseOperand(right, vars));
+        }
+        if (predicate.includes('<=')) {
+            const [left, right] = predicate.split('<=').map(s => s.trim());
+            return this.z3Context.LE(this.parseOperand(left, vars), this.parseOperand(right, vars));
+        }
+        if (predicate.includes('>') && !predicate.includes('>=')) {
+            const [left, right] = predicate.split('>').map(s => s.trim());
+            return this.z3Context.GT(this.parseOperand(left, vars), this.parseOperand(right, vars));
+        }
+        if (predicate.includes('==')) {
+            const [left, right] = predicate.split('==').map(s => s.trim());
+            return this.z3Context.Eq(this.parseOperand(left, vars), this.parseOperand(right, vars));
+        }
+        if (predicate.includes('&&')) {
+            const parts = predicate.split('&&').map(s => s.trim());
+            return this.z3Context.And(...parts.map(p => this.parsePredicateToZ3(p, vars)));
+        }
+        if (predicate.includes('||')) {
+            const parts = predicate.split('||').map(s => s.trim());
+            return this.z3Context.Or(...parts.map(p => this.parsePredicateToZ3(p, vars)));
+        }
+        throw new Error(`Cannot parse predicate: ${predicate}`);
+    }
+    parseOperand(operand, vars) {
+        operand = operand.trim();
+        // Variable
+        if (vars[operand]) {
+            return vars[operand];
+        }
+        // Number literal
+        const num = parseFloat(operand);
+        if (!isNaN(num)) {
+            return this.z3Context.Real.val(num);
+        }
+        // Boolean literal
+        if (operand === 'true')
+            return this.z3Context.Bool.val(true);
+        if (operand === 'false')
+            return this.z3Context.Bool.val(false);
+        // Property access (e.g., "s.length")
+        if (operand.includes('.')) {
+            const [obj, prop] = operand.split('.');
+            if (prop === 'length' && vars[obj]) {
+                // String length
+                return this.z3Context.Length(vars[obj]);
+            }
+        }
+        throw new Error(`Cannot parse operand: ${operand}`);
+    }
+    evaluatePredicate(predicate, context) {
+        // Runtime evaluation
+        try {
+            // Create safe evaluation function
+            const fn = new Function(...Object.keys(context), `return ${predicate}`);
+            return fn(...Object.values(context));
+        }
+        catch {
+            return false;
+        }
+    }
+    async extractCounterexample(model) {
+        const entries = await model.entries();
+        const counterexample = {};
+        for (const [name, value] of entries) {
+            counterexample[name] = await value.value();
+        }
+        return counterexample;
+    }
+}
+exports.RefinementTypeChecker = RefinementTypeChecker;
+// Runtime refinement validation
+class RefinementValidator {
+    constructor() {
+        this.checker = new RefinementTypeChecker();
+    }
+    async validate(value, refinement, location) {
+        const result = await this.checker.check(value, refinement, 'runtime');
+        if (!result.valid) {
+            throw new RefinementViolation(`Value ${JSON.stringify(value)} does not satisfy refinement ${refinement.predicate}`, location, refinement, value);
+        }
+        return value;
+    }
+}
+exports.RefinementValidator = RefinementValidator;
+class RefinementViolation extends Error {
+    constructor(message, location, refinement, value) {
+        super(message);
+        this.location = location;
+        this.refinement = refinement;
+        this.value = value;
+        this.name = 'RefinementViolation';
+    }
+}
+exports.RefinementViolation = RefinementViolation;
+// Export instances
+exports.refinementChecker = new RefinementTypeChecker();
+exports.refinementValidator = new RefinementValidator();
+//# sourceMappingURL=refinement-types.js.map

package/dist/refinements/refinement-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"refinement-types.js","sourceRoot":"","sources":["../../src/refinements/refinement-types.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;;AAEH,yCAA2C;AAU3C,0BAA0B;AACb,QAAA,iBAAiB,GAAG;IAC/B,sBAAsB;IACtB,QAAQ,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE;IACnE,WAAW,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE;IACvE,OAAO,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE;IACnE,KAAK,EAAE,CAAC,GAAW,EAAE,GAAW,EAAE,EAAE,CAAC,CAAC;QACpC,QAAQ,EAAE,QAAQ;QAClB,SAAS,EAAE,QAAQ,GAAG,YAAY,GAAG,EAAE;QACvC,QAAQ,EAAE,GAAG;KACd,CAAC;IAEF,qBAAqB;IACrB,cAAc,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,cAAc,EAAE,QAAQ,EAAE,GAAG,EAAE;IAChF,SAAS,EAAE,CAAC,GAAW,EAAE,EAAE,CAAC,CAAC;QAC3B,QAAQ,EAAE,QAAQ;QAClB,SAAS,EAAE,eAAe,GAAG,EAAE;QAC/B,QAAQ,EAAE,GAAG;KACd,CAAC;IACF,SAAS,EAAE,CAAC,GAAW,EAAE,EAAE,CAAC,CAAC;QAC3B,QAAQ,EAAE,QAAQ;QAClB,SAAS,EAAE,eAAe,GAAG,EAAE;QAC/B,QAAQ,EAAE,GAAG;KACd,CAAC;IAEF,+BAA+B;IAC/B,eAAe,EAAE;QACf,QAAQ,EAAE,QAAQ;QAClB,SAAS,EAAE,sBAAsB;QACjC,QAAQ,EAAE,GAAG;KACd;IACD,cAAc,EAAE;QACd,QAAQ,EAAE,QAAQ;QAClB,SAAS,EAAE,uBAAuB;QAClC,QAAQ,EAAE,GAAG;KACd;CACF,CAAC;AAEF,0BAA0B;AAC1B,MAAa,qBAAqB;IAAlC;QAEU,gBAAW,GAAG,KAAK,CAAC;IA0N9B,CAAC;IAxNC,KAAK,CAAC,UAAU;QACd,IAAI,IAAI,CAAC,WAAW;YAAE,OAAO;QAE7B,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,IAAA,gBAAM,GAAE,CAAC;QACnC,IAAI,CAAC,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QACjC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;IAC1B,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,KAAK,CACT,KAAU,EACV,UAA0B,EAC1B,OAA6B,SAAS;QAEtC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QAC9C,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,YAAY,CACxB,KAAU,EACV,UAA0B;QAE1B,IAAI,CAAC;YACH,4BAA4B;YAC5B,MAAM,OAAO,GAAG,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,CAAC;YAEjD,qBAAqB;YACrB,MAAM,KAAK,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YAEpE,OAAO;gBACL,KAAK;gBACL,cAAc,EAAE,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE;aACrE,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,YAAY,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC5E,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,cAAc,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE,CAAC;QACnE,CAAC;IACH,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,WAAW,CACvB,UAAkB,EAClB,UAA0B;QAE1B,MAAM,IAAI,CAAC,UAAU,EAAE,CAAC;QAExB,MAAM,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QAE3C,2BAA2B;QAC3B,MAAM,WAAW,GAAG,IAAI,CAAC,sBAAsB,CAC7C,UAAU,CAAC,QAAQ,EACnB,UAAU,CAAC,QAAQ,CACpB,CAAC;QAEF,6BAA6B;QAC7B,MAAM,iBAAiB,GAAG,IAAI,CAAC,kBAAkB,CAC/C,UAAU,CAAC,SAAS,EACpB,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,CACvC,CAAC;QAEF,4BAA4B;QAC5B,MAAM,iBAAiB,GAAG,IAAI,CAAC,kBAAkB,CAC/C,UAAU,EACV,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,CACvC,CAAC;QAEF,yCAAyC;QACzC,6CAA6C;QAC7C,MAAM,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC;QAElD,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;QAEpC,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;YACvB,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QACzB,CAAC;aAAM,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;YACnC,OAAO;gBACL,KAAK,EAAE,KAAK;gBACZ,cAAc,EAAE,MAAM,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC;aACxD,CAAC;QACJ,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAC1B,CAAC;IAEO,sBAAsB,CAAC,IAAY,EAAE,IAAY;QACvD,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACzC,KAAK,SAAS;gBACZ,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACzC,KAAK,QAAQ;gBACX,qDAAqD;gBACrD,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC3C;gBACE,MAAM,IAAI,KAAK,CAAC,oCAAoC,IAAI,EAAE,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IAEO,kBAAkB,CAAC,SAAiB,EAAE,IAAyB;QACrE,8BAA8B;QAC9B,8CAA8C;QAE9C,qBAAqB;QACrB,IAAI,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC/D,OAAO,IAAI,CAAC,SAAS,CAAC,EAAE,CACtB,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,EAC7B,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAC/B,CAAC;QACJ,CAAC;QAED,IAAI,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC/D,OAAO,IAAI,CAAC,SAAS,CAAC,EAAE,CACtB,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,EAC7B,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAC/B,CAAC;QACJ,CAAC;QAED,IAAI,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACzD,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC9D,OAAO,IAAI,CAAC,SAAS,CAAC,EAAE,CACtB,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,EAC7B,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAC/B,CAAC;QACJ,CAAC;QAED,IAAI,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC/D,OAAO,IAAI,CAAC,SAAS,CAAC,EAAE,CACtB,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,EAC7B,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAC/B,CAAC;QACJ,CAAC;QAED,IAAI,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACvD,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CACvB,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CACpD,CAAC;QACJ,CAAC;QAED,IAAI,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACvD,OAAO,IAAI,CAAC,SAAS,CAAC,EAAE,CACtB,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CACpD,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,KAAK,CAAC,2BAA2B,SAAS,EAAE,CAAC,CAAC;IAC1D,CAAC;IAEO,YAAY,CAAC,OAAe,EAAE,IAAyB;QAC7D,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;QAEzB,WAAW;QACX,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAClB,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC;QACvB,CAAC;QAED,iBAAiB;QACjB,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;QAChC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAChB,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtC,CAAC;QAED,kBAAkB;QAClB,IAAI,OAAO,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAI,OAAO,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAE/D,qCAAqC;QACrC,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACvC,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnC,gBAAgB;gBAChB,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1C,CAAC;QACH,CAAC;QAED,MAAM,IAAI,KAAK,CAAC,yBAAyB,OAAO,EAAE,CAAC,CAAC;IACtD,CAAC;IAEO,iBAAiB,CAAC,SAAiB,EAAE,OAA4B;QACvE,qBAAqB;QACrB,IAAI,CAAC;YACH,kCAAkC;YAClC,MAAM,EAAE,GAAG,IAAI,QAAQ,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,UAAU,SAAS,EAAE,CAAC,CAAC;YACxE,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QACvC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAEO,KAAK,CAAC,qBAAqB,CAAC,KAAU;QAC5C,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,OAAO,EAAE,CAAC;QACtC,MAAM,cAAc,GAAwB,EAAE,CAAC;QAE/C,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;YACpC,cAAc,CAAC,IAAI,CAAC,GAAG,MAAM,KAAK,CAAC,KAAK,EAAE,CAAC;QAC7C,CAAC;QAED,OAAO,cAAc,CAAC;IACxB,CAAC;CACF;AA5ND,sDA4NC;AAED,gCAAgC;AAChC,MAAa,mBAAmB;IAAhC;QACU,YAAO,GAAG,IAAI,qBAAqB,EAAE,CAAC;IAoBhD,CAAC;IAlBC,KAAK,CAAC,QAAQ,CACZ,KAAQ,EACR,UAA0B,EAC1B,QAAgB;QAEhB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;QAEtE,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;YAClB,MAAM,IAAI,mBAAmB,CAC3B,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,gCAAgC,UAAU,CAAC,SAAS,EAAE,EACpF,QAAQ,EACR,UAAU,EACV,KAAK,CACN,CAAC;QACJ,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;CACF;AArBD,kDAqBC;AAED,MAAa,mBAAoB,SAAQ,KAAK;IAC5C,YACE,OAAe,EACR,QAAgB,EAChB,UAA0B,EAC1B,KAAU;QAEjB,KAAK,CAAC,OAAO,CAAC,CAAC;QAJR,aAAQ,GAAR,QAAQ,CAAQ;QAChB,eAAU,GAAV,UAAU,CAAgB;QAC1B,UAAK,GAAL,KAAK,CAAK;QAGjB,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;IACpC,CAAC;CACF;AAVD,kDAUC;AAED,mBAAmB;AACN,QAAA,iBAAiB,GAAG,IAAI,qBAAqB,EAAE,CAAC;AAChD,QAAA,mBAAmB,GAAG,IAAI,mBAAmB,EAAE,CAAC"}

package/dist/repl.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Agentic REPL - Interactive playground for learning and experimentation
+ */
+export declare class AgenticRepl {
+    private context;
+    private rl;
+    private parser;
+    private multilineBuffer;
+    private inMultilineMode;
+    constructor();
+    start(): void;
+    private handleLine;
+    private handleCommand;
+    private execute;
+    private showHelp;
+    private showVariables;
+    private showFunctions;
+    private showHistory;
+    private showExample;
+}
+//# sourceMappingURL=repl.d.ts.map

package/dist/repl.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"repl.d.ts","sourceRoot":"","sources":["../src/repl.ts"],"names":[],"mappings":"AAAA;;GAEG;AAcH,qBAAa,WAAW;IACtB,OAAO,CAAC,OAAO,CAAc;IAC7B,OAAO,CAAC,EAAE,CAAqB;IAC/B,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,eAAe,CAAgB;IACvC,OAAO,CAAC,eAAe,CAAkB;;IAmBzC,KAAK;IAgBL,OAAO,CAAC,UAAU;IA4ClB,OAAO,CAAC,aAAa;IAwDrB,OAAO,CAAC,OAAO;IAoDf,OAAO,CAAC,QAAQ;IAsBhB,OAAO,CAAC,aAAa;IAYrB,OAAO,CAAC,aAAa;IAYrB,OAAO,CAAC,WAAW;IAYnB,OAAO,CAAC,WAAW;CA+DpB"}

package/dist/repl.js

@@ -0,0 +1,317 @@
+"use strict";
+/**
+ * Agentic REPL - Interactive playground for learning and experimentation
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.AgenticRepl = void 0;
+const readline = __importStar(require("readline"));
+const parser_1 = require("./parser/parser");
+const typescript_generator_1 = require("./generator/typescript-generator");
+class AgenticRepl {
+    constructor() {
+        this.multilineBuffer = [];
+        this.inMultilineMode = false;
+        this.context = {
+            variables: new Map(),
+            functions: new Map(),
+            history: [],
+            confidenceThreshold: 0.80,
+        };
+        this.rl = readline.createInterface({
+            input: process.stdin,
+            output: process.stdout,
+            prompt: 'agentic> ',
+        });
+        this.parser = new parser_1.Parser();
+    }
+    start() {
+        console.log('🚀 Agentic REPL v0.1.0');
+        console.log('Type .help for commands, .exit to quit\n');
+        this.rl.prompt();
+        this.rl.on('line', (line) => {
+            this.handleLine(line.trim());
+        });
+        this.rl.on('close', () => {
+            console.log('\n👋 Goodbye!');
+            process.exit(0);
+        });
+    }
+    handleLine(line) {
+        // Handle special commands
+        if (line.startsWith('.')) {
+            this.handleCommand(line);
+            this.rl.prompt();
+            return;
+        }
+        // Handle empty lines
+        if (!line) {
+            this.rl.prompt();
+            return;
+        }
+        // Handle multiline input
+        if (this.inMultilineMode) {
+            if (line === '}') {
+                this.multilineBuffer.push(line);
+                const code = this.multilineBuffer.join('\n');
+                this.multilineBuffer = [];
+                this.inMultilineMode = false;
+                this.execute(code);
+            }
+            else {
+                this.multilineBuffer.push(line);
+                this.rl.setPrompt('...     > ');
+            }
+            this.rl.prompt();
+            return;
+        }
+        // Check if starting multiline input
+        if (line.startsWith('func') || line.includes('{') && !line.includes('}')) {
+            this.inMultilineMode = true;
+            this.multilineBuffer.push(line);
+            this.rl.setPrompt('...     > ');
+            this.rl.prompt();
+            return;
+        }
+        // Execute single line
+        this.execute(line);
+        this.rl.prompt();
+    }
+    handleCommand(cmd) {
+        const parts = cmd.split(' ');
+        const command = parts[0];
+        switch (command) {
+            case '.help':
+                this.showHelp();
+                break;
+            case '.exit':
+            case '.quit':
+                this.rl.close();
+                break;
+            case '.clear':
+                console.clear();
+                break;
+            case '.vars':
+                this.showVariables();
+                break;
+            case '.funcs':
+                this.showFunctions();
+                break;
+            case '.confidence':
+                if (parts[1]) {
+                    this.context.confidenceThreshold = parseFloat(parts[1]);
+                    console.log(`✓ Confidence threshold set to ${this.context.confidenceThreshold}`);
+                }
+                else {
+                    console.log(`Current confidence threshold: ${this.context.confidenceThreshold}`);
+                }
+                break;
+            case '.history':
+                this.showHistory();
+                break;
+            case '.reset':
+                this.context.variables.clear();
+                this.context.functions.clear();
+                this.context.history = [];
+                console.log('✓ Context reset');
+                break;
+            case '.example':
+                this.showExample(parts[1]);
+                break;
+            default:
+                console.log(`Unknown command: ${command}`);
+                console.log('Type .help for available commands');
+        }
+    }
+    execute(code) {
+        try {
+            // Add to history
+            this.context.history.push(code);
+            // Parse the code
+            const ast = this.parser.parse(code);
+            // Generate TypeScript
+            const generator = new typescript_generator_1.TypeScriptGenerator('<repl>');
+            const tsCode = generator.generate(ast);
+            // Show generated code in debug mode
+            if (process.env.DEBUG) {
+                console.log('\n--- Generated TypeScript ---');
+                console.log(tsCode);
+                console.log('----------------------------\n');
+            }
+            // Evaluate (simplified - in production would use vm module)
+            console.log('✓ Code compiled successfully');
+            console.log(`  ${ast.length} statement(s) parsed`);
+            // Extract and show confidence annotations
+            ast.forEach((node) => {
+                if (node.type === 'FunctionDeclaration') {
+                    const confidenceAnnotation = node.annotations?.find((a) => a.name === 'confidence');
+                    if (confidenceAnnotation) {
+                        const level = confidenceAnnotation.args.arg0 || 0;
+                        const reason = confidenceAnnotation.args.arg1 || 'No reason provided';
+                        if (level < this.context.confidenceThreshold) {
+                            console.log(`  ⚠️  Low confidence (${level}): ${reason}`);
+                        }
+                        else {
+                            console.log(`  ✓ Confidence: ${level} - ${reason}`);
+                        }
+                    }
+                    const stageAnnotation = node.annotations?.find((a) => a.name === 'stub' || a.name === 'partial' || a.name === 'complete');
+                    if (stageAnnotation) {
+                        console.log(`  📊 Stage: @${stageAnnotation.name}`);
+                    }
+                }
+            });
+        }
+        catch (error) {
+            console.error('✗ Error:', error.message);
+        }
+    }
+    showHelp() {
+        console.log(`
+Agentic REPL Commands:
+  .help              Show this help
+  .exit, .quit       Exit REPL
+  .clear             Clear screen
+  .vars              Show defined variables
+  .funcs             Show defined functions
+  .confidence <n>    Set confidence threshold (default: 0.80)
+  .history           Show command history
+  .reset             Reset REPL context
+  .example <topic>   Show example code
+
+Examples:
+  agentic> @confidence(0.95)
+  agentic> func add(a: number, b: number) -> number { return a + b }
+
+  agentic> .confidence 0.70
+  agentic> .example result
+    `);
+    }
+    showVariables() {
+        if (this.context.variables.size === 0) {
+            console.log('No variables defined');
+            return;
+        }
+        console.log('\nDefined variables:');
+        this.context.variables.forEach((value, name) => {
+            console.log(`  ${name} = ${JSON.stringify(value)}`);
+        });
+    }
+    showFunctions() {
+        if (this.context.functions.size === 0) {
+            console.log('No functions defined');
+            return;
+        }
+        console.log('\nDefined functions:');
+        this.context.functions.forEach((_, name) => {
+            console.log(`  func ${name}(...)`);
+        });
+    }
+    showHistory() {
+        if (this.context.history.length === 0) {
+            console.log('No history');
+            return;
+        }
+        console.log('\nHistory:');
+        this.context.history.forEach((cmd, i) => {
+            console.log(`  ${i + 1}. ${cmd}`);
+        });
+    }
+    showExample(topic) {
+        const examples = {
+            result: `@confidence(0.90)
+@complete
+func divide(a: number, b: number) -> Result<number, string> {
+  if b == 0 {
+    return Err("Division by zero")
+  }
+  return Ok(a / b)
+}`,
+            match: `divide(10, 2) match {
+  Ok(result) -> return result,
+  Err(error) -> return 0
+}`,
+            stub: `@stub
+@needs(database)
+func saveUser(name: string) -> Result<boolean, string> {
+  // Not implemented yet
+}`,
+            partial: `@partial
+@confidence(0.65, "Only handles positive numbers")
+func factorial(n: number) -> number {
+  if n <= 1 {
+    return 1
+  }
+  return n * factorial(n - 1)
+}`,
+            error: `result = apiCall() or error {
+  @context {
+    what_failed: "API call",
+    suggestions: ["Check network", "Retry"],
+    recovery: { action: "use_cache" }
+  }
+  return useCachedData()
+}`,
+        };
+        if (!topic) {
+            console.log('\nAvailable examples:');
+            console.log('  result   - Result type and error handling');
+            console.log('  match    - Pattern matching');
+            console.log('  stub     - Stub functions');
+            console.log('  partial  - Partial implementation');
+            console.log('  error    - Error recovery blocks');
+            console.log('\nUsage: .example <topic>');
+            return;
+        }
+        const example = examples[topic.toLowerCase()];
+        if (example) {
+            console.log(`\nExample: ${topic}`);
+            console.log('─'.repeat(40));
+            console.log(example);
+            console.log('─'.repeat(40));
+        }
+        else {
+            console.log(`Unknown example: ${topic}`);
+            console.log('Type .example to see available examples');
+        }
+    }
+}
+exports.AgenticRepl = AgenticRepl;
+// CLI entry point
+if (require.main === module) {
+    const repl = new AgenticRepl();
+    repl.start();
+}
+//# sourceMappingURL=repl.js.map

package/dist/repl.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"repl.js","sourceRoot":"","sources":["../src/repl.ts"],"names":[],"mappings":";AAAA;;GAEG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,mDAAqC;AACrC,4CAAyC;AACzC,2EAAuE;AAUvE,MAAa,WAAW;IAOtB;QAHQ,oBAAe,GAAa,EAAE,CAAC;QAC/B,oBAAe,GAAY,KAAK,CAAC;QAGvC,IAAI,CAAC,OAAO,GAAG;YACb,SAAS,EAAE,IAAI,GAAG,EAAE;YACpB,SAAS,EAAE,IAAI,GAAG,EAAE;YACpB,OAAO,EAAE,EAAE;YACX,mBAAmB,EAAE,IAAI;SAC1B,CAAC;QAEF,IAAI,CAAC,EAAE,GAAG,QAAQ,CAAC,eAAe,CAAC;YACjC,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,MAAM,EAAE,WAAW;SACpB,CAAC,CAAC;QAEH,IAAI,CAAC,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;IAC7B,CAAC;IAED,KAAK;QACH,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;QACtC,OAAO,CAAC,GAAG,CAAC,0CAA0C,CAAC,CAAC;QAExD,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC;QAEjB,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,IAAY,EAAE,EAAE;YAClC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE;YACvB,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;YAC7B,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC,CAAC,CAAC;IACL,CAAC;IAEO,UAAU,CAAC,IAAY;QAC7B,0BAA0B;QAC1B,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACzB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;YACzB,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC;YACjB,OAAO;QACT,CAAC;QAED,qBAAqB;QACrB,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC;YACjB,OAAO;QACT,CAAC;QAED,yBAAyB;QACzB,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;YACzB,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBACjB,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChC,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC7C,IAAI,CAAC,eAAe,GAAG,EAAE,CAAC;gBAC1B,IAAI,CAAC,eAAe,GAAG,KAAK,CAAC;gBAC7B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACrB,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;YAClC,CAAC;YACD,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC;YACjB,OAAO;QACT,CAAC;QAED,oCAAoC;QACpC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACzE,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC;YAC5B,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;YAChC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC;YACjB,OAAO;QACT,CAAC;QAED,sBAAsB;QACtB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACnB,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC;IACnB,CAAC;IAEO,aAAa,CAAC,GAAW;QAC/B,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QAEzB,QAAQ,OAAO,EAAE,CAAC;YAChB,KAAK,OAAO;gBACV,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAChB,MAAM;YAER,KAAK,OAAO,CAAC;YACb,KAAK,OAAO;gBACV,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;gBAChB,MAAM;YAER,KAAK,QAAQ;gBACX,OAAO,CAAC,KAAK,EAAE,CAAC;gBAChB,MAAM;YAER,KAAK,OAAO;gBACV,IAAI,CAAC,aAAa,EAAE,CAAC;gBACrB,MAAM;YAER,KAAK,QAAQ;gBACX,IAAI,CAAC,aAAa,EAAE,CAAC;gBACrB,MAAM;YAER,KAAK,aAAa;gBAChB,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;oBACb,IAAI,CAAC,OAAO,CAAC,mBAAmB,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;oBACxD,OAAO,CAAC,GAAG,CAAC,iCAAiC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAAC;gBACnF,CAAC;qBAAM,CAAC;oBACN,OAAO,CAAC,GAAG,CAAC,iCAAiC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAAC;gBACnF,CAAC;gBACD,MAAM;YAER,KAAK,UAAU;gBACb,IAAI,CAAC,WAAW,EAAE,CAAC;gBACnB,MAAM;YAER,KAAK,QAAQ;gBACX,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;gBAC/B,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;gBAC/B,IAAI,CAAC,OAAO,CAAC,OAAO,GAAG,EAAE,CAAC;gBAC1B,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;gBAC/B,MAAM;YAER,KAAK,UAAU;gBACb,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC3B,MAAM;YAER;gBACE,OAAO,CAAC,GAAG,CAAC,oBAAoB,OAAO,EAAE,CAAC,CAAC;gBAC3C,OAAO,CAAC,GAAG,CAAC,mCAAmC,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IAEO,OAAO,CAAC,IAAY;QAC1B,IAAI,CAAC;YACH,iBAAiB;YACjB,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAEhC,iBAAiB;YACjB,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAEpC,sBAAsB;YACtB,MAAM,SAAS,GAAG,IAAI,0CAAmB,CAAC,QAAQ,CAAC,CAAC;YACpD,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YAEvC,oCAAoC;YACpC,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;gBACtB,OAAO,CAAC,GAAG,CAAC,gCAAgC,CAAC,CAAC;gBAC9C,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACpB,OAAO,CAAC,GAAG,CAAC,gCAAgC,CAAC,CAAC;YAChD,CAAC;YAED,4DAA4D;YAC5D,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;YAC5C,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,MAAM,sBAAsB,CAAC,CAAC;YAEnD,0CAA0C;YAC1C,GAAG,CAAC,OAAO,CAAC,CAAC,IAAS,EAAE,EAAE;gBACxB,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;oBACxC,MAAM,oBAAoB,GAAG,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;oBACzF,IAAI,oBAAoB,EAAE,CAAC;wBACzB,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;wBAClD,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,IAAI,oBAAoB,CAAC;wBAEtE,IAAI,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,CAAC;4BAC7C,OAAO,CAAC,GAAG,CAAC,yBAAyB,KAAK,MAAM,MAAM,EAAE,CAAC,CAAC;wBAC5D,CAAC;6BAAM,CAAC;4BACN,OAAO,CAAC,GAAG,CAAC,mBAAmB,KAAK,MAAM,MAAM,EAAE,CAAC,CAAC;wBACtD,CAAC;oBACH,CAAC;oBAED,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CACxD,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CACnE,CAAC;oBACF,IAAI,eAAe,EAAE,CAAC;wBACpB,OAAO,CAAC,GAAG,CAAC,gBAAgB,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC;oBACtD,CAAC;gBACH,CAAC;YACH,CAAC,CAAC,CAAC;QAEL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,KAAK,CAAC,UAAU,EAAG,KAAe,CAAC,OAAO,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IAEO,QAAQ;QACd,OAAO,CAAC,GAAG,CAAC;;;;;;;;;;;;;;;;;;KAkBX,CAAC,CAAC;IACL,CAAC;IAEO,aAAa;QACnB,IAAI,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACtC,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;YACpC,OAAO;QACT,CAAC;QAED,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;QACpC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;YAC7C,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;IACL,CAAC;IAEO,aAAa;QACnB,IAAI,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACtC,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;YACpC,OAAO;QACT,CAAC;QAED,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;QACpC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE;YACzC,OAAO,CAAC,GAAG,CAAC,UAAU,IAAI,OAAO,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;IACL,CAAC;IAEO,WAAW;QACjB,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YAC1B,OAAO;QACT,CAAC;QAED,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC1B,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;YACtC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;IACL,CAAC;IAEO,WAAW,CAAC,KAAc;QAChC,MAAM,QAAQ,GAA2B;YACvC,MAAM,EAAE;;;;;;;EAOZ;YAEI,KAAK,EAAE;;;EAGX;YAEI,IAAI,EAAE;;;;EAIV;YAEI,OAAO,EAAE;;;;;;;EAOb;YAEI,KAAK,EAAE;;;;;;;EAOX;SACG,CAAC;QAEF,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;YACrC,OAAO,CAAC,GAAG,CAAC,6CAA6C,CAAC,CAAC;YAC3D,OAAO,CAAC,GAAG,CAAC,+BAA+B,CAAC,CAAC;YAC7C,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC;YAC3C,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAC;YACnD,OAAO,CAAC,GAAG,CAAC,oCAAoC,CAAC,CAAC;YAClD,OAAO,CAAC,GAAG,CAAC,2BAA2B,CAAC,CAAC;YACzC,OAAO;QACT,CAAC;QAED,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;QAC9C,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,CAAC,GAAG,CAAC,cAAc,KAAK,EAAE,CAAC,CAAC;YACnC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACrB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9B,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,oBAAoB,KAAK,EAAE,CAAC,CAAC;YACzC,OAAO,CAAC,GAAG,CAAC,yCAAyC,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;CACF;AAzTD,kCAyTC;AAED,kBAAkB;AAClB,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;IAC5B,MAAM,IAAI,GAAG,IAAI,WAAW,EAAE,CAAC;IAC/B,IAAI,CAAC,KAAK,EAAE,CAAC;AACf,CAAC"}