agentic-lang 0.2.0

package/dist/diagnostics/diagnostic.d.ts

@@ -0,0 +1,115 @@
+/**
+ * Structured Diagnostic System for Agentic
+ * Based on Rust compiler diagnostics with AI-agent enhancements
+ */
+export declare enum DiagnosticSeverity {
+    Error = "error",
+    Warning = "warning",
+    Info = "info",
+    Hint = "hint"
+}
+export declare enum DiagnosticCode {
+    L001_UNEXPECTED_CHARACTER = "L001",
+    L002_UNTERMINATED_STRING = "L002",
+    L003_INVALID_NUMBER = "L003",
+    P001_UNEXPECTED_TOKEN = "P001",
+    P002_EXPECTED_TOKEN = "P002",
+    P003_INVALID_SYNTAX = "P003",
+    P004_MISSING_ANNOTATION_ARG = "P004",
+    P005_INVALID_MATCH_PATTERN = "P005",
+    T001_TYPE_MISMATCH = "T001",
+    T002_UNDEFINED_IDENTIFIER = "T002",
+    T003_INVALID_RESULT_TYPE = "T003",
+    T004_MISSING_TYPE_ANNOTATION = "T004",
+    A001_UNKNOWN_ANNOTATION = "A001",
+    A002_INVALID_CONFIDENCE_VALUE = "A002",
+    A003_MISSING_DEPENDENCY = "A003",
+    A004_INVALID_STAGE = "A004",
+    A005_LOW_CONFIDENCE = "A005"
+}
+export interface SourceLocation {
+    line: number;
+    column: number;
+    offset: number;
+}
+export interface SourceRange {
+    start: SourceLocation;
+    end: SourceLocation;
+    source?: string;
+}
+export interface DiagnosticFix {
+    description: string;
+    command?: string;
+    edit?: {
+        range: SourceRange;
+        newText: string;
+    };
+}
+export interface Diagnostic {
+    code: DiagnosticCode;
+    severity: DiagnosticSeverity;
+    message: string;
+    location: SourceRange;
+    help?: string;
+    note?: string;
+    url?: string;
+    suggestedFixes?: DiagnosticFix[];
+    possibleCauses?: string[];
+    relatedInformation?: Array<{
+        location: SourceRange;
+        message: string;
+    }>;
+    context?: {
+        expectedToken?: string;
+        actualToken?: string;
+        availableIdentifiers?: string[];
+        [key: string]: any;
+    };
+}
+export declare class DiagnosticBuilder {
+    private diagnostic;
+    constructor(code: DiagnosticCode);
+    at(location: SourceRange): this;
+    withMessage(message: string): this;
+    withHelp(help: string): this;
+    withNote(note: string): this;
+    withUrl(url: string): this;
+    suggestFix(fix: DiagnosticFix): this;
+    addCause(cause: string): this;
+    withContext(context: Record<string, any>): this;
+    asSeverity(severity: DiagnosticSeverity): this;
+    build(): Diagnostic;
+}
+export declare function diagnostic(code: DiagnosticCode): DiagnosticBuilder;
+export interface AgentDiagnostic {
+    type: 'compilation_error';
+    code: string;
+    severity: string;
+    message: string;
+    location: {
+        file: string;
+        line: number;
+        column: number;
+        snippet: string;
+    };
+    analysis: {
+        possibleCauses: string[];
+        suggestedFixes: Array<{
+            description: string;
+            command?: string;
+            code_edit?: {
+                before: string;
+                after: string;
+            };
+        }>;
+        relatedErrors?: string[];
+        confidence: number;
+    };
+    machineReadable: {
+        errorCategory: string;
+        canAutoFix: boolean;
+        fixable: boolean;
+        breakingChange: boolean;
+    };
+}
+//# sourceMappingURL=diagnostic.d.ts.map

