@aster-cloud/aster-lang-ts 0.0.1

package/dist/src/cst/cst_printer.js

@@ -0,0 +1,47 @@
+function reflowSeams(text) {
+    let s = text;
+    // Collapse '. :' → ':' (optionally with spaces)
+    s = s.replace(/\.\s*:/g, ':');
+    // Remove spaces before punctuation ., : ! ? ;
+    s = s.replace(/\s+([.,:!?;])/g, '$1');
+    // Trim trailing spaces at end of lines
+    s = s.replace(/[ \t]+(?=\n)/g, '');
+    // Ensure at most one trailing newline
+    s = s.replace(/\n+$/g, '\n');
+    return s;
+}
+// Lossless CST printer: re-emit the original bytes using token offsets and the
+// captured fullText. Falls back to concatenating token lexemes with leading /
+// trailing trivia if fullText is not present.
+export function printCNLFromCst(mod, opts) {
+    const tokens = mod.tokens || [];
+    const src = mod.fullText;
+    if (src && tokens.length > 0) {
+        let out = '';
+        // Leading trivia
+        out += src.slice(0, tokens[0].startOffset);
+        for (let i = 0; i < tokens.length; i++) {
+            const prevEnd = i === 0 ? tokens[0].startOffset : tokens[i - 1].endOffset;
+            const cur = tokens[i];
+            out += src.slice(prevEnd, cur.startOffset); // inter-token trivia
+            out += src.slice(cur.startOffset, cur.endOffset); // token lexeme
+        }
+        // Trailing trivia
+        out += src.slice(tokens[tokens.length - 1].endOffset);
+        return opts?.reflow ? reflowSeams(out) : out;
+    }
+    // Fallback path (no fullText): stitch together leading + lexemes + trailing
+    let out = mod.leading?.text ?? '';
+    out += tokens.map(t => t.lexeme).join('');
+    out += mod.trailing?.text ?? '';
+    return opts?.reflow ? reflowSeams(out) : out;
+}
+// Print a range from the original source using offsets from the same text used
+// to build the CST. If reflow is requested, apply the minimal seam fixes within
+// the slice only (does not adjust surrounding context).
+export function printRangeFromCst(mod, startOffset, endOffset, opts) {
+    const src = mod.fullText || '';
+    const slice = src.slice(startOffset, endOffset);
+    return opts?.reflow ? reflowSeams(slice) : slice;
+}
+//# sourceMappingURL=cst_printer.js.map

package/dist/src/cst/cst_printer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cst_printer.js","sourceRoot":"","sources":["../../../src/cst/cst_printer.ts"],"names":[],"mappings":"AAEA,SAAS,WAAW,CAAC,IAAY;IAC/B,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,gDAAgD;IAChD,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IAC9B,8CAA8C;IAC9C,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC;IACtC,uCAAuC;IACvC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IACnC,sCAAsC;IACtC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC7B,OAAO,CAAC,CAAC;AACX,CAAC;AAED,+EAA+E;AAC/E,8EAA8E;AAC9E,8CAA8C;AAC9C,MAAM,UAAU,eAAe,CAAC,GAAc,EAAE,IAA2B;IACzE,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC;IAChC,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,CAAC;IACzB,IAAI,GAAG,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,IAAI,GAAG,GAAG,EAAE,CAAC;QACb,iBAAiB;QACjB,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAE,CAAC,WAAW,CAAC,CAAC;QAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,SAAS,CAAC;YAC5E,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;YACvB,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,qBAAqB;YACjE,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe;QACnE,CAAC;QACD,kBAAkB;QAClB,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,SAAS,CAAC,CAAC;QACvD,OAAO,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IAC/C,CAAC;IACD,4EAA4E;IAC5E,IAAI,GAAG,GAAG,GAAG,CAAC,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC;IAClC,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1C,GAAG,IAAI,GAAG,CAAC,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC;IAChC,OAAO,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;AAC/C,CAAC;AAED,+EAA+E;AAC/E,gFAAgF;AAChF,wDAAwD;AACxD,MAAM,UAAU,iBAAiB,CAC/B,GAAc,EACd,WAAmB,EACnB,SAAiB,EACjB,IAA2B;IAE3B,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IAChD,OAAO,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AACnD,CAAC"}

package/dist/src/cst/index.d.ts

@@ -0,0 +1,14 @@
+/**
+ * @module cst
+ *
+ * CST（具体语法树）模块。
+ *
+ * 包含：
+ * - CST 类型定义 (CstModule, CstToken)
+ * - CST 构建器 (buildCst, buildCstLossless)
+ * - CST 打印器 (printCNLFromCst)
+ */
+export type { CstModule, CstToken, InlineComment, Trivia } from './cst.js';
+export { buildCst, buildCstLossless } from './cst_builder.js';
+export { printCNLFromCst, printRangeFromCst } from './cst_printer.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/src/cst/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/cst/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAC3E,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/src/cst/index.js

@@ -0,0 +1,13 @@
+/**
+ * @module cst
+ *
+ * CST（具体语法树）模块。
+ *
+ * 包含：
+ * - CST 类型定义 (CstModule, CstToken)
+ * - CST 构建器 (buildCst, buildCstLossless)
+ * - CST 打印器 (printCNLFromCst)
+ */
+export { buildCst, buildCstLossless } from './cst_builder.js';
+export { printCNLFromCst, printRangeFromCst } from './cst_printer.js';
+//# sourceMappingURL=index.js.map

package/dist/src/cst/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/cst/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/src/diagnostics/diagnostics.d.ts

