agentic-lang 0.2.0

package/dist/effects/effect-system.js

@@ -0,0 +1,197 @@
+"use strict";
+/**
+ * Effect System for Agentic
+ * Tracks side effects at type level (inspired by Koka, Eff, Unison)
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.effectCostTracker = exports.effectHandlers = exports.effectInference = exports.EffectCostTracker = exports.mockDatabaseHandler = exports.consoleHandler = exports.EffectHandlerRegistry = exports.EffectInferenceEngine = void 0;
+// Effect Inference Engine
+class EffectInferenceEngine {
+    constructor() {
+        this.functionEffects = new Map();
+    }
+    /**
+     * Infer effects from function body
+     */
+    inferEffects(func) {
+        const effects = new Set();
+        // Check for explicit effect annotations
+        const effectAnnotation = func.annotations.find(a => a.name === 'effects');
+        if (effectAnnotation && effectAnnotation.args.effects) {
+            const declaredEffects = effectAnnotation.args.effects;
+            declaredEffects.forEach(e => effects.add(e));
+            return { effects };
+        }
+        // Infer from function body
+        this.analyzeNode(func.body, effects);
+        // Cache for future use
+        this.functionEffects.set(func.name, { effects });
+        return { effects };
+    }
+    analyzeNode(node, effects) {
+        switch (node.type) {
+            case 'CallExpression':
+                this.analyzeCallExpression(node, effects);
+                break;
+            case 'BlockStatement':
+                const block = node;
+                block.body.forEach(stmt => this.analyzeNode(stmt, effects));
+                break;
+            case 'IfStatement':
+                const ifStmt = node;
+                this.analyzeNode(ifStmt.consequent, effects);
+                if (ifStmt.alternate) {
+                    this.analyzeNode(ifStmt.alternate, effects);
+                }
+                break;
+        }
+    }
+    analyzeCallExpression(call, effects) {
+        const calleeName = call.callee.name;
+        // Known effectful functions
+        const effectMap = {
+            'console.log': 'io',
+            'fetch': 'network',
+            'database.query': 'database',
+            'llm.complete': 'llm_call',
+            'Math.random': 'random',
+            'fs.readFile': 'file_system',
+            'prompt': 'human_interaction',
+        };
+        // Check if this is a known effectful operation
+        for (const [pattern, effect] of Object.entries(effectMap)) {
+            if (calleeName.includes(pattern.split('.')[0])) {
+                effects.add(effect);
+            }
+        }
+        // Check for async operations (Promise, await)
+        if (calleeName.includes('async') || calleeName.includes('await')) {
+            effects.add('async');
+        }
+        // Look up callee's effects (if we've analyzed it)
+        const calleeEffects = this.functionEffects.get(calleeName);
+        if (calleeEffects) {
+            calleeEffects.effects.forEach(e => effects.add(e));
+        }
+    }
+    /**
+     * Check if function effects are compatible with declared effects
+     */
+    validateEffects(func, inferredEffects) {
+        const effectAnnotation = func.annotations.find(a => a.name === 'effects');
+        if (!effectAnnotation) {
+            // No declared effects, all inferred effects are violations of purity
+            if (inferredEffects.effects.size > 0) {
+                return {
+                    valid: false,
+                    violations: Array.from(inferredEffects.effects).map(e => `Undeclared effect: ${e}`),
+                };
+            }
+            return { valid: true, violations: [] };
+        }
+        const declaredEffects = new Set(effectAnnotation.args.effects);
+        const violations = [];
+        // Check for undeclared effects
+        for (const effect of inferredEffects.effects) {
+            if (!declaredEffects.has(effect)) {
+                violations.push(`Effect '${effect}' used but not declared`);
+            }
+        }
+        return {
+            valid: violations.length === 0,
+            violations,
+        };
+    }
+    /**
+     * Combine effects from multiple functions (for composition)
+     */
+    combineEffects(effects1, effects2) {
+        const combined = new Set([
+            ...effects1.effects,
+            ...effects2.effects,
+        ]);
+        return { effects: combined };
+    }
+    /**
+     * Check if function is pure (no effects)
+     */
+    isPure(effectSet) {
+        return effectSet.effects.size === 0 ||
+            (effectSet.effects.size === 1 && effectSet.effects.has('pure'));
+    }
+}
+exports.EffectInferenceEngine = EffectInferenceEngine;
+class EffectHandlerRegistry {
+    constructor() {
+        this.handlers = new Map();
+    }
+    register(handler) {
+        this.handlers.set(handler.effect, handler);
+    }
+    get(effect) {
+        return this.handlers.get(effect);
+    }
+    /**
+     * Execute function with custom effect handlers
+     */
+    async withHandlers(fn, handlers) {
+        // Install handlers
+        handlers.forEach(h => this.register(h));
+        try {
+            return await fn();
+        }
+        finally {
+            // Cleanup handlers
+            handlers.forEach(h => this.handlers.delete(h.effect));
+        }
+    }
+}
+exports.EffectHandlerRegistry = EffectHandlerRegistry;
+// Predefined effect handlers
+exports.consoleHandler = {
+    effect: 'io',
+    handle: (operation) => {
+        console.log('[IO]', operation);
+    },
+};
+exports.mockDatabaseHandler = {
+    effect: 'database',
+    handle: (operation) => {
+        // Return mock data
+        return { ok: true, value: { id: 1, name: 'Mock User' } };
+    },
+};
+// Cost tracking for effectful operations
+class EffectCostTracker {
+    constructor() {
+        this.costs = {
+            pure: 0,
+            io: 0.0001,
+            state: 0.0001,
+            async: 0.0002,
+            network: 0.001,
+            database: 0.002,
+            llm_call: 0.01,
+            human_interaction: 0.05,
+            file_system: 0.0005,
+            random: 0.0001,
+            exception: 0.0001,
+        };
+    }
+    estimateCost(effectSet) {
+        let totalCost = 0;
+        for (const effect of effectSet.effects) {
+            totalCost += this.costs[effect];
+        }
+        return totalCost;
+    }
+    setCost(effect, cost) {
+        this.costs[effect] = cost;
+    }
+}
+exports.EffectCostTracker = EffectCostTracker;
+// Export instances
+exports.effectInference = new EffectInferenceEngine();
+exports.effectHandlers = new EffectHandlerRegistry();
+exports.effectCostTracker = new EffectCostTracker();
+//# sourceMappingURL=effect-system.js.map

