@cbxss/tack-typecheck 1.0.0

package/dist/ambient.d.ts

@@ -0,0 +1,15 @@
+import { type TackManifest } from "@cbxss/tack-core";
+import { type OperationPolicy } from "@cbxss/tack-codemode";
+/**
+ * Build the self-contained ambient `.d.ts` the typechecker checks each cell
+ * against: an inline `interface`/`type` for every policy-allowed operation's
+ * input and output, the `CodeModeResult` / `TackSearchResult` / `TackDescribedTool`
+ * aliases, the shadowed-globals declarations, and the `declare global { const
+ * tools … ; function emit … }` block. Deterministic for a given manifest+policy;
+ * built once per checker.
+ *
+ * Schema-less outputs resolve to `any` (not `unknown`) so `r.data.foo` on a
+ * tool whose upstream gave no output schema isn't a false error.
+ */
+export declare function buildAmbientDts(manifest: TackManifest, policy?: OperationPolicy): Promise<string>;
+//# sourceMappingURL=ambient.d.ts.map

package/dist/ambient.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ambient.d.ts","sourceRoot":"","sources":["../src/ambient.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,YAAY,EAElB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAGL,KAAK,eAAe,EACrB,MAAM,sBAAsB,CAAC;AAuB9B;;;;;;;;;;GAUG;AACH,wBAAsB,eAAe,CACnC,QAAQ,EAAE,YAAY,EACtB,MAAM,CAAC,EAAE,eAAe,GACvB,OAAO,CAAC,MAAM,CAAC,CAiCjB"}

package/dist/ambient.js

@@ -0,0 +1,75 @@
+import { assignOperationTypeNames, CODE_MODE_RESULT_TS, listOperations } from "@cbxss/tack-core";
+import { filterAllowedOperations, operationTypeScript } from "@cbxss/tack-codemode";
+import { DESCRIBED_TOOL_TS, renderAmbientToolsBlock, SEARCH_RESULT_TS } from "@cbxss/tack-sdk-types";
+/**
+ * Globals the code-mode sandbox shadows to `undefined` (or a throwing stub).
+ * Typing them `never` turns "you called `fetch`" into a crisp error instead of
+ * a confusing property-access one.
+ */
+const SHADOW_DECLS = [
+    "declare const fetch: never;",
+    "declare const process: never;",
+    "declare const require: never;",
+    "declare const globalThis: never;",
+    "declare const module: never;",
+    "declare const self: never;",
+    "declare const window: never;"
+].join("\n");
+/**
+ * Build the self-contained ambient `.d.ts` the typechecker checks each cell
+ * against: an inline `interface`/`type` for every policy-allowed operation's
+ * input and output, the `CodeModeResult` / `TackSearchResult` / `TackDescribedTool`
+ * aliases, the shadowed-globals declarations, and the `declare global { const
+ * tools … ; function emit … }` block. Deterministic for a given manifest+policy;
+ * built once per checker.
+ *
+ * Schema-less outputs resolve to `any` (not `unknown`) so `r.data.foo` on a
+ * tool whose upstream gave no output schema isn't a false error.
+ */
+export async function buildAmbientDts(manifest, policy) {
+    const operations = filterAllowedOperations(listOperations(manifest), policy);
+    const typeNames = assignOperationTypeNames(operations);
+    const interfaces = [];
+    const methods = [];
+    for (const operation of operations) {
+        const names = typeNames.get(operation.fullPathString);
+        if (!names) {
+            continue;
+        }
+        const { inputTypeScript, outputTypeScript } = await operationTypeScript(operation, {
+            includeUnknownOutput: true,
+            unknownOutputAs: "any"
+        });
+        interfaces.push(inputTypeScript.trim());
+        interfaces.push((outputTypeScript ?? `export type ${names.outputType} = any;`).trim());
+        methods.push(toMethodLike(operation, names.inputType, names.outputType, names.resultType));
+    }
+    return [
+        ...interfaces,
+        "",
+        CODE_MODE_RESULT_TS.trim(),
+        "",
+        SEARCH_RESULT_TS.trim(),
+        "",
+        DESCRIBED_TOOL_TS.trim(),
+        "",
+        SHADOW_DECLS,
+        "",
+        renderAmbientToolsBlock(methods)
+    ].join("\n");
+}
+function toMethodLike(operation, inputType, outputType, resultType) {
+    return {
+        namespaceName: operation.namespaceName,
+        path: operation.path,
+        inputType,
+        outputType,
+        resultType,
+        inputSchema: operation.inputSchema,
+        ...(operation.outputSchema ? { outputSchema: operation.outputSchema } : {}),
+        ...(operation.description ? { description: operation.description } : {}),
+        examples: operation.examples,
+        ...(operation.injectedArgs ? { injectedArgs: operation.injectedArgs } : {})
+    };
+}
+//# sourceMappingURL=ambient.js.map