@@ -0,0 +1,138 @@
+import type { Position, Span } from '../types.js';
+export declare enum DiagnosticSeverity {
+    Error = "error",
+    Warning = "warning",
+    Info = "info",
+    Hint = "hint"
+}
+export declare enum DiagnosticCode {
+    L001_UnexpectedCharacter = "L001",
+    L002_UnterminatedString = "L002",
+    L003_InvalidIndentation = "L003",
+    L004_InconsistentDedent = "L004",
+    L101_UnknownDeclKind = "L101",
+    L102_UnknownEffect = "L102",
+    L103_UnknownStmtKind = "L103",
+    L104_UnknownExprKind = "L104",
+    L105_UnknownPatternKind = "L105",
+    L106_UnknownTypeKind = "L106",
+    P001_ExpectedIdentifier = "P001",
+    P002_ExpectedTypeIdentifier = "P002",
+    P003_ExpectedToken = "P003",
+    P004_ExpectedKeyword = "P004",
+    P005_UnexpectedToken = "P005",
+    P006_ExpectedPunctuation = "P006",
+    P007_ExpectedExpression = "P007",
+    P008_ExpectedType = "P008",
+    P009_ExpectedPattern = "P009",
+    P010_ExpectedIndent = "P010",
+    P011_ExpectedDedent = "P011",
+    P012_IncompleteConstruction = "P012",
+    P013_MissingFunctionBody = "P013",
+    P014_InvalidEffectClause = "P014",
+    S001_UndefinedVariable = "S001",
+    S002_TypeMismatch = "S002",
+    S003_DuplicateDefinition = "S003",
+    S004_UnreachableCode = "S004",
+    S005_MissingReturn = "S005",
+    S006_NonExhaustiveMatch = "S006",
+    S007_InvalidEffectUsage = "S007",
+    W001_UnusedVariable = "W001",
+    W002_PreferredSyntax = "W002",
+    W003_RedundantCode = "W003",
+    M001_ManifestParseError = "M001",
+    M002_ManifestFileNotFound = "M002",
+    M003_InvalidPackageName = "M003",
+    M004_InvalidVersion = "M004",
+    M005_InvalidVersionConstraint = "M005",
+    M006_InvalidEffectName = "M006",
+    M007_UnknownManifestField = "M007",
+    M008_InvalidCapability = "M008",
+    R001_NetworkError = "R001",
+    R002_RateLimitExceeded = "R002",
+    R003_PackageNotFoundOnGitHub = "R003",
+    R004_DownloadFailed = "R004",
+    R005_InvalidReleaseFormat = "R005",
+    R006_AuthenticationFailed = "R006",
+    R007_InvalidResponse = "R007",
+    C001_CacheCorrupted = "C001",
+    C002_ExtractionFailed = "C002",
+    C003_DiskSpaceInsufficient = "C003",
+    C004_ManifestMissing = "C004",
+    C005_CacheExpired = "C005",
+    C006_InvalidCacheMetadata = "C006",
+    C007_CacheWriteFailed = "C007",
+    V001_DependencyResolutionTimeout = "V001",
+    V002_VersionConflictUnresolvable = "V002",
+    V003_PackageNotFound = "V003",
+    /** @deprecated Use V001_DependencyResolutionTimeout */
+    DEPENDENCY_RESOLUTION_TIMEOUT = "V001",
+    /** @deprecated Use V002_VersionConflictUnresolvable */
+    VERSION_CONFLICT_UNRESOLVABLE = "V002",
+    /** @deprecated Use V003_PackageNotFound */
+    PACKAGE_NOT_FOUND = "V003"
+}
+export interface FixIt {
+    readonly description: string;
+    readonly span: Span;
+    readonly replacement: string;
+}
+export interface Diagnostic {
+    readonly severity: DiagnosticSeverity;
+    readonly code: DiagnosticCode;
+    readonly message: string;
+    readonly span: Span;
+    readonly fixIts?: readonly FixIt[];
+    readonly relatedInformation?: readonly {
+        readonly span: Span;
+        readonly message: string;
+    }[];
+}
+export declare class DiagnosticError extends Error {
+    readonly diagnostic: Diagnostic;
+    constructor(diagnostic: Diagnostic);
+    get pos(): Position;
+}
+export declare class DiagnosticBuilder {
+    private severity;
+    private code?;
+    private message?;
+    private span?;
+    private fixIts;
+    private relatedInformation;
+    static error(code: DiagnosticCode): DiagnosticBuilder;
+    static warning(code: DiagnosticCode): DiagnosticBuilder;
+    static info(code: DiagnosticCode): DiagnosticBuilder;
+    withSeverity(severity: DiagnosticSeverity): DiagnosticBuilder;
+    withCode(code: DiagnosticCode): DiagnosticBuilder;
+    withMessage(message: string): DiagnosticBuilder;
+    withSpan(span: Span): DiagnosticBuilder;
+    withPosition(pos: Position): DiagnosticBuilder;
+    withFixIt(description: string, span: Span, replacement: string): DiagnosticBuilder;
+    withRelated(span: Span, message: string): DiagnosticBuilder;
+    build(): Diagnostic;
+    throw(): never;
+}
+export declare const Diagnostics: {
+    expectedIdentifier: (pos: Position) => DiagnosticBuilder;
+    expectedToken: (expected: string, actual: string, pos: Position) => DiagnosticBuilder;
+    expectedKeyword: (keyword: string, pos: Position) => DiagnosticBuilder;
+    unexpectedToken: (token: string, pos: Position) => DiagnosticBuilder;
+    expectedPunctuation: (punct: string, pos: Position, fixIt?: {
+        span: Span;
+        replacement: string;
+    }) => DiagnosticBuilder;
+    unterminatedString: (pos: Position) => DiagnosticBuilder;
+    invalidIndentation: (pos: Position) => DiagnosticBuilder;
+    inconsistentDedent: (pos: Position) => DiagnosticBuilder;
+    unexpectedCharacter: (char: string, pos: Position) => DiagnosticBuilder;
+    unknownDeclKind: (kind: string, pos: Position) => DiagnosticBuilder;
+    unknownEffect: (effect: string, validEffects: string, pos: Position) => DiagnosticBuilder;
+    unknownStmtKind: (kind: string, pos: Position) => DiagnosticBuilder;
+    unknownExprKind: (kind: string, pos: Position) => DiagnosticBuilder;
+    unknownPatternKind: (kind: string, pos: Position) => DiagnosticBuilder;
+    unknownTypeKind: (kind: string, pos: Position) => DiagnosticBuilder;
+};
+export declare function formatDiagnostic(diagnostic: Diagnostic, source?: string): string;
+export declare function dummyPosition(): Position;
+//# sourceMappingURL=diagnostics.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../../../src/diagnostics/diagnostics.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAElD,oBAAY,kBAAkB;IAC5B,KAAK,UAAU;IACf,OAAO,YAAY;IACnB,IAAI,SAAS;IACb,IAAI,SAAS;CACd;AAED,oBAAY,cAAc;IAExB,wBAAwB,SAAS;IACjC,uBAAuB,SAAS;IAChC,uBAAuB,SAAS;IAChC,uBAAuB,SAAS;IAGhC,oBAAoB,SAAS;IAC7B,kBAAkB,SAAS;IAC3B,oBAAoB,SAAS;IAC7B,oBAAoB,SAAS;IAC7B,uBAAuB,SAAS;IAChC,oBAAoB,SAAS;IAG7B,uBAAuB,SAAS;IAChC,2BAA2B,SAAS;IACpC,kBAAkB,SAAS;IAC3B,oBAAoB,SAAS;IAC7B,oBAAoB,SAAS;IAC7B,wBAAwB,SAAS;IACjC,uBAAuB,SAAS;IAChC,iBAAiB,SAAS;IAC1B,oBAAoB,SAAS;IAC7B,mBAAmB,SAAS;IAC5B,mBAAmB,SAAS;IAC5B,2BAA2B,SAAS;IACpC,wBAAwB,SAAS;IACjC,wBAAwB,SAAS;IAGjC,sBAAsB,SAAS;IAC/B,iBAAiB,SAAS;IAC1B,wBAAwB,SAAS;IACjC,oBAAoB,SAAS;IAC7B,kBAAkB,SAAS;IAC3B,uBAAuB,SAAS;IAChC,uBAAuB,SAAS;IAGhC,mBAAmB,SAAS;IAC5B,oBAAoB,SAAS;IAC7B,kBAAkB,SAAS;IAG3B,uBAAuB,SAAS;IAChC,yBAAyB,SAAS;IAClC,uBAAuB,SAAS;IAChC,mBAAmB,SAAS;IAC5B,6BAA6B,SAAS;IACtC,sBAAsB,SAAS;IAC/B,yBAAyB,SAAS;IAClC,sBAAsB,SAAS;IAG/B,iBAAiB,SAAS;IAC1B,sBAAsB,SAAS;IAC/B,4BAA4B,SAAS;IACrC,mBAAmB,SAAS;IAC5B,yBAAyB,SAAS;IAClC,yBAAyB,SAAS;IAClC,oBAAoB,SAAS;IAG7B,mBAAmB,SAAS;IAC5B,qBAAqB,SAAS;IAC9B,0BAA0B,SAAS;IACnC,oBAAoB,SAAS;IAC7B,iBAAiB,SAAS;IAC1B,yBAAyB,SAAS;IAClC,qBAAqB,SAAS;IAG9B,gCAAgC,SAAS;IACzC,gCAAgC,SAAS;IACzC,oBAAoB,SAAS;IAG7B,uDAAuD;IACvD,6BAA6B,SAAS;IACtC,uDAAuD;IACvD,6BAA6B,SAAS;IACtC,2CAA2C;IAC3C,iBAAiB,SAAS;CAC3B;AAED,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,KAAK,EAAE,CAAC;IACnC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS;QACrC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;QACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;KAC1B,EAAE,CAAC;CACL;AAED,qBAAa,eAAgB,SAAQ,KAAK;IACxC,SAAgB,UAAU,EAAE,UAAU,CAAC;gBAE3B,UAAU,EAAE,UAAU;IAOlC,IAAI,GAAG,IAAI,QAAQ,CAElB;CACF;AAED,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,QAAQ,CAAgD;IAChE,OAAO,CAAC,IAAI,CAAC,CAAiB;IAC9B,OAAO,CAAC,OAAO,CAAC,CAAS;IACzB,OAAO,CAAC,IAAI,CAAC,CAAO;IACpB,OAAO,CAAC,MAAM,CAAe;IAC7B,OAAO,CAAC,kBAAkB,CAA8C;IAExE,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,cAAc,GAAG,iBAAiB;IAIrD,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,cAAc,GAAG,iBAAiB;IAIvD,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,GAAG,iBAAiB;IAIpD,YAAY,CAAC,QAAQ,EAAE,kBAAkB,GAAG,iBAAiB;IAK7D,QAAQ,CAAC,IAAI,EAAE,cAAc,GAAG,iBAAiB;IAKjD,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,iBAAiB;IAK/C,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,iBAAiB;IAKvC,YAAY,CAAC,GAAG,EAAE,QAAQ,GAAG,iBAAiB;IAK9C,SAAS,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,GAAG,iBAAiB;IAKlF,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,GAAG,iBAAiB;IAK3D,KAAK,IAAI,UAAU;IA8BnB,KAAK,IAAI,KAAK;CAGf;AAGD,eAAO,MAAM,WAAW;8BACI,QAAQ,KAAG,iBAAiB;8BAK5B,MAAM,UAAU,MAAM,OAAO,QAAQ,KAAG,iBAAiB;+BAKxD,MAAM,OAAO,QAAQ,KAAG,iBAAiB;6BAK3C,MAAM,OAAO,QAAQ,KAAG,iBAAiB;iCAMzD,MAAM,OACR,QAAQ,UACL;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,KAC1C,iBAAiB;8BAYM,QAAQ,KAAG,iBAAiB;8BAK5B,QAAQ,KAAG,iBAAiB;8BAM5B,QAAQ,KAAG,iBAAiB;gCAK1B,MAAM,OAAO,QAAQ,KAAG,iBAAiB;4BAM7C,MAAM,OAAO,QAAQ,KAAG,iBAAiB;4BAKzC,MAAM,gBAAgB,MAAM,OAAO,QAAQ,KAAG,iBAAiB;4BAK/D,MAAM,OAAO,QAAQ,KAAG,iBAAiB;4BAKzC,MAAM,OAAO,QAAQ,KAAG,iBAAiB;+BAKtC,MAAM,OAAO,QAAQ,KAAG,iBAAiB;4BAK5C,MAAM,OAAO,QAAQ,KAAG,iBAAiB;CAIlE,CAAC;AAGF,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAuBhF;AAGD,wBAAgB,aAAa,IAAI,QAAQ,CAExC"}