package/dist/effects/effect-system.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-system.js","sourceRoot":"","sources":["../../src/effects/effect-system.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAgCH,0BAA0B;AAC1B,MAAa,qBAAqB;IAAlC;QACU,oBAAe,GAAG,IAAI,GAAG,EAAqB,CAAC;IAuIzD,CAAC;IArIC;;OAEG;IACH,YAAY,CAAC,IAA6B;QACxC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAElC,wCAAwC;QACxC,MAAM,gBAAgB,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QAC1E,IAAI,gBAAgB,IAAI,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACtD,MAAM,eAAe,GAAG,gBAAgB,CAAC,IAAI,CAAC,OAAmB,CAAC;YAClE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAW,CAAC,CAAC,CAAC;YACvD,OAAO,EAAE,OAAO,EAAE,CAAC;QACrB,CAAC;QAED,2BAA2B;QAC3B,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAErC,uBAAuB;QACvB,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;QAEjD,OAAO,EAAE,OAAO,EAAE,CAAC;IACrB,CAAC;IAEO,WAAW,CAAC,IAAiB,EAAE,OAAoB;QACzD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,gBAAgB;gBACnB,IAAI,CAAC,qBAAqB,CAAC,IAA0B,EAAE,OAAO,CAAC,CAAC;gBAChE,MAAM;YAER,KAAK,gBAAgB;gBACnB,MAAM,KAAK,GAAG,IAA0B,CAAC;gBACzC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;gBAC5D,MAAM;YAER,KAAK,aAAa;gBAChB,MAAM,MAAM,GAAG,IAAuB,CAAC;gBACvC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBAC7C,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;oBACrB,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;gBAC9C,CAAC;gBACD,MAAM;QACV,CAAC;IACH,CAAC;IAEO,qBAAqB,CAAC,IAAwB,EAAE,OAAoB;QAC1E,MAAM,UAAU,GAAI,IAAI,CAAC,MAAyB,CAAC,IAAI,CAAC;QAExD,4BAA4B;QAC5B,MAAM,SAAS,GAA2B;YACxC,aAAa,EAAE,IAAI;YACnB,OAAO,EAAE,SAAS;YAClB,gBAAgB,EAAE,UAAU;YAC5B,cAAc,EAAE,UAAU;YAC1B,aAAa,EAAE,QAAQ;YACvB,aAAa,EAAE,aAAa;YAC5B,QAAQ,EAAE,mBAAmB;SAC9B,CAAC;QAEF,+CAA+C;QAC/C,KAAK,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YAC1D,IAAI,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/C,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;QAED,8CAA8C;QAC9C,IAAI,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YACjE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACvB,CAAC;QAED,kDAAkD;QAClD,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC3D,IAAI,aAAa,EAAE,CAAC;YAClB,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IAED;;OAEG;IACH,eAAe,CACb,IAA6B,EAC7B,eAA0B;QAE1B,MAAM,gBAAgB,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QAE1E,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACtB,qEAAqE;YACrE,IAAI,eAAe,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;gBACrC,OAAO;oBACL,KAAK,EAAE,KAAK;oBACZ,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,GAAG,CACjD,CAAC,CAAC,EAAE,CAAC,sBAAsB,CAAC,EAAE,CAC/B;iBACF,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;QACzC,CAAC;QAED,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAmB,CAAC,CAAC;QAC3E,MAAM,UAAU,GAAa,EAAE,CAAC;QAEhC,+BAA+B;QAC/B,KAAK,MAAM,MAAM,IAAI,eAAe,CAAC,OAAO,EAAE,CAAC;YAC7C,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACjC,UAAU,CAAC,IAAI,CAAC,WAAW,MAAM,yBAAyB,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;QAED,OAAO;YACL,KAAK,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC;YAC9B,UAAU;SACX,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,QAAmB,EAAE,QAAmB;QACrD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS;YAC/B,GAAG,QAAQ,CAAC,OAAO;YACnB,GAAG,QAAQ,CAAC,OAAO;SACpB,CAAC,CAAC;QACH,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IAC/B,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,SAAoB;QACzB,OAAO,SAAS,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC;YAC5B,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACzE,CAAC;CACF;AAxID,sDAwIC;AAQD,MAAa,qBAAqB;IAAlC;QACU,aAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IA2B3D,CAAC;IAzBC,QAAQ,CAAmB,OAAyB;QAClD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IAED,GAAG,CAAmB,MAAS;QAC7B,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,YAAY,CAChB,EAAW,EACX,QAA8B;QAE9B,mBAAmB;QACnB,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAExC,IAAI,CAAC;YACH,OAAO,MAAM,EAAE,EAAE,CAAC;QACpB,CAAC;gBAAS,CAAC;YACT,mBAAmB;YACnB,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;CACF;AA5BD,sDA4BC;AAED,6BAA6B;AAChB,QAAA,cAAc,GAAwB;IACjD,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,SAAS,EAAE,EAAE;QACpB,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACjC,CAAC;CACF,CAAC;AAEW,QAAA,mBAAmB,GAA8B;IAC5D,MAAM,EAAE,UAAU;IAClB,MAAM,EAAE,CAAC,SAAS,EAAE,EAAE;QACpB,mBAAmB;QACnB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,CAAC;IAC3D,CAAC;CACF,CAAC;AAEF,yCAAyC;AACzC,MAAa,iBAAiB;IAA9B;QACU,UAAK,GAA2B;YACtC,IAAI,EAAE,CAAC;YACP,EAAE,EAAE,MAAM;YACV,KAAK,EAAE,MAAM;YACb,KAAK,EAAE,MAAM;YACb,OAAO,EAAE,KAAK;YACd,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,IAAI;YACd,iBAAiB,EAAE,IAAI;YACvB,WAAW,EAAE,MAAM;YACnB,MAAM,EAAE,MAAM;YACd,SAAS,EAAE,MAAM;SAClB,CAAC;IAaJ,CAAC;IAXC,YAAY,CAAC,SAAoB;QAC/B,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;YACvC,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,CAAC,MAAc,EAAE,IAAY;QAClC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAC5B,CAAC;CACF;AA1BD,8CA0BC;AAED,mBAAmB;AACN,QAAA,eAAe,GAAG,IAAI,qBAAqB,EAAE,CAAC;AAC9C,QAAA,cAAc,GAAG,IAAI,qBAAqB,EAAE,CAAC;AAC7C,QAAA,iBAAiB,GAAG,IAAI,iBAAiB,EAAE,CAAC"}