package/dist/ambient.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ambient.js","sourceRoot":"","sources":["../src/ambient.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,mBAAmB,EACnB,cAAc,EAGf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,uBAAuB,EACvB,mBAAmB,EAEpB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,iBAAiB,EACjB,uBAAuB,EACvB,gBAAgB,EAEjB,MAAM,uBAAuB,CAAC;AAE/B;;;;GAIG;AACH,MAAM,YAAY,GAAG;IACnB,6BAA6B;IAC7B,+BAA+B;IAC/B,+BAA+B;IAC/B,kCAAkC;IAClC,8BAA8B;IAC9B,4BAA4B;IAC5B,8BAA8B;CAC/B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,QAAsB,EACtB,MAAwB;IAExB,MAAM,UAAU,GAAG,uBAAuB,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;IAC7E,MAAM,SAAS,GAAG,wBAAwB,CAAC,UAAU,CAAC,CAAC;IAEvD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACtD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,SAAS;QACX,CAAC;QACD,MAAM,EAAE,eAAe,EAAE,gBAAgB,EAAE,GAAG,MAAM,mBAAmB,CAAC,SAAS,EAAE;YACjF,oBAAoB,EAAE,IAAI;YAC1B,eAAe,EAAE,KAAK;SACvB,CAAC,CAAC;QACH,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC;QACxC,UAAU,CAAC,IAAI,CAAC,CAAC,gBAAgB,IAAI,eAAe,KAAK,CAAC,UAAU,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACvF,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7F,CAAC;IAED,OAAO;QACL,GAAG,UAAU;QACb,EAAE;QACF,mBAAmB,CAAC,IAAI,EAAE;QAC1B,EAAE;QACF,gBAAgB,CAAC,IAAI,EAAE;QACvB,EAAE;QACF,iBAAiB,CAAC,IAAI,EAAE;QACxB,EAAE;QACF,YAAY;QACZ,EAAE;QACF,uBAAuB,CAAC,OAAO,CAAC;KACjC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CACnB,SAAwB,EACxB,SAAiB,EACjB,UAAkB,EAClB,UAAkB;IAElB,OAAO;QACL,aAAa,EAAE,SAAS,CAAC,aAAa;QACtC,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,SAAS;QACT,UAAU;QACV,UAAU;QACV,WAAW,EAAE,SAAS,CAAC,WAAW;QAClC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,SAAS,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxE,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,SAAS,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5E,CAAC;AACJ,CAAC"}

package/dist/checker.d.ts

@@ -0,0 +1,15 @@
+import type { TackManifest } from "@cbxss/tack-core";
+import type { OperationPolicy, TypeChecker } from "@cbxss/tack-codemode";
+export interface CreateTypeCheckerOptions {
+    readonly manifest: TackManifest;
+    readonly policy?: OperationPolicy | undefined;
+}
+/**
+ * A persistent in-process TypeScript language service that checks one code-mode
+ * cell at a time against a synthesized ambient `.d.ts`. The ambient + lib files
+ * are parsed once; each `check` swaps the cell's snapshot and re-checks only it
+ * (~1–5ms warm, ~100–200ms for the first call). Any internal failure returns
+ * `{ skipped: true }` — a checker fault never blocks execution.
+ */
+export declare function createTypeChecker(options: CreateTypeCheckerOptions): TypeChecker;
+//# sourceMappingURL=checker.d.ts.map