package/dist/src/diagnostics/diagnostics.js

@@ -0,0 +1,249 @@
+// Structured diagnostics with error codes, spans, and fix-its
+export var DiagnosticSeverity;
+(function (DiagnosticSeverity) {
+    DiagnosticSeverity["Error"] = "error";
+    DiagnosticSeverity["Warning"] = "warning";
+    DiagnosticSeverity["Info"] = "info";
+    DiagnosticSeverity["Hint"] = "hint";
+})(DiagnosticSeverity || (DiagnosticSeverity = {}));
+export var DiagnosticCode;
+(function (DiagnosticCode) {
+    // Lexer errors (L001-L099)
+    DiagnosticCode["L001_UnexpectedCharacter"] = "L001";
+    DiagnosticCode["L002_UnterminatedString"] = "L002";
+    DiagnosticCode["L003_InvalidIndentation"] = "L003";
+    DiagnosticCode["L004_InconsistentDedent"] = "L004";
+    // Lowering errors (L101-L199)
+    DiagnosticCode["L101_UnknownDeclKind"] = "L101";
+    DiagnosticCode["L102_UnknownEffect"] = "L102";
+    DiagnosticCode["L103_UnknownStmtKind"] = "L103";
+    DiagnosticCode["L104_UnknownExprKind"] = "L104";
+    DiagnosticCode["L105_UnknownPatternKind"] = "L105";
+    DiagnosticCode["L106_UnknownTypeKind"] = "L106";
+    // Parser errors (P001-P199)
+    DiagnosticCode["P001_ExpectedIdentifier"] = "P001";
+    DiagnosticCode["P002_ExpectedTypeIdentifier"] = "P002";
+    DiagnosticCode["P003_ExpectedToken"] = "P003";
+    DiagnosticCode["P004_ExpectedKeyword"] = "P004";
+    DiagnosticCode["P005_UnexpectedToken"] = "P005";
+    DiagnosticCode["P006_ExpectedPunctuation"] = "P006";
+    DiagnosticCode["P007_ExpectedExpression"] = "P007";
+    DiagnosticCode["P008_ExpectedType"] = "P008";
+    DiagnosticCode["P009_ExpectedPattern"] = "P009";
+    DiagnosticCode["P010_ExpectedIndent"] = "P010";
+    DiagnosticCode["P011_ExpectedDedent"] = "P011";
+    DiagnosticCode["P012_IncompleteConstruction"] = "P012";
+    DiagnosticCode["P013_MissingFunctionBody"] = "P013";
+    DiagnosticCode["P014_InvalidEffectClause"] = "P014";
+    // Semantic errors (S001-S199)
+    DiagnosticCode["S001_UndefinedVariable"] = "S001";
+    DiagnosticCode["S002_TypeMismatch"] = "S002";
+    DiagnosticCode["S003_DuplicateDefinition"] = "S003";
+    DiagnosticCode["S004_UnreachableCode"] = "S004";
+    DiagnosticCode["S005_MissingReturn"] = "S005";
+    DiagnosticCode["S006_NonExhaustiveMatch"] = "S006";
+    DiagnosticCode["S007_InvalidEffectUsage"] = "S007";
+    // Style warnings (W001-W099)
+    DiagnosticCode["W001_UnusedVariable"] = "W001";
+    DiagnosticCode["W002_PreferredSyntax"] = "W002";
+    DiagnosticCode["W003_RedundantCode"] = "W003";
+    // Manifest/Package errors (M001-M099)
+    DiagnosticCode["M001_ManifestParseError"] = "M001";
+    DiagnosticCode["M002_ManifestFileNotFound"] = "M002";
+    DiagnosticCode["M003_InvalidPackageName"] = "M003";
+    DiagnosticCode["M004_InvalidVersion"] = "M004";
+    DiagnosticCode["M005_InvalidVersionConstraint"] = "M005";
+    DiagnosticCode["M006_InvalidEffectName"] = "M006";
+    DiagnosticCode["M007_UnknownManifestField"] = "M007";
+    DiagnosticCode["M008_InvalidCapability"] = "M008";
+    // Package Registry errors (R001-R099)
+    DiagnosticCode["R001_NetworkError"] = "R001";
+    DiagnosticCode["R002_RateLimitExceeded"] = "R002";
+    DiagnosticCode["R003_PackageNotFoundOnGitHub"] = "R003";
+    DiagnosticCode["R004_DownloadFailed"] = "R004";
+    DiagnosticCode["R005_InvalidReleaseFormat"] = "R005";
+    DiagnosticCode["R006_AuthenticationFailed"] = "R006";
+    DiagnosticCode["R007_InvalidResponse"] = "R007";
+    // Package Cache errors (C001-C099)
+    DiagnosticCode["C001_CacheCorrupted"] = "C001";
+    DiagnosticCode["C002_ExtractionFailed"] = "C002";
+    DiagnosticCode["C003_DiskSpaceInsufficient"] = "C003";
+    DiagnosticCode["C004_ManifestMissing"] = "C004";
+    DiagnosticCode["C005_CacheExpired"] = "C005";
+    DiagnosticCode["C006_InvalidCacheMetadata"] = "C006";
+    DiagnosticCode["C007_CacheWriteFailed"] = "C007";
+    // Version resolver errors (V001-V099)
+    DiagnosticCode["V001_DependencyResolutionTimeout"] = "V001";
+    DiagnosticCode["V002_VersionConflictUnresolvable"] = "V002";
+    DiagnosticCode["V003_PackageNotFound"] = "V003";
+    // Deprecated - use V001-V003 instead
+    /** @deprecated Use V001_DependencyResolutionTimeout */
+    DiagnosticCode["DEPENDENCY_RESOLUTION_TIMEOUT"] = "V001";
+    /** @deprecated Use V002_VersionConflictUnresolvable */
+    DiagnosticCode["VERSION_CONFLICT_UNRESOLVABLE"] = "V002";
+    /** @deprecated Use V003_PackageNotFound */
+    DiagnosticCode["PACKAGE_NOT_FOUND"] = "V003";
+})(DiagnosticCode || (DiagnosticCode = {}));
+export class DiagnosticError extends Error {
+    diagnostic;
+    constructor(diagnostic) {
+        super(diagnostic.message);
+        this.diagnostic = diagnostic;
+        this.name = 'DiagnosticError';
+    }
+    // For backward compatibility with existing error handling
+    get pos() {
+        return this.diagnostic.span.start;
+    }
+}
+export class DiagnosticBuilder {
+    severity = DiagnosticSeverity.Error;
+    code;
+    message;
+    span;
+    fixIts = [];
+    relatedInformation = [];
+    static error(code) {
+        return new DiagnosticBuilder().withSeverity(DiagnosticSeverity.Error).withCode(code);
+    }
+    static warning(code) {
+        return new DiagnosticBuilder().withSeverity(DiagnosticSeverity.Warning).withCode(code);
+    }
+    static info(code) {
+        return new DiagnosticBuilder().withSeverity(DiagnosticSeverity.Info).withCode(code);
+    }
+    withSeverity(severity) {
+        this.severity = severity;
+        return this;
+    }
+    withCode(code) {
+        this.code = code;
+        return this;
+    }
+    withMessage(message) {
+        this.message = message;
+        return this;
+    }
+    withSpan(span) {
+        this.span = span;
+        return this;
+    }
+    withPosition(pos) {
+        this.span = { start: pos, end: pos };
+        return this;
+    }
+    withFixIt(description, span, replacement) {
+        this.fixIts.push({ description, span, replacement });
+        return this;
+    }
+    withRelated(span, message) {
+        this.relatedInformation.push({ span, message });
+        return this;
+    }
+    build() {
+        if (!this.code)
+            throw new Error('Diagnostic code is required');
+        if (!this.message)
+            throw new Error('Diagnostic message is required');
+        if (!this.span)
+            throw new Error('Diagnostic span is required');
+        const diagnostic = {
+            severity: this.severity,
+            code: this.code,
+            message: this.message,
+            span: this.span,
+        };
+        if (this.fixIts.length > 0) {
+            diagnostic.fixIts = this.fixIts;
+        }
+        if (this.relatedInformation.length > 0) {
+            diagnostic.relatedInformation = this.relatedInformation;
+        }
+        return diagnostic;
+    }
+    throw() {
+        throw new DiagnosticError(this.build());
+    }
+}
+// Common diagnostic patterns
+export const Diagnostics = {
+    expectedIdentifier: (pos) => DiagnosticBuilder.error(DiagnosticCode.P001_ExpectedIdentifier)
+        .withMessage('Expected identifier')
+        .withPosition(pos),
+    expectedToken: (expected, actual, pos) => DiagnosticBuilder.error(DiagnosticCode.P003_ExpectedToken)
+        .withMessage(`Expected '${expected}', got '${actual}'`)
+        .withPosition(pos),
+    expectedKeyword: (keyword, pos) => DiagnosticBuilder.error(DiagnosticCode.P004_ExpectedKeyword)
+        .withMessage(`Expected keyword '${keyword}'`)
+        .withPosition(pos),
+    unexpectedToken: (token, pos) => DiagnosticBuilder.error(DiagnosticCode.P005_UnexpectedToken)
+        .withMessage(`Unexpected token '${token}'`)
+        .withPosition(pos),
+    expectedPunctuation: (punct, pos, fixIt) => {
+        const builder = DiagnosticBuilder.error(DiagnosticCode.P006_ExpectedPunctuation)
+            .withMessage(`Expected '${punct}'`)
+            .withPosition(pos);
+        if (fixIt) {
+            builder.withFixIt(`Add '${punct}'`, fixIt.span, fixIt.replacement);
+        }
+        return builder;
+    },
+    unterminatedString: (pos) => DiagnosticBuilder.error(DiagnosticCode.L002_UnterminatedString)
+        .withMessage('Unterminated string literal')
+        .withPosition(pos),
+    invalidIndentation: (pos) => DiagnosticBuilder.error(DiagnosticCode.L003_InvalidIndentation)
+        .withMessage('Indentation must be multiples of 2 spaces')
+        .withPosition(pos)
+        .withFixIt('Use 2-space indentation', { start: pos, end: pos }, '  '),
+    inconsistentDedent: (pos) => DiagnosticBuilder.error(DiagnosticCode.L004_InconsistentDedent)
+        .withMessage('Inconsistent dedent level')
+        .withPosition(pos),
+    unexpectedCharacter: (char, pos) => DiagnosticBuilder.error(DiagnosticCode.L001_UnexpectedCharacter)
+        .withMessage(`Unexpected character '${char}'`)
+        .withPosition(pos),
+    // Lowering errors
+    unknownDeclKind: (kind, pos) => DiagnosticBuilder.error(DiagnosticCode.L101_UnknownDeclKind)
+        .withMessage(`Unknown declaration kind: ${kind}`)
+        .withPosition(pos),
+    unknownEffect: (effect, validEffects, pos) => DiagnosticBuilder.error(DiagnosticCode.L102_UnknownEffect)
+        .withMessage(`未知的 effect '${effect}'，有效值为：${validEffects}`)
+        .withPosition(pos),
+    unknownStmtKind: (kind, pos) => DiagnosticBuilder.error(DiagnosticCode.L103_UnknownStmtKind)
+        .withMessage(`lowerStmt: 未处理的语句类型 '${kind}'`)
+        .withPosition(pos),
+    unknownExprKind: (kind, pos) => DiagnosticBuilder.error(DiagnosticCode.L104_UnknownExprKind)
+        .withMessage(`Unknown expression kind: ${kind}`)
+        .withPosition(pos),
+    unknownPatternKind: (kind, pos) => DiagnosticBuilder.error(DiagnosticCode.L105_UnknownPatternKind)
+        .withMessage(`Unknown pattern kind: ${kind}`)
+        .withPosition(pos),
+    unknownTypeKind: (kind, pos) => DiagnosticBuilder.error(DiagnosticCode.L106_UnknownTypeKind)
+        .withMessage(`Unknown type kind: ${kind}`)
+        .withPosition(pos),
+};
+// Utility to format diagnostics for display
+export function formatDiagnostic(diagnostic, source) {
+    const { severity, code, message, span } = diagnostic;
+    const pos = `${span.start.line}:${span.start.col}`;
+    let result = `${severity} ${code}: ${message} at ${pos}`;
+    if (source && diagnostic.fixIts && diagnostic.fixIts.length > 0) {
+        result += '\n\nSuggested fixes:';
+        for (const fixIt of diagnostic.fixIts) {
+            result += `\n  - ${fixIt.description}: "${fixIt.replacement}"`;
+        }
+    }
+    if (source) {
+        const lines = source.split(/\r?\n/);
+        const line = lines[span.start.line - 1];
+        if (line) {
+            result += `\n> ${span.start.line}| ${line}`;
+            result += `\n> ${' '.repeat(String(span.start.line).length)}  ${' '.repeat(span.start.col - 1)}^`;
+        }
+    }
+    return result;
+}
+// Utility to create a dummy position for diagnostics without source location
+export function dummyPosition() {
+    return { line: 1, col: 1 };
+}
+//# sourceMappingURL=diagnostics.js.map