package/dist/generator/typescript-generator.d.ts

@@ -0,0 +1,31 @@
+/**
+ * TypeScript code generator
+ * Converts Agentic AST to TypeScript code
+ */
+import * as AST from '../types';
+export declare class TypeScriptGenerator {
+    private sourceFileName;
+    private sourceMap;
+    private generatedLine;
+    private generatedColumn;
+    private indent;
+    constructor(sourceFileName: string);
+    generate(ast: AST.ASTNode[]): string;
+    private generateRuntimeImports;
+    private generateNode;
+    private generateFunctionDeclaration;
+    private generateTypeAnnotation;
+    private generateVariableDeclaration;
+    private generateReturnStatement;
+    private generateIfStatement;
+    private generateBlockStatement;
+    private generateBinaryExpression;
+    private generateCallExpression;
+    private generateLiteral;
+    private indentation;
+    private generateMatchExpression;
+    private generateErrorRecovery;
+    getSourceMap(): string;
+    getCodeWithInlineSourceMap(code: string): string;
+}
+//# sourceMappingURL=typescript-generator.d.ts.map

package/dist/generator/typescript-generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typescript-generator.d.ts","sourceRoot":"","sources":["../../src/generator/typescript-generator.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAGhC,qBAAa,mBAAmB;IAMlB,OAAO,CAAC,cAAc;IALlC,OAAO,CAAC,SAAS,CAAqB;IACtC,OAAO,CAAC,aAAa,CAAK;IAC1B,OAAO,CAAC,eAAe,CAAK;IAC5B,OAAO,CAAC,MAAM,CAAK;gBAEC,cAAc,EAAE,MAAM;IAM1C,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,MAAM;IAgBpC,OAAO,CAAC,sBAAsB;IAO9B,OAAO,CAAC,YAAY;IA+BpB,OAAO,CAAC,2BAA2B;IAkFnC,OAAO,CAAC,sBAAsB;IAiB9B,OAAO,CAAC,2BAA2B;IAgBnC,OAAO,CAAC,uBAAuB;IAW/B,OAAO,CAAC,mBAAmB;IAiB3B,OAAO,CAAC,sBAAsB;IAoB9B,OAAO,CAAC,wBAAwB;IAUhC,OAAO,CAAC,sBAAsB;IAO9B,OAAO,CAAC,eAAe;IAUvB,OAAO,CAAC,WAAW;IAInB,OAAO,CAAC,uBAAuB;IAoE/B,OAAO,CAAC,qBAAqB;IA8B7B,YAAY,IAAI,MAAM;IAItB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;CAIjD"}

package/dist/generator/typescript-generator.js