package/dist/checker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checker.d.ts","sourceRoot":"","sources":["../src/checker.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,KAAK,EACV,eAAe,EACf,WAAW,EAIZ,MAAM,sBAAsB,CAAC;AAmB9B,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,eAAe,GAAG,SAAS,CAAC;CAC/C;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,wBAAwB,GAAG,WAAW,CAmFhF"}

package/dist/checker.js

@@ -0,0 +1,117 @@
+import { basename, dirname, join } from "node:path";
+import ts from "typescript-5";
+import { buildAmbientDts } from "./ambient.js";
+const CELL_PATH = "/__tack_cell.ts";
+const AMBIENT_PATH = "/__tack_ambient.d.ts";
+const REF_NAME = /^\$(\d+|_)$/;
+const COMPILER_OPTIONS = {
+    noEmit: true,
+    strict: true,
+    target: ts.ScriptTarget.ES2022,
+    lib: ["lib.es2022.d.ts"],
+    types: [],
+    moduleDetection: ts.ModuleDetectionKind.Force,
+    skipLibCheck: true
+};
+/**
+ * A persistent in-process TypeScript language service that checks one code-mode
+ * cell at a time against a synthesized ambient `.d.ts`. The ambient + lib files
+ * are parsed once; each `check` swaps the cell's snapshot and re-checks only it
+ * (~1–5ms warm, ~100–200ms for the first call). Any internal failure returns
+ * `{ skipped: true }` — a checker fault never blocks execution.
+ */
+export function createTypeChecker(options) {
+    let service;
+    let ambientText = "";
+    let cellText = "";
+    let cellVersion = 0;
+    const libDir = dirname(ts.getDefaultLibFilePath(COMPILER_OPTIONS));
+    const readFile = (fileName) => {
+        if (fileName === AMBIENT_PATH)
+            return ambientText;
+        if (fileName === CELL_PATH)
+            return cellText;
+        return ts.sys.readFile(toLibPath(fileName, libDir));
+    };
+    const initService = async () => {
+        if (service)
+            return service;
+        ambientText = await buildAmbientDts(options.manifest, options.policy);
+        const host = {
+            getScriptFileNames: () => [AMBIENT_PATH, CELL_PATH],
+            getScriptVersion: (fileName) => (fileName === CELL_PATH ? String(cellVersion) : "1"),
+            getScriptSnapshot: (fileName) => {
+                const text = readFile(fileName);
+                return text === undefined ? undefined : ts.ScriptSnapshot.fromString(text);
+            },
+            getCurrentDirectory: () => "/",
+            getCompilationSettings: () => COMPILER_OPTIONS,
+            getDefaultLibFileName: (o) => "/" + ts.getDefaultLibFileName(o),
+            fileExists: (fileName) => fileName === AMBIENT_PATH || fileName === CELL_PATH || ts.sys.fileExists(toLibPath(fileName, libDir)),
+            readFile,
+            readDirectory: (...args) => ts.sys.readDirectory(...args),
+            getDirectories: (dir) => ts.sys.getDirectories(dir),
+            directoryExists: (dir) => ts.sys.directoryExists(dir),
+            useCaseSensitiveFileNames: () => true
+        };
+        service = ts.createLanguageService(host, ts.createDocumentRegistry());
+        return service;
+    };
+    return {
+        check: async (code, context) => {
+            try {
+                const ls = await initService();
+                const decls = scopeDecls(context?.scopeNames ?? []);
+                // Lines before the user's first line: the scope decls + the wrapper's
+                // `async function …` line. `getLineAndCharacterOfPosition` is 0-based.
+                const offset = (decls ? decls.split("\n").length : 0) + 1;
+                cellText = `${decls}${decls ? "\n" : ""}async function __tackCheckCell(): Promise<any> {\n${code}\n}\n`;
+                cellVersion += 1;
+                const diagnostics = [
+                    ...ls.getSyntacticDiagnostics(CELL_PATH),
+                    ...ls.getSemanticDiagnostics(CELL_PATH)
+                ];
+                const source = ls.getProgram()?.getSourceFile(CELL_PATH);
+                if (!source) {
+                    return { diagnostics: [], skipped: true, skipReason: "no cell source file" };
+                }
+                const mapped = [];
+                for (const d of diagnostics) {
+                    if (d.file?.fileName !== CELL_PATH || d.start === undefined)
+                        continue;
+                    const lc = source.getLineAndCharacterOfPosition(d.start);
+                    const line = lc.line - offset + 1;
+                    if (line < 1)
+                        continue;
+                    mapped.push({
+                        line,
+                        column: lc.character + 1,
+                        code: `TS${d.code}`,
+                        message: ts.flattenDiagnosticMessageText(d.messageText, "\n"),
+                        category: d.category === ts.DiagnosticCategory.Error ? "error" : "warning"
+                    });
+                }
+                mapped.sort((a, b) => a.line - b.line || a.column - b.column);
+                return { diagnostics: mapped };
+            }
+            catch (error) {
+                return {
+                    diagnostics: [],
+                    skipped: true,
+                    skipReason: error instanceof Error ? error.message : String(error)
+                };
+            }
+        }
+    };
+}
+/** Declare prior-cell scope so the cell isn't flagged for undefined names. */
+function scopeDecls(names) {
+    return names
+        .filter((name) => /^[A-Za-z_$][\w$]*$/.test(name))
+        .map((name) => `declare const ${name}: ${REF_NAME.test(name) ? "unknown" : "any"};`)
+        .join("\n");
+}
+function toLibPath(fileName, libDir) {
+    return /^\/lib\.[^/]+\.d\.ts$/.test(fileName) ? join(libDir, basename(fileName)) : fileName;
+}
+//# sourceMappingURL=checker.js.map

