ts-procedures 9.1.0 → 10.0.0

package/build/codegen/targets/ts/name-collision.test.js

@@ -0,0 +1,30 @@
+import { describe, it, expect } from 'vitest';
+import { runPipeline } from '../../pipeline.js';
+import { makeRpcRoute, makeEnvelope } from '../../__fixtures__/make-envelope.js';
+// Bug repro (downstream): `--service-name Godmode` together with a scope named
+// `godmode` emitted two `export type GodmodeClient = …` declarations (the
+// aggregate client type AND the scope port type) → duplicate identifier. We now
+// fail fast at generation time with both knobs the user can turn.
+describe('ts target: --service-name vs scope-name collision', () => {
+    const envelope = makeEnvelope([
+        makeRpcRoute({
+            name: 'DoThing',
+            scope: 'godmode',
+            jsonSchema: { body: { type: 'object', properties: { id: { type: 'string' } }, required: ['id'] } },
+        }),
+    ]);
+    it('throws when a scope pascalizes to the same name as --service-name', async () => {
+        await expect(runPipeline({ envelope, outDir: 'out', dryRun: true, serviceName: 'Godmode', namespaceTypes: true })).rejects.toThrow(/Scope "godmode" produces client port type "GodmodeClient" which collides/);
+    });
+    it('does not throw when --service-name differs from every scope', async () => {
+        const files = await runPipeline({
+            envelope,
+            outDir: 'out',
+            dryRun: true,
+            serviceName: 'GodmodeApi',
+            namespaceTypes: true,
+        });
+        expect(files.length).toBeGreaterThan(0);
+    });
+});
+//# sourceMappingURL=name-collision.test.js.map