@@ -0,0 +1,308 @@
+"use strict";
+/**
+ * TypeScript code generator
+ * Converts Agentic AST to TypeScript code
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TypeScriptGenerator = void 0;
+const source_map_1 = require("source-map");
+class TypeScriptGenerator {
+    constructor(sourceFileName) {
+        this.sourceFileName = sourceFileName;
+        this.generatedLine = 1;
+        this.generatedColumn = 0;
+        this.indent = 0;
+        this.sourceMap = new source_map_1.SourceMapGenerator({
+            file: sourceFileName.replace('.agentic', '.ts'),
+        });
+    }
+    generate(ast) {
+        let code = '';
+        // Add runtime imports
+        code += this.generateRuntimeImports();
+        // Generate each statement
+        for (const node of ast) {
+            code += this.generateNode(node);
+            code += '\n\n';
+            this.generatedLine += 2;
+        }
+        return code;
+    }
+    generateRuntimeImports() {
+        return `// Auto-generated from ${this.sourceFileName}
+import { AgenticRuntime, Result, Ok, Err } from './runtime';
+
+`;
+    }
+    generateNode(node) {
+        switch (node.type) {
+            case 'FunctionDeclaration':
+                return this.generateFunctionDeclaration(node);
+            case 'VariableDeclaration':
+                return this.generateVariableDeclaration(node);
+            case 'ReturnStatement':
+                return this.generateReturnStatement(node);
+            case 'IfStatement':
+                return this.generateIfStatement(node);
+            case 'BlockStatement':
+                return this.generateBlockStatement(node);
+            case 'BinaryExpression':
+                return this.generateBinaryExpression(node);
+            case 'CallExpression':
+                return this.generateCallExpression(node);
+            case 'MatchExpression':
+                return this.generateMatchExpression(node);
+            case 'ErrorRecovery':
+                return this.generateErrorRecovery(node);
+            case 'Identifier':
+                return node.name;
+            case 'Literal':
+                return this.generateLiteral(node);
+            default:
+                // Should never reach here if all cases are handled
+                const exhaustiveCheck = node;
+                return `/* Unsupported node: ${exhaustiveCheck.type} */`;
+        }
+    }
+    generateFunctionDeclaration(node) {
+        let code = '';
+        // Extract annotation metadata
+        const confidenceAnnotation = node.annotations.find(a => a.name === 'confidence');
+        const stageAnnotation = node.annotations.find(a => a.name === 'stub' || a.name === 'partial' || a.name === 'complete');
+        const needsAnnotation = node.annotations.find(a => a.name === 'needs');
+        const uncertainAnnotation = node.annotations.find(a => a.name === 'uncertain');
+        // Generate annotations as comments
+        for (const annotation of node.annotations) {
+            const argsStr = Object.keys(annotation.args).length > 0
+                ? `(${JSON.stringify(annotation.args)})`
+                : '';
+            code += `// @${annotation.name}${argsStr}\n`;
+        }
+        // Function signature
+        code += `function ${node.name}(`;
+        // Parameters
+        const params = node.params.map(p => {
+            const type = p.typeAnnotation ? this.generateTypeAnnotation(p.typeAnnotation) : 'any';
+            return `${p.name}: ${type}`;
+        });
+        code += params.join(', ');
+        code += ')';
+        // Return type
+        if (node.returnType) {
+            code += `: ${this.generateTypeAnnotation(node.returnType)}`;
+        }
+        code += ' {\n';
+        this.indent++;
+        // Add runtime tracking for annotations
+        if (confidenceAnnotation && confidenceAnnotation.args.arg0 !== undefined) {
+            const confidenceLevel = confidenceAnnotation.args.arg0;
+            const reason = confidenceAnnotation.args.arg1 || confidenceAnnotation.args.reason || 'No reason provided';
+            code += `${this.indentation()}AgenticRuntime.confidence.register('${node.name}', ${confidenceLevel}, '${reason}');\n`;
+        }
+        if (stageAnnotation) {
+            code += `${this.indentation()}// Stage: ${stageAnnotation.name}\n`;
+            if (stageAnnotation.name === 'stub') {
+                code += `${this.indentation()}throw new Error('Function ${node.name} is a stub - not yet implemented');\n`;
+            }
+        }
+        if (needsAnnotation) {
+            const requirements = Object.values(needsAnnotation.args);
+            code += `${this.indentation()}// Required context: ${requirements.join(', ')}\n`;
+        }
+        if (uncertainAnnotation) {
+            const areas = Object.values(uncertainAnnotation.args);
+            code += `${this.indentation()}console.warn('⚠️  Uncertain areas in ${node.name}:', ${JSON.stringify(areas)});\n`;
+        }
+        // Generate the function body (but skip if it's a stub)
+        if (!stageAnnotation || stageAnnotation.name !== 'stub') {
+            for (const stmt of node.body.body) {
+                code += this.generateNode(stmt);
+                if (stmt.type !== 'IfStatement' && stmt.type !== 'BlockStatement') {
+                    if (!code.trim().endsWith(';')) {
+                        code += ';';
+                    }
+                }
+                code += '\n';
+            }
+        }
+        this.indent--;
+        code += this.indentation() + '}';
+        return code;
+    }
+    generateTypeAnnotation(type) {
+        if (type.kind === 'primitive' || type.kind === 'custom') {
+            return type.value;
+        }
+        if (type.kind === 'union' && Array.isArray(type.value)) {
+            return type.value.map(t => this.generateTypeAnnotation(t)).join(' | ');
+        }
+        if (type.kind === 'result' && Array.isArray(type.value)) {
+            const [okType, errType] = type.value;
+            return `Result<${this.generateTypeAnnotation(okType)}, ${this.generateTypeAnnotation(errType)}>`;
+        }
+        return 'any';
+    }
+    generateVariableDeclaration(node) {
+        const keyword = 'const'; // Default to const for safety
+        let code = `${this.indentation()}${keyword} ${node.name}`;
+        if (node.typeAnnotation) {
+            code += `: ${this.generateTypeAnnotation(node.typeAnnotation)}`;
+        }
+        if (node.initializer) {
+            code += ` = ${this.generateNode(node.initializer)}`;
+        }
+        code += ';';
+        return code;
+    }
+    generateReturnStatement(node) {
+        let code = `${this.indentation()}return`;
+        if (node.argument) {
+            code += ` ${this.generateNode(node.argument)}`;
+        }
+        code += ';';
+        return code;
+    }
+    generateIfStatement(node) {
+        let code = `${this.indentation()}if (${this.generateNode(node.condition)}) `;
+        code += this.generateBlockStatement(node.consequent);
+        if (node.alternate) {
+            code += ' else ';
+            if (node.alternate.type === 'IfStatement') {
+                code += this.generateIfStatement(node.alternate).trim();
+            }
+            else {
+                code += this.generateBlockStatement(node.alternate);
+            }
+        }
+        return code;
+    }
+    generateBlockStatement(node) {
+        let code = '{\n';
+        this.indent++;
+        for (const stmt of node.body) {
+            code += this.generateNode(stmt);
+            if (stmt.type !== 'IfStatement' && stmt.type !== 'BlockStatement') {
+                if (!code.trim().endsWith(';')) {
+                    code += ';';
+                }
+            }
+            code += '\n';
+        }
+        this.indent--;
+        code += this.indentation() + '}';
+        return code;
+    }
+    generateBinaryExpression(node) {
+        const left = this.generateNode(node.left);
+        const right = this.generateNode(node.right);
+        // Convert Agentic operators to TypeScript
+        const operator = node.operator;
+        return `${left} ${operator} ${right}`;
+    }
+    generateCallExpression(node) {
+        const callee = this.generateNode(node.callee);
+        const args = node.arguments.map(arg => this.generateNode(arg)).join(', ');
+        return `${callee}(${args})`;
+    }
+    generateLiteral(node) {
+        if (typeof node.value === 'string') {
+            return `"${node.value}"`;
+        }
+        if (node.value === null) {
+            return 'null';
+        }
+        return String(node.value);
+    }
+    indentation() {
+        return '  '.repeat(this.indent);
+    }
+    generateMatchExpression(node) {
+        // Generate: discriminant.ok ? case1 : case2
+        // Or more sophisticated pattern matching
+        const discriminant = this.generateNode(node.discriminant);
+        let code = `(() => {\n`;
+        this.indent++;
+        code += `${this.indentation()}const __match_value = ${discriminant};\n`;
+        for (let i = 0; i < node.cases.length; i++) {
+            const matchCase = node.cases[i];
+            const isLast = i === node.cases.length - 1;
+            if (matchCase.pattern === 'Ok' || matchCase.pattern === 'Err') {
+                const condition = matchCase.pattern === 'Ok' ? '__match_value.ok' : '!__match_value.ok';
+                if (i === 0) {
+                    code += `${this.indentation()}if (${condition}) {\n`;
+                }
+                else {
+                    code += `${this.indentation()} else if (${condition}) {\n`;
+                }
+                this.indent++;
+                // Bind the value if there's a binding
+                if (matchCase.binding) {
+                    const valueAccess = matchCase.pattern === 'Ok' ? '__match_value.value' : '__match_value.error';
+                    code += `${this.indentation()}const ${matchCase.binding} = ${valueAccess};\n`;
+                }
+                // Generate the body
+                if (matchCase.body.type === 'BlockStatement') {
+                    const bodyCode = this.generateBlockStatement(matchCase.body);
+                    // Extract just the statements from the block
+                    const bodyLines = bodyCode.split('\n').slice(1, -1);
+                    code += bodyLines.join('\n') + '\n';
+                }
+                else {
+                    code += `${this.indentation()}return ${this.generateNode(matchCase.body)};\n`;
+                }
+                this.indent--;
+                code += `${this.indentation()}}\n`;
+            }
+            else if (matchCase.pattern === '_') {
+                // Default case
+                code += `${this.indentation()} else {\n`;
+                this.indent++;
+                if (matchCase.body.type === 'BlockStatement') {
+                    const bodyCode = this.generateBlockStatement(matchCase.body);
+                    const bodyLines = bodyCode.split('\n').slice(1, -1);
+                    code += bodyLines.join('\n') + '\n';
+                }
+                else {
+                    code += `${this.indentation()}return ${this.generateNode(matchCase.body)};\n`;
+                }
+                this.indent--;
+                code += `${this.indentation()}}\n`;
+            }
+        }
+        this.indent--;
+        code += `${this.indentation()}})()`;
+        return code;
+    }
+    generateErrorRecovery(node) {
+        // Generate try-catch with context logging
+        let code = `(() => {\n`;
+        this.indent++;
+        code += `${this.indentation()}try {\n`;
+        this.indent++;
+        code += `${this.indentation()}// Original operation would go here\n`;
+        code += `${this.indentation()}throw new Error('Operation failed');\n`;
+        this.indent--;
+        code += `${this.indentation()}} catch (${node.binding}) {\n`;
+        this.indent++;
+        // Log context if available
+        if (Object.keys(node.contextBlock).length > 0) {
+            code += `${this.indentation()}console.error('Error context:', ${JSON.stringify(node.contextBlock, null, 2)});\n`;
+        }
+        // Generate error action
+        code += `${this.indentation()}${this.generateNode(node.errorAction)}\n`;
+        this.indent--;
+        code += `${this.indentation()}}\n`;
+        this.indent--;
+        code += `${this.indentation()}})()`;
+        return code;
+    }
+    getSourceMap() {
+        return JSON.stringify(this.sourceMap.toJSON());
+    }
+    getCodeWithInlineSourceMap(code) {
+        const map = Buffer.from(this.getSourceMap()).toString('base64');
+        return `${code}\n//# sourceMappingURL=data:application/json;base64,${map}`;
+    }
+}
+exports.TypeScriptGenerator = TypeScriptGenerator;
+//# sourceMappingURL=typescript-generator.js.map

