agentic-lang 0.2.0

package/dist/lean4/exporter.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Lean4 Theorem Prover Export
+ * Converts Agentic functions to Lean4 for formal verification
+ */
+import * as AST from '../types';
+export interface Lean4Export {
+    definitions: string[];
+    theorems: string[];
+    proofs: string[];
+}
+export declare class Lean4Exporter {
+    export(ast: AST.ASTNode[]): Lean4Export;
+    private exportFunction;
+    private exportTheorem;
+    private contractToProposition;
+    private generateLean4Params;
+    private generateLean4Type;
+    private translateToLean4Logic;
+    /**
+     * Generate complete Lean4 file with all necessary imports
+     */
+    generateLean4File(ast: AST.ASTNode[], moduleName: string): string;
+}
+//# sourceMappingURL=exporter.d.ts.map

package/dist/lean4/exporter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exporter.d.ts","sourceRoot":"","sources":["../../src/lean4/exporter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAEhC,MAAM,WAAW,WAAW;IAC1B,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,qBAAa,aAAa;IACxB,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,WAAW;IAyBvC,OAAO,CAAC,cAAc;IAWtB,OAAO,CAAC,aAAa;IAerB,OAAO,CAAC,qBAAqB;IA4B7B,OAAO,CAAC,mBAAmB;IAa3B,OAAO,CAAC,iBAAiB;IA2BzB,OAAO,CAAC,qBAAqB;IAa7B;;OAEG;IACH,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM;CAyBlE"}

package/dist/lean4/exporter.js

