edict-lang 0.1.0

package/dist/resolver/resolve.js

@@ -0,0 +1,393 @@
+// =============================================================================
+// Name Resolution — resolve(module) → StructuredError[]
+// =============================================================================
+// Walks a validated AST and checks that every name reference resolves.
+// Two passes: (1) collect top-level defs, (2) resolve all expressions/patterns.
+import { undefinedReference } from "../errors/structured-errors.js";
+import { findCandidates } from "./levenshtein.js";
+import { Scope } from "./scope.js";
+import { BUILTIN_FUNCTIONS } from "../codegen/builtins.js";
+/**
+ * Entry point: resolve all names in a validated Edict module.
+ */
+export function resolve(module) {
+    const errors = [];
+    // Built-in functions live in a parent scope so user imports/defs shadow them
+    const builtinScope = new Scope();
+    for (const [name, builtin] of BUILTIN_FUNCTIONS) {
+        builtinScope.define(name, {
+            name,
+            kind: "function",
+            nodeId: null,
+            type: builtin.type,
+        });
+    }
+    const moduleScope = new Scope(builtinScope);
+    // =========================================================================
+    // Pass 1 — Register top-level definitions + imports
+    // =========================================================================
+    // Register imports (trusted/opaque — typed as unknown)
+    for (const imp of module.imports) {
+        for (const name of imp.names) {
+            const err = moduleScope.define(name, {
+                name,
+                kind: "import",
+                nodeId: imp.id,
+            });
+            if (err)
+                errors.push(err);
+        }
+    }
+    // Register definitions
+    for (const def of module.definitions) {
+        const info = defToSymbolInfo(def);
+        const err = moduleScope.define(def.name, info);
+        if (err)
+            errors.push(err);
+    }
+    // =========================================================================
+    // Pass 2 — Resolve expressions and patterns
+    // =========================================================================
+    for (const def of module.definitions) {
+        switch (def.kind) {
+            case "fn":
+                resolveFunctionDef(def, moduleScope, errors);
+                break;
+            case "const":
+                resolveConstDef(def, moduleScope, errors);
+                break;
+            case "record":
+                resolveRecordDef(def, moduleScope, errors);
+                break;
+            case "type":
+                resolveTypeExpr(def.definition, moduleScope, errors);
+                break;
+            case "enum":
+                resolveEnumDef(def, moduleScope, errors);
+                break;
+        }
+    }
+    return errors;
+}
+// =============================================================================
+// Helpers
+// =============================================================================
+function defToSymbolInfo(def) {
+    switch (def.kind) {
+        case "fn":
+            return {
+                name: def.name,
+                kind: "function",
+                nodeId: def.id,
+                type: {
+                    kind: "fn_type",
+                    params: def.params.map((p) => p.type),
+                    effects: [...def.effects],
+                    returnType: def.returnType,
+                },
+                definition: def,
+            };
+        case "type":
+            return { name: def.name, kind: "type", nodeId: def.id, definition: def };
+        case "record":
+            return { name: def.name, kind: "record", nodeId: def.id, definition: def };
+        case "enum":
+            return { name: def.name, kind: "enum", nodeId: def.id, definition: def };
+        case "const":
+            return { name: def.name, kind: "const", nodeId: def.id, type: def.type, definition: def };
+    }
+}
+function resolveFunctionDef(fn, parentScope, errors) {
+    // Create body scope with params
+    const bodyScope = parentScope.child();
+    for (const param of fn.params) {
+        const err = bodyScope.define(param.name, {
+            name: param.name,
+            kind: "param",
+            nodeId: param.id,
+            type: param.type,
+        });
+        if (err)
+            errors.push(err);
+    }
+    // Resolve param types
+    for (const param of fn.params) {
+        resolveTypeExpr(param.type, parentScope, errors);
+    }
+    // Resolve return type
+    resolveTypeExpr(fn.returnType, parentScope, errors);
+    // Resolve contracts
+    for (const contract of fn.contracts) {
+        resolveContract(contract, fn, bodyScope, errors);
+    }
+    // Resolve body expressions sequentially (let bindings accumulate in scope)
+    resolveExpressionList(fn.body, bodyScope, errors);
+}
+function resolveContract(contract, fn, bodyScope, errors) {
+    if (contract.kind === "post") {
+        // Post-contracts have implicit `result` binding typed as returnType
+        const postScope = bodyScope.child();
+        postScope.define("result", {
+            name: "result",
+            kind: "result",
+            nodeId: null,
+            type: fn.returnType,
+        });
+        resolveExpression(contract.condition, postScope, errors);
+    }
+    else {
+        // Pre-contracts share the body scope (params visible)
+        resolveExpression(contract.condition, bodyScope, errors);
+    }
+}
+function resolveConstDef(def, scope, errors) {
+    resolveTypeExpr(def.type, scope, errors);
+    resolveExpression(def.value, scope, errors);
+}
+function resolveRecordDef(def, scope, errors) {
+    for (const field of def.fields) {
+        resolveRecordField(field, scope, errors);
+    }
+}
+function resolveRecordField(field, scope, errors) {
+    resolveTypeExpr(field.type, scope, errors);
+    if (field.defaultValue) {
+        resolveExpression(field.defaultValue, scope, errors);
+    }
+}
+function resolveEnumDef(def, scope, errors) {
+    for (const variant of def.variants) {
+        for (const field of variant.fields) {
+            resolveRecordField(field, scope, errors);
+        }
+    }
+}
+/**
+ * Resolve named types. Only `named` and `refined` types reference names.
+ */
+function resolveTypeExpr(type, scope, errors) {
+    switch (type.kind) {
+        case "named": {
+            const sym = scope.lookup(type.name);
+            if (!sym) {
+                errors.push(undefinedReference(null, type.name, findCandidates(type.name, scope.allNames())));
+            }
+            break;
+        }
+        case "refined":
+            resolveRefinedType(type, scope, errors);
+            break;
+        case "array":
+            resolveTypeExpr(type.element, scope, errors);
+            break;
+        case "option":
+            resolveTypeExpr(type.inner, scope, errors);
+            break;
+        case "result":
+            resolveTypeExpr(type.ok, scope, errors);
+            resolveTypeExpr(type.err, scope, errors);
+            break;
+        case "fn_type":
+            for (const p of type.params)
+                resolveTypeExpr(p, scope, errors);
+            resolveTypeExpr(type.returnType, scope, errors);
+            break;
+        case "tuple":
+            for (const el of type.elements)
+                resolveTypeExpr(el, scope, errors);
+            break;
+        case "basic":
+        case "unit_type":
+            // No names to resolve
+            break;
+    }
+}
+function resolveRefinedType(type, scope, errors) {
+    resolveTypeExpr(type.base, scope, errors);
+    // The variable introduces a new binding for the predicate expression
+    const predicateScope = scope.child();
+    predicateScope.define(type.variable, {
+        name: type.variable,
+        kind: "param",
+        nodeId: type.id,
+        type: type.base,
+    });
+    resolveExpression(type.predicate, predicateScope, errors);
+}
+/**
+ * Resolve a list of expressions sequentially.
+ * Let bindings accumulate into the scope for subsequent expressions.
+ */
+function resolveExpressionList(exprs, scope, errors) {
+    // We use a mutable current scope so let-bindings are visible to later siblings
+    let currentScope = scope;
+    for (const expr of exprs) {
+        resolveExpression(expr, currentScope, errors);
+        if (expr.kind === "let") {
+            // Let binding adds to a child scope for subsequent siblings
+            currentScope = currentScope.child();
+            const err = currentScope.define(expr.name, {
+                name: expr.name,
+                kind: "let",
+                nodeId: expr.id,
+                type: expr.type,
+            });
+            if (err)
+                errors.push(err);
+        }
+    }
+}
+function resolveExpression(expr, scope, errors) {
+    switch (expr.kind) {
+        case "literal":
+            // Optionally annotated — resolve type if present
+            if (expr.type)
+                resolveTypeExpr(expr.type, scope, errors);
+            break;
+        case "ident": {
+            const sym = scope.lookup(expr.name);
+            if (!sym) {
+                errors.push(undefinedReference(expr.id, expr.name, findCandidates(expr.name, scope.allNames())));
+            }
+            break;
+        }
+        case "binop":
+            resolveExpression(expr.left, scope, errors);
+            resolveExpression(expr.right, scope, errors);
+            break;
+        case "unop":
+            resolveExpression(expr.operand, scope, errors);
+            break;
+        case "call":
+            resolveExpression(expr.fn, scope, errors);
+            for (const arg of expr.args)
+                resolveExpression(arg, scope, errors);
+            break;
+        case "if":
+            resolveExpression(expr.condition, scope, errors);
+            resolveExpressionList(expr.then, scope, errors);
+            if (expr.else)
+                resolveExpressionList(expr.else, scope, errors);
+            break;
+        case "let":
+            // Type annotation
+            if (expr.type)
+                resolveTypeExpr(expr.type, scope, errors);
+            // Value (the name itself is NOT in scope for its own value)
+            resolveExpression(expr.value, scope, errors);
+            // Binding is registered by resolveExpressionList
+            break;
+        case "match":
+            resolveExpression(expr.target, scope, errors);
+            for (const arm of expr.arms) {
+                const armScope = scope.child();
+                resolvePattern(arm.pattern, armScope, scope, errors);
+                resolveExpressionList(arm.body, armScope, errors);
+            }
+            break;
+        case "array":
+            for (const el of expr.elements)
+                resolveExpression(el, scope, errors);
+            break;
+        case "tuple_expr":
+            for (const el of expr.elements)
+                resolveExpression(el, scope, errors);
+            break;
+        case "record_expr":
+            // We don't error on unknown records here — that's the type checker's job.
+            // We DO resolve the field value expressions.
+            for (const f of expr.fields)
+                resolveExpression(f.value, scope, errors);
+            break;
+        case "enum_constructor":
+            // Same as record_expr — type checker validates enum/variant existence
+            for (const f of expr.fields)
+                resolveExpression(f.value, scope, errors);
+            break;
+        case "access":
+            resolveExpression(expr.target, scope, errors);
+            break;
+        case "lambda": {
+            const lamScope = scope.child();
+            for (const param of expr.params) {
+                resolveTypeExpr(param.type, scope, errors);
+                const err = lamScope.define(param.name, {
+                    name: param.name,
+                    kind: "param",
+                    nodeId: param.id,
+                    type: param.type,
+                });
+                if (err)
+                    errors.push(err);
+            }
+            resolveExpressionList(expr.body, lamScope, errors);
+            break;
+        }
+        case "block":
+            resolveExpressionList(expr.body, scope.child(), errors);
+            break;
+    }
+}
+function resolvePattern(pattern, armScope, moduleScope, errors) {
+    switch (pattern.kind) {
+        case "binding": {
+            const err = armScope.define(pattern.name, {
+                name: pattern.name,
+                kind: "let",
+                nodeId: null,
+            });
+            if (err)
+                errors.push(err);
+            break;
+        }
+        case "constructor": {
+            // Verify the constructor name exists as an enum variant in module scope
+            // We check ALL enum defs to find a matching variant
+            const found = findVariantInScope(pattern.name, moduleScope);
+            if (!found) {
+                errors.push(undefinedReference(null, pattern.name, findCandidates(pattern.name, collectAllVariantNames(moduleScope))));
+            }
+            // Recursively resolve sub-patterns
+            for (const sub of pattern.fields) {
+                resolvePattern(sub, armScope, moduleScope, errors);
+            }
+            break;
+        }
+        case "literal_pattern":
+        case "wildcard":
+            // No names to resolve
+            break;
+    }
+}
+/**
+ * Search all enum definitions in scope for a variant with the given name.
+ */
+function findVariantInScope(variantName, scope) {
+    // Walk all names and check if any enum has this variant
+    for (const name of scope.allNames()) {
+        const sym = scope.lookup(name);
+        if (sym?.definition?.kind === "enum") {
+            for (const v of sym.definition.variants) {
+                if (v.name === variantName)
+                    return true;
+            }
+        }
+    }
+    return false;
+}
+/**
+ * Collect all variant names from all enums in scope.
+ */
+function collectAllVariantNames(scope) {
+    const names = [];
+    for (const name of scope.allNames()) {
+        const sym = scope.lookup(name);
+        if (sym?.definition?.kind === "enum") {
+            for (const v of sym.definition.variants) {
+                names.push(v.name);
+            }
+        }
+    }
+    return names;
+}
+//# sourceMappingURL=resolve.js.map