package/dist/src/diagnostics/diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../../../src/diagnostics/diagnostics.ts"],"names":[],"mappings":"AAAA,8DAA8D;AAI9D,MAAM,CAAN,IAAY,kBAKX;AALD,WAAY,kBAAkB;IAC5B,qCAAe,CAAA;IACf,yCAAmB,CAAA;IACnB,mCAAa,CAAA;IACb,mCAAa,CAAA;AACf,CAAC,EALW,kBAAkB,KAAlB,kBAAkB,QAK7B;AAED,MAAM,CAAN,IAAY,cAqFX;AArFD,WAAY,cAAc;IACxB,2BAA2B;IAC3B,mDAAiC,CAAA;IACjC,kDAAgC,CAAA;IAChC,kDAAgC,CAAA;IAChC,kDAAgC,CAAA;IAEhC,8BAA8B;IAC9B,+CAA6B,CAAA;IAC7B,6CAA2B,CAAA;IAC3B,+CAA6B,CAAA;IAC7B,+CAA6B,CAAA;IAC7B,kDAAgC,CAAA;IAChC,+CAA6B,CAAA;IAE7B,4BAA4B;IAC5B,kDAAgC,CAAA;IAChC,sDAAoC,CAAA;IACpC,6CAA2B,CAAA;IAC3B,+CAA6B,CAAA;IAC7B,+CAA6B,CAAA;IAC7B,mDAAiC,CAAA;IACjC,kDAAgC,CAAA;IAChC,4CAA0B,CAAA;IAC1B,+CAA6B,CAAA;IAC7B,8CAA4B,CAAA;IAC5B,8CAA4B,CAAA;IAC5B,sDAAoC,CAAA;IACpC,mDAAiC,CAAA;IACjC,mDAAiC,CAAA;IAEjC,8BAA8B;IAC9B,iDAA+B,CAAA;IAC/B,4CAA0B,CAAA;IAC1B,mDAAiC,CAAA;IACjC,+CAA6B,CAAA;IAC7B,6CAA2B,CAAA;IAC3B,kDAAgC,CAAA;IAChC,kDAAgC,CAAA;IAEhC,6BAA6B;IAC7B,8CAA4B,CAAA;IAC5B,+CAA6B,CAAA;IAC7B,6CAA2B,CAAA;IAE3B,sCAAsC;IACtC,kDAAgC,CAAA;IAChC,oDAAkC,CAAA;IAClC,kDAAgC,CAAA;IAChC,8CAA4B,CAAA;IAC5B,wDAAsC,CAAA;IACtC,iDAA+B,CAAA;IAC/B,oDAAkC,CAAA;IAClC,iDAA+B,CAAA;IAE/B,sCAAsC;IACtC,4CAA0B,CAAA;IAC1B,iDAA+B,CAAA;IAC/B,uDAAqC,CAAA;IACrC,8CAA4B,CAAA;IAC5B,oDAAkC,CAAA;IAClC,oDAAkC,CAAA;IAClC,+CAA6B,CAAA;IAE7B,mCAAmC;IACnC,8CAA4B,CAAA;IAC5B,gDAA8B,CAAA;IAC9B,qDAAmC,CAAA;IACnC,+CAA6B,CAAA;IAC7B,4CAA0B,CAAA;IAC1B,oDAAkC,CAAA;IAClC,gDAA8B,CAAA;IAE9B,sCAAsC;IACtC,2DAAyC,CAAA;IACzC,2DAAyC,CAAA;IACzC,+CAA6B,CAAA;IAE7B,qCAAqC;IACrC,uDAAuD;IACvD,wDAAsC,CAAA;IACtC,uDAAuD;IACvD,wDAAsC,CAAA;IACtC,2CAA2C;IAC3C,4CAA0B,CAAA;AAC5B,CAAC,EArFW,cAAc,KAAd,cAAc,QAqFzB;AAoBD,MAAM,OAAO,eAAgB,SAAQ,KAAK;IACxB,UAAU,CAAa;IAEvC,YAAY,UAAsB;QAChC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QAC1B,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAChC,CAAC;IAED,0DAA0D;IAC1D,IAAI,GAAG;QACL,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;IACpC,CAAC;CACF;AAED,MAAM,OAAO,iBAAiB;IACpB,QAAQ,GAAuB,kBAAkB,CAAC,KAAK,CAAC;IACxD,IAAI,CAAkB;IACtB,OAAO,CAAU;IACjB,IAAI,CAAQ;IACZ,MAAM,GAAY,EAAE,CAAC;IACrB,kBAAkB,GAA2C,EAAE,CAAC;IAExE,MAAM,CAAC,KAAK,CAAC,IAAoB;QAC/B,OAAO,IAAI,iBAAiB,EAAE,CAAC,YAAY,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACvF,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,IAAoB;QACjC,OAAO,IAAI,iBAAiB,EAAE,CAAC,YAAY,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzF,CAAC;IAED,MAAM,CAAC,IAAI,CAAC,IAAoB;QAC9B,OAAO,IAAI,iBAAiB,EAAE,CAAC,YAAY,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACtF,CAAC;IAED,YAAY,CAAC,QAA4B;QACvC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,QAAQ,CAAC,IAAoB;QAC3B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,WAAW,CAAC,OAAe;QACzB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,QAAQ,CAAC,IAAU;QACjB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,YAAY,CAAC,GAAa;QACxB,IAAI,CAAC,IAAI,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACrC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,SAAS,CAAC,WAAmB,EAAE,IAAU,EAAE,WAAmB;QAC5D,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,WAAW,CAAC,IAAU,EAAE,OAAe;QACrC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;QAChD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK;QACH,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QAC/D,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;QACrE,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QAE/D,MAAM,UAAU,GAAe;YAC7B,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,IAAI,EAAE,IAAI,CAAC,IAAI;SAChB,CAAC;QAEF,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,UAA4C,CAAC,MAAM,GAAG,IAAI,CAAC,MAA0B,CAAC;QACzF,CAAC;QAED,IAAI,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAErC,UAGD,CAAC,kBAAkB,GAAG,IAAI,CAAC,kBAG1B,CAAC;QACL,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,KAAK;QACH,MAAM,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IAC1C,CAAC;CACF;AAED,6BAA6B;AAC7B,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,kBAAkB,EAAE,CAAC,GAAa,EAAqB,EAAE,CACvD,iBAAiB,CAAC,KAAK,CAAC,cAAc,CAAC,uBAAuB,CAAC;SAC5D,WAAW,CAAC,qBAAqB,CAAC;SAClC,YAAY,CAAC,GAAG,CAAC;IAEtB,aAAa,EAAE,CAAC,QAAgB,EAAE,MAAc,EAAE,GAAa,EAAqB,EAAE,CACpF,iBAAiB,CAAC,KAAK,CAAC,cAAc,CAAC,kBAAkB,CAAC;SACvD,WAAW,CAAC,aAAa,QAAQ,WAAW,MAAM,GAAG,CAAC;SACtD,YAAY,CAAC,GAAG,CAAC;IAEtB,eAAe,EAAE,CAAC,OAAe,EAAE,GAAa,EAAqB,EAAE,CACrE,iBAAiB,CAAC,KAAK,CAAC,cAAc,CAAC,oBAAoB,CAAC;SACzD,WAAW,CAAC,qBAAqB,OAAO,GAAG,CAAC;SAC5C,YAAY,CAAC,GAAG,CAAC;IAEtB,eAAe,EAAE,CAAC,KAAa,EAAE,GAAa,EAAqB,EAAE,CACnE,iBAAiB,CAAC,KAAK,CAAC,cAAc,CAAC,oBAAoB,CAAC;SACzD,WAAW,CAAC,qBAAqB,KAAK,GAAG,CAAC;SAC1C,YAAY,CAAC,GAAG,CAAC;IAEtB,mBAAmB,EAAE,CACnB,KAAa,EACb,GAAa,EACb,KAA2C,EACxB,EAAE;QACrB,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,CAAC,cAAc,CAAC,wBAAwB,CAAC;aAC7E,WAAW,CAAC,aAAa,KAAK,GAAG,CAAC;aAClC,YAAY,CAAC,GAAG,CAAC,CAAC;QAErB,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,CAAC,SAAS,CAAC,QAAQ,KAAK,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;QACrE,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,kBAAkB,EAAE,CAAC,GAAa,EAAqB,EAAE,CACvD,iBAAiB,CAAC,KAAK,CAAC,cAAc,CAAC,uBAAuB,CAAC;SAC5D,WAAW,CAAC,6BAA6B,CAAC;SAC1C,YAAY,CAAC,GAAG,CAAC;IAEtB,kBAAkB,EAAE,CAAC,GAAa,EAAqB,EAAE,CACvD,iBAAiB,CAAC,KAAK,CAAC,cAAc,CAAC,uBAAuB,CAAC;SAC5D,WAAW,CAAC,2CAA2C,CAAC;SACxD,YAAY,CAAC,GAAG,CAAC;SACjB,SAAS,CAAC,yBAAyB,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC;IAEzE,kBAAkB,EAAE,CAAC,GAAa,EAAqB,EAAE,CACvD,iBAAiB,CAAC,KAAK,CAAC,cAAc,CAAC,uBAAuB,CAAC;SAC5D,WAAW,CAAC,2BAA2B,CAAC;SACxC,YAAY,CAAC,GAAG,CAAC;IAEtB,mBAAmB,EAAE,CAAC,IAAY,EAAE,GAAa,EAAqB,EAAE,CACtE,iBAAiB,CAAC,KAAK,CAAC,cAAc,CAAC,wBAAwB,CAAC;SAC7D,WAAW,CAAC,yBAAyB,IAAI,GAAG,CAAC;SAC7C,YAAY,CAAC,GAAG,CAAC;IAEtB,kBAAkB;IAClB,eAAe,EAAE,CAAC,IAAY,EAAE,GAAa,EAAqB,EAAE,CAClE,iBAAiB,CAAC,KAAK,CAAC,cAAc,CAAC,oBAAoB,CAAC;SACzD,WAAW,CAAC,6BAA6B,IAAI,EAAE,CAAC;SAChD,YAAY,CAAC,GAAG,CAAC;IAEtB,aAAa,EAAE,CAAC,MAAc,EAAE,YAAoB,EAAE,GAAa,EAAqB,EAAE,CACxF,iBAAiB,CAAC,KAAK,CAAC,cAAc,CAAC,kBAAkB,CAAC;SACvD,WAAW,CAAC,eAAe,MAAM,UAAU,YAAY,EAAE,CAAC;SAC1D,YAAY,CAAC,GAAG,CAAC;IAEtB,eAAe,EAAE,CAAC,IAAY,EAAE,GAAa,EAAqB,EAAE,CAClE,iBAAiB,CAAC,KAAK,CAAC,cAAc,CAAC,oBAAoB,CAAC;SACzD,WAAW,CAAC,wBAAwB,IAAI,GAAG,CAAC;SAC5C,YAAY,CAAC,GAAG,CAAC;IAEtB,eAAe,EAAE,CAAC,IAAY,EAAE,GAAa,EAAqB,EAAE,CAClE,iBAAiB,CAAC,KAAK,CAAC,cAAc,CAAC,oBAAoB,CAAC;SACzD,WAAW,CAAC,4BAA4B,IAAI,EAAE,CAAC;SAC/C,YAAY,CAAC,GAAG,CAAC;IAEtB,kBAAkB,EAAE,CAAC,IAAY,EAAE,GAAa,EAAqB,EAAE,CACrE,iBAAiB,CAAC,KAAK,CAAC,cAAc,CAAC,uBAAuB,CAAC;SAC5D,WAAW,CAAC,yBAAyB,IAAI,EAAE,CAAC;SAC5C,YAAY,CAAC,GAAG,CAAC;IAEtB,eAAe,EAAE,CAAC,IAAY,EAAE,GAAa,EAAqB,EAAE,CAClE,iBAAiB,CAAC,KAAK,CAAC,cAAc,CAAC,oBAAoB,CAAC;SACzD,WAAW,CAAC,sBAAsB,IAAI,EAAE,CAAC;SACzC,YAAY,CAAC,GAAG,CAAC;CACvB,CAAC;AAEF,4CAA4C;AAC5C,MAAM,UAAU,gBAAgB,CAAC,UAAsB,EAAE,MAAe;IACtE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC;IACrD,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;IAEnD,IAAI,MAAM,GAAG,GAAG,QAAQ,IAAI,IAAI,KAAK,OAAO,OAAO,GAAG,EAAE,CAAC;IAEzD,IAAI,MAAM,IAAI,UAAU,CAAC,MAAM,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChE,MAAM,IAAI,sBAAsB,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;YACtC,MAAM,IAAI,SAAS,KAAK,CAAC,WAAW,MAAM,KAAK,CAAC,WAAW,GAAG,CAAC;QACjE,CAAC;IACH,CAAC;IAED,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACpC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;QACxC,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,IAAI,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC5C,MAAM,IAAI,OAAO,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;QACpG,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,aAAa;IAC3B,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC7B,CAAC"}

