@shrkcrft/cli 0.1.0-alpha.24 → 0.1.0-alpha.26

package/dist/validation/typecheck-emitted.js

@@ -0,0 +1,109 @@
+import * as ts from 'typescript';
+import { existsSync, readFileSync } from 'node:fs';
+import { dirname, resolve } from 'node:path';
+const TSCONFIG_NAMES = ['tsconfig.json', 'tsconfig.base.json'];
+function findTsconfig(projectRoot) {
+    for (const name of TSCONFIG_NAMES) {
+        const p = resolve(projectRoot, name);
+        if (existsSync(p))
+            return p;
+    }
+    return null;
+}
+/**
+ * Typecheck a set of EMITTED (not-yet-written) files against the project's
+ * detected tsconfig, without touching disk. Builds a `ts.Program` whose root
+ * names are the emitted files, over a compiler host that overlays the rendered
+ * bodies for those paths and reads everything else (imports, lib) from disk — so
+ * a scaffold that references a real project symbol resolves, and a template bug
+ * (bad syntax, a dangling import, a type mismatch) surfaces BEFORE apply instead
+ * of at the human's next build.
+ *
+ * Only diagnostics located IN the emitted files are reported; pre-existing
+ * errors elsewhere in the project are ignored (this is a generation gate, not a
+ * whole-repo typecheck).
+ */
+export function typecheckEmittedFiles(projectRoot, files) {
+    const tsFiles = files.filter((f) => /\.tsx?$/.test(f.absPath));
+    if (tsFiles.length === 0) {
+        return { ran: false, errors: [], note: 'no TS/TSX files in the emit set' };
+    }
+    let options = {
+        target: ts.ScriptTarget.ES2022,
+        module: ts.ModuleKind.ESNext,
+        moduleResolution: ts.ModuleResolutionKind.Bundler,
+        strict: true,
+        esModuleInterop: true,
+    };
+    const tsconfigPath = findTsconfig(projectRoot);
+    if (tsconfigPath) {
+        const read = ts.readConfigFile(tsconfigPath, (p) => {
+            try {
+                return readFileSync(p, 'utf8');
+            }
+            catch {
+                return undefined;
+            }
+        });
+        if (!read.error) {
+            const parsed = ts.parseJsonConfigFileContent(read.config, ts.sys, dirname(tsconfigPath));
+            options = parsed.options;
+        }
+    }
+    // Force a non-emitting, lib-skipping check regardless of the project's config.
+    options.noEmit = true;
+    options.skipLibCheck = true;
+    options.incremental = false;
+    delete options.composite;
+    delete options.outDir;
+    delete options.declaration;
+    const overlay = new Map(tsFiles.map((f) => [resolve(f.absPath), f.contents]));
+    const host = ts.createCompilerHost(options, true);
+    const origGetSourceFile = host.getSourceFile.bind(host);
+    const origReadFile = host.readFile.bind(host);
+    const origFileExists = host.fileExists.bind(host);
+    host.readFile = (fileName) => {
+        const k = resolve(fileName);
+        return overlay.has(k) ? overlay.get(k) : origReadFile(fileName);
+    };
+    host.fileExists = (fileName) => overlay.has(resolve(fileName)) || origFileExists(fileName);
+    host.getSourceFile = (fileName, languageVersionOrOptions, onError, shouldCreate) => {
+        const k = resolve(fileName);
+        const body = overlay.get(k);
+        if (body !== undefined) {
+            return ts.createSourceFile(fileName, body, languageVersionOrOptions, true);
+        }
+        return origGetSourceFile(fileName, languageVersionOrOptions, onError, shouldCreate);
+    };
+    const rootNames = tsFiles.map((f) => resolve(f.absPath));
+    const program = ts.createProgram({ rootNames, options, host });
+    const errors = [];
+    for (const rn of rootNames) {
+        const sf = program.getSourceFile(rn);
+        if (!sf)
+            continue;
+        const diags = [...program.getSyntacticDiagnostics(sf), ...program.getSemanticDiagnostics(sf)];
+        for (const d of diags) {
+            if (d.category !== ts.DiagnosticCategory.Error)
+                continue;
+            let line = 0;
+            let column = 0;
+            if (d.file && typeof d.start === 'number') {
+                const lc = d.file.getLineAndCharacterOfPosition(d.start);
+                line = lc.line + 1;
+                column = lc.character + 1;
+            }
+            errors.push({
+                file: resolve(d.file?.fileName ?? rn),
+                line,
+                column,
+                message: ts.flattenDiagnosticMessageText(d.messageText, '\n'),
+            });
+        }
+    }
+    return {
+        ran: true,
+        errors,
+        ...(tsconfigPath ? { note: `checked against ${tsconfigPath}` } : { note: 'no tsconfig found — used defaults' }),
+    };
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shrkcrft/cli",
-  "version": "0.1.0-alpha.24",
+  "version": "0.1.0-alpha.26",
   "description": "SharkCraft CLI (`shrk`): structured project intelligence for AI coding agents.",
   "license": "MIT",
   "author": "SharkCraft contributors",
@@ -47,38 +47,38 @@
     "typecheck": "tsc --noEmit -p tsconfig.json"
   },
   "dependencies": {
-    "@shrkcrft/core": "^0.1.0-alpha.24",
-    "@shrkcrft/compress": "^0.1.0-alpha.24",
-    "@shrkcrft/config": "^0.1.0-alpha.24",
-    "@shrkcrft/workspace": "^0.1.0-alpha.24",
-    "@shrkcrft/knowledge": "^0.1.0-alpha.24",
-    "@shrkcrft/context": "^0.1.0-alpha.24",
-    "@shrkcrft/rules": "^0.1.0-alpha.24",
-    "@shrkcrft/paths": "^0.1.0-alpha.24",
-    "@shrkcrft/templates": "^0.1.0-alpha.24",
-    "@shrkcrft/plugin-api": "^0.1.0-alpha.24",
-    "@shrkcrft/dashboard": "^0.1.0-alpha.24",
-    "@shrkcrft/dashboard-api": "^0.1.0-alpha.24",
-    "@shrkcrft/pipelines": "^0.1.0-alpha.24",
-    "@shrkcrft/presets": "^0.1.0-alpha.24",
-    "@shrkcrft/boundaries": "^0.1.0-alpha.24",
-    "@shrkcrft/graph": "^0.1.0-alpha.24",
-    "@shrkcrft/rule-graph": "^0.1.0-alpha.24",
-    "@shrkcrft/structural-search": "^0.1.0-alpha.24",
-    "@shrkcrft/impact-engine": "^0.1.0-alpha.24",
-    "@shrkcrft/context-planner": "^0.1.0-alpha.24",
-    "@shrkcrft/architecture-guard": "^0.1.0-alpha.24",
-    "@shrkcrft/framework-scanners": "^0.1.0-alpha.24",
-    "@shrkcrft/api-surface-diff": "^0.1.0-alpha.24",
-    "@shrkcrft/quality-gates": "^0.1.0-alpha.24",
-    "@shrkcrft/migrate": "^0.1.0-alpha.24",
-    "@shrkcrft/generator": "^0.1.0-alpha.24",
-    "@shrkcrft/importer": "^0.1.0-alpha.24",
-    "@shrkcrft/inspector": "^0.1.0-alpha.24",
-    "@shrkcrft/ai": "^0.1.0-alpha.24",
-    "@shrkcrft/embeddings": "^0.1.0-alpha.24",
-    "@shrkcrft/shared": "^0.1.0-alpha.24",
-    "@shrkcrft/mcp-server": "^0.1.0-alpha.24",
+    "@shrkcrft/core": "^0.1.0-alpha.26",
+    "@shrkcrft/compress": "^0.1.0-alpha.26",
+    "@shrkcrft/config": "^0.1.0-alpha.26",
+    "@shrkcrft/workspace": "^0.1.0-alpha.26",
+    "@shrkcrft/knowledge": "^0.1.0-alpha.26",
+    "@shrkcrft/context": "^0.1.0-alpha.26",
+    "@shrkcrft/rules": "^0.1.0-alpha.26",
+    "@shrkcrft/paths": "^0.1.0-alpha.26",
+    "@shrkcrft/templates": "^0.1.0-alpha.26",
+    "@shrkcrft/plugin-api": "^0.1.0-alpha.26",
+    "@shrkcrft/dashboard": "^0.1.0-alpha.26",
+    "@shrkcrft/dashboard-api": "^0.1.0-alpha.26",
+    "@shrkcrft/pipelines": "^0.1.0-alpha.26",
+    "@shrkcrft/presets": "^0.1.0-alpha.26",
+    "@shrkcrft/boundaries": "^0.1.0-alpha.26",
+    "@shrkcrft/graph": "^0.1.0-alpha.26",
+    "@shrkcrft/rule-graph": "^0.1.0-alpha.26",
+    "@shrkcrft/structural-search": "^0.1.0-alpha.26",
+    "@shrkcrft/impact-engine": "^0.1.0-alpha.26",
+    "@shrkcrft/context-planner": "^0.1.0-alpha.26",
+    "@shrkcrft/architecture-guard": "^0.1.0-alpha.26",
+    "@shrkcrft/framework-scanners": "^0.1.0-alpha.26",
+    "@shrkcrft/api-surface-diff": "^0.1.0-alpha.26",
+    "@shrkcrft/quality-gates": "^0.1.0-alpha.26",
+    "@shrkcrft/migrate": "^0.1.0-alpha.26",
+    "@shrkcrft/generator": "^0.1.0-alpha.26",
+    "@shrkcrft/importer": "^0.1.0-alpha.26",
+    "@shrkcrft/inspector": "^0.1.0-alpha.26",
+    "@shrkcrft/ai": "^0.1.0-alpha.26",
+    "@shrkcrft/embeddings": "^0.1.0-alpha.26",
+    "@shrkcrft/shared": "^0.1.0-alpha.26",
+    "@shrkcrft/mcp-server": "^0.1.0-alpha.26",
     "@huggingface/transformers": "^3.7.5"
   },
   "publishConfig": {