typespec-hono 0.18.0 → 0.18.1

package/dist/src/app.js

@@ -429,7 +429,11 @@ securityFor) {
  *
  * - an index signature, which an open model infers because its validator really does pass unknown
  *   keys through. TypeScript gives an interface no implicit index signature, so returning one meant
- *   spreading every level of the tree - a structural deep copy per response on one real service;
+ *   spreading every level of the tree - a structural deep copy per response on one real service.
+ *   **Only where the shape has declared keys beside it**: an index signature also arrives as a
+ *   property's own declared type (\`Record<unknown>\`), where it is stated identically in both
+ *   artefacts and stripping it would destroy the property. A string indexer means "dictionary" only
+ *   when nothing is declared next to it, which is the same rule the contract types use;
  * - \`readonly\`, which a codebase commonly puts on the views its layers hand back. \`readonly T[]\`
  *   and \`T[]\` serialise to identical bytes, so mutability says nothing about a payload.
  *
@@ -443,20 +447,32 @@ securityFor) {
  * Returning extra properties still works - excess-property checks apply to object literals, not to a
  * value the application already holds.
  */
+type ProducedKeyOf<T> = keyof {
+	[K in keyof T as string extends K
+		? never
+		: number extends K
+			? never
+			: symbol extends K
+				? never
+				: K]: 0;
+};
+
 type Produced<T> = T extends (...args: never[]) => unknown
 	? T
 	: T extends readonly (infer Element)[]
 		? readonly Produced<Element>[]
 		: T extends object
-			? {
-					readonly [K in keyof T as string extends K
-						? never
-						: number extends K
+			? [ProducedKeyOf<T>] extends [never]
+				? { readonly [K in keyof T]: Produced<T[K]> }
+				: {
+						readonly [K in keyof T as string extends K
 							? never
-							: symbol extends K
+							: number extends K
 								? never
-								: K]: Produced<T[K]>;
-				}
+								: symbol extends K
+									? never
+									: K]: Produced<T[K]>;
+					}
 			: T;
 
 `

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "typespec-hono",
-  "version": "0.18.0",
+  "version": "0.18.1",
   "description": "TypeSpec emitter: generate a Hono server, and the Zod validators it enforces, from an HTTP service definition, agreeing with the OpenAPI document @typespec/openapi3 publishes from the same source.",
   "keywords": [
     "cloudflare-workers",
@@ -44,7 +44,7 @@
     "provenance": true
   },
   "dependencies": {
-    "typespec-http-zod": "^0.19.0"
+    "typespec-http-zod": "^0.19.1"
   },
   "devDependencies": {
     "@hono/zod-openapi": "^1.4.0",