@typecad/cuttlefish 0.1.0-alpha.1

package/dist/orchestrator/type-checker.d.ts

@@ -0,0 +1,39 @@
+import ts from "typescript";
+import { Diagnostic } from "../types.js";
+/**
+ * Result of type-checking files
+ */
+export interface TypeCheckResult {
+    /** Whether all files passed type-checking */
+    success: boolean;
+    /** Array of formatted error messages */
+    errors: string[];
+    /** Auto-generated declaration files (for user notification) */
+    generatedDecls: string[];
+    /**
+     * The TypeScript Program built during type-checking. Present only on success
+     * (so callers can run semantic gates without rebuilding it). Undefined when
+     * type-checking failed or was skipped.
+     */
+    program?: ts.Program;
+}
+/**
+ * Type-checks TypeScript files using the TypeScript compiler.
+ * Returns early if any errors are found.
+ *
+ * @param files List of TypeScript files to type-check
+ * @param _boardPackage Optional board package for resolving @typecad/board imports
+ * @param entryFile Entrypoint sketch/main file
+ * @returns TypeCheckResult with success status and any error messages
+ */
+export declare function typeCheckFiles(files: string[], _boardPackage?: string, entryFile?: string): TypeCheckResult;
+/**
+ * Run semantic gates against the user files of a type-checked program.
+ *
+ * @param program  The TypeScript Program built by typeCheckFiles.
+ * @param userFiles  Absolute paths of user (transpile-graph) files to scan.
+ *                   Files outside this set (node_modules, internal packages)
+ *                   are skipped even if present in the program.
+ * @returns Diagnostic[] — never throws.
+ */
+export declare function runSemanticGates(program: ts.Program, userFiles: string[]): Diagnostic[];