package/dist/diagnostics/diagnostic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic.d.ts","sourceRoot":"","sources":["../../src/diagnostics/diagnostic.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,oBAAY,kBAAkB;IAC5B,KAAK,UAAU;IACf,OAAO,YAAY;IACnB,IAAI,SAAS;IACb,IAAI,SAAS;CACd;AAED,oBAAY,cAAc;IAExB,yBAAyB,SAAS;IAClC,wBAAwB,SAAS;IACjC,mBAAmB,SAAS;IAG5B,qBAAqB,SAAS;IAC9B,mBAAmB,SAAS;IAC5B,mBAAmB,SAAS;IAC5B,2BAA2B,SAAS;IACpC,0BAA0B,SAAS;IAGnC,kBAAkB,SAAS;IAC3B,yBAAyB,SAAS;IAClC,wBAAwB,SAAS;IACjC,4BAA4B,SAAS;IAGrC,uBAAuB,SAAS;IAChC,6BAA6B,SAAS;IACtC,uBAAuB,SAAS;IAChC,kBAAkB,SAAS;IAC3B,mBAAmB,SAAS;CAC7B;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,cAAc,CAAC;IACtB,GAAG,EAAE,cAAc,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,aAAa;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE;QACL,KAAK,EAAE,WAAW,CAAC;QACnB,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;CACH;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,cAAc,CAAC;IACrB,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,WAAW,CAAC;IAGtB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,MAAM,CAAC;IAGb,cAAc,CAAC,EAAE,aAAa,EAAE,CAAC;IACjC,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,kBAAkB,CAAC,EAAE,KAAK,CAAC;QACzB,QAAQ,EAAE,WAAW,CAAC;QACtB,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC,CAAC;IAGH,OAAO,CAAC,EAAE;QACR,aAAa,CAAC,EAAE,MAAM,CAAC;QACvB,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;QAChC,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;KACpB,CAAC;CACH;AAED,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,UAAU,CAAsB;gBAE5B,IAAI,EAAE,cAAc;IAOhC,EAAE,CAAC,QAAQ,EAAE,WAAW,GAAG,IAAI;IAK/B,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI;IAKlC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAK5B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAK5B,OAAO,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI;IAK1B,UAAU,CAAC,GAAG,EAAE,aAAa,GAAG,IAAI;IAQpC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;IAQ7B,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI;IAK/C,UAAU,CAAC,QAAQ,EAAE,kBAAkB,GAAG,IAAI;IAK9C,KAAK,IAAI,UAAU;CAMpB;AAGD,wBAAgB,UAAU,CAAC,IAAI,EAAE,cAAc,GAAG,iBAAiB,CAElE;AAGD,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,mBAAmB,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE;QACR,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,MAAM,CAAC;QACf,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,QAAQ,EAAE;QACR,cAAc,EAAE,MAAM,EAAE,CAAC;QACzB,cAAc,EAAE,KAAK,CAAC;YACpB,WAAW,EAAE,MAAM,CAAC;YACpB,OAAO,CAAC,EAAE,MAAM,CAAC;YACjB,SAAS,CAAC,EAAE;gBACV,MAAM,EAAE,MAAM,CAAC;gBACf,KAAK,EAAE,MAAM,CAAC;aACf,CAAC;SACH,CAAC,CAAC;QACH,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;QACzB,UAAU,EAAE,MAAM,CAAC;KACpB,CAAC;IACF,eAAe,EAAE;QACf,aAAa,EAAE,MAAM,CAAC;QACtB,UAAU,EAAE,OAAO,CAAC;QACpB,OAAO,EAAE,OAAO,CAAC;QACjB,cAAc,EAAE,OAAO,CAAC;KACzB,CAAC;CACH"}

package/dist/diagnostics/diagnostic.js

