carrick 0.3.53

package/dist/init/settings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"settings.js","sourceRoot":"","sources":["../../src/init/settings.ts"],"names":[],"mappings":"AAAA,mFAAmF;AACnF,EAAE;AACF,2EAA2E;AAC3E,8EAA8E;AAC9E,0EAA0E;AAC1E,+EAA+E;AAC/E,4EAA4E;AAC5E,yCAAyC;AACzC,EAAE;AACF,+EAA+E;AAC/E,+EAA+E;AAC/E,gFAAgF;AAChF,gFAAgF;AAChF,yCAAyC;AAEzC,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3C;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAAC,OAAe,WAAW,EAAE;IACxD,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC;AAC/C,CAAC;AASD;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,OAG3B;IACC,IAAI,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACzE,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1C,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC3E,CAAC;AAKD,6EAA6E;AAC7E,MAAM,UAAU,YAAY,CAAC,OAAO,GAAG,SAAS;IAC9C,OAAO;QACL,0EAA0E;QAC1E,0CAA0C;QAC1C,WAAW,EAAE;YACX;gBACE,OAAO,EAAE,sBAAsB;gBAC/B,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,OAAO,iBAAiB,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;aAChF;SACF;QACD,2EAA2E;QAC3E,wCAAwC;QACxC,YAAY,EAAE;YACZ;gBACE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,OAAO,qBAAqB,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;aACpF;SACF;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,SAAS,GAAG,qBAAqB,CAAC;AAExC,SAAS,MAAM,CAAC,KAAc;IAC5B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,OAAO,GAAI,KAAmB,CAAC,OAAO,CAAC;IAC7C,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9C,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAC7C,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACrC,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,aAAa,CAAC;AACtD,CAAC;AAED,0EAA0E;AAC1E,SAAS,WAAW,CAAC,MAAe;IAClC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IACtC,MAAM,IAAI,GAAgB,EAAE,CAAC;IAC7B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YAChD,IAAI,CAAC,IAAI,CAAC,KAAkB,CAAC,CAAC;YAC9B,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAI,KAAmB,CAAC,KAAK,CAAC;QACzC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAkB,CAAC,CAAC;YAC9B,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACvD,2EAA2E;QAC3E,2CAA2C;QAC3C,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,EAAE,GAAI,KAAmB,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AASD;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,QAAuB,EAAE,OAAO,GAAG,SAAS;IAC5E,MAAM,IAAI,GACR,QAAQ,IAAI,IAAI,IAAI,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE;QACxC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAA6B,CAAC;IAExD,MAAM,WAAW,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAA4B,CAAC;IACrE,MAAM,KAAK,GAA4B,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QAC1D,KAAK,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACrC,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACpE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAE,KAAK,CAAC,KAAK,CAAiB,IAAI,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC;IACvE,CAAC;IACD,wEAAwE;IACxE,qCAAqC;IACrC,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACpD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC;IACxE,CAAC;IAED,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,MAAM,CAAC,GAAG,CAAC,GAAG,GAAG,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IAChD,CAAC;IACD,IAAI,CAAC,CAAC,OAAO,IAAI,MAAM,CAAC;QAAE,MAAM,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC;IAElD,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;IACpD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;AAC9C,CAAC"}

package/dist/log.d.ts

@@ -0,0 +1,2 @@
+export type Logger = (...parts: unknown[]) => void;
+export declare function createLogger(prefix: string, env?: NodeJS.ProcessEnv): Logger;

package/dist/log.js

@@ -0,0 +1,35 @@
+// Logging that can never reach a protocol stream.
+//
+// The language server owns stdout for JSON-RPC and the hooks own stdout for the
+// context they print, so every line here goes to stderr, and to a file when
+// CARRICK_LOG names one. Failing to log is not an error worth raising.
+import fs from "node:fs";
+import path from "node:path";
+export function createLogger(prefix, env = process.env) {
+    const file = env["CARRICK_LOG"] ?? null;
+    const quiet = env["CARRICK_LOG_QUIET"] === "1";
+    return (...parts) => {
+        const text = parts
+            .map((part) => (typeof part === "string" ? part : JSON.stringify(part)))
+            .join(" ");
+        const line = `[${new Date().toISOString()}] ${prefix}: ${text}\n`;
+        if (file) {
+            try {
+                fs.mkdirSync(path.dirname(path.resolve(file)), { recursive: true });
+                fs.appendFileSync(file, line);
+            }
+            catch {
+                // A log that cannot be written is not a reason to fail an edit.
+            }
+        }
+        if (quiet)
+            return;
+        try {
+            process.stderr.write(line);
+        }
+        catch {
+            // Same.
+        }
+    };
+}
+//# sourceMappingURL=log.js.map

