carrick 0.3.103 → 0.3.104

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "carrick",
-  "version": "0.3.103",
+  "version": "0.3.104",
   "description": "Maps your entire TypeScript codebase across services and repositories, giving AI agents full context on existing types, routes, and function behaviours over MCP before they write duplicate or breaking code.",
   "keywords": [
     "typescript",
@@ -58,11 +58,11 @@
     "zod": "^3.23.0"
   },
   "optionalDependencies": {
-    "@carrick-tools/cli-darwin-arm64": "0.3.103",
-    "@carrick-tools/cli-darwin-x64": "0.3.103",
-    "@carrick-tools/cli-linux-arm64": "0.3.103",
-    "@carrick-tools/cli-linux-x64": "0.3.103",
-    "@carrick-tools/cli-win32-x64": "0.3.103"
+    "@carrick-tools/cli-darwin-arm64": "0.3.104",
+    "@carrick-tools/cli-darwin-x64": "0.3.104",
+    "@carrick-tools/cli-linux-arm64": "0.3.104",
+    "@carrick-tools/cli-linux-x64": "0.3.104",
+    "@carrick-tools/cli-win32-x64": "0.3.104"
   },
   "devDependencies": {
     "@types/node": "^24.13.3",

package/plugin/.claude-plugin/plugin.json

@@ -1,7 +1,7 @@
 {
   "name": "carrick",
   "description": "Claude Code plugin for Carrick, which indexes TypeScript codebases across service and repository boundaries. After each edit it adds the file's routes, calls, and cross-service type mismatches to the session, and it registers Carrick's language server. It pairs with the Carrick MCP server, which lets agents search functions by intent rather than name.",
-  "version": "0.3.103",
+  "version": "0.3.104",
   "author": {
     "name": "Carrick",
     "email": "hello@carrick.tools"

package/sidecar/dist/src/capture/api.d.ts

@@ -292,6 +292,12 @@ export interface CaptureStubOptions {
     /** Directory the stub package is written into (created if missing). */
     outDir: string;
     tsconfigPath?: string;
+    /**
+     * The scanned repo's root, the upper bound of the search for a tsconfig
+     * above `repoRoot` when none is named (carrick#1776). Without it only
+     * `repoRoot` is searched.
+     */
+    scanRoot?: string;
 }
 /** Wire protocol of a matched pair (drives the direction table). */
 export type ProbeProtocol = 'http' | 'graphql' | 'socket' | 'pubsub';

package/sidecar/dist/src/capture/check-classify.js

@@ -171,6 +171,29 @@ export function classifyPair(input) {
             ...notAFact(`the ${side} sends a form-encoded body`, side),
         };
     }
+    // 4c. A body of bytes (carrick#1793): a blob, a buffer or a stream has no JSON
+    //     shape, so a MISMATCH between the containers two sides hold the bytes
+    //     in (a `Uint8Array` sent, read with `.blob()`) is not a drift. It
+    //     overrides a mismatch only: bytes that assign to bytes (a stream sent
+    //     where a stream is read) agree, and that verdict stands. When both
+    //     sides are bytes the sent side is named, whatever order the
+    //     diagnostics came in.
+    const firedGates = new Set(gateDiags.map((d) => plan.gateLines.get(d.line)));
+    const bytesGate = firedGates.has('sent:bytes')
+        ? 'sent:bytes'
+        : firedGates.has('expected:bytes')
+            ? 'expected:bytes'
+            : undefined;
+    const bytesVerdict = () => {
+        const { side } = sideForGate(bytesGate, plan);
+        return {
+            ...base,
+            bucket: 'unverifiable',
+            gate: `${side}:bytes`,
+            diagnostic: `the ${side} body is bytes (a blob, a buffer or a stream), which has no JSON shape to compare with the other side.`,
+            ...notAFact(`the ${side} body is bytes`, side),
+        };
+    };
     // 5. Assignment-class error on the DECISIVE assignment line -> incompatible.
     //
     // On an `http` pair that line is the JSON wire assignment, not the declared
@@ -183,6 +206,8 @@ export function classifyPair(input) {
     const decisiveLine = decisiveAssignmentLine(plan);
     const assignDiag = probeDiags.find((d) => d.line === decisiveLine && ASSIGNMENT_CODES.has(d.code));
     if (assignDiag) {
+        if (bytesGate)
+            return bytesVerdict();
         const text = scrubDiagnostic(assignDiag.message, scrubCtx, plan.sentEndpoint.alias, plan.expectedEndpoint.alias);
         return {
             ...base,
@@ -218,6 +243,8 @@ export function classifyPair(input) {
     if (wireOther) {
         const declaredMismatch = probeDiags.find((d) => d.line === plan.assignmentLine && ASSIGNMENT_CODES.has(d.code));
         if (declaredMismatch) {
+            if (bytesGate)
+                return bytesVerdict();
             return {
                 ...base,
                 bucket: 'incompatible',

package/sidecar/dist/src/capture/check-probe.d.ts

@@ -54,7 +54,7 @@ export declare function fnv1a(input: string): string;
  * path, so it is byte-stable across runs. */
 export declare function pairId(spec: CheckPairSpec): string;
 /** Names each gate line so a TS2344 can be attributed to a specific side+kind. */
-export type GateName = 'sent:any' | 'sent:unknown' | 'sent:never' | 'sent:void' | 'sent:form' | 'expected:any' | 'expected:unknown' | 'expected:never' | 'expected:void';
+export type GateName = 'sent:any' | 'sent:unknown' | 'sent:never' | 'sent:void' | 'sent:form' | 'sent:bytes' | 'expected:any' | 'expected:unknown' | 'expected:never' | 'expected:void' | 'expected:bytes';
 export interface ProbePlan {
     pairId: string;
     spec: CheckPairSpec;

package/sidecar/dist/src/capture/check-probe.js

@@ -150,6 +150,20 @@ export function buildProbe(spec, packageOf) {
         push(`type IsFormBody<T> = 0 extends 1 & T ? false : [T] extends [never] ? false : [T] extends [FormData | URLSearchParams] ? true : false;`);
         gateLines.set(push(`type _G_sent_form = Assert<Not<IsFormBody<Sent>>>;`), 'sent:form');
     }
+    // carrick#1793: a body of bytes (a blob, a buffer, a typed array, a stream)
+    // has no JSON shape. The wire carries the bytes whatever either side holds
+    // them in, so a route sending a `Uint8Array` read with `.blob()` is not a
+    // mismatch, and neither is the same route read as text. Either side, either
+    // half: a file upload states no fields a declared body could be compared
+    // with. The classifier lets this gate override a mismatch only, so bytes
+    // that assign to bytes still read compatible. `null`/`undefined` are
+    // dropped first, so `Blob | null` still gates, while a bare `null`,
+    // `undefined` or `never` leaves nothing to test.
+    if (spec.protocol === 'http') {
+        push(`type IsByteBody<T> = 0 extends 1 & T ? false : [NonNullable<T>] extends [never] ? false : [NonNullable<T>] extends [Blob | ArrayBuffer | SharedArrayBuffer | ArrayBufferView | ReadableStream<any>] ? true : false;`);
+        gateLines.set(push(`type _G_sent_bytes = Assert<Not<IsByteBody<Sent>>>;`), 'sent:bytes');
+        gateLines.set(push(`type _G_expected_bytes = Assert<Not<IsByteBody<Expected>>>;`), 'expected:bytes');
+    }
     push(`declare const sent: Sent;`);
     let assignmentLine;
     if (spec.protocol === 'graphql') {

package/sidecar/dist/src/capture/index.d.ts

@@ -31,6 +31,7 @@ import type { CaptureStubOptions, CaptureStubResult } from './api.js';
 export type { CaptureStubOptions, CaptureStubResult } from './api.js';
 export { DenoProject, findDenoConfig } from './deno-project.js';
 export { serviceConfigPath } from './project-references.js';
+export { findServiceTsconfig } from './service-config.js';
 export { runCheck } from './check.js';
 export type { CheckProgress } from './check.js';
 export { jsonWireDeclarations } from './check-probe.js';

package/sidecar/dist/src/capture/index.js

@@ -39,10 +39,12 @@ import { selfCheckStub } from './self-check.js';
 import { collectSpecifiers, isRelative, packageNameOf } from './specifiers.js';
 import { DenoProject, findDenoConfig } from './deno-project.js';
 import { emitsAlike, ProjectGraph } from './project-references.js';
+import { findServiceTsconfig } from './service-config.js';
 import { placeEmittedTree } from './outside-root.js';
 import { WriteGuard } from './guarded-fs.js';
 export { DenoProject, findDenoConfig } from './deno-project.js';
 export { serviceConfigPath } from './project-references.js';
+export { findServiceTsconfig } from './service-config.js';
 // v2 check core ("tsc as the judge"). Same bundle, same seam: the sidecar
 // reaches it only through this door (index.js).
 export { runCheck } from './check.js';
@@ -127,9 +129,11 @@ export function captureStub(opts) {
     const packageName = `@carrick/${sanitizeServiceName(opts.serviceName)}`;
     const stubDir = path.resolve(opts.outDir);
     const errors = [];
+    // The named config, else the one the init'd project reads too
+    // (carrick#1776). A service with neither is typed under defaults below.
     const configPath = opts.tsconfigPath
         ? path.resolve(repoRoot, opts.tsconfigPath)
-        : path.join(repoRoot, 'tsconfig.json');
+        : findServiceTsconfig(repoRoot, opts.scanRoot) ?? path.join(repoRoot, 'tsconfig.json');
     let parsed;
     // The config the emit's options came from: the named one, or the project
     // that owns the most anchors' files (carrick#1604).

package/sidecar/dist/src/capture/service-config.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Which tsconfig types a service that names none (carrick#1776).
+ *
+ * Both readers of a service, the init'd project and capture, ask this one
+ * function, so they type the service under the same options.
+ *
+ * The service root is searched first, for the names a service keeps its own
+ * config under. Above it, the search is `tsc`'s own when it is run with no
+ * `-p`: the nearest `tsconfig.json` in an ancestor directory. A layout that
+ * keeps one config above several services (their module resolution, `paths`,
+ * `lib`) is typed under that config, as the repo's own `tsc` types it; without
+ * it, every import only that config resolves read `any`.
+ *
+ * The walk stops at the scan root, inclusive: a config outside the scanned
+ * tree is never read. With no scan root, or a service outside it, only the
+ * service root is searched.
+ */
+/** Absolute path of the config that types the service, or undefined for none. */
+export declare function findServiceTsconfig(serviceRoot: string, scanRoot?: string): string | undefined;

package/sidecar/dist/src/capture/service-config.js

@@ -0,0 +1,57 @@
+/**
+ * Which tsconfig types a service that names none (carrick#1776).
+ *
+ * Both readers of a service, the init'd project and capture, ask this one
+ * function, so they type the service under the same options.
+ *
+ * The service root is searched first, for the names a service keeps its own
+ * config under. Above it, the search is `tsc`'s own when it is run with no
+ * `-p`: the nearest `tsconfig.json` in an ancestor directory. A layout that
+ * keeps one config above several services (their module resolution, `paths`,
+ * `lib`) is typed under that config, as the repo's own `tsc` types it; without
+ * it, every import only that config resolves read `any`.
+ *
+ * The walk stops at the scan root, inclusive: a config outside the scanned
+ * tree is never read. With no scan root, or a service outside it, only the
+ * service root is searched.
+ */
+import * as fs from 'node:fs';
+import * as path from 'node:path';
+/** The names a service root is searched for, in order. */
+const SERVICE_ROOT_NAMES = ['tsconfig.json', 'tsconfig.build.json', 'tsconfig.app.json'];
+/** The name an ancestor directory is searched for, as `tsc` searches. */
+const ANCESTOR_NAME = 'tsconfig.json';
+/** Absolute path of the config that types the service, or undefined for none. */
+export function findServiceTsconfig(serviceRoot, scanRoot) {
+    const root = path.resolve(serviceRoot);
+    for (const name of SERVICE_ROOT_NAMES) {
+        const candidate = path.join(root, name);
+        if (fs.existsSync(candidate))
+            return candidate;
+    }
+    if (scanRoot === undefined)
+        return undefined;
+    // Containment is decided on real paths, so a symlink on either end cannot
+    // hide the service inside the scan root or place it outside; the walk then
+    // climbs the path as given, one directory per level between them.
+    const fromBound = path.relative(realPath(scanRoot), realPath(root));
+    if (fromBound === '' || fromBound.startsWith('..') || path.isAbsolute(fromBound))
+        return undefined;
+    let dir = root;
+    for (let level = fromBound.split(path.sep).length; level > 0; level--) {
+        dir = path.dirname(dir);
+        const candidate = path.join(dir, ANCESTOR_NAME);
+        if (fs.existsSync(candidate))
+            return candidate;
+    }
+    return undefined;
+}
+/** The path with every symlink resolved; the path as given when it does not exist. */
+function realPath(p) {
+    try {
+        return fs.realpathSync(p);
+    }
+    catch {
+        return path.resolve(p);
+    }
+}

package/sidecar/dist/src/index.js

@@ -125,6 +125,7 @@ function handleInit(request) {
         projectLoader = new ProjectLoader({
             repoRoot: request.repo_root,
             tsconfigPath: request.tsconfig_path,
+            scanRoot: request.scan_root,
             tsconfigSnapshot: request.tsconfig_snapshot,
             pinnedDependencies: request.pinned_dependencies,
         });
@@ -213,6 +214,7 @@ function handleCaptureV2(request) {
             anchors: request.anchors,
             outDir: request.out_dir,
             tsconfigPath: request.tsconfig_path,
+            scanRoot: request.scan_root,
         });
         return {
             request_id: request.request_id,

package/sidecar/dist/src/project-loader.d.ts

@@ -19,6 +19,12 @@ export interface ProjectLoaderOptions {
     repoRoot: string;
     /** Optional path to tsconfig.json (relative to repo root or absolute) */
     tsconfigPath?: string;
+    /**
+     * The scanned repo's root, the upper bound of the search for a tsconfig
+     * above `repoRoot` when none is named (carrick#1776). Without it only
+     * `repoRoot` is searched.
+     */
+    scanRoot?: string;
     /** Optional tsconfig snapshot (closed/merged) - preferred over tsconfigPath */
     tsconfigSnapshot?: TsconfigSnapshot;
     /** Optional pinned dependencies for this repo */
@@ -69,6 +75,7 @@ export declare class ProjectLoader {
     private readonly ownerProjects;
     private readonly repoRoot;
     private readonly tsconfigPath;
+    private readonly scanRoot;
     private readonly tsconfigSnapshot;
     private readonly pinnedDependencies;
     private initialized;
@@ -140,9 +147,10 @@ export declare class ProjectLoader {
      */
     getPinnedDependencies(): PinnedDependencySnapshot | undefined;
     /**
-     * Find the tsconfig.json file to use
+     * The tsconfig to build from: the named one when it exists, else the one
+     * `findServiceTsconfig` finds for the service, which capture also reads.
      *
-     * @returns Absolute path to tsconfig.json, or undefined if not found
+     * @returns Absolute path to the tsconfig, or undefined if not found
      */
     private findTsConfig;
     /**

package/sidecar/dist/src/project-loader.js

@@ -12,7 +12,7 @@
 import { Project } from 'ts-morph';
 import * as path from 'node:path';
 import * as fs from 'node:fs';
-import { DenoProject, findDenoConfig, serviceConfigPath } from './capture/index.js';
+import { DenoProject, findDenoConfig, findServiceTsconfig, serviceConfigPath } from './capture/index.js';
 import { moduleFormatResolutionHost } from './module-format.js';
 import { ExternalImports, registerExternalImports } from './origin.js';
 /**
@@ -125,6 +125,7 @@ export class ProjectLoader {
     ownerProjects = new Map();
     repoRoot;
     tsconfigPath;
+    scanRoot;
     tsconfigSnapshot;
     pinnedDependencies;
     initialized = false;
@@ -141,6 +142,7 @@ export class ProjectLoader {
                 ? options.tsconfigPath
                 : path.resolve(this.repoRoot, options.tsconfigPath);
         }
+        this.scanRoot = options.scanRoot;
         // Store snapshot if provided
         this.tsconfigSnapshot = options.tsconfigSnapshot;
         this.pinnedDependencies = options.pinnedDependencies;
@@ -422,30 +424,19 @@ export class ProjectLoader {
         return this.pinnedDependencies;
     }
     /**
-     * Find the tsconfig.json file to use
+     * The tsconfig to build from: the named one when it exists, else the one
+     * `findServiceTsconfig` finds for the service, which capture also reads.
      *
-     * @returns Absolute path to tsconfig.json, or undefined if not found
+     * @returns Absolute path to the tsconfig, or undefined if not found
      */
     findTsConfig() {
-        // If a specific path was provided, try to use it
         if (this.tsconfigPath) {
             if (fs.existsSync(this.tsconfigPath)) {
                 return this.tsconfigPath;
             }
             this.log(`Specified tsconfig not found: ${this.tsconfigPath}`);
         }
-        // Try common tsconfig locations
-        const candidates = [
-            path.join(this.repoRoot, 'tsconfig.json'),
-            path.join(this.repoRoot, 'tsconfig.build.json'),
-            path.join(this.repoRoot, 'tsconfig.app.json'),
-        ];
-        for (const candidate of candidates) {
-            if (fs.existsSync(candidate)) {
-                return candidate;
-            }
-        }
-        return undefined;
+        return findServiceTsconfig(this.repoRoot, this.scanRoot);
     }
     /**
      * Add source files from common project locations when no tsconfig is found.

package/sidecar/dist/src/types.d.ts

@@ -110,6 +110,12 @@ export interface InitRequest extends BaseRequest {
     action: 'init';
     repo_root: string;
     tsconfig_path?: string;
+    /**
+     * The scanned repo's root: with no tsconfig named or in `repo_root`, the
+     * nearest `tsconfig.json` above `repo_root` up to this root types the
+     * service (carrick#1776). Without it only `repo_root` is searched.
+     */
+    scan_root?: string;
     /** Optional tsconfig snapshot (closed/merged) - preferred over tsconfig_path */
     tsconfig_snapshot?: TsconfigSnapshot;
     /** Optional pinned dependencies for this repo */
@@ -141,6 +147,8 @@ export interface CaptureV2Request extends BaseRequest {
     out_dir: string;
     /** Optional explicit tsconfig path (defaults to <repo_root>/tsconfig.json) */
     tsconfig_path?: string;
+    /** The scanned repo's root, as on `init` (carrick#1776). */
+    scan_root?: string;
 }
 /**
  * Response for the capture_v2 action

package/sidecar/dist/src/validators.d.ts

@@ -69,6 +69,7 @@ export declare const InitRequestSchema: z.ZodObject<{
     action: z.ZodLiteral<"init">;
     repo_root: z.ZodString;
     tsconfig_path: z.ZodOptional<z.ZodString>;
+    scan_root: z.ZodOptional<z.ZodString>;
     tsconfig_snapshot: z.ZodOptional<z.ZodObject<{
         compilerOptions: z.ZodObject<{
             module: z.ZodOptional<z.ZodString>;
@@ -161,6 +162,7 @@ export declare const InitRequestSchema: z.ZodObject<{
     action: "init";
     repo_root: string;
     tsconfig_path?: string | undefined;
+    scan_root?: string | undefined;
     tsconfig_snapshot?: {
         compilerOptions: {
             module?: string | undefined;
@@ -187,6 +189,7 @@ export declare const InitRequestSchema: z.ZodObject<{
     action: "init";
     repo_root: string;
     tsconfig_path?: string | undefined;
+    scan_root?: string | undefined;
     tsconfig_snapshot?: {
         compilerOptions: {
             module?: string | undefined;
@@ -344,6 +347,7 @@ export declare const CaptureV2RequestSchema: z.ZodObject<{
     }>]>, "many">;
     out_dir: z.ZodString;
     tsconfig_path: z.ZodOptional<z.ZodString>;
+    scan_root: z.ZodOptional<z.ZodString>;
 }, "strip", z.ZodTypeAny, {
     request_id: string;
     action: "capture_v2";
@@ -381,6 +385,7 @@ export declare const CaptureV2RequestSchema: z.ZodObject<{
     })[];
     out_dir: string;
     tsconfig_path?: string | undefined;
+    scan_root?: string | undefined;
 }, {
     request_id: string;
     action: "capture_v2";
@@ -418,6 +423,7 @@ export declare const CaptureV2RequestSchema: z.ZodObject<{
     })[];
     out_dir: string;
     tsconfig_path?: string | undefined;
+    scan_root?: string | undefined;
 }>;
 export declare const CheckV2RequestSchema: z.ZodObject<{
     request_id: z.ZodString;
@@ -1810,6 +1816,7 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
     action: z.ZodLiteral<"init">;
     repo_root: z.ZodString;
     tsconfig_path: z.ZodOptional<z.ZodString>;
+    scan_root: z.ZodOptional<z.ZodString>;
     tsconfig_snapshot: z.ZodOptional<z.ZodObject<{
         compilerOptions: z.ZodObject<{
             module: z.ZodOptional<z.ZodString>;
@@ -1902,6 +1909,7 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
     action: "init";
     repo_root: string;
     tsconfig_path?: string | undefined;
+    scan_root?: string | undefined;
     tsconfig_snapshot?: {
         compilerOptions: {
             module?: string | undefined;
@@ -1928,6 +1936,7 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
     action: "init";
     repo_root: string;
     tsconfig_path?: string | undefined;
+    scan_root?: string | undefined;
     tsconfig_snapshot?: {
         compilerOptions: {
             module?: string | undefined;
@@ -2083,6 +2092,7 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
     }>]>, "many">;
     out_dir: z.ZodString;
     tsconfig_path: z.ZodOptional<z.ZodString>;
+    scan_root: z.ZodOptional<z.ZodString>;
 }, "strip", z.ZodTypeAny, {
     request_id: string;
     action: "capture_v2";
@@ -2120,6 +2130,7 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
     })[];
     out_dir: string;
     tsconfig_path?: string | undefined;
+    scan_root?: string | undefined;
 }, {
     request_id: string;
     action: "capture_v2";
@@ -2157,6 +2168,7 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
     })[];
     out_dir: string;
     tsconfig_path?: string | undefined;
+    scan_root?: string | undefined;
 }>, z.ZodObject<{
     request_id: z.ZodString;
 } & {

package/sidecar/dist/src/validators.js

@@ -136,6 +136,7 @@ export const InitRequestSchema = BaseRequestSchema.extend({
     action: z.literal('init'),
     repo_root: z.string().min(1, 'Repo root cannot be empty'),
     tsconfig_path: z.string().optional(),
+    scan_root: z.string().min(1).optional(),
     tsconfig_snapshot: TsconfigSnapshotSchema.optional(),
     pinned_dependencies: PinnedDependencySnapshotSchema.optional(),
 });
@@ -192,6 +193,7 @@ export const CaptureV2RequestSchema = BaseRequestSchema.extend({
     anchors: z.array(CaptureAnchorRequestSchema).min(1, 'At least one anchor is required'),
     out_dir: z.string().min(1, 'Output dir cannot be empty'),
     tsconfig_path: z.string().optional(),
+    scan_root: z.string().min(1).optional(),
 });
 const CheckStubInputSchema = z.object({
     service_name: z.string().min(1),