package/dist/resolver/resolve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve.js","sourceRoot":"","sources":["../../src/resolver/resolve.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,wDAAwD;AACxD,gFAAgF;AAChF,uEAAuE;AACvE,gFAAgF;AAgBhF,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,KAAK,EAAmB,MAAM,YAAY,CAAC;AAEpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAE3D;;GAEG;AACH,MAAM,UAAU,OAAO,CAAC,MAAmB;IACvC,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,6EAA6E;IAC7E,MAAM,YAAY,GAAG,IAAI,KAAK,EAAE,CAAC;IACjC,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,iBAAiB,EAAE,CAAC;QAC9C,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE;YACtB,IAAI;YACJ,IAAI,EAAE,UAAU;YAChB,MAAM,EAAE,IAAI;YACZ,IAAI,EAAE,OAAO,CAAC,IAAI;SACrB,CAAC,CAAC;IACP,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,KAAK,CAAC,YAAY,CAAC,CAAC;IAE5C,4EAA4E;IAC5E,oDAAoD;IACpD,4EAA4E;IAE5E,uDAAuD;IACvD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAC/B,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;YAC3B,MAAM,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE;gBACjC,IAAI;gBACJ,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,GAAG,CAAC,EAAE;aACjB,CAAC,CAAC;YACH,IAAI,GAAG;gBAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9B,CAAC;IACL,CAAC;IAED,uBAAuB;IACvB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC/C,IAAI,GAAG;YAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9B,CAAC;IAED,4EAA4E;IAC5E,4CAA4C;IAC5C,4EAA4E;IAE5E,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACnC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,IAAI;gBACL,kBAAkB,CAAC,GAAG,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;gBAC7C,MAAM;YACV,KAAK,OAAO;gBACR,eAAe,CAAC,GAAG,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;gBAC1C,MAAM;YACV,KAAK,QAAQ;gBACT,gBAAgB,CAAC,GAAG,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;gBAC3C,MAAM;YACV,KAAK,MAAM;gBACP,eAAe,CAAC,GAAG,CAAC,UAAU,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;gBACrD,MAAM;YACV,KAAK,MAAM;gBACP,cAAc,CAAC,GAAG,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;gBACzC,MAAM;QACd,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,gFAAgF;AAChF,UAAU;AACV,gFAAgF;AAEhF,SAAS,eAAe,CAAC,GAAe;IACpC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,IAAI;YACL,OAAO;gBACH,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,GAAG,CAAC,EAAE;gBACd,IAAI,EAAE;oBACF,IAAI,EAAE,SAAS;oBACf,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;oBACrC,OAAO,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;oBACzB,UAAU,EAAE,GAAG,CAAC,UAAU;iBACN;gBACxB,UAAU,EAAE,GAAG;aAClB,CAAC;QACN,KAAK,MAAM;YACP,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;QAC7E,KAAK,QAAQ;YACT,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;QAC/E,KAAK,MAAM;YACP,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;QAC7E,KAAK,OAAO;YACR,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;IAClG,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CACvB,EAAe,EACf,WAAkB,EAClB,MAAyB;IAEzB,gCAAgC;IAChC,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,EAAE,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE;YACrC,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,KAAK,CAAC,EAAE;YAChB,IAAI,EAAE,KAAK,CAAC,IAAI;SACnB,CAAC,CAAC;QACH,IAAI,GAAG;YAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9B,CAAC;IAED,sBAAsB;IACtB,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QAC5B,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;IACrD,CAAC;IAED,sBAAsB;IACtB,eAAe,CAAC,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;IAEpD,oBAAoB;IACpB,KAAK,MAAM,QAAQ,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;QAClC,eAAe,CAAC,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IACrD,CAAC;IAED,2EAA2E;IAC3E,qBAAqB,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,eAAe,CACpB,QAAkB,EAClB,EAAe,EACf,SAAgB,EAChB,MAAyB;IAEzB,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,oEAAoE;QACpE,MAAM,SAAS,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC;QACpC,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE;YACvB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,IAAI;YACZ,IAAI,EAAE,EAAE,CAAC,UAAU;SACtB,CAAC,CAAC;QACH,iBAAiB,CAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IAC7D,CAAC;SAAM,CAAC;QACJ,sDAAsD;QACtD,iBAAiB,CAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IAC7D,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CACpB,GAAa,EACb,KAAY,EACZ,MAAyB;IAEzB,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IACzC,iBAAiB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,gBAAgB,CACrB,GAAc,EACd,KAAY,EACZ,MAAyB;IAEzB,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QAC7B,kBAAkB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CACvB,KAAkB,EAClB,KAAY,EACZ,MAAyB;IAEzB,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC3C,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QACrB,iBAAiB,CAAC,KAAK,CAAC,YAAY,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IACzD,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CACnB,GAAY,EACZ,KAAY,EACZ,MAAyB;IAEzB,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;YACjC,kBAAkB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QAC7C,CAAC;IACL,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CACpB,IAAc,EACd,KAAY,EACZ,MAAyB;IAEzB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,OAAO,CAAC,CAAC,CAAC;YACX,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,CAAC,GAAG,EAAE,CAAC;gBACP,MAAM,CAAC,IAAI,CACP,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CACnF,CAAC;YACN,CAAC;YACD,MAAM;QACV,CAAC;QACD,KAAK,SAAS;YACV,kBAAkB,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YACxC,MAAM;QACV,KAAK,OAAO;YACR,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC7C,MAAM;QACV,KAAK,QAAQ;YACT,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC3C,MAAM;QACV,KAAK,QAAQ;YACT,eAAe,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YACxC,eAAe,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YACzC,MAAM;QACV,KAAK,SAAS;YACV,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;gBAAE,eAAe,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC/D,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAChD,MAAM;QACV,KAAK,OAAO;YACR,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ;gBAAE,eAAe,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YACnE,MAAM;QACV,KAAK,OAAO,CAAC;QACb,KAAK,WAAW;YACZ,sBAAsB;YACtB,MAAM;IACd,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CACvB,IAAiB,EACjB,KAAY,EACZ,MAAyB;IAEzB,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC1C,qEAAqE;IACrE,MAAM,cAAc,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;IACrC,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE;QACjC,IAAI,EAAE,IAAI,CAAC,QAAQ;QACnB,IAAI,EAAE,OAAO;QACb,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,IAAI,EAAE,IAAI,CAAC,IAAI;KAClB,CAAC,CAAC;IACH,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,cAAc,EAAE,MAAM,CAAC,CAAC;AAC9D,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAC1B,KAAmB,EACnB,KAAY,EACZ,MAAyB;IAEzB,+EAA+E;IAC/E,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,iBAAiB,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;QAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACtB,4DAA4D;YAC5D,YAAY,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC;YACpC,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE;gBACvC,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,KAAK;gBACX,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,IAAI,EAAE,IAAI,CAAC,IAAI;aAClB,CAAC,CAAC;YACH,IAAI,GAAG;gBAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9B,CAAC;IACL,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CACtB,IAAgB,EAChB,KAAY,EACZ,MAAyB;IAEzB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,SAAS;YACV,iDAAiD;YACjD,IAAI,IAAI,CAAC,IAAI;gBAAE,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YACzD,MAAM;QAEV,KAAK,OAAO,CAAC,CAAC,CAAC;YACX,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,CAAC,GAAG,EAAE,CAAC;gBACP,MAAM,CAAC,IAAI,CACP,kBAAkB,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CACtF,CAAC;YACN,CAAC;YACD,MAAM;QACV,CAAC;QAED,KAAK,OAAO;YACR,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC5C,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC7C,MAAM;QAEV,KAAK,MAAM;YACP,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC/C,MAAM;QAEV,KAAK,MAAM;YACP,iBAAiB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC1C,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI;gBAAE,iBAAiB,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YACnE,MAAM;QAEV,KAAK,IAAI;YACL,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YACjD,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAChD,IAAI,IAAI,CAAC,IAAI;gBAAE,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC/D,MAAM;QAEV,KAAK,KAAK;YACN,kBAAkB;YAClB,IAAI,IAAI,CAAC,IAAI;gBAAE,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YACzD,4DAA4D;YAC5D,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC7C,iDAAiD;YACjD,MAAM;QAEV,KAAK,OAAO;YACR,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC9C,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC1B,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;gBAC/B,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;gBACrD,qBAAqB,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;YACtD,CAAC;YACD,MAAM;QAEV,KAAK,OAAO;YACR,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ;gBAAE,iBAAiB,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YACrE,MAAM;QAEV,KAAK,YAAY;YACb,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ;gBAAE,iBAAiB,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YACrE,MAAM;QAEV,KAAK,aAAa;YACd,0EAA0E;YAC1E,6CAA6C;YAC7C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;gBAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YACvE,MAAM;QAEV,KAAK,kBAAkB;YACnB,sEAAsE;YACtE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;gBAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YACvE,MAAM;QAEV,KAAK,QAAQ;YACT,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC9C,MAAM;QAEV,KAAK,QAAQ,CAAC,CAAC,CAAC;YACZ,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAC9B,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;gBAC3C,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE;oBACpC,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,IAAI,EAAE,OAAO;oBACb,MAAM,EAAE,KAAK,CAAC,EAAE;oBAChB,IAAI,EAAE,KAAK,CAAC,IAAI;iBACnB,CAAC,CAAC;gBACH,IAAI,GAAG;oBAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC9B,CAAC;YACD,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;YACnD,MAAM;QACV,CAAC;QAED,KAAK,OAAO;YACR,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,MAAM,CAAC,CAAC;YACxD,MAAM;IACd,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CACnB,OAAgB,EAChB,QAAe,EACf,WAAkB,EAClB,MAAyB;IAEzB,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,SAAS,CAAC,CAAC,CAAC;YACb,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE;gBACtC,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,IAAI,EAAE,KAAK;gBACX,MAAM,EAAE,IAAI;aACf,CAAC,CAAC;YACH,IAAI,GAAG;gBAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC1B,MAAM;QACV,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACjB,wEAAwE;YACxE,oDAAoD;YACpD,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAC5D,IAAI,CAAC,KAAK,EAAE,CAAC;gBACT,MAAM,CAAC,IAAI,CACP,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,sBAAsB,CAAC,WAAW,CAAC,CAAC,CAAC,CAC5G,CAAC;YACN,CAAC;YACD,mCAAmC;YACnC,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;gBAC/B,cAAc,CAAC,GAAG,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;YACvD,CAAC;YACD,MAAM;QACV,CAAC;QACD,KAAK,iBAAiB,CAAC;QACvB,KAAK,UAAU;YACX,sBAAsB;YACtB,MAAM;IACd,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CAAC,WAAmB,EAAE,KAAY;IACzD,wDAAwD;IACxD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,GAAG,EAAE,UAAU,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;YACnC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;gBACtC,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;oBAAE,OAAO,IAAI,CAAC;YAC5C,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB,CAAC,KAAY;IACxC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,GAAG,EAAE,UAAU,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;YACnC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;gBACtC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACvB,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC"}