package/dist/generator/typescript-generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typescript-generator.js","sourceRoot":"","sources":["../../src/generator/typescript-generator.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAGH,2CAAgD;AAEhD,MAAa,mBAAmB;IAM9B,YAAoB,cAAsB;QAAtB,mBAAc,GAAd,cAAc,CAAQ;QAJlC,kBAAa,GAAG,CAAC,CAAC;QAClB,oBAAe,GAAG,CAAC,CAAC;QACpB,WAAM,GAAG,CAAC,CAAC;QAGjB,IAAI,CAAC,SAAS,GAAG,IAAI,+BAAkB,CAAC;YACtC,IAAI,EAAE,cAAc,CAAC,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC;SAChD,CAAC,CAAC;IACL,CAAC;IAED,QAAQ,CAAC,GAAkB;QACzB,IAAI,IAAI,GAAG,EAAE,CAAC;QAEd,sBAAsB;QACtB,IAAI,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC;QAEtC,0BAA0B;QAC1B,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;YACvB,IAAI,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,IAAI,MAAM,CAAC;YACf,IAAI,CAAC,aAAa,IAAI,CAAC,CAAC;QAC1B,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,sBAAsB;QAC5B,OAAO,0BAA0B,IAAI,CAAC,cAAc;;;CAGvD,CAAC;IACA,CAAC;IAEO,YAAY,CAAC,IAAiB;QACpC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,qBAAqB;gBACxB,OAAO,IAAI,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC;YAChD,KAAK,qBAAqB;gBACxB,OAAO,IAAI,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC;YAChD,KAAK,iBAAiB;gBACpB,OAAO,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;YAC5C,KAAK,aAAa;gBAChB,OAAO,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YACxC,KAAK,gBAAgB;gBACnB,OAAO,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC;YAC3C,KAAK,kBAAkB;gBACrB,OAAO,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;YAC7C,KAAK,gBAAgB;gBACnB,OAAO,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC;YAC3C,KAAK,iBAAiB;gBACpB,OAAO,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;YAC5C,KAAK,eAAe;gBAClB,OAAO,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;YAC1C,KAAK,YAAY;gBACf,OAAQ,IAAuB,CAAC,IAAI,CAAC;YACvC,KAAK,SAAS;gBACZ,OAAO,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;YACpC;gBACE,mDAAmD;gBACnD,MAAM,eAAe,GAAU,IAAI,CAAC;gBACpC,OAAO,wBAAyB,eAAuB,CAAC,IAAI,KAAK,CAAC;QACtE,CAAC;IACH,CAAC;IAEO,2BAA2B,CAAC,IAA6B;QAC/D,IAAI,IAAI,GAAG,EAAE,CAAC;QAEd,8BAA8B;QAC9B,MAAM,oBAAoB,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;QACjF,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAChD,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CACnE,CAAC;QACF,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QACvE,MAAM,mBAAmB,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;QAE/E,mCAAmC;QACnC,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;gBACrD,CAAC,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG;gBACxC,CAAC,CAAC,EAAE,CAAC;YACP,IAAI,IAAI,OAAO,UAAU,CAAC,IAAI,GAAG,OAAO,IAAI,CAAC;QAC/C,CAAC;QAED,qBAAqB;QACrB,IAAI,IAAI,YAAY,IAAI,CAAC,IAAI,GAAG,CAAC;QAEjC,aAAa;QACb,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YACjC,MAAM,IAAI,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;YACtF,OAAO,GAAG,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9B,CAAC,CAAC,CAAC;QACH,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE1B,IAAI,IAAI,GAAG,CAAC;QAEZ,cAAc;QACd,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,IAAI,IAAI,KAAK,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9D,CAAC;QAED,IAAI,IAAI,MAAM,CAAC;QACf,IAAI,CAAC,MAAM,EAAE,CAAC;QAEd,uCAAuC;QACvC,IAAI,oBAAoB,IAAI,oBAAoB,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzE,MAAM,eAAe,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC;YACvD,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,IAAI,oBAAoB,CAAC,IAAI,CAAC,MAAM,IAAI,oBAAoB,CAAC;YAC1G,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,uCAAuC,IAAI,CAAC,IAAI,MAAM,eAAe,MAAM,MAAM,OAAO,CAAC;QACxH,CAAC;QAED,IAAI,eAAe,EAAE,CAAC;YACpB,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,aAAa,eAAe,CAAC,IAAI,IAAI,CAAC;YACnE,IAAI,eAAe,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACpC,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,6BAA6B,IAAI,CAAC,IAAI,uCAAuC,CAAC;YAC7G,CAAC;QACH,CAAC;QAED,IAAI,eAAe,EAAE,CAAC;YACpB,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;YACzD,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,wBAAwB,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QACnF,CAAC;QAED,IAAI,mBAAmB,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YACtD,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,wCAAwC,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC;QACnH,CAAC;QAED,uDAAuD;QACvD,IAAI,CAAC,eAAe,IAAI,eAAe,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACxD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClC,IAAI,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBAChC,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;oBAClE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;wBAC/B,IAAI,IAAI,GAAG,CAAC;oBACd,CAAC;gBACH,CAAC;gBACD,IAAI,IAAI,IAAI,CAAC;YACf,CAAC;QACH,CAAC;QAED,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,GAAG,GAAG,CAAC;QAEjC,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,sBAAsB,CAAC,IAAwB;QACrD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxD,OAAO,IAAI,CAAC,KAAe,CAAC;QAC9B,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACvD,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzE,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACxD,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;YACrC,OAAO,UAAU,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,sBAAsB,CAAC,OAAO,CAAC,GAAG,CAAC;QACnG,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,2BAA2B,CAAC,IAA6B;QAC/D,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,8BAA8B;QACvD,IAAI,IAAI,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,GAAG,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAE1D,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YACxB,IAAI,IAAI,KAAK,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QAClE,CAAC;QAED,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACrB,IAAI,IAAI,MAAM,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QACtD,CAAC;QAED,IAAI,IAAI,GAAG,CAAC;QACZ,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,uBAAuB,CAAC,IAAyB;QACvD,IAAI,IAAI,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC;QAEzC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,IAAI,IAAI,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjD,CAAC;QAED,IAAI,IAAI,GAAG,CAAC;QACZ,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,mBAAmB,CAAC,IAAqB;QAC/C,IAAI,IAAI,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;QAE7E,IAAI,IAAI,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAErD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,IAAI,IAAI,QAAQ,CAAC;YACjB,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBAC1C,IAAI,IAAI,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC;YAC1D,CAAC;iBAAM,CAAC;gBACN,IAAI,IAAI,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACtD,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,sBAAsB,CAAC,IAAwB;QACrD,IAAI,IAAI,GAAG,KAAK,CAAC;QACjB,IAAI,CAAC,MAAM,EAAE,CAAC;QAEd,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC7B,IAAI,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBAClE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC/B,IAAI,IAAI,GAAG,CAAC;gBACd,CAAC;YACH,CAAC;YACD,IAAI,IAAI,IAAI,CAAC;QACf,CAAC;QAED,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,GAAG,GAAG,CAAC;QAEjC,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,wBAAwB,CAAC,IAA0B;QACzD,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE5C,0CAA0C;QAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAE/B,OAAO,GAAG,IAAI,IAAI,QAAQ,IAAI,KAAK,EAAE,CAAC;IACxC,CAAC;IAEO,sBAAsB,CAAC,IAAwB;QACrD,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE1E,OAAO,GAAG,MAAM,IAAI,IAAI,GAAG,CAAC;IAC9B,CAAC;IAEO,eAAe,CAAC,IAAiB;QACvC,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC;QAC3B,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YACxB,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;IAEO,WAAW;QACjB,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAClC,CAAC;IAEO,uBAAuB,CAAC,IAAyB;QACvD,4CAA4C;QAC5C,yCAAyC;QACzC,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAE1D,IAAI,IAAI,GAAG,YAAY,CAAC;QACxB,IAAI,CAAC,MAAM,EAAE,CAAC;QAEd,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,yBAAyB,YAAY,KAAK,CAAC;QAExE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;YAE3C,IAAI,SAAS,CAAC,OAAO,KAAK,IAAI,IAAI,SAAS,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;gBAC9D,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,mBAAmB,CAAC;gBAExF,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;oBACZ,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,OAAO,SAAS,OAAO,CAAC;gBACvD,CAAC;qBAAM,CAAC;oBACN,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,aAAa,SAAS,OAAO,CAAC;gBAC7D,CAAC;gBAED,IAAI,CAAC,MAAM,EAAE,CAAC;gBAEd,sCAAsC;gBACtC,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;oBACtB,MAAM,WAAW,GAAG,SAAS,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,qBAAqB,CAAC;oBAC/F,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,SAAS,SAAS,CAAC,OAAO,MAAM,WAAW,KAAK,CAAC;gBAChF,CAAC;gBAED,oBAAoB;gBACpB,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;oBAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;oBAC7D,6CAA6C;oBAC7C,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;oBACpD,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;gBACtC,CAAC;qBAAM,CAAC;oBACN,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,UAAU,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;gBAChF,CAAC;gBAED,IAAI,CAAC,MAAM,EAAE,CAAC;gBACd,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC;YAErC,CAAC;iBAAM,IAAI,SAAS,CAAC,OAAO,KAAK,GAAG,EAAE,CAAC;gBACrC,eAAe;gBACf,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC;gBACzC,IAAI,CAAC,MAAM,EAAE,CAAC;gBAEd,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;oBAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;oBAC7D,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;oBACpD,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;gBACtC,CAAC;qBAAM,CAAC;oBACN,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,UAAU,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;gBAChF,CAAC;gBAED,IAAI,CAAC,MAAM,EAAE,CAAC;gBACd,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC;YACrC,CAAC;QACH,CAAC;QAED,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC;QAEpC,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,qBAAqB,CAAC,IAAuB;QACnD,0CAA0C;QAC1C,IAAI,IAAI,GAAG,YAAY,CAAC;QACxB,IAAI,CAAC,MAAM,EAAE,CAAC;QAEd,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,SAAS,CAAC;QACvC,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,uCAAuC,CAAC;QACrE,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,wCAAwC,CAAC;QACtE,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,YAAY,IAAI,CAAC,OAAO,OAAO,CAAC;QAC7D,IAAI,CAAC,MAAM,EAAE,CAAC;QAEd,2BAA2B;QAC3B,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9C,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,mCAAmC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QACnH,CAAC;QAED,wBAAwB;QACxB,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;QAExE,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC;QAEnC,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC;QAEpC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,YAAY;QACV,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;IACjD,CAAC;IAED,0BAA0B,CAAC,IAAY;QACrC,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAChE,OAAO,GAAG,IAAI,uDAAuD,GAAG,EAAE,CAAC;IAC7E,CAAC;CACF;AA9WD,kDA8WC"}