@@ -0,0 +1,101 @@
+"use strict";
+/**
+ * Structured Diagnostic System for Agentic
+ * Based on Rust compiler diagnostics with AI-agent enhancements
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DiagnosticBuilder = exports.DiagnosticCode = exports.DiagnosticSeverity = void 0;
+exports.diagnostic = diagnostic;
+var DiagnosticSeverity;
+(function (DiagnosticSeverity) {
+    DiagnosticSeverity["Error"] = "error";
+    DiagnosticSeverity["Warning"] = "warning";
+    DiagnosticSeverity["Info"] = "info";
+    DiagnosticSeverity["Hint"] = "hint";
+})(DiagnosticSeverity || (exports.DiagnosticSeverity = DiagnosticSeverity = {}));
+var DiagnosticCode;
+(function (DiagnosticCode) {
+    // Lexer errors (L-series)
+    DiagnosticCode["L001_UNEXPECTED_CHARACTER"] = "L001";
+    DiagnosticCode["L002_UNTERMINATED_STRING"] = "L002";
+    DiagnosticCode["L003_INVALID_NUMBER"] = "L003";
+    // Parser errors (P-series)
+    DiagnosticCode["P001_UNEXPECTED_TOKEN"] = "P001";
+    DiagnosticCode["P002_EXPECTED_TOKEN"] = "P002";
+    DiagnosticCode["P003_INVALID_SYNTAX"] = "P003";
+    DiagnosticCode["P004_MISSING_ANNOTATION_ARG"] = "P004";
+    DiagnosticCode["P005_INVALID_MATCH_PATTERN"] = "P005";
+    // Type errors (T-series)
+    DiagnosticCode["T001_TYPE_MISMATCH"] = "T001";
+    DiagnosticCode["T002_UNDEFINED_IDENTIFIER"] = "T002";
+    DiagnosticCode["T003_INVALID_RESULT_TYPE"] = "T003";
+    DiagnosticCode["T004_MISSING_TYPE_ANNOTATION"] = "T004";
+    // Annotation errors (A-series)
+    DiagnosticCode["A001_UNKNOWN_ANNOTATION"] = "A001";
+    DiagnosticCode["A002_INVALID_CONFIDENCE_VALUE"] = "A002";
+    DiagnosticCode["A003_MISSING_DEPENDENCY"] = "A003";
+    DiagnosticCode["A004_INVALID_STAGE"] = "A004";
+    DiagnosticCode["A005_LOW_CONFIDENCE"] = "A005";
+})(DiagnosticCode || (exports.DiagnosticCode = DiagnosticCode = {}));
+class DiagnosticBuilder {
+    constructor(code) {
+        this.diagnostic = {
+            code,
+            severity: DiagnosticSeverity.Error,
+        };
+    }
+    at(location) {
+        this.diagnostic.location = location;
+        return this;
+    }
+    withMessage(message) {
+        this.diagnostic.message = message;
+        return this;
+    }
+    withHelp(help) {
+        this.diagnostic.help = help;
+        return this;
+    }
+    withNote(note) {
+        this.diagnostic.note = note;
+        return this;
+    }
+    withUrl(url) {
+        this.diagnostic.url = url;
+        return this;
+    }
+    suggestFix(fix) {
+        if (!this.diagnostic.suggestedFixes) {
+            this.diagnostic.suggestedFixes = [];
+        }
+        this.diagnostic.suggestedFixes.push(fix);
+        return this;
+    }
+    addCause(cause) {
+        if (!this.diagnostic.possibleCauses) {
+            this.diagnostic.possibleCauses = [];
+        }
+        this.diagnostic.possibleCauses.push(cause);
+        return this;
+    }
+    withContext(context) {
+        this.diagnostic.context = { ...this.diagnostic.context, ...context };
+        return this;
+    }
+    asSeverity(severity) {
+        this.diagnostic.severity = severity;
+        return this;
+    }
+    build() {
+        if (!this.diagnostic.location || !this.diagnostic.message) {
+            throw new Error('Diagnostic must have location and message');
+        }
+        return this.diagnostic;
+    }
+}
+exports.DiagnosticBuilder = DiagnosticBuilder;
+// Convenience function
+function diagnostic(code) {
+    return new DiagnosticBuilder(code);
+}
+//# sourceMappingURL=diagnostic.js.map

package/dist/diagnostics/diagnostic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic.js","sourceRoot":"","sources":["../../src/diagnostics/diagnostic.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AA2JH,gCAEC;AA3JD,IAAY,kBAKX;AALD,WAAY,kBAAkB;IAC5B,qCAAe,CAAA;IACf,yCAAmB,CAAA;IACnB,mCAAa,CAAA;IACb,mCAAa,CAAA;AACf,CAAC,EALW,kBAAkB,kCAAlB,kBAAkB,QAK7B;AAED,IAAY,cAyBX;AAzBD,WAAY,cAAc;IACxB,0BAA0B;IAC1B,oDAAkC,CAAA;IAClC,mDAAiC,CAAA;IACjC,8CAA4B,CAAA;IAE5B,2BAA2B;IAC3B,gDAA8B,CAAA;IAC9B,8CAA4B,CAAA;IAC5B,8CAA4B,CAAA;IAC5B,sDAAoC,CAAA;IACpC,qDAAmC,CAAA;IAEnC,yBAAyB;IACzB,6CAA2B,CAAA;IAC3B,oDAAkC,CAAA;IAClC,mDAAiC,CAAA;IACjC,uDAAqC,CAAA;IAErC,+BAA+B;IAC/B,kDAAgC,CAAA;IAChC,wDAAsC,CAAA;IACtC,kDAAgC,CAAA;IAChC,6CAA2B,CAAA;IAC3B,8CAA4B,CAAA;AAC9B,CAAC,EAzBW,cAAc,8BAAd,cAAc,QAyBzB;AAmDD,MAAa,iBAAiB;IAG5B,YAAY,IAAoB;QAC9B,IAAI,CAAC,UAAU,GAAG;YAChB,IAAI;YACJ,QAAQ,EAAE,kBAAkB,CAAC,KAAK;SACnC,CAAC;IACJ,CAAC;IAED,EAAE,CAAC,QAAqB;QACtB,IAAI,CAAC,UAAU,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,WAAW,CAAC,OAAe;QACzB,IAAI,CAAC,UAAU,CAAC,OAAO,GAAG,OAAO,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,QAAQ,CAAC,IAAY;QACnB,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG,IAAI,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,QAAQ,CAAC,IAAY;QACnB,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG,IAAI,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,CAAC,GAAW;QACjB,IAAI,CAAC,UAAU,CAAC,GAAG,GAAG,GAAG,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,UAAU,CAAC,GAAkB;QAC3B,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,cAAc,EAAE,CAAC;YACpC,IAAI,CAAC,UAAU,CAAC,cAAc,GAAG,EAAE,CAAC;QACtC,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,QAAQ,CAAC,KAAa;QACpB,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,cAAc,EAAE,CAAC;YACpC,IAAI,CAAC,UAAU,CAAC,cAAc,GAAG,EAAE,CAAC;QACtC,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,WAAW,CAAC,OAA4B;QACtC,IAAI,CAAC,UAAU,CAAC,OAAO,GAAG,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC;QACrE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,UAAU,CAAC,QAA4B;QACrC,IAAI,CAAC,UAAU,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK;QACH,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;YAC1D,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;QAC/D,CAAC;QACD,OAAO,IAAI,CAAC,UAAwB,CAAC;IACvC,CAAC;CACF;AAnED,8CAmEC;AAED,uBAAuB;AACvB,SAAgB,UAAU,CAAC,IAAoB;IAC7C,OAAO,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC;AACrC,CAAC"}

package/dist/diagnostics/formatter.d.ts

@@ -0,0 +1,36 @@
+/**
+ * Console Formatter for Diagnostics
+ * Rust-inspired beautiful error messages with colors
+ */
+import { Diagnostic, AgentDiagnostic } from './diagnostic';
+export interface FormatterOptions {
+    colors: boolean;
+    snippetContext: number;
+    showUrl: boolean;
+    showFixes: boolean;
+    format: 'human' | 'json' | 'compact';
+}
+export declare class DiagnosticFormatter {
+    private options;
+    constructor(options?: FormatterOptions);
+    format(diagnostic: Diagnostic): string;
+    formatMany(diagnostics: Diagnostic[]): string;
+    private formatHuman;
+    private formatHeader;
+    private formatLocation;
+    private formatSnippet;
+    private formatNotes;
+    private formatFixes;
+    private formatUrl;
+    private formatJson;
+    private formatCompact;
+}
+export declare class AgentFormatter {
+    formatForAgent(diagnostic: Diagnostic, filePath: string): AgentDiagnostic;
+    private categorizeError;
+    private canAutoFix;
+    private calculateFixConfidence;
+    private extractSnippet;
+    private getBeforeText;
+}
+//# sourceMappingURL=formatter.d.ts.map