package/dist/resolver/scope.d.ts

@@ -0,0 +1,34 @@
+import type { TypeExpr } from "../ast/types.js";
+import type { Definition } from "../ast/nodes.js";
+import { type DuplicateDefinitionError } from "../errors/structured-errors.js";
+export type SymbolKind = "function" | "param" | "let" | "const" | "type" | "record" | "enum" | "import" | "result";
+export interface SymbolInfo {
+    name: string;
+    kind: SymbolKind;
+    nodeId: string | null;
+    type?: TypeExpr;
+    definition?: Definition;
+}
+export declare class Scope {
+    private symbols;
+    private parent;
+    constructor(parent?: Scope | null);
+    /**
+     * Define a symbol in this scope.
+     * Returns a DuplicateDefinitionError if the name already exists in THIS scope.
+     */
+    define(name: string, info: SymbolInfo): DuplicateDefinitionError | null;
+    /**
+     * Look up a symbol by walking the scope chain (current → parent → …).
+     */
+    lookup(name: string): SymbolInfo | undefined;
+    /**
+     * Collect all names visible from this scope (for Levenshtein suggestions).
+     */
+    allNames(): string[];
+    /**
+     * Create a child scope that inherits from this one.
+     */
+    child(): Scope;
+}
+//# sourceMappingURL=scope.d.ts.map