package/dist/index.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Agentic Language - Main Entry Point
+ * Exports all public APIs
+ */
+export { Lexer, TokenType, type Token } from './parser/lexer';
+export { Parser } from './parser/parser';
+export { TypeScriptGenerator } from './generator/typescript-generator';
+export { EnhancedPropertyTestGenerator as PropertyTestGenerator } from './property-tests/generator-enhanced';
+export { AgenticRuntime, Result, Ok, Err, confidence, contextValidator, healthMonitor, type HealthCheck, type HealthStatus, type ConfidenceMetadata, type ContextRequirement, } from './runtime';
+export * from './types';
+export declare function transpile(source: string, options?: {
+    sourceMap?: boolean;
+    propertyTests?: boolean;
+}): Promise<{
+    code: string;
+    sourceMap?: string;
+    propertyTests?: string;
+}>;
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAC9D,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AACzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AACvE,OAAO,EAAE,6BAA6B,IAAI,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC7G,OAAO,EACL,cAAc,EACd,MAAM,EACN,EAAE,EACF,GAAG,EACH,UAAU,EACV,gBAAgB,EAChB,aAAa,EACb,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,kBAAkB,EACvB,KAAK,kBAAkB,GACxB,MAAM,WAAW,CAAC;AAEnB,cAAc,SAAS,CAAC;AAOxB,wBAAsB,SAAS,CAC7B,MAAM,EAAE,MAAM,EACd,OAAO,GAAE;IAAE,SAAS,CAAC,EAAE,OAAO,CAAC;IAAC,aAAa,CAAC,EAAE,OAAO,CAAA;CAAO,GAC7D,OAAO,CAAC;IACT,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB,CAAC,CAoBD"}

