fix(types): the zod face of PageNodeSchema refuses the retired page kind jsx too (objectui#12464)

The zod mirror took `kind` from the spec's PageSchema by reference, so on the
pinned 18.0.0-next.1 it still admitted 'jsx' and was wider than the narrowed
TS face (zod-mirror-parity WiderLedger TS2322). It now picks its enum out of
the spec's by reference with `.extract`, through the stripImportedDefaults
boundary, identical to the spec's enum once the resolved spec carries the
retirement.

Claude-Session: https://claude.ai/code/session_01XVp19E1MYUTFM3dnkwz8gB
Co-authored-by: Claude <noreply@anthropic.com>

Author: claude

packages/types/src/__tests__/page-kind-jsx-retired-12464.test.ts

@@ -18,9 +18,14 @@
  *
  * `Equal` (not `Extends`) on the whole union: re-adding `'jsx'` widens it, and
  * only an exact comparison fails on a widening.
+ *
+ * The zod face (`zod/layout.zod.ts` `PageNodeSchema`) refuses the same value
+ * at `kind`: it picks its enum out of the spec's by reference, so it does not
+ * wait for the resolved spec to carry the retirement.
  */
 import { describe, expect, it } from 'vitest';
 import type { PageNodeSchema } from '../layout';
+import { PageNodeSchema as PageNodeZod } from '../zod/layout.zod';
 
 type Equal<A, B> = (<T>() => T extends A ? 1 : 2) extends <T>() => T extends B ? 1 : 2 ? true : false;
 type Assert<T extends true> = T;
@@ -36,4 +41,11 @@ describe('PageNodeSchema.kind no longer declares the retired page kind jsx (obje
     const jsx: PageNodeSchema = { type: 'page', kind: 'jsx', source: '<Page />' };
     expect([html.kind, jsx.kind]).toEqual(['html', 'jsx']);
   });
+
+  it('the zod face refuses kind jsx at kind and accepts html', () => {
+    const jsx = PageNodeZod.safeParse({ type: 'page', kind: 'jsx', source: '<Page />' });
+    expect(jsx.success).toBe(false);
+    expect(jsx.error?.issues.map((i) => i.path.join('.'))).toEqual(['kind']);
+    expect(PageNodeZod.safeParse({ type: 'page', kind: 'html', source: '<Page />' }).success).toBe(true);
+  });
 });

packages/types/src/zod/layout.zod.ts

@@ -1293,6 +1293,17 @@ export const PageNodeSchema = BaseSchema.extend(SpecPageFields.shape).extend({
   icon: z.string().optional().describe('Page icon (Lucide icon name)'),
   description: z.string().optional().describe('Page description'),
   pageType: PageTypeSchema.optional().describe('Page type (record, home, app, utility)'),
+  // objectui#12464: the page kind `jsx` retired in @objectstack/spec 18
+  // (objectstack-ai/objectstack#23638), naming `html`. Picked out of the spec's
+  // own enum by reference (`.extract`), the way `PAGE_KIND_NODE_TYPE` is below:
+  // identical to the spec's enum once the resolved spec carries the
+  // retirement, it refuses `jsx` before that, and a kind the spec drops fails to
+  // compile here. Mirrors the TS face's `PageNodeSchema.kind`.
+  kind: stripImportedDefaults(SpecPageSchema)
+    .shape.kind.unwrap()
+    .extract(['full', 'slotted', 'html', 'react'])
+    .optional()
+    .describe('Page override mode (full | slotted | html | react)'),
   object: z.string().optional().describe('Bound object name (for record pages)'),
   template: z.string().optional().describe('Layout template name'),
   variables: z.array(PageVariableSchema).optional().describe('Local page state variables'),