@@ -0,0 +1,142 @@
+"use strict";
+/**
+ * Lean4 Theorem Prover Export
+ * Converts Agentic functions to Lean4 for formal verification
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Lean4Exporter = void 0;
+class Lean4Exporter {
+    export(ast) {
+        const definitions = [];
+        const theorems = [];
+        const proofs = [];
+        for (const node of ast) {
+            if (node.type === 'FunctionDeclaration') {
+                const func = node;
+                // Only export @complete functions
+                if (func.annotations.some(a => a.name === 'complete')) {
+                    definitions.push(this.exportFunction(func));
+                    // Generate theorem from contracts
+                    const contractAnnotation = func.annotations.find(a => a.name === 'contract');
+                    if (contractAnnotation) {
+                        theorems.push(this.exportTheorem(func, contractAnnotation));
+                    }
+                }
+            }
+        }
+        return { definitions, theorems, proofs };
+    }
+    exportFunction(func) {
+        const params = this.generateLean4Params(func.params);
+        const returnType = this.generateLean4Type(func.returnType);
+        return `
+def ${func.name} ${params} : ${returnType} :=
+  sorry  -- Implementation or proof goes here
+
+`;
+    }
+    exportTheorem(func, contractAnnotation) {
+        const params = this.generateLean4Params(func.params);
+        const proposition = this.contractToProposition(func, contractAnnotation);
+        return `
+theorem ${func.name}_correct ${params} :
+  ${proposition} := by
+  sorry  -- Proof obligation
+
+`;
+    }
+    contractToProposition(func, contract) {
+        const requires = contract.args.requires || [];
+        const ensures = contract.args.ensures || [];
+        const preconditions = Array.isArray(requires)
+            ? requires.map(r => this.translateToLean4Logic(r))
+            : [];
+        const postconditions = Array.isArray(ensures)
+            ? ensures.map(e => this.translateToLean4Logic(e))
+            : [];
+        // Build proposition: ∀ params, precondition → postcondition
+        const paramNames = func.params.map(p => p.name).join(' ');
+        if (preconditions.length === 0) {
+            return postconditions.join(' ∧ ');
+        }
+        const preCondition = preconditions.join(' ∧ ');
+        const postCondition = postconditions.join(' ∧ ');
+        return `${preCondition} → ${postCondition}`;
+    }
+    generateLean4Params(params) {
+        return ('(' +
+            params
+                .map(p => {
+                const type = this.generateLean4Type(p.typeAnnotation);
+                return `${p.name} : ${type}`;
+            })
+                .join(') (') +
+            ')');
+    }
+    generateLean4Type(typeAnnotation) {
+        if (!typeAnnotation) {
+            return 'Unit'; // void in Lean4
+        }
+        switch (typeAnnotation.kind) {
+            case 'primitive':
+                if (typeAnnotation.value === 'number')
+                    return 'ℝ'; // Real numbers
+                if (typeAnnotation.value === 'string')
+                    return 'String';
+                if (typeAnnotation.value === 'boolean')
+                    return 'Bool';
+                if (typeAnnotation.value === 'void')
+                    return 'Unit';
+                return 'α'; // Generic type
+            case 'result':
+                // Result<T, E> -> Except E T in Lean4
+                if (Array.isArray(typeAnnotation.value) && typeAnnotation.value.length >= 2) {
+                    const okType = this.generateLean4Type(typeAnnotation.value[0]);
+                    const errType = this.generateLean4Type(typeAnnotation.value[1]);
+                    return `Except ${errType} ${okType}`;
+                }
+                return 'Except String α';
+            default:
+                return 'α'; // Generic fallback
+        }
+    }
+    translateToLean4Logic(expression) {
+        // Translate common mathematical expressions to Lean4 syntax
+        return expression
+            .replace(/&&/g, '∧')
+            .replace(/\|\|/g, '∨')
+            .replace(/!=/g, '≠')
+            .replace(/>=/g, '≥')
+            .replace(/<=/g, '≤')
+            .replace(/==/g, '=')
+            .replace(/!/g, '¬');
+    }
+    /**
+     * Generate complete Lean4 file with all necessary imports
+     */
+    generateLean4File(ast, moduleName) {
+        const exported = this.export(ast);
+        let lean4Code = `-- Auto-generated from Agentic
+-- Module: ${moduleName}
+
+import Mathlib.Data.Real.Basic
+import Mathlib.Logic.Basic
+
+`;
+        // Add definitions
+        if (exported.definitions.length > 0) {
+            lean4Code += '-- Function Definitions\n';
+            lean4Code += exported.definitions.join('\n');
+        }
+        // Add theorems
+        if (exported.theorems.length > 0) {
+            lean4Code += '\n-- Theorems\n';
+            lean4Code += exported.theorems.join('\n');
+        }
+        return lean4Code;
+    }
+}
+exports.Lean4Exporter = Lean4Exporter;
+// Example usage in CLI:
+// agentic export --target lean4 myfile.agentic --output myfile.lean
+//# sourceMappingURL=exporter.js.map