package/dist/log.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"log.js","sourceRoot":"","sources":["../src/log.ts"],"names":[],"mappings":"AAAA,kDAAkD;AAClD,EAAE;AACF,gFAAgF;AAChF,4EAA4E;AAC5E,uEAAuE;AAEvE,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAI7B,MAAM,UAAU,YAAY,CAAC,MAAc,EAAE,MAAyB,OAAO,CAAC,GAAG;IAC/E,MAAM,IAAI,GAAG,GAAG,CAAC,aAAa,CAAC,IAAI,IAAI,CAAC;IACxC,MAAM,KAAK,GAAG,GAAG,CAAC,mBAAmB,CAAC,KAAK,GAAG,CAAC;IAC/C,OAAO,CAAC,GAAG,KAAgB,EAAQ,EAAE;QACnC,MAAM,IAAI,GAAG,KAAK;aACf,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;aACvE,IAAI,CAAC,GAAG,CAAC,CAAC;QACb,MAAM,IAAI,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC;QAClE,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,CAAC;gBACH,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;gBACpE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAChC,CAAC;YAAC,MAAM,CAAC;gBACP,gEAAgE;YAClE,CAAC;QACH,CAAC;QACD,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,CAAC;YACH,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;QAAC,MAAM,CAAC;YACP,QAAQ;QACV,CAAC;IACH,CAAC,CAAC;AACJ,CAAC"}

package/dist/native.d.ts

@@ -0,0 +1,48 @@
+/** Where the binary for a platform is published. */
+export declare function platformPackage(platform?: string, arch?: string): string;
+/** Every platform this package publishes a binary for. */
+export declare const PLATFORMS: Array<{
+    platform: string;
+    arch: string;
+}>;
+/** The file name inside a platform package. */
+export declare function binaryName(platform?: string): string;
+/** This package's own root, whatever the cwd is. */
+export declare function packageRoot(): string;
+export type NativeLookup = {
+    /** Absolute path to the scanner binary, or null when nothing resolved. */
+    binary: string | null;
+    /** Why there is none, ready to print. Null when there is one. */
+    problem: string | null;
+    /** How it was found, for the log and for the tests. */
+    source: "env" | "platform_package" | "none";
+};
+export type ResolveOptions = {
+    env?: NodeJS.ProcessEnv;
+    platform?: string;
+    arch?: string;
+    /** Injectable for tests: resolves a package's `package.json` to a path. */
+    resolveManifest?: (specifier: string) => string;
+    exists?: (target: string) => boolean;
+};
+/**
+ * The scanner binary this machine should run.
+ *
+ * CARRICK_NATIVE_BINARY wins, so a developer can point the shipped CLI at a
+ * `cargo build` and the smokes can pin one. Otherwise the platform package
+ * that npm installed carries it. A missing platform package is a message, not
+ * a crash: the caller decides whether that is fatal (running a scan) or merely
+ * silent (a hook that must never fail an edit).
+ */
+export declare function resolveNativeBinary(options?: ResolveOptions): NativeLookup;
+/**
+ * The sidecar directory to hand the binary, or null when this checkout has
+ * none built. Null is not an error here: the binary's own discovery covers a
+ * source checkout, and the read-only commands never start a sidecar at all.
+ */
+export declare function resolveSidecarDir(options?: ResolveOptions): string | null;
+/**
+ * The environment to run the binary with: this package's sidecar, and nothing
+ * else changed.
+ */
+export declare function nativeEnv(options?: ResolveOptions): NodeJS.ProcessEnv;

package/dist/native.js

