@elastic/isomer-sdk 0.1.0 → 0.3.0

package/dist/author/jsx_shim.d.ts

@@ -2,7 +2,7 @@ import { type ReactElement, type ReactNode } from 'react';
 import type { z, ZodObject } from 'zod';
 import type { Composition } from '../composition/composition.js';
 import type { PrimitiveNode } from '../define/primitive_module.js';
-import { type AuthoredChildBrand, type AuthoredTextBrand } from './authored_fields.js';
+import { type AuthoredChildBrand, type AuthoredNodesBrand, type AuthoredTextBrand, type AuthoredToItemBrand, type ItemSchema } from './authored_fields.js';
 import { type AuthorComponent } from './jsx.js';
 /** A {@link Composition} whose `body` is the pack's own authoring node type. */
 export type AuthorComposition<TNode extends PrimitiveNode = PrimitiveNode> = Omit<Composition<TNode>, 'body'> & {
@@ -31,7 +31,7 @@ type SchemaOf<P> = P extends {
 } ? S extends ZodObject ? S : never : never;
 /** A bare `ZodObject` has a string index; a real shape does not. */
 type LooseSchema<TSchema> = string extends keyof ShapeOf<TSchema> ? true : false;
-type Branded<F> = F extends AuthoredChildBrand<string, unknown> | AuthoredTextBrand ? F : F extends {
+type Branded<F> = F extends AuthoredChildBrand<string, unknown> | AuthoredTextBrand | AuthoredNodesBrand ? F : F extends {
     _zod: {
         def: {
             type: 'optional' | 'nullable' | 'default' | 'readonly';
@@ -40,47 +40,61 @@ type Branded<F> = F extends AuthoredChildBrand<string, unknown> | AuthoredTextBr
     };
 } ? Branded<Inner> : F;
 type AuthoredNames<TSchema> = {
-    [K in keyof ShapeOf<TSchema>]: Branded<ShapeOf<TSchema>[K]> extends AuthoredChildBrand<string, unknown> | AuthoredTextBrand ? K : never;
+    [K in keyof ShapeOf<TSchema>]: Branded<ShapeOf<TSchema>[K]> extends AuthoredChildBrand<string, unknown> | AuthoredTextBrand | AuthoredNodesBrand ? K : never;
 }[keyof ShapeOf<TSchema>];
-type AuthorPropsForSchema<TSchema extends ZodObject> = LooseSchema<TSchema> extends true ? Record<string, unknown> & {
+type SlotValue<V> = NonNullable<V> extends readonly (infer Item)[] ? Item : NonNullable<V>;
+/**
+ * A field holding body nodes, or an array of them: its `type` is wide or one of
+ * the pack's `TTypes`, so a discriminated config object does not count.
+ */
+type NodeSlotKey<T, TTypes extends string> = {
+    [K in keyof T]-?: K extends 'type' ? never : SlotValue<T[K]> extends {
+        type: infer Type extends string;
+    } ? string extends Type ? K : [Type] extends [TTypes] ? K : never : never;
+}[keyof T];
+type IsUnion<T, U = T> = [T] extends [never] ? false : T extends unknown ? [U] extends [T] ? false : true : false;
+/** `T` when it is exactly one key. */
+type Only<T> = [T] extends [never] ? never : IsUnion<T> extends true ? never : T;
+/**
+ * The one unbranded node field JSX children fill. With several, each stays a
+ * prop, as at runtime.
+ */
+type PassthroughSlot<TSchema extends ZodObject, TTypes extends string> = Only<Exclude<NodeSlotKey<z.infer<TSchema>, TTypes>, AuthoredNames<TSchema>>>;
+type FilledNames<TSchema extends ZodObject, TTypes extends string> = AuthoredNames<TSchema> | PassthroughSlot<TSchema, TTypes>;
+type AuthorPropsForSchema<TSchema extends ZodObject, TTypes extends string> = LooseSchema<TSchema> extends true ? Record<string, unknown> & {
     children?: ReactNode;
-} : Omit<z.infer<TSchema>, 'type' | AuthoredNames<TSchema>> & Partial<Pick<z.infer<TSchema>, Extract<AuthoredNames<TSchema>, keyof z.infer<TSchema>>>> & {
+} : Omit<z.infer<TSchema>, 'type' | FilledNames<TSchema, TTypes>> & Partial<Pick<z.infer<TSchema>, Extract<FilledNames<TSchema, TTypes>, keyof z.infer<TSchema>>>> & {
     children?: ReactNode;
 };
-type AuthorPropsFor<P> = [SchemaOf<P>] extends [never] ? Record<string, unknown> & {
+type AuthorPropsFor<P, TTypes extends string> = [SchemaOf<P>] extends [never] ? Record<string, unknown> & {
     children?: ReactNode;
-} : AuthorPropsForSchema<SchemaOf<P>>;
-type ChildEntry<F> = 0 extends 1 & F ? NoKeys : F extends AuthoredChildBrand<infer Name, infer Props> ? [Name] extends [string] ? {
+} : AuthorPropsForSchema<SchemaOf<P>, TTypes>;
+type ChildEntry<F, TOwner extends string, TDepth extends unknown[]> = 0 extends 1 & F ? NoKeys : F extends AuthoredChildBrand<infer Name, infer Props> ? [Name] extends [string] ? {
     [K in Capitalize<Name>]: AuthorComponent<Props & {
         children?: ReactNode;
-    }, Name>;
-} : NoKeys : NoKeys;
+    }, `${TOwner}.${K}`>;
+} & (F extends AuthoredToItemBrand ? NoKeys : ChildComponentsOf<ItemSchema<F>, TOwner, [...TDepth, unknown]>) : NoKeys : NoKeys;
 type UnionToIntersection<T> = (T extends unknown ? (value: T) => void : never) extends (value: infer R) => void ? R : never;
-type ChildComponentsOf<TSchema> = LooseSchema<TSchema> extends true ? NoKeys : UnionToIntersection<{
-    [K in keyof ShapeOf<TSchema>]: ChildEntry<Branded<ShapeOf<TSchema>[K]>>;
+/** Child components branded on `TSchema`, then on each child's item schema, five levels deep. */
+type ChildComponentsOf<TSchema, TOwner extends string, TDepth extends unknown[] = []> = TDepth['length'] extends 5 ? NoKeys : LooseSchema<TSchema> extends true ? NoKeys : UnionToIntersection<{
+    [K in keyof ShapeOf<TSchema>]: ChildEntry<Branded<ShapeOf<TSchema>[K]>, TOwner, TDepth>;
 }[keyof ShapeOf<TSchema>]>;
-type ChildMapOfTuple<TPrimitives> = TPrimitives extends readonly [
-    infer Head,
-    ...infer Tail
-] ? ChildComponentsOf<SchemaOf<Head>> & ChildMapOfTuple<Tail extends readonly {
-    type: string;
-}[] ? Tail : []> : NoKeys;
-type ChildComponentMap<TPrimitives extends readonly {
-    type: string;
-}[]> = ChildMapOfTuple<TPrimitives>;
+/** A primitive's child components, as members of its own component. */
+type MembersOf<P, TType extends string> = [SchemaOf<P>] extends [never] ? NoKeys : ChildComponentsOf<SchemaOf<P>, TType>;
 /**
  * PascalCase authoring components keyed from a pack's primitive `type` list.
- * `slideFrame` becomes `SlideFrame`. Props come from the primitive's schema.
+ * `slideFrame` becomes `SlideFrame`. Props come from the primitive's schema,
+ * and each branded child is a member: `SlideFrame.Footer`.
  */
 export type PrimitiveComponentMap<TPrimitives extends readonly {
     type: string;
 }[]> = {
-    [P in TPrimitives[number] as Capitalize<LiteralType<P['type'] & string>>]: AuthorComponent<AuthorPropsFor<P>, P['type'] & string>;
+    [P in TPrimitives[number] as Capitalize<LiteralType<P['type'] & string>>]: AuthorComponent<AuthorPropsFor<P, LiteralType<TPrimitives[number]['type'] & string>>, P['type'] & string> & MembersOf<P, P['type'] & string>;
 };
 /**
  * A pack's JSX authoring front: the root `Composition` element, one
- * PascalCase component per primitive and per branded child, and the conversion
- * back to plain data.
+ * PascalCase component per primitive with its branded children as members,
+ * and the conversion back to plain data.
  */
 export type JsxShim<TNode extends PrimitiveNode = PrimitiveNode, TPrimitives extends readonly {
     type: string;
@@ -90,14 +104,19 @@ export type JsxShim<TNode extends PrimitiveNode = PrimitiveNode, TPrimitives ext
     Composition: AuthorComponent<CompositionAuthorProps<TNode>, 'view'>;
     /** Throws when the root is not the `Composition` element, or when a child is not a registered primitive. */
     toComposition: (element: ReactElement<CompositionAuthorProps<TNode>>) => AuthorComposition<TNode>;
-} & PrimitiveComponentMap<TPrimitives> & ChildComponentMap<TPrimitives>;
+} & PrimitiveComponentMap<TPrimitives>;
 /**
  * Builds a pack's {@link JsxShim} from its primitive list.
  *
  * Branded schema fields ({@link fromChildren}, {@link fromTextChildren}) fill
- * from JSX children, and each child type becomes a component. A primitive with
- * no brand still fills its one child slot, array or single node, from
- * {@link PrimitiveDefinition.children}.
+ * from JSX children, and each child becomes a member of its primitive's
+ * component. Several branded fields share one children list, and each takes
+ * the elements of its member.
+ * Elements of a registered primitive that match none of them fill the one
+ * unbranded child slot from {@link PrimitiveDefinition.children}, or the one
+ * {@link fromNodeChildren} field. A primitive with no brand still fills that slot, array or
+ * single node, from its children. That field is optional on the component's
+ * props.
  */
 export declare const buildJsxShim: <const TPrimitives extends readonly {
     type: string;
@@ -107,10 +126,11 @@ export declare const buildJsxShim: <const TPrimitives extends readonly {
 /** React children as a flat array, with fragments inlined. */
 export declare const flattenChildren: (children: ReactNode) => ReactNode[];
 /**
- * Children joined into one string. Throws on an element child, so a prop typed as text stays text. Collapses whitespace unless `{ collapseWhitespace: false }`.
+ * Children joined into one string. Throws on an element child, so a prop typed as text stays text. Collapses whitespace unless `{ collapseWhitespace: false }`; `{ dedent: true }` reads it as source, lines joined by `\n`.
  */
 export declare const textFromChildren: (children: ReactNode, options?: {
     collapseWhitespace?: boolean;
+    dedent?: boolean;
 }) => string;
 export {};
 //# sourceMappingURL=jsx_shim.d.ts.map

package/dist/author/jsx_shim.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"jsx_shim.d.ts","sourceRoot":"","sources":["../../src/author/jsx_shim.ts"],"names":[],"mappings":"AAOA,OAAO,EAIL,KAAK,YAAY,EACjB,KAAK,SAAS,EACf,MAAM,OAAO,CAAC;AACf,OAAO,KAAK,EAAE,CAAC,EAAE,SAAS,EAAW,MAAM,KAAK,CAAC;AAEjD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAE9D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAEhE,OAAO,EACL,KAAK,kBAAkB,EAGvB,KAAK,iBAAiB,EAEvB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,KAAK,eAAe,EAAqC,MAAM,OAAO,CAAC;AAEhF,gFAAgF;AAChF,MAAM,MAAM,iBAAiB,CAAC,KAAK,SAAS,aAAa,GAAG,aAAa,IACvE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,GAAG;IACjC,IAAI,EAAE,KAAK,EAAE,CAAC;CACf,CAAC;AAEJ;;;GAGG;AACH,MAAM,WAAW,sBAAsB,CACrC,KAAK,SAAS,aAAa,GAAG,aAAa,CAC3C,SAAQ,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACvD,2EAA2E;IAC3E,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC;IACf,6HAA6H;IAC7H,QAAQ,CAAC,EAAE,SAAS,CAAC;CACtB;AAED,0GAA0G;AAC1G,KAAK,WAAW,CAAC,CAAC,SAAS,MAAM,IAAI,MAAM,SAAS,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;AAElE,gEAAgE;AAChE,KAAK,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAEnC,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,KAAK,EAAE,MAAM,KAAK,CAAA;CAAE,GAAG,KAAK,GAAG,MAAM,CAAC;AAEpE,mEAAmE;AACnE,KAAK,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAC5C,CAAC,SAAS,SAAS,GACjB,CAAC,GACD,KAAK,GACP,KAAK,CAAC;AAEV,oEAAoE;AACpE,KAAK,WAAW,CAAC,OAAO,IAAI,MAAM,SAAS,MAAM,OAAO,CAAC,OAAO,CAAC,GAC7D,IAAI,GACJ,KAAK,CAAC;AAIV,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,SACjB,kBAAkB,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,iBAAiB,GACrD,CAAC,GACD,CAAC,SAAS;IACN,IAAI,EAAE;QACJ,GAAG,EAAE;YACH,IAAI,EAAE,UAAU,GAAG,UAAU,GAAG,SAAS,GAAG,UAAU,CAAC;YACvD,SAAS,EAAE,MAAM,KAAK,CAAC;SACxB,CAAC;KACH,CAAC;CACH,GACD,OAAO,CAAC,KAAK,CAAC,GACd,CAAC,CAAC;AAER,KAAK,aAAa,CAAC,OAAO,IAAI;KAC3B,CAAC,IAAI,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,SACzD,kBAAkB,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,iBAAiB,GACrD,CAAC,GACD,KAAK;CACV,CAAC,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;AAE1B,KAAK,oBAAoB,CAAC,OAAO,SAAS,SAAS,IACjD,WAAW,CAAC,OAAO,CAAC,SAAS,IAAI,GAC7B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG;IAAE,QAAQ,CAAC,EAAE,SAAS,CAAA;CAAE,GAClD,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,GACrD,OAAO,CACL,IAAI,CACF,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAChB,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CACxD,CACF,GAAG;IAAE,QAAQ,CAAC,EAAE,SAAS,CAAA;CAAE,CAAC;AAErC,KAAK,cAAc,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAClD,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG;IAAE,QAAQ,CAAC,EAAE,SAAS,CAAA;CAAE,GAClD,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AAEtC,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAChC,MAAM,GACN,CAAC,SAAS,kBAAkB,CAAC,MAAM,IAAI,EAAE,MAAM,KAAK,CAAC,GACnD,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GACrB;KACG,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,eAAe,CACtC,KAAK,GAAG;QAAE,QAAQ,CAAC,EAAE,SAAS,CAAA;KAAE,EAChC,IAAI,CACL;CACF,GACD,MAAM,GACR,MAAM,CAAC;AAEb,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAC5B,CAAC,SAAS,OAAO,GAAG,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAC/C,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,GAC9B,CAAC,GACD,KAAK,CAAC;AAEV,KAAK,iBAAiB,CAAC,OAAO,IAC5B,WAAW,CAAC,OAAO,CAAC,SAAS,IAAI,GAC7B,MAAM,GACN,mBAAmB,CACjB;KACG,CAAC,IAAI,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,UAAU,CACvC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAC7B;CACF,CAAC,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC,CAC1B,CAAC;AAER,KAAK,eAAe,CAAC,WAAW,IAAI,WAAW,SAAS,SAAS;IAC/D,MAAM,IAAI;IACV,GAAG,MAAM,IAAI;CACd,GACG,iBAAiB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAC/B,eAAe,CAAC,IAAI,SAAS,SAAS;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,GAAG,IAAI,GAAG,EAAE,CAAC,GACvE,MAAM,CAAC;AAEX,KAAK,iBAAiB,CAAC,WAAW,SAAS,SAAS;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,IACpE,eAAe,CAAC,WAAW,CAAC,CAAC;AAE/B;;;GAGG;AACH,MAAM,MAAM,qBAAqB,CAC/B,WAAW,SAAS,SAAS;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,IAC7C;KAEA,CAAC,IAAI,WAAW,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,GACtE,eAAe,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC;CAC1D,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,OAAO,CACjB,KAAK,SAAS,aAAa,GAAG,aAAa,EAC3C,WAAW,SAAS,SAAS;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,GAAG,SAAS;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,IAC3E;IACF,WAAW,EAAE,eAAe,CAAC,sBAAsB,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;IACpE,4GAA4G;IAC5G,aAAa,EAAE,CACb,OAAO,EAAE,YAAY,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC,KACjD,iBAAiB,CAAC,KAAK,CAAC,CAAC;CAC/B,GAAG,qBAAqB,CAAC,WAAW,CAAC,GACpC,iBAAiB,CAAC,WAAW,CAAC,CAAC;AAEjC;;;;;;;GAOG;AACH,eAAO,MAAM,YAAY,GACvB,KAAK,CAAC,WAAW,SAAS,SAAS;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,GAAG,SAAS;IAC/D,IAAI,EAAE,MAAM,CAAC;CACd,EAAE,EACH,KAAK,SAAS,aAAa,GAAG,aAAa,EAE3C,aAAY,WAA0C,KACrD,OAAO,CAAC,KAAK,EAAE,WAAW,CAsC5B,CAAC;AAqXF,8DAA8D;AAC9D,eAAO,MAAM,eAAe,GAAI,UAAU,SAAS,KAAG,SAAS,EAO3D,CAAC;AAEL;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,UAAU,SAAS,EACnB,UAAU;IAAE,kBAAkB,CAAC,EAAE,OAAO,CAAA;CAAE,KACzC,MAgBF,CAAC"}
+{"version":3,"file":"jsx_shim.d.ts","sourceRoot":"","sources":["../../src/author/jsx_shim.ts"],"names":[],"mappings":"AAOA,OAAO,EAIL,KAAK,YAAY,EACjB,KAAK,SAAS,EACf,MAAM,OAAO,CAAC;AACf,OAAO,KAAK,EAAE,CAAC,EAAE,SAAS,EAAW,MAAM,KAAK,CAAC;AAEjD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAE9D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAEhE,OAAO,EACL,KAAK,kBAAkB,EAEvB,KAAK,kBAAkB,EAEvB,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACxB,KAAK,UAAU,EAEhB,MAAM,mBAAmB,CAAC;AAO3B,OAAO,EAAE,KAAK,eAAe,EAAqC,MAAM,OAAO,CAAC;AAEhF,gFAAgF;AAChF,MAAM,MAAM,iBAAiB,CAAC,KAAK,SAAS,aAAa,GAAG,aAAa,IACvE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,GAAG;IACjC,IAAI,EAAE,KAAK,EAAE,CAAC;CACf,CAAC;AAEJ;;;GAGG;AACH,MAAM,WAAW,sBAAsB,CACrC,KAAK,SAAS,aAAa,GAAG,aAAa,CAC3C,SAAQ,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACvD,2EAA2E;IAC3E,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC;IACf,6HAA6H;IAC7H,QAAQ,CAAC,EAAE,SAAS,CAAC;CACtB;AAED,0GAA0G;AAC1G,KAAK,WAAW,CAAC,CAAC,SAAS,MAAM,IAAI,MAAM,SAAS,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;AAElE,gEAAgE;AAChE,KAAK,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAEnC,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,KAAK,EAAE,MAAM,KAAK,CAAA;CAAE,GAAG,KAAK,GAAG,MAAM,CAAC;AAEpE,mEAAmE;AACnE,KAAK,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAC5C,CAAC,SAAS,SAAS,GACjB,CAAC,GACD,KAAK,GACP,KAAK,CAAC;AAEV,oEAAoE;AACpE,KAAK,WAAW,CAAC,OAAO,IAAI,MAAM,SAAS,MAAM,OAAO,CAAC,OAAO,CAAC,GAC7D,IAAI,GACJ,KAAK,CAAC;AAIV,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,SACjB,kBAAkB,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,iBAAiB,GAAG,kBAAkB,GAC1E,CAAC,GACD,CAAC,SAAS;IACN,IAAI,EAAE;QACJ,GAAG,EAAE;YACH,IAAI,EAAE,UAAU,GAAG,UAAU,GAAG,SAAS,GAAG,UAAU,CAAC;YACvD,SAAS,EAAE,MAAM,KAAK,CAAC;SACxB,CAAC;KACH,CAAC;CACH,GACD,OAAO,CAAC,KAAK,CAAC,GACd,CAAC,CAAC;AAER,KAAK,aAAa,CAAC,OAAO,IAAI;KAC3B,CAAC,IAAI,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,SACzD,kBAAkB,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,iBAAiB,GAAG,kBAAkB,GAC1E,CAAC,GACD,KAAK;CACV,CAAC,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;AAE1B,KAAK,SAAS,CAAC,CAAC,IACd,WAAW,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,GAAG,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;AAEzE;;;GAGG;AACH,KAAK,WAAW,CAAC,CAAC,EAAE,MAAM,SAAS,MAAM,IAAI;KAC1C,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,MAAM,GAC9B,KAAK,GACL,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,IAAI,EAAE,MAAM,IAAI,SAAS,MAAM,CAAA;KAAE,GACzD,MAAM,SAAS,IAAI,GACjB,CAAC,GACD,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GACrB,CAAC,GACD,KAAK,GACT,KAAK;CACZ,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACxC,KAAK,GACL,CAAC,SAAS,OAAO,GACf,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GACb,KAAK,GACL,IAAI,GACN,KAAK,CAAC;AAEZ,sCAAsC;AACtC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC9B,KAAK,GACL,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACrB,KAAK,GACL,CAAC,CAAC;AAER;;;GAGG;AACH,KAAK,eAAe,CAAC,OAAO,SAAS,SAAS,EAAE,MAAM,SAAS,MAAM,IAAI,IAAI,CAC3E,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC,CACvE,CAAC;AAEF,KAAK,WAAW,CAAC,OAAO,SAAS,SAAS,EAAE,MAAM,SAAS,MAAM,IAC/D,aAAa,CAAC,OAAO,CAAC,GAAG,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAE5D,KAAK,oBAAoB,CAAC,OAAO,SAAS,SAAS,EAAE,MAAM,SAAS,MAAM,IACxE,WAAW,CAAC,OAAO,CAAC,SAAS,IAAI,GAC7B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG;IAAE,QAAQ,CAAC,EAAE,SAAS,CAAA;CAAE,GAClD,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,GAC3D,OAAO,CACL,IAAI,CACF,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAChB,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAC9D,CACF,GAAG;IAAE,QAAQ,CAAC,EAAE,SAAS,CAAA;CAAE,CAAC;AAErC,KAAK,cAAc,CAAC,CAAC,EAAE,MAAM,SAAS,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACzE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG;IAAE,QAAQ,CAAC,EAAE,SAAS,CAAA;CAAE,GAClD,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AAE9C,KAAK,UAAU,CACb,CAAC,EACD,MAAM,SAAS,MAAM,EACrB,MAAM,SAAS,OAAO,EAAE,IACtB,CAAC,SAAS,CAAC,GAAG,CAAC,GACf,MAAM,GACN,CAAC,SAAS,kBAAkB,CAAC,MAAM,IAAI,EAAE,MAAM,KAAK,CAAC,GACnD,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GACrB;KACG,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,eAAe,CACtC,KAAK,GAAG;QAAE,QAAQ,CAAC,EAAE,SAAS,CAAA;KAAE,EAChC,GAAG,MAAM,IAAI,CAAC,EAAE,CACjB;CACF,GAAG,CAAC,CAAC,SAAS,mBAAmB,GAC9B,MAAM,GACN,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,GACnE,MAAM,GACR,MAAM,CAAC;AAEb,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAC5B,CAAC,SAAS,OAAO,GAAG,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAC/C,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,GAC9B,CAAC,GACD,KAAK,CAAC;AAEV,iGAAiG;AACjG,KAAK,iBAAiB,CACpB,OAAO,EACP,MAAM,SAAS,MAAM,EACrB,MAAM,SAAS,OAAO,EAAE,GAAG,EAAE,IAC3B,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,GAC1B,MAAM,GACN,WAAW,CAAC,OAAO,CAAC,SAAS,IAAI,GAC/B,MAAM,GACN,mBAAmB,CACjB;KACG,CAAC,IAAI,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,UAAU,CACvC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAC5B,MAAM,EACN,MAAM,CACP;CACF,CAAC,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC,CAC1B,CAAC;AAER,uEAAuE;AACvE,KAAK,SAAS,CAAC,CAAC,EAAE,KAAK,SAAS,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACnE,MAAM,GACN,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAE1C;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,CAC/B,WAAW,SAAS,SAAS;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,IAC7C;KAEA,CAAC,IAAI,WAAW,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,GACtE,eAAe,CAChB,cAAc,CAAC,CAAC,EAAE,WAAW,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,EACpE,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,CACnB,GACC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC;CACnC,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,OAAO,CACjB,KAAK,SAAS,aAAa,GAAG,aAAa,EAC3C,WAAW,SAAS,SAAS;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,GAAG,SAAS;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,IAC3E;IACF,WAAW,EAAE,eAAe,CAAC,sBAAsB,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;IACpE,4GAA4G;IAC5G,aAAa,EAAE,CACb,OAAO,EAAE,YAAY,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC,KACjD,iBAAiB,CAAC,KAAK,CAAC,CAAC;CAC/B,GAAG,qBAAqB,CAAC,WAAW,CAAC,CAAC;AAEvC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,YAAY,GACvB,KAAK,CAAC,WAAW,SAAS,SAAS;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,GAAG,SAAS;IAC/D,IAAI,EAAE,MAAM,CAAC;CACd,EAAE,EACH,KAAK,SAAS,aAAa,GAAG,aAAa,EAE3C,aAAY,WAA0C,KACrD,OAAO,CAAC,KAAK,EAAE,WAAW,CA+B5B,CAAC;AA4YF,8DAA8D;AAC9D,eAAO,MAAM,eAAe,GAAI,UAAU,SAAS,KAAG,SAAS,EAO3D,CAAC;AAqBL;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,UAAU,SAAS,EACnB,UAAU;IAAE,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,OAAO,CAAA;CAAE,KAC3D,MAmBF,CAAC"}

package/dist/author/jsx_shim.js

@@ -7,26 +7,24 @@
 import { Children, Fragment, isValidElement, } from 'react';
 import { IsomerError } from '../composition/error.js';
 import { readAuthoredSpec, } from './authored_fields.js';
+import { capitalize, createAuthoringModel, memberType, } from './authoring_model.js';
 import { authorType, defineAuthorComponent } from './jsx.js';
 /**
  * Builds a pack's {@link JsxShim} from its primitive list.
  *
  * Branded schema fields ({@link fromChildren}, {@link fromTextChildren}) fill
- * from JSX children, and each child type becomes a component. A primitive with
- * no brand still fills its one child slot, array or single node, from
- * {@link PrimitiveDefinition.children}.
+ * from JSX children, and each child becomes a member of its primitive's
+ * component. Several branded fields share one children list, and each takes
+ * the elements of its member.
+ * Elements of a registered primitive that match none of them fill the one
+ * unbranded child slot from {@link PrimitiveDefinition.children}, or the one
+ * {@link fromNodeChildren} field. A primitive with no brand still fills that slot, array or
+ * single node, from its children. That field is optional on the component's
+ * props.
  */
 export const buildJsxShim = (primitives = []) => {
     const primitiveTypes = new Set(primitives.map((primitive) => primitive.type));
-    const childSlotsByType = new Map(primitives.map((primitive) => [
-        primitive.type,
-        inferChildSlots('children' in primitive ? primitive.children : undefined),
-    ]));
-    const { authoredByType, childComponents } = collectAuthored(primitives);
-    assertUniqueComponentNames([
-        ...primitives.map(({ type }) => type),
-        ...childComponents.keys(),
-    ]);
+    const { authoredByType, membersByType, childSlotsByType } = createAuthoringModel(primitives);
     const view = defineAuthorComponent('view');
     const env = {
         authoredByType,
@@ -36,56 +34,15 @@ export const buildJsxShim = (primitives = []) => {
     return {
         Composition: view,
         toComposition: (element) => toAuthorComposition(element, env),
-        ...Object.fromEntries(primitives.map((primitive) => [
-            capitalize(primitive.type),
-            defineAuthorComponent(primitive.type),
-        ])),
-        ...Object.fromEntries([...childComponents].map(([type, component]) => [
+        ...Object.fromEntries(primitives.map(({ type }) => [
             capitalize(type),
-            component,
+            Object.assign(defineAuthorComponent(type), Object.fromEntries((membersByType.get(type) ?? []).map(({ member, authorType }) => [
+                member,
+                defineAuthorComponent(authorType),
+            ]))),
         ])),
     };
 };
-const collectAuthored = (primitives) => {
-    const authoredByType = new Map();
-    const signatures = new Map();
-    const childComponents = new Map();
-    for (const primitive of primitives) {
-        const schema = primitive.schema;
-        if (!isZodType(schema)) {
-            continue;
-        }
-        const spec = readAuthoredSpec(schema);
-        if (spec.children.length === 0 && spec.text.length === 0) {
-            continue;
-        }
-        authoredByType.set(primitive.type, spec);
-        for (const field of spec.children) {
-            const prior = signatures.get(field.childType);
-            if (prior !== undefined && prior !== field.signature) {
-                throw new IsomerError('DUPLICATE_AUTHORED_CHILD', `Child type "${field.childType}" is branded with two different item shapes.`);
-            }
-            signatures.set(field.childType, field.signature);
-            if (!childComponents.has(field.childType)) {
-                childComponents.set(field.childType, defineAuthorComponent(field.childType));
-            }
-        }
-    }
-    return { authoredByType, childComponents };
-};
-/** Throws when two types, or a type and the root `Composition`, capitalize to one component name. */
-const assertUniqueComponentNames = (types) => {
-    const typeByName = new Map([['Composition', 'view']]);
-    for (const type of types) {
-        const name = capitalize(type);
-        const earlier = typeByName.get(name);
-        if (earlier !== undefined && earlier !== type) {
-            throw new IsomerError('DUPLICATE_PRIMITIVE_TYPE', `buildJsxShim: "${earlier}" and "${type}" both become the component ${name}`);
-        }
-        typeByName.set(name, type);
-    }
-};
-const isZodType = (schema) => typeof schema === 'object' && schema !== null && '_zod' in schema;
 const toAuthorComposition = (element, env) => {
     requireAuthorElement(element, 'view');
     const props = element.props;
@@ -125,12 +82,12 @@ const bodyNodeFromElement = (node, env) => {
     for (const [key, value] of Object.entries(withoutChildren(element))) {
         const childField = authored?.children.find((field) => field.field === key);
         converted[key] = childField
-            ? valueFromChildField(value, childField, env)
+            ? valueFromChildField(value, childField, env, type)
             : convertPropValue(value, key, slots, parseChild);
     }
     const rawChildren = element.props.children;
     if (authored && (authored.children.length > 0 || authored.text.length > 0)) {
-        fillAuthoredFields(converted, authored, rawChildren, env);
+        fillAuthoredFields(converted, authored, rawChildren, env, slots, parseChild, type);
     }
     else {
         const unique = slots.length === 1 ? slots[0] : undefined;
@@ -138,7 +95,7 @@ const bodyNodeFromElement = (node, env) => {
             converted[unique.field] === undefined &&
             rawChildren !== undefined) {
             const nested = flattenChildren(rawChildren).map(parseChild);
-            converted[unique.field] = unique.array ? nested : nested[0];
+            converted[unique.field] = slotValue(nested, unique);
         }
         else if (slots.length === 0 && flattenChildren(rawChildren).length > 0) {
             throw new IsomerError('UNEXPECTED_CHILDREN', `<${capitalize(type)}> takes no JSX children; set its fields through props.`);
@@ -146,31 +103,79 @@ const bodyNodeFromElement = (node, env) => {
     }
     return omitUndefined({ ...converted, type });
 };
-const fillAuthoredFields = (converted, authored, rawChildren, env) => {
-    for (const field of authored.children) {
-        if (converted[field.field] !== undefined || rawChildren === undefined) {
-            continue;
+const fillAuthoredFields = (converted, authored, rawChildren, env, slots, parseChild, parentType) => {
+    const unsetChildren = authored.children.filter((field) => converted[field.field] === undefined);
+    const unsetText = authored.text.filter((field) => converted[field.field] === undefined);
+    const brandedFields = new Set(authored.children.map((field) => field.field));
+    const unbranded = slots.filter(({ field }) => !brandedFields.has(field));
+    const slot = unbranded.length === 1 ? unbranded[0] : undefined;
+    const slotOpen = slot !== undefined && converted[slot.field] === undefined;
+    if (rawChildren === undefined ||
+        (unsetChildren.length === 0 && unsetText.length === 0 && !slotOpen)) {
+        for (const field of unsetText) {
+            if (!field.optional) {
+                throw new IsomerError('MISSING_AUTHORED_TEXT', `Expected text children for "${field.field}".`);
+            }
         }
-        converted[field.field] = itemsFromBrand(rawChildren, field, env);
+        return;
     }
-    for (const field of authored.text) {
-        if (converted[field.field] !== undefined) {
+    const flat = flattenChildren(rawChildren);
+    const elements = flat.filter(isAuthorElement);
+    const textNodes = flat.filter((child) => !isAuthorElement(child));
+    const claimed = new Set();
+    for (const field of unsetChildren) {
+        const matching = elements.filter((child) => getAuthorType(child) === memberType(parentType, field));
+        if (matching.length === 0) {
+            if (flat.length === 0 && field.array && !field.optional) {
+                converted[field.field] = [];
+            }
             continue;
         }
-        if (rawChildren === undefined) {
+        for (const child of matching) {
+            claimed.add(child);
+        }
+        converted[field.field] = valueFromBrand(matching, field, env, parentType);
+    }
+    const brandedTypes = new Set(authored.children.map((field) => memberType(parentType, field)));
+    const stray = elements.filter((child) => brandedTypes.has(getAuthorType(child)) && !claimed.has(child));
+    if (stray.length > 0) {
+        const childType = getAuthorType(stray[0]);
+        throw new IsomerError('UNEXPECTED_CHILDREN', `<${capitalize(parentType)}> already has its <${capitalize(childType)}>.`);
+    }
+    const leftover = elements.filter((child) => !claimed.has(child));
+    if (slotOpen && slot && leftover.length > 0) {
+        const nested = leftover.map(parseChild);
+        converted[slot.field] = slotValue(nested, slot);
+    }
+    else if (leftover.length > 0) {
+        const childType = getAuthorType(leftover[0]);
+        const [empty, ...moreEmpty] = unsetChildren.filter(({ field }) => converted[field] === undefined);
+        if (empty && moreEmpty.length === 0 && !slotOpen) {
+            throw new IsomerError('AUTHOR_TYPE_MISMATCH', `Expected <${capitalize(memberType(parentType, empty))}> but received <${capitalize(childType)}>.`);
+        }
+        throw new IsomerError('UNEXPECTED_CHILDREN', `<${capitalize(childType)}> is not a child of <${capitalize(parentType)}>.`);
+    }
+    if (textNodes.length === 0) {
+        for (const field of unsetText) {
             if (!field.optional) {
                 throw new IsomerError('MISSING_AUTHORED_TEXT', `Expected text children for "${field.field}".`);
             }
-            continue;
         }
-        converted[field.field] = textFromChildren(rawChildren, {
+        return;
+    }
+    if (unsetText.length === 0) {
+        throw new IsomerError('EXPECTED_JSX_ELEMENT', 'Expected an Isomer JSX element.');
+    }
+    for (const field of unsetText) {
+        converted[field.field] = textFromChildren(textNodes, {
             collapseWhitespace: field.collapseWhitespace,
+            ...(field.dedent ? { dedent: true } : {}),
         });
     }
 };
-const valueFromChildField = (value, field, env) => {
+const valueFromChildField = (value, field, env, owner) => {
     if (isJsxNodes(value)) {
-        return itemsFromBrand(value, field, env);
+        return valueFromBrand(flattenChildren(value), field, env, owner);
     }
     return value;
 };
@@ -184,47 +189,76 @@ const isJsxNodes = (value) => {
     return (Array.isArray(value) &&
         value.some((item) => isAuthorElement(item) || isValidElement(item)));
 };
-const itemsFromBrand = (children, field, env) => flattenChildren(children).map((child) => itemFromElement(child, field, env));
-const itemFromElement = (child, field, env) => {
-    const element = requireAuthorElement(child, field.childType);
+/** The field's array of items, or its one item; throws on a second element for a single-item field. */
+const valueFromBrand = (elements, field, env, owner) => {
+    const items = elements.map((child) => itemFromElement(child, field, env, owner));
+    if (field.array) {
+        return items;
+    }
+    if (items.length > 1) {
+        throw new IsomerError('UNEXPECTED_CHILDREN', `"${field.field}" takes one <${capitalize(memberType(owner, field))}>, not ${items.length}.`);
+    }
+    return items[0];
+};
+const itemFromElement = (child, field, env, owner) => {
+    const element = requireAuthorElement(child, memberType(owner, field));
     if (field.toItem) {
         return field.toItem(element.props, {
             parseChildren: (nested) => flattenChildren(nested).map((node) => bodyNodeFromElement(node, env)),
         });
     }
     const props = withoutChildren(element);
-    const nestedChildren = element.props.children;
+    const nested = flattenChildren(element.props.children);
+    const elements = nested.filter(isAuthorElement);
+    const text = nested.filter((child) => !isAuthorElement(child));
     if (field.textField !== undefined &&
         props[field.textField] === undefined &&
-        nestedChildren !== undefined &&
-        !hasAuthorElement(nestedChildren)) {
-        props[field.textField] = textFromChildren(nestedChildren);
+        text.length > 0) {
+        props[field.textField] = textFromChildren(text);
     }
-    fillNestedBrands(field.itemSchema, props, nestedChildren, env);
+    fillNestedBrands(field.itemSchema, props, elements, env, owner, capitalize(memberType(owner, field)));
     return props;
 };
-const fillNestedBrands = (itemSchema, props, children, env) => {
-    if (children === undefined) {
+const fillNestedBrands = (itemSchema, props, elements, env, owner, parent) => {
+    if (elements.length === 0) {
         return;
     }
-    const spec = readAuthoredSpec(itemSchema);
-    for (const field of spec.children) {
+    const fields = readAuthoredSpec(itemSchema).children;
+    const claimed = new Set();
+    for (const field of fields) {
         if (props[field.field] !== undefined) {
             continue;
         }
-        const matching = flattenChildren(children).filter((child) => isAuthorElement(child) && getAuthorType(child) === field.childType);
-        if (matching.length === 0) {
-            continue;
+        const matching = elements.filter((child) => getAuthorType(child) === memberType(owner, field));
+        if (matching.length > 0) {
+            matching.forEach((child) => claimed.add(child));
+            props[field.field] = valueFromBrand(matching, field, env, owner);
         }
-        props[field.field] = matching.map((child) => itemFromElement(child, field, env));
     }
+    const [stray] = elements.filter((child) => !claimed.has(child));
+    if (stray) {
+        const strayType = getAuthorType(stray);
+        const held = fields.some((field) => memberType(owner, field) === strayType);
+        throw new IsomerError('UNEXPECTED_CHILDREN', held
+            ? `<${parent}> already has its <${capitalize(strayType)}>.`
+            : `<${capitalize(strayType)}> is not a child of <${parent}>.`);
+    }
+};
+/** The slot's nodes, or its one node; throws on a second node for a single-node slot. */
+const slotValue = (nodes, { array, field }) => {
+    if (array) {
+        return nodes;
+    }
+    if (nodes.length > 1) {
+        throw new IsomerError('UNEXPECTED_CHILDREN', `"${field}" takes one node, not ${nodes.length}.`);
+    }
+    return nodes[0];
 };
-const hasAuthorElement = (children) => flattenChildren(children).some((child) => isAuthorElement(child));
 const convertPropValue = (value, field, slots, parseChild) => {
-    const asArray = slots.some((slot) => slot.field === field && slot.array);
+    const array = slots.some((slot) => slot.field === field && slot.array);
     const fromJsx = nodesFromJsx(value, parseChild);
     if (fromJsx) {
-        return asArray ? fromJsx : fromJsx[0];
+        return slotValue(fromJsx, { array, field });
     }
     if (Array.isArray(value)) {
         return value.flatMap((item) => {
@@ -250,51 +284,6 @@ const isAuthorElement = (value) => {
     const component = value.type;
     return typeof component[authorType] === 'string';
 };
-/**
- * Reads {@link PrimitiveDefinition.children} against a probe node so JSX can
- * fill the same fields a tree walk would visit. Paths like `body[0]` are array
- * slots; a bare `header` is a single nested node.
- */
-const inferChildSlots = (children) => {
-    if (typeof children !== 'function') {
-        return [];
-    }
-    const probeNode = { type: '__probe__' };
-    const node = new Proxy({}, {
-        get(_target, prop) {
-            if (prop === 'type') {
-                return probeNode.type;
-            }
-            return [probeNode];
-        },
-    });
-    try {
-        const refs = children(node);
-        if (!Array.isArray(refs)) {
-            return [];
-        }
-        const byField = new Map();
-        for (const ref of refs) {
-            if (!isChildRef(ref)) {
-                continue;
-            }
-            const field = /^[A-Za-z_]\w*/.exec(ref.path)?.[0];
-            if (!field) {
-                continue;
-            }
-            byField.set(field, byField.get(field) === true || /\[\d+\]/.test(ref.path));
-        }
-        return [...byField.entries()].map(([field, array]) => ({ array, field }));
-    }
-    catch {
-        return [];
-    }
-};
-const isChildRef = (value) => typeof value === 'object' &&
-    value !== null &&
-    'path' in value &&
-    typeof value.path === 'string';
-const capitalize = (value) => `${value.slice(0, 1).toUpperCase()}${value.slice(1)}`;
 /** React children as a flat array, with fragments inlined. */
 export const flattenChildren = (children) => Children.toArray(children).flatMap((child) => {
     if (isValidElement(child) && child.type === Fragment) {
@@ -303,8 +292,24 @@ export const flattenChildren = (children) => Children.toArray(children).flatMap(
     }
     return child;
 });
+const lineBreak = /\r\n|[\n\r\u2028\u2029]/;
+// A template literal's source: the break after the opening backtick, the
+// indentation before the closing one, and the indentation every line shares go.
+const dedentSource = (text) => {
+    const all = text.split(lineBreak);
+    const start = all.length > 1 && all[0] === '' ? 1 : 0;
+    const end = all.length - start > 1 && /^ *$/.test(all[all.length - 1])
+        ? all.length - 1
+        : all.length;
+    const lines = all.slice(start, end);
+    const indents = lines
+        .filter((line) => line.trim() !== '')
+        .map((line) => line.length - line.trimStart().length);
+    const shared = indents.length > 0 ? Math.min(...indents) : 0;
+    return lines.map((line) => line.slice(shared)).join('\n');
+};
 /**
- * Children joined into one string. Throws on an element child, so a prop typed as text stays text. Collapses whitespace unless `{ collapseWhitespace: false }`.
+ * Children joined into one string. Throws on an element child, so a prop typed as text stays text. Collapses whitespace unless `{ collapseWhitespace: false }`; `{ dedent: true }` reads it as source, lines joined by `\n`.
  */
 export const textFromChildren = (children, options) => {
     const text = flattenChildren(children)
@@ -315,6 +320,9 @@ export const textFromChildren = (children, options) => {
         throw new IsomerError('EXPECTED_TEXT_CHILDREN', 'Expected text children.');
     })
         .join('');
+    if (options?.dedent) {
+        return dedentSource(text);
+    }
     if (options?.collapseWhitespace === false) {
         return text.trim();
     }