package/dist/lean4/exporter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exporter.js","sourceRoot":"","sources":["../../src/lean4/exporter.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAUH,MAAa,aAAa;IACxB,MAAM,CAAC,GAAkB;QACvB,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAa,EAAE,CAAC;QAE5B,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;YACvB,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBACxC,MAAM,IAAI,GAAG,IAA+B,CAAC;gBAE7C,kCAAkC;gBAClC,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,EAAE,CAAC;oBACtD,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;oBAE5C,kCAAkC;oBAClC,MAAM,kBAAkB,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;oBAC7E,IAAI,kBAAkB,EAAE,CAAC;wBACvB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC,CAAC;oBAC9D,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IAC3C,CAAC;IAEO,cAAc,CAAC,IAA6B;QAClD,MAAM,MAAM,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,UAAU,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAE3D,OAAO;MACL,IAAI,CAAC,IAAI,IAAI,MAAM,MAAM,UAAU;;;CAGxC,CAAC;IACA,CAAC;IAEO,aAAa,CACnB,IAA6B,EAC7B,kBAAkC;QAElC,MAAM,MAAM,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,WAAW,GAAG,IAAI,CAAC,qBAAqB,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;QAEzE,OAAO;UACD,IAAI,CAAC,IAAI,YAAY,MAAM;IACjC,WAAW;;;CAGd,CAAC;IACA,CAAC;IAEO,qBAAqB,CAC3B,IAA6B,EAC7B,QAAwB;QAExB,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;QAC9C,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC;QAE5C,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;YAC3C,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;YAClD,CAAC,CAAC,EAAE,CAAC;QAEP,MAAM,cAAc,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YAC3C,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;YACjD,CAAC,CAAC,EAAE,CAAC;QAEP,4DAA4D;QAC5D,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAE1D,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/B,OAAO,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,CAAC;QAED,MAAM,YAAY,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,aAAa,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEjD,OAAO,GAAG,YAAY,MAAM,aAAa,EAAE,CAAC;IAC9C,CAAC;IAEO,mBAAmB,CAAC,MAAuB;QACjD,OAAO,CACL,GAAG;YACH,MAAM;iBACH,GAAG,CAAC,CAAC,CAAC,EAAE;gBACP,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;gBACtD,OAAO,GAAG,CAAC,CAAC,IAAI,MAAM,IAAI,EAAE,CAAC;YAC/B,CAAC,CAAC;iBACD,IAAI,CAAC,KAAK,CAAC;YACd,GAAG,CACJ,CAAC;IACJ,CAAC;IAEO,iBAAiB,CAAC,cAAyC;QACjE,IAAI,CAAC,cAAc,EAAE,CAAC;YACpB,OAAO,MAAM,CAAC,CAAC,gBAAgB;QACjC,CAAC;QAED,QAAQ,cAAc,CAAC,IAAI,EAAE,CAAC;YAC5B,KAAK,WAAW;gBACd,IAAI,cAAc,CAAC,KAAK,KAAK,QAAQ;oBAAE,OAAO,GAAG,CAAC,CAAC,eAAe;gBAClE,IAAI,cAAc,CAAC,KAAK,KAAK,QAAQ;oBAAE,OAAO,QAAQ,CAAC;gBACvD,IAAI,cAAc,CAAC,KAAK,KAAK,SAAS;oBAAE,OAAO,MAAM,CAAC;gBACtD,IAAI,cAAc,CAAC,KAAK,KAAK,MAAM;oBAAE,OAAO,MAAM,CAAC;gBACnD,OAAO,GAAG,CAAC,CAAC,eAAe;YAE7B,KAAK,QAAQ;gBACX,sCAAsC;gBACtC,IAAI,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,cAAc,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;oBAC5E,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC/D,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;oBAChE,OAAO,UAAU,OAAO,IAAI,MAAM,EAAE,CAAC;gBACvC,CAAC;gBACD,OAAO,iBAAiB,CAAC;YAE3B;gBACE,OAAO,GAAG,CAAC,CAAC,mBAAmB;QACnC,CAAC;IACH,CAAC;IAEO,qBAAqB,CAAC,UAAkB;QAC9C,4DAA4D;QAE5D,OAAO,UAAU;aACd,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;aACnB,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC;aACrB,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;aACnB,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;aACnB,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;aACnB,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;aACnB,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACxB,CAAC;IAED;;OAEG;IACH,iBAAiB,CAAC,GAAkB,EAAE,UAAkB;QACtD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAElC,IAAI,SAAS,GAAG;aACP,UAAU;;;;;CAKtB,CAAC;QAEE,kBAAkB;QAClB,IAAI,QAAQ,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpC,SAAS,IAAI,2BAA2B,CAAC;YACzC,SAAS,IAAI,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,CAAC;QAED,eAAe;QACf,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjC,SAAS,IAAI,iBAAiB,CAAC;YAC/B,SAAS,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;CACF;AAjKD,sCAiKC;AAED,wBAAwB;AACxB,oEAAoE"}

package/dist/lsp/server.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Agentic Language Server Protocol Implementation
+ * Based on rust-analyzer and TypeScript Language Server architecture
+ */
+export {};
+//# sourceMappingURL=server.d.ts.map

package/dist/lsp/server.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../../src/lsp/server.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/dist/lsp/server.js

