@holoscript/core 2.0.1 → 2.1.0

package/dist/chunk-2XXE34KS.js

@@ -0,0 +1,344 @@
+// 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();
+}
+
+export { HoloScriptTypeChecker, createTypeChecker };
+//# sourceMappingURL=chunk-2XXE34KS.js.map
+//# sourceMappingURL=chunk-2XXE34KS.js.map

package/dist/chunk-2XXE34KS.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/HoloScriptTypeChecker.ts"],"names":[],"mappings":";AAwEA,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,EAKO,UAAU,KAAA,EAAkC;AACjD,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-2XXE34KS.js","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  HoloScriptValue,\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?: HoloScriptValue;\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  public inferType(value: HoloScriptValue): 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"]}

package/dist/chunk-3X2EGU7Z.cjs

@@ -0,0 +1,52 @@
+'use strict';
+
+// src/logger.ts
+var NoOpLogger = class {
+  debug() {
+  }
+  info() {
+  }
+  warn() {
+  }
+  error() {
+  }
+};
+var ConsoleLogger = class {
+  debug(message, meta) {
+    console.debug(`[HoloScript:DEBUG] ${message}`, meta ?? "");
+  }
+  info(message, meta) {
+    console.info(`[HoloScript:INFO] ${message}`, meta ?? "");
+  }
+  warn(message, meta) {
+    console.warn(`[HoloScript:WARN] ${message}`, meta ?? "");
+  }
+  error(message, meta) {
+    console.error(`[HoloScript:ERROR] ${message}`, meta ?? "");
+  }
+};
+var currentLogger = new NoOpLogger();
+function setHoloScriptLogger(logger2) {
+  currentLogger = logger2;
+}
+function enableConsoleLogging() {
+  currentLogger = new ConsoleLogger();
+}
+function resetLogger() {
+  currentLogger = new NoOpLogger();
+}
+var logger = {
+  debug: (msg, meta) => currentLogger.debug(msg, meta),
+  info: (msg, meta) => currentLogger.info(msg, meta),
+  warn: (msg, meta) => currentLogger.warn(msg, meta),
+  error: (msg, meta) => currentLogger.error(msg, meta)
+};
+
+exports.ConsoleLogger = ConsoleLogger;
+exports.NoOpLogger = NoOpLogger;
+exports.enableConsoleLogging = enableConsoleLogging;
+exports.logger = logger;
+exports.resetLogger = resetLogger;
+exports.setHoloScriptLogger = setHoloScriptLogger;
+//# sourceMappingURL=chunk-3X2EGU7Z.cjs.map
+//# sourceMappingURL=chunk-3X2EGU7Z.cjs.map