package/dist/src/diagnostics/error_codes.d.ts

@@ -0,0 +1,88 @@
+export type ErrorCategory = 'type' | 'effect' | 'capability' | 'scope' | 'pii' | 'async';
+export type ErrorSeverity = 'error' | 'warning' | 'info';
+export declare const enum ErrorCode {
+    TYPE_MISMATCH = "E001",
+    TYPE_MISMATCH_ASSIGN = "E002",
+    RETURN_TYPE_MISMATCH = "E003",
+    TYPE_VAR_UNDECLARED = "E004",
+    TYPE_PARAM_UNUSED = "E005",
+    TYPEVAR_LIKE_UNDECLARED = "E006",
+    TYPEVAR_INCONSISTENT = "E007",
+    IF_BRANCH_MISMATCH = "E008",
+    MATCH_BRANCH_MISMATCH = "E009",
+    INTEGER_PATTERN_TYPE = "E010",
+    UNKNOWN_FIELD = "E011",
+    FIELD_TYPE_MISMATCH = "E012",
+    MISSING_REQUIRED_FIELD = "E013",
+    NOT_CALL_ARITY = "E014",
+    AWAIT_TYPE = "E015",
+    DUPLICATE_ENUM_CASE = "E016",
+    NON_EXHAUSTIVE_MAYBE = "E017",
+    NON_EXHAUSTIVE_ENUM = "E018",
+    AMBIGUOUS_INTEROP_NUMERIC = "E019",
+    LIST_ELEMENT_TYPE_MISMATCH = "E020",
+    OPTIONAL_EXPECTED = "E021",
+    WORKFLOW_COMPENSATE_TYPE = "E022",
+    WORKFLOW_COMPENSATE_MISSING = "E023",
+    WORKFLOW_RETRY_INVALID = "E024",
+    WORKFLOW_TIMEOUT_INVALID = "E025",
+    WORKFLOW_MISSING_IO_EFFECT = "E026",
+    WORKFLOW_UNDECLARED_CAPABILITY = "E027",
+    COMPENSATE_NEW_CAPABILITY = "E028",
+    WORKFLOW_UNKNOWN_STEP_DEPENDENCY = "E029",
+    WORKFLOW_CIRCULAR_DEPENDENCY = "E030",
+    PII_ASSIGN_DOWNGRADE = "E070",
+    PII_SINK_UNSANITIZED = "E072",
+    PII_ARG_VIOLATION = "E073",
+    DUPLICATE_IMPORT_ALIAS = "E100",
+    UNDEFINED_VARIABLE = "E101",
+    DUPLICATE_SYMBOL = "E102",
+    EFF_MISSING_IO = "E200",
+    EFF_MISSING_CPU = "E201",
+    EFF_SUPERFLUOUS_IO_CPU_ONLY = "E202",
+    EFF_SUPERFLUOUS_IO = "E203",
+    EFF_SUPERFLUOUS_CPU = "E204",
+    EFF_INFER_MISSING_IO = "E205",
+    EFF_INFER_MISSING_CPU = "E206",
+    EFF_INFER_REDUNDANT_IO = "E207",
+    EFF_INFER_REDUNDANT_CPU = "E208",
+    EFF_INFER_REDUNDANT_CPU_WITH_IO = "E209",
+    EFFECT_VAR_UNDECLARED = "E210",
+    EFFECT_VAR_UNRESOLVED = "E211",
+    CAPABILITY_NOT_ALLOWED = "E300",
+    EFF_CAP_MISSING = "E301",
+    EFF_CAP_SUPERFLUOUS = "E302",
+    CAPABILITY_INFER_MISSING_IO = "E303",
+    CAPABILITY_INFER_MISSING_CPU = "E304",
+    PII_HTTP_UNENCRYPTED = "E400",
+    PII_ANNOTATION_MISSING = "E401",
+    PII_SENSITIVITY_MISMATCH = "E402",
+    PII_MISSING_CONSENT_CHECK = "E403",
+    ASYNC_START_NOT_WAITED = "E500",
+    ASYNC_WAIT_NOT_STARTED = "E501",
+    ASYNC_DUPLICATE_START = "E502",
+    ASYNC_DUPLICATE_WAIT = "E503",
+    ASYNC_WAIT_BEFORE_START = "E504",
+    PII_IMPLICIT_UPLEVEL = "W071",
+    PII_SINK_UNKNOWN = "W074",
+    WORKFLOW_RETRY_INCONSISTENT = "W105",
+    WORKFLOW_TIMEOUT_UNREASONABLE = "W106"
+}
+export interface ErrorMetadata {
+    readonly code: ErrorCode;
+    readonly category: ErrorCategory;
+    readonly severity: ErrorSeverity;
+    readonly message: string;
+    readonly help: string;
+}
+export declare const ERROR_MESSAGES: Record<ErrorCode, string>;
+export declare const ERROR_METADATA: Record<ErrorCode, ErrorMetadata>;
+/**
+ * 使用命名参数填充错误消息模板。
+ */
+export declare function formatErrorMessage(code: ErrorCode, params: Record<string, string | number>): string;
+/**
+ * 获取详细元数据，包含分类与帮助信息。
+ */
+export declare function getErrorMetadata(code: ErrorCode): ErrorMetadata;
+//# sourceMappingURL=error_codes.d.ts.map

