@contractkit/plugin-typescript 0.32.0 → 0.33.1

package/dist/ts-render.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ts-render.d.ts","sourceRoot":"","sources":["../src/ts-render.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAA6B,MAAM,mBAAmB,CAAC;AAErF,iFAAiF;AACjF,eAAO,MAAM,oBAAoB,2GAA2G,CAAC;AAE7I,qFAAqF;AACrF,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE7C;AAED;;sFAEsF;AACtF,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAEvD;AAED,sFAAsF;AACtF,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAEpD;AAED,6HAA6H;AAC7H,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAQzD;AAID;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAEjD;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,gBAAgB,EAAE,MAAM,GAAE,cAAyB,GAAG,MAAM,CAoC9F;AAgDD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,gBAAgB,EAAE,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,GAAE,cAAyB,GAAG,MAAM,CA2BlI;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,gBAAgB,EAAE,gBAAgB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,GAAE,cAAyB,GAAG,MAAM,CA2BpI"}
+{"version":3,"file":"ts-render.d.ts","sourceRoot":"","sources":["../src/ts-render.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAA6B,MAAM,mBAAmB,CAAC;AAErF,iFAAiF;AACjF,eAAO,MAAM,oBAAoB,2GAA2G,CAAC;AAE7I,qFAAqF;AACrF,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE7C;AAED;;sFAEsF;AACtF,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAEvD;AAED,sFAAsF;AACtF,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAEpD;AAED,6HAA6H;AAC7H,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAQzD;AAID;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAEjD;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,gBAAgB,EAAE,MAAM,GAAE,cAAyB,GAAG,MAAM,CAoC9F;AAsDD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,gBAAgB,EAAE,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,GAAE,cAAyB,GAAG,MAAM,CA2BlI;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,gBAAgB,EAAE,gBAAgB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,GAAE,cAAyB,GAAG,MAAM,CA2BpI"}

package/llms.txt

@@ -0,0 +1,111 @@
+# @contractkit/plugin-typescript
+
+> ContractKit's TypeScript code generator. From the same `.ck` files it emits Koa routers, a
+> TypeScript SDK client, Zod schemas, plain TypeScript types, and MCP tool handlers. Five
+> independent sub-generators, each enabled by the presence of its config key.
+
+Loaded by `@contractkit/cli` through `contractkit.config.json`. It consumes the AST produced by
+`@contractkit/core`; you do not call it directly in a normal build.
+
+## Install
+
+```bash
+pnpm add -D @contractkit/cli @contractkit/plugin-typescript
+```
+
+## Configure
+
+`plugins` is an **object** keyed by package name, not an array. Each sub-config is independent —
+include only the ones you want; omitting a key disables that sub-generator entirely.
+
+```json
+{
+    "rootDir": ".",
+    "patterns": ["contracts/**/*.ck"],
+    "plugins": {
+        "@contractkit/plugin-typescript": {
+            "server": {
+                "baseDir": "apps/api/",
+                "zod": true,
+                "output": {
+                    "routes": "src/routes/{filename}.router.ts",
+                    "types": "src/modules/{area}/types/{filename}.ts"
+                },
+                "servicePathTemplate": "#modules/{module}/{module}.service.js"
+            },
+            "sdk": {
+                "baseDir": "packages/sdk/",
+                "name": "acme",
+                "zod": true,
+                "output": {
+                    "sdk": "src/{name}.sdk.ts",
+                    "types": "src/{area}/types/{filename}.ts",
+                    "clients": "src/{area}/{filename}.client.ts"
+                }
+            },
+            "zod": { "baseDir": "packages/schemas/", "output": "{filename}.schema.ts" },
+            "types": { "baseDir": "packages/types/", "output": "{filename}.types.ts" }
+        }
+    }
+}
+```
+
+Path templates accept `{filename}`, `{dir}`, `{area}`, and — in `sdk.output.sdk` — `{name}`.
+
+## Sub-configs
+
+| Key | Emits |
+| --- | --- |
+| `server` | Koa routers from `operation` declarations, plus the type or Zod files they import |
+| `sdk` | The SDK class, per-area operation clients, and their types |
+| `zod` | Standalone Zod schemas, independent of `server` and `sdk` |
+| `types` | Standalone plain TypeScript types, independent of `server` and `sdk` |
+| `mcp` | Per-file MCP tool handlers, an aggregator, and an optional `POST /mcp` route |
+
+Options worth knowing:
+
+- `server.zod` / `sdk.zod` — when true, `output.types` emits Zod schema files instead of plain
+  interfaces. Off by default.
+- `server.validateResponses` — each handler re-parses the service result through its declared
+  response schema before writing `ctx.body`. **Requires `zod: true`**; without it `output.types`
+  emits plain interfaces, which are types with no runtime value to parse through. A body that
+  transitively references a model with `format(input=…)`/`format(output=…)`, and a status whose
+  several mimes carry different body types, are left unvalidated.
+- `sdk.scaffold` — write-once starter `package.json` and `tsconfig.json` at the SDK `baseDir`, so
+  the generated output is a publishable package on its own. Never overwritten once created, so your
+  edits survive. Dependency ranges are derived from the contracts.
+- `includeInternal` on `server`/`sdk` — whether operations marked `internal` get handlers or client
+  methods. Defaults to `true` for `server`, `false` for `sdk`.
+- `types.target` — `'client'` (default) or `'server'`; decides whether `binary` renders as `Blob`
+  or `Buffer`. The `server` and `sdk` sub-generators set it themselves.
+- `mcp.output.types` must point at **Zod schema** files, not plain types — tools need a runtime
+  schema for argument validation and `z.toJSONSchema`. It falls back to `server.output.types` (when
+  `server.zod`) or the `zod` sub-config's output.
+
+## Programmatic use
+
+```typescript
+import { createTypescriptPlugin } from '@contractkit/plugin-typescript';
+
+const plugin = createTypescriptPlugin({ types: { output: '{filename}.types.ts' } }, process.cwd());
+```
+
+Prefer the default export when loading through `contractkit.config.json`; the factory is for
+building the plugin in code (tests, custom build scripts).
+
+## Gotchas
+
+- The four output sub-configs are independent. `zod: true` **inside** `server` is not the same thing
+  as the top-level `zod` sub-config: the first changes what `server.output.types` emits, the second
+  adds a separate standalone schema output.
+- `validateResponses` silently does nothing useful without `zod: true`.
+- Which statuses a router writes and which the SDK throws is decided by the contract, not by this
+  plugin — a `404(documented)` is the client's error contract, a bare `404:` is a status the service
+  produces. See the response-set helpers in `@contractkit/core`.
+
+## More
+
+- README: https://github.com/MaroonedSoftware/contractkit/blob/main/packages/plugin-typescript/README.md
+- Configuration: https://github.com/MaroonedSoftware/contractkit/blob/main/docs/config.md
+- SDK generation and subclient grouping: https://github.com/MaroonedSoftware/contractkit/blob/main/docs/tooling.md
+- Full usage guide: https://github.com/MaroonedSoftware/contractkit/blob/main/llms-full.txt

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@contractkit/plugin-typescript",
-  "version": "0.32.0",
+  "version": "0.33.1",
   "description": "ContractKit built-in plugin: TypeScript codegen (SDK clients, Koa routers, Zod schemas, plain types)",
   "license": "MIT",
   "author": {
@@ -27,7 +27,7 @@
     ".": "./dist/index.js"
   },
   "dependencies": {
-    "@contractkit/core": "0.27.0"
+    "@contractkit/core": "0.28.1"
   },
   "devDependencies": {
     "@repo/config-eslint": "0.3.1",

package/src/codegen-contract.ts

@@ -23,6 +23,8 @@ import {
 } from '@contractkit/core';
 import { escapeJsDocLines } from './ts-render.js';
 import type { TsRenderTarget } from './ts-render.js';
+import { DECIMAL_IMPORT, DECIMAL_PRELUDE_LINES } from './decimal-runtime.js';
+import { renderReviveFunctions, reviveFnName, DECIMAL_COERCE_DECL } from './codegen-revive.js';
 
 /**
  * Maps a ContractKit object mode to its Zod constructor name.
@@ -60,6 +62,13 @@ export interface ContractCodegenContext {
      * `generateContract`, whose Zod schemas are server-shaped by construction. Default `'client'`.
      */
     target?: TsRenderTarget;
+    /** Model names that carry a `decimal`, directly or transitively. */
+    modelsWithDecimal?: Set<string>;
+    /**
+     * Emit `reviveX()` hydration functions alongside the schemas. Set only for SDK type files: a
+     * server handler receives decimals already parsed by `_ZodDecimal`, so it has nothing to revive.
+     */
+    emitRevivers?: boolean;
 }
 
 // ─── Public entry point ────────────────────────────────────────────────────
@@ -142,6 +151,7 @@ export function generateContract(root: ContractRootNode, context?: ContractCodeg
     const needsBinary = rootNeedsScalar(root, 'binary');
     const needsDatetime = rootNeedsScalar(root, 'datetime');
     const needsJson = rootNeedsScalar(root, 'json');
+    const needsDecimal = rootNeedsScalar(root, 'decimal');
     const externalRefs = collectExternalRefs(root);
     const lines: string[] = [];
 
@@ -166,9 +176,14 @@ export function generateContract(root: ContractRootNode, context?: ContractCodeg
     if (needsDuration) luxonImports.push('Duration');
     if (needsInterval) luxonImports.push('Interval');
     if (luxonImports.length > 0) lines.push(`import { ${luxonImports.join(', ')} } from 'luxon';`);
+    if (needsDecimal) lines.push(DECIMAL_IMPORT);
     for (const ref of allExternalRefs) {
         const importPath = resolveImportPath(ref, context);
-        lines.push(`import { ${ref} } from '${importPath}';`);
+        // A cross-file model that carries a decimal contributes its reviver too — the local
+        // reviver calls it rather than re-deriving the other file's shape.
+        const names =
+            context?.emitRevivers && context.modelsWithDecimal?.has(ref) ? `${ref}, ${reviveFnName(ref)}` : ref;
+        lines.push(`import { ${names} } from '${importPath}';`);
     }
     lines.push('');
     if (needsBinary) {
@@ -184,21 +199,45 @@ export function generateContract(root: ContractRootNode, context?: ContractCodeg
             `const _ZodInterval = z.preprocess((val) => typeof val === 'string' ? Interval.fromISO(val) : val, z.custom<Interval>((val) => val instanceof Interval && val.isValid, { message: 'Must be an ISO 8601 interval' })).transform(val => val.toISO()!);`,
         );
     }
+    if (needsDecimal) {
+        lines.push(...DECIMAL_PRELUDE_LINES);
+    }
     if (needsJson) {
         lines.push(`type _JsonValue = string | number | boolean | null | _JsonValue[] | { [key: string]: _JsonValue };`);
         lines.push(
             `const _ZodJson: z.ZodType<_JsonValue> = z.lazy(() => z.union([z.string(), z.number(), z.boolean(), z.null(), z.array(_ZodJson), z.record(z.string(), _ZodJson)]));`,
         );
     }
-    if (needsBinary || needsDatetime || needsInterval || needsJson) lines.push('');
+    if (needsBinary || needsDatetime || needsInterval || needsDecimal || needsJson) lines.push('');
 
     const modelsWithWriteonly = new Set(root.models.filter(m => m.fields.some(f => f.visibility === 'writeonly')).map(m => m.name));
     const modelMap = new Map(root.models.map(m => [m.name, m]));
 
+    const reviveOpts =
+        context?.emitRevivers && context.modelsWithDecimal
+            ? { modelsWithDecimal: context.modelsWithDecimal, modelsWithOutput: allModelsWithOutput, modelMap }
+            : undefined;
+
+    const bodyLines: string[] = [];
     for (const model of topoSortModels(root.models)) {
-        lines.push(...generateModel(model, context?.currentOutPath, allModelsWithInput, modelsWithWriteonly, modelMap, allModelsWithOutput));
+        bodyLines.push(...generateModel(model, context?.currentOutPath, allModelsWithInput, modelsWithWriteonly, modelMap, allModelsWithOutput));
+        if (reviveOpts) {
+            const revivers = renderReviveFunctions(model, reviveOpts);
+            if (revivers.length > 0) {
+                bodyLines.push('');
+                bodyLines.push(...revivers);
+            }
+        }
+        bodyLines.push('');
+    }
+
+    // Decided from the emitted revivers rather than from a predicate over the AST, so the
+    // declaration and its uses cannot drift apart and leave an unused local behind.
+    if (bodyLines.some(l => l.includes('__dec('))) {
+        lines.push(...DECIMAL_COERCE_DECL);
         lines.push('');
     }
+    lines.push(...bodyLines);
 
     return lines.join('\n');
 }
@@ -631,6 +670,22 @@ function renderScalar(s: ScalarTypeNode): string {
             if (s.max !== undefined) inner += `.max(${s.max}n)`;
             return `z.preprocess((val) => typeof val === 'string' ? BigInt(val.replace(/n$/, '')) : val, ${inner})`;
         }
+        case 'decimal': {
+            // Deliberately no output `.transform()`: `isRevalidatable` in codegen-operation treats
+            // every scalar as idempotent under re-parse, which `server.validateResponses` relies on.
+            // Preprocess passes an already-`Decimal` value straight through, so parse(parse(x)) is
+            // stable. Modelling this on `_ZodInterval` — which does transform — would break that.
+            const checks: string[] = [];
+            if (s.scale !== undefined) checks.push(`v.decimalPlaces() <= ${s.scale}`);
+            if (s.min !== undefined) checks.push(`v.gte('${escapeString(String(s.min))}')`);
+            if (s.max !== undefined) checks.push(`v.lte('${escapeString(String(s.max))}')`);
+            if (checks.length === 0) return '_ZodDecimal';
+            const messageParts: string[] = [];
+            if (s.scale !== undefined) messageParts.push(`at most ${s.scale} decimal place${s.scale === 1 ? '' : 's'}`);
+            if (s.min !== undefined) messageParts.push(`at least ${s.min}`);
+            if (s.max !== undefined) messageParts.push(`at most ${s.max}`);
+            return `_ZodDecimal.refine((v) => ${checks.join(' && ')}, { message: 'Must be ${escapeString(messageParts.join(', '))}' })`;
+        }
         case 'boolean':
             return `z.preprocess((v) => v === 'true' ? true : v === 'false' ? false : v, z.boolean())`;
         case 'date': {

package/src/codegen-mcp.ts

@@ -3,6 +3,7 @@ import { resolveModifiers, emittedResponses } from '@contractkit/core';
 import { renderType, renderInputType, pascalToDotCase } from './codegen-contract.js';
 import { inferService, deriveModulePath, buildArgs, deriveBaseName } from './codegen-operation.js';
 import { quoteKey, escapeSingleQuoted } from './ts-render.js';
+import { DECIMAL_IMPORT, DECIMAL_PRELUDE_LINES } from './decimal-runtime.js';
 import { basename, dirname, relative } from 'node:path';
 
 // ─── Options ────────────────────────────────────────────────────────────────
@@ -289,6 +290,9 @@ function scalarHelperLines(body: string): string[] {
             `const _ZodDatetime = z.preprocess((val) => typeof val === 'string' ? DateTime.fromISO(val) : val, z.custom<DateTime>((val) => val instanceof DateTime && val.isValid, { message: 'Must be in ISO 8601 format' }));`,
         );
     }
+    if (body.includes('_ZodDecimal')) {
+        lines.push(...DECIMAL_PRELUDE_LINES);
+    }
     if (body.includes('_ZodInterval')) {
         lines.push(
             `const _ZodInterval = z.preprocess((val) => typeof val === 'string' ? Interval.fromISO(val) : val, z.custom<Interval>((val) => val instanceof Interval && val.isValid, { message: 'Must be an ISO 8601 interval' })).transform(val => val.toISO()!);`,
@@ -430,6 +434,7 @@ export function generateMcpFile(root: OpRootNode, options: McpCodegenOptions = {
     if (/\bInterval\b/.test(bodyWithHelpers)) luxon.push('Interval');
     if (/\bDuration\b/.test(bodyWithHelpers)) luxon.push('Duration');
     if (luxon.length > 0) imports.push(`import { ${luxon.join(', ')} } from 'luxon';`);
+    if (/\bDecimal\b/.test(bodyWithHelpers)) imports.push(DECIMAL_IMPORT);
 
     imports.push(`import type { CallToolResult, Tool } from '@modelcontextprotocol/sdk/types.js';`);
     imports.push(`import type { McpToolHandler, McpToolHandlerMap, McpToolContext } from '@maroonedsoftware/mcp';`);

package/src/codegen-operation.ts

@@ -18,6 +18,7 @@ import {
     modeToWrapper,
 } from './codegen-contract.js';
 import { renderOutputTsType, quoteKey, headerNameToProperty, escapeJsDocLines, escapeSingleQuoted } from './ts-render.js';
+import { DECIMAL_IMPORT, DECIMAL_PRELUDE_LINES } from './decimal-runtime.js';
 import { basename, dirname, relative } from 'path';
 
 // ─── Content-type helpers ──────────────────────────────────────────────────
@@ -50,7 +51,15 @@ export function bodyTypesStructurallyEqual(a: ContractTypeNode, b: ContractTypeN
     switch (a.kind) {
         case 'scalar': {
             const bb = b as typeof a;
-            return a.name === bb.name && a.min === bb.min && a.max === bb.max && a.len === bb.len && a.regex === bb.regex && a.format === bb.format;
+            return (
+                a.name === bb.name &&
+                a.min === bb.min &&
+                a.max === bb.max &&
+                a.len === bb.len &&
+                a.scale === bb.scale &&
+                a.regex === bb.regex &&
+                a.format === bb.format
+            );
         }
         case 'array': {
             const bb = b as typeof a;
@@ -197,6 +206,9 @@ export function generateOp(root: OpRootNode, options: OpCodegenOptions = {}): st
             `const _ZodDatetime = z.preprocess((val) => typeof val === 'string' ? DateTime.fromISO(val) : val, z.custom<DateTime>((val) => val instanceof DateTime && val.isValid, { message: 'Must be in ISO 8601 format' }));`,
         );
     }
+    if (references('_ZodDecimal')) {
+        helpers.push(...DECIMAL_PRELUDE_LINES);
+    }
     if (references('_ZodInterval')) {
         helpers.push(
             `const _ZodInterval = z.preprocess((val) => typeof val === 'string' ? Interval.fromISO(val) : val, z.custom<Interval>((val) => val instanceof Interval && val.isValid, { message: 'Must be an ISO 8601 interval' })).transform(val => val.toISO()!);`,
@@ -247,6 +259,12 @@ export function generateOp(root: OpRootNode, options: OpCodegenOptions = {}): st
         body.push(`import { ${luxonImports.join(', ')} } from 'luxon';`);
     }
 
+    // Same `uses` gate: `Decimal` appears in the `_ZodDecimal` helper and in service-result
+    // annotations via `serverTsScalar`, and the helper text is folded into `generated` above.
+    if (uses('Decimal')) {
+        body.push(DECIMAL_IMPORT);
+    }
+
     if (uses('parseAndValidate')) {
         body.push(`import { parseAndValidate } from '@maroonedsoftware/zod';`);
     }
@@ -645,6 +663,10 @@ function serverTsScalar(name: ScalarTypeNode['name']): string {
             return 'number';
         case 'bigint':
             return 'bigint';
+        case 'decimal':
+            // Unlike the date scalars, this matches `renderTsScalar`'s wire view — `_ZodDecimal`
+            // has no output transform, so `z.infer` is a `Decimal` on both sides.
+            return 'Decimal';
         case 'boolean':
             return 'boolean';
         case 'date':

package/src/codegen-plain-types.ts

@@ -12,6 +12,8 @@ import {
 } from './codegen-contract.js';
 import { renderTsType, renderInputTsType, renderOutputTsType, quoteKey, escapeJsDocLines, JSON_VALUE_TYPE_DECL } from './ts-render.js';
 import type { TsRenderTarget } from './ts-render.js';
+import { DECIMAL_IMPORT, DECIMAL_CONFIG_LINE } from './decimal-runtime.js';
+import { renderReviveFunctions, reviveFnName, DECIMAL_COERCE_DECL } from './codegen-revive.js';
 
 // ─── Public entry point ────────────────────────────────────────────────────
 
@@ -44,10 +46,20 @@ export function generatePlainTypes(root: ContractRootNode, context?: ContractCod
     const externalOutputRefs = allModelsWithOutput.size > 0 ? collectExternalOutputRefs(root, allModelsWithOutput) : [];
     const allExternalRefs = [...new Set([...externalRefs, ...externalInputRefs, ...externalOutputRefs])].sort();
 
-    // Type-only imports for external references
+    // Not `import type`: `renderTsScalar` maps `decimal` to `Decimal` in this mode too, so the class
+    // is a real runtime dependency of any consumer holding one — same position as in
+    // `generateContract`, which emits it ahead of the external model refs.
+    const needsDecimal = rootNeedsScalar(root, 'decimal') || (context?.emitRevivers && context.modelsWithDecimal ? root.models.some(m => context.modelsWithDecimal!.has(m.name)) : false);
+    if (needsDecimal) lines.push(DECIMAL_IMPORT);
+
+    // Type-only imports for external references. A cross-file model carrying a decimal also
+    // contributes its reviver, which is a value and so needs a second, non-type import.
     for (const ref of allExternalRefs) {
         const importPath = resolveImportPath(ref, context);
         lines.push(`import type { ${ref} } from '${importPath}';`);
+        if (context?.emitRevivers && context.modelsWithDecimal?.has(ref)) {
+            lines.push(`import { ${reviveFnName(ref)} } from '${importPath}';`);
+        }
     }
     if (allExternalRefs.length > 0) lines.push('');
 
@@ -62,10 +74,38 @@ export function generatePlainTypes(root: ContractRootNode, context?: ContractCod
 
     const modelMap = new Map(root.models.map(m => [m.name, m]));
 
+    const reviveOpts =
+        context?.emitRevivers && context.modelsWithDecimal
+            ? { modelsWithDecimal: context.modelsWithDecimal, modelsWithOutput: allModelsWithOutput, modelMap }
+            : undefined;
+
+    const bodyLines: string[] = [];
     for (const model of topoSortModels(root.models)) {
-        lines.push(...generateModel(model, target, context?.currentOutPath, allModelsWithInput, allModelsWithOutput, modelMap));
+        bodyLines.push(...generateModel(model, target, context?.currentOutPath, allModelsWithInput, allModelsWithOutput, modelMap));
+        if (reviveOpts) {
+            const revivers = renderReviveFunctions(model, reviveOpts);
+            if (revivers.length > 0) {
+                bodyLines.push('');
+                bodyLines.push(...revivers);
+            }
+        }
+        bodyLines.push('');
+    }
+
+    // Global decimal.js config belongs in any file holding a `Decimal`: there is no Zod schema in
+    // this mode, but `String(value)` and `JSON.stringify` still have to stay out of exponential form.
+    if (needsDecimal) {
+        lines.push('');
+        lines.push(DECIMAL_CONFIG_LINE);
+    }
+
+    // Same rule as in `generateContract`: the helper is emitted only if the revivers actually
+    // reference it, so the two cannot drift and trip `noUnusedLocals`.
+    if (bodyLines.some(l => l.includes('__dec('))) {
+        lines.push(...DECIMAL_COERCE_DECL);
         lines.push('');
     }
+    lines.push(...bodyLines);
 
     return lines.join('\n');
 }