@texuli/spec 0.4.0 → 0.6.0

package/README.md

@@ -14,9 +14,14 @@ by Texuli's Kotlin Multiplatform twin. The package is framework-free: no
 DOM, no Svelte, no Node APIs and no runtime dependencies.
 
 > **Status: 0.x release.** Texuli is in development. The packages are
-> published to npm as `0.4.0`, a pre-1.0 release (1.0.0 will be the first
-> stable release). Under 0.x, a new minor (`0.5.0`) may contain breaking
-> changes, so pin the exact version or use `^0.4.0`, which accepts only 0.4.x.
+> published to npm as `0.6.0`, a pre-1.0 release (1.0.0 will be the first
+> stable release). Under 0.x, a new minor (`0.7.0`) may contain breaking
+> changes, so pin the exact version or use `^0.6.0`, which accepts only 0.6.x.
+
+> **New in `0.6.0`.** `@texuli/spec@0.6.0` carries **spec 0.6.0**: the
+> closed motion vocabulary (`@texuli/spec/motion`, below), and the new
+> `@texuli/spec/stream` subpath reads streamed blueprints. Every `0.5.0`
+> envelope migrates by stamping `spec`.
 
 > **New in `0.4.0`.** `@texuli/spec@0.4.0` carries **spec 0.4.0**: spec
 > 0.3.0 (state, bindings, closed actions, `reorder`, workflow graphs), spec
@@ -56,7 +61,7 @@ import {
   validateInstance,
 } from '@texuli/spec';
 
-SPEC_VERSION;                         // the spec version: '0.4.0'
+SPEC_VERSION;                         // the spec version: '0.6.0' in @texuli/spec@0.6.0
 SPEC_COMPONENT_IDS.includes('alert'); // true: the closed component vocabulary
 
 // The dialect validator: a closed subset of JSON Schema 2020-12.
@@ -88,7 +93,7 @@ import { type Schema, type SpecCatalog, validateBlueprint } from '@texuli/spec';
 import { migrateBlueprint } from '@texuli/spec/migrate';
 import { validateWorkflowGraph } from '@texuli/spec/workflow';
 