package/dist/resolver/scope.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope.d.ts","sourceRoot":"","sources":["../../src/resolver/scope.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAuB,KAAK,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAEpG,MAAM,MAAM,UAAU,GAChB,UAAU,GACV,OAAO,GACP,KAAK,GACL,OAAO,GACP,MAAM,GACN,QAAQ,GACR,MAAM,GACN,QAAQ,GACR,QAAQ,CAAC;AAEf,MAAM,WAAW,UAAU;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,UAAU,CAAC;IACjB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,IAAI,CAAC,EAAE,QAAQ,CAAC;IAChB,UAAU,CAAC,EAAE,UAAU,CAAC;CAC3B;AAED,qBAAa,KAAK;IACd,OAAO,CAAC,OAAO,CAAsC;IACrD,OAAO,CAAC,MAAM,CAAe;gBAEjB,MAAM,GAAE,KAAK,GAAG,IAAW;IAIvC;;;OAGG;IACH,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,GAAG,wBAAwB,GAAG,IAAI;IASvE;;OAEG;IACH,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS;IAM5C;;OAEG;IACH,QAAQ,IAAI,MAAM,EAAE;IAUpB;;OAEG;IACH,KAAK,IAAI,KAAK;CAGjB"}

package/dist/resolver/scope.js