package/dist/index.js

@@ -0,0 +1,60 @@
+"use strict";
+/**
+ * Agentic Language - Main Entry Point
+ * Exports all public APIs
+ */
+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 __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.healthMonitor = exports.contextValidator = exports.confidence = exports.Err = exports.Ok = exports.AgenticRuntime = exports.PropertyTestGenerator = exports.TypeScriptGenerator = exports.Parser = exports.TokenType = exports.Lexer = void 0;
+exports.transpile = transpile;
+var lexer_1 = require("./parser/lexer");
+Object.defineProperty(exports, "Lexer", { enumerable: true, get: function () { return lexer_1.Lexer; } });
+Object.defineProperty(exports, "TokenType", { enumerable: true, get: function () { return lexer_1.TokenType; } });
+var parser_1 = require("./parser/parser");
+Object.defineProperty(exports, "Parser", { enumerable: true, get: function () { return parser_1.Parser; } });
+var typescript_generator_1 = require("./generator/typescript-generator");
+Object.defineProperty(exports, "TypeScriptGenerator", { enumerable: true, get: function () { return typescript_generator_1.TypeScriptGenerator; } });
+var generator_enhanced_1 = require("./property-tests/generator-enhanced");
+Object.defineProperty(exports, "PropertyTestGenerator", { enumerable: true, get: function () { return generator_enhanced_1.EnhancedPropertyTestGenerator; } });
+var runtime_1 = require("./runtime");
+Object.defineProperty(exports, "AgenticRuntime", { enumerable: true, get: function () { return runtime_1.AgenticRuntime; } });
+Object.defineProperty(exports, "Ok", { enumerable: true, get: function () { return runtime_1.Ok; } });
+Object.defineProperty(exports, "Err", { enumerable: true, get: function () { return runtime_1.Err; } });
+Object.defineProperty(exports, "confidence", { enumerable: true, get: function () { return runtime_1.confidence; } });
+Object.defineProperty(exports, "contextValidator", { enumerable: true, get: function () { return runtime_1.contextValidator; } });
+Object.defineProperty(exports, "healthMonitor", { enumerable: true, get: function () { return runtime_1.healthMonitor; } });
+__exportStar(require("./types"), exports);
+// Main transpile function
+const parser_2 = require("./parser/parser");
+const typescript_generator_2 = require("./generator/typescript-generator");
+const generator_enhanced_2 = require("./property-tests/generator-enhanced");
+async function transpile(source, options = {}) {
+    const parser = new parser_2.Parser();
+    const ast = parser.parse(source);
+    const generator = new typescript_generator_2.TypeScriptGenerator('input.agentic');
+    const code = generator.generate(ast);
+    const result = { code };
+    if (options.sourceMap) {
+        result.sourceMap = generator.getSourceMap();
+    }
+    if (options.propertyTests) {
+        const testGen = new generator_enhanced_2.EnhancedPropertyTestGenerator();
+        const tests = testGen.generate(ast);
+        result.propertyTests = tests.map((t) => t.testCode).join('\n\n');
+    }
+    return result;
+}
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;;;;;;;;;;;;;;;AA2BH,8BA2BC;AApDD,wCAA8D;AAArD,8FAAA,KAAK,OAAA;AAAE,kGAAA,SAAS,OAAA;AACzB,0CAAyC;AAAhC,gGAAA,MAAM,OAAA;AACf,yEAAuE;AAA9D,2HAAA,mBAAmB,OAAA;AAC5B,0EAA6G;AAApG,2HAAA,6BAA6B,OAAyB;AAC/D,qCAYmB;AAXjB,yGAAA,cAAc,OAAA;AAEd,6FAAA,EAAE,OAAA;AACF,8FAAA,GAAG,OAAA;AACH,qGAAA,UAAU,OAAA;AACV,2GAAA,gBAAgB,OAAA;AAChB,wGAAA,aAAa,OAAA;AAOf,0CAAwB;AAExB,0BAA0B;AAC1B,4CAAwD;AACxD,2EAAsF;AACtF,4EAAmG;AAE5F,KAAK,UAAU,SAAS,CAC7B,MAAc,EACd,UAA4D,EAAE;IAM9D,MAAM,MAAM,GAAG,IAAI,eAAW,EAAE,CAAC;IACjC,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAEjC,MAAM,SAAS,GAAG,IAAI,0CAAW,CAAC,eAAe,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAErC,MAAM,MAAM,GAAiE,EAAE,IAAI,EAAE,CAAC;IAEtF,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACtB,MAAM,CAAC,SAAS,GAAG,SAAS,CAAC,YAAY,EAAE,CAAC;IAC9C,CAAC;IAED,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,IAAI,kDAAW,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,CAAC,aAAa,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxE,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}