package/build/codegen/targets/ts/name-collision.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"name-collision.test.js","sourceRoot":"","sources":["../../../../src/codegen/targets/ts/name-collision.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC7C,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAA;AAEhF,+EAA+E;AAC/E,0EAA0E;AAC1E,gFAAgF;AAChF,kEAAkE;AAClE,QAAQ,CAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,MAAM,QAAQ,GAAG,YAAY,CAAC;QAC5B,YAAY,CAAC;YACX,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,SAAS;YAChB,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE;SACnG,CAAC;KACH,CAAC,CAAA;IAEF,EAAE,CAAC,mEAAmE,EAAE,KAAK,IAAI,EAAE;QACjF,MAAM,MAAM,CACV,WAAW,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CACrG,CAAC,OAAO,CAAC,OAAO,CAAC,0EAA0E,CAAC,CAAA;IAC/F,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,6DAA6D,EAAE,KAAK,IAAI,EAAE;QAC3E,MAAM,KAAK,GAAG,MAAM,WAAW,CAAC;YAC9B,QAAQ;YACR,MAAM,EAAE,KAAK;YACb,MAAM,EAAE,IAAI;YACZ,WAAW,EAAE,YAAY;YACzB,cAAc,EAAE,IAAI;SACrB,CAAC,CAAA;QACF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAA;IACzC,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

package/build/codegen/targets/ts/run.js

@@ -14,6 +14,7 @@ import { emitClientTypesFile } from '../../emit-client-types.js';
 import { emitClientRuntimeFile } from '../../emit-client-runtime.js';
 import { collectModels, resolveModelImports } from '../../collect-models.js';
 import { emitModelsFile } from '../../emit-models.js';
+import { toPascalCase } from '../../naming.js';
 export async function runTsPipeline(input) {
     const { envelope, outDir, hash, groups, serviceName, ajsc: ajscOpts, clientImportPath, dryRun = false, namespaceTypes = false, selfContained = false, cleanOutDir = false, sharedTypesImport, sharedModelsModule, strictSharedModels = false, logger, } = input;
     const shareModels = input.shareModels ?? false;
@@ -22,6 +23,18 @@ export async function runTsPipeline(input) {
     // Scope emit uses this to filter `route.errors` so generated code never
     // references an undefined error type.
     const errorKeys = new Set(envelope.errors.filter((e) => e.schema != null).map((e) => e.name));
+    // The index emits one aggregate `${ServiceName}Client` type AND one
+    // `${ScopePascal}Client` port type per scope. When a scope's PascalCase name
+    // equals the service name's, the two declarations collide (duplicate
+    // identifier). Fail fast with both knobs the user can turn, rather than emit
+    // a non-compiling index.
+    const servicePascal = toPascalCase(serviceName);
+    for (const group of groups) {
+        if (toPascalCase(group.camelCase) === servicePascal) {
+            throw new Error(`[ts-procedures-codegen] Scope "${group.scopeKey}" produces client port type "${servicePascal}Client" which collides with the aggregate client type "${servicePascal}Client" derived from --service-name "${serviceName}". ` +
+                `Rename the scope or change --service-name so they differ.`);
+        }
+    }
     if (selfContained) {
         for (const group of groups) {
             if (group.scopeKey === '_types' || group.scopeKey === '_client') {

package/build/codegen/targets/ts/run.js.map

@@ -1 +1 @@
-{"version":3,"file":"run.js","sourceRoot":"","sources":["../../../../src/codegen/targets/ts/run.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAEhC,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAA;AAE/D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACrD,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAA;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAA;AACpE,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAC5E,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAIrD,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,KAAiB;IACnD,MAAM,EACJ,QAAQ,EACR,MAAM,EACN,IAAI,EACJ,MAAM,EACN,WAAW,EACX,IAAI,EAAE,QAAQ,EACd,gBAAgB,EAChB,MAAM,GAAG,KAAK,EACd,cAAc,GAAG,KAAK,EACtB,aAAa,GAAG,KAAK,EACrB,WAAW,GAAG,KAAK,EACnB,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,GAAG,KAAK,EAC1B,MAAM,GACP,GAAG,KAAK,CAAA;IACT,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,IAAI,KAAK,CAAA;IAE9C,MAAM,WAAW,GAAG,mBAAmB,IAAI,EAAE,CAAA;IAE7C,8EAA8E;IAC9E,wEAAwE;IACxE,sCAAsC;IACtC,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACnE,CAAA;IAED,IAAI,aAAa,EAAE,CAAC;QAClB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAChE,MAAM,IAAI,KAAK,CACb,kCAAkC,KAAK,CAAC,QAAQ,2DAA2D,KAAK,CAAC,QAAQ,4CAA4C,CACtK,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,gFAAgF;IAChF,6EAA6E;IAC7E,4EAA4E;IAC5E,wCAAwC;IACxC,MAAM,MAAM,GAAG,WAAW;QACxB,CAAC,CAAC,mBAAmB,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,CAAC;QAChG,CAAC,CAAC,EAAE,CAAA;IACN,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAEhE,IAAI,WAAW,EAAE,CAAC;QAChB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;gBACjC,MAAM,IAAI,KAAK,CACb,2IAA2I,CAC5I,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,WAAW,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,CAAA;QACxD,IAAI,kBAAkB,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACrE,MAAM,IAAI,KAAK,CACb,mDAAmD,SAAS,CAAC,MAAM,wGAAwG,IAAI,0FAA0F,CAC1Q,CAAA;QACH,CAAC;QACD,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,CAAA;QACnD,MAAM,EAAE,CACN,0CAA0C,MAAM,CAAC,MAAM,YAAY,UAAU,iBAAiB,SAAS,CAAC,MAAM,qBAAqB,CACpI,CAAA;IACH,CAAC;IAED,MAAM,KAAK,GAAoB,EAAE,CAAA;IAEjC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,MAAM,aAAa,CAAC,KAAK,EAAE;YACzC,IAAI,EAAE,QAAQ;YACd,gBAAgB;YAChB,cAAc;YACd,WAAW;YACX,SAAS,EAAE,SAAS,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;YACrD,aAAa;SACd,CAAC,CAAA;QACF,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QACjC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAA;QAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC7B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,QAAQ,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC,CAAA;IAClE,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAA;QACnE,IAAI,UAAU,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YACjC,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAA;YAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACvE,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,QAAQ,CAAC,MAAM,EAAE;QACvD,IAAI,EAAE,QAAQ;QACd,gBAAgB;QAChB,cAAc;QACd,WAAW;KACZ,CAAC,CAAA;IACF,MAAM,SAAS,GAAG,UAAU,IAAI,IAAI,CAAA;IACpC,IAAI,UAAU,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,WAAW,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAC1C,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAA;QACrC,MAAM,cAAc,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC7C,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAA;IACxE,CAAC;IAED,oEAAoE;IACpE,wEAAwE;IACxE,2DAA2D;IAC3D,MAAM,uBAAuB,GAAG,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,gBAAgB,CAAA;IAC9E,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,EAAE;QACzC,gBAAgB;QAChB,uBAAuB;QACvB,SAAS;QACT,cAAc;QACd,WAAW;KACZ,CAAC,CAAA;IACF,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAC3C,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAA;IACpC,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACvC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAA;IAE/D,IAAI,aAAa,EAAE,CAAC;QAClB,MAAM,YAAY,GAAG,MAAM,mBAAmB,EAAE,CAAA;QAChD,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAC3C,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAA;QACpC,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACvC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAA;QAEhE,MAAM,aAAa,GAAG,MAAM,qBAAqB,EAAE,CAAA;QACnD,MAAM,WAAW,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAC7C,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAA;QACrC,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACzC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAA;IACpE,CAAC;IAED,MAAM,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAA;IAEjE,OAAO,KAAK,CAAA;AACd,CAAC"}
+{"version":3,"file":"run.js","sourceRoot":"","sources":["../../../../src/codegen/targets/ts/run.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAEhC,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAA;AAE/D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACrD,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAA;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAA;AACpE,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAC5E,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AAI9C,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,KAAiB;IACnD,MAAM,EACJ,QAAQ,EACR,MAAM,EACN,IAAI,EACJ,MAAM,EACN,WAAW,EACX,IAAI,EAAE,QAAQ,EACd,gBAAgB,EAChB,MAAM,GAAG,KAAK,EACd,cAAc,GAAG,KAAK,EACtB,aAAa,GAAG,KAAK,EACrB,WAAW,GAAG,KAAK,EACnB,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,GAAG,KAAK,EAC1B,MAAM,GACP,GAAG,KAAK,CAAA;IACT,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,IAAI,KAAK,CAAA;IAE9C,MAAM,WAAW,GAAG,mBAAmB,IAAI,EAAE,CAAA;IAE7C,8EAA8E;IAC9E,wEAAwE;IACxE,sCAAsC;IACtC,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACnE,CAAA;IAED,oEAAoE;IACpE,6EAA6E;IAC7E,qEAAqE;IACrE,6EAA6E;IAC7E,yBAAyB;IACzB,MAAM,aAAa,GAAG,YAAY,CAAC,WAAW,CAAC,CAAA;IAC/C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,aAAa,EAAE,CAAC;YACpD,MAAM,IAAI,KAAK,CACb,kCAAkC,KAAK,CAAC,QAAQ,gCAAgC,aAAa,0DAA0D,aAAa,wCAAwC,WAAW,KAAK;gBAC1N,2DAA2D,CAC9D,CAAA;QACH,CAAC;IACH,CAAC;IAED,IAAI,aAAa,EAAE,CAAC;QAClB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAChE,MAAM,IAAI,KAAK,CACb,kCAAkC,KAAK,CAAC,QAAQ,2DAA2D,KAAK,CAAC,QAAQ,4CAA4C,CACtK,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,gFAAgF;IAChF,6EAA6E;IAC7E,4EAA4E;IAC5E,wCAAwC;IACxC,MAAM,MAAM,GAAG,WAAW;QACxB,CAAC,CAAC,mBAAmB,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,CAAC;QAChG,CAAC,CAAC,EAAE,CAAA;IACN,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAEhE,IAAI,WAAW,EAAE,CAAC;QAChB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;gBACjC,MAAM,IAAI,KAAK,CACb,2IAA2I,CAC5I,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,WAAW,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,CAAA;QACxD,IAAI,kBAAkB,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACrE,MAAM,IAAI,KAAK,CACb,mDAAmD,SAAS,CAAC,MAAM,wGAAwG,IAAI,0FAA0F,CAC1Q,CAAA;QACH,CAAC;QACD,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,CAAA;QACnD,MAAM,EAAE,CACN,0CAA0C,MAAM,CAAC,MAAM,YAAY,UAAU,iBAAiB,SAAS,CAAC,MAAM,qBAAqB,CACpI,CAAA;IACH,CAAC;IAED,MAAM,KAAK,GAAoB,EAAE,CAAA;IAEjC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,MAAM,aAAa,CAAC,KAAK,EAAE;YACzC,IAAI,EAAE,QAAQ;YACd,gBAAgB;YAChB,cAAc;YACd,WAAW;YACX,SAAS,EAAE,SAAS,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;YACrD,aAAa;SACd,CAAC,CAAA;QACF,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QACjC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAA;QAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC7B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,QAAQ,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC,CAAA;IAClE,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAA;QACnE,IAAI,UAAU,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YACjC,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAA;YAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACvE,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,QAAQ,CAAC,MAAM,EAAE;QACvD,IAAI,EAAE,QAAQ;QACd,gBAAgB;QAChB,cAAc;QACd,WAAW;KACZ,CAAC,CAAA;IACF,MAAM,SAAS,GAAG,UAAU,IAAI,IAAI,CAAA;IACpC,IAAI,UAAU,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,WAAW,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAC1C,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAA;QACrC,MAAM,cAAc,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC7C,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAA;IACxE,CAAC;IAED,oEAAoE;IACpE,wEAAwE;IACxE,2DAA2D;IAC3D,MAAM,uBAAuB,GAAG,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,gBAAgB,CAAA;IAC9E,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,EAAE;QACzC,gBAAgB;QAChB,uBAAuB;QACvB,SAAS;QACT,cAAc;QACd,WAAW;KACZ,CAAC,CAAA;IACF,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAC3C,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAA;IACpC,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACvC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAA;IAE/D,IAAI,aAAa,EAAE,CAAC;QAClB,MAAM,YAAY,GAAG,MAAM,mBAAmB,EAAE,CAAA;QAChD,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAC3C,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAA;QACpC,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACvC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAA;QAEhE,MAAM,aAAa,GAAG,MAAM,qBAAqB,EAAE,CAAA;QACnD,MAAM,WAAW,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAC7C,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAA;QACrC,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACzC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAA;IACpE,CAAC;IAED,MAAM,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAA;IAEjE,OAAO,KAAK,CAAA;AACd,CAAC"}

package/build/codegen/test-helpers/run-tsc.js

@@ -43,7 +43,7 @@ export function runTsc(args) {
         const stdout = e.stdout?.toString() ?? '';
         const stderr = e.stderr?.toString() ?? '';
         const combined = [stdout, stderr].filter(Boolean).join('\n').trim();
-        throw new Error(`[runTsc] tsc failed for ${tsconfigPath}:\n${combined || (e.message ?? '(no output)')}`);
+        throw new Error(`[runTsc] tsc failed for ${tsconfigPath}:\n${combined || (e.message ?? '(no output)')}`, { cause: err });
     }
 }
 //# sourceMappingURL=run-tsc.js.map

package/build/codegen/test-helpers/run-tsc.js.map

@@ -1 +1 @@
-{"version":3,"file":"run-tsc.js","sourceRoot":"","sources":["../../../src/codegen/test-helpers/run-tsc.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAA;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAEhC;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,eAAe,EAAE;QACf,MAAM,EAAE,IAAI;QACZ,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,QAAQ;QAChB,gBAAgB,EAAE,SAAS;QAC3B,MAAM,EAAE,IAAI;QACZ,YAAY,EAAE,IAAI;KACnB;IACD,OAAO,EAAE,CAAC,SAAS,CAAC;CACZ,CAAA;AAEV;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,MAAM,CAAC,IAItB;IACC,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;IAC5E,IAAI,IAAI,CAAC,cAAc,IAAI,IAAI,EAAE,CAAC;QAChC,aAAa,CAAC,YAAY,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAA;IAClE,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,cAAc,EAAE,MAAM,EAAE,KAAK,CAAC,CAAA;IAClE,IAAI,CAAC;QACH,QAAQ,CAAC,GAAG,OAAO,uBAAuB,YAAY,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;IAC9E,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,GAAG,GAA6D,CAAA;QACvE,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA;QACzC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA;QACzC,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAA;QACnE,MAAM,IAAI,KAAK,CACb,2BAA2B,YAAY,MAAM,QAAQ,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,aAAa,CAAC,EAAE,CACxF,CAAA;IACH,CAAC;AACH,CAAC"}
+{"version":3,"file":"run-tsc.js","sourceRoot":"","sources":["../../../src/codegen/test-helpers/run-tsc.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAA;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAEhC;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,eAAe,EAAE;QACf,MAAM,EAAE,IAAI;QACZ,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,QAAQ;QAChB,gBAAgB,EAAE,SAAS;QAC3B,MAAM,EAAE,IAAI;QACZ,YAAY,EAAE,IAAI;KACnB;IACD,OAAO,EAAE,CAAC,SAAS,CAAC;CACZ,CAAA;AAEV;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,MAAM,CAAC,IAItB;IACC,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;IAC5E,IAAI,IAAI,CAAC,cAAc,IAAI,IAAI,EAAE,CAAC;QAChC,aAAa,CAAC,YAAY,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAA;IAClE,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,cAAc,EAAE,MAAM,EAAE,KAAK,CAAC,CAAA;IAClE,IAAI,CAAC;QACH,QAAQ,CAAC,GAAG,OAAO,uBAAuB,YAAY,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;IAC9E,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,GAAG,GAA6D,CAAA;QACvE,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA;QACzC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA;QACzC,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAA;QACnE,MAAM,IAAI,KAAK,CACb,2BAA2B,YAAY,MAAM,QAAQ,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,aAAa,CAAC,EAAE,EACvF,EAAE,KAAK,EAAE,GAAG,EAAE,CACf,CAAA;IACH,CAAC;AACH,CAAC"}

package/docs/client-and-codegen.md

@@ -141,11 +141,21 @@ generated/
 | `--share-models` / `--no-share-models` | Collect `$id`-bearing subschemas into a shared `_models.ts` hub; scopes import from there instead of inlining types. | **On** |
 | `--shared-models-module <module>` | Convention form: re-export every `$id` model (with no explicit `sharedTypesImport` entry) from this single module. E.g. `--shared-models-module @app/schemas`. | Off |
 | `--strict-shared-models` | Fail the build if any `$id` model would be generated locally as a structural twin (i.e., not covered by `sharedTypesImport` or `sharedModelsModule`). CI guard. | Off |
+| `--check` | Self-validate the emitted output and **exit non-zero** if it won't compile — turns a silently-broken client into a loud generation failure. CI guard. | Off |
+| `--check-mode <scan\|tsc>` | How `--check` validates. `scan`: a dependency-free, in-memory scan for duplicate identifiers and dangling type references. `tsc`: a full `tsc --noEmit` type-check via the optional `typescript` peer (falls back to `scan` with a warning if `typescript` isn't installed). Implies `--check`. | `scan` |
 
 > **Note:** ajsc formatting options (`--enum-style`, `--depluralize`, `--array-item-naming`, `--uncountable-words`) only take effect in namespace mode (the default). With `--no-namespace-types`, all types are inlined and these options have no effect.
 >
 > You can also use a `ts-procedures-codegen.config.json` file in your project root instead of CLI flags. CLI flags override config values.
 
+### Generation-time safety
+
+Codegen fails fast (non-zero exit) rather than emitting a client that won't compile:
+
+- **Route-name collisions.** Two routes in the same scope whose names PascalCase to the same identifier (e.g. `get-task` and `getTask`, or `Foo` at version 2 and a literal `FooV2`) would emit a merged namespace with duplicate types and a duplicated callable key. Codegen throws naming both routes — rename one.
+- **`--service-name` vs scope collisions.** A scope whose PascalCase name equals `--service-name` (e.g. scope `godmode` with `--service-name Godmode`) would emit two `GodmodeClient` declarations. Codegen throws — rename the scope or change `--service-name`.
+- **`--check` self-validation.** Opt in to validate the *whole* emitted output before trusting it (see the flag table above). Use it in CI so a generator regression can never silently overwrite a working client with a broken one.
+
 ## Adapter Interface
 
 The client requires an adapter that handles the actual HTTP transport. A built-in fetch adapter is included, and you can implement your own for any HTTP library:
@@ -531,9 +541,16 @@ await generateClient({
     arrayItemNaming: 'Item',
     uncountableWords: ['criteria'],
   },
+  validate: true,         // optional — self-check the output and THROW if it won't compile
+                          // (the peer of the CLI's --check). Pass { mode: 'tsc' } for a full
+                          // type-check via the optional `typescript` peer; defaults to the
+                          // dependency-free dangling-reference scan. Runs on the in-memory
+                          // output, so it works under dryRun too.
 })
 ```
 
+When `validate` fails, `generateClient` throws an `Error` whose message lists every problem (`file:line — message`) — the same report the CLI prints to stderr. Use it in a build script to fail the build the moment the generator would emit a client that doesn't compile.
+
 ## Shared Model Types (`_models.ts`)
 
 When `shareModels` is on (the default), the codegen pre-pass collects every subschema with a `$id` field, deduplicates them, and emits a single `_models.ts` hub. Every scope that references one of those types imports from `./_models` instead of inlining it — so the type is defined once and shared across scopes.

package/docs/migration-v8-to-v9.md

@@ -8,10 +8,18 @@ with v9 produces the same files — nothing to migrate on the consumer side.
 The flip side of that guarantee: known v8 codegen issues carried over into
 9.0.0 unchanged — output couldn't change, so neither could the bugs. Fixes
 resume in 9.x releases when they can land without breaking parity for output
-that compiles today. First such fix: routes that declare `errors` but no
-req/res schema now emit a namespace housing their `Errors` union instead of a
-dangling type reference (the old output never typechecked, so no working
-consumer's bytes change).
+that compiles today. Each is parity-safe because the affected output never
+typechecked, so no working consumer's bytes change:
+
+- **9.1.0** — routes that declare `errors` but no req/res schema now emit a
+  namespace housing their `Errors` union instead of a dangling type reference.
+- **9.2.0** — namespace mode no longer emits a dangling `export type … = Root`
+  for a root-level `anyOf`/`oneOf` body (it inlines the union, as flat mode
+  already did). Plus two new fail-fast guards: a scope with two routes whose
+  names PascalCase to the same identifier, and a scope name colliding with
+  `--service-name`, now error at generation time instead of emitting a
+  non-compiling client. Codegen also gains an opt-in `--check` self-validation
+  (see the [client/codegen guide](client-and-codegen.md#cli-reference)).
 
 Server-side and tooling APIs have breaking changes, listed exhaustively below.
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ts-procedures",
-  "version": "9.1.0",
+  "version": "10.0.0",
   "description": "A TypeScript RPC framework that creates type-safe, schema-validated procedure calls with a single function definition. Define your procedures once and get full type inference, runtime validation, and framework integration hooks.",
   "main": "build/exports.js",
   "types": "build/exports.d.ts",
@@ -76,15 +76,15 @@
     "typebox": "^1.0.30"
   },
   "devDependencies": {
-    "@eslint/js": "^9.17.0",
-    "astro": "^6.3.1",
-    "eslint": "^9.17.0",
-    "globals": "^15.0.0",
-    "hono": "^4.7.4",
-    "typescript": "^5.7.0",
-    "typescript-eslint": "^8.53.0",
+    "@eslint/js": "^10.0.1",
     "@typescript-eslint/eslint-plugin": "^8.53.0",
     "@typescript-eslint/parser": "^8.53.0",
+    "astro": "^7.0.2",
+    "eslint": "^10.5.0",
+    "globals": "^17.7.0",
+    "hono": "^4.7.4",
+    "typescript": "^6.0.3",
+    "typescript-eslint": "^8.53.0",
     "vitest": "^4.0.18"
   }
 }

package/src/codegen/bin/cli.test.ts

@@ -593,3 +593,31 @@ describe('--shared-models-module and --strict-shared-models', () => {
     expect(parsed.strictSharedModels).toBe(true)
   })
 })
+
+describe('--check / --check-mode', () => {
+  it('defaults check to false', () => {
+    expect(parseArgs(['--out', 'gen', '--file', 'e.json']).check).toBe(false)
+  })
+
+  it('parses --check as a boolean', () => {
+    expect(parseArgs(['--out', 'gen', '--file', 'e.json', '--check']).check).toBe(true)
+  })
+
+  it('--check-mode sets the mode and implies --check', () => {
+    const parsed = parseArgs(['--out', 'gen', '--file', 'e.json', '--check-mode', 'tsc'])
+    expect(parsed.check).toBe(true)
+    expect(parsed.checkMode).toBe('tsc')
+  })
+
+  it('rejects an invalid --check-mode value', () => {
+    expect(() => parseArgs(['--out', 'gen', '--file', 'e.json', '--check-mode', 'nope'])).toThrow(
+      /Invalid --check-mode/,
+    )
+  })
+
+  it('seeds check/checkMode from config when the flags are absent', () => {
+    const parsed = parseArgs(['--out', 'gen', '--file', 'e.json'], { check: true, checkMode: 'tsc' })
+    expect(parsed.check).toBe(true)
+    expect(parsed.checkMode).toBe('tsc')
+  })
+})

package/src/codegen/bin/cli.ts

@@ -32,6 +32,8 @@ export interface CodegenConfig {
   sharedTypesImport?: SharedTypesImportMap
   sharedModelsModule?: string
   strictSharedModels?: boolean
+  check?: boolean
+  checkMode?: 'scan' | 'tsc'
 }
 
 export interface ParsedArgs {
@@ -55,6 +57,8 @@ export interface ParsedArgs {
   sharedTypesImport?: SharedTypesImportMap
   sharedModelsModule?: string
   strictSharedModels: boolean
+  check: boolean
+  checkMode?: 'scan' | 'tsc'
 }
 
 // ---------------------------------------------------------------------------
@@ -75,7 +79,7 @@ export async function loadConfigFile(configPath?: string): Promise<CodegenConfig
   } catch (err) {
     if (configPath !== undefined) {
       // Explicit path — always throw
-      throw new Error(`[ts-procedures-codegen] Failed to load config from ${filePath}: ${err instanceof Error ? err.message : err}`)
+      throw new Error(`[ts-procedures-codegen] Failed to load config from ${filePath}: ${err instanceof Error ? err.message : err}`, { cause: err })
     }
     // Default path — silently ignore if not found
     return undefined
@@ -172,6 +176,8 @@ interface ParseState {
   shareModels: boolean
   sharedModelsModule: string | undefined
   strictSharedModels: boolean
+  check: boolean
+  checkMode: 'scan' | 'tsc' | undefined
   configPath: string | undefined
 }
 
@@ -249,6 +255,9 @@ const FLAG_HANDLERS: Record<string, FlagHandler> = {
   '--no-share-models': (s) => { s.shareModels = false },
   '--shared-models-module': (s, v) => { s.sharedModelsModule = v },
   '--strict-shared-models': (s) => { s.strictSharedModels = true },
+  '--check': (s) => { s.check = true },
+  // Selecting a mode implies --check, so `--check-mode tsc` alone enables it.
+  '--check-mode': enumValueFlag('--check-mode', ['scan', 'tsc'], (s, v) => { s.checkMode = v; s.check = true }),
   // configPath is consumed by the caller (main) before parseArgs is called with the loaded config.
   // When called from main, config is already loaded. When called directly (tests), configPath is ignored.
   '--config': (s, v) => { s.configPath = v },
@@ -290,6 +299,8 @@ export function parseArgs(argv: string[], config?: CodegenConfig): ParsedArgs {
     shareModels: config?.shareModels ?? true,
     sharedModelsModule: config?.sharedModelsModule,
     strictSharedModels: config?.strictSharedModels ?? false,
+    check: config?.check ?? false,
+    checkMode: config?.checkMode,
     configPath: undefined,
   }
   const sharedTypesImport = config?.sharedTypesImport
@@ -385,6 +396,8 @@ export function parseArgs(argv: string[], config?: CodegenConfig): ParsedArgs {
     ...(sharedTypesImport !== undefined ? { sharedTypesImport } : {}),
     ...(state.sharedModelsModule !== undefined ? { sharedModelsModule: state.sharedModelsModule } : {}),
     strictSharedModels: state.strictSharedModels,
+    check: state.check,
+    ...(state.checkMode !== undefined ? { checkMode: state.checkMode } : {}),
   }
 }
 
@@ -619,6 +632,19 @@ async function main(): Promise<void> {
       console.log(`[ts-procedures-codegen] Generated ${result.length} files → ${parsed.outDir}`)
       printPostRunHints(parsed)
     }
+
+    if (parsed.check) {
+      const { checkGeneratedFiles, formatCheckResult } = await import('../check-output.js')
+      const check = await checkGeneratedFiles(result, {
+        mode: parsed.checkMode ?? 'scan',
+        logger: (message: string) => { console.warn(message) },
+      })
+      if (!check.ok) {
+        console.error(formatCheckResult(check))
+        throw new Error(`Generated output failed the ${check.mode} self-check. The client may not compile.`)
+      }
+      console.log(`[ts-procedures-codegen] Self-check (${check.mode}) passed — no problems found.`)
+    }
   }
 }
 

package/src/codegen/bin/flag-specs.ts

@@ -49,6 +49,9 @@ export const FLAG_SPECS: readonly FlagSpec[] = [
   { name: '--swift-serializer', arg: '<codable|none>', takesValue: true, description: 'Swift Codable conformance', group: 'Targets', default: 'codable' },
   { name: '--swift-access-level', arg: '<public|internal>', takesValue: true, description: 'Swift access level', group: 'Targets', default: 'public' },
   { name: '--unsupported-unions', arg: '<throw|fallback>', takesValue: true, description: 'Behaviour for untagged oneOf schemas', group: 'Targets', default: 'throw' },
+  // Misc
+  { name: '--check', takesValue: false, description: 'Self-validate the generated output; exit non-zero on problems', group: 'Misc' },
+  { name: '--check-mode', arg: '<scan|tsc>', takesValue: true, description: 'How --check validates: scan (dependency-free) or tsc (type-check; needs typescript, falls back to scan). Implies --check', group: 'Misc', default: 'scan' },
 ]
 
 export const KNOWN_FLAGS: readonly string[] = FLAG_SPECS.map((s) => s.name)

package/src/codegen/check-output.test.ts

@@ -0,0 +1,177 @@
+import { describe, it, expect } from 'vitest'
+import { scanGeneratedFiles, checkGeneratedFiles, formatCheckResult } from './check-output.js'
+import { runPipeline } from './pipeline.js'
+import { generateClient } from './index.js'
+import { makeRpcRoute, makeEnvelope } from './__fixtures__/make-envelope.js'
+import type { GeneratedFile } from './targets/_shared/write-files.js'
+
+const file = (path: string, code: string): GeneratedFile => ({ path, code })
+
+const validEnvelope = makeEnvelope([
+  makeRpcRoute({
+    name: 'GetUser',
+    scope: 'users',
+    jsonSchema: {
+      body: { type: 'object', properties: { id: { type: 'string' } }, required: ['id'] },
+      response: { type: 'object', properties: { name: { type: 'string' } }, required: ['name'] },
+    },
+  }),
+])
+
+describe('check-output scan', () => {
+  it('does not flag same-named types in different namespaces (no false positive)', () => {
+    const code = [
+      'export namespace Tasks {',
+      '  export namespace A {',
+      '    export type Ref = { a: string }',
+      '  }',
+      '  export namespace B {',
+      '    export type Ref = { b: number }',
+      '  }',
+      '}',
+      '',
+    ].join('\n')
+    expect(scanGeneratedFiles([file('/out/tasks.ts', code)])).toEqual([])
+  })
+
+  it('flags a dangling bare type-alias reference (the namespace-mode Root bug)', () => {
+    const code = [
+      'export namespace Tasks {',
+      '  export namespace SetLink {',
+      '    export type Params = Root',
+      '  }',
+      '}',
+      '',
+    ].join('\n')
+    const issues = scanGeneratedFiles([file('/out/tasks.ts', code)])
+    expect(issues).toHaveLength(1)
+    expect(issues[0]!.message).toContain('dangling reference')
+    expect(issues[0]!.message).toContain('Root')
+  })
+
+  it('does not flag a bare alias that resolves to an import', () => {
+    const code = ["import type { Message } from './_models'", 'export type Params = Message', ''].join('\n')
+    expect(scanGeneratedFiles([file('/out/a.ts', code)])).toEqual([])
+  })
+
+  it('does not flag a bare alias that resolves to a built-in', () => {
+    expect(scanGeneratedFiles([file('/out/a.ts', 'export type Params = string\n')])).toEqual([])
+  })
+
+  it('does not flag a bare alias that resolves to a type declared in the same file', () => {
+    const code = ['export type Inner = { a: string }', 'export type Params = Inner', ''].join('\n')
+    expect(scanGeneratedFiles([file('/out/a.ts', code)])).toEqual([])
+  })
+})
+
+describe('checkGeneratedFiles orchestration', () => {
+  it('returns ok for clean scan', async () => {
+    const r = await checkGeneratedFiles([file('/out/a.ts', 'export type X = string\n')], { mode: 'scan' })
+    expect(r).toEqual({ ok: true, mode: 'scan', issues: [] })
+  })
+
+  it('returns not-ok with issues for broken scan', async () => {
+    const r = await checkGeneratedFiles([file('/out/a.ts', 'export type X = Nope\n')], { mode: 'scan' })
+    expect(r.ok).toBe(false)
+    expect(r.mode).toBe('scan')
+    expect(r.issues).toHaveLength(1)
+  })
+
+  it('tsc mode type-checks in-memory and passes clean self-resolving output', async () => {
+    const r = await checkGeneratedFiles([file('/out/a.ts', 'export type X = string\nexport const y: X = "z"\n')], {
+      mode: 'tsc',
+    })
+    // typescript is a devDependency here, so tsc mode actually runs.
+    expect(r.mode).toBe('tsc')
+    expect(r.ok).toBe(true)
+  })
+
+  it('tsc mode flags a real type error', async () => {
+    const r = await checkGeneratedFiles([file('/out/a.ts', 'export const n: number = "not a number"\n')], {
+      mode: 'tsc',
+    })
+    expect(r.mode).toBe('tsc')
+    expect(r.ok).toBe(false)
+    expect(r.issues.length).toBeGreaterThan(0)
+    expect(r.issues[0]!.message).toMatch(/^TS\d+:/)
+  })
+
+  // End-to-end: a real self-contained client (vendored ./_client + ./_types)
+  // must type-check via the in-memory host, proving relative imports resolve
+  // within the emitted set without anything written to disk.
+  it('tsc mode passes real self-contained generated output (dry-run, in-memory)', async () => {
+    const envelope = makeEnvelope([
+      makeRpcRoute({
+        name: 'GetUser',
+        scope: 'users',
+        jsonSchema: {
+          body: { type: 'object', properties: { id: { type: 'string' } }, required: ['id'] },
+          response: { type: 'object', properties: { name: { type: 'string' } }, required: ['name'] },
+        },
+      }),
+    ])
+    const files = await runPipeline({
+      envelope,
+      outDir: '/unused-out',
+      dryRun: true,
+      selfContained: true,
+      namespaceTypes: true,
+    })
+    const r = await checkGeneratedFiles(files, { mode: 'tsc' })
+    expect(r.mode).toBe('tsc')
+    expect(r.issues).toEqual([])
+    expect(r.ok).toBe(true)
+
+    // The dependency-free scan must also pass the same real output.
+    expect(scanGeneratedFiles(files)).toEqual([])
+  })
+})
+
+describe('formatCheckResult', () => {
+  it('renders a header and one line per issue', () => {
+    const text = formatCheckResult({
+      ok: false,
+      mode: 'scan',
+      issues: [{ file: '/out/tasks.ts', line: 4, message: 'Type alias "Params" references "Root" …' }],
+    })
+    expect(text).toContain('Self-check (scan) found 1 problem(s)')
+    expect(text).toContain('/out/tasks.ts:4 — Type alias "Params" references "Root" …')
+  })
+})
+
+describe('generateClient({ validate })', () => {
+  it('returns files when valid output passes the scan', async () => {
+    const files = await generateClient({
+      envelope: validEnvelope,
+      outDir: '/unused-out',
+      dryRun: true,
+      selfContained: true,
+      namespaceTypes: true,
+      validate: true,
+    })
+    expect(files.length).toBeGreaterThan(0)
+  })
+
+  it('returns files when valid output passes the tsc check', async () => {
+    const files = await generateClient({
+      envelope: validEnvelope,
+      outDir: '/unused-out',
+      dryRun: true,
+      selfContained: true,
+      namespaceTypes: true,
+      validate: { mode: 'tsc' },
+    })
+    expect(files.length).toBeGreaterThan(0)
+  })
+
+  it('does not validate when the option is omitted', async () => {
+    const files = await generateClient({
+      envelope: validEnvelope,
+      outDir: '/unused-out',
+      dryRun: true,
+      selfContained: true,
+      namespaceTypes: true,
+    })
+    expect(files.length).toBeGreaterThan(0)
+  })
+})