@@ -0,0 +1,51 @@
+// =============================================================================
+// Scope — Nested symbol table for name resolution
+// =============================================================================
+import { duplicateDefinition } from "../errors/structured-errors.js";
+export class Scope {
+    symbols = new Map();
+    parent;
+    constructor(parent = null) {
+        this.parent = parent;
+    }
+    /**
+     * Define a symbol in this scope.
+     * Returns a DuplicateDefinitionError if the name already exists in THIS scope.
+     */
+    define(name, info) {
+        const existing = this.symbols.get(name);
+        if (existing) {
+            return duplicateDefinition(info.nodeId, name, existing.nodeId);
+        }
+        this.symbols.set(name, info);
+        return null;
+    }
+    /**
+     * Look up a symbol by walking the scope chain (current → parent → …).
+     */
+    lookup(name) {
+        const local = this.symbols.get(name);
+        if (local)
+            return local;
+        return this.parent?.lookup(name);
+    }
+    /**
+     * Collect all names visible from this scope (for Levenshtein suggestions).
+     */
+    allNames() {
+        const names = new Set(this.symbols.keys());
+        if (this.parent) {
+            for (const n of this.parent.allNames()) {
+                names.add(n);
+            }
+        }
+        return [...names];
+    }
+    /**
+     * Create a child scope that inherits from this one.
+     */
+    child() {
+        return new Scope(this);
+    }
+}
+//# sourceMappingURL=scope.js.map