@@ -0,0 +1,127 @@
+// Finding the scanner binary, and the sidecar it needs, inside an npm install.
+//
+// The Rust binary cannot ship in this package: npm would put five platforms'
+// worth of it on every machine. It ships in `@carrick-tools/cli-<platform>`
+// packages listed as `optionalDependencies`, so npm installs exactly the one
+// this machine can run and skips the rest. Nothing here runs at install time —
+// no postinstall, no download — which is why `npm install --ignore-scripts`
+// still produces a working `carrick`.
+//
+// The sidecar goes the other way round: it is TypeScript, it is the same on
+// every platform, and it needs `ts-morph` and `zod` resolvable from where it
+// sits. So it ships in THIS package, beside `node_modules/`, and the binary is
+// told where it is with CARRICK_SIDECAR_DIR (src/main.rs reads it first).
+import fs from "node:fs";
+import path from "node:path";
+import { createRequire } from "node:module";
+import { fileURLToPath } from "node:url";
+/** Where the binary for a platform is published. */
+export function platformPackage(platform = process.platform, arch = process.arch) {
+    return `@carrick-tools/cli-${platform}-${arch}`;
+}
+/** Every platform this package publishes a binary for. */
+export const PLATFORMS = [
+    { platform: "darwin", arch: "arm64" },
+    { platform: "darwin", arch: "x64" },
+    { platform: "linux", arch: "x64" },
+    { platform: "linux", arch: "arm64" },
+    { platform: "win32", arch: "x64" },
+];
+/** The file name inside a platform package. */
+export function binaryName(platform = process.platform) {
+    return platform === "win32" ? "carrick.exe" : "carrick";
+}
+/** This package's own root, whatever the cwd is. */
+export function packageRoot() {
+    return path.resolve(path.dirname(fileURLToPath(import.meta.url)), "..");
+}
+function defaultResolveManifest(specifier) {
+    // Resolved from this file, so the lookup follows the install that owns this
+    // copy of the package rather than the caller's cwd.
+    return createRequire(import.meta.url).resolve(specifier);
+}
+function defaultExists(target) {
+    try {
+        return fs.existsSync(target);
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * The scanner binary this machine should run.
+ *
+ * CARRICK_NATIVE_BINARY wins, so a developer can point the shipped CLI at a
+ * `cargo build` and the smokes can pin one. Otherwise the platform package
+ * that npm installed carries it. A missing platform package is a message, not
+ * a crash: the caller decides whether that is fatal (running a scan) or merely
+ * silent (a hook that must never fail an edit).
+ */
+export function resolveNativeBinary(options = {}) {
+    const env = options.env ?? process.env;
+    const exists = options.exists ?? defaultExists;
+    const override = env["CARRICK_NATIVE_BINARY"];
+    if (override) {
+        if (exists(override)) {
+            return { binary: override, problem: null, source: "env" };
+        }
+        return {
+            binary: null,
+            source: "env",
+            problem: `CARRICK_NATIVE_BINARY is set to ${override}, which is not a file on this machine.`,
+        };
+    }
+    const platform = options.platform ?? process.platform;
+    const arch = options.arch ?? process.arch;
+    const specifier = platformPackage(platform, arch);
+    const resolveManifest = options.resolveManifest ?? defaultResolveManifest;
+    let manifest;
+    try {
+        manifest = resolveManifest(`${specifier}/package.json`);
+    }
+    catch {
+        const supported = PLATFORMS.some((entry) => entry.platform === platform && entry.arch === arch);
+        return {
+            binary: null,
+            source: "none",
+            problem: supported
+                ? `The carrick binary for ${platform}-${arch} is not installed. It ships as ${specifier}, an optional dependency of this package. Reinstall with 'npm install carrick', or set CARRICK_NATIVE_BINARY to a binary you built.`
+                : `Carrick publishes no binary for ${platform}-${arch}. Supported: ${PLATFORMS.map((entry) => `${entry.platform}-${entry.arch}`).join(", ")}. Set CARRICK_NATIVE_BINARY to a binary you built to use it anyway.`,
+        };
+    }
+    const binary = path.join(path.dirname(manifest), "bin", binaryName(platform));
+    if (!exists(binary)) {
+        return {
+            binary: null,
+            source: "none",
+            problem: `${specifier} is installed but holds no binary at ${binary}. Reinstall it, or set CARRICK_NATIVE_BINARY.`,
+        };
+    }
+    return { binary, problem: null, source: "platform_package" };
+}
+/**
+ * The sidecar directory to hand the binary, or null when this checkout has
+ * none built. Null is not an error here: the binary's own discovery covers a
+ * source checkout, and the read-only commands never start a sidecar at all.
+ */
+export function resolveSidecarDir(options = {}) {
+    const env = options.env ?? process.env;
+    const exists = options.exists ?? defaultExists;
+    const configured = env["CARRICK_SIDECAR_DIR"];
+    if (configured)
+        return configured;
+    const bundled = path.join(packageRoot(), "sidecar");
+    return exists(path.join(bundled, "dist", "src", "index.js")) ? bundled : null;
+}
+/**
+ * The environment to run the binary with: this package's sidecar, and nothing
+ * else changed.
+ */
+export function nativeEnv(options = {}) {
+    const env = { ...(options.env ?? process.env) };
+    const sidecar = resolveSidecarDir(options);
+    if (sidecar)
+        env["CARRICK_SIDECAR_DIR"] = sidecar;
+    return env;
+}
+//# sourceMappingURL=native.js.map

package/dist/native.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"native.js","sourceRoot":"","sources":["../src/native.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,EAAE;AACF,6EAA6E;AAC7E,4EAA4E;AAC5E,6EAA6E;AAC7E,+EAA+E;AAC/E,4EAA4E;AAC5E,sCAAsC;AACtC,EAAE;AACF,4EAA4E;AAC5E,6EAA6E;AAC7E,+EAA+E;AAC/E,0EAA0E;AAE1E,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,oDAAoD;AACpD,MAAM,UAAU,eAAe,CAC7B,WAAmB,OAAO,CAAC,QAAQ,EACnC,OAAe,OAAO,CAAC,IAAI;IAE3B,OAAO,sBAAsB,QAAQ,IAAI,IAAI,EAAE,CAAC;AAClD,CAAC;AAED,0DAA0D;AAC1D,MAAM,CAAC,MAAM,SAAS,GAA8C;IAClE,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE;IACrC,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE;IACnC,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE;IAClC,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE;IACpC,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE;CACnC,CAAC;AAEF,+CAA+C;AAC/C,MAAM,UAAU,UAAU,CAAC,WAAmB,OAAO,CAAC,QAAQ;IAC5D,OAAO,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1D,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,WAAW;IACzB,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAC1E,CAAC;AAoBD,SAAS,sBAAsB,CAAC,SAAiB;IAC/C,4EAA4E;IAC5E,oDAAoD;IACpD,OAAO,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,aAAa,CAAC,MAAc;IACnC,IAAI,CAAC;QACH,OAAO,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC/B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAA0B,EAAE;IAC9D,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC;IACvC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,aAAa,CAAC;IAC/C,MAAM,QAAQ,GAAG,GAAG,CAAC,uBAAuB,CAAC,CAAC;IAC9C,IAAI,QAAQ,EAAE,CAAC;QACb,IAAI,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YACrB,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QAC5D,CAAC;QACD,OAAO;YACL,MAAM,EAAE,IAAI;YACZ,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,mCAAmC,QAAQ,wCAAwC;SAC7F,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,CAAC;IACtD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IAC1C,MAAM,SAAS,GAAG,eAAe,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAClD,MAAM,eAAe,GAAG,OAAO,CAAC,eAAe,IAAI,sBAAsB,CAAC;IAC1E,IAAI,QAAgB,CAAC;IACrB,IAAI,CAAC;QACH,QAAQ,GAAG,eAAe,CAAC,GAAG,SAAS,eAAe,CAAC,CAAC;IAC1D,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAC9B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAC9D,CAAC;QACF,OAAO;YACL,MAAM,EAAE,IAAI;YACZ,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,SAAS;gBAChB,CAAC,CAAC,0BAA0B,QAAQ,IAAI,IAAI,kCAAkC,SAAS,qIAAqI;gBAC5N,CAAC,CAAC,mCAAmC,QAAQ,IAAI,IAAI,gBAAgB,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,qEAAqE;SACnN,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9E,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACpB,OAAO;YACL,MAAM,EAAE,IAAI;YACZ,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,GAAG,SAAS,wCAAwC,MAAM,+CAA+C;SACnH,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;AAC/D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,UAA0B,EAAE;IAC5D,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC;IACvC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,aAAa,CAAC;IAC/C,MAAM,UAAU,GAAG,GAAG,CAAC,qBAAqB,CAAC,CAAC;IAC9C,IAAI,UAAU;QAAE,OAAO,UAAU,CAAC;IAClC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,SAAS,CAAC,CAAC;IACpD,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AAChF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAC,UAA0B,EAAE;IACpD,MAAM,GAAG,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;IAChD,MAAM,OAAO,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAC3C,IAAI,OAAO;QAAE,GAAG,CAAC,qBAAqB,CAAC,GAAG,OAAO,CAAC;IAClD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/render.d.ts

@@ -0,0 +1,65 @@
+import { type Boundary, type CheckItem, type CheckResult, type StatusResult, type StatusService } from "./contract.ts";
+/** How many item lines one hook message carries before it says how many are left. */
+export declare const MAX_ITEM_LINES = 12;
+/** How many counterpart sites one item line names before the same. */
+export declare const MAX_COUNTERPARTS = 4;
+export declare function shortHash(commit: string | undefined): string;
+/**
+ * The boundary as the CLI prints it: one line per thing the scan could not
+ * classify, and nothing for the ones it classified all of.
+ */
+export declare function boundaryLines(boundary: Boundary | undefined, service: string | undefined): string[];
+/**
+ * The boundary for one payload: the CLI's own lines when it sent them,
+ * otherwise this port of `ServiceBoundary::lines`.
+ *
+ * `boundary_lines` is printed exactly as it arrives, so the hook, the
+ * diagnostic and `carrick check` in a terminal say the same sentence about the
+ * same count. Nothing here reformats or re-orders it.
+ */
+export declare function boundaryFor(result: CheckResult): string[];
+/** True when the lines came from the CLI rather than from the port above. */
+export declare function boundaryIsPreRendered(result: CheckResult): boolean;
+/**
+ * The verdict state in words. It is the type layer's word and only that: it
+ * says nothing about freshness, which `stale` and `changed_since_index` carry.
+ */
+export declare function stateWord(state: string | undefined): string;
+/** One line for one route or call: where it is, what it is, what is known about it. */
+export declare function itemLine(item: CheckItem, file: string | undefined): string;
+/** Problems first, then everything that names another service, both by line. */
+export declare function reportableItems(result: CheckResult): CheckItem[];
+/**
+ * The PostToolUse context, or `null` when the index has nothing to say at all.
+ *
+ * A file with no indexed route or call still gets the boundary, because that is
+ * the difference between "nothing crosses a service here" and "nothing here was
+ * classified". Only an error payload and a payload with neither items nor a
+ * boundary are silent.
+ */
+export declare function renderPostToolUse(result: CheckResult, displayFile?: string): string | null;
+/**
+ * The boundary for one service in a status answer, same preference as a check.
+ */
+export declare function serviceBoundary(service: StatusService): string[];
+/** How many stale files one service line names before it says how many are left. */
+export declare const MAX_STALE_FILES = 5;
+/**
+ * One line per service: what it holds, at which commit, and how far its repo
+ * has moved since.
+ *
+ * Services of one repo share a commit and a changed-file count, so the count is
+ * stated on the first service of each repo and the others point at it. Saying
+ * it once is the difference between one repo with three services and three
+ * repos that all happen to have moved by the same number of files.
+ */
+export declare function serviceLine(service: StatusService, sharesRepoWith: string | null): string;
+/**
+ * The SessionStart line, from `carrick status --json`.
+ *
+ * `check` and `touch` each take exactly one file, so this is the only read that
+ * answers for a workspace. It carries no verdict: `status` states what is
+ * indexed and what each service could not classify, and nothing about whether a
+ * contract holds.
+ */
+export declare function renderSessionStart(status: StatusResult): string;

package/dist/render.js

@@ -0,0 +1,334 @@
+// Turning a check payload into lines a model reads.
+//
+// Shape, from the design (§4.4) and carried by both hooks: locations first,
+// boundary last, one line per item. The boundary wording is a port of
+// `ServiceBoundary::lines` in src/boundary.rs, so the CLI, the PR comment and
+// this hook say the same sentence about the same count.
+import { connectedItems, problemItems, } from "./contract.js";
+/** How many item lines one hook message carries before it says how many are left. */
+export const MAX_ITEM_LINES = 12;
+/** How many counterpart sites one item line names before the same. */
+export const MAX_COUNTERPARTS = 4;
+export function shortHash(commit) {
+    if (!commit)
+        return "an unknown commit";
+    return commit.slice(0, 7);
+}
+function firstReason(count) {
+    const first = count.reasons?.[0];
+    if (!first)
+        return "";
+    return count.total > 1 ? ` (e.g. ${first})` : ` (${first})`;
+}
+/**
+ * The boundary as the CLI prints it: one line per thing the scan could not
+ * classify, and nothing for the ones it classified all of.
+ */
+export function boundaryLines(boundary, service) {
+    if (!boundary)
+        return [];
+    const who = service ?? "this workspace";
+    // Local mode dispatches nothing to the analyzer, so the count is 0 on every
+    // laptop index and the clause would be noise on every edit. The commit is
+    // the part of the header that always says something.
+    const attempted = boundary.files_attempted ?? 0;
+    const out = [
+        attempted > 0
+            ? `${who} at ${shortHash(boundary.commit_hash)}: ${attempted} file(s) sent to the analyzer`
+            : `${who} at ${shortHash(boundary.commit_hash)}`,
+    ];
+    const push = (count, what) => {
+        if (!count || count.total === 0)
+            return;
+        out.push(`  ${count.total} ${what}${firstReason(count)}`);
+    };
+    push(boundary.files_lost, "file(s) the analyzer never answered for");
+    push(boundary.consumers_not_resolved, "call site(s) that named a client member and did not resolve to it");
+    push(boundary.sdk_unresolved, "SDK call(s) that produced no edge");
+    push(boundary.unknown_call_paths, "indexed call(s) whose path no producer may claim");
+    push(boundary.routes_without_response_type, "route(s) with no resolved response type");
+    push(boundary.calls_without_expected_type, "call(s) with no resolved expected type");
+    if ((boundary.unemitted_literal_candidates ?? 0) > 0) {
+        out.push(`  ${boundary.unemitted_literal_candidates} bare route-literal call site(s) left unclassified`);
+    }
+    if ((boundary.model_only_rows ?? 0) > 0) {
+        out.push(`  ${boundary.model_only_rows} row(s) the model alone states (${boundary.model_rows_joined ?? 0} joined a deterministic row)`);
+    }
+    if ((boundary.model_endpoints_discarded_in_claimed_modules ?? 0) > 0) {
+        out.push(`  ${boundary.model_endpoints_discarded_in_claimed_modules} model endpoint(s) dropped in modules a routing convention claims`);
+    }
+    if (boundary.types_degraded) {
+        out.push(`  types degraded at ${boundary.types_degraded.stage ?? "an unnamed stage"}: ${boundary.types_degraded.detail ?? "no detail"}`);
+    }
+    if (boundary.bare_checkout) {
+        out.push("  types captured on a bare checkout: anything through a dependency is `any`");
+    }
+    return out;
+}
+/**
+ * The boundary for one payload: the CLI's own lines when it sent them,
+ * otherwise this port of `ServiceBoundary::lines`.
+ *
+ * `boundary_lines` is printed exactly as it arrives, so the hook, the
+ * diagnostic and `carrick check` in a terminal say the same sentence about the
+ * same count. Nothing here reformats or re-orders it.
+ */
+export function boundaryFor(result) {
+    if (result.boundary_lines?.length)
+        return result.boundary_lines;
+    const counts = boundaryLines(result.boundary, result.service);
+    // `boundary_note` is the sentence about what a local index cannot hold at
+    // all, and it leads the CLI's own lines, so it leads these too.
+    if (result.boundary_note)
+        return [result.boundary_note, ...counts];
+    return counts;
+}
+/** True when the lines came from the CLI rather than from the port above. */
+export function boundaryIsPreRendered(result) {
+    return Boolean(result.boundary_lines?.length);
+}
+function counterpartText(counterparts) {
+    const shown = counterparts.slice(0, MAX_COUNTERPARTS);
+    const rendered = shown
+        .map((counterpart) => {
+        const where = counterpart.file
+            ? `${counterpart.file}${counterpart.line ? `:${counterpart.line}` : ""}`
+            : "an unnamed file";
+        return counterpart.service ? `${counterpart.service} ${where}` : where;
+    })
+        .join(", ");
+    const rest = counterparts.length - shown.length;
+    return rest > 0 ? `${rendered}, and ${rest} more` : rendered;
+}
+/**
+ * What to call the other side. A `peer` is a shared external contract, so it
+ * gets no producer/consumer word: the locations are the whole answer.
+ */
+function roleLabel(counterparts) {
+    const roles = new Set(counterparts.map((counterpart) => counterpart.role));
+    if (roles.size === 1 && roles.has("consumer"))
+        return "Consumers";
+    if (roles.size === 1 && roles.has("producer"))
+        return "Producers";
+    if (roles.size === 1 && roles.has("peer"))
+        return "Same contract in";
+    return "Counterparts";
+}
+/** `[fact]` or `[candidate, model]`: R1's label, plus what produced the row. */
+function sourceLabel(item) {
+    const parts = [];
+    if (item.source)
+        parts.push(item.source);
+    if (item.resolution_source)
+        parts.push(item.resolution_source);
+    return parts.length ? ` [${parts.join(", ")}]` : "";
+}
+/**
+ * The verdict state in words. It is the type layer's word and only that: it
+ * says nothing about freshness, which `stale` and `changed_since_index` carry.
+ */
+export function stateWord(state) {
+    if (state === "not_checked")
+        return "no type verdict";
+    if (state === "unresolved")
+        return "no usable type on one side, so nothing is claimed";
+    if (state === "resolved")
+        return "compiler-compared";
+    return state ?? "";
+}
+/**
+ * What is known about the contract at this row.
+ *
+ * `result` is null wherever the state is the whole statement, so there is no
+ * result word to print and the state carries the line. Where both are present
+ * the state qualifies the result, because `method_mismatch` with no type
+ * verdict behind it is a different claim from a compiler-compared mismatch.
+ */
+function verdictText(item) {
+    if (!item.verdict)
+        return "";
+    const { state, result, detail } = item.verdict;
+    const head = result == null
+        ? stateWord(state)
+        : state === "resolved"
+            ? result
+            : `${result} (${stateWord(state)})`;
+    if (!head)
+        return detail ? ` ${detail}` : "";
+    return detail ? ` ${head}: ${detail}` : ` ${head}`;
+}
+/** One line for one route or call: where it is, what it is, what is known about it. */
+export function itemLine(item, file) {
+    const where = `${file ?? "this file"}:${item.line ?? 1}:${item.col ?? 1}`;
+    const operation = [item.method, item.path].filter(Boolean).join(" ");
+    const counterparts = item.counterparts ?? [];
+    const segments = [
+        `- ${where} ${item.kind}${operation ? ` ${operation}` : ""}${sourceLabel(item)}${verdictText(item)}`,
+    ];
+    if (item.evidence)
+        segments.push(`Read off ${item.evidence}`);
+    if (counterparts.length) {
+        segments.push(`${roleLabel(counterparts)}: ${counterpartText(counterparts)}`);
+    }
+    return segments.map((segment) => segment.replace(/\.+$/, "")).join(". ");
+}
+/** Problems first, then everything that names another service, both by line. */
+export function reportableItems(result) {
+    const byLine = (a, b) => (a.line ?? 0) - (b.line ?? 0);
+    const problems = problemItems(result).sort(byLine);
+    const connected = connectedItems(result)
+        .filter((item) => !problems.includes(item))
+        .sort(byLine);
+    return [...problems, ...connected];
+}
+function deletedLine(result) {
+    if (!result.deleted)
+        return null;
+    const consumers = (result.items ?? []).reduce((total, item) => total + (item.counterparts ?? []).length, 0);
+    return `This file is gone from disk and the index still holds ${(result.items ?? []).length} row(s) for it, with ${consumers} counterpart(s) still on the other side.`;
+}
+/**
+ * Append the boundary to a rendered message.
+ *
+ * The port's first line is labelled, because on its own it reads as a bare
+ * count. The CLI's own lines are appended untouched: a label glued to the front
+ * of them would no longer be the bytes the CLI printed.
+ */
+function pushBoundary(lines, result, boundary) {
+    if (!boundary.length)
+        return;
+    if (boundaryIsPreRendered(result)) {
+        for (const line of boundary)
+            lines.push(line);
+        return;
+    }
+    lines.push(`Boundary: ${boundary[0]}`);
+    for (const line of boundary.slice(1))
+        lines.push(line);
+}
+function staleLine(result) {
+    if (!result.stale)
+        return null;
+    const changed = result.changed_since_index;
+    const suffix = typeof changed === "number"
+        ? ` ${changed} file(s) in the workspace have changed since ${shortHash(result.index_commit)}.`
+        : "";
+    return `This file has changed since the index, so these verdicts describe the indexed version.${suffix}`;
+}
+/**
+ * The PostToolUse context, or `null` when the index has nothing to say at all.
+ *
+ * A file with no indexed route or call still gets the boundary, because that is
+ * the difference between "nothing crosses a service here" and "nothing here was
+ * classified". Only an error payload and a payload with neither items nor a
+ * boundary are silent.
+ */
+export function renderPostToolUse(result, displayFile) {
+    if (result.error)
+        return null;
+    const items = reportableItems(result);
+    const boundary = boundaryFor(result);
+    // The boundary is never dropped: the local index holds no bare-receiver route
+    // and no `fetch` call, because both need a model, so an empty answer without
+    // the boundary beside it reads as "there is nothing here" when it means
+    // "nothing here was classified".
+    if (items.length === 0 && boundary.length === 0)
+        return null;
+    // `result.file` is relative to the repo that owns it, so the caller's own
+    // workspace-relative path is the one a reader can open; it wins when given.
+    const where = displayFile ?? result.file;
+    const service = result.service ? `${result.service}, ` : "";
+    const lines = [
+        `Carrick checked ${where ?? "this file"} against the workspace index (${service}indexed at ${shortHash(result.index_commit)}).`,
+    ];
+    for (const item of items.slice(0, MAX_ITEM_LINES))
+        lines.push(itemLine(item, where));
+    const hidden = items.length - Math.min(items.length, MAX_ITEM_LINES);
+    if (hidden > 0) {
+        lines.push(`- and ${hidden} more route(s) or call(s) in this file, from \`carrick check\`.`);
+    }
+    const deleted = deletedLine(result);
+    if (deleted)
+        lines.push(deleted);
+    const stale = staleLine(result);
+    if (stale)
+        lines.push(stale);
+    pushBoundary(lines, result, boundary);
+    return lines.join("\n");
+}
+/**
+ * The boundary for one service in a status answer, same preference as a check.
+ */
+export function serviceBoundary(service) {
+    if (service.boundary_lines?.length)
+        return service.boundary_lines;
+    const counts = boundaryLines(service.boundary, service.service);
+    if (service.boundary_note)
+        return [service.boundary_note, ...counts];
+    return counts;
+}
+/** How many stale files one service line names before it says how many are left. */
+export const MAX_STALE_FILES = 5;
+function staleText(service) {
+    const total = service.stale_files_total ?? service.changed_since_index;
+    const shown = (service.stale_files ?? []).slice(0, MAX_STALE_FILES);
+    if (!shown.length)
+        return "";
+    const rest = total - shown.length;
+    const listed = rest > 0 ? `${shown.join(", ")}, +${rest} more` : shown.join(", ");
+    return ` (${listed})`;
+}
+/**
+ * One line per service: what it holds, at which commit, and how far its repo
+ * has moved since.
+ *
+ * Services of one repo share a commit and a changed-file count, so the count is
+ * stated on the first service of each repo and the others point at it. Saying
+ * it once is the difference between one repo with three services and three
+ * repos that all happen to have moved by the same number of files.
+ */
+export function serviceLine(service, sharesRepoWith) {
+    const head = `- ${service.service} at ${shortHash(service.index_commit)}: ${service.routes} route(s), ${service.calls} call(s)`;
+    if (sharesRepoWith) {
+        return `${head}. Same repo as ${sharesRepoWith}, so the same ${service.changed_since_index} changed file(s)`;
+    }
+    return `${head}, changed since index: ${service.changed_since_index}${staleText(service)}`;
+}
+/**
+ * The SessionStart line, from `carrick status --json`.
+ *
+ * `check` and `touch` each take exactly one file, so this is the only read that
+ * answers for a workspace. It carries no verdict: `status` states what is
+ * indexed and what each service could not classify, and nothing about whether a
+ * contract holds.
+ */
+export function renderSessionStart(status) {
+    if (status.error === "not_indexed") {
+        return "Carrick has no index for this workspace, so nothing in this session is checked against the other services. `carrick index --workspace <dir>` builds one.";
+    }
+    if (status.error) {
+        return `Carrick could not read its index for this workspace (${status.error}).`;
+    }
+    if (!status.services.length) {
+        return `Carrick has an index at ${status.workspace ?? "this workspace"} and it holds no services.`;
+    }
+    const version = status.scanner_version ? `, scanner ${status.scanner_version}` : "";
+    const where = status.workspace ? ` in ${status.workspace}` : "";
+    const when = status.indexed_at ? ` at ${status.indexed_at}` : "";
+    const lines = [
+        `Carrick indexed ${status.services.length} service(s)${where}${when}${version}.`,
+    ];
+    const firstOfRepo = new Map();
+    for (const service of status.services) {
+        const shared = firstOfRepo.get(service.repo) ?? null;
+        if (!shared)
+            firstOfRepo.set(service.repo, service.service);
+        lines.push(serviceLine(service, shared));
+    }
+    for (const service of status.services) {
+        for (const line of serviceBoundary(service))
+            lines.push(line);
+    }
+    return lines.join("\n");
+}
+//# sourceMappingURL=render.js.map