package/dist/diagnostics/formatter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatter.d.ts","sourceRoot":"","sources":["../../src/diagnostics/formatter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,UAAU,EAAsB,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/E,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,OAAO,CAAC;IAChB,cAAc,EAAE,MAAM,CAAC;IACvB,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,EAAE,OAAO,CAAC;IACnB,MAAM,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAAC;CACtC;AA0BD,qBAAa,mBAAmB;IAClB,OAAO,CAAC,OAAO;gBAAP,OAAO,GAAE,gBAAkC;IAE/D,MAAM,CAAC,UAAU,EAAE,UAAU,GAAG,MAAM;IAUtC,UAAU,CAAC,WAAW,EAAE,UAAU,EAAE,GAAG,MAAM;IAU7C,OAAO,CAAC,WAAW;IA8BnB,OAAO,CAAC,YAAY;IAmBpB,OAAO,CAAC,cAAc;IAWtB,OAAO,CAAC,aAAa;IAwDrB,OAAO,CAAC,WAAW;IAuBnB,OAAO,CAAC,WAAW;IAmBnB,OAAO,CAAC,SAAS;IAUjB,OAAO,CAAC,UAAU;IAIlB,OAAO,CAAC,aAAa;CAItB;AAGD,qBAAa,cAAc;IACzB,cAAc,CAAC,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,GAAG,eAAe;IAkCzE,OAAO,CAAC,eAAe;IAQvB,OAAO,CAAC,UAAU;IAKlB,OAAO,CAAC,sBAAsB;IAM9B,OAAO,CAAC,cAAc;IAOtB,OAAO,CAAC,aAAa;CAStB"}

package/dist/diagnostics/formatter.js

