@texuli/spec 0.6.0 → 0.8.0

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

@@ -34,10 +34,15 @@ export interface BlueprintProvenanceEntry {
     kind: 'apply' | 'undo' | 'redo';
     ops: readonly BlueprintEditOp[];
 }
-/** One edit op. The fields each op kind takes are checked by the edit parser. */
+/**
+ * One edit op. The fields each op kind takes are checked by the edit parser. From spec 0.7.0,
+ * patchDocument applies a bounded RFC 6902 patch to the doc of a document node it addresses by path
+ * or by key.
+ */
 export interface BlueprintEditOp {
-    op: 'insert' | 'remove' | 'move' | 'setProp' | 'unsetProp' | 'replace' | 'replaceAll';
+    op: 'insert' | 'remove' | 'move' | 'setProp' | 'unsetProp' | 'replace' | 'replaceAll' | 'patchDocument';
     path?: BlueprintNodePath;
+    key?: BlueprintNodeKey;
     parent?: BlueprintNodePath;
     index?: number;
     name?: string;
@@ -45,13 +50,15 @@ export interface BlueprintEditOp {
     value?: unknown;
     node?: BlueprintNode;
     tree?: BlueprintNode;
+    patch?: BlueprintDocumentPatch;
 }
 export type BlueprintNodePath = readonly number[];
 /**
- * One catalog node: id, props, children (each with an optional named slot), when, bind, on and
- * motion.
+ * One catalog node: an optional key (spec 0.7.0), id, props, children (each with an optional named
+ * slot), when, bind, on and motion.
  */
 export interface BlueprintNode {
+    key?: BlueprintNodeKey;
     /** A catalog component id. */
     id: string;
     /** Props checked against the component's catalog entry. */
@@ -104,6 +111,175 @@ export interface BlueprintNumberFormula {
     ifTrue?: BlueprintNumberFormula;
     ifFalse?: BlueprintNumberFormula;
 }
+/**
+ * The closed expression AST of @texuli/core/expression (spec 0.8.0, ADR-015): the numberFormula and
+ * condition shapes extended with strings, booleans, null, field references and calls to a closed
+ * function table (len, lower, upper, trim, contains, startsWith, endsWith, isEmpty, coalesce,
+ * includes, count, sum, abs, floor, ceil, number, today, date, isDate, daysBetween, addDays, year,
+ * month, day). Structural shape only: which members each op needs, the function table and arity, at
+ * most 1,000 nodes and depth 32 are checked by the runtime parser; ref and range are reserved for
+ * dialects (sheets) and refused in forms. Never code, never a regular expression.
+ */
+export interface BlueprintExpression {
+    op: 'num' | 'str' | 'bool' | 'null' | 'var' | 'field' | 'ref' | 'range' | 'add' | 'sub' | 'mul' | 'div' | 'mod' | 'pow' | 'neg' | 'lt' | 'lte' | 'gt' | 'gte' | 'eq' | 'neq' | 'and' | 'or' | 'not' | 'if' | 'min' | 'max' | 'concat' | 'round' | 'clamp' | 'call';
+    /**
+     * A literal for num (number), str (string, at most 32,768 characters) and bool; an expression for
+     * neg, not, round and clamp.
+     */
+    value?: unknown;
+    /** The field (or var) a reference reads. */
+    name?: string;
+    /** A dialect reference (sheets); refused in forms. */
+    ref?: string;
+    from?: string;
+    to?: string;
+    left?: BlueprintExpression;
+    right?: BlueprintExpression;
+    base?: BlueprintExpression;
+    exponent?: BlueprintExpression;
+    /** Operands of and, or, min, max, concat and call (at most 64). */
+    args?: readonly BlueprintExpression[];
+    digits?: number;
+    min?: BlueprintExpression;
+    max?: BlueprintExpression;
+    test?: BlueprintExpression;
+    ifTrue?: BlueprintExpression;
+    ifFalse?: BlueprintExpression;
+    /** A function of the closed table. */
+    fn?: string;
+}
+/** One choice of a select, radio or multiselect field. */
+export interface BlueprintFormOption {
+    value: string;
+    label: string;
+    description?: string;
+}
+/**
+ * Conditions on a field as expressions over earlier fields: shown while show holds, required while
+ * require holds, editable while enable holds. Hidden and disabled fields are not validated or
+ * submitted; only true holds (unknown does not).
+ */
+export interface BlueprintFormWhen {
+    show?: BlueprintExpression;
+    require?: BlueprintExpression;
+    enable?: BlueprintExpression;
+}
+/** When a step or section shows: an expression over earlier fields. */
+export interface BlueprintFormVisibility {
+    show?: BlueprintExpression;
+}
+/** A help link under a field; href passes the URL policy at the host's tier. */
+export interface BlueprintFormLink {
+    label: string;
+    href: string;
+}
+/** Plain-text messages that replace the defaults per rule ({label}, {min}, {max} are filled in). */
+export interface BlueprintFormMessages {
+    required?: string;
+    minLength?: string;
+    maxLength?: string;
+    min?: string;
+    max?: string;
+    step?: string;
+    format?: string;
+    minItems?: string;
+    maxItems?: string;
+    option?: string;
+    fileType?: string;
+    fileSize?: string;
+}
+/**
+ * One field of a closed type. Which members apply to which type, value types, option membership,
+ * ranges and the conditions' field references are checked by @texuli/forms/model
+ * (validateFormSchema). Formats are names; a pattern is never accepted.
+ */
+export interface BlueprintFormField {
+    /** The key in the submitted values, unique in the form. */
+    name: string;
+    type: 'text' | 'textarea' | 'number' | 'email' | 'url' | 'date' | 'time' | 'select' | 'multiselect' | 'checkbox' | 'radio' | 'switch' | 'slider' | 'file' | 'tags';
+    label: string;
+    description?: string;
+    placeholder?: string;
+    /**
+     * A value of the field's type (a string, number, boolean, YYYY-MM-DD, HH:MM or a list of option
+     * values). Not for file fields.
+     */
+    default?: unknown;
+    options?: readonly BlueprintFormOption[];
+    required?: boolean;
+    when?: BlueprintFormWhen;
+    minLength?: number;
+    maxLength?: number;
+    /** A number for number and slider; YYYY-MM-DD for date; HH:MM for time. */
+    min?: unknown;
+    /** A number for number and slider; YYYY-MM-DD for date; HH:MM for time. */
+    max?: unknown;
+    /** Above 0, for number and slider. */
+    step?: number;
+    minItems?: number;
+    maxItems?: number;
+    /** A named format, checked by owned linear-time code. */
+    format?: 'email' | 'url' | 'phone' | 'postal-code' | 'postal-code-us' | 'postal-code-ca' | 'postal-code-uk' | 'postal-code-de' | 'postal-code-fr' | 'postal-code-es' | 'postal-code-mx' | 'postal-code-br' | 'postal-code-co' | 'postal-code-in' | 'postal-code-jp' | 'postal-code-au' | 'digits' | 'alphanumeric' | 'slug' | 'iso-date' | 'time' | 'hex-color';
+    /**
+     * The name of a validator the host registered (sync or async); an unregistered name fails closed.
+     */
+    validator?: string;
+    messages?: BlueprintFormMessages;
+    rows?: number;
+    /** File types: MIME types (image/png, image/*) or extensions (.pdf). */
+    accept?: readonly string[];
+    /** Largest accepted file in bytes; the host uploads files. */
+    maxSize?: number;
+    /** An autocomplete token; payment, credential and one-time-code tokens are absent. */
+    autocomplete?: 'off' | 'name' | 'given-name' | 'family-name' | 'nickname' | 'email' | 'tel' | 'organization' | 'organization-title' | 'street-address' | 'address-level1' | 'address-level2' | 'postal-code' | 'country-name' | 'language' | 'url' | 'bday';
+    link?: BlueprintFormLink;
+}
+/** A group of fields (a fieldset when titled). */
+export interface BlueprintFormSection {
+    id: string;
+    title?: string;
+    description?: string;
+    when?: BlueprintFormVisibility;
+    fields: readonly BlueprintFormField[];
+}
+/**
+ * One step of a multi-step form: exactly one of fields or sections; validated before the next step
+ * opens.
+ */
+export interface BlueprintFormStep {
+    id: string;
+    title: string;
+    description?: string;
+    when?: BlueprintFormVisibility;
+    fields?: readonly BlueprintFormField[];
+    sections?: readonly BlueprintFormSection[];
+}
+/**
+ * A cross-field rule: fails when test is false (unknown passes); the message attaches to field, or
+ * to the form.
+ */
+export interface BlueprintFormRule {
+    id: string;
+    test: BlueprintExpression;
+    message: string;
+    field?: string;
+}
+/**
+ * A form as data (spec 0.8.0, ADR-015), the schema prop of a schema-form node: a title and exactly
+ * one of fields (one page), sections or steps (a multi-step flow), plus cross-field rules. At most
+ * 200 fields, 50 sections, 20 steps and 50 rules. Checked again by @texuli/forms/model at the
+ * host's tier (validateDraft): closed members per type, unique names, options, ranges, named
+ * formats, link URLs, and conditions that read earlier fields only.
+ */
+export interface BlueprintFormSchema {
+    title: string;
+    description?: string;
+    submitLabel?: string;
+    fields?: readonly BlueprintFormField[];
+    sections?: readonly BlueprintFormSection[];
+    steps?: readonly BlueprintFormStep[];
+    rules?: readonly BlueprintFormRule[];
+}
 /** A local state variable name. */
 export type BlueprintStateName = string;
 /** A host data source name, such as tickets.open. */
@@ -114,6 +290,11 @@ export type BlueprintFlowName = string;
 export type BlueprintIntentName = string;
 /** The id of one item in a list variable. */
 export type BlueprintItemKey = string;
+/**
+ * A node's stable instance id (spec 0.7.0, ADR-012 and ADR-014): unique in its tree. Streaming,
+ * live updates and edit ops address a node by its key, else by its path.
+ */
+export type BlueprintNodeKey = string;
 /** A reorder group name. */
 export type BlueprintGroupName = string;
 /**
@@ -224,12 +405,165 @@ export interface BlueprintNodeMotion {
 export interface BlueprintEnvelopeMotion {
     level: BlueprintMotionLevel;
 }
+/**
+ * A Texuli document (spec 0.7.0, ADR-011): the format, version, metadata, page settings, block list
+ * and annotations of @texuli/document. This contract checks the envelope of the document only; the
+ * closed block vocabulary, text safety, the URL policy and the caps are checked by
+ * @texuli/document/schema (schemas/document.schema.json) inside the runtime validator,
+ * @texuli/catalog's validateDraft, at the host's tier.
+ */
+export interface BlueprintDocument {
+    format: 'texuli-document';
+    formatVersion: 1;
+    /** Title (required), description, locale, direction, authors, tags and dates. */
+    meta: Readonly<Record<string, unknown>>;
+    /** Page size, orientation, margins, header and footer for paged output. */
+    page?: Readonly<Record<string, unknown>>;
+    /**
+     * The block list: paragraph, heading, code, list, quote, divider, media, callout, toggle,
+     * columns, page-link, block (a @texuli/blocks block) and embed (a one-node catalog component, a
+     * deck, a sheet or a canvas).
+     */
+    blocks: readonly Readonly<Record<string, unknown>>[];
+    /** Comment threads, suggestions and named versions, kept apart from content. */
+    annotations?: Readonly<Record<string, unknown>>;
+}
+/**
+ * One RFC 6902 operation on a document. Paths are RFC 6901 pointers into the document;
+ * @texuli/document/ops refuses prototype paths and malformed escapes, applies the patch all or none
+ * and validates the result.
+ */
+export interface BlueprintDocumentPatchOperation {
+    op: 'add' | 'remove' | 'replace' | 'move' | 'copy' | 'test';
+    path: string;
+    from?: string;
+    /** Any plain JSON value (add, replace and test). */
+    value?: unknown;
+}
+/** A bounded RFC 6902 patch (ADR-011): at most 1,000 operations; test operations are encouraged. */
+export type BlueprintDocumentPatch = readonly BlueprintDocumentPatchOperation[];
+/**
+ * A Texuli canvas (spec 0.8.0, ADR-012): the format, version, metadata, grid, shapes and connectors
+ * of @texuli/canvas. This contract checks the envelope of the canvas only; the closed shape
+ * vocabulary and palette, text safety, the URL policy and the caps are checked by
+ * @texuli/canvas/model (schemas/canvas.schema.json) inside the runtime validator, @texuli/catalog's
+ * validateDraft, at the host's tier (the host supplies checkCanvas).
+ */
+export interface BlueprintCanvas {
+    format: 'texuli-canvas';
+    formatVersion: 1;
+    /** Title, locale and description. */
+    meta?: Readonly<Record<string, unknown>>;
+    /** The snap grid in world units. */
+    grid?: number;
+    /**
+     * The shapes, bottom to top: rect, ellipse, diamond, line, arrow, path, text, sticky, image (a
+     * host ref and alt text), frame and group (which hold shapes).
+     */
+    shapes: readonly Readonly<Record<string, unknown>>[];
+    /**
+     * Connectors between shapes or points, routed straight, elbow or curved, with optional caps and a
+     * label.
+     */
+    connectors: readonly Readonly<Record<string, unknown>>[];
+}
+/**
+ * A Texuli sheet, the sheet prop of a spreadsheet node (spec 0.8.0, ADR-012 and ADR-015): the
+ * format, version, metadata and tabs of @texuli/sheets. This contract checks the envelope of the
+ * sheet only (format, version, members, at most 16 tabs, each with an id, a name, a row and column
+ * count within the caps, and cells keyed by A1 address); the cell inputs, the formula grammar and
+ * its closed function set, text safety and the cell cap are checked by @texuli/sheets/model
+ * (validateSheet) inside the runtime validator, @texuli/catalog's validateDraft (the host supplies
+ * checkSheet).
+ */
+export interface BlueprintSheet {
+    format: 'texuli-sheet';
+    formatVersion: 1;
+    /** The title. */
+    meta?: Readonly<Record<string, unknown>>;
+    /**
+     * The tabs, in order: { id, name, rows (1 to 10,000), columns (1 to 256), cells } where cells
+     * maps A1 addresses to a number, a boolean, text or formula text that starts with =.
+     */
+    sheets: readonly BlueprintSheetTab[];
+}
+/**
+ * One tab of a sheet: a stable id, the name formulas use, the row and column counts, and the cell
+ * inputs by A1 address.
+ */
+export interface BlueprintSheetTab {
+    id: string;
+    name: string;
+    rows: number;
+    columns: number;
+    cells?: Readonly<Record<string, unknown>>;
+}
+/**
+ * A data source the host registered (spec 0.8.0, ADR-015): an opaque name, never a URL. Checked
+ * against the host's registry; with no registry a binding is refused.
+ */
+export type BlueprintSourceName = string;
+/** A field the source declares. */
+export type BlueprintSourceFieldName = string;
+/**
+ * The @texuli/data grid filter model: a condition ({type: condition, field, operator, value}) or an
+ * and/or group ({type: group, op, children}). At most 6 levels and 64 nodes. Which members each
+ * type takes, the operators each field allows and the value types are checked by the validator
+ * against the source's declaration.
+ */
+export interface BlueprintSourceFilter {
+    type: 'condition' | 'group';
+    field?: BlueprintSourceFieldName;
+    operator?: 'eq' | 'neq' | 'contains' | 'in' | 'between' | 'before' | 'after' | 'isEmpty' | 'isNotEmpty';
+    /**
+     * A string, number, boolean or null; a list of them for in (at most 100) and between (exactly 2).
+     * Data, never code.
+     */
+    value?: unknown;
+    op?: 'and' | 'or';
+    children?: readonly BlueprintSourceFilter[];
+}
+/** One sort key on a sortable field. */
+export interface BlueprintSourceSort {
+    field: BlueprintSourceFieldName;
+    direction?: 'asc' | 'desc';
+}
+/**
+ * The closed query a data-source binding sends (ADR-015): projection, a filter, sort keys, search
+ * text and a page size. The host adapter receives it validated and decides how to run it; Texuli
+ * never builds URLs, SQL or code from it.
+ */
+export interface BlueprintSourceQuery {
+    fields?: readonly BlueprintSourceFieldName[];
+    filter?: BlueprintSourceFilter;
+    sort?: readonly BlueprintSourceSort[];
+    search?: string;
+    pageSize?: number;
+}
+/**
+ * Reads a whole sourceable prop from a host data source (spec 0.8.0, ADR-015): {"$source": name,
+ * "query": {...}, "map": {itemField: sourceField}}. The player loads the rows through the host's
+ * registry; map renames source fields to the component's item fields (at most 16 entries).
+ */
+export interface BlueprintSourceBinding {
+    $source: BlueprintSourceName;
+    query?: BlueprintSourceQuery;
+    map?: Readonly<Record<string, BlueprintSourceFieldName>>;
+}
 /**
  * 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; 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.
+ * and the envelope motion level; spec 0.7.0 (ADR-011, ADR-012, ADR-014) adds an optional node key
+ * (a stable instance id, unique in the tree), the document shape a `document` node carries and the
+ * patchDocument edit op with its bounded RFC 6902 patch. Spec 0.8.0 (ADR-012, ADR-015) adds
+ * data-source bindings: a sourceable prop may read rows from a source the host registered
+ * ({"$source": name, "query": {...}}), with a closed query, and forms as data: the closed form
+ * schema a `schema-form` node carries ($defs.formSchema) with conditions and cross-field rules in
+ * the closed expression AST of @texuli/core/expression ($defs.expression). Spec 0.8.0 (ADR-012)
+ * adds the canvas shape a `canvas` node carries ($defs.canvas). Planned minor additions: the native
+ * profile and several roots.
  */
 export interface BlueprintEnvelope {
     format: 'texuli-blueprint';
@@ -253,7 +587,7 @@ 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' | '0.5.0' | '0.6.0';
+    spec?: '0.3.0' | '0.4.0' | '0.5.0' | '0.6.0' | '0.7.0' | '0.8.0';
     /**
      * Local state declarations (ADR-008), at most 64. Names, counts and per-type rules are checked by
      * the validator.

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.6.0, digest 37141b85b9ab9f02af849a62a9c97ba729d6c5c2705130290bcdf45b308ea4cc
+// Spec 0.8.0, digest f6b6388280d247eb9c3106a925111f35b90d1ec3b59c23652542f06a9f103daf
 export {};

package/dist/generated/typescript/catalog-schema.d.ts

@@ -14,6 +14,11 @@ export interface SpecComponent {
     events?: readonly SpecEventName[];
     /** Props a node may two-way bind (node bind). */
     bindable?: readonly string[];
+    /**
+     * Props a node may read from a host data source (spec 0.8.0, ADR-015): {"$source": name, "query":
+     * {...}}. Each names an array prop whose items are rows.
+     */
+    sourceable?: readonly string[];
     deprecated?: SpecDeprecation;
 }
 export interface SpecProp {

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.6.0, digest 37141b85b9ab9f02af849a62a9c97ba729d6c5c2705130290bcdf45b308ea4cc
+// Spec 0.8.0, digest f6b6388280d247eb9c3106a925111f35b90d1ec3b59c23652542f06a9f103daf
 export {};

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

@@ -4,7 +4,7 @@ export interface SpecDiagnostic {
     message: string;
     id?: string;
 }
-export type SpecDiagnosticCode = 'schema' | 'unknown-id' | 'unknown-prop' | 'prop-type' | 'enum-value' | 'missing-required' | 'extension-prop' | 'catalog-mismatch' | 'unsupported-profile' | 'unknown-slot' | 'state' | 'unknown-state' | 'binding' | 'action' | 'unknown-event' | 'workflow';
+export type SpecDiagnosticCode = 'schema' | 'unknown-id' | 'unknown-prop' | 'prop-type' | 'enum-value' | 'missing-required' | 'extension-prop' | 'catalog-mismatch' | 'unsupported-profile' | 'unknown-slot' | 'state' | 'unknown-state' | 'binding' | 'action' | 'unknown-event' | 'workflow' | 'duplicate-key' | 'source' | 'unknown-source';
 export interface SpecWarning {
     code: SpecWarningCode;
     path: string;

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.6.0, digest 37141b85b9ab9f02af849a62a9c97ba729d6c5c2705130290bcdf45b308ea4cc
+// Spec 0.8.0, digest f6b6388280d247eb9c3106a925111f35b90d1ec3b59c23652542f06a9f103daf
 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.6.0, digest 37141b85b9ab9f02af849a62a9c97ba729d6c5c2705130290bcdf45b308ea4cc
+// Spec 0.8.0, digest f6b6388280d247eb9c3106a925111f35b90d1ec3b59c23652542f06a9f103daf
 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 = "4ac7ecedd1c59d1999a9f7eea2f523c7653fececb97258a478f09253f6b6057f";
+export declare const SPEC_CATALOG_HASH = "598075e391ed95dcba46e120d2fbb706e8ff67d0d5bdeb3c0741f334f439b264";
 /** 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-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 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", "canvas", "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-dashboard", "data-dashboard-widget", "data-files", "data-filter-builder", "data-grid", "data-map", "data-notification-inbox", "data-timeline", "data-tree-view", "deck-slide", "description", "detail-panel", "dialog", "document", "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", "schema-form", "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", "spreadsheet", "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 {
@@ -139,6 +139,10 @@ export interface SpecComponentProps {
         title?: string;
         tone?: 'info' | 'success' | 'warning' | 'error' | 'brand' | 'neutral';
     };
+    canvas: {
+        canvas: Readonly<Record<string, unknown>>;
+        label?: string;
+    };
     card: {
         href?: string;
         hrefTrust?: 'developer' | 'untrusted';
@@ -493,6 +497,20 @@ export interface SpecComponentProps {
         rows: readonly unknown[];
         valueKind?: 'rate' | 'count';
     };
+    'data-dashboard': {
+        columns?: number;
+        compaction?: 'vertical' | 'none';
+        density?: 'compact' | 'default' | 'comfortable';
+        editable?: boolean;
+        gap?: 'none' | 'small' | 'medium' | 'large';
+        label: string;
+        layout?: readonly unknown[];
+    };
+    'data-dashboard-widget': {
+        place?: Readonly<Record<string, unknown>>;
+        title: string;
+        widgetId: string;
+    };
     'data-files': {
         density?: 'comfortable' | 'compact';
         entries: readonly unknown[];
@@ -567,6 +585,11 @@ export interface SpecComponentProps {
         size?: 'sm' | 'md' | 'lg' | 'xl';
         title: string;
     };
+    document: {
+        doc: Readonly<Record<string, unknown>>;
+        label?: string;
+        outline?: boolean;
+    };
     drawer: {
         closeOnEscape?: boolean;
         dismissOutside?: boolean;
@@ -980,6 +1003,11 @@ export interface SpecComponentProps {
         side?: 'top' | 'right' | 'bottom' | 'left' | 'start' | 'end' | 'center';
         size?: 'sm' | 'md' | 'lg' | 'xl';
     };
+    'schema-form': {
+        action: string;
+        label?: string;
+        schema: Readonly<Record<string, unknown>>;
+    };
     'screen-outlet': Record<string, never>;
     select: {
         defaultValue?: string;
@@ -1047,6 +1075,10 @@ export interface SpecComponentProps {
         detailLabel?: string;
         listLabel?: string;
     };
+    spreadsheet: {
+        label?: string;
+        sheet: Readonly<Record<string, unknown>>;
+    };
     stat: {
         delta?: string;
         hint?: string;

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.6.0, digest 37141b85b9ab9f02af849a62a9c97ba729d6c5c2705130290bcdf45b308ea4cc
+// Spec 0.8.0, digest f6b6388280d247eb9c3106a925111f35b90d1ec3b59c23652542f06a9f103daf
 /** The built catalog this vocabulary was projected from. */
-export const SPEC_CATALOG_HASH = '4ac7ecedd1c59d1999a9f7eea2f523c7653fececb97258a478f09253f6b6057f';
+export const SPEC_CATALOG_HASH = '598075e391ed95dcba46e120d2fbb706e8ff67d0d5bdeb3c0741f334f439b264';
 /** Every closed component id, sorted. */
 export const SPEC_COMPONENT_IDS = [
     'action-form',
@@ -24,6 +24,7 @@ export const SPEC_COMPONENT_IDS = [
     'button',
     'button-group',
     'callout',
+    'canvas',
     'card',
     'charts-area',
     'charts-bar',
@@ -65,6 +66,8 @@ export const SPEC_COMPONENT_IDS = [
     'data-board',
     'data-calendar',
     'data-cohort-table',
+    'data-dashboard',
+    'data-dashboard-widget',
     'data-files',
     'data-filter-builder',
     'data-grid',
@@ -76,6 +79,7 @@ export const SPEC_COMPONENT_IDS = [
     'description',
     'detail-panel',
     'dialog',
+    'document',
     'drawer',
     'dropdown-menu',
     'dropdown-menu-content',
@@ -139,6 +143,7 @@ export const SPEC_COMPONENT_IDS = [
     'radio',
     'radio-group',
     'responsive-modal',
+    'schema-form',
     'screen-outlet',
     'select',
     'select-content',
@@ -154,6 +159,7 @@ export const SPEC_COMPONENT_IDS = [
     'sidebar',
     'sortable-list',
     'split-view',
+    'spreadsheet',
     'stat',
     'stepper',
     'switch',

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.6.0, digest 37141b85b9ab9f02af849a62a9c97ba729d6c5c2705130290bcdf45b308ea4cc
+// Spec 0.8.0, digest f6b6388280d247eb9c3106a925111f35b90d1ec3b59c23652542f06a9f103daf
 export {};

package/dist/index.d.ts

@@ -20,6 +20,7 @@ export { CAPABILITIES, type Capability, type SpecPropKind, WEB_ONLY_KINDS, WEB_O
 export { ACTION_FIELDS, contractRoot, DATA_BINDING_KEY, SPEC_ACTION_OPS, SPEC_EVENT_NAMES, SPEC_LIMITS, SPEC_PATTERNS, SPEC_PROP_REFS, SPEC_STATE_TYPES, type SpecActionOp, type SpecStateType, STATE_BINDING_KEY, STATE_FIELDS, toDialectSchema, } from './contract.js';
 export { checkSchemaDocument, DIALECT_KEYWORDS, DIALECT_TYPES, DIALECT_URI, type DialectHooks, type DialectType, type Schema, type SchemaIssue, validateInstance, } from './dialect.js';
 export type { SpecMigration, SpecMigrationResult } from './migrations/types.js';
+export { checkSourceBinding, isSourceBinding, isSpecSourceDate, SOURCE_BINDING_FIELDS, SOURCE_BINDING_KEY, type SourceBindingContext, type SourceBindingIssue, SPEC_SOURCE_FIELD_TYPES, SPEC_SOURCE_FILTER_OPERATORS, SPEC_SOURCE_LIMITS, SPEC_SOURCE_OPERATIONS, SPEC_SOURCE_PATTERNS, type SpecSourceDescriptor, type SpecSourceField, type SpecSourceFieldType, type SpecSourceFilterOperator, type SpecSourceOperation, } from './source.js';
 export { checkStateSurface, LIST_TEXT_PATTERN, SPEC_CONTROL_STATE_TYPES, SURFACE_PLAYER_CODES, type SurfaceCode, type SurfaceInputs, type SurfaceIssue, surfaceInputs, } from './surface.js';
 export { type SpecDocuments, type SpecFlowInfo, type SpecStateVariable, type TreeOptions, validateBlueprint, validateTree, type WorkflowGraphValidator, } from './validate.js';
 export { SPEC_VERSION } from './version.js';

package/dist/index.js

@@ -14,6 +14,7 @@ export { canonicalJson, sha256 } from "./canonical.js";
 export { CAPABILITIES, WEB_ONLY_KINDS, WEB_ONLY_PROP_NAMES, } from "./catalog.js";
 export { ACTION_FIELDS, contractRoot, DATA_BINDING_KEY, SPEC_ACTION_OPS, SPEC_EVENT_NAMES, SPEC_LIMITS, SPEC_PATTERNS, SPEC_PROP_REFS, SPEC_STATE_TYPES, STATE_BINDING_KEY, STATE_FIELDS, toDialectSchema, } from "./contract.js";
 export { checkSchemaDocument, DIALECT_KEYWORDS, DIALECT_TYPES, DIALECT_URI, validateInstance, } from "./dialect.js";
+export { checkSourceBinding, isSourceBinding, isSpecSourceDate, SOURCE_BINDING_FIELDS, SOURCE_BINDING_KEY, SPEC_SOURCE_FIELD_TYPES, SPEC_SOURCE_FILTER_OPERATORS, SPEC_SOURCE_LIMITS, SPEC_SOURCE_OPERATIONS, SPEC_SOURCE_PATTERNS, } from "./source.js";
 export { checkStateSurface, LIST_TEXT_PATTERN, SPEC_CONTROL_STATE_TYPES, SURFACE_PLAYER_CODES, surfaceInputs, } from "./surface.js";
 export { validateBlueprint, validateTree, } from "./validate.js";
 export { SPEC_VERSION } from "./version.js";

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

@@ -0,0 +1,10 @@
+import type { SpecMigration } from './types.js';
+/**
+ * 0.6.0 → 0.7.0 is additive (PLAN_010 T-doc-agents, ADR-011, ADR-012 and
+ * ADR-014): nodes gain an optional `key` (a stable instance id, unique in
+ * the tree), the catalog gains the `document` id whose `doc` prop carries a
+ * Texuli document, and edit ops gain `patchDocument` (a bounded RFC 6902
+ * patch) and key addressing. Every 0.6.0 envelope is a valid 0.7.0
+ * envelope, so the step only stamps `spec`.
+ */
+export declare const migration060to070: SpecMigration;

package/dist/migrations/0.6.0-0.7.0.js

@@ -0,0 +1,13 @@
+/**
+ * 0.6.0 → 0.7.0 is additive (PLAN_010 T-doc-agents, ADR-011, ADR-012 and
+ * ADR-014): nodes gain an optional `key` (a stable instance id, unique in
+ * the tree), the catalog gains the `document` id whose `doc` prop carries a
+ * Texuli document, and edit ops gain `patchDocument` (a bounded RFC 6902
+ * patch) and key addressing. Every 0.6.0 envelope is a valid 0.7.0
+ * envelope, so the step only stamps `spec`.
+ */
+export const migration060to070 = Object.freeze({
+    from: '0.6.0',
+    to: '0.7.0',
+    migrate: (envelope) => ({ ...envelope, spec: '0.7.0' }),
+});

package/dist/migrations/0.7.0-0.8.0.d.ts

@@ -0,0 +1,8 @@
+import type { SpecMigration } from './types.js';
+/**
+ * 0.7.0 → 0.8.0 is additive (PLAN_010 wave 4–6, ADR-012 and ADR-015): it
+ * adds vocabulary (data-source bindings and the other 0.8.0 additions) and
+ * removes nothing. Every 0.7.0 envelope is a valid 0.8.0 envelope, so the
+ * step only stamps `spec`.
+ */
+export declare const migration070to080: SpecMigration;