@holoscript/core 1.0.0-alpha.1 → 2.0.0

package/dist/chunk-VMZN4EVR.cjs

@@ -1,347 +0,0 @@
-'use strict';
-
-// src/HoloScriptTypeChecker.ts
-var BUILTIN_FUNCTIONS = /* @__PURE__ */ new Map([
-  ["add", { type: "function", parameters: [{ name: "a", type: "number" }, { name: "b", type: "number" }], returnType: "number" }],
-  ["subtract", { type: "function", parameters: [{ name: "a", type: "number" }, { name: "b", type: "number" }], returnType: "number" }],
-  ["multiply", { type: "function", parameters: [{ name: "a", type: "number" }, { name: "b", type: "number" }], returnType: "number" }],
-  ["divide", { type: "function", parameters: [{ name: "a", type: "number" }, { name: "b", type: "number" }], returnType: "number" }],
-  ["concat", { type: "function", parameters: [{ name: "a", type: "string" }, { name: "b", type: "string" }], returnType: "string" }],
-  ["length", { type: "function", parameters: [{ name: "value", type: "any" }], returnType: "number" }],
-  ["push", { type: "function", parameters: [{ name: "arr", type: "array" }, { name: "item", type: "any" }], returnType: "array" }],
-  ["pop", { type: "function", parameters: [{ name: "arr", type: "array" }], returnType: "any" }],
-  ["log", { type: "function", parameters: [{ name: "message", type: "any" }], returnType: "void" }],
-  ["print", { type: "function", parameters: [{ name: "message", type: "any" }], returnType: "void" }],
-  ["show", { type: "function", parameters: [{ name: "target", type: "orb" }], returnType: "void" }],
-  ["hide", { type: "function", parameters: [{ name: "target", type: "orb" }], returnType: "void" }],
-  ["pulse", { type: "function", parameters: [{ name: "target", type: "orb" }], returnType: "void" }],
-  ["animate", { type: "function", parameters: [{ name: "target", type: "orb" }, { name: "config", type: "object" }], returnType: "void" }],
-  ["spawn", { type: "function", parameters: [{ name: "type", type: "string" }, { name: "position", type: "object" }], returnType: "orb" }],
-  ["isNumber", { type: "function", parameters: [{ name: "value", type: "any" }], returnType: "boolean" }],
-  ["isString", { type: "function", parameters: [{ name: "value", type: "any" }], returnType: "boolean" }],
-  ["isArray", { type: "function", parameters: [{ name: "value", type: "any" }], returnType: "boolean" }]
-]);
-var HoloScriptTypeChecker = class {
-  constructor() {
-    this.typeMap = /* @__PURE__ */ new Map();
-    this.diagnostics = [];
-    this.currentLine = 0;
-    this.currentColumn = 0;
-    BUILTIN_FUNCTIONS.forEach((type, name) => {
-      this.typeMap.set(name, type);
-    });
-  }
-  /**
-   * Type check an AST
-   */
-  check(ast) {
-    this.diagnostics = [];
-    for (const node of ast) {
-      this.collectDeclaration(node);
-    }
-    for (const node of ast) {
-      this.checkNode(node);
-    }
-    return {
-      valid: this.diagnostics.filter((d) => d.severity === "error").length === 0,
-      diagnostics: this.diagnostics,
-      typeMap: new Map(this.typeMap)
-    };
-  }
-  /**
-   * Collect type declarations
-   */
-  collectDeclaration(node) {
-    switch (node.type) {
-      case "orb":
-        this.collectOrbDeclaration(node);
-        break;
-      case "method":
-        this.collectMethodDeclaration(node);
-        break;
-      case "variable-declaration":
-        this.collectVariableDeclaration(node);
-        break;
-      case "stream":
-        this.collectStreamDeclaration(node);
-        break;
-    }
-  }
-  collectOrbDeclaration(node) {
-    const properties = /* @__PURE__ */ new Map();
-    properties.set("position", { type: "object", properties: /* @__PURE__ */ new Map([
-      ["x", { type: "number" }],
-      ["y", { type: "number" }],
-      ["z", { type: "number" }]
-    ]) });
-    properties.set("color", { type: "string" });
-    properties.set("glow", { type: "boolean" });
-    properties.set("interactive", { type: "boolean" });
-    properties.set("visible", { type: "boolean" });
-    for (const [key, value] of Object.entries(node.properties)) {
-      properties.set(key, this.inferType(value));
-    }
-    this.typeMap.set(node.name, {
-      type: "orb",
-      properties
-    });
-  }
-  collectMethodDeclaration(node) {
-    const parameters = node.parameters.map((p) => ({
-      name: p.name,
-      type: this.parseTypeString(p.dataType),
-      optional: p.defaultValue !== void 0,
-      defaultValue: p.defaultValue
-    }));
-    this.typeMap.set(node.name, {
-      type: "function",
-      parameters,
-      returnType: node.returnType ? this.parseTypeString(node.returnType) : "void"
-    });
-  }
-  collectVariableDeclaration(node) {
-    let type = "any";
-    if (node.dataType) {
-      type = this.parseTypeString(node.dataType);
-    } else if (node.value !== void 0) {
-      type = this.inferType(node.value).type;
-    }
-    this.typeMap.set(node.name, { type });
-  }
-  collectStreamDeclaration(node) {
-    this.typeMap.set(node.name, {
-      type: "stream",
-      properties: /* @__PURE__ */ new Map([
-        ["source", { type: "string" }],
-        ["result", { type: "any" }]
-      ])
-    });
-  }
-  /**
-   * Check a node for type errors
-   */
-  checkNode(node) {
-    this.currentLine = node.position?.x ?? 0;
-    this.currentColumn = node.position?.y ?? 0;
-    switch (node.type) {
-      case "connection":
-        this.checkConnection(node);
-        break;
-      case "gate":
-        this.checkGate(node);
-        break;
-      case "for-loop":
-        this.checkForLoop(node);
-        break;
-      case "while-loop":
-        this.checkWhileLoop(node);
-        break;
-      case "foreach-loop":
-        this.checkForEachLoop(node);
-        break;
-      case "import":
-        this.checkImport(node);
-        break;
-      case "export":
-        this.checkExport(node);
-        break;
-    }
-  }
-  checkConnection(node) {
-    const fromType = this.typeMap.get(node.from);
-    const toType = this.typeMap.get(node.to);
-    if (!fromType) {
-      this.addDiagnostic("error", `Unknown source '${node.from}' in connection`, "E001");
-    }
-    if (!toType) {
-      this.addDiagnostic("error", `Unknown target '${node.to}' in connection`, "E002");
-    }
-    if (fromType && toType && node.dataType !== "any") {
-      if (fromType.type !== toType.type && fromType.type !== "any" && toType.type !== "any") {
-        this.addDiagnostic(
-          "warning",
-          `Connection from '${node.from}' (${fromType.type}) to '${node.to}' (${toType.type}) may be incompatible`,
-          "W001",
-          [`Consider using 'as "any"' to bypass type checking`]
-        );
-      }
-    }
-  }
-  checkGate(node) {
-    const conditionVars = this.extractVariables(node.condition);
-    for (const varName of conditionVars) {
-      if (!this.typeMap.has(varName) && !this.isLiteral(varName)) {
-        this.addDiagnostic("error", `Unknown variable '${varName}' in gate condition`, "E003");
-      }
-    }
-  }
-  checkForLoop(node) {
-    const initVars = this.extractVariables(node.init);
-    for (const varName of initVars) {
-      if (!this.typeMap.has(varName)) {
-        this.typeMap.set(varName, { type: "number" });
-      }
-    }
-    const condVars = this.extractVariables(node.condition);
-    for (const varName of condVars) {
-      if (!this.typeMap.has(varName) && !this.isLiteral(varName)) {
-        this.addDiagnostic("error", `Unknown variable '${varName}' in for loop condition`, "E004");
-      }
-    }
-  }
-  checkWhileLoop(node) {
-    const condVars = this.extractVariables(node.condition);
-    for (const varName of condVars) {
-      if (!this.typeMap.has(varName) && !this.isLiteral(varName)) {
-        this.addDiagnostic("error", `Unknown variable '${varName}' in while loop condition`, "E005");
-      }
-    }
-  }
-  checkForEachLoop(node) {
-    if (!this.typeMap.has(node.collection)) {
-      this.addDiagnostic("error", `Unknown collection '${node.collection}' in forEach loop`, "E006");
-    } else {
-      const collectionType = this.typeMap.get(node.collection);
-      if (collectionType && collectionType.type !== "array" && collectionType.type !== "any") {
-        this.addDiagnostic("error", `'${node.collection}' is not iterable (type: ${collectionType.type})`, "E007");
-      }
-    }
-    this.typeMap.set(node.variable, { type: "any" });
-  }
-  checkImport(node) {
-    if (!node.modulePath) {
-      this.addDiagnostic("error", "Import statement missing module path", "E008");
-    }
-    for (const name of node.imports) {
-      this.typeMap.set(name, { type: "any" });
-    }
-    if (node.defaultImport) {
-      this.typeMap.set(node.defaultImport, { type: "any" });
-    }
-  }
-  checkExport(node) {
-    if (node.exports) {
-      for (const name of node.exports) {
-        if (!this.typeMap.has(name)) {
-          this.addDiagnostic("error", `Cannot export unknown identifier '${name}'`, "E009");
-        }
-      }
-    }
-  }
-  /**
-   * Infer type from a value
-   */
-  inferType(value) {
-    if (value === null || value === void 0) {
-      return { type: "any", nullable: true };
-    }
-    if (typeof value === "number") {
-      return { type: "number" };
-    }
-    if (typeof value === "string") {
-      return { type: "string" };
-    }
-    if (typeof value === "boolean") {
-      return { type: "boolean" };
-    }
-    if (Array.isArray(value)) {
-      const elementType = value.length > 0 ? this.inferType(value[0]).type : "any";
-      return { type: "array", elementType };
-    }
-    if (typeof value === "object") {
-      const properties = /* @__PURE__ */ new Map();
-      for (const [key, val] of Object.entries(value)) {
-        properties.set(key, this.inferType(val));
-      }
-      return { type: "object", properties };
-    }
-    return { type: "any" };
-  }
-  /**
-   * Parse type string to HoloScriptType
-   */
-  parseTypeString(typeStr) {
-    const normalized = typeStr.toLowerCase().trim();
-    const validTypes = [
-      "number",
-      "string",
-      "boolean",
-      "array",
-      "object",
-      "function",
-      "void",
-      "any",
-      "unknown",
-      "never",
-      "orb",
-      "stream",
-      "connection",
-      "gate"
-    ];
-    if (validTypes.includes(normalized)) {
-      return normalized;
-    }
-    return "any";
-  }
-  /**
-   * Extract variable names from an expression string
-   */
-  extractVariables(expr) {
-    const varPattern = /\b([a-zA-Z_][a-zA-Z0-9_]*)\b/g;
-    const matches = expr.match(varPattern) || [];
-    const keywords = ["true", "false", "null", "undefined", "if", "else", "for", "while", "return"];
-    return matches.filter((m) => !keywords.includes(m));
-  }
-  /**
-   * Check if string is a literal
-   */
-  isLiteral(str) {
-    if (/^-?\d+(\.\d+)?$/.test(str)) return true;
-    if (str === "true" || str === "false") return true;
-    if (/^["'].*["']$/.test(str)) return true;
-    return false;
-  }
-  /**
-   * Add a diagnostic
-   */
-  addDiagnostic(severity, message, code, suggestions) {
-    this.diagnostics.push({
-      severity,
-      message,
-      line: this.currentLine,
-      column: this.currentColumn,
-      code,
-      suggestions
-    });
-  }
-  /**
-   * Get type info for a name
-   */
-  getType(name) {
-    return this.typeMap.get(name);
-  }
-  /**
-   * Get all registered types
-   */
-  getAllTypes() {
-    return new Map(this.typeMap);
-  }
-  /**
-   * Reset the type checker
-   */
-  reset() {
-    this.typeMap.clear();
-    this.diagnostics = [];
-    BUILTIN_FUNCTIONS.forEach((type, name) => {
-      this.typeMap.set(name, type);
-    });
-  }
-};
-function createTypeChecker() {
-  return new HoloScriptTypeChecker();
-}
-
-exports.HoloScriptTypeChecker = HoloScriptTypeChecker;
-exports.createTypeChecker = createTypeChecker;
-//# sourceMappingURL=chunk-VMZN4EVR.cjs.map
-//# sourceMappingURL=chunk-VMZN4EVR.cjs.map

package/dist/chunk-VMZN4EVR.cjs.map

@@ -1 +0,0 @@
-{"version":3,"sources":["../src/HoloScriptTypeChecker.ts"],"names":[],"mappings":";;;AAuEA,IAAM,iBAAA,uBAA+C,GAAA,CAAI;AAAA,EACvD,CAAC,OAAO,EAAE,IAAA,EAAM,YAAY,UAAA,EAAY,CAAC,EAAE,IAAA,EAAM,GAAA,EAAK,IAAA,EAAM,UAAS,EAAG,EAAE,MAAM,GAAA,EAAK,IAAA,EAAM,UAAU,CAAA,EAAG,UAAA,EAAY,QAAA,EAAU,CAAA;AAAA,EAC9H,CAAC,YAAY,EAAE,IAAA,EAAM,YAAY,UAAA,EAAY,CAAC,EAAE,IAAA,EAAM,GAAA,EAAK,IAAA,EAAM,UAAS,EAAG,EAAE,MAAM,GAAA,EAAK,IAAA,EAAM,UAAU,CAAA,EAAG,UAAA,EAAY,QAAA,EAAU,CAAA;AAAA,EACnI,CAAC,YAAY,EAAE,IAAA,EAAM,YAAY,UAAA,EAAY,CAAC,EAAE,IAAA,EAAM,GAAA,EAAK,IAAA,EAAM,UAAS,EAAG,EAAE,MAAM,GAAA,EAAK,IAAA,EAAM,UAAU,CAAA,EAAG,UAAA,EAAY,QAAA,EAAU,CAAA;AAAA,EACnI,CAAC,UAAU,EAAE,IAAA,EAAM,YAAY,UAAA,EAAY,CAAC,EAAE,IAAA,EAAM,GAAA,EAAK,IAAA,EAAM,UAAS,EAAG,EAAE,MAAM,GAAA,EAAK,IAAA,EAAM,UAAU,CAAA,EAAG,UAAA,EAAY,QAAA,EAAU,CAAA;AAAA,EACjI,CAAC,UAAU,EAAE,IAAA,EAAM,YAAY,UAAA,EAAY,CAAC,EAAE,IAAA,EAAM,GAAA,EAAK,IAAA,EAAM,UAAS,EAAG,EAAE,MAAM,GAAA,EAAK,IAAA,EAAM,UAAU,CAAA,EAAG,UAAA,EAAY,QAAA,EAAU,CAAA;AAAA,EACjI,CAAC,QAAA,EAAU,EAAE,IAAA,EAAM,UAAA,EAAY,YAAY,CAAC,EAAE,IAAA,EAAM,OAAA,EAAS,MAAM,KAAA,EAAO,CAAA,EAAG,UAAA,EAAY,UAAU,CAAA;AAAA,EACnG,CAAC,QAAQ,EAAE,IAAA,EAAM,YAAY,UAAA,EAAY,CAAC,EAAE,IAAA,EAAM,KAAA,EAAO,IAAA,EAAM,SAAQ,EAAG,EAAE,MAAM,MAAA,EAAQ,IAAA,EAAM,OAAO,CAAA,EAAG,UAAA,EAAY,OAAA,EAAS,CAAA;AAAA,EAC/H,CAAC,KAAA,EAAO,EAAE,IAAA,EAAM,UAAA,EAAY,YAAY,CAAC,EAAE,IAAA,EAAM,KAAA,EAAO,MAAM,OAAA,EAAS,CAAA,EAAG,UAAA,EAAY,OAAO,CAAA;AAAA,EAC7F,CAAC,KAAA,EAAO,EAAE,IAAA,EAAM,UAAA,EAAY,YAAY,CAAC,EAAE,IAAA,EAAM,SAAA,EAAW,MAAM,KAAA,EAAO,CAAA,EAAG,UAAA,EAAY,QAAQ,CAAA;AAAA,EAChG,CAAC,OAAA,EAAS,EAAE,IAAA,EAAM,UAAA,EAAY,YAAY,CAAC,EAAE,IAAA,EAAM,SAAA,EAAW,MAAM,KAAA,EAAO,CAAA,EAAG,UAAA,EAAY,QAAQ,CAAA;AAAA,EAClG,CAAC,MAAA,EAAQ,EAAE,IAAA,EAAM,UAAA,EAAY,YAAY,CAAC,EAAE,IAAA,EAAM,QAAA,EAAU,MAAM,KAAA,EAAO,CAAA,EAAG,UAAA,EAAY,QAAQ,CAAA;AAAA,EAChG,CAAC,MAAA,EAAQ,EAAE,IAAA,EAAM,UAAA,EAAY,YAAY,CAAC,EAAE,IAAA,EAAM,QAAA,EAAU,MAAM,KAAA,EAAO,CAAA,EAAG,UAAA,EAAY,QAAQ,CAAA;AAAA,EAChG,CAAC,OAAA,EAAS,EAAE,IAAA,EAAM,UAAA,EAAY,YAAY,CAAC,EAAE,IAAA,EAAM,QAAA,EAAU,MAAM,KAAA,EAAO,CAAA,EAAG,UAAA,EAAY,QAAQ,CAAA;AAAA,EACjG,CAAC,WAAW,EAAE,IAAA,EAAM,YAAY,UAAA,EAAY,CAAC,EAAE,IAAA,EAAM,QAAA,EAAU,IAAA,EAAM,OAAM,EAAG,EAAE,MAAM,QAAA,EAAU,IAAA,EAAM,UAAU,CAAA,EAAG,UAAA,EAAY,MAAA,EAAQ,CAAA;AAAA,EACvI,CAAC,SAAS,EAAE,IAAA,EAAM,YAAY,UAAA,EAAY,CAAC,EAAE,IAAA,EAAM,MAAA,EAAQ,IAAA,EAAM,UAAS,EAAG,EAAE,MAAM,UAAA,EAAY,IAAA,EAAM,UAAU,CAAA,EAAG,UAAA,EAAY,KAAA,EAAO,CAAA;AAAA,EACvI,CAAC,UAAA,EAAY,EAAE,IAAA,EAAM,UAAA,EAAY,YAAY,CAAC,EAAE,IAAA,EAAM,OAAA,EAAS,MAAM,KAAA,EAAO,CAAA,EAAG,UAAA,EAAY,WAAW,CAAA;AAAA,EACtG,CAAC,UAAA,EAAY,EAAE,IAAA,EAAM,UAAA,EAAY,YAAY,CAAC,EAAE,IAAA,EAAM,OAAA,EAAS,MAAM,KAAA,EAAO,CAAA,EAAG,UAAA,EAAY,WAAW,CAAA;AAAA,EACtG,CAAC,SAAA,EAAW,EAAE,IAAA,EAAM,UAAA,EAAY,YAAY,CAAC,EAAE,IAAA,EAAM,OAAA,EAAS,MAAM,KAAA,EAAO,CAAA,EAAG,UAAA,EAAY,WAAW;AACvG,CAAC,CAAA;AAEM,IAAM,wBAAN,MAA4B;AAAA,EAMjC,WAAA,GAAc;AALd,IAAA,IAAA,CAAQ,OAAA,uBAAqC,GAAA,EAAI;AACjD,IAAA,IAAA,CAAQ,cAAgC,EAAC;AACzC,IAAA,IAAA,CAAQ,WAAA,GAAsB,CAAA;AAC9B,IAAA,IAAA,CAAQ,aAAA,GAAwB,CAAA;AAI9B,IAAA,iBAAA,CAAkB,OAAA,CAAQ,CAAC,IAAA,EAAM,IAAA,KAAS;AACxC,MAAA,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,IAAA,EAAM,IAAI,CAAA;AAAA,IAC7B,CAAC,CAAA;AAAA,EACH;AAAA;AAAA;AAAA;AAAA,EAKA,MAAM,GAAA,EAAiC;AACrC,IAAA,IAAA,CAAK,cAAc,EAAC;AAGpB,IAAA,KAAA,MAAW,QAAQ,GAAA,EAAK;AACtB,MAAA,IAAA,CAAK,mBAAmB,IAAI,CAAA;AAAA,IAC9B;AAGA,IAAA,KAAA,MAAW,QAAQ,GAAA,EAAK;AACtB,MAAA,IAAA,CAAK,UAAU,IAAI,CAAA;AAAA,IACrB;AAEA,IAAA,OAAO;AAAA,MACL,KAAA,EAAO,KAAK,WAAA,CAAY,MAAA,CAAO,OAAK,CAAA,CAAE,QAAA,KAAa,OAAO,CAAA,CAAE,MAAA,KAAW,CAAA;AAAA,MACvE,aAAa,IAAA,CAAK,WAAA;AAAA,MAClB,OAAA,EAAS,IAAI,GAAA,CAAI,IAAA,CAAK,OAAO;AAAA,KAC/B;AAAA,EACF;AAAA;AAAA;AAAA;AAAA,EAKQ,mBAAmB,IAAA,EAAqB;AAC9C,IAAA,QAAQ,KAAK,IAAA;AAAM,MACjB,KAAK,KAAA;AACH,QAAA,IAAA,CAAK,sBAAsB,IAAe,CAAA;AAC1C,QAAA;AAAA,MACF,KAAK,QAAA;AACH,QAAA,IAAA,CAAK,yBAAyB,IAAkB,CAAA;AAChD,QAAA;AAAA,MACF,KAAK,sBAAA;AACH,QAAA,IAAA,CAAK,2BAA2B,IAA+B,CAAA;AAC/D,QAAA;AAAA,MACF,KAAK,QAAA;AACH,QAAA,IAAA,CAAK,yBAAyB,IAAkB,CAAA;AAChD,QAAA;AAAA;AACJ,EACF;AAAA,EAEQ,sBAAsB,IAAA,EAAqB;AACjD,IAAA,MAAM,UAAA,uBAAiB,GAAA,EAAsB;AAG7C,IAAA,UAAA,CAAW,IAAI,UAAA,EAAY,EAAE,MAAM,QAAA,EAAU,UAAA,sBAAgB,GAAA,CAAI;AAAA,MAC/D,CAAC,GAAA,EAAK,EAAE,IAAA,EAAM,UAAU,CAAA;AAAA,MACxB,CAAC,GAAA,EAAK,EAAE,IAAA,EAAM,UAAU,CAAA;AAAA,MACxB,CAAC,GAAA,EAAK,EAAE,IAAA,EAAM,UAAU;AAAA,KACzB,GAAE,CAAA;AACH,IAAA,UAAA,CAAW,GAAA,CAAI,OAAA,EAAS,EAAE,IAAA,EAAM,UAAU,CAAA;AAC1C,IAAA,UAAA,CAAW,GAAA,CAAI,MAAA,EAAQ,EAAE,IAAA,EAAM,WAAW,CAAA;AAC1C,IAAA,UAAA,CAAW,GAAA,CAAI,aAAA,EAAe,EAAE,IAAA,EAAM,WAAW,CAAA;AACjD,IAAA,UAAA,CAAW,GAAA,CAAI,SAAA,EAAW,EAAE,IAAA,EAAM,WAAW,CAAA;AAG7C,IAAA,KAAA,MAAW,CAAC,KAAK,KAAK,CAAA,IAAK,OAAO,OAAA,CAAQ,IAAA,CAAK,UAAU,CAAA,EAAG;AAC1D,MAAA,UAAA,CAAW,GAAA,CAAI,GAAA,EAAK,IAAA,CAAK,SAAA,CAAU,KAAK,CAAC,CAAA;AAAA,IAC3C;AAEA,IAAA,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,IAAA,CAAK,IAAA,EAAM;AAAA,MAC1B,IAAA,EAAM,KAAA;AAAA,MACN;AAAA,KACD,CAAA;AAAA,EACH;AAAA,EAEQ,yBAAyB,IAAA,EAAwB;AACvD,IAAA,MAAM,UAAA,GAA8B,IAAA,CAAK,UAAA,CAAW,GAAA,CAAI,CAAA,CAAA,MAAM;AAAA,MAC5D,MAAM,CAAA,CAAE,IAAA;AAAA,MACR,IAAA,EAAM,IAAA,CAAK,eAAA,CAAgB,CAAA,CAAE,QAAQ,CAAA;AAAA,MACrC,QAAA,EAAU,EAAE,YAAA,KAAiB,MAAA;AAAA,MAC7B,cAAc,CAAA,CAAE;AAAA,KAClB,CAAE,CAAA;AAEF,IAAA,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,IAAA,CAAK,IAAA,EAAM;AAAA,MAC1B,IAAA,EAAM,UAAA;AAAA,MACN,UAAA;AAAA,MACA,YAAY,IAAA,CAAK,UAAA,GAAa,KAAK,eAAA,CAAgB,IAAA,CAAK,UAAU,CAAA,GAAI;AAAA,KACvE,CAAA;AAAA,EACH;AAAA,EAEQ,2BAA2B,IAAA,EAAqC;AACtE,IAAA,IAAI,IAAA,GAAuB,KAAA;AAE3B,IAAA,IAAI,KAAK,QAAA,EAAU;AACjB,MAAA,IAAA,GAAO,IAAA,CAAK,eAAA,CAAgB,IAAA,CAAK,QAAQ,CAAA;AAAA,IAC3C,CAAA,MAAA,IAAW,IAAA,CAAK,KAAA,KAAU,MAAA,EAAW;AACnC,MAAA,IAAA,GAAO,IAAA,CAAK,SAAA,CAAU,IAAA,CAAK,KAAK,CAAA,CAAE,IAAA;AAAA,IACpC;AAEA,IAAA,IAAA,CAAK,QAAQ,GAAA,CAAI,IAAA,CAAK,IAAA,EAAM,EAAE,MAAM,CAAA;AAAA,EACtC;AAAA,EAEQ,yBAAyB,IAAA,EAAwB;AACvD,IAAA,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,IAAA,CAAK,IAAA,EAAM;AAAA,MAC1B,IAAA,EAAM,QAAA;AAAA,MACN,UAAA,sBAAgB,GAAA,CAAI;AAAA,QAClB,CAAC,QAAA,EAAU,EAAE,IAAA,EAAM,UAAU,CAAA;AAAA,QAC7B,CAAC,QAAA,EAAU,EAAE,IAAA,EAAM,OAAO;AAAA,OAC3B;AAAA,KACF,CAAA;AAAA,EACH;AAAA;AAAA;AAAA;AAAA,EAKQ,UAAU,IAAA,EAAqB;AACrC,IAAA,IAAA,CAAK,WAAA,GAAc,IAAA,CAAK,QAAA,EAAU,CAAA,IAAK,CAAA;AACvC,IAAA,IAAA,CAAK,aAAA,GAAgB,IAAA,CAAK,QAAA,EAAU,CAAA,IAAK,CAAA;AAEzC,IAAA,QAAQ,KAAK,IAAA;AAAM,MACjB,KAAK,YAAA;AACH,QAAA,IAAA,CAAK,gBAAgB,IAAsB,CAAA;AAC3C,QAAA;AAAA,MACF,KAAK,MAAA;AACH,QAAA,IAAA,CAAK,UAAU,IAAgB,CAAA;AAC/B,QAAA;AAAA,MACF,KAAK,UAAA;AACH,QAAA,IAAA,CAAK,aAAa,IAAmB,CAAA;AACrC,QAAA;AAAA,MACF,KAAK,YAAA;AACH,QAAA,IAAA,CAAK,eAAe,IAAqB,CAAA;AACzC,QAAA;AAAA,MACF,KAAK,cAAA;AACH,QAAA,IAAA,CAAK,iBAAiB,IAAuB,CAAA;AAC7C,QAAA;AAAA,MACF,KAAK,QAAA;AACH,QAAA,IAAA,CAAK,YAAY,IAAkB,CAAA;AACnC,QAAA;AAAA,MACF,KAAK,QAAA;AACH,QAAA,IAAA,CAAK,YAAY,IAAkB,CAAA;AACnC,QAAA;AAAA;AACJ,EACF;AAAA,EAEQ,gBAAgB,IAAA,EAA4B;AAClD,IAAA,MAAM,QAAA,GAAW,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,KAAK,IAAI,CAAA;AAC3C,IAAA,MAAM,MAAA,GAAS,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,KAAK,EAAE,CAAA;AAEvC,IAAA,IAAI,CAAC,QAAA,EAAU;AACb,MAAA,IAAA,CAAK,cAAc,OAAA,EAAS,CAAA,gBAAA,EAAmB,IAAA,CAAK,IAAI,mBAAmB,MAAM,CAAA;AAAA,IACnF;AAEA,IAAA,IAAI,CAAC,MAAA,EAAQ;AACX,MAAA,IAAA,CAAK,cAAc,OAAA,EAAS,CAAA,gBAAA,EAAmB,IAAA,CAAK,EAAE,mBAAmB,MAAM,CAAA;AAAA,IACjF;AAGA,IAAA,IAAI,QAAA,IAAY,MAAA,IAAU,IAAA,CAAK,QAAA,KAAa,KAAA,EAAO;AAEjD,MAAA,IAAI,QAAA,CAAS,SAAS,MAAA,CAAO,IAAA,IAAQ,SAAS,IAAA,KAAS,KAAA,IAAS,MAAA,CAAO,IAAA,KAAS,KAAA,EAAO;AACrF,QAAA,IAAA,CAAK,aAAA;AAAA,UAAc,SAAA;AAAA,UACjB,CAAA,iBAAA,EAAoB,IAAA,CAAK,IAAI,CAAA,GAAA,EAAM,QAAA,CAAS,IAAI,CAAA,MAAA,EAAS,IAAA,CAAK,EAAE,CAAA,GAAA,EAAM,MAAA,CAAO,IAAI,CAAA,qBAAA,CAAA;AAAA,UACjF,MAAA;AAAA,UACA,CAAC,CAAA,iDAAA,CAAmD;AAAA,SACtD;AAAA,MACF;AAAA,IACF;AAAA,EACF;AAAA,EAEQ,UAAU,IAAA,EAAsB;AAEtC,IAAA,MAAM,aAAA,GAAgB,IAAA,CAAK,gBAAA,CAAiB,IAAA,CAAK,SAAS,CAAA;AAC1D,IAAA,KAAA,MAAW,WAAW,aAAA,EAAe;AACnC,MAAA,IAAI,CAAC,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,OAAO,KAAK,CAAC,IAAA,CAAK,SAAA,CAAU,OAAO,CAAA,EAAG;AAC1D,QAAA,IAAA,CAAK,aAAA,CAAc,OAAA,EAAS,CAAA,kBAAA,EAAqB,OAAO,uBAAuB,MAAM,CAAA;AAAA,MACvF;AAAA,IACF;AAAA,EACF;AAAA,EAEQ,aAAa,IAAA,EAAyB;AAE5C,IAAA,MAAM,QAAA,GAAW,IAAA,CAAK,gBAAA,CAAiB,IAAA,CAAK,IAAI,CAAA;AAEhD,IAAA,KAAA,MAAW,WAAW,QAAA,EAAU;AAC9B,MAAA,IAAI,CAAC,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,OAAO,CAAA,EAAG;AAC9B,QAAA,IAAA,CAAK,QAAQ,GAAA,CAAI,OAAA,EAAS,EAAE,IAAA,EAAM,UAAU,CAAA;AAAA,MAC9C;AAAA,IACF;AAGA,IAAA,MAAM,QAAA,GAAW,IAAA,CAAK,gBAAA,CAAiB,IAAA,CAAK,SAAS,CAAA;AACrD,IAAA,KAAA,MAAW,WAAW,QAAA,EAAU;AAC9B,MAAA,IAAI,CAAC,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,OAAO,KAAK,CAAC,IAAA,CAAK,SAAA,CAAU,OAAO,CAAA,EAAG;AAC1D,QAAA,IAAA,CAAK,aAAA,CAAc,OAAA,EAAS,CAAA,kBAAA,EAAqB,OAAO,2BAA2B,MAAM,CAAA;AAAA,MAC3F;AAAA,IACF;AAAA,EACF;AAAA,EAEQ,eAAe,IAAA,EAA2B;AAChD,IAAA,MAAM,QAAA,GAAW,IAAA,CAAK,gBAAA,CAAiB,IAAA,CAAK,SAAS,CAAA;AACrD,IAAA,KAAA,MAAW,WAAW,QAAA,EAAU;AAC9B,MAAA,IAAI,CAAC,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,OAAO,KAAK,CAAC,IAAA,CAAK,SAAA,CAAU,OAAO,CAAA,EAAG;AAC1D,QAAA,IAAA,CAAK,aAAA,CAAc,OAAA,EAAS,CAAA,kBAAA,EAAqB,OAAO,6BAA6B,MAAM,CAAA;AAAA,MAC7F;AAAA,IACF;AAAA,EACF;AAAA,EAEQ,iBAAiB,IAAA,EAA6B;AAEpD,IAAA,IAAI,CAAC,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,IAAA,CAAK,UAAU,CAAA,EAAG;AACtC,MAAA,IAAA,CAAK,cAAc,OAAA,EAAS,CAAA,oBAAA,EAAuB,IAAA,CAAK,UAAU,qBAAqB,MAAM,CAAA;AAAA,IAC/F,CAAA,MAAO;AACL,MAAA,MAAM,cAAA,GAAiB,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,KAAK,UAAU,CAAA;AACvD,MAAA,IAAI,kBAAkB,cAAA,CAAe,IAAA,KAAS,OAAA,IAAW,cAAA,CAAe,SAAS,KAAA,EAAO;AACtF,QAAA,IAAA,CAAK,aAAA,CAAc,SAAS,CAAA,CAAA,EAAI,IAAA,CAAK,UAAU,CAAA,yBAAA,EAA4B,cAAA,CAAe,IAAI,CAAA,CAAA,CAAA,EAAK,MAAM,CAAA;AAAA,MAC3G;AAAA,IACF;AAGA,IAAA,IAAA,CAAK,QAAQ,GAAA,CAAI,IAAA,CAAK,UAAU,EAAE,IAAA,EAAM,OAAO,CAAA;AAAA,EACjD;AAAA,EAEQ,YAAY,IAAA,EAAwB;AAC1C,IAAA,IAAI,CAAC,KAAK,UAAA,EAAY;AACpB,MAAA,IAAA,CAAK,aAAA,CAAc,OAAA,EAAS,sCAAA,EAAwC,MAAM,CAAA;AAAA,IAC5E;AAGA,IAAA,KAAA,MAAW,IAAA,IAAQ,KAAK,OAAA,EAAS;AAC/B,MAAA,IAAA,CAAK,QAAQ,GAAA,CAAI,IAAA,EAAM,EAAE,IAAA,EAAM,OAAO,CAAA;AAAA,IACxC;AAEA,IAAA,IAAI,KAAK,aAAA,EAAe;AACtB,MAAA,IAAA,CAAK,QAAQ,GAAA,CAAI,IAAA,CAAK,eAAe,EAAE,IAAA,EAAM,OAAO,CAAA;AAAA,IACtD;AAAA,EACF;AAAA,EAEQ,YAAY,IAAA,EAAwB;AAC1C,IAAA,IAAI,KAAK,OAAA,EAAS;AAChB,MAAA,KAAA,MAAW,IAAA,IAAQ,KAAK,OAAA,EAAS;AAC/B,QAAA,IAAI,CAAC,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,IAAI,CAAA,EAAG;AAC3B,UAAA,IAAA,CAAK,aAAA,CAAc,OAAA,EAAS,CAAA,kCAAA,EAAqC,IAAI,KAAK,MAAM,CAAA;AAAA,QAClF;AAAA,MACF;AAAA,IACF;AAAA,EACF;AAAA;AAAA;AAAA;AAAA,EAKQ,UAAU,KAAA,EAA0B;AAC1C,IAAA,IAAI,KAAA,KAAU,IAAA,IAAQ,KAAA,KAAU,MAAA,EAAW;AACzC,MAAA,OAAO,EAAE,IAAA,EAAM,KAAA,EAAO,QAAA,EAAU,IAAA,EAAK;AAAA,IACvC;AAEA,IAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,MAAA,OAAO,EAAE,MAAM,QAAA,EAAS;AAAA,IAC1B;AAEA,IAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,MAAA,OAAO,EAAE,MAAM,QAAA,EAAS;AAAA,IAC1B;AAEA,IAAA,IAAI,OAAO,UAAU,SAAA,EAAW;AAC9B,MAAA,OAAO,EAAE,MAAM,SAAA,EAAU;AAAA,IAC3B;AAEA,IAAA,IAAI,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACxB,MAAA,MAAM,WAAA,GAAc,KAAA,CAAM,MAAA,GAAS,CAAA,GAAI,IAAA,CAAK,UAAU,KAAA,CAAM,CAAC,CAAC,CAAA,CAAE,IAAA,GAAO,KAAA;AACvE,MAAA,OAAO,EAAE,IAAA,EAAM,OAAA,EAAS,WAAA,EAAY;AAAA,IACtC;AAEA,IAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,MAAA,MAAM,UAAA,uBAAiB,GAAA,EAAsB;AAC7C,MAAA,KAAA,MAAW,CAAC,GAAA,EAAK,GAAG,KAAK,MAAA,CAAO,OAAA,CAAQ,KAAK,CAAA,EAAG;AAC9C,QAAA,UAAA,CAAW,GAAA,CAAI,GAAA,EAAK,IAAA,CAAK,SAAA,CAAU,GAAG,CAAC,CAAA;AAAA,MACzC;AACA,MAAA,OAAO,EAAE,IAAA,EAAM,QAAA,EAAU,UAAA,EAAW;AAAA,IACtC;AAEA,IAAA,OAAO,EAAE,MAAM,KAAA,EAAM;AAAA,EACvB;AAAA;AAAA;AAAA;AAAA,EAKQ,gBAAgB,OAAA,EAAiC;AACvD,IAAA,MAAM,UAAA,GAAa,OAAA,CAAQ,WAAA,EAAY,CAAE,IAAA,EAAK;AAC9C,IAAA,MAAM,UAAA,GAA+B;AAAA,MACnC,QAAA;AAAA,MAAU,QAAA;AAAA,MAAU,SAAA;AAAA,MAAW,OAAA;AAAA,MAAS,QAAA;AAAA,MACxC,UAAA;AAAA,MAAY,MAAA;AAAA,MAAQ,KAAA;AAAA,MAAO,SAAA;AAAA,MAAW,OAAA;AAAA,MACtC,KAAA;AAAA,MAAO,QAAA;AAAA,MAAU,YAAA;AAAA,MAAc;AAAA,KACjC;AAEA,IAAA,IAAI,UAAA,CAAW,QAAA,CAAS,UAA4B,CAAA,EAAG;AACrD,MAAA,OAAO,UAAA;AAAA,IACT;AAEA,IAAA,OAAO,KAAA;AAAA,EACT;AAAA;AAAA;AAAA;AAAA,EAKQ,iBAAiB,IAAA,EAAwB;AAC/C,IAAA,MAAM,UAAA,GAAa,+BAAA;AACnB,IAAA,MAAM,OAAA,GAAU,IAAA,CAAK,KAAA,CAAM,UAAU,KAAK,EAAC;AAC3C,IAAA,MAAM,QAAA,GAAW,CAAC,MAAA,EAAQ,OAAA,EAAS,MAAA,EAAQ,aAAa,IAAA,EAAM,MAAA,EAAQ,KAAA,EAAO,OAAA,EAAS,QAAQ,CAAA;AAC9F,IAAA,OAAO,QAAQ,MAAA,CAAO,CAAA,CAAA,KAAK,CAAC,QAAA,CAAS,QAAA,CAAS,CAAC,CAAC,CAAA;AAAA,EAClD;AAAA;AAAA;AAAA;AAAA,EAKQ,UAAU,GAAA,EAAsB;AAEtC,IAAA,IAAI,iBAAA,CAAkB,IAAA,CAAK,GAAG,CAAA,EAAG,OAAO,IAAA;AAExC,IAAA,IAAI,GAAA,KAAQ,MAAA,IAAU,GAAA,KAAQ,OAAA,EAAS,OAAO,IAAA;AAE9C,IAAA,IAAI,cAAA,CAAe,IAAA,CAAK,GAAG,CAAA,EAAG,OAAO,IAAA;AACrC,IAAA,OAAO,KAAA;AAAA,EACT;AAAA;AAAA;AAAA;AAAA,EAKQ,aAAA,CACN,QAAA,EACA,OAAA,EACA,IAAA,EACA,WAAA,EACM;AACN,IAAA,IAAA,CAAK,YAAY,IAAA,CAAK;AAAA,MACpB,QAAA;AAAA,MACA,OAAA;AAAA,MACA,MAAM,IAAA,CAAK,WAAA;AAAA,MACX,QAAQ,IAAA,CAAK,aAAA;AAAA,MACb,IAAA;AAAA,MACA;AAAA,KACD,CAAA;AAAA,EACH;AAAA;AAAA;AAAA;AAAA,EAKA,QAAQ,IAAA,EAAoC;AAC1C,IAAA,OAAO,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,IAAI,CAAA;AAAA,EAC9B;AAAA;AAAA;AAAA;AAAA,EAKA,WAAA,GAAqC;AACnC,IAAA,OAAO,IAAI,GAAA,CAAI,IAAA,CAAK,OAAO,CAAA;AAAA,EAC7B;AAAA;AAAA;AAAA;AAAA,EAKA,KAAA,GAAc;AACZ,IAAA,IAAA,CAAK,QAAQ,KAAA,EAAM;AACnB,IAAA,IAAA,CAAK,cAAc,EAAC;AAGpB,IAAA,iBAAA,CAAkB,OAAA,CAAQ,CAAC,IAAA,EAAM,IAAA,KAAS;AACxC,MAAA,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,IAAA,EAAM,IAAI,CAAA;AAAA,IAC7B,CAAC,CAAA;AAAA,EACH;AACF;AAKO,SAAS,iBAAA,GAA2C;AACzD,EAAA,OAAO,IAAI,qBAAA,EAAsB;AACnC","file":"chunk-VMZN4EVR.cjs","sourcesContent":["/**\n * HoloScript Type Checker\n *\n * Static type analysis for HoloScript code.\n * Validates types, detects errors, and provides type information.\n */\n\nimport type {\n  ASTNode,\n  OrbNode,\n  MethodNode,\n  ConnectionNode,\n  GateNode,\n  StreamNode,\n  VariableDeclarationNode,\n  ForLoopNode,\n  WhileLoopNode,\n  ForEachLoopNode,\n  ImportNode,\n  ExportNode,\n} from './types';\n\n// Type system types\nexport type HoloScriptType =\n  | 'number'\n  | 'string'\n  | 'boolean'\n  | 'array'\n  | 'object'\n  | 'function'\n  | 'void'\n  | 'any'\n  | 'unknown'\n  | 'never'\n  | 'orb'\n  | 'stream'\n  | 'connection'\n  | 'gate';\n\nexport interface TypeInfo {\n  type: HoloScriptType;\n  elementType?: HoloScriptType; // For arrays\n  properties?: Map<string, TypeInfo>; // For objects/orbs\n  parameters?: ParameterType[]; // For functions\n  returnType?: HoloScriptType; // For functions\n  nullable?: boolean;\n}\n\nexport interface ParameterType {\n  name: string;\n  type: HoloScriptType;\n  optional?: boolean;\n  defaultValue?: unknown;\n}\n\nexport interface TypeDiagnostic {\n  severity: 'error' | 'warning' | 'info';\n  message: string;\n  line: number;\n  column: number;\n  code: string;\n  suggestions?: string[];\n}\n\nexport interface TypeCheckResult {\n  valid: boolean;\n  diagnostics: TypeDiagnostic[];\n  typeMap: Map<string, TypeInfo>;\n}\n\n// Built-in type definitions\nconst BUILTIN_FUNCTIONS: Map<string, TypeInfo> = new Map([\n  ['add', { type: 'function', parameters: [{ name: 'a', type: 'number' }, { name: 'b', type: 'number' }], returnType: 'number' }],\n  ['subtract', { type: 'function', parameters: [{ name: 'a', type: 'number' }, { name: 'b', type: 'number' }], returnType: 'number' }],\n  ['multiply', { type: 'function', parameters: [{ name: 'a', type: 'number' }, { name: 'b', type: 'number' }], returnType: 'number' }],\n  ['divide', { type: 'function', parameters: [{ name: 'a', type: 'number' }, { name: 'b', type: 'number' }], returnType: 'number' }],\n  ['concat', { type: 'function', parameters: [{ name: 'a', type: 'string' }, { name: 'b', type: 'string' }], returnType: 'string' }],\n  ['length', { type: 'function', parameters: [{ name: 'value', type: 'any' }], returnType: 'number' }],\n  ['push', { type: 'function', parameters: [{ name: 'arr', type: 'array' }, { name: 'item', type: 'any' }], returnType: 'array' }],\n  ['pop', { type: 'function', parameters: [{ name: 'arr', type: 'array' }], returnType: 'any' }],\n  ['log', { type: 'function', parameters: [{ name: 'message', type: 'any' }], returnType: 'void' }],\n  ['print', { type: 'function', parameters: [{ name: 'message', type: 'any' }], returnType: 'void' }],\n  ['show', { type: 'function', parameters: [{ name: 'target', type: 'orb' }], returnType: 'void' }],\n  ['hide', { type: 'function', parameters: [{ name: 'target', type: 'orb' }], returnType: 'void' }],\n  ['pulse', { type: 'function', parameters: [{ name: 'target', type: 'orb' }], returnType: 'void' }],\n  ['animate', { type: 'function', parameters: [{ name: 'target', type: 'orb' }, { name: 'config', type: 'object' }], returnType: 'void' }],\n  ['spawn', { type: 'function', parameters: [{ name: 'type', type: 'string' }, { name: 'position', type: 'object' }], returnType: 'orb' }],\n  ['isNumber', { type: 'function', parameters: [{ name: 'value', type: 'any' }], returnType: 'boolean' }],\n  ['isString', { type: 'function', parameters: [{ name: 'value', type: 'any' }], returnType: 'boolean' }],\n  ['isArray', { type: 'function', parameters: [{ name: 'value', type: 'any' }], returnType: 'boolean' }],\n]);\n\nexport class HoloScriptTypeChecker {\n  private typeMap: Map<string, TypeInfo> = new Map();\n  private diagnostics: TypeDiagnostic[] = [];\n  private currentLine: number = 0;\n  private currentColumn: number = 0;\n\n  constructor() {\n    // Initialize with built-in functions\n    BUILTIN_FUNCTIONS.forEach((type, name) => {\n      this.typeMap.set(name, type);\n    });\n  }\n\n  /**\n   * Type check an AST\n   */\n  check(ast: ASTNode[]): TypeCheckResult {\n    this.diagnostics = [];\n\n    // First pass: collect declarations\n    for (const node of ast) {\n      this.collectDeclaration(node);\n    }\n\n    // Second pass: validate types\n    for (const node of ast) {\n      this.checkNode(node);\n    }\n\n    return {\n      valid: this.diagnostics.filter(d => d.severity === 'error').length === 0,\n      diagnostics: this.diagnostics,\n      typeMap: new Map(this.typeMap),\n    };\n  }\n\n  /**\n   * Collect type declarations\n   */\n  private collectDeclaration(node: ASTNode): void {\n    switch (node.type) {\n      case 'orb':\n        this.collectOrbDeclaration(node as OrbNode);\n        break;\n      case 'method':\n        this.collectMethodDeclaration(node as MethodNode);\n        break;\n      case 'variable-declaration':\n        this.collectVariableDeclaration(node as VariableDeclarationNode);\n        break;\n      case 'stream':\n        this.collectStreamDeclaration(node as StreamNode);\n        break;\n    }\n  }\n\n  private collectOrbDeclaration(node: OrbNode): void {\n    const properties = new Map<string, TypeInfo>();\n\n    // Add default orb properties\n    properties.set('position', { type: 'object', properties: new Map([\n      ['x', { type: 'number' }],\n      ['y', { type: 'number' }],\n      ['z', { type: 'number' }],\n    ])});\n    properties.set('color', { type: 'string' });\n    properties.set('glow', { type: 'boolean' });\n    properties.set('interactive', { type: 'boolean' });\n    properties.set('visible', { type: 'boolean' });\n\n    // Add user-defined properties\n    for (const [key, value] of Object.entries(node.properties)) {\n      properties.set(key, this.inferType(value));\n    }\n\n    this.typeMap.set(node.name, {\n      type: 'orb',\n      properties,\n    });\n  }\n\n  private collectMethodDeclaration(node: MethodNode): void {\n    const parameters: ParameterType[] = node.parameters.map(p => ({\n      name: p.name,\n      type: this.parseTypeString(p.dataType),\n      optional: p.defaultValue !== undefined,\n      defaultValue: p.defaultValue,\n    }));\n\n    this.typeMap.set(node.name, {\n      type: 'function',\n      parameters,\n      returnType: node.returnType ? this.parseTypeString(node.returnType) : 'void',\n    });\n  }\n\n  private collectVariableDeclaration(node: VariableDeclarationNode): void {\n    let type: HoloScriptType = 'any';\n\n    if (node.dataType) {\n      type = this.parseTypeString(node.dataType);\n    } else if (node.value !== undefined) {\n      type = this.inferType(node.value).type;\n    }\n\n    this.typeMap.set(node.name, { type });\n  }\n\n  private collectStreamDeclaration(node: StreamNode): void {\n    this.typeMap.set(node.name, {\n      type: 'stream',\n      properties: new Map([\n        ['source', { type: 'string' }],\n        ['result', { type: 'any' }],\n      ]),\n    });\n  }\n\n  /**\n   * Check a node for type errors\n   */\n  private checkNode(node: ASTNode): void {\n    this.currentLine = node.position?.x ?? 0;\n    this.currentColumn = node.position?.y ?? 0;\n\n    switch (node.type) {\n      case 'connection':\n        this.checkConnection(node as ConnectionNode);\n        break;\n      case 'gate':\n        this.checkGate(node as GateNode);\n        break;\n      case 'for-loop':\n        this.checkForLoop(node as ForLoopNode);\n        break;\n      case 'while-loop':\n        this.checkWhileLoop(node as WhileLoopNode);\n        break;\n      case 'foreach-loop':\n        this.checkForEachLoop(node as ForEachLoopNode);\n        break;\n      case 'import':\n        this.checkImport(node as ImportNode);\n        break;\n      case 'export':\n        this.checkExport(node as ExportNode);\n        break;\n    }\n  }\n\n  private checkConnection(node: ConnectionNode): void {\n    const fromType = this.typeMap.get(node.from);\n    const toType = this.typeMap.get(node.to);\n\n    if (!fromType) {\n      this.addDiagnostic('error', `Unknown source '${node.from}' in connection`, 'E001');\n    }\n\n    if (!toType) {\n      this.addDiagnostic('error', `Unknown target '${node.to}' in connection`, 'E002');\n    }\n\n    // Check if types are compatible\n    if (fromType && toType && node.dataType !== 'any') {\n      // Warn if connecting incompatible types\n      if (fromType.type !== toType.type && fromType.type !== 'any' && toType.type !== 'any') {\n        this.addDiagnostic('warning',\n          `Connection from '${node.from}' (${fromType.type}) to '${node.to}' (${toType.type}) may be incompatible`,\n          'W001',\n          [`Consider using 'as \"any\"' to bypass type checking`]\n        );\n      }\n    }\n  }\n\n  private checkGate(node: GateNode): void {\n    // Validate condition references valid variables\n    const conditionVars = this.extractVariables(node.condition);\n    for (const varName of conditionVars) {\n      if (!this.typeMap.has(varName) && !this.isLiteral(varName)) {\n        this.addDiagnostic('error', `Unknown variable '${varName}' in gate condition`, 'E003');\n      }\n    }\n  }\n\n  private checkForLoop(node: ForLoopNode): void {\n    // Check init references\n    const initVars = this.extractVariables(node.init);\n    // For loops can declare new variables in init, so we add them\n    for (const varName of initVars) {\n      if (!this.typeMap.has(varName)) {\n        this.typeMap.set(varName, { type: 'number' }); // Loop vars are typically numbers\n      }\n    }\n\n    // Check condition\n    const condVars = this.extractVariables(node.condition);\n    for (const varName of condVars) {\n      if (!this.typeMap.has(varName) && !this.isLiteral(varName)) {\n        this.addDiagnostic('error', `Unknown variable '${varName}' in for loop condition`, 'E004');\n      }\n    }\n  }\n\n  private checkWhileLoop(node: WhileLoopNode): void {\n    const condVars = this.extractVariables(node.condition);\n    for (const varName of condVars) {\n      if (!this.typeMap.has(varName) && !this.isLiteral(varName)) {\n        this.addDiagnostic('error', `Unknown variable '${varName}' in while loop condition`, 'E005');\n      }\n    }\n  }\n\n  private checkForEachLoop(node: ForEachLoopNode): void {\n    // Check collection exists\n    if (!this.typeMap.has(node.collection)) {\n      this.addDiagnostic('error', `Unknown collection '${node.collection}' in forEach loop`, 'E006');\n    } else {\n      const collectionType = this.typeMap.get(node.collection);\n      if (collectionType && collectionType.type !== 'array' && collectionType.type !== 'any') {\n        this.addDiagnostic('error', `'${node.collection}' is not iterable (type: ${collectionType.type})`, 'E007');\n      }\n    }\n\n    // Add loop variable to scope\n    this.typeMap.set(node.variable, { type: 'any' });\n  }\n\n  private checkImport(node: ImportNode): void {\n    if (!node.modulePath) {\n      this.addDiagnostic('error', 'Import statement missing module path', 'E008');\n    }\n\n    // Register imported names as 'any' type (can't resolve external modules)\n    for (const name of node.imports) {\n      this.typeMap.set(name, { type: 'any' });\n    }\n\n    if (node.defaultImport) {\n      this.typeMap.set(node.defaultImport, { type: 'any' });\n    }\n  }\n\n  private checkExport(node: ExportNode): void {\n    if (node.exports) {\n      for (const name of node.exports) {\n        if (!this.typeMap.has(name)) {\n          this.addDiagnostic('error', `Cannot export unknown identifier '${name}'`, 'E009');\n        }\n      }\n    }\n  }\n\n  /**\n   * Infer type from a value\n   */\n  private inferType(value: unknown): TypeInfo {\n    if (value === null || value === undefined) {\n      return { type: 'any', nullable: true };\n    }\n\n    if (typeof value === 'number') {\n      return { type: 'number' };\n    }\n\n    if (typeof value === 'string') {\n      return { type: 'string' };\n    }\n\n    if (typeof value === 'boolean') {\n      return { type: 'boolean' };\n    }\n\n    if (Array.isArray(value)) {\n      const elementType = value.length > 0 ? this.inferType(value[0]).type : 'any';\n      return { type: 'array', elementType };\n    }\n\n    if (typeof value === 'object') {\n      const properties = new Map<string, TypeInfo>();\n      for (const [key, val] of Object.entries(value)) {\n        properties.set(key, this.inferType(val));\n      }\n      return { type: 'object', properties };\n    }\n\n    return { type: 'any' };\n  }\n\n  /**\n   * Parse type string to HoloScriptType\n   */\n  private parseTypeString(typeStr: string): HoloScriptType {\n    const normalized = typeStr.toLowerCase().trim();\n    const validTypes: HoloScriptType[] = [\n      'number', 'string', 'boolean', 'array', 'object',\n      'function', 'void', 'any', 'unknown', 'never',\n      'orb', 'stream', 'connection', 'gate'\n    ];\n\n    if (validTypes.includes(normalized as HoloScriptType)) {\n      return normalized as HoloScriptType;\n    }\n\n    return 'any';\n  }\n\n  /**\n   * Extract variable names from an expression string\n   */\n  private extractVariables(expr: string): string[] {\n    const varPattern = /\\b([a-zA-Z_][a-zA-Z0-9_]*)\\b/g;\n    const matches = expr.match(varPattern) || [];\n    const keywords = ['true', 'false', 'null', 'undefined', 'if', 'else', 'for', 'while', 'return'];\n    return matches.filter(m => !keywords.includes(m));\n  }\n\n  /**\n   * Check if string is a literal\n   */\n  private isLiteral(str: string): boolean {\n    // Number literal\n    if (/^-?\\d+(\\.\\d+)?$/.test(str)) return true;\n    // Boolean\n    if (str === 'true' || str === 'false') return true;\n    // String literal\n    if (/^[\"'].*[\"']$/.test(str)) return true;\n    return false;\n  }\n\n  /**\n   * Add a diagnostic\n   */\n  private addDiagnostic(\n    severity: 'error' | 'warning' | 'info',\n    message: string,\n    code: string,\n    suggestions?: string[]\n  ): void {\n    this.diagnostics.push({\n      severity,\n      message,\n      line: this.currentLine,\n      column: this.currentColumn,\n      code,\n      suggestions,\n    });\n  }\n\n  /**\n   * Get type info for a name\n   */\n  getType(name: string): TypeInfo | undefined {\n    return this.typeMap.get(name);\n  }\n\n  /**\n   * Get all registered types\n   */\n  getAllTypes(): Map<string, TypeInfo> {\n    return new Map(this.typeMap);\n  }\n\n  /**\n   * Reset the type checker\n   */\n  reset(): void {\n    this.typeMap.clear();\n    this.diagnostics = [];\n\n    // Re-add built-ins\n    BUILTIN_FUNCTIONS.forEach((type, name) => {\n      this.typeMap.set(name, type);\n    });\n  }\n}\n\n/**\n * Create a type checker instance\n */\nexport function createTypeChecker(): HoloScriptTypeChecker {\n  return new HoloScriptTypeChecker();\n}\n"]}