package/dist/checker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checker.js","sourceRoot":"","sources":["../src/checker.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAUpD,OAAO,EAAE,MAAM,cAAc,CAAC;AAE9B,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,MAAM,SAAS,GAAG,iBAAiB,CAAC;AACpC,MAAM,YAAY,GAAG,sBAAsB,CAAC;AAC5C,MAAM,QAAQ,GAAG,aAAa,CAAC;AAE/B,MAAM,gBAAgB,GAAuB;IAC3C,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;IAC9B,GAAG,EAAE,CAAC,iBAAiB,CAAC;IACxB,KAAK,EAAE,EAAE;IACT,eAAe,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK;IAC7C,YAAY,EAAE,IAAI;CACnB,CAAC;AAOF;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAiC;IACjE,IAAI,OAAuC,CAAC;IAC5C,IAAI,WAAW,GAAG,EAAE,CAAC;IACrB,IAAI,QAAQ,GAAG,EAAE,CAAC;IAClB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,qBAAqB,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAEnE,MAAM,QAAQ,GAAG,CAAC,QAAgB,EAAsB,EAAE;QACxD,IAAI,QAAQ,KAAK,YAAY;YAAE,OAAO,WAAW,CAAC;QAClD,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAC;QAC5C,OAAO,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,KAAK,IAAiC,EAAE;QAC1D,IAAI,OAAO;YAAE,OAAO,OAAO,CAAC;QAC5B,WAAW,GAAG,MAAM,eAAe,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QACtE,MAAM,IAAI,GAA2B;YACnC,kBAAkB,EAAE,GAAG,EAAE,CAAC,CAAC,YAAY,EAAE,SAAS,CAAC;YACnD,gBAAgB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YACpF,iBAAiB,EAAE,CAAC,QAAQ,EAAE,EAAE;gBAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;gBAChC,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAC7E,CAAC;YACD,mBAAmB,EAAE,GAAG,EAAE,CAAC,GAAG;YAC9B,sBAAsB,EAAE,GAAG,EAAE,CAAC,gBAAgB;YAC9C,qBAAqB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC;YAC/D,UAAU,EAAE,CAAC,QAAQ,EAAE,EAAE,CACvB,QAAQ,KAAK,YAAY,IAAI,QAAQ,KAAK,SAAS,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACvG,QAAQ;YACR,aAAa,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,IAAI,CAAC;YACzD,cAAc,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC;YACnD,eAAe,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC;YACrD,yBAAyB,EAAE,GAAG,EAAE,CAAC,IAAI;SACtC,CAAC;QACF,OAAO,GAAG,EAAE,CAAC,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,sBAAsB,EAAE,CAAC,CAAC;QACtE,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,OAAO;QACL,KAAK,EAAE,KAAK,EAAE,IAAY,EAAE,OAA0B,EAA6B,EAAE;YACnF,IAAI,CAAC;gBACH,MAAM,EAAE,GAAG,MAAM,WAAW,EAAE,CAAC;gBAC/B,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE,UAAU,IAAI,EAAE,CAAC,CAAC;gBACpD,sEAAsE;gBACtE,uEAAuE;gBACvE,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBAC1D,QAAQ,GAAG,GAAG,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,qDAAqD,IAAI,OAAO,CAAC;gBACxG,WAAW,IAAI,CAAC,CAAC;gBAEjB,MAAM,WAAW,GAAG;oBAClB,GAAG,EAAE,CAAC,uBAAuB,CAAC,SAAS,CAAC;oBACxC,GAAG,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC;iBACxC,CAAC;gBACF,MAAM,MAAM,GAAG,EAAE,CAAC,UAAU,EAAE,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC;gBACzD,IAAI,CAAC,MAAM,EAAE,CAAC;oBACZ,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,qBAAqB,EAAE,CAAC;gBAC/E,CAAC;gBAED,MAAM,MAAM,GAAqB,EAAE,CAAC;gBACpC,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;oBAC5B,IAAI,CAAC,CAAC,IAAI,EAAE,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS;wBAAE,SAAS;oBACtE,MAAM,EAAE,GAAG,MAAM,CAAC,6BAA6B,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBACzD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,GAAG,MAAM,GAAG,CAAC,CAAC;oBAClC,IAAI,IAAI,GAAG,CAAC;wBAAE,SAAS;oBACvB,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI;wBACJ,MAAM,EAAE,EAAE,CAAC,SAAS,GAAG,CAAC;wBACxB,IAAI,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE;wBACnB,OAAO,EAAE,EAAE,CAAC,4BAA4B,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC;wBAC7D,QAAQ,EAAE,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;qBAC3E,CAAC,CAAC;gBACL,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;gBAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;YACjC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,OAAO;oBACL,WAAW,EAAE,EAAE;oBACf,OAAO,EAAE,IAAI;oBACb,UAAU,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;iBACnE,CAAC;YACJ,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,SAAS,UAAU,CAAC,KAAwB;IAC1C,OAAO,KAAK;SACT,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACjD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC;SACnF,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,SAAS,SAAS,CAAC,QAAgB,EAAE,MAAc;IACjD,OAAO,uBAAuB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC9F,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,3 @@
+export { buildAmbientDts } from "./ambient.js";
+export { createTypeChecker, type CreateTypeCheckerOptions } from "./checker.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,KAAK,wBAAwB,EAAE,MAAM,cAAc,CAAC"}