package/dist/resolver/scope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope.js","sourceRoot":"","sources":["../../src/resolver/scope.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,kDAAkD;AAClD,gFAAgF;AAIhF,OAAO,EAAE,mBAAmB,EAAiC,MAAM,gCAAgC,CAAC;AAqBpG,MAAM,OAAO,KAAK;IACN,OAAO,GAA4B,IAAI,GAAG,EAAE,CAAC;IAC7C,MAAM,CAAe;IAE7B,YAAY,SAAuB,IAAI;QACnC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACzB,CAAC;IAED;;;OAGG;IACH,MAAM,CAAC,IAAY,EAAE,IAAgB;QACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,QAAQ,EAAE,CAAC;YACX,OAAO,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7B,OAAO,IAAI,CAAC;IAChB,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,IAAY;QACf,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;QACxB,OAAO,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IAED;;OAEG;IACH,QAAQ;QACJ,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QACnD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAC;gBACrC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACjB,CAAC;QACL,CAAC;QACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;IACtB,CAAC;IAED;;OAEG;IACH,KAAK;QACD,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;CACJ"}

package/dist/validator/id-tracker.d.ts

@@ -0,0 +1,14 @@
+import type { StructuredError } from "../errors/structured-errors.js";
+export declare class IdTracker {
+    private seen;
+    private errors;
+    /**
+     * Register an ID at a given AST path. If duplicate, records an error.
+     */
+    track(id: string, path: string): void;
+    /**
+     * Return all duplicate ID errors found.
+     */
+    getErrors(): StructuredError[];
+}
+//# sourceMappingURL=id-tracker.d.ts.map