@@ -0,0 +1,263 @@
+"use strict";
+/**
+ * Console Formatter for Diagnostics
+ * Rust-inspired beautiful error messages with colors
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.AgentFormatter = exports.DiagnosticFormatter = void 0;
+const diagnostic_1 = require("./diagnostic");
+const DEFAULT_OPTIONS = {
+    colors: true,
+    snippetContext: 2,
+    showUrl: true,
+    showFixes: true,
+    format: 'human',
+};
+// ANSI color codes
+const colors = {
+    reset: '\x1b[0m',
+    bold: '\x1b[1m',
+    red: '\x1b[31m',
+    boldRed: '\x1b[1;31m',
+    green: '\x1b[32m',
+    yellow: '\x1b[33m',
+    blue: '\x1b[34m',
+    magenta: '\x1b[35m',
+    boldMagenta: '\x1b[1;35m',
+    cyan: '\x1b[36m',
+    boldCyan: '\x1b[1;36m',
+    white: '\x1b[37m',
+};
+class DiagnosticFormatter {
+    constructor(options = DEFAULT_OPTIONS) {
+        this.options = options;
+    }
+    format(diagnostic) {
+        if (this.options.format === 'json') {
+            return this.formatJson(diagnostic);
+        }
+        if (this.options.format === 'compact') {
+            return this.formatCompact(diagnostic);
+        }
+        return this.formatHuman(diagnostic);
+    }
+    formatMany(diagnostics) {
+        if (this.options.format === 'json') {
+            return JSON.stringify(diagnostics, null, 2);
+        }
+        return diagnostics
+            .map((d) => this.format(d))
+            .join('\n\n');
+    }
+    formatHuman(d) {
+        const { colors: useColors } = this.options;
+        // Header: error[P001]: expected `;`, found `}`
+        const header = this.formatHeader(d, useColors);
+        // Location: --> example.agentic:5:20
+        const location = this.formatLocation(d, useColors);
+        // Code snippet with highlighting
+        const snippet = this.formatSnippet(d, useColors);
+        // Help/Note
+        const notes = this.formatNotes(d, useColors);
+        // Suggested fixes
+        const fixes = this.options.showFixes && d.suggestedFixes
+            ? this.formatFixes(d, useColors)
+            : '';
+        // URL
+        const url = this.options.showUrl && d.url
+            ? this.formatUrl(d, useColors)
+            : '';
+        return [header, location, snippet, notes, fixes, url]
+            .filter(Boolean)
+            .join('\n');
+    }
+    formatHeader(d, useColors) {
+        const severityStr = d.severity;
+        const codeStr = `[${d.code}]`;
+        const messageStr = d.message;
+        if (!useColors) {
+            return `${severityStr}${codeStr}: ${messageStr}`;
+        }
+        let colorCode = colors.boldRed;
+        if (d.severity === diagnostic_1.DiagnosticSeverity.Warning) {
+            colorCode = colors.boldMagenta;
+        }
+        else if (d.severity === diagnostic_1.DiagnosticSeverity.Info) {
+            colorCode = colors.boldCyan;
+        }
+        return `${colorCode}${severityStr}${codeStr}${colors.reset}: ${colors.bold}${messageStr}${colors.reset}`;
+    }
+    formatLocation(d, useColors) {
+        const loc = d.location;
+        const locStr = `${loc.start.line}:${loc.start.column}`;
+        if (!useColors) {
+            return `  --> ${locStr}`;
+        }
+        return `${colors.blue}  -->${colors.reset} ${colors.white}${locStr}${colors.reset}`;
+    }
+    formatSnippet(d, useColors) {
+        if (!d.location.source)
+            return '';
+        const lines = d.location.source.split('\n');
+        const errorLine = d.location.start.line - 1;
+        const start = Math.max(0, errorLine - this.options.snippetContext);
+        const end = Math.min(lines.length, errorLine + this.options.snippetContext + 1);
+        const maxLineNum = end.toString().length;
+        const result = [useColors ? `${colors.blue}   |${colors.reset}` : '   |'];
+        for (let i = start; i < end; i++) {
+            const lineNum = (i + 1).toString().padStart(maxLineNum, ' ');
+            const line = lines[i];
+            if (i === errorLine) {
+                // Highlight error line
+                result.push(useColors
+                    ? `${colors.blue} ${lineNum} |${colors.reset} ${line}`
+                    : ` ${lineNum} | ${line}`);
+                // Add caret line
+                const col = d.location.start.column;
+                const len = d.location.end.column - d.location.start.column;
+                const caret = ' '.repeat(col) + '^'.repeat(Math.max(1, len));
+                result.push(useColors
+                    ? `${colors.blue}   |${colors.reset} ${colors.boldRed}${caret}${colors.reset}`
+                    : `   | ${caret}`);
+                // Add help on caret line if present
+                if (d.help) {
+                    const helpStr = useColors
+                        ? `${colors.blue}   |${colors.reset} ${colors.cyan}help: ${d.help}${colors.reset}`
+                        : `   | help: ${d.help}`;
+                    result.push(helpStr);
+                }
+            }
+            else {
+                result.push(useColors
+                    ? `${colors.blue} ${lineNum} |${colors.reset} ${line}`
+                    : ` ${lineNum} | ${line}`);
+            }
+        }
+        result.push(useColors ? `${colors.blue}   |${colors.reset}` : '   |');
+        return result.join('\n');
+    }
+    formatNotes(d, useColors) {
+        const notes = [];
+        if (d.note) {
+            const noteStr = useColors
+                ? `${colors.boldCyan}   = note:${colors.reset} ${d.note}`
+                : `   = note: ${d.note}`;
+            notes.push(noteStr);
+        }
+        if (d.possibleCauses && d.possibleCauses.length > 0) {
+            const header = useColors
+                ? `${colors.yellow}${colors.bold}   = possible causes:${colors.reset}`
+                : '   = possible causes:';
+            notes.push(header);
+            d.possibleCauses.forEach((cause) => {
+                notes.push(`     - ${cause}`);
+            });
+        }
+        return notes.join('\n');
+    }
+    formatFixes(d, useColors) {
+        if (!d.suggestedFixes || d.suggestedFixes.length === 0) {
+            return '';
+        }
+        const header = useColors
+            ? `${colors.green}${colors.bold}   = suggested fixes:${colors.reset}`
+            : '   = suggested fixes:';
+        const fixes = d.suggestedFixes.map((fix, i) => {
+            const num = `${i + 1}.`;
+            const desc = fix.description;
+            const cmd = fix.command ? `\n       $ ${fix.command}` : '';
+            return `     ${num} ${desc}${cmd}`;
+        });
+        return [header, ...fixes].join('\n');
+    }
+    formatUrl(d, useColors) {
+        if (!d.url)
+            return '';
+        const prefix = useColors
+            ? `${colors.blue}   = see:${colors.reset} `
+            : '   = see: ';
+        return prefix + d.url;
+    }
+    formatJson(d) {
+        return JSON.stringify(d, null, 2);
+    }
+    formatCompact(d) {
+        const loc = d.location;
+        return `${d.severity}[${d.code}]: ${d.message} (${loc.start.line}:${loc.start.column})`;
+    }
+}
+exports.DiagnosticFormatter = DiagnosticFormatter;
+// AI-friendly formatter
+class AgentFormatter {
+    formatForAgent(diagnostic, filePath) {
+        return {
+            type: 'compilation_error',
+            code: diagnostic.code,
+            severity: diagnostic.severity,
+            message: diagnostic.message,
+            location: {
+                file: filePath,
+                line: diagnostic.location.start.line,
+                column: diagnostic.location.start.column,
+                snippet: this.extractSnippet(diagnostic),
+            },
+            analysis: {
+                possibleCauses: diagnostic.possibleCauses || [],
+                suggestedFixes: (diagnostic.suggestedFixes || []).map((fix) => ({
+                    description: fix.description,
+                    command: fix.command,
+                    code_edit: fix.edit ? {
+                        before: this.getBeforeText(diagnostic, fix),
+                        after: fix.edit.newText,
+                    } : undefined,
+                })),
+                relatedErrors: [],
+                confidence: this.calculateFixConfidence(diagnostic),
+            },
+            machineReadable: {
+                errorCategory: this.categorizeError(diagnostic.code),
+                canAutoFix: this.canAutoFix(diagnostic),
+                fixable: !!diagnostic.suggestedFixes && diagnostic.suggestedFixes.length > 0,
+                breakingChange: false,
+            },
+        };
+    }
+    categorizeError(code) {
+        if (code.startsWith('L'))
+            return 'lexical';
+        if (code.startsWith('P'))
+            return 'syntax';
+        if (code.startsWith('T'))
+            return 'type';
+        if (code.startsWith('A'))
+            return 'annotation';
+        return 'semantic';
+    }
+    canAutoFix(diagnostic) {
+        const autoFixableCodes = ['P002', 'L002', 'A002'];
+        return autoFixableCodes.some(code => diagnostic.code.includes(code));
+    }
+    calculateFixConfidence(diagnostic) {
+        if (diagnostic.code.includes('P002'))
+            return 0.95; // Missing token - high confidence
+        if (diagnostic.suggestedFixes && diagnostic.suggestedFixes.length === 1)
+            return 0.85;
+        return 0.60;
+    }
+    extractSnippet(diagnostic) {
+        if (!diagnostic.location.source)
+            return '';
+        const lines = diagnostic.location.source.split('\n');
+        const errorLine = diagnostic.location.start.line - 1;
+        return lines[errorLine] || '';
+    }
+    getBeforeText(diagnostic, fix) {
+        if (!fix.edit || !diagnostic.location.source)
+            return '';
+        const lines = diagnostic.location.source.split('\n');
+        const line = lines[diagnostic.location.start.line - 1];
+        return line?.substring(fix.edit.range.start.column, fix.edit.range.end.column) || '';
+    }
+}
+exports.AgentFormatter = AgentFormatter;
+//# sourceMappingURL=formatter.js.map

package/dist/diagnostics/formatter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatter.js","sourceRoot":"","sources":["../../src/diagnostics/formatter.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAEH,6CAA+E;AAU/E,MAAM,eAAe,GAAqB;IACxC,MAAM,EAAE,IAAI;IACZ,cAAc,EAAE,CAAC;IACjB,OAAO,EAAE,IAAI;IACb,SAAS,EAAE,IAAI;IACf,MAAM,EAAE,OAAO;CAChB,CAAC;AAEF,mBAAmB;AACnB,MAAM,MAAM,GAAG;IACb,KAAK,EAAE,SAAS;IAChB,IAAI,EAAE,SAAS;IACf,GAAG,EAAE,UAAU;IACf,OAAO,EAAE,YAAY;IACrB,KAAK,EAAE,UAAU;IACjB,MAAM,EAAE,UAAU;IAClB,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,UAAU;IACnB,WAAW,EAAE,YAAY;IACzB,IAAI,EAAE,UAAU;IAChB,QAAQ,EAAE,YAAY;IACtB,KAAK,EAAE,UAAU;CAClB,CAAC;AAEF,MAAa,mBAAmB;IAC9B,YAAoB,UAA4B,eAAe;QAA3C,YAAO,GAAP,OAAO,CAAoC;IAAG,CAAC;IAEnE,MAAM,CAAC,UAAsB;QAC3B,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YACnC,OAAO,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QACrC,CAAC;QACD,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACtC,OAAO,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;QACxC,CAAC;QACD,OAAO,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;IACtC,CAAC;IAED,UAAU,CAAC,WAAyB;QAClC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YACnC,OAAO,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC9C,CAAC;QAED,OAAO,WAAW;aACf,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;aAC1B,IAAI,CAAC,MAAM,CAAC,CAAC;IAClB,CAAC;IAEO,WAAW,CAAC,CAAa;QAC/B,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC;QAE3C,+CAA+C;QAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QAE/C,qCAAqC;QACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QAEnD,iCAAiC;QACjC,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QAEjD,YAAY;QACZ,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QAE7C,kBAAkB;QAClB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,cAAc;YACtD,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC;YAChC,CAAC,CAAC,EAAE,CAAC;QAEP,MAAM;QACN,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC,GAAG;YACvC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC;YAC9B,CAAC,CAAC,EAAE,CAAC;QAEP,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC;aAClD,MAAM,CAAC,OAAO,CAAC;aACf,IAAI,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;IAEO,YAAY,CAAC,CAAa,EAAE,SAAkB;QACpD,MAAM,WAAW,GAAG,CAAC,CAAC,QAAQ,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC;QAC9B,MAAM,UAAU,GAAG,CAAC,CAAC,OAAO,CAAC;QAE7B,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,GAAG,WAAW,GAAG,OAAO,KAAK,UAAU,EAAE,CAAC;QACnD,CAAC;QAED,IAAI,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC;QAC/B,IAAI,CAAC,CAAC,QAAQ,KAAK,+BAAkB,CAAC,OAAO,EAAE,CAAC;YAC9C,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC;QACjC,CAAC;aAAM,IAAI,CAAC,CAAC,QAAQ,KAAK,+BAAkB,CAAC,IAAI,EAAE,CAAC;YAClD,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC;QAC9B,CAAC;QAED,OAAO,GAAG,SAAS,GAAG,WAAW,GAAG,OAAO,GAAG,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,IAAI,GAAG,UAAU,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;IAC3G,CAAC;IAEO,cAAc,CAAC,CAAa,EAAE,SAAkB;QACtD,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC;QACvB,MAAM,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QAEvD,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,SAAS,MAAM,EAAE,CAAC;QAC3B,CAAC;QAED,OAAO,GAAG,MAAM,CAAC,IAAI,QAAQ,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,GAAG,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;IACtF,CAAC;IAEO,aAAa,CAAC,CAAa,EAAE,SAAkB;QACrD,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM;YAAE,OAAO,EAAE,CAAC;QAElC,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,SAAS,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;QAE5C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QACnE,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,cAAc,GAAG,CAAC,CAAC,CAAC;QAEhF,MAAM,UAAU,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC;QACzC,MAAM,MAAM,GAAa,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAEpF,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;YACjC,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC7D,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YAEtB,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBACpB,uBAAuB;gBACvB,MAAM,CAAC,IAAI,CACT,SAAS;oBACP,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,OAAO,KAAK,MAAM,CAAC,KAAK,IAAI,IAAI,EAAE;oBACtD,CAAC,CAAC,IAAI,OAAO,MAAM,IAAI,EAAE,CAC5B,CAAC;gBAEF,iBAAiB;gBACjB,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;gBACpC,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;gBAC5D,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;gBAE7D,MAAM,CAAC,IAAI,CACT,SAAS;oBACP,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,OAAO,GAAG,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE;oBAC9E,CAAC,CAAC,QAAQ,KAAK,EAAE,CACpB,CAAC;gBAEF,oCAAoC;gBACpC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;oBACX,MAAM,OAAO,GAAG,SAAS;wBACvB,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,SAAS,CAAC,CAAC,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE;wBAClF,CAAC,CAAC,cAAc,CAAC,CAAC,IAAI,EAAE,CAAC;oBAC3B,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACvB,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CACT,SAAS;oBACP,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,OAAO,KAAK,MAAM,CAAC,KAAK,IAAI,IAAI,EAAE;oBACtD,CAAC,CAAC,IAAI,OAAO,MAAM,IAAI,EAAE,CAC5B,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAEtE,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IAEO,WAAW,CAAC,CAAa,EAAE,SAAkB;QACnD,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YACX,MAAM,OAAO,GAAG,SAAS;gBACvB,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,aAAa,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE;gBACzD,CAAC,CAAC,cAAc,CAAC,CAAC,IAAI,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACtB,CAAC;QAED,IAAI,CAAC,CAAC,cAAc,IAAI,CAAC,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpD,MAAM,MAAM,GAAG,SAAS;gBACtB,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,IAAI,wBAAwB,MAAM,CAAC,KAAK,EAAE;gBACtE,CAAC,CAAC,uBAAuB,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACnB,CAAC,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;gBACjC,KAAK,CAAC,IAAI,CAAC,UAAU,KAAK,EAAE,CAAC,CAAC;YAChC,CAAC,CAAC,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAEO,WAAW,CAAC,CAAa,EAAE,SAAkB;QACnD,IAAI,CAAC,CAAC,CAAC,cAAc,IAAI,CAAC,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvD,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,MAAM,GAAG,SAAS;YACtB,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,wBAAwB,MAAM,CAAC,KAAK,EAAE;YACrE,CAAC,CAAC,uBAAuB,CAAC;QAE5B,MAAM,KAAK,GAAG,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;YAC5C,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;YACxB,MAAM,IAAI,GAAG,GAAG,CAAC,WAAW,CAAC;YAC7B,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3D,OAAO,QAAQ,GAAG,IAAI,IAAI,GAAG,GAAG,EAAE,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC;IAEO,SAAS,CAAC,CAAa,EAAE,SAAkB;QACjD,IAAI,CAAC,CAAC,CAAC,GAAG;YAAE,OAAO,EAAE,CAAC;QAEtB,MAAM,MAAM,GAAG,SAAS;YACtB,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,YAAY,MAAM,CAAC,KAAK,GAAG;YAC3C,CAAC,CAAC,YAAY,CAAC;QAEjB,OAAO,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC;IACxB,CAAC;IAEO,UAAU,CAAC,CAAa;QAC9B,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IACpC,CAAC;IAEO,aAAa,CAAC,CAAa;QACjC,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC;QACvB,OAAO,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,OAAO,KAAK,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;IAC1F,CAAC;CACF;AAvMD,kDAuMC;AAED,wBAAwB;AACxB,MAAa,cAAc;IACzB,cAAc,CAAC,UAAsB,EAAE,QAAgB;QACrD,OAAO;YACL,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,QAAQ,EAAE;gBACR,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI;gBACpC,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM;gBACxC,OAAO,EAAE,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC;aACzC;YACD,QAAQ,EAAE;gBACR,cAAc,EAAE,UAAU,CAAC,cAAc,IAAI,EAAE;gBAC/C,cAAc,EAAE,CAAC,UAAU,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;oBAC9D,WAAW,EAAE,GAAG,CAAC,WAAW;oBAC5B,OAAO,EAAE,GAAG,CAAC,OAAO;oBACpB,SAAS,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;wBACpB,MAAM,EAAE,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,GAAG,CAAC;wBAC3C,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO;qBACxB,CAAC,CAAC,CAAC,SAAS;iBACd,CAAC,CAAC;gBACH,aAAa,EAAE,EAAE;gBACjB,UAAU,EAAE,IAAI,CAAC,sBAAsB,CAAC,UAAU,CAAC;aACpD;YACD,eAAe,EAAE;gBACf,aAAa,EAAE,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC;gBACpD,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;gBACvC,OAAO,EAAE,CAAC,CAAC,UAAU,CAAC,cAAc,IAAI,UAAU,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;gBAC5E,cAAc,EAAE,KAAK;aACtB;SACF,CAAC;IACJ,CAAC;IAEO,eAAe,CAAC,IAAY;QAClC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAC;QAC3C,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,QAAQ,CAAC;QAC1C,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,MAAM,CAAC;QACxC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,YAAY,CAAC;QAC9C,OAAO,UAAU,CAAC;IACpB,CAAC;IAEO,UAAU,CAAC,UAAsB;QACvC,MAAM,gBAAgB,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAClD,OAAO,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACvE,CAAC;IAEO,sBAAsB,CAAC,UAAsB;QACnD,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,kCAAkC;QACrF,IAAI,UAAU,CAAC,cAAc,IAAI,UAAU,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACrF,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,cAAc,CAAC,UAAsB;QAC3C,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM;YAAE,OAAO,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACrD,MAAM,SAAS,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;QACrD,OAAO,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;IAChC,CAAC;IAEO,aAAa,CAAC,UAAsB,EAAE,GAAQ;QACpD,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM;YAAE,OAAO,EAAE,CAAC;QACxD,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACrD,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;QACvD,OAAO,IAAI,EAAE,SAAS,CACpB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAC3B,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAC1B,IAAI,EAAE,CAAC;IACV,CAAC;CACF;AAtED,wCAsEC"}

package/dist/effects/effect-system.d.ts

@@ -0,0 +1,64 @@
+/**
+ * Effect System for Agentic
+ * Tracks side effects at type level (inspired by Koka, Eff, Unison)
+ */
+import * as AST from '../types';
+export type Effect = 'pure' | 'io' | 'state' | 'async' | 'network' | 'database' | 'llm_call' | 'human_interaction' | 'file_system' | 'random' | 'exception';
+export interface EffectSet {
+    effects: Set<Effect>;
+}
+export interface FunctionSignatureWithEffects {
+    name: string;
+    params: AST.Parameter[];
+    returnType: AST.TypeAnnotation | null;
+    effects: EffectSet;
+    annotations: AST.Annotation[];
+}
+export declare class EffectInferenceEngine {
+    private functionEffects;
+    /**
+     * Infer effects from function body
+     */
+    inferEffects(func: AST.FunctionDeclaration): EffectSet;
+    private analyzeNode;
+    private analyzeCallExpression;
+    /**
+     * Check if function effects are compatible with declared effects
+     */
+    validateEffects(func: AST.FunctionDeclaration, inferredEffects: EffectSet): {
+        valid: boolean;
+        violations: string[];
+    };
+    /**
+     * Combine effects from multiple functions (for composition)
+     */
+    combineEffects(effects1: EffectSet, effects2: EffectSet): EffectSet;
+    /**
+     * Check if function is pure (no effects)
+     */
+    isPure(effectSet: EffectSet): boolean;
+}
+export interface EffectHandler<E extends Effect> {
+    effect: E;
+    handle: (operation: any) => any;
+}
+export declare class EffectHandlerRegistry {
+    private handlers;
+    register<E extends Effect>(handler: EffectHandler<E>): void;
+    get<E extends Effect>(effect: E): EffectHandler<E> | undefined;
+    /**
+     * Execute function with custom effect handlers
+     */
+    withHandlers<T>(fn: () => T, handlers: EffectHandler<any>[]): Promise<T>;
+}
+export declare const consoleHandler: EffectHandler<'io'>;
+export declare const mockDatabaseHandler: EffectHandler<'database'>;
+export declare class EffectCostTracker {
+    private costs;
+    estimateCost(effectSet: EffectSet): number;
+    setCost(effect: Effect, cost: number): void;
+}
+export declare const effectInference: EffectInferenceEngine;
+export declare const effectHandlers: EffectHandlerRegistry;
+export declare const effectCostTracker: EffectCostTracker;
+//# sourceMappingURL=effect-system.d.ts.map