@@ -0,0 +1,131 @@
+"use strict";
+/**
+ * Agentic Language Server Protocol Implementation
+ * Based on rust-analyzer and TypeScript Language Server architecture
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+const node_1 = require("vscode-languageserver/node");
+const vscode_languageserver_textdocument_1 = require("vscode-languageserver-textdocument");
+// Create LSP connection
+const connection = (0, node_1.createConnection)(node_1.ProposedFeatures.all);
+// Document manager
+const documents = new node_1.TextDocuments(vscode_languageserver_textdocument_1.TextDocument);
+// Server state
+let hasConfigurationCapability = false;
+let hasWorkspaceFolderCapability = false;
+connection.onInitialize((params) => {
+    const capabilities = params.capabilities;
+    hasConfigurationCapability = !!(capabilities.workspace && !!capabilities.workspace.configuration);
+    hasWorkspaceFolderCapability = !!(capabilities.workspace && !!capabilities.workspace.workspaceFolders);
+    return {
+        capabilities: {
+            textDocumentSync: node_1.TextDocumentSyncKind.Incremental,
+            completionProvider: {
+                resolveProvider: true,
+                triggerCharacters: ['@', '.', ':'],
+            },
+            hoverProvider: true,
+            definitionProvider: true,
+            referencesProvider: true,
+            documentSymbolProvider: true,
+            workspaceSymbolProvider: true,
+            semanticTokensProvider: {
+                legend: {
+                    tokenTypes: [
+                        'function',
+                        'parameter',
+                        'variable',
+                        'type',
+                        'annotation',
+                        'confidenceLow',
+                        'confidenceHigh',
+                        'stageStub',
+                        'stagePartial',
+                        'stageComplete',
+                    ],
+                    tokenModifiers: ['declaration', 'readonly', 'deprecated', 'uncertain'],
+                },
+                full: true,
+            },
+        },
+    };
+});
+connection.onInitialized(() => {
+    if (hasConfigurationCapability) {
+        // Register for configuration changes
+        // connection.client.register('workspace/didChangeConfiguration');
+    }
+    if (hasWorkspaceFolderCapability) {
+        connection.workspace.onDidChangeWorkspaceFolders(() => {
+            connection.console.log('Workspace folder change event received.');
+        });
+    }
+});
+// Document change handler
+documents.onDidChangeContent(change => {
+    validateDocument(change.document);
+});
+// Validation function
+async function validateDocument(textDocument) {
+    const text = textDocument.getText();
+    const diagnostics = [];
+    try {
+        // Parse the document
+        // const { ast, diagnostics: agenticDiags } = parse(text);
+        // Convert Agentic diagnostics to LSP diagnostics
+        // diagnostics.push(...convertDiagnostics(agenticDiags));
+    }
+    catch (error) {
+        // Handle parse errors
+        connection.console.error(`Parse error: ${error}`);
+    }
+    // Send diagnostics to client
+    connection.sendDiagnostics({ uri: textDocument.uri, diagnostics });
+}
+// Completion provider
+connection.onCompletion((textDocumentPosition) => {
+    // Return Agentic-specific completions
+    return [
+        {
+            label: '@confidence',
+            kind: node_1.CompletionItemKind.Keyword,
+            insertText: '@confidence(${1:0.90})',
+            detail: 'Declare confidence level (0.0 - 1.0)',
+            documentation: 'Add a confidence annotation to track uncertainty',
+        },
+        {
+            label: '@needs',
+            kind: node_1.CompletionItemKind.Keyword,
+            insertText: '@needs(${1:dependency})',
+            detail: 'Declare required context',
+            documentation: 'Specify dependencies required by this function',
+        },
+        {
+            label: '@stub',
+            kind: node_1.CompletionItemKind.Keyword,
+            detail: 'Mark function as stub (not implemented)',
+        },
+        {
+            label: '@partial',
+            kind: node_1.CompletionItemKind.Keyword,
+            detail: 'Mark function as partially implemented',
+        },
+        {
+            label: '@complete',
+            kind: node_1.CompletionItemKind.Keyword,
+            detail: 'Mark function as fully implemented',
+        },
+        {
+            label: 'Result',
+            kind: node_1.CompletionItemKind.TypeParameter,
+            insertText: 'Result<${1:T}, ${2:E}>',
+            detail: 'Result type for error handling',
+        },
+    ];
+});
+// Make the text document manager listen on the connection
+documents.listen(connection);
+// Listen on the connection
+connection.listen();
+console.log('Agentic Language Server started');
+//# sourceMappingURL=server.js.map

package/dist/lsp/server.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"server.js","sourceRoot":"","sources":["../../src/lsp/server.ts"],"names":[],"mappings":";AAAA;;;GAGG;;AAEH,qDAWoC;AAEpC,2FAAkE;AAGlE,wBAAwB;AACxB,MAAM,UAAU,GAAG,IAAA,uBAAgB,EAAC,uBAAgB,CAAC,GAAG,CAAC,CAAC;AAE1D,mBAAmB;AACnB,MAAM,SAAS,GAAG,IAAI,oBAAa,CAAC,iDAAY,CAAC,CAAC;AAElD,eAAe;AACf,IAAI,0BAA0B,GAAG,KAAK,CAAC;AACvC,IAAI,4BAA4B,GAAG,KAAK,CAAC;AAEzC,UAAU,CAAC,YAAY,CAAC,CAAC,MAAwB,EAAoB,EAAE;IACrE,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC;IAEzC,0BAA0B,GAAG,CAAC,CAAC,CAC7B,YAAY,CAAC,SAAS,IAAI,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC,aAAa,CACjE,CAAC;IACF,4BAA4B,GAAG,CAAC,CAAC,CAC/B,YAAY,CAAC,SAAS,IAAI,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC,gBAAgB,CACpE,CAAC;IAEF,OAAO;QACL,YAAY,EAAE;YACZ,gBAAgB,EAAE,2BAAoB,CAAC,WAAW;YAClD,kBAAkB,EAAE;gBAClB,eAAe,EAAE,IAAI;gBACrB,iBAAiB,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;aACnC;YACD,aAAa,EAAE,IAAI;YACnB,kBAAkB,EAAE,IAAI;YACxB,kBAAkB,EAAE,IAAI;YACxB,sBAAsB,EAAE,IAAI;YAC5B,uBAAuB,EAAE,IAAI;YAC7B,sBAAsB,EAAE;gBACtB,MAAM,EAAE;oBACN,UAAU,EAAE;wBACV,UAAU;wBACV,WAAW;wBACX,UAAU;wBACV,MAAM;wBACN,YAAY;wBACZ,eAAe;wBACf,gBAAgB;wBAChB,WAAW;wBACX,cAAc;wBACd,eAAe;qBAChB;oBACD,cAAc,EAAE,CAAC,aAAa,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,CAAC;iBACvE;gBACD,IAAI,EAAE,IAAI;aACX;SACF;KACF,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,UAAU,CAAC,aAAa,CAAC,GAAG,EAAE;IAC5B,IAAI,0BAA0B,EAAE,CAAC;QAC/B,qCAAqC;QACrC,kEAAkE;IACpE,CAAC;IACD,IAAI,4BAA4B,EAAE,CAAC;QACjC,UAAU,CAAC,SAAS,CAAC,2BAA2B,CAAC,GAAG,EAAE;YACpD,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,yCAAyC,CAAC,CAAC;QACpE,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,0BAA0B;AAC1B,SAAS,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE;IACpC,gBAAgB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AACpC,CAAC,CAAC,CAAC;AAEH,sBAAsB;AACtB,KAAK,UAAU,gBAAgB,CAAC,YAA0B;IACxD,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,EAAE,CAAC;IACpC,MAAM,WAAW,GAAoB,EAAE,CAAC;IAExC,IAAI,CAAC;QACH,qBAAqB;QACrB,0DAA0D;QAE1D,iDAAiD;QACjD,yDAAyD;IAC3D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,sBAAsB;QACtB,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,gBAAgB,KAAK,EAAE,CAAC,CAAC;IACpD,CAAC;IAED,6BAA6B;IAC7B,UAAU,CAAC,eAAe,CAAC,EAAE,GAAG,EAAE,YAAY,CAAC,GAAG,EAAE,WAAW,EAAE,CAAC,CAAC;AACrE,CAAC;AAED,sBAAsB;AACtB,UAAU,CAAC,YAAY,CACrB,CAAC,oBAAoB,EAAoB,EAAE;IACzC,sCAAsC;IACtC,OAAO;QACL;YACE,KAAK,EAAE,aAAa;YACpB,IAAI,EAAE,yBAAkB,CAAC,OAAO;YAChC,UAAU,EAAE,wBAAwB;YACpC,MAAM,EAAE,sCAAsC;YAC9C,aAAa,EAAE,kDAAkD;SAClE;QACD;YACE,KAAK,EAAE,QAAQ;YACf,IAAI,EAAE,yBAAkB,CAAC,OAAO;YAChC,UAAU,EAAE,yBAAyB;YACrC,MAAM,EAAE,0BAA0B;YAClC,aAAa,EAAE,gDAAgD;SAChE;QACD;YACE,KAAK,EAAE,OAAO;YACd,IAAI,EAAE,yBAAkB,CAAC,OAAO;YAChC,MAAM,EAAE,yCAAyC;SAClD;QACD;YACE,KAAK,EAAE,UAAU;YACjB,IAAI,EAAE,yBAAkB,CAAC,OAAO;YAChC,MAAM,EAAE,wCAAwC;SACjD;QACD;YACE,KAAK,EAAE,WAAW;YAClB,IAAI,EAAE,yBAAkB,CAAC,OAAO;YAChC,MAAM,EAAE,oCAAoC;SAC7C;QACD;YACE,KAAK,EAAE,QAAQ;YACf,IAAI,EAAE,yBAAkB,CAAC,aAAa;YACtC,UAAU,EAAE,wBAAwB;YACpC,MAAM,EAAE,gCAAgC;SACzC;KACF,CAAC;AACJ,CAAC,CACF,CAAC;AAEF,0DAA0D;AAC1D,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;AAE7B,2BAA2B;AAC3B,UAAU,CAAC,MAAM,EAAE,CAAC;AAEpB,OAAO,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC"}

package/dist/parser/lexer.d.ts

@@ -0,0 +1,79 @@
+/**
+ * Simple regex-based lexer for Agentic language
+ * For MVP - full Tree-sitter parser can be added later
+ */
+export declare enum TokenType {
+    FUNC = "FUNC",
+    RETURN = "RETURN",
+    IF = "IF",
+    ELSE = "ELSE",
+    MATCH = "MATCH",
+    OR = "OR",
+    ERROR = "ERROR",
+    NUMBER = "NUMBER",
+    STRING = "STRING",
+    BOOLEAN = "BOOLEAN",
+    NULL = "NULL",
+    IDENTIFIER = "IDENTIFIER",
+    ARROW = "ARROW",// ->
+    FAT_ARROW = "FAT_ARROW",// =>
+    PIPE = "PIPE",// |
+    DOT = "DOT",
+    COMMA = "COMMA",
+    COLON = "COLON",
+    SEMICOLON = "SEMICOLON",
+    PLUS = "PLUS",// +
+    MINUS = "MINUS",// -
+    STAR = "STAR",// *
+    SLASH = "SLASH",// /
+    PERCENT = "PERCENT",// %
+    EQ = "EQ",// ==
+    NEQ = "NEQ",// !=
+    LT = "LT",
+    GT = "GT",
+    LTE = "LTE",
+    GTE = "GTE",
+    LPAREN = "LPAREN",
+    RPAREN = "RPAREN",
+    LBRACE = "LBRACE",
+    RBRACE = "RBRACE",
+    LBRACKET = "LBRACKET",
+    RBRACKET = "RBRACKET",
+    AT = "AT",// @
+    NEWLINE = "NEWLINE",
+    EOF = "EOF",
+    UNKNOWN = "UNKNOWN"
+}
+export interface Token {
+    type: TokenType;
+    value: string;
+    line: number;
+    column: number;
+    offset: number;
+}
+export declare class Lexer {
+    private source;
+    private pos;
+    private line;
+    private column;
+    private tokens;
+    constructor(source: string);
+    tokenize(): Token[];
+    private nextToken;
+    private scanAnnotation;
+    private scanString;
+    private scanNumber;
+    private scanIdentifier;
+    private scanOperator;
+    private skipWhitespace;
+    private skipLineComment;
+    private skipBlockComment;
+    private peek;
+    private advance;
+    private isAtEnd;
+    private isDigit;
+    private isAlpha;
+    private isAlphaNumeric;
+    private createToken;
+}
+//# sourceMappingURL=lexer.d.ts.map