package/dist/validator/id-tracker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"id-tracker.d.ts","sourceRoot":"","sources":["../../src/validator/id-tracker.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AAGtE,qBAAa,SAAS;IAClB,OAAO,CAAC,IAAI,CAA6B;IACzC,OAAO,CAAC,MAAM,CAAyB;IAEvC;;OAEG;IACH,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IASrC;;OAEG;IACH,SAAS,IAAI,eAAe,EAAE;CAGjC"}

package/dist/validator/id-tracker.js

@@ -0,0 +1,28 @@
+// =============================================================================
+// ID Tracker — Duplicate ID Detection
+// =============================================================================
+// Walks the AST and collects all `id` fields, detecting duplicates.
+import { duplicateId } from "../errors/structured-errors.js";
+export class IdTracker {
+    seen = new Map(); // id -> first path
+    errors = [];
+    /**
+     * Register an ID at a given AST path. If duplicate, records an error.
+     */
+    track(id, path) {
+        const existing = this.seen.get(id);
+        if (existing !== undefined) {
+            this.errors.push(duplicateId(id, existing, path));
+        }
+        else {
+            this.seen.set(id, path);
+        }
+    }
+    /**
+     * Return all duplicate ID errors found.
+     */
+    getErrors() {
+        return this.errors;
+    }
+}
+//# sourceMappingURL=id-tracker.js.map

