@jigs.design/host 0.1.2 → 0.3.0

package/README.md

@@ -1,6 +1,6 @@
 # @jigs.design/host
 
-Defines a host: the contract between your product and the model. A host lists the components a spec may draw, the recipes built from them, the procedures it may call, the image hosts it may load from, and the design guidance and situations the model designs by. It holds schemas, not the code that runs a procedure.
+Defines a host: the contract between your product and the model. A host lists the components a spec may draw, the jigs written from them (tags the model may use, pages the product serves), the procedures it may call, the image hosts it may load from, and the design guidance and situations the model designs by. It holds schemas, not the code that runs a procedure.
 
 Import it from server code and config. No browser package imports it; the browser imports `ActionEvent` as a type at most.
 
@@ -28,25 +28,25 @@ export const host = defineHost({
 
 ## Exports
 
-| Export                                                                                                | What it is                                                                                          |
-| ----------------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------- |
-| `defineHost`                                                                                          | Builds a host from `components`, `procedures`, `recipes`, `imageHosts`, `guidance` and `situations` |
-| `query`, `mutation`, `action`                                                                         | The three kinds of procedure. An action is handled by the embedding page                            |
-| `recipe`                                                                                              | A compound component written in Jigs from catalog components                                        |
-| `situation`                                                                                           | Design guidance for when the reader has a given job, with a checked example                         |
-| `defineCatalog`, `defineComponent`                                                                    | Build your own catalog                                                                              |
-| `string`, `number`, `boolean`, `oneOf`, `handler`, `image`, `link`, `list`, `block`, `inline`, `none` | Prop and children builders for components                                                           |
-| `contentSecurityPolicy`                                                                               | The page's `frame-src` and `img-src` directives, merged into yours                                  |
-| `CatalogProps`, `PropsOf`, `ActionEvent`                                                              | Types for a registry and for a page's `onAction`                                                    |
+| Export                                                                                                | What it is                                                                                                 |
+| ----------------------------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------- |
+| `defineHost`                                                                                          | Builds a host from `components`, `procedures`, `jigs`, `imageHosts`, `guidance` and `situations`           |
+| `query`, `mutation`, `action`                                                                         | The three kinds of procedure. An action is handled by the embedding page                                   |
+| `jig`                                                                                                 | A tag or a page written in Jigs from catalog components                                                    |
+| `situation`                                                                                           | Design guidance for when the reader has a given job, with a checked example                                |
+| `defineCatalog`, `defineComponent`                                                                    | Build your own catalog                                                                                     |
+| `string`, `number`, `boolean`, `oneOf`, `handler`, `image`, `link`, `list`, `block`, `inline`, `none` | Prop and children builders for components                                                                  |
+| `contentSecurityPolicy`                                                                               | The page's `frame-src`, `img-src` and, for an endpoint on another origin, `connect-src`, merged into yours |
+| `CatalogProps`, `PropsOf`, `ActionEvent`                                                              | Types for a registry and for a page's `onAction`                                                           |
 
 ## Source
 
 - `src/host.ts`: `defineHost`, `contentSecurityPolicy` and `ActionEvent`.
 - `src/catalog.ts`: catalogs, components and the prop builders.
 - `src/procedures.ts`: `query`, `mutation`, `action` and invalidation scopes.
-- `src/recipes.ts`: `recipe`, compiled against the host's catalog.
+- `src/jigs.ts`: `jig`, `DefineName` and `PageName`; the server compiles jigs against the host's catalog.
 - `src/guidance.ts`: `situation` and the design guidance types; the host's replace the catalog's.
 
 ## Docs
 
-[Host](../../apps/docs/docs/host/index.mdx), [Catalog](../../apps/docs/docs/host/catalog.mdx), [Recipes](../../apps/docs/docs/host/recipes.mdx), [Design guidance](../../apps/docs/docs/host/guidance.mdx), [Queries](../../apps/docs/docs/host/queries.mdx), [Mutations](../../apps/docs/docs/host/mutations.mdx), [Actions](../../apps/docs/docs/host/actions.mdx).
+[Host](../../apps/docs/docs/host/index.mdx), [Catalog](../../apps/docs/docs/host/catalog.mdx), [Jigs](../../apps/docs/docs/host/jigs.mdx), [Design guidance](../../apps/docs/docs/host/guidance.mdx), [Queries](../../apps/docs/docs/host/queries.mdx), [Mutations](../../apps/docs/docs/host/mutations.mdx), [Actions](../../apps/docs/docs/host/actions.mdx).

package/dist/catalog.d.ts

@@ -1,5 +1,5 @@
 import { DesignGuidance, GuidanceInput, SituationDefinition } from "./guidance.js";
-import { ChildrenKind, ComponentSchema, PropSchema, Row } from "@jigs.design/runtime";
+import { ChildrenKind, ComponentSchema, PropSchema, Row } from "@jigs.design/protocol";
 //#region src/catalog.d.ts
 /**
  * One prop of a catalog component. `schema` is what the browser checks;

package/dist/guidance.d.ts

@@ -3,7 +3,7 @@
  * Design guidance: how to design a good UI with a catalog, not only a valid
  * one. Foundations apply to every UI; a situation applies when its `when`
  * matches what the reader will do with the UI. See
- * `docs/design-guidance/rfc.md`.
+ * `.agent-docs/notes/design-guidance-2026-10.md`.
  */
 /** Guidance for every placement (`shared`), and for one prompt mode each. */
 export interface DesignGuidance {

package/dist/host.d.ts

@@ -1,17 +1,21 @@
 import { DesignGuidance, GuidanceInput, SituationDefinition } from "./guidance.js";
 import { Catalog } from "./catalog.js";
 import { ActionDefinition, MutationDefinition, Parsed, Procedures, QueryDefinition } from "./procedures.js";
-import { RecipeDefinition } from "./recipes.js";
+import { JigDefinition } from "./jigs.js";
 import { z } from "zod";
 //#region src/host.d.ts
-export interface Host<TProcedures extends Procedures = Procedures, TCatalog extends Catalog = Catalog> {
+export interface Host<TProcedures extends Procedures = Procedures, TCatalog extends Catalog = Catalog, TJigs extends ReadonlyArray<JigDefinition> = ReadonlyArray<JigDefinition>> {
   components: TCatalog;
   /** The host's design guidance, or the catalog's when the host sets none. */
   guidance: DesignGuidance;
   imageHosts: ReadonlyArray<string>;
+  /**
+   * Jigs written for this host: tags the model may write, pages the
+   * product serves, or both. The server compiles them at startup, in
+   * order: a jig may use the ones before it.
+   */
+  jigs: TJigs;
   procedures: TProcedures;
-  /** Compound components written in Jigs; the server checks them at startup. */
-  recipes: ReadonlyArray<RecipeDefinition>;
   /** The host's situations, or the catalog's when the host sets none. */
   situations: ReadonlyArray<SituationDefinition>;
 }
@@ -44,21 +48,23 @@ type CheckedProcedures<TProcedures extends Procedures> = { readonly [K in keyof
 /**
  * The product's boundary with the spec. Throws at startup when a schema has
  * no JSON form, `invalidates` names something that is not a query, a
- * procedure name is not an identifier, an image host is malformed, or a
- * situation name is not kebab-case or is listed twice.
+ * procedure name is not an identifier, an image host is malformed, a
+ * situation name is not kebab-case or is listed twice, or a jig is listed
+ * twice or has a component's name.
  *
  * `guidance` and `situations` replace the catalog's when set; to extend the
  * catalog's, spread them in.
  */
-export declare function defineHost<const TProcedures extends Procedures, const TCatalog extends Catalog>(definition: {
+export declare function defineHost<const TProcedures extends Procedures, const TCatalog extends Catalog, const TJigs extends ReadonlyArray<JigDefinition> = readonly []>(definition: {
   components: TCatalog;
   /** A string for every placement, or `{ shared, chat, document }`. */
   guidance?: GuidanceInput;
   imageHosts?: ReadonlyArray<string>;
+  /** Tags and pages written in Jigs, from `jig()`. */
+  jigs?: TJigs;
   procedures: TProcedures & CheckedProcedures<TProcedures>;
-  recipes?: ReadonlyArray<RecipeDefinition>;
   situations?: ReadonlyArray<SituationDefinition>;
-}): Host<TProcedures, TCatalog>;
+}): Host<TProcedures, TCatalog, TJigs>;
 /** A policy as directive names and their sources, e.g. `{ "img-src": ["'self'"] }`. */
 export type PolicyDirectives = Readonly<Record<string, ReadonlyArray<string>>>;
 /** The embedding page's policy, and where it must not be sent. */
@@ -76,8 +82,9 @@ export interface PagePolicy {
 }
 /**
  * The embedding page's policy: the page's own `directives` plus what Jigs
- * needs, `frame-src` for the sandbox frame and `img-src` for the host's image
- * hosts. Send `header` on every response `appliesTo` accepts; the endpoint's
+ * needs, `frame-src` for the sandbox frame, `img-src` for the host's image
+ * hosts, and `connect-src` for an endpoint on another origin, which calls,
+ * turns and the push stream fetch. Send `header` on every response `appliesTo` accepts; the endpoint's
  * frame carries its own policy, and a page policy sent there replaces it.
  */
 export declare function contentSecurityPolicy(host: Host, options: {

package/dist/host.js

@@ -1,6 +1,6 @@
 import { checkSituations, normalizeGuidance } from "./guidance.js";
 import { isCallPolicy } from "./procedures.js";
-import { isImageHostEntry, normalizeImageHost } from "@jigs.design/runtime";
+import { isImageHostEntry, normalizeImageHost } from "@jigs.design/protocol";
 import { z } from "zod";
 //#region src/host.ts
 const PROCEDURE_NAME = /^[A-Za-z][A-Za-z0-9_]*$/;
@@ -14,23 +14,24 @@ function checkJsonSchema(label, schema) {
 /**
 * The product's boundary with the spec. Throws at startup when a schema has
 * no JSON form, `invalidates` names something that is not a query, a
-* procedure name is not an identifier, an image host is malformed, or a
-* situation name is not kebab-case or is listed twice.
+* procedure name is not an identifier, an image host is malformed, a
+* situation name is not kebab-case or is listed twice, or a jig is listed
+* twice or has a component's name.
 *
 * `guidance` and `situations` replace the catalog's when set; to extend the
 * catalog's, spread them in.
 */
 function defineHost(definition) {
 	const { procedures } = definition;
-	const recipes = definition.recipes ?? [];
+	const jigs = definition.jigs ?? [];
 	const situations = definition.situations ?? definition.components.situations;
 	checkSituations(situations);
 	const components = new Set(definition.components.components.map((component) => component.name));
-	const recipeNames = /* @__PURE__ */ new Set();
-	for (const entry of recipes) {
-		if (components.has(entry.name)) throw new Error(`Recipe "${entry.name}" has the name of a catalog component`);
-		if (recipeNames.has(entry.name)) throw new Error(`Recipe "${entry.name}" is listed twice`);
-		recipeNames.add(entry.name);
+	const jigNames = /* @__PURE__ */ new Set();
+	for (const entry of jigs) {
+		if (components.has(entry.name)) throw new Error(`Jig "${entry.name}" has the name of a catalog component`);
+		if (jigNames.has(entry.name)) throw new Error(`Jig "${entry.name}" is listed twice`);
+		jigNames.add(entry.name);
 	}
 	for (const [name, procedure] of Object.entries(procedures)) {
 		if (!PROCEDURE_NAME.test(name)) throw new Error(`Procedure name "${name}" must be an identifier: letters, digits and underscores, starting with a letter`);
@@ -51,8 +52,8 @@ function defineHost(definition) {
 		components: definition.components,
 		guidance: definition.guidance === void 0 ? definition.components.guidance : normalizeGuidance(definition.guidance),
 		imageHosts,
+		jigs,
 		procedures,
-		recipes,
 		situations
 	};
 }
@@ -65,7 +66,11 @@ function endpointSource(endpoint) {
 * Where a directive Jigs adds takes its sources from when the page has not
 * set it: once the directive exists, the browser stops falling back.
 */
-const FALLBACKS = /* @__PURE__ */ new Map([["frame-src", ["child-src", "default-src"]], ["img-src", ["default-src"]]]);
+const FALLBACKS = /* @__PURE__ */ new Map([
+	["connect-src", ["default-src"]],
+	["frame-src", ["child-src", "default-src"]],
+	["img-src", ["default-src"]]
+]);
 /** Adds `extra` to `directives`, keeping each source once and dropping a `'none'` that now has company. */
 function mergeDirectives(directives, extra) {
 	const merged = new Map(Object.entries(directives).map(([name, sources]) => [name, [...sources]]));
@@ -79,16 +84,16 @@ function mergeDirectives(directives, extra) {
 }
 /**
 * The embedding page's policy: the page's own `directives` plus what Jigs
-* needs, `frame-src` for the sandbox frame and `img-src` for the host's image
-* hosts. Send `header` on every response `appliesTo` accepts; the endpoint's
+* needs, `frame-src` for the sandbox frame, `img-src` for the host's image
+* hosts, and `connect-src` for an endpoint on another origin, which calls,
+* turns and the push stream fetch. Send `header` on every response `appliesTo` accepts; the endpoint's
 * frame carries its own policy, and a page policy sent there replaces it.
 */
 function contentSecurityPolicy(host, options) {
-	const directives = mergeDirectives(options.directives ?? {}, {
-		"frame-src": [endpointSource(options.endpoint)],
-		"img-src": ["'self'", ...host.imageHosts.map((entry) => `https://${entry}`)]
-	});
 	const absolute = !options.endpoint.startsWith("/");
+	const needed = /* @__PURE__ */ new Map([["frame-src", [endpointSource(options.endpoint)]], ["img-src", ["'self'", ...host.imageHosts.map((entry) => `https://${entry}`)]]]);
+	if (absolute) needed.set("connect-src", [endpointSource(options.endpoint)]);
+	const directives = mergeDirectives(options.directives ?? {}, Object.fromEntries(needed));
 	const endpoint = new URL(options.endpoint, "https://page.invalid");
 	const path = endpoint.pathname.replace(/\/$/, "");
 	return {

package/dist/index.d.ts

@@ -1,6 +1,6 @@
 import { DesignGuidance, GuidanceInput, SituationDefinition, situation } from "./guidance.js";
 import { Catalog, CatalogProps, ComponentDefinition, ComponentDesign, ComponentNamed, PropDefinition, PropDefinitions, PropsOf, block, boolean, componentSchema, defineCatalog, defineComponent, handler, image, inline, link, list, none, number, oneOf, string } from "./catalog.js";
 import { ActionDefinition, CallPolicy, InputOf, InvalidationScope, InvalidationScopes, MutationDefinition, OutputOf, ProcedureDefinition, Procedures, Projection, QueryDefinition, action, dataSchema, isCallPolicy, mutation, query } from "./procedures.js";
-import { RecipeDefinition, recipe } from "./recipes.js";
+import { DefineName, JigDefinition, PageName, jig } from "./jigs.js";
 import { ActionEvent, Host, PagePolicy, PolicyDirectives, contentSecurityPolicy, defineHost } from "./host.js";
-export { type ActionDefinition, type ActionEvent, type CallPolicy, type Catalog, type CatalogProps, type ComponentDefinition, type ComponentDesign, type ComponentNamed, type DesignGuidance, type GuidanceInput, type Host, type InputOf, type InvalidationScope, type InvalidationScopes, type MutationDefinition, type OutputOf, type PagePolicy, type PolicyDirectives, type ProcedureDefinition, type Procedures, type Projection, type PropDefinition, type PropDefinitions, type PropsOf, type QueryDefinition, type RecipeDefinition, type SituationDefinition, action, block, boolean, componentSchema, contentSecurityPolicy, dataSchema, defineCatalog, defineComponent, defineHost, handler, image, inline, isCallPolicy, link, list, mutation, none, number, oneOf, query, recipe, situation, string };
+export { type ActionDefinition, type ActionEvent, type CallPolicy, type Catalog, type CatalogProps, type ComponentDefinition, type ComponentDesign, type ComponentNamed, type DefineName, type DesignGuidance, type GuidanceInput, type Host, type InputOf, type InvalidationScope, type InvalidationScopes, type JigDefinition, type MutationDefinition, type OutputOf, type PageName, type PagePolicy, type PolicyDirectives, type ProcedureDefinition, type Procedures, type Projection, type PropDefinition, type PropDefinitions, type PropsOf, type QueryDefinition, type SituationDefinition, action, block, boolean, componentSchema, contentSecurityPolicy, dataSchema, defineCatalog, defineComponent, defineHost, handler, image, inline, isCallPolicy, jig, link, list, mutation, none, number, oneOf, query, situation, string };

package/dist/index.js

@@ -2,5 +2,5 @@ import { situation } from "./guidance.js";
 import { block, boolean, componentSchema, defineCatalog, defineComponent, handler, image, inline, link, list, none, number, oneOf, string } from "./catalog.js";
 import { action, dataSchema, isCallPolicy, mutation, query } from "./procedures.js";
 import { contentSecurityPolicy, defineHost } from "./host.js";
-import { recipe } from "./recipes.js";
-export { action, block, boolean, componentSchema, contentSecurityPolicy, dataSchema, defineCatalog, defineComponent, defineHost, handler, image, inline, isCallPolicy, link, list, mutation, none, number, oneOf, query, recipe, situation, string };
+import { jig } from "./jigs.js";
+export { action, block, boolean, componentSchema, contentSecurityPolicy, dataSchema, defineCatalog, defineComponent, defineHost, handler, image, inline, isCallPolicy, jig, link, list, mutation, none, number, oneOf, query, situation, string };

package/dist/jigs.d.ts

@@ -0,0 +1,56 @@
+//#region src/jigs.d.ts
+/**
+ * A jig: one named piece of Jigs source the product writes, listed on the
+ * host. A jig the model may write by name is a **tag** (it has a
+ * `description`); one the product serves compiled, by name and with props,
+ * is a **page** (`page: true`). A jig may be both. Because it is written in
+ * catalog tags, it runs on every renderer whose catalog has those tags, and
+ * the server checks it against the host at startup.
+ */
+export interface JigDefinition<TName extends string = string, TPage extends boolean = boolean> {
+  /** One line for the model: when to reach for this tag. Set on every tag. */
+  description?: string;
+  /** A one-line use, shown to the model. */
+  example?: string;
+  /** "define": one top-level `<define>` with props. "document": a whole document with none. */
+  kind: "define" | "document";
+  /** The define's name, or the name a document jig was given. */
+  name: TName;
+  /** Served compiled by `jigs.page(name, props)`. */
+  page: TPage;
+  /** Jigs source; it may start with a pragma line such as `{@jigs 0 catalog=3}`. */
+  source: string;
+  /** The model may write it by name: true when it has a `description`. */
+  tag: boolean;
+}
+/**
+ * The name of the `<define>` in a source written as a literal, or `string`
+ * when the type cannot read it (a source built with `${}`, or a braced
+ * name). The runtime always reads the name from the source itself.
+ */
+export type DefineName<TSource extends string> = TSource extends `${string}<define${string}name="${infer N}"${string}` ? N : TSource extends `${string}<define${string}name='${infer N}'${string}` ? N : string;
+/** The names of the pages among `TJigs`, for `jigs.page`. */
+export type PageName<TJigs extends ReadonlyArray<JigDefinition>> = Extract<TJigs[number], {
+  page: true;
+}>["name"];
+/**
+ * A jig whose source is one `<define>`: named by it. A `description` makes
+ * it a tag the model may write; `page: true` makes it a page the product
+ * serves with props.
+ */
+export declare function jig<const TSource extends string, const TPage extends boolean = false>(definition: {
+  description?: string;
+  example?: string;
+  page?: TPage;
+  source: TSource;
+}): JigDefinition<DefineName<TSource>, TPage>;
+/**
+ * A jig whose source is a whole document, such as a pinned chat block: named
+ * here, since it has no `<define>`, and always a page.
+ */
+export declare function jig<const TName extends string>(definition: {
+  name: TName;
+  page?: true;
+  source: string;
+}): JigDefinition<TName, true>;
+//#endregion

package/dist/jigs.js

@@ -0,0 +1,117 @@
+//#region src/jigs.ts
+/** Tag names compile to bindings in the program. */
+const TAG_NAME = /^[a-z][A-Za-z0-9]*$/;
+/** A document jig's name is a chat block's id, so a pinned block keeps it. */
+const DOCUMENT_NAME = /^[a-z][a-z0-9-]*$/;
+const PRAGMA = /^\{@jigs\s+\d+(?:\s+catalog=\d+)?\}[ \t]*(?:\r?\n|$)/;
+const DEFINE_TAG = /<define(?=[\s/>])/g;
+const ATTR_NAME = /[A-Za-z_][\w-]*/y;
+/** Index just past the `}` matching the `{` at `start`, or -1 if unbalanced. */
+function skipBraced(source, start) {
+	let depth = 0;
+	let quote = null;
+	for (let index = start; index < source.length; index++) {
+		const char = source.charAt(index);
+		if (quote !== null) {
+			if (char === "\\") index++;
+			else if (char === quote) quote = null;
+		} else if (char === "\"" || char === "'" || char === "`") quote = char;
+		else if (char === "{") depth++;
+		else if (char === "}") {
+			depth--;
+			if (depth === 0) return index + 1;
+		}
+	}
+	return -1;
+}
+/** A literal attribute value: `"x"`, `'x'` or `{"x"}`. */
+function literal(value) {
+	const quoted = /^\s*\{?\s*(?:"([^"\\]*)"|'([^'\\]*)')\s*\}?\s*$/.exec(value);
+	return quoted === null ? null : quoted[1] ?? quoted[2] ?? null;
+}
+/**
+* The `name` attribute of the opening tag at `start`, read the way the
+* compiler reads it. The compiler checks the whole source again at startup.
+*/
+function nameAttribute(source, start) {
+	let cursor = start + 7;
+	while (cursor < source.length) {
+		const char = source.charAt(cursor);
+		if (/\s/.test(char)) {
+			cursor++;
+			continue;
+		}
+		if (char === ">" || char === "/") return null;
+		ATTR_NAME.lastIndex = cursor;
+		const attr = ATTR_NAME.exec(source)?.[0];
+		if (attr === void 0) return null;
+		cursor += attr.length;
+		if (source.charAt(cursor) !== "=") continue;
+		cursor++;
+		const opener = source.charAt(cursor);
+		let end;
+		if (opener === "\"" || opener === "'") end = source.indexOf(opener, cursor + 1) + 1;
+		else if (opener === "{") end = skipBraced(source, cursor);
+		else return null;
+		if (end <= 0) return null;
+		if (attr === "name") return literal(source.slice(cursor, end));
+		cursor = end;
+	}
+	return null;
+}
+/**
+* The start of the one top-level `<define>` when `source` is that define and
+* nothing else but whitespace and a leading pragma line; null for a
+* document. A scan, not a parse: the compiler checks the source again at
+* startup.
+*/
+function defineStart(source) {
+	const pragma = PRAGMA.exec(source)?.[0].length ?? 0;
+	const starts = [...source.matchAll(DEFINE_TAG)].map((match) => match.index);
+	const [start] = starts;
+	const close = source.lastIndexOf("</define>");
+	if (start === void 0 || starts.length > 1 || close === -1 || source.slice(pragma, start).trim() !== "" || source.slice(close + 9).trim() !== "") return null;
+	return start;
+}
+/** The name of a define jig, read the way the compiler reads it. */
+function defineName(source, start) {
+	const name = nameAttribute(source, start);
+	if (name === null) throw new Error("A jig's <define> needs a literal name, e.g. <define name=\"orderRow\">");
+	if (!TAG_NAME.test(name)) throw new Error(`Jig name "${name}" must start with a lowercase letter and use letters and digits only`);
+	return name;
+}
+function jig(definition) {
+	const start = defineStart(definition.source);
+	if (start === null) return documentJig(definition);
+	const name = defineName(definition.source, start);
+	if (definition.name !== void 0) throw new Error(`Jig "${name}" has a <define>, which names it: remove name: "${definition.name}"`);
+	const page = definition.page ?? false;
+	const tag = definition.description !== void 0;
+	if (!tag && !page) throw new Error(`Jig "${name}" is neither a tag nor a page: give it a description for the model, or page: true`);
+	const built = {
+		kind: "define",
+		name,
+		page,
+		source: definition.source,
+		tag
+	};
+	if (definition.description !== void 0) built.description = definition.description;
+	if (definition.example !== void 0) built.example = definition.example;
+	return built;
+}
+function documentJig(definition) {
+	const { name } = definition;
+	if (name === void 0) throw new Error("A jig whose source is not one <define> is a document and needs a name, e.g. jig({ name: \"monthly-spending\", source })");
+	if (!DOCUMENT_NAME.test(name)) throw new Error(`Jig name "${name}" must be kebab-case: a lowercase letter, then lowercase letters, digits and hyphens`);
+	if (definition.description !== void 0) throw new Error(`Jig "${name}" is a document, and only a <define> can be a tag: wrap it in <define name="…"> to make one`);
+	if (definition.page === false) throw new Error(`Jig "${name}" is a document, which can only be a page: drop page: false`);
+	return {
+		kind: "document",
+		name,
+		page: true,
+		source: definition.source,
+		tag: false
+	};
+}
+//#endregion
+export { jig };

package/dist/procedures.d.ts

@@ -1,4 +1,4 @@
-import { JsonValue } from "@jigs.design/runtime";
+import { JsonValue } from "@jigs.design/protocol";
 import { z } from "zod";
 //#region src/procedures.d.ts
 /**

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@jigs.design/host",
-  "version": "0.1.2",
+  "version": "0.3.0",
   "description": "Define a host: the catalog a spec may draw, the procedures it may call, and the image hosts.",
   "license": "MIT",
   "repository": {
@@ -25,7 +25,7 @@
     "access": "public"
   },
   "dependencies": {
-    "@jigs.design/runtime": "0.1.2"
+    "@jigs.design/protocol": "0.3.0"
   },
   "peerDependencies": {
     "zod": "^4.0.0"

package/dist/recipes.d.ts

@@ -1,24 +0,0 @@
-//#region src/recipes.d.ts
-/**
- * A recipe: a compound component the product writes in Jigs, from catalog
- * components and other recipes. The model uses it like any tag. Because it is
- * written in catalog tags, it runs on every renderer whose catalog has those
- * tags, and the server checks it against the host at startup.
- */
-export interface RecipeDefinition {
-  /** One line: when the model should reach for this recipe. */
-  description: string;
-  /** A one-line use, shown to the model. */
-  example?: string;
-  /** The name of the `<define>` in `source`. */
-  name: string;
-  /** Jigs source with exactly one `<define name="…">`. */
-  source: string;
-}
-/** A recipe named by the `<define>` in its source. */
-export declare function recipe(definition: {
-  description: string;
-  example?: string;
-  source: string;
-}): RecipeDefinition;
-//#endregion

package/dist/recipes.js

@@ -1,79 +0,0 @@
-//#region src/recipes.ts
-const RECIPE_NAME = /^[a-z][A-Za-z0-9]*$/;
-const DEFINE_TAG = /<define(?=[\s/>])/g;
-const ATTR_NAME = /[A-Za-z_][\w-]*/y;
-/** Index just past the `}` matching the `{` at `start`, or -1 if unbalanced. */
-function skipBraced(source, start) {
-	let depth = 0;
-	let quote = null;
-	for (let index = start; index < source.length; index++) {
-		const char = source.charAt(index);
-		if (quote !== null) {
-			if (char === "\\") index++;
-			else if (char === quote) quote = null;
-		} else if (char === "\"" || char === "'" || char === "`") quote = char;
-		else if (char === "{") depth++;
-		else if (char === "}") {
-			depth--;
-			if (depth === 0) return index + 1;
-		}
-	}
-	return -1;
-}
-/** A literal attribute value: `"x"`, `'x'` or `{"x"}`. */
-function literal(value) {
-	const quoted = /^\s*\{?\s*(?:"([^"\\]*)"|'([^'\\]*)')\s*\}?\s*$/.exec(value);
-	return quoted === null ? null : quoted[1] ?? quoted[2] ?? null;
-}
-/**
-* The `name` attribute of the opening tag at `start`, read the way the
-* compiler reads it. The compiler checks the whole source again at startup.
-*/
-function nameAttribute(source, start) {
-	let cursor = start + 7;
-	while (cursor < source.length) {
-		const char = source.charAt(cursor);
-		if (/\s/.test(char)) {
-			cursor++;
-			continue;
-		}
-		if (char === ">" || char === "/") return null;
-		ATTR_NAME.lastIndex = cursor;
-		const attr = ATTR_NAME.exec(source)?.[0];
-		if (attr === void 0) return null;
-		cursor += attr.length;
-		if (source.charAt(cursor) !== "=") continue;
-		cursor++;
-		const opener = source.charAt(cursor);
-		let end;
-		if (opener === "\"" || opener === "'") end = source.indexOf(opener, cursor + 1) + 1;
-		else if (opener === "{") end = skipBraced(source, cursor);
-		else return null;
-		if (end <= 0) return null;
-		if (attr === "name") return literal(source.slice(cursor, end));
-		cursor = end;
-	}
-	return null;
-}
-/** The name of the one `<define>` in a recipe's source. */
-function defineName(source) {
-	const starts = [...source.matchAll(DEFINE_TAG)].map((match) => match.index);
-	const [start] = starts;
-	if (start === void 0 || starts.length > 1) throw new Error(`A recipe's source must contain exactly one <define>; found ${starts.length}`);
-	const name = nameAttribute(source, start);
-	if (name === null) throw new Error("A recipe's <define> needs a literal name, e.g. <define name=\"orderRow\">");
-	if (!RECIPE_NAME.test(name)) throw new Error(`Recipe name "${name}" must start with a lowercase letter and use letters and digits only`);
-	return name;
-}
-/** A recipe named by the `<define>` in its source. */
-function recipe(definition) {
-	const built = {
-		description: definition.description,
-		name: defineName(definition.source),
-		source: definition.source
-	};
-	if (definition.example !== void 0) built.example = definition.example;
-	return built;
-}
-//#endregion
-export { recipe };