package/dist/index.js

@@ -0,0 +1,7 @@
+// @cbxss/tack-typecheck — a persistent in-process TypeScript language service that
+// checks a code-mode cell against a synthesized ambient `tools` surface before
+// it runs. Implements the `TypeChecker` seam from `@cbxss/tack-codemode`; injected
+// into `createExecutionEngine` by the CLI.
+export { buildAmbientDts } from "./ambient.js";
+export { createTypeChecker } from "./checker.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,mFAAmF;AACnF,+EAA+E;AAC/E,mFAAmF;AACnF,2CAA2C;AAE3C,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAiC,MAAM,cAAc,CAAC"}

package/package.json

@@ -0,0 +1,38 @@
+{
+  "name": "@cbxss/tack-typecheck",
+  "version": "1.0.0",
+  "type": "module",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "scripts": {
+    "build": "rm -rf dist && tsc -p tsconfig.json",
+    "typecheck": "tsc -p tsconfig.json --noEmit",
+    "test": "vitest run --passWithNoTests"
+  },
+  "dependencies": {
+    "@cbxss/tack-codemode": "1.0.0",
+    "@cbxss/tack-core": "1.0.0",
+    "@cbxss/tack-sdk-types": "1.0.0",
+    "typescript-5": "npm:typescript@^5.9.0"
+  },
+  "devDependencies": {
+    "typescript": "^7.0.2",
+    "vitest": "^4.1.10"
+  },
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/shrimp-software/tack.git"
+  },
+  "homepage": "https://github.com/shrimp-software/tack#readme",
+  "bugs": {
+    "url": "https://github.com/shrimp-software/tack/issues"
+  }
+}