package/dist/validator/id-tracker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"id-tracker.js","sourceRoot":"","sources":["../../src/validator/id-tracker.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,sCAAsC;AACtC,gFAAgF;AAChF,oEAAoE;AAGpE,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAE7D,MAAM,OAAO,SAAS;IACV,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC,CAAC,mBAAmB;IACrD,MAAM,GAAsB,EAAE,CAAC;IAEvC;;OAEG;IACH,KAAK,CAAC,EAAU,EAAE,IAAY;QAC1B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YACzB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;QACtD,CAAC;aAAM,CAAC;YACJ,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC5B,CAAC;IACL,CAAC;IAED;;OAEG;IACH,SAAS;QACL,OAAO,IAAI,CAAC,MAAM,CAAC;IACvB,CAAC;CACJ"}

package/dist/validator/node-validators.d.ts

@@ -0,0 +1,6 @@
+import type { StructuredError } from "../errors/structured-errors.js";
+import type { IdTracker } from "./id-tracker.js";
+export declare function validateModule(node: unknown, path: string, errors: StructuredError[], idTracker: IdTracker): void;
+export declare function validateTypeExpr(node: unknown, path: string, errors: StructuredError[], idTracker: IdTracker): void;
+export declare function validateExpression(node: unknown, path: string, errors: StructuredError[], idTracker: IdTracker): void;
+//# sourceMappingURL=node-validators.d.ts.map

package/dist/validator/node-validators.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-validators.d.ts","sourceRoot":"","sources":["../../src/validator/node-validators.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AAUtE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AA0JjD,wBAAgB,cAAc,CAC1B,IAAI,EAAE,OAAO,EACb,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,eAAe,EAAE,EACzB,SAAS,EAAE,SAAS,GACrB,IAAI,CAuCN;AAoWD,wBAAgB,gBAAgB,CAC5B,IAAI,EAAE,OAAO,EACb,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,eAAe,EAAE,EACzB,SAAS,EAAE,SAAS,GACrB,IAAI,CA2CN;AAsKD,wBAAgB,kBAAkB,CAC9B,IAAI,EAAE,OAAO,EACb,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,eAAe,EAAE,EACzB,SAAS,EAAE,SAAS,GACrB,IAAI,CA6DN"}