package/dist/parser/lexer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lexer.d.ts","sourceRoot":"","sources":["../../src/parser/lexer.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,oBAAY,SAAS;IAEnB,IAAI,SAAS;IACb,MAAM,WAAW;IACjB,EAAE,OAAO;IACT,IAAI,SAAS;IACb,KAAK,UAAU;IACf,EAAE,OAAO;IACT,KAAK,UAAU;IAGf,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,OAAO,YAAY;IACnB,IAAI,SAAS;IAGb,UAAU,eAAe;IAGzB,KAAK,UAAU,CAAE,KAAK;IACtB,SAAS,cAAc,CAAE,KAAK;IAC9B,IAAI,SAAS,CAAE,IAAI;IACnB,GAAG,QAAQ;IACX,KAAK,UAAU;IACf,KAAK,UAAU;IACf,SAAS,cAAc;IACvB,IAAI,SAAS,CAAE,IAAI;IACnB,KAAK,UAAU,CAAE,IAAI;IACrB,IAAI,SAAS,CAAE,IAAI;IACnB,KAAK,UAAU,CAAE,IAAI;IACrB,OAAO,YAAY,CAAE,IAAI;IAGzB,EAAE,OAAO,CAAE,KAAK;IAChB,GAAG,QAAQ,CAAE,KAAK;IAClB,EAAE,OAAO;IACT,EAAE,OAAO;IACT,GAAG,QAAQ;IACX,GAAG,QAAQ;IAGX,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,QAAQ,aAAa;IACrB,QAAQ,aAAa;IAGrB,EAAE,OAAO,CAAE,IAAI;IAGf,OAAO,YAAY;IACnB,GAAG,QAAQ;IACX,OAAO,YAAY;CACpB;AAED,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAeD,qBAAa,KAAK;IAChB,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,GAAG,CAAK;IAChB,OAAO,CAAC,IAAI,CAAK;IACjB,OAAO,CAAC,MAAM,CAAK;IACnB,OAAO,CAAC,MAAM,CAAe;gBAEjB,MAAM,EAAE,MAAM;IAI1B,QAAQ,IAAI,KAAK,EAAE;IA6BnB,OAAO,CAAC,SAAS;IA2BjB,OAAO,CAAC,cAAc;IActB,OAAO,CAAC,UAAU;IAkBlB,OAAO,CAAC,UAAU;IAkBlB,OAAO,CAAC,cAAc;IAatB,OAAO,CAAC,YAAY;IA2EpB,OAAO,CAAC,cAAc;IAMtB,OAAO,CAAC,eAAe;IAMvB,OAAO,CAAC,gBAAgB;IAcxB,OAAO,CAAC,IAAI;IAKZ,OAAO,CAAC,OAAO;IAWf,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,cAAc;IAItB,OAAO,CAAC,WAAW;CASpB"}