package/dist/effects/effect-system.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-system.d.ts","sourceRoot":"","sources":["../../src/effects/effect-system.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAGhC,MAAM,MAAM,MAAM,GACd,MAAM,GACN,IAAI,GACJ,OAAO,GACP,OAAO,GACP,SAAS,GACT,UAAU,GACV,UAAU,GACV,mBAAmB,GACnB,aAAa,GACb,QAAQ,GACR,WAAW,CAAC;AAGhB,MAAM,WAAW,SAAS;IACxB,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CACtB;AAGD,MAAM,WAAW,4BAA4B;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC;IACxB,UAAU,EAAE,GAAG,CAAC,cAAc,GAAG,IAAI,CAAC;IACtC,OAAO,EAAE,SAAS,CAAC;IACnB,WAAW,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC;CAC/B;AAGD,qBAAa,qBAAqB;IAChC,OAAO,CAAC,eAAe,CAAgC;IAEvD;;OAEG;IACH,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,mBAAmB,GAAG,SAAS;IAoBtD,OAAO,CAAC,WAAW;IAqBnB,OAAO,CAAC,qBAAqB;IAiC7B;;OAEG;IACH,eAAe,CACb,IAAI,EAAE,GAAG,CAAC,mBAAmB,EAC7B,eAAe,EAAE,SAAS,GACzB;QAAE,KAAK,EAAE,OAAO,CAAC;QAAC,UAAU,EAAE,MAAM,EAAE,CAAA;KAAE;IAgC3C;;OAEG;IACH,cAAc,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,GAAG,SAAS;IAQnE;;OAEG;IACH,MAAM,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO;CAItC;AAGD,MAAM,WAAW,aAAa,CAAC,CAAC,SAAS,MAAM;IAC7C,MAAM,EAAE,CAAC,CAAC;IACV,MAAM,EAAE,CAAC,SAAS,EAAE,GAAG,KAAK,GAAG,CAAC;CACjC;AAED,qBAAa,qBAAqB;IAChC,OAAO,CAAC,QAAQ,CAAyC;IAEzD,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,GAAG,IAAI;IAI3D,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,SAAS;IAI9D;;OAEG;IACG,YAAY,CAAC,CAAC,EAClB,EAAE,EAAE,MAAM,CAAC,EACX,QAAQ,EAAE,aAAa,CAAC,GAAG,CAAC,EAAE,GAC7B,OAAO,CAAC,CAAC,CAAC;CAWd;AAGD,eAAO,MAAM,cAAc,EAAE,aAAa,CAAC,IAAI,CAK9C,CAAC;AAEF,eAAO,MAAM,mBAAmB,EAAE,aAAa,CAAC,UAAU,CAMzD,CAAC;AAGF,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,KAAK,CAYX;IAEF,YAAY,CAAC,SAAS,EAAE,SAAS,GAAG,MAAM;IAQ1C,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;CAG5C;AAGD,eAAO,MAAM,eAAe,uBAA8B,CAAC;AAC3D,eAAO,MAAM,cAAc,uBAA8B,CAAC;AAC1D,eAAO,MAAM,iBAAiB,mBAA0B,CAAC"}