carrick 0.3.106 → 0.3.108

package/dist/hook/refresh.js

@@ -132,7 +132,14 @@ export function refreshInBackground(root, status, options = {}) {
         return null;
     if (!claimRefresh(marker, now, cooldown))
         return null;
-    (options.start ?? startDetached)(binary(env), ["refresh", "--workspace", root], env);
+    // Nobody started this refresh and nobody is reading it, so it does not keep
+    // the machine awake: that hold is for a scan a person is waiting on, and it
+    // comes with a line saying so that this one has nowhere to print
+    // (carrick#1889).
+    (options.start ?? startDetached)(binary(env), ["refresh", "--workspace", root], {
+        ...env,
+        CARRICK_NO_KEEP_AWAKE: "1",
+    });
     return "Carrick: a repo here is connected with no hosted index yet, so a refresh is running in the background. Its rows arrive in the next session.";
 }
 //# sourceMappingURL=refresh.js.map

package/dist/hook/refresh.js.map

@@ -1 +1 @@
-{"version":3,"file":"refresh.js","sourceRoot":"","sources":["../../src/hook/refresh.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,EAAE;AACF,0EAA0E;AAC1E,0EAA0E;AAC1E,8EAA8E;AAC9E,6EAA6E;AAC7E,8CAA8C;AAC9C,EAAE;AACF,qEAAqE;AACrE,iCAAiC;AACjC,EAAE;AACF,+EAA+E;AAC/E,qEAAqE;AACrE,4EAA4E;AAC5E,4EAA4E;AAC5E,sBAAsB;AACtB,wEAAwE;AACxE,6EAA6E;AAC7E,6EAA6E;AAC7E,+EAA+E;AAC/E,+EAA+E;AAC/E,mCAAmC;AACnC,EAAE;AACF,0EAA0E;AAC1E,6EAA6E;AAC7E,oEAAoE;AAEpE,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAGnC,iEAAiE;AACjE,MAAM,CAAC,MAAM,mBAAmB,GAAG,EAAE,GAAG,MAAM,CAAC;AAE/C,2EAA2E;AAC3E,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,mBAAmB,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,MAAyB,OAAO,CAAC,GAAG;IAC7D,MAAM,GAAG,GAAG,GAAG,CAAC,6BAA6B,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;IAC3D,OAAO,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC;AAC/E,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,mBAAmB,CAAC,MAAoB;IACtD,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,KAAK,cAAc,CAAC,CAAC;AACpF,CAAC;AAED,yEAAyE;AACzE,SAAS,SAAS,CAAC,MAAc;IAC/B,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACjE,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,cAAc,CAAC,MAAoB,EAAE,MAAc;IACjE,MAAM,OAAO,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;IAC7F,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClF,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,YAAY,CAAC,MAAc,EAAE,GAAW,EAAE,QAAgB;IACxE,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IAC/B,IAAI,IAAI,KAAK,IAAI,IAAI,GAAG,GAAG,IAAI,GAAG,QAAQ;QAAE,OAAO,KAAK,CAAC;IACzD,MAAM,SAAS,GAAG,GAAG,MAAM,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IAC7C,IAAI,CAAC;QACH,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACxD,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAClF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC;QACH,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;YAChD,IAAI,CAAC;gBACH,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;gBAC/B,OAAO,IAAI,CAAC;YACd,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAO,KAAK,CAAC;YACvE,CAAC;YACD,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;YAClC,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YACvD,IAAI,GAAG,GAAG,OAAO,GAAG,QAAQ;gBAAE,OAAO,KAAK,CAAC;YAC3C,IAAI,CAAC;gBACH,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YACxB,CAAC;YAAC,MAAM,CAAC;gBACP,kEAAkE;YACpE,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;YAAS,CAAC;QACT,IAAI,CAAC;YACH,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,CAAC;QAAC,MAAM,CAAC;YACP,6CAA6C;QAC/C,CAAC;IACH,CAAC;AACH,CAAC;AASD,SAAS,aAAa,CAAC,OAAe,EAAE,IAAc,EAAE,GAAsB;IAC5E,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;IAC7E,KAAK,CAAC,KAAK,EAAE,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAY,EACZ,MAAoB,EACpB,UAA0B,EAAE;IAE5B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC;IACvC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;IACtC,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,GAAG,GAAG,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,QAAQ;QAAE,OAAO,IAAI,CAAC;IACjE,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,GAAG,EAAE,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IACtD,CAAC,OAAO,CAAC,KAAK,IAAI,aAAa,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,EAAE,aAAa,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;IACrF,OAAO,6IAA6I,CAAC;AACvJ,CAAC"}
+{"version":3,"file":"refresh.js","sourceRoot":"","sources":["../../src/hook/refresh.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,EAAE;AACF,0EAA0E;AAC1E,0EAA0E;AAC1E,8EAA8E;AAC9E,6EAA6E;AAC7E,8CAA8C;AAC9C,EAAE;AACF,qEAAqE;AACrE,iCAAiC;AACjC,EAAE;AACF,+EAA+E;AAC/E,qEAAqE;AACrE,4EAA4E;AAC5E,4EAA4E;AAC5E,sBAAsB;AACtB,wEAAwE;AACxE,6EAA6E;AAC7E,6EAA6E;AAC7E,+EAA+E;AAC/E,+EAA+E;AAC/E,mCAAmC;AACnC,EAAE;AACF,0EAA0E;AAC1E,6EAA6E;AAC7E,oEAAoE;AAEpE,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAGnC,iEAAiE;AACjE,MAAM,CAAC,MAAM,mBAAmB,GAAG,EAAE,GAAG,MAAM,CAAC;AAE/C,2EAA2E;AAC3E,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,mBAAmB,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,MAAyB,OAAO,CAAC,GAAG;IAC7D,MAAM,GAAG,GAAG,GAAG,CAAC,6BAA6B,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;IAC3D,OAAO,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC;AAC/E,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,mBAAmB,CAAC,MAAoB;IACtD,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,KAAK,cAAc,CAAC,CAAC;AACpF,CAAC;AAED,yEAAyE;AACzE,SAAS,SAAS,CAAC,MAAc;IAC/B,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACjE,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,cAAc,CAAC,MAAoB,EAAE,MAAc;IACjE,MAAM,OAAO,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;IAC7F,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClF,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,YAAY,CAAC,MAAc,EAAE,GAAW,EAAE,QAAgB;IACxE,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IAC/B,IAAI,IAAI,KAAK,IAAI,IAAI,GAAG,GAAG,IAAI,GAAG,QAAQ;QAAE,OAAO,KAAK,CAAC;IACzD,MAAM,SAAS,GAAG,GAAG,MAAM,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IAC7C,IAAI,CAAC;QACH,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACxD,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAClF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC;QACH,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;YAChD,IAAI,CAAC;gBACH,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;gBAC/B,OAAO,IAAI,CAAC;YACd,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAO,KAAK,CAAC;YACvE,CAAC;YACD,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;YAClC,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YACvD,IAAI,GAAG,GAAG,OAAO,GAAG,QAAQ;gBAAE,OAAO,KAAK,CAAC;YAC3C,IAAI,CAAC;gBACH,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YACxB,CAAC;YAAC,MAAM,CAAC;gBACP,kEAAkE;YACpE,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;YAAS,CAAC;QACT,IAAI,CAAC;YACH,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,CAAC;QAAC,MAAM,CAAC;YACP,6CAA6C;QAC/C,CAAC;IACH,CAAC;AACH,CAAC;AASD,SAAS,aAAa,CAAC,OAAe,EAAE,IAAc,EAAE,GAAsB;IAC5E,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;IAC7E,KAAK,CAAC,KAAK,EAAE,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAY,EACZ,MAAoB,EACpB,UAA0B,EAAE;IAE5B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC;IACvC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;IACtC,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,GAAG,GAAG,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,QAAQ;QAAE,OAAO,IAAI,CAAC;IACjE,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,GAAG,EAAE,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IACtD,4EAA4E;IAC5E,4EAA4E;IAC5E,iEAAiE;IACjE,kBAAkB;IAClB,CAAC,OAAO,CAAC,KAAK,IAAI,aAAa,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,EAAE,aAAa,EAAE,IAAI,CAAC,EAAE;QAC9E,GAAG,GAAG;QACN,qBAAqB,EAAE,GAAG;KAC3B,CAAC,CAAC;IACH,OAAO,6IAA6I,CAAC;AACvJ,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "carrick",
-  "version": "0.3.106",
+  "version": "0.3.108",
   "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.106",
-    "@carrick-tools/cli-darwin-x64": "0.3.106",
-    "@carrick-tools/cli-linux-arm64": "0.3.106",
-    "@carrick-tools/cli-linux-x64": "0.3.106",
-    "@carrick-tools/cli-win32-x64": "0.3.106"
+    "@carrick-tools/cli-darwin-arm64": "0.3.108",
+    "@carrick-tools/cli-darwin-x64": "0.3.108",
+    "@carrick-tools/cli-linux-arm64": "0.3.108",
+    "@carrick-tools/cli-linux-x64": "0.3.108",
+    "@carrick-tools/cli-win32-x64": "0.3.108"
   },
   "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.106",
+  "version": "0.3.108",
   "author": {
     "name": "Carrick",
     "email": "hello@carrick.tools"

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

@@ -56,8 +56,21 @@ export interface ResolvedAnchor {
      */
     namesUnemittedModule?: true;
 }
-/** Repo-root-relative source file -> extensionless specifier from entryDir. */
-export declare function entryRelativeSpecifier(entryDir: string, repoRoot: string, sourceFile: string): string;
+/**
+ * Repo-root-relative source file -> the specifier the surface entry imports
+ * it by: its path from `entryDir`, in the form the entry resolves.
+ *
+ * With the extension removed (`./a`), where `resolveFromEntry` says the entry
+ * resolves that to the module. It does not always (carrick#1911): under
+ * `module` `node16`..`nodenext` an entry in a `"type": "module"` package is
+ * an ES module, which must name the file the module compiles to, and a `.mts`
+ * or `.cts` module has no extensionless form under any setting. There, and
+ * with no resolver to ask, the specifier is that output name: `./a.js` for
+ * `.ts` and `.tsx`, `./a.mjs` for `.mts`, `./a.cjs` for `.cts`, which every
+ * module setting maps back to the source and, in the stub, to its
+ * declaration.
+ */
+export declare function entryRelativeSpecifier(entryDir: string, repoRoot: string, sourceFile: string, resolveFromEntry?: (specifier: string) => string | undefined): string;
 /**
  * Resolve one anchor against the analysis program. `placeholder` is the
  * anchor's own placeholder alias declaration in the entry file -- the

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

@@ -11,15 +11,32 @@ import { typeIsOrContainsMachinery } from './machinery.js';
 import { installedPackageSpecifier } from './installed-package.js';
 import { realPath } from './service-config.js';
 import { unresolvedAtAnchor, unresolvedSpecifiersReachableFrom, } from './unresolved.js';
-/** Repo-root-relative source file -> extensionless specifier from entryDir. */
-export function entryRelativeSpecifier(entryDir, repoRoot, sourceFile) {
-    const target = path
-        .join(repoRoot, sourceFile)
-        .replace(/\.(ts|tsx|mts|cts)$/, '');
-    let rel = path.relative(entryDir, target).split(path.sep).join('/');
-    if (!rel.startsWith('.'))
-        rel = `./${rel}`;
-    return rel;
+/**
+ * Repo-root-relative source file -> the specifier the surface entry imports
+ * it by: its path from `entryDir`, in the form the entry resolves.
+ *
+ * With the extension removed (`./a`), where `resolveFromEntry` says the entry
+ * resolves that to the module. It does not always (carrick#1911): under
+ * `module` `node16`..`nodenext` an entry in a `"type": "module"` package is
+ * an ES module, which must name the file the module compiles to, and a `.mts`
+ * or `.cts` module has no extensionless form under any setting. There, and
+ * with no resolver to ask, the specifier is that output name: `./a.js` for
+ * `.ts` and `.tsx`, `./a.mjs` for `.mts`, `./a.cjs` for `.cts`, which every
+ * module setting maps back to the source and, in the stub, to its
+ * declaration.
+ */
+export function entryRelativeSpecifier(entryDir, repoRoot, sourceFile, resolveFromEntry) {
+    const target = path.join(repoRoot, sourceFile);
+    const from = (file) => {
+        const rel = path.relative(entryDir, file).split(path.sep).join('/');
+        return rel.startsWith('.') ? rel : `./${rel}`;
+    };
+    const bare = from(target.replace(/\.(ts|tsx|mts|cts)$/, ''));
+    const resolved = resolveFromEntry?.(bare);
+    if (resolved !== undefined && realPath(resolved) === realPath(target))
+        return bare;
+    const kind = /(?:\.d)?\.([cm]?)[jt]sx?$/.exec(target);
+    return kind ? from(`${target.slice(0, kind.index)}.${kind[1]}js`) : bare;
 }
 function moduleExport(checker, sourceFile, name) {
     const moduleSymbol = checker.getSymbolAtLocation(sourceFile);
@@ -100,7 +117,7 @@ export function resolveAnchor(program, request, args) {
     if (!sourceFile) {
         return demote(`source file not in program: ${request.source_file}`);
     }
-    const spec = entryRelativeSpecifier(args.entryDir, args.repoRoot, request.source_file);
+    const spec = entryRelativeSpecifier(args.entryDir, args.repoRoot, request.source_file, args.resolveFromEntry);
     if (request.kind === 'symbol') {
         const exported = moduleExport(checker, sourceFile, request.symbol_name);
         if (!exported) {
@@ -436,7 +453,7 @@ function qualifyNamesFromSource(text, program, sourceFileRel, printed, args) {
             return undefined;
         if (rel.split(path.sep).includes('node_modules'))
             return undefined;
-        return entryRelativeSpecifier(args.entryDir, args.repoRoot, rel.split(path.sep).join('/'));
+        return entryRelativeSpecifier(args.entryDir, args.repoRoot, rel.split(path.sep).join('/'), args.resolveFromEntry);
     };
     const imports = new Map();
     const importFor = (name) => {

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

@@ -346,6 +346,14 @@ export interface CaptureStubResult {
     ts_version: string;
     errors: string[];
 }
+/**
+ * The stages of a capture that it reports as it reaches them (carrick#1916),
+ * in order: the program the anchors are read in is being built; the anchors
+ * are being resolved in it; the declarations are being emitted; the stub is
+ * being checked. A capture whose anchors belong to several projects goes
+ * through the first two once per project.
+ */
+export type CapturePhase = 'program' | 'anchors' | 'emit' | 'self-check';
 export interface CaptureStubOptions {
     repoRoot: string;
     serviceName: string;
@@ -360,6 +368,13 @@ export interface CaptureStubOptions {
      * lie inside it only beneath a `.carrick` directory (carrick#1768).
      */
     scanRoot?: string;
+    /**
+     * Told each stage as the capture reaches it, and each anchor as it is
+     * resolved (`message` is then `<done> of <total>`). Called by the work
+     * itself, between units, so a capture that stops finishing them stops
+     * reporting. It changes nothing the capture writes.
+     */
+    onProgress?: (phase: CapturePhase, message: string) => void;
 }
 /** Wire protocol of a matched pair (drives the direction table). */
 export type ProbeProtocol = 'http' | 'graphql' | 'socket' | 'pubsub';

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

@@ -14,6 +14,8 @@
  *   IsFormBody gate fired (TS2344)        -> unverifiable (form-encoded body)
  *   IsByteBody gate fired (TS2344)        -> unverifiable (bytes, even agreeing)
  *   raw-text read marked on a side        -> unverifiable (text, even agreeing)
+ *   assignment error, sent union taken in part by a weak expected type
+ *                                         -> unverifiable (carrick#1995)
  *   assignment-class error                -> incompatible
  *   no diagnostics                        -> compatible     [lowest precedence]
  *
@@ -27,6 +29,7 @@ import type { CheckVerdict } from './api.js';
 import { type ProbePlan, type Side } from './check-probe.js';
 import { type ScrubContext } from './check-scrub.js';
 import type { PairDeepFindings } from './check-deep.js';
+import type { DispatchUnion } from './check-union.js';
 import { type PairFieldReport } from './check-fields.js';
 export interface RawDiagnostic {
     /** Workspace-relative, forward-slash file path (empty for global errors). */
@@ -66,6 +69,12 @@ export interface ClassifyInput {
      * run, in which case the tsc text stands alone.
      */
     fieldReport?: PairFieldReport;
+    /**
+     * Set when the sent side is a union the expected side takes only in part,
+     * every other member failing by nothing but the compiler's weak-type check
+     * (carrick#1995). Read only where the decisive assignment failed.
+     */
+    dispatchUnion?: DispatchUnion;
     /**
      * The side whose capture record says it reads the body as raw text
      * (carrick#1842), the sent side when both do. Read from the record, not the

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

@@ -14,6 +14,8 @@
  *   IsFormBody gate fired (TS2344)        -> unverifiable (form-encoded body)
  *   IsByteBody gate fired (TS2344)        -> unverifiable (bytes, even agreeing)
  *   raw-text read marked on a side        -> unverifiable (text, even agreeing)
+ *   assignment error, sent union taken in part by a weak expected type
+ *                                         -> unverifiable (carrick#1995)
  *   assignment-class error                -> incompatible
  *   no diagnostics                        -> compatible     [lowest precedence]
  *
@@ -220,6 +222,24 @@ export function classifyPair(input) {
     // the `string` it becomes) has no error on this line and is not a drift.
     const decisiveLine = decisiveAssignmentLine(plan);
     const assignDiag = probeDiags.find((d) => d.line === decisiveLine && ASSIGNMENT_CODES.has(d.code));
+    // 5a. Unless the mismatch is a sent union the expected type takes in part,
+    //     the members it rejects sharing no field with a type whose every field
+    //     is optional (carrick#1995). That is a route answering a body per
+    //     branch read by a caller of one branch: no member breaks a reader whose
+    //     every read allows absence, and which member the call receives is not
+    //     in the types. Not a fact either way, and no side to retype.
+    if (assignDiag && input.dispatchUnion) {
+        const { members, agreeing } = input.dispatchUnion;
+        const sent = plan.direction.sent;
+        const expected = plan.direction.expected;
+        return {
+            ...base,
+            bucket: 'unverifiable',
+            gate: `${sent}:union`,
+            diagnostic: `the ${sent} type is a union of ${members} bodies; the ${expected} type, every field optional, accepts ${agreeing} of them and shares no field with the other ${members - agreeing}, so the call reads one of the bodies the route answers and the types do not say which.`,
+            ...notAFact(`the ${sent} type is a union of bodies and the ${expected} type, every field optional, accepts only some of them`),
+        };
+    }
     if (assignDiag) {
         const text = scrubDiagnostic(assignDiag.message, scrubCtx, plan.sentEndpoint.alias, plan.expectedEndpoint.alias);
         return {

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

@@ -28,6 +28,7 @@
  *
  * Seam: node builtins + `typescript` + this bundle only.
  */
+import ts from 'typescript';
 import type { ProbePlan, Side } from './check-probe.js';
 import type { ProbeProgram } from './check-deep.js';
 /** What kind of difference one field path carries. */
@@ -69,6 +70,29 @@ export interface PairFieldReport {
  * how many more there are rather than pretending the list is complete.
  */
 export declare const MAX_NAMED_FIELDS = 8;
+/**
+ * The two types the judge's decisive assignment compared for one plan, read in
+ * the probe program, with the compiler's own assignability relation.
+ * `undefined` when the probe or either alias cannot be read, or the compiler
+ * build exposes no relation: every statement made without them would be a
+ * guess.
+ *
+ * The sent side is whatever that assignment actually sent: the GraphQL
+ * comparand where one exists, then the JSON wire form where serialising
+ * changes the type. Reading `sent` there instead would describe a type the
+ * judge did not compare, which is the one way a reader of this pair could
+ * contradict it.
+ */
+export declare function comparedTypes(opened: ProbeProgram, plan: ProbePlan): {
+    compared: ts.Type;
+    expected: {
+        type: ts.Type;
+        node: ts.Node;
+    };
+    wireApplied: boolean;
+    checker: ts.TypeChecker;
+    isAssignableTo: (source: ts.Type, target: ts.Type) => boolean;
+} | undefined;
 /**
  * Field reports for every plan whose probe the program could read, keyed by
  * pair id. A plan with no entry has no report, which is not a claim that its

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

@@ -54,6 +54,56 @@ function assignabilityOf(checker) {
     const fn = checker.isTypeAssignableTo;
     return typeof fn === 'function' ? fn.bind(checker) : undefined;
 }
+/**
+ * The two types the judge's decisive assignment compared for one plan, read in
+ * the probe program, with the compiler's own assignability relation.
+ * `undefined` when the probe or either alias cannot be read, or the compiler
+ * build exposes no relation: every statement made without them would be a
+ * guess.
+ *
+ * The sent side is whatever that assignment actually sent: the GraphQL
+ * comparand where one exists, then the JSON wire form where serialising
+ * changes the type. Reading `sent` there instead would describe a type the
+ * judge did not compare, which is the one way a reader of this pair could
+ * contradict it.
+ */
+export function comparedTypes(opened, plan) {
+    const { program, checker, probesDir } = opened;
+    const isAssignableTo = assignabilityOf(checker);
+    if (!isAssignableTo)
+        return undefined;
+    const file = program.getSourceFile(`${probesDir}/probes/${plan.fileName}`.split('\\').join('/'));
+    const source = file ??
+        program.getSourceFiles().find((sf) => sf.fileName.endsWith(`/probes/${plan.fileName}`));
+    if (!source)
+        return undefined;
+    const declared = declaredConstType(source, checker, 'sentComparand') ??
+        declaredConstType(source, checker, 'sent');
+    const expected = declaredConstType(source, checker, 'expected');
+    if (!declared || !expected)
+        return undefined;
+    const wire = declaredConstType(source, checker, 'sentWire');
+    // Whether serialising changes anything observable about the sent type.
+    const wireApplied = wire !== undefined &&
+        !(isAssignableTo(wire.type, declared.type) && isAssignableTo(declared.type, wire.type));
+    // The DECLARED type unless serialising really changed it.
+    //
+    // The probe declares its wire comparand through a conditional alias that
+    // short-circuits back to the declared type whenever that already assigns,
+    // and a conditional the checker has not had to resolve carries no members
+    // to walk. Reading it unconditionally therefore emptied the field report on
+    // exactly the pairs that AGREE — the ones whose only statement is an
+    // optionality gap or the wire note (carrick#1341). Where serialisation did
+    // change the type the wire form is a mapped type with real members, and it
+    // stays the thing compared, because that is what the judge judged.
+    return {
+        compared: wireApplied ? wire.type : declared.type,
+        expected,
+        wireApplied,
+        checker,
+        isAssignableTo,
+    };
+}
 /**
  * Field reports for every plan whose probe the program could read, keyed by
  * pair id. A plan with no entry has no report, which is not a claim that its
@@ -63,44 +113,12 @@ export function pairFieldReports(opened, plans) {
     const results = new Map();
     if (!opened)
         return results;
-    const { program, checker, probesDir } = opened;
-    const isAssignableTo = assignabilityOf(checker);
-    if (!isAssignableTo)
-        return results;
     for (const plan of plans) {
-        const file = program.getSourceFile(`${probesDir}/probes/${plan.fileName}`.split('\\').join('/'));
-        const source = file ??
-            program
-                .getSourceFiles()
-                .find((sf) => sf.fileName.endsWith(`/probes/${plan.fileName}`));
-        if (!source)
-            continue;
-        // Whatever the judge's decisive assignment actually sent: the GraphQL
-        // comparand where one exists, then the JSON wire form where one exists.
-        // Reading `sent` there instead would describe a type the judge did not
-        // compare, which is the one way this walk could contradict it.
-        const declared = declaredConstType(source, checker, 'sentComparand') ??
-            declaredConstType(source, checker, 'sent');
-        const expected = declaredConstType(source, checker, 'expected');
-        if (!declared || !expected)
+        const pair = comparedTypes(opened, plan);
+        if (!pair)
             continue;
-        const wire = declaredConstType(source, checker, 'sentWire');
-        // Whether serialising changes anything observable about the sent type.
-        const wireChanges = wire !== undefined &&
-            !(isAssignableTo(wire.type, declared.type) && isAssignableTo(declared.type, wire.type));
-        // Walk the DECLARED type unless serialising really changed it.
-        //
-        // The probe declares its wire comparand through a conditional alias that
-        // short-circuits back to the declared type whenever that already assigns,
-        // and a conditional the checker has not had to resolve carries no members
-        // to walk. Reading it unconditionally therefore emptied the report on
-        // exactly the pairs that AGREE — the ones whose only statement is an
-        // optionality gap or the wire note (carrick#1341). Where serialisation
-        // did change the type the wire form is a mapped type with real members,
-        // and it stays the thing compared, because that is what the judge judged.
-        const compared = wireChanges ? wire.type : declared.type;
-        const report = diffReport(compared, expected.type, checker, isAssignableTo, expected.node, plan.spec.protocol === 'graphql' ? GRAPHQL_SERVER_SUPPLIED : NONE_SERVER_SUPPLIED);
-        report.wireApplied = wireChanges;
+        const report = diffReport(pair.compared, pair.expected.type, pair.checker, pair.isAssignableTo, pair.expected.node, plan.spec.protocol === 'graphql' ? GRAPHQL_SERVER_SUPPLIED : NONE_SERVER_SUPPLIED);
+        report.wireApplied = pair.wireApplied;
         results.set(plan.pairId, report);
     }
     return results;

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

@@ -27,7 +27,7 @@
 import ts from 'typescript';
 import * as fs from 'node:fs';
 import * as path from 'node:path';
-import { collectSpecifiers, isRelative } from './specifiers.js';
+import { collectSpecifiers, declarationCandidates, isDeclarationFileName, isRelative, } from './specifiers.js';
 /** One index per assembled stub, keyed by service name. */
 export function buildPoisonIndexes(ws) {
     const indexes = new Map();
@@ -45,14 +45,14 @@ function buildOne(ws, serviceName, packageDir) {
         return undefined;
     const keyPrefix = `packages/${packageDir}/types`;
     const surfaceFile = `${keyPrefix}/surface.d.ts`;
-    // Collect the whole `.d.ts` tree, keyed as `packages/<dir>/types/<rel>`.
+    // Collect the whole declaration tree, keyed as `packages/<dir>/types/<rel>`.
     const treeAbs = [];
     const walk = (dir) => {
         for (const entry of fs.readdirSync(dir, { withFileTypes: true })) {
             const p = path.join(dir, entry.name);
             if (entry.isDirectory())
                 walk(p);
-            else if (entry.name.endsWith('.d.ts'))
+            else if (isDeclarationFileName(entry.name))
                 treeAbs.push(p);
         }
     };
@@ -63,17 +63,7 @@ function buildOne(ws, serviceName, packageDir) {
         if (!isRelative(spec))
             return undefined;
         const base = path.resolve(path.dirname(fromAbs), spec);
-        const candidates = [
-            `${base}.d.ts`,
-            path.join(base, 'index.d.ts'),
-            base.endsWith('.js') ? `${base.slice(0, -3)}.d.ts` : undefined,
-            base, // already `.d.ts`
-        ].filter((c) => c !== undefined);
-        for (const c of candidates) {
-            if (treeAbsSet.has(path.resolve(c)))
-                return c;
-        }
-        return undefined;
+        return declarationCandidates(base).find((candidate) => treeAbsSet.has(candidate));
     };
     // Per-file relative-import adjacency, over the fileKey namespace.
     const adjacency = new Map();

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

@@ -0,0 +1,40 @@
+/**
+ * A sent union whose members the expected type takes only in part, where the
+ * rest fail by nothing but the compiler's weak-type check (carrick#1995).
+ *
+ * A handler that answers a different body per branch (an action that switches
+ * on a field of the request) publishes the union of those bodies. A caller of
+ * one branch reads the response with a type whose every field is optional. The
+ * compiler then rejects each member that shares no field with that type
+ * (TS2559, "has no properties in common"): a type whose every property is
+ * optional is a "weak type", and the check exists to catch a misspelt property
+ * bag. It is not a soundness rule. At runtime every member satisfies a type
+ * whose reads all allow absence, and the call only ever receives the body of
+ * the branch it asked for, which the types do not say.
+ *
+ * So the pair is neither compatible nor incompatible: the judge cannot say
+ * which member the call receives. Kept narrow on purpose:
+ * - the sent type must be a union with at least one member that assigns;
+ * - the expected type must be one object type whose every property is
+ *   optional, with no index or call signatures;
+ * - every member that does not assign must be an object with properties, none
+ *   of which the expected type names.
+ * A sent type that is not a union and shares no field with a weak expected
+ * type is the misspelling the check exists for, and stays a mismatch.
+ *
+ * Read in the probe program, over the two types the decisive assignment
+ * compared, with the compiler's own relation. Seam: typescript + this bundle.
+ */
+import ts from 'typescript';
+import type { ProbePlan } from './check-probe.js';
+import type { ProbeProgram } from './check-deep.js';
+export interface DispatchUnion {
+    /** Members of the sent union. */
+    members: number;
+    /** Members the expected type takes. */
+    agreeing: number;
+}
+/** The finding for every plan whose compared types have this shape, by pair id. */
+export declare function pairDispatchUnions(opened: ProbeProgram | undefined, plans: ProbePlan[]): Map<string, DispatchUnion>;
+/** The shape above for one compared pair, or `undefined` when it does not hold. */
+export declare function dispatchUnion(sent: ts.Type, expected: ts.Type, checker: ts.TypeChecker, isAssignableTo: (source: ts.Type, target: ts.Type) => boolean): DispatchUnion | undefined;

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

@@ -0,0 +1,92 @@
+/**
+ * A sent union whose members the expected type takes only in part, where the
+ * rest fail by nothing but the compiler's weak-type check (carrick#1995).
+ *
+ * A handler that answers a different body per branch (an action that switches
+ * on a field of the request) publishes the union of those bodies. A caller of
+ * one branch reads the response with a type whose every field is optional. The
+ * compiler then rejects each member that shares no field with that type
+ * (TS2559, "has no properties in common"): a type whose every property is
+ * optional is a "weak type", and the check exists to catch a misspelt property
+ * bag. It is not a soundness rule. At runtime every member satisfies a type
+ * whose reads all allow absence, and the call only ever receives the body of
+ * the branch it asked for, which the types do not say.
+ *
+ * So the pair is neither compatible nor incompatible: the judge cannot say
+ * which member the call receives. Kept narrow on purpose:
+ * - the sent type must be a union with at least one member that assigns;
+ * - the expected type must be one object type whose every property is
+ *   optional, with no index or call signatures;
+ * - every member that does not assign must be an object with properties, none
+ *   of which the expected type names.
+ * A sent type that is not a union and shares no field with a weak expected
+ * type is the misspelling the check exists for, and stays a mismatch.
+ *
+ * Read in the probe program, over the two types the decisive assignment
+ * compared, with the compiler's own relation. Seam: typescript + this bundle.
+ */
+import ts from 'typescript';
+import { comparedTypes } from './check-fields.js';
+/** The finding for every plan whose compared types have this shape, by pair id. */
+export function pairDispatchUnions(opened, plans) {
+    const results = new Map();
+    if (!opened)
+        return results;
+    for (const plan of plans) {
+        const pair = comparedTypes(opened, plan);
+        if (!pair)
+            continue;
+        const finding = dispatchUnion(pair.compared, pair.expected.type, pair.checker, pair.isAssignableTo);
+        if (finding)
+            results.set(plan.pairId, finding);
+    }
+    return results;
+}
+/** The shape above for one compared pair, or `undefined` when it does not hold. */
+export function dispatchUnion(sent, expected, checker, isAssignableTo) {
+    if (!sent.isUnion())
+        return undefined;
+    const names = weakPropertyNames(expected, checker);
+    if (!names)
+        return undefined;
+    let agreeing = 0;
+    for (const member of sent.types) {
+        if (isAssignableTo(member, expected)) {
+            agreeing += 1;
+            continue;
+        }
+        if (!sharesNoProperty(member, names, checker))
+            return undefined;
+    }
+    if (agreeing === 0 || agreeing === sent.types.length)
+        return undefined;
+    return { members: sent.types.length, agreeing };
+}
+/**
+ * The property names of a weak object type: one object type, at least one
+ * property, every property optional, no index signature and no call or
+ * construct signature. `undefined` for any other type.
+ */
+function weakPropertyNames(type, checker) {
+    if (!(type.flags & ts.TypeFlags.Object))
+        return undefined;
+    if (checker.getSignaturesOfType(type, ts.SignatureKind.Call).length > 0 ||
+        checker.getSignaturesOfType(type, ts.SignatureKind.Construct).length > 0 ||
+        checker.getIndexInfosOfType(type).length > 0) {
+        return undefined;
+    }
+    const properties = checker.getPropertiesOfType(type);
+    if (properties.length === 0)
+        return undefined;
+    if (!properties.every((property) => (property.flags & ts.SymbolFlags.Optional) !== 0)) {
+        return undefined;
+    }
+    return new Set(properties.map((property) => property.name));
+}
+/** Whether `member` is an object with properties, none of them in `names`. */
+function sharesNoProperty(member, names, checker) {
+    if (!(member.flags & ts.TypeFlags.Object))
+        return false;
+    const properties = checker.getPropertiesOfType(member);
+    return properties.length > 0 && properties.every((property) => !names.has(property.name));
+}

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

@@ -26,6 +26,7 @@ import { assembleWorkspace, writeProbes, } from './check-workspace.js';
 import { buildPoisonIndexes } from './check-poison.js';
 import { openProbeProgram, probeDeepFindings } from './check-deep.js';
 import { pairFieldReports } from './check-fields.js';
+import { pairDispatchUnions } from './check-union.js';
 function runProcess(command, args, cwd) {
     return new Promise((resolve, reject) => {
         const child = spawn(command, args, { cwd, stdio: ['ignore', 'pipe', 'pipe'] });
@@ -262,6 +263,9 @@ export async function runCheck(opts, onProgress) {
     // incompatible (carrick-tools/carrick-cloud#1118). It names what the verdict
     // is about; it never decides one.
     const fieldsByPair = pairFieldReports(probeProgram, probing);
+    // And which pairs compared a union the expected side takes only in part,
+    // the rest failing by nothing but the weak-type check (carrick#1995).
+    const unionsByPair = pairDispatchUnions(probeProgram, probing);
     const verdicts = sortVerdicts([
         ...probing.map((plan) => classifyPair({
             plan,
@@ -270,6 +274,7 @@ export async function runCheck(opts, onProgress) {
             scrubCtx,
             deepFindings: deepByPair.get(plan.pairId),
             fieldReport: fieldsByPair.get(plan.pairId),
+            dispatchUnion: unionsByPair.get(plan.pairId),
             rawTextSide: rawTextSideOf(plan, aliasRecords),
         })),
         ...preGated,