package/dist/src/diagnostics/error_codes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"error_codes.d.ts","sourceRoot":"","sources":["../../../src/diagnostics/error_codes.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,QAAQ,GAAG,YAAY,GAAG,OAAO,GAAG,KAAK,GAAG,OAAO,CAAC;AACzF,MAAM,MAAM,aAAa,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAEzD,0BAAkB,SAAS;IACzB,aAAa,SAAS;IACtB,oBAAoB,SAAS;IAC7B,oBAAoB,SAAS;IAC7B,mBAAmB,SAAS;IAC5B,iBAAiB,SAAS;IAC1B,uBAAuB,SAAS;IAChC,oBAAoB,SAAS;IAC7B,kBAAkB,SAAS;IAC3B,qBAAqB,SAAS;IAC9B,oBAAoB,SAAS;IAC7B,aAAa,SAAS;IACtB,mBAAmB,SAAS;IAC5B,sBAAsB,SAAS;IAC/B,cAAc,SAAS;IACvB,UAAU,SAAS;IACnB,mBAAmB,SAAS;IAC5B,oBAAoB,SAAS;IAC7B,mBAAmB,SAAS;IAC5B,yBAAyB,SAAS;IAClC,0BAA0B,SAAS;IACnC,iBAAiB,SAAS;IAC1B,wBAAwB,SAAS;IACjC,2BAA2B,SAAS;IACpC,sBAAsB,SAAS;IAC/B,wBAAwB,SAAS;IACjC,0BAA0B,SAAS;IACnC,8BAA8B,SAAS;IACvC,yBAAyB,SAAS;IAClC,gCAAgC,SAAS;IACzC,4BAA4B,SAAS;IACrC,oBAAoB,SAAS;IAC7B,oBAAoB,SAAS;IAC7B,iBAAiB,SAAS;IAC1B,sBAAsB,SAAS;IAC/B,kBAAkB,SAAS;IAC3B,gBAAgB,SAAS;IACzB,cAAc,SAAS;IACvB,eAAe,SAAS;IACxB,2BAA2B,SAAS;IACpC,kBAAkB,SAAS;IAC3B,mBAAmB,SAAS;IAC5B,oBAAoB,SAAS;IAC7B,qBAAqB,SAAS;IAC9B,sBAAsB,SAAS;IAC/B,uBAAuB,SAAS;IAChC,+BAA+B,SAAS;IACxC,qBAAqB,SAAS;IAC9B,qBAAqB,SAAS;IAC9B,sBAAsB,SAAS;IAC/B,eAAe,SAAS;IACxB,mBAAmB,SAAS;IAC5B,2BAA2B,SAAS;IACpC,4BAA4B,SAAS;IACrC,oBAAoB,SAAS;IAC7B,sBAAsB,SAAS;IAC/B,wBAAwB,SAAS;IACjC,yBAAyB,SAAS;IAClC,sBAAsB,SAAS;IAC/B,sBAAsB,SAAS;IAC/B,qBAAqB,SAAS;IAC9B,oBAAoB,SAAS;IAC7B,uBAAuB,SAAS;IAChC,oBAAoB,SAAS;IAC7B,gBAAgB,SAAS;IACzB,2BAA2B,SAAS;IACpC,6BAA6B,SAAS;CACvC;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAmEpD,CAAC;AAEF,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,SAAS,EAAE,aAAa,CA+c3D,CAAC;AAEF;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,GAAG,MAAM,CAMnG;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,SAAS,GAAG,aAAa,CAE/D"}