package/dist/chunk-3X2EGU7Z.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/logger.ts"],"names":["logger"],"mappings":";;;AAaA,IAAM,aAAN,MAA6C;AAAA,EAC3C,KAAA,GAAc;AAAA,EAAC;AAAA,EACf,IAAA,GAAa;AAAA,EAAC;AAAA,EACd,IAAA,GAAa;AAAA,EAAC;AAAA,EACd,KAAA,GAAc;AAAA,EAAC;AACjB;AAEA,IAAM,gBAAN,MAAgD;AAAA,EAC9C,KAAA,CAAM,SAAiB,IAAA,EAAsC;AAC3D,IAAA,OAAA,CAAQ,KAAA,CAAM,CAAA,mBAAA,EAAsB,OAAO,CAAA,CAAA,EAAI,QAAQ,EAAE,CAAA;AAAA,EAC3D;AAAA,EACA,IAAA,CAAK,SAAiB,IAAA,EAAsC;AAC1D,IAAA,OAAA,CAAQ,IAAA,CAAK,CAAA,kBAAA,EAAqB,OAAO,CAAA,CAAA,EAAI,QAAQ,EAAE,CAAA;AAAA,EACzD;AAAA,EACA,IAAA,CAAK,SAAiB,IAAA,EAAsC;AAC1D,IAAA,OAAA,CAAQ,IAAA,CAAK,CAAA,kBAAA,EAAqB,OAAO,CAAA,CAAA,EAAI,QAAQ,EAAE,CAAA;AAAA,EACzD;AAAA,EACA,KAAA,CAAM,SAAiB,IAAA,EAAsC;AAC3D,IAAA,OAAA,CAAQ,KAAA,CAAM,CAAA,mBAAA,EAAsB,OAAO,CAAA,CAAA,EAAI,QAAQ,EAAE,CAAA;AAAA,EAC3D;AACF;AAEA,IAAI,aAAA,GAAkC,IAAI,UAAA,EAAW;AAE9C,SAAS,oBAAoBA,OAAAA,EAAgC;AAClE,EAAA,aAAA,GAAgBA,OAAAA;AAClB;AAEO,SAAS,oBAAA,GAA6B;AAC3C,EAAA,aAAA,GAAgB,IAAI,aAAA,EAAc;AACpC;AAEO,SAAS,WAAA,GAAoB;AAClC,EAAA,aAAA,GAAgB,IAAI,UAAA,EAAW;AACjC;AAEO,IAAM,MAAA,GAA2B;AAAA,EACtC,OAAO,CAAC,GAAA,EAAK,SAAS,aAAA,CAAc,KAAA,CAAM,KAAK,IAAI,CAAA;AAAA,EACnD,MAAM,CAAC,GAAA,EAAK,SAAS,aAAA,CAAc,IAAA,CAAK,KAAK,IAAI,CAAA;AAAA,EACjD,MAAM,CAAC,GAAA,EAAK,SAAS,aAAA,CAAc,IAAA,CAAK,KAAK,IAAI,CAAA;AAAA,EACjD,OAAO,CAAC,GAAA,EAAK,SAAS,aAAA,CAAc,KAAA,CAAM,KAAK,IAAI;AACrD","file":"chunk-3X2EGU7Z.cjs","sourcesContent":["/**\n * @holoscript/core Logger\n *\n * Simple pluggable logger for HoloScript\n */\n\nexport interface HoloScriptLogger {\n  debug(message: string, meta?: Record<string, unknown>): void;\n  info(message: string, meta?: Record<string, unknown>): void;\n  warn(message: string, meta?: Record<string, unknown>): void;\n  error(message: string, meta?: Record<string, unknown>): void;\n}\n\nclass NoOpLogger implements HoloScriptLogger {\n  debug(): void {}\n  info(): void {}\n  warn(): void {}\n  error(): void {}\n}\n\nclass ConsoleLogger implements HoloScriptLogger {\n  debug(message: string, meta?: Record<string, unknown>): void {\n    console.debug(`[HoloScript:DEBUG] ${message}`, meta ?? '');\n  }\n  info(message: string, meta?: Record<string, unknown>): void {\n    console.info(`[HoloScript:INFO] ${message}`, meta ?? '');\n  }\n  warn(message: string, meta?: Record<string, unknown>): void {\n    console.warn(`[HoloScript:WARN] ${message}`, meta ?? '');\n  }\n  error(message: string, meta?: Record<string, unknown>): void {\n    console.error(`[HoloScript:ERROR] ${message}`, meta ?? '');\n  }\n}\n\nlet currentLogger: HoloScriptLogger = new NoOpLogger();\n\nexport function setHoloScriptLogger(logger: HoloScriptLogger): void {\n  currentLogger = logger;\n}\n\nexport function enableConsoleLogging(): void {\n  currentLogger = new ConsoleLogger();\n}\n\nexport function resetLogger(): void {\n  currentLogger = new NoOpLogger();\n}\n\nexport const logger: HoloScriptLogger = {\n  debug: (msg, meta) => currentLogger.debug(msg, meta),\n  info: (msg, meta) => currentLogger.info(msg, meta),\n  warn: (msg, meta) => currentLogger.warn(msg, meta),\n  error: (msg, meta) => currentLogger.error(msg, meta),\n};\n\nexport { NoOpLogger, ConsoleLogger };\n"]}