-const migrated = migrateBlueprint(blueprint); // 0.2.0 → 0.3.0 → 0.4.0; never throws
+const migrated = migrateBlueprint(blueprint); // 0.2.0 → … → 0.5.0 → 0.6.0; never throws
 const result = validateBlueprint(migrated.blueprint, {
   blueprintSchema: blueprintSchemaJson as Schema,
   catalog: componentsJson as SpecCatalog,
@@ -120,6 +125,8 @@ warning without failing.
 | `@texuli/spec/workflow` | Runtime, opt-in: workflow graph validation | `validateWorkflowGraph` (pass it in `SpecDocuments.validateWorkflowGraph`) |
 | `@texuli/spec/migrate` | Runtime, opt-in: envelope migrations | `migrateBlueprint`, `SPEC_MIGRATIONS`, `UNDECLARED_SPEC_VERSION` |
 | `@texuli/spec/surface` | Runtime: the state surface rules every validator shares (no imports) | `checkStateSurface`, `surfaceInputs`, `SPEC_CONTROL_STATE_TYPES`, `SURFACE_PLAYER_CODES`, `LIST_TEXT_PATTERN` |
+| `@texuli/spec/motion` | Runtime (new in `0.6.0`, spec `0.6.0`): the closed motion vocabulary and its check, shared by the catalog and the player ([motion.md](https://github.com/DailybotHQ/texuli/blob/main/packages/spec/docs/motion.md)) | `SPEC_MOTION_PRESETS`, `SPEC_MOTION_DURATIONS`, `SPEC_MOTION_STAGGERS`, `SPEC_MOTION_LEVELS`, `checkNodeMotion`, `checkEnvelopeMotion` |
+| `@texuli/spec/stream` | Runtime, opt-in (new in `0.6.0`): streamed blueprints ([stream.md](https://github.com/DailybotHQ/texuli/blob/main/packages/spec/docs/stream.md)) | `createJsonTokenizer`, `createBlueprintAssembler`, `createBlueprintStream`, `STREAM_NODE_ORDER` |
 | `@texuli/spec/codegen` | Build time: generation and conformance | `buildSpec`, `projectCatalog`, `checkConformance`, `checkCatalogContract`, `formatJson`, `nextSpecVersion`, `checkVersionHistory` |
 
 ## Key guarantees
@@ -148,6 +155,19 @@ warning without failing.
   component slides. The change is additive: every 0.3.0 envelope is a valid
   0.4.0 envelope, and the `0.3.0 → 0.4.0` migration only stamps `spec`. The
   deck model itself is validated by `@texuli/deck`, not by this package.
+- **Motion as data (spec 0.6.0, new in `0.6.0`).** A node may declare `motion`
+  (`enter` and `exit` presets `fade`, `rise`, `scale`, `slide-start` and
+  `slide-end`; `layout`; `stagger` and `duration` in token steps) and the
+  envelope a `motion.level` (`full`, `subtle`, `none`). Names map to the
+  motion tokens: a blueprint never carries CSS, keyframes, milliseconds or
+  code, and anything else is refused. The `0.5.0 → 0.6.0` migration only
+  stamps `spec`.
+- **Streams parse, never guess.** `@texuli/spec/stream` (new in `0.6.0`)
+  reads a blueprint split anywhere in linear time under a byte budget and a
+  depth cap, reports a node only once its shell (everything but
+  `children`) has closed, and refuses duplicate and prototype keys. It
+  judges no rule: the catalog checks each node, and the complete draft
+  goes through `validateDraft`.
 - **Structure only.** This validator checks structure. URL policy, tree
   limits and rendering live in the runtime validator of
   [`@texuli/catalog`](https://www.npmjs.com/package/@texuli/catalog). The
@@ -190,11 +210,16 @@ catalog hash, and from 0.3.0 may declare the exact spec version it was
 written for (`spec`; omitted means 0.2.0). `migrateBlueprint`
 (`@texuli/spec/migrate`) brings an
 envelope up to the current spec with pure, per-version steps
-(`src/migrations/`: `0.2.0 → 0.3.0` and `0.3.0 → 0.4.0`, both of which only
-stamp `spec`); a compatible version range is planned, not built. The
-repository pins spec `0.4.0` to digest
-`fac29f542b16ddb78ab401c508e5b8346f655991c56e25aa811f4931661a8cb3` in
-`versions.json`.
+(`src/migrations/`: `0.2.0 → 0.3.0`, `0.3.0 → 0.4.0`, `0.4.0 → 0.5.0` and
+`0.5.0 → 0.6.0`, each of which only stamps `spec`); a compatible version range is planned,
+not built. `@texuli/spec@0.6.0` carries spec `0.6.0` (digest
+`37141b85b9ab9f02af849a62a9c97ba729d6c5c2705130290bcdf45b308ea4cc`), which
+adds the closed motion vocabulary (ADR-012); `@texuli/spec@0.5.0` carried
+spec `0.5.0`, which added the `data-cohort-table`,
+`data-notification-inbox`, `data-filter-builder` and `time-field` catalog
+ids, and `@texuli/spec@0.4.0` spec `0.4.0` (digest
+`fac29f542b16ddb78ab401c508e5b8346f655991c56e25aa811f4931661a8cb3`). Every
+pin is in `versions.json`.
 
 The full rules (the digest, `versions.json` pins, regeneration and the
 conformance harness) are in
@@ -209,6 +234,10 @@ conformance harness) are in
   [packages/spec](https://github.com/DailybotHQ/texuli/tree/main/packages/spec)
 - The contract in depth (the JSON Schema dialect, projections, conformance
   and versioning): [contract.md](https://github.com/DailybotHQ/texuli/blob/main/packages/spec/docs/contract.md)
+- The motion vocabulary (spec 0.6.0):
+  [motion.md](https://github.com/DailybotHQ/texuli/blob/main/packages/spec/docs/motion.md)
+- Streamed blueprints (the incremental tokenizer, the canonical order and
+  node shells; new in `0.6.0`): [stream.md](https://github.com/DailybotHQ/texuli/blob/main/packages/spec/docs/stream.md)
 - The Kotlin Multiplatform twin that consumes the generated models:
   [native/README.md](https://github.com/DailybotHQ/texuli/blob/main/native/README.md)
 - Architecture: [ARCHITECTURE.md](https://github.com/DailybotHQ/texuli/blob/main/docs/ARCHITECTURE.md)

package/dist/generated/typescript/blueprint.d.ts

@@ -47,7 +47,10 @@ export interface BlueprintEditOp {
     tree?: BlueprintNode;
 }
 export type BlueprintNodePath = readonly number[];
-/** One catalog node: id, props, children (each with an optional named slot), when, bind and on. */
+/**
+ * One catalog node: id, props, children (each with an optional named slot), when, bind, on and
+ * motion.
+ */
 export interface BlueprintNode {
     /** A catalog component id. */
     id: string;
@@ -63,6 +66,7 @@ export interface BlueprintNode {
     /** Two-way bindings: a prop the component lists as bindable → a $state binding it writes back. */
     bind?: Readonly<Record<string, BlueprintBinding>>;
     on?: BlueprintEventMap;
+    motion?: BlueprintNodeMotion;
 }
 /**
  * Shows the node when true (audit G07): the closed Condition AST of the blocks formula grammar.
@@ -185,11 +189,47 @@ export interface BlueprintReorder {
     pull?: 'move' | 'clone' | 'none';
     disabled?: boolean;
 }
+/**
+ * A closed motion preset (ADR-013): fade, rise (fade in from the block end), scale (fade and grow
+ * from 96%), slide-start or slide-end (fade in from the inline start or end, mirrored right to
+ * left). The runtime maps each to token keyframes; a blueprint never carries keyframes.
+ */
+export type BlueprintMotionPreset = 'fade' | 'rise' | 'scale' | 'slide-start' | 'slide-end';
+/** A duration token step (@texuli/tokens motion durations), never milliseconds. */
+export type BlueprintMotionDuration = 'fast' | 'base' | 'slow';
+/**
+ * The offset between the entering children of this node, in token steps: none, fast or base. The
+ * runtime caps the whole spread.
+ */
+export type BlueprintMotionStagger = 'none' | 'fast' | 'base';
+/**
+ * A motion ceiling (ADR-013): full, subtle (shorter, no travel or scale) or none (instant). The
+ * host and the reader's reduced-motion preference can only lower it.
+ */
+export type BlueprintMotionLevel = 'full' | 'subtle' | 'none';
+/**
+ * How a node moves (spec 0.6.0, ADR-012): named presets and token steps only. Nothing here is CSS,
+ * a duration in milliseconds or code. The server paints the end state, and nothing plays on
+ * hydration or under reduced motion.
+ */
+export interface BlueprintNodeMotion {
+    enter?: BlueprintMotionPreset;
+    exit?: BlueprintMotionPreset;
+    /** Animate a change of this node's position or size among its siblings (FLIP). */
+    layout?: boolean;
+    stagger?: BlueprintMotionStagger;
+    duration?: BlueprintMotionDuration;
+}
+/** The blueprint's motion settings (spec 0.6.0): the level every node motion plays at. */
+export interface BlueprintEnvelopeMotion {
+    level: BlueprintMotionLevel;
+}
 /**
  * Envelope version 1 around one catalog tree (ADR-004, audit G13). Mirrors what
  * @texuli/catalog/envelope reads; a declared status, activation or tier is display data, never
  * authority. Spec 0.4.0 (ADR-008 + PLAN_008 deck encoding) adds an optional spec version, local
- * state and a flow. Planned minor additions: the native profile and several roots.
+ * state and a flow; spec 0.6.0 (ADR-012, ADR-013) adds the closed motion vocabulary: a node motion
+ * and the envelope motion level. Planned minor additions: the native profile and several roots.
  */
 export interface BlueprintEnvelope {
     format: 'texuli-blueprint';
@@ -213,11 +253,12 @@ export interface BlueprintEnvelope {
     /**
      * The spec version the envelope was written for. Omitted means 0.2.0; migrateBlueprint stamps it.
      */
-    spec?: '0.3.0' | '0.4.0';
+    spec?: '0.3.0' | '0.4.0' | '0.5.0' | '0.6.0';
     /**
      * Local state declarations (ADR-008), at most 64. Names, counts and per-type rules are checked by
      * the validator.
      */
     state?: Readonly<Record<string, BlueprintStateDeclaration>>;
     flow?: BlueprintFlow;
+    motion?: BlueprintEnvelopeMotion;
 }

package/dist/generated/typescript/blueprint.js

@@ -1,3 +1,3 @@
 // Generated by @texuli/spec from schemas/blueprint.schema.json. Do not edit: run the spec generator.
-// Spec 0.4.0, digest fac29f542b16ddb78ab401c508e5b8346f655991c56e25aa811f4931661a8cb3
+// Spec 0.6.0, digest 37141b85b9ab9f02af849a62a9c97ba729d6c5c2705130290bcdf45b308ea4cc
 export {};

package/dist/generated/typescript/catalog-schema.js

@@ -1,3 +1,3 @@
 // Generated by @texuli/spec from schemas/catalog.schema.json. Do not edit: run the spec generator.
-// Spec 0.4.0, digest fac29f542b16ddb78ab401c508e5b8346f655991c56e25aa811f4931661a8cb3
+// Spec 0.6.0, digest 37141b85b9ab9f02af849a62a9c97ba729d6c5c2705130290bcdf45b308ea4cc
 export {};

package/dist/generated/typescript/diagnostics.js

@@ -1,3 +1,3 @@
 // Generated by @texuli/spec from schemas/diagnostics.schema.json. Do not edit: run the spec generator.
-// Spec 0.4.0, digest fac29f542b16ddb78ab401c508e5b8346f655991c56e25aa811f4931661a8cb3
+// Spec 0.6.0, digest 37141b85b9ab9f02af849a62a9c97ba729d6c5c2705130290bcdf45b308ea4cc
 export {};

package/dist/generated/typescript/manifest.js

@@ -1,3 +1,3 @@
 // Generated by @texuli/spec from schemas/manifest.schema.json. Do not edit: run the spec generator.
-// Spec 0.4.0, digest fac29f542b16ddb78ab401c508e5b8346f655991c56e25aa811f4931661a8cb3
+// Spec 0.6.0, digest 37141b85b9ab9f02af849a62a9c97ba729d6c5c2705130290bcdf45b308ea4cc
 export {};

package/dist/generated/typescript/vocabulary.d.ts

@@ -1,7 +1,7 @@
 /** The built catalog this vocabulary was projected from. */
-export declare const SPEC_CATALOG_HASH = "8a449985d45c7bfd1dc2285f3513dfd6ca0e3e38260c0a541fdb7b17e9213006";
+export declare const SPEC_CATALOG_HASH = "4ac7ecedd1c59d1999a9f7eea2f523c7653fececb97258a478f09253f6b6057f";
 /** Every closed component id, sorted. */
-export declare const SPEC_COMPONENT_IDS: readonly ["action-form", "alert", "alert-dialog", "analytics-grid", "app-nav", "badge", "banner", "blocks-code", "blocks-data", "blocks-diagram", "blocks-embed", "blocks-interactive", "blocks-map", "blocks-media", "blocks-structure", "blocks-text", "breadcrumb", "button", "button-group", "callout", "card", "charts-area", "charts-bar", "charts-bubble", "charts-bullet", "charts-canvas-renderer", "charts-cartesian", "charts-combo", "charts-donut", "charts-funnel", "charts-gauge", "charts-geo-map", "charts-geo-point-map", "charts-heatmap", "charts-line", "charts-network", "charts-pie", "charts-progress-ring", "charts-sankey", "charts-scatter", "charts-sparkline", "charts-stacked-bar", "charts-sunburst", "charts-treemap", "chat-message", "chat-thread", "checkbox", "chip", "code", "combobox", "command-palette", "content-layout", "context-menu", "context-menu-trigger", "control-choice", "control-filter", "control-slider", "control-toggle", "data-board", "data-calendar", "data-files", "data-grid", "data-map", "data-timeline", "data-tree-view", "deck-slide", "description", "detail-panel", "dialog", "drawer", "dropdown-menu", "dropdown-menu-content", "dropdown-menu-item", "dropdown-menu-trigger", "empty-state", "error-state", "field", "field-error", "flow-action", "flow-view", "form", "form-field", "form-submit", "host-region", "hover-card", "hover-card-content", "icon-button", "inline-text", "input", "input-group", "kbd", "kpi", "label", "layout-auth-split", "layout-blog", "layout-card", "layout-chrome", "layout-dashboard-grid", "layout-deck", "layout-doc", "layout-docs", "layout-drawer", "layout-dual-sidebar", "layout-editorial", "layout-grid", "layout-host", "layout-landing", "layout-marketing", "layout-page", "layout-pricing", "layout-row", "layout-settings", "layout-sidebar", "layout-split", "layout-stack", "layout-tile", "layout-top-nav", "layout-wizard", "media-composition-canvas", "media-composition-svg", "media-image", "menubar", "menubar-trigger", "multi-select", "nav-icon", "navigation-menu", "pagination", "popover", "popover-content", "radio", "radio-group", "responsive-modal", "screen-outlet", "select", "select-content", "select-group", "select-item", "select-label", "select-portal", "select-separator", "select-trigger", "select-value", "select-viewport", "sheet", "sidebar", "sortable-list", "split-view", "stat", "stepper", "switch", "table", "tag", "text-counter", "textarea", "timeline", "toaster", "tooltip", "workflow-graph"];
+export declare const SPEC_COMPONENT_IDS: readonly ["action-form", "alert", "alert-dialog", "analytics-grid", "app-nav", "badge", "banner", "blocks-code", "blocks-data", "blocks-diagram", "blocks-embed", "blocks-interactive", "blocks-map", "blocks-media", "blocks-structure", "blocks-text", "breadcrumb", "button", "button-group", "callout", "card", "charts-area", "charts-bar", "charts-bubble", "charts-bullet", "charts-canvas-renderer", "charts-cartesian", "charts-combo", "charts-donut", "charts-funnel", "charts-gauge", "charts-geo-map", "charts-geo-point-map", "charts-heatmap", "charts-line", "charts-network", "charts-pie", "charts-progress-ring", "charts-sankey", "charts-scatter", "charts-sparkline", "charts-stacked-bar", "charts-sunburst", "charts-treemap", "chat-message", "chat-thread", "checkbox", "chip", "code", "combobox", "command-palette", "content-layout", "context-menu", "context-menu-trigger", "control-choice", "control-filter", "control-slider", "control-toggle", "data-board", "data-calendar", "data-cohort-table", "data-files", "data-filter-builder", "data-grid", "data-map", "data-notification-inbox", "data-timeline", "data-tree-view", "deck-slide", "description", "detail-panel", "dialog", "drawer", "dropdown-menu", "dropdown-menu-content", "dropdown-menu-item", "dropdown-menu-trigger", "empty-state", "error-state", "field", "field-error", "flow-action", "flow-view", "form", "form-field", "form-submit", "host-region", "hover-card", "hover-card-content", "icon-button", "inline-text", "input", "input-group", "kbd", "kpi", "label", "layout-auth-split", "layout-blog", "layout-card", "layout-chrome", "layout-dashboard-grid", "layout-deck", "layout-doc", "layout-docs", "layout-drawer", "layout-dual-sidebar", "layout-editorial", "layout-grid", "layout-host", "layout-landing", "layout-marketing", "layout-page", "layout-pricing", "layout-row", "layout-settings", "layout-sidebar", "layout-split", "layout-stack", "layout-tile", "layout-top-nav", "layout-wizard", "media-composition-canvas", "media-composition-svg", "media-image", "menubar", "menubar-trigger", "multi-select", "nav-icon", "navigation-menu", "pagination", "popover", "popover-content", "radio", "radio-group", "responsive-modal", "screen-outlet", "select", "select-content", "select-group", "select-item", "select-label", "select-portal", "select-separator", "select-trigger", "select-value", "select-viewport", "sheet", "sidebar", "sortable-list", "split-view", "stat", "stepper", "switch", "table", "tag", "text-counter", "textarea", "time-field", "timeline", "toaster", "tooltip", "workflow-graph"];
 export type SpecComponentId = (typeof SPEC_COMPONENT_IDS)[number];
 /** The props a blueprint may set on each component (platform extensions left out). */
 export interface SpecComponentProps {
@@ -481,12 +481,31 @@ export interface SpecComponentProps {
         timeZone?: string;
         view?: 'month' | 'week' | 'day' | 'agenda';
     };
+    'data-cohort-table': {
+        average?: boolean;
+        caption: string;
+        captionHidden?: boolean;
+        density?: 'compact' | 'default' | 'comfortable';
+        heat?: boolean;
+        locale?: string;
+        max?: number;
+        periods?: readonly unknown[];
+        rows: readonly unknown[];
+        valueKind?: 'rate' | 'count';
+    };
     'data-files': {
         density?: 'comfortable' | 'compact';
         entries: readonly unknown[];
         label: string;
         layout?: 'grid' | 'list';
     };
+    'data-filter-builder': {
+        disabled?: boolean;
+        fields: readonly unknown[];
+        label: string;
+        maxDepth?: number;
+        value?: Readonly<Record<string, unknown>>;
+    };
     'data-grid': {
         caption: string;
         columns: readonly unknown[];
@@ -500,6 +519,15 @@ export interface SpecComponentProps {
         listPlacement?: 'side' | 'below';
         markers: readonly unknown[];
     };
+    'data-notification-inbox': {
+        filter?: 'all' | 'unread';
+        headingLevel?: number;
+        items: readonly unknown[];
+        locale?: string;
+        markReadOnOpen?: boolean;
+        now?: string;
+        timeZone?: string;
+    };
     'data-timeline': {
         dependencies?: readonly unknown[];
         label: string;
@@ -1088,6 +1116,20 @@ export interface SpecComponentProps {
         rows?: number;
         value?: string;
     };
+    'time-field': {
+        description?: string;
+        disabled?: boolean;
+        error?: string;
+        hourCycle?: number;
+        label: string;
+        labels?: Readonly<Record<string, unknown>>;
+        locale?: string;
+        minuteStep?: number;
+        name?: string;
+        required?: boolean;
+        size?: 'sm' | 'md';
+        value?: string;
+    };
     timeline: {
         hrefTrust?: 'developer' | 'untrusted';
         items?: readonly unknown[];

package/dist/generated/typescript/vocabulary.js

@@ -1,7 +1,7 @@
 // Generated by @texuli/spec from catalog/components.json. Do not edit: run the spec generator.
-// Spec 0.4.0, digest fac29f542b16ddb78ab401c508e5b8346f655991c56e25aa811f4931661a8cb3
+// Spec 0.6.0, digest 37141b85b9ab9f02af849a62a9c97ba729d6c5c2705130290bcdf45b308ea4cc
 /** The built catalog this vocabulary was projected from. */
-export const SPEC_CATALOG_HASH = '8a449985d45c7bfd1dc2285f3513dfd6ca0e3e38260c0a541fdb7b17e9213006';
+export const SPEC_CATALOG_HASH = '4ac7ecedd1c59d1999a9f7eea2f523c7653fececb97258a478f09253f6b6057f';
 /** Every closed component id, sorted. */
 export const SPEC_COMPONENT_IDS = [
     'action-form',
@@ -64,9 +64,12 @@ export const SPEC_COMPONENT_IDS = [
     'control-toggle',
     'data-board',
     'data-calendar',
+    'data-cohort-table',
     'data-files',
+    'data-filter-builder',
     'data-grid',
     'data-map',
+    'data-notification-inbox',
     'data-timeline',
     'data-tree-view',
     'deck-slide',
@@ -158,6 +161,7 @@ export const SPEC_COMPONENT_IDS = [
     'tag',
     'text-counter',
     'textarea',
+    'time-field',
     'timeline',
     'toaster',
     'tooltip',

package/dist/generated/typescript/workflow.js

@@ -1,3 +1,3 @@
 // Generated by @texuli/spec from schemas/workflow.schema.json. Do not edit: run the spec generator.
-// Spec 0.4.0, digest fac29f542b16ddb78ab401c508e5b8346f655991c56e25aa811f4931661a8cb3
+// Spec 0.6.0, digest 37141b85b9ab9f02af849a62a9c97ba729d6c5c2705130290bcdf45b308ea4cc
 export {};

package/dist/migrations/0.4.0-0.5.0.d.ts

@@ -0,0 +1,8 @@
+import type { SpecMigration } from './types.js';
+/**
+ * 0.4.0 → 0.5.0 is additive (PLAN_009 catalog coverage): the catalog gains
+ * the data-cohort-table, data-notification-inbox and data-filter-builder
+ * ids and the app-tier time-field id. Every 0.4.0 envelope is a valid 0.5.0
+ * envelope, so the step only stamps `spec`.
+ */
+export declare const migration040to050: SpecMigration;

package/dist/migrations/0.4.0-0.5.0.js

@@ -0,0 +1,11 @@
+/**
+ * 0.4.0 → 0.5.0 is additive (PLAN_009 catalog coverage): the catalog gains
+ * the data-cohort-table, data-notification-inbox and data-filter-builder
+ * ids and the app-tier time-field id. Every 0.4.0 envelope is a valid 0.5.0
+ * envelope, so the step only stamps `spec`.
+ */
+export const migration040to050 = Object.freeze({
+    from: '0.4.0',
+    to: '0.5.0',
+    migrate: (envelope) => ({ ...envelope, spec: '0.5.0' }),
+});

package/dist/migrations/0.5.0-0.6.0.d.ts

@@ -0,0 +1,9 @@
+import type { SpecMigration } from './types.js';
+/**
+ * 0.5.0 → 0.6.0 is additive (PLAN_010 T-motion-spec, ADR-012 and ADR-013):
+ * nodes gain an optional closed `motion` (enter and exit presets, `layout`,
+ * `stagger` and `duration` in token steps) and the envelope an optional
+ * `motion.level`. Every 0.5.0 envelope is a valid 0.6.0 envelope, so the
+ * step only stamps `spec`.
+ */
+export declare const migration050to060: SpecMigration;

package/dist/migrations/0.5.0-0.6.0.js

@@ -0,0 +1,12 @@
+/**
+ * 0.5.0 → 0.6.0 is additive (PLAN_010 T-motion-spec, ADR-012 and ADR-013):
+ * nodes gain an optional closed `motion` (enter and exit presets, `layout`,
+ * `stagger` and `duration` in token steps) and the envelope an optional
+ * `motion.level`. Every 0.5.0 envelope is a valid 0.6.0 envelope, so the
+ * step only stamps `spec`.
+ */
+export const migration050to060 = Object.freeze({
+    from: '0.5.0',
+    to: '0.6.0',
+    migrate: (envelope) => ({ ...envelope, spec: '0.6.0' }),
+});

package/dist/migrations/index.js

@@ -2,12 +2,16 @@ import { isRecord } from "../dialect.js";
 import { SPEC_VERSION } from "../version.js";
 import { migration020to030 } from "./0.2.0-0.3.0.js";
 import { migration030to040 } from "./0.3.0-0.4.0.js";
+import { migration040to050 } from "./0.4.0-0.5.0.js";
+import { migration050to060 } from "./0.5.0-0.6.0.js";
 /** The version an envelope without `spec` was written for. */
 export const UNDECLARED_SPEC_VERSION = '0.2.0';
 /** Every step, in order; each `to` is the next step's `from`. */
 export const SPEC_MIGRATIONS = Object.freeze([
     migration020to030,
     migration030to040,
+    migration040to050,
+    migration050to060,
 ]);
 /**
  * Bring a blueprint envelope up to `target` (the current spec by default)

package/dist/motion.d.ts

@@ -0,0 +1,40 @@
+/**
+ * `@texuli/spec/motion` — the closed motion vocabulary of spec 0.6.0
+ * (ADR-012, ADR-013) in code, mirrored from `schemas/blueprint.schema.json`
+ * (`tests/spec.test.ts` asserts they stay equal), and the one structural
+ * check every runtime shares: `@texuli/catalog` refuses with it, and
+ * `@texuli/player` paints only what it accepted.
+ *
+ * Agents name presets and token steps. Nothing here is CSS, keyframes, a
+ * duration in milliseconds or code. No imports at runtime.
+ */
+import type { BlueprintEnvelopeMotion, BlueprintMotionDuration, BlueprintMotionLevel, BlueprintMotionPreset, BlueprintMotionStagger, BlueprintNodeMotion } from './generated/typescript/blueprint.js';
+export type { BlueprintEnvelopeMotion, BlueprintMotionDuration, BlueprintMotionLevel, BlueprintMotionPreset, BlueprintMotionStagger, BlueprintNodeMotion, };
+/** Enter and exit presets (`$defs.motionPreset`). */
+export declare const SPEC_MOTION_PRESETS: readonly BlueprintMotionPreset[];
+/** Duration token steps (`$defs.motionDuration`); `base` when omitted. */
+export declare const SPEC_MOTION_DURATIONS: readonly BlueprintMotionDuration[];
+/** Stagger token steps between entering children (`$defs.motionStagger`). */
+export declare const SPEC_MOTION_STAGGERS: readonly BlueprintMotionStagger[];
+/** Motion ceilings (`$defs.motionLevel`), highest first. */
+export declare const SPEC_MOTION_LEVELS: readonly BlueprintMotionLevel[];
+/** The fields a node `motion` takes (`$defs.nodeMotion`). */
+export declare const SPEC_NODE_MOTION_FIELDS: readonly string[];
+export type SpecMotionCheck<T> = {
+    ok: true;
+    motion: Readonly<T>;
+}
+/** `path` is relative to the motion value (`""`, `.enter` …). */
+ | {
+    ok: false;
+    path: string;
+    message: string;
+};
+/**
+ * Check a node `motion` against the closed vocabulary. Returns a frozen
+ * copy with only the known fields, or the first refusal. Linear in the
+ * number of keys, and it stops at the first unknown one.
+ */
+export declare function checkNodeMotion(value: unknown): SpecMotionCheck<BlueprintNodeMotion>;
+/** Check an envelope `motion` (`{ level }`). Returns a frozen copy, or the first refusal. */
+export declare function checkEnvelopeMotion(value: unknown): SpecMotionCheck<BlueprintEnvelopeMotion>;

package/dist/motion.js

@@ -0,0 +1,133 @@
+/**
+ * `@texuli/spec/motion` — the closed motion vocabulary of spec 0.6.0
+ * (ADR-012, ADR-013) in code, mirrored from `schemas/blueprint.schema.json`
+ * (`tests/spec.test.ts` asserts they stay equal), and the one structural
+ * check every runtime shares: `@texuli/catalog` refuses with it, and
+ * `@texuli/player` paints only what it accepted.
+ *
+ * Agents name presets and token steps. Nothing here is CSS, keyframes, a
+ * duration in milliseconds or code. No imports at runtime.
+ */
+/** Enter and exit presets (`$defs.motionPreset`). */
+export const SPEC_MOTION_PRESETS = Object.freeze([
+    'fade',
+    'rise',
+    'scale',
+    'slide-start',
+    'slide-end',
+]);
+/** Duration token steps (`$defs.motionDuration`); `base` when omitted. */
+export const SPEC_MOTION_DURATIONS = Object.freeze([
+    'fast',
+    'base',
+    'slow',
+]);
+/** Stagger token steps between entering children (`$defs.motionStagger`). */
+export const SPEC_MOTION_STAGGERS = Object.freeze([
+    'none',
+    'fast',
+    'base',
+]);
+/** Motion ceilings (`$defs.motionLevel`), highest first. */
+export const SPEC_MOTION_LEVELS = Object.freeze([
+    'full',
+    'subtle',
+    'none',
+]);
+/** The fields a node `motion` takes (`$defs.nodeMotion`). */
+export const SPEC_NODE_MOTION_FIELDS = Object.freeze([
+    'enter',
+    'exit',
+    'layout',
+    'stagger',
+    'duration',
+]);
+const isRecord = (value) => value !== null && typeof value === 'object' && !Array.isArray(value);
+/** A short, single-line label for a refused value: never the value itself in full. */
+function describe(value) {
+    if (typeof value === 'string')
+        return JSON.stringify(value.slice(0, 24));
+    if (Array.isArray(value))
+        return 'an array';
+    return value === null ? 'null' : typeof value;
+}
+function oneOf(value, allowed, field) {
+    if (typeof value === 'string' && allowed.includes(value)) {
+        return { ok: true, value: value };
+    }
+    return {
+        ok: false,
+        path: `.${field}`,
+        message: `"${field}" must be one of ${allowed.join(', ')} (got ${describe(value)}).`,
+    };
+}
+/**
+ * Check a node `motion` against the closed vocabulary. Returns a frozen
+ * copy with only the known fields, or the first refusal. Linear in the
+ * number of keys, and it stops at the first unknown one.
+ */
+export function checkNodeMotion(value) {
+    if (!isRecord(value)) {
+        return { ok: false, path: '', message: `"motion" must be an object (got ${describe(value)}).` };
+    }
+    const out = {};
+    for (const key of Object.keys(value)) {
+        if (!SPEC_NODE_MOTION_FIELDS.includes(key)) {
+            return {
+                ok: false,
+                path: `.${key.slice(0, 32)}`,
+                message: `"motion" takes only ${SPEC_NODE_MOTION_FIELDS.join(', ')}; no CSS, keyframes or code.`,
+            };
+        }
+        const entry = value[key];
+        if (key === 'layout') {
+            if (typeof entry !== 'boolean') {
+                return {
+                    ok: false,
+                    path: '.layout',
+                    message: `"layout" must be a boolean (got ${describe(entry)}).`,
+                };
+            }
+            out.layout = entry;
+            continue;
+        }
+        if (key === 'enter' || key === 'exit') {
+            const checked = oneOf(entry, SPEC_MOTION_PRESETS, key);
+            if (!checked.ok)
+                return checked;
+            out[key] = checked.value;
+        }
+        else if (key === 'stagger') {
+            const checked = oneOf(entry, SPEC_MOTION_STAGGERS, key);
+            if (!checked.ok)
+                return checked;
+            out.stagger = checked.value;
+        }
+        else {
+            const checked = oneOf(entry, SPEC_MOTION_DURATIONS, key);
+            if (!checked.ok)
+                return checked;
+            out.duration = checked.value;
+        }
+    }
+    return { ok: true, motion: Object.freeze(out) };
+}
+/** Check an envelope `motion` (`{ level }`). Returns a frozen copy, or the first refusal. */
+export function checkEnvelopeMotion(value) {
+    if (!isRecord(value)) {
+        return { ok: false, path: '', message: `"motion" must be an object (got ${describe(value)}).` };
+    }
+    for (const key of Object.keys(value)) {
+        if (key !== 'level') {
+            return {
+                ok: false,
+                path: `.${key.slice(0, 32)}`,
+                message: 'The envelope "motion" takes only "level".',
+            };
+        }
+    }
+    const level = oneOf(value.level, SPEC_MOTION_LEVELS, 'level');
+    if (!level.ok)
+        return level;
+    return { ok: true, motion: Object.freeze({ level: level.value }) };
+}