@elytracms/studio 0.0.92 → 0.0.93

package/dist/lib/ai/constraints.js

@@ -28,6 +28,25 @@ import { BOUND_UNIT_NOUN, fieldJsonSchema, fieldTypeOf } from '@elytracms/core/c
 import { MARKDOWN_PROSE_DESCRIPTION } from '@elytracms/core/rich-text';
 /** The note appended when a field's constraint projection is knowingly partial. */
 export const INCOMPLETE_CONSTRAINTS_NOTE = 'further validation rules apply that are not expressible here — keep the value conventional and plausible';
+/**
+ * What the catalog says about a composition (`blocks`) — its writer form is NONE
+ * (`FIELD_TYPES.blocks.writer === 'composition'`, ratified 4c, EC-593): the assistant
+ * changes component props, never which components there are. Said in the prose because
+ * the omission must be VISIBLE, not a field the model simply never hears of.
+ */
+export const COMPOSITION_NOTE = 'page-builder composition: the assistant never adds, moves or removes its components (that is done on the canvas) — change one component prop with blockId + prop (getDocument lists the components and their props)';
+/**
+ * Whether a field's validation has rules its projection cannot state (RULES D13): a
+ * schema whose projection is knowingly partial (`schemaComplete: false`), or a FUNCTION
+ * `validate` — normalisation stamps `schemaComplete` on a schema-form validator only, so
+ * a declared `validate` without it is a function no consumer can read.
+ */
+function hasUnstatedRules(field) {
+    const validation = field.validation;
+    if (!validation)
+        return false;
+    return validation.schemaComplete === false || (validation.validate !== undefined && validation.schemaComplete === undefined);
+}
 /**
  * The prose form of `format: 'date-time'` (EC-505). The JSON-Schema keyword rides
  * on the target shape for the provider's validator; the CATALOG has no JSON Schema
@@ -63,13 +82,29 @@ export function plainTextBoundPhrase(field) {
         return `at most ${max} ${noun}`;
     return undefined;
 }
-/** {@link plainTextBoundPhrase} for a field and every sub-field below it, name-prefixed. */
-function plainTextBoundClauses(field, prefix = '') {
+/** The declared sub-fields of an object or an asset placement (`[]` for any other type). */
+function subFieldsOf(field) {
+    return field.type === 'object' ? field.fields : field.type === 'asset' ? (field.fields ?? []) : [];
+}
+/**
+ * The clauses only the DECLARATION can say, for a field and every sub-field below it,
+ * name-prefixed (`note: at most 400 plain-text characters`, `label: required`):
+ * - a plain-text bound ({@link plainTextBoundPhrase}, EC-581);
+ * - a sub-field's `required` (RULES F3d — the shape's JSON `required` carried it, the
+ *   prose never did); the field's own is said by {@link describeFieldConstraints};
+ * - a sub-field's rules the projection cannot state ({@link hasUnstatedRules}).
+ */
+function declarationClauses(field, prefix = '') {
     const own = plainTextBoundPhrase(field);
     const out = own !== undefined ? [`${prefix}${own}`] : [];
-    const subs = field.type === 'object' ? field.fields : field.type === 'asset' ? (field.fields ?? []) : [];
-    for (const sub of subs)
-        out.push(...plainTextBoundClauses(sub, `${prefix}${sub.name}: `));
+    for (const sub of subFieldsOf(field)) {
+        const subPrefix = `${prefix}${sub.name}: `;
+        if (sub.validation?.required === true)
+            out.push(`${subPrefix}required`);
+        out.push(...declarationClauses(sub, subPrefix));
+        if (hasUnstatedRules(sub))
+            out.push(`${subPrefix}${INCOMPLETE_CONSTRAINTS_NOTE}`);
+    }
     return out;
 }
 /**
@@ -103,35 +138,69 @@ export function richTextWriterSchema(field) {
  *  - relation → `{ collection, id }` (the envelope minus `type`): the lens rebuilds
  *    a bare reference into its envelope;
  *  - rich text → a markdown string (`richTextWriterSchema`) — the engine converts it
- *    wherever it sits (`apply-content.ts`);
- *  - an `object` → its own projection with every subfield in ITS writer form.
+ *    wherever it sits (`writer-form.ts`, EC-593);
+ *  - an `object` → its own projection with every subfield in ITS writer form;
+ *  - a composition (`blocks`) → NONE (`undefined`): its structure is the canvas's
+ *    (ratified 4c, EC-593) — a target shape omits it and says so.
  *
  * Writer objects are closed (`additionalProperties: false`): a writer inventing keys
  * is a fault, where a stored envelope carrying extra keys is drift the lens
- * tolerates (EC-556 §B) — which is why the projection itself stays open. The
- * top-level relation/asset id ENUM (EC-381) is the target shape's own override.
+ * tolerates (EC-556 §B) — which is why the projection itself stays open.
+ *
+ * With a `leash` (the create target shape, EC-381 → EC-593) every relation / asset id
+ * — at EVERY depth, not only a top-level field — is an ENUM over what the model
+ * searched for that position (a relation's target, an asset's `accept`), and a position
+ * with nothing searched is omitted (empty beats wrong). Without one (the catalog prose)
+ * the plain writer forms are described.
  */
-export function writerFieldSchema(field) {
-    return writerForm(field, fieldJsonSchema(field));
+export function writerFieldSchema(field, leash) {
+    return writerForm(field, fieldJsonSchema(field), leash);
+}
+/** An id enum over searched candidates, labelled for the model to choose against. */
+function candidateEnum(candidates, asset) {
+    const label = candidates.map((c) => (c.label ? `${c.id} (${c.label})` : c.id)).join(', ');
+    return {
+        type: 'string',
+        enum: candidates.map((c) => c.id),
+        description: asset
+            ? `Choose an EXISTING library asset id, one of: ${label}. Leave empty if none fits.`
+            : `Choose one of: ${label}`,
+    };
 }
 /** EC-581: the writer form is DECLARED per type (`FIELD_TYPES[type].writer`); built here. */
-function writerForm(field, base) {
+function writerForm(field, base, leash) {
     switch (fieldTypeOf(field).writer) {
         case 'markdown':
             return richTextWriterSchema(field);
+        case 'composition':
+            return undefined;
         case 'placement': {
             if (field.type !== 'asset')
                 return base;
             // `type`/`id` belong to the envelope; the projection never lets a sub-field
             // of that name shadow them, and neither does the writer form.
             const subfields = (field.fields ?? []).filter((sub) => sub.name !== 'type' && sub.name !== 'id');
-            return perItem(field.multiple, base, (item) => subfields.length === 0 ? bareAssetId(item) : writerObject(subfields, item));
+            const candidates = leash?.assetCandidates(field);
+            if (candidates !== undefined && candidates.length === 0)
+                return undefined;
+            const idSchema = (item) => candidates !== undefined ? candidateEnum(candidates, true) : bareAssetId(item);
+            return perItem(field.multiple, base, (item) => subfields.length === 0
+                ? idSchema(item)
+                : writerObject(subfields, { ...item, properties: { ...propertiesOf(item), id: idSchema(item) } }, leash));
+        }
+        case 'reference': {
+            if (field.type !== 'relation')
+                return base;
+            if (!leash)
+                return perItem(field.multiple, base, bareReference);
+            const candidates = leash.relationCandidates(field.target);
+            if (candidates.length === 0)
+                return undefined;
+            return perItem(field.multiple, base, () => candidateEnum(candidates, false));
         }
-        case 'reference':
-            return field.type === 'relation' ? perItem(field.multiple, base, bareReference) : base;
         case 'object':
             return field.type === 'object'
-                ? perItem(field.multiple, base, (item) => writerObject(field.fields, item))
+                ? perItem(field.multiple, base, (item) => writerObject(field.fields, item, leash))
                 : base;
         case 'value':
             return base;
@@ -159,15 +228,27 @@ function bareReference(envelope) {
         : [];
     return { ...envelope, properties, required, additionalProperties: false };
 }
-/** An object-shaped node with each declared subfield in its writer form, closed. */
-function writerObject(fields, node) {
+/**
+ * An object-shaped node with each declared subfield in its writer form, closed. A
+ * sub-field with no writer form here (nothing searched for its id) is omitted, and
+ * leaves the `required` list with it.
+ */
+function writerObject(fields, node, leash) {
     const properties = { ...propertiesOf(node) };
+    let required = Array.isArray(node.required) ? node.required : undefined;
     for (const sub of fields) {
         const subBase = properties[sub.name];
-        if (subBase !== undefined)
-            properties[sub.name] = writerForm(sub, subBase);
+        if (subBase === undefined)
+            continue;
+        const written = writerForm(sub, subBase, leash);
+        if (written !== undefined)
+            properties[sub.name] = written;
+        else {
+            delete properties[sub.name];
+            required = required?.filter((name) => name !== sub.name);
+        }
     }
-    return { ...node, properties, additionalProperties: false };
+    return { ...node, properties, ...(required ? { required } : {}), additionalProperties: false };
 }
 /**
  * Drop `pattern` wherever `format` is present (EC-473/EC-474 req 6). Returns the
@@ -229,14 +310,19 @@ export function toModelFacingSchema(schema) {
  * Human-readable phrases for the constraint keywords of ONE schema node, in a stable
  * order — the form a model reads best. Node-level only: nested `items`/`properties`
  * are {@link describeSchemaDeep}'s business. Total over the projection's numeric,
- * string and array vocabulary; `enum`/`const` are deliberately not phrased — they
- * ride the target SHAPE as JSON Schema, and a `select`'s options or a relation's
- * `collection` const would otherwise repeat on every catalog line.
+ * string, array and option vocabulary. An `enum` IS phrased (RULES D14, EC-593): the
+ * catalog is prose only, so a `select`'s options never reached the update path that
+ * authors through it. A `const` is not (a relation's `collection` is the envelope's,
+ * not a rule the writer chooses against).
  */
 function describeSchemaConstraints(schema) {
     const out = [];
     const num = (value) => typeof value === 'number' ? value : undefined;
     const text = (value) => typeof value === 'string' ? value : undefined;
+    if (Array.isArray(schema.enum) && schema.enum.length > 0) {
+        // Quoted and `|`-separated: the clause itself is joined with commas.
+        out.push(`one of ${schema.enum.map((option) => JSON.stringify(option)).join(' | ')}`);
+    }
     const minLength = num(schema.minLength);
     const maxLength = num(schema.maxLength);
     if (minLength !== undefined && maxLength !== undefined) {
@@ -335,18 +421,24 @@ export function describeFieldConstraints(field) {
     const out = [];
     if (field.validation?.required === true)
         out.push('required');
-    // EC-556: the prose tells a WRITER what to write, so it reads the writer form.
-    out.push(...describeSchemaDeep(writerFieldSchema(field)));
-    // EC-581: a bound whose unit has no schema keyword — rich text's plain-text
-    // characters — is said in its unit, read off the per-FieldType definition, at every
-    // depth the writer form reaches (`note: at most 400 plain-text characters …`).
-    out.push(...plainTextBoundClauses(field));
+    // EC-556: the prose tells a WRITER what to write, so it reads the writer form —
+    // and a type with NO writer form says why (EC-593, ratified 4c).
+    const writer = writerFieldSchema(field);
+    if (writer === undefined)
+        out.push(COMPOSITION_NOTE);
+    else
+        out.push(...describeSchemaDeep(writer));
+    // EC-581 / EC-593: what only the declaration can say — a plain-text bound, a
+    // sub-field's `required`, a sub-field's unstated rules — at every depth the writer
+    // form reaches (`note: at most 400 plain-text characters …`, `label: required`).
+    out.push(...declarationClauses(field));
     if (field.validation?.unique === true)
         out.push('unique across the collection');
     // The one thing the projection cannot say about itself: that it is partial (an
-    // opaque vendor, a `.refine()`, or — EC-522 — a rule at a position the field's
-    // shape has no counterpart for). Set at config resolve, read here, nowhere else.
-    if (field.validation?.schemaComplete === false)
+    // opaque vendor, a `.refine()`, — EC-522 — a rule at a position the field's shape
+    // has no counterpart for, or — RULES D13 — a validate FUNCTION, which no projection
+    // can read at all). Set at config resolve, read here, nowhere else.
+    if (hasUnstatedRules(field))
         out.push(INCOMPLETE_CONSTRAINTS_NOTE);
     return out;
 }

package/dist/lib/ai/constraints.js.map

@@ -1 +1 @@
-{"version":3,"file":"constraints.js","sourceRoot":"","sources":["../../../src/lib/ai/constraints.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAExF,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAA;AAEtE,mFAAmF;AACnF,MAAM,CAAC,MAAM,2BAA2B,GACtC,0GAA0G,CAAA;AAE5G;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,eAAe,CAAA;AAE5C,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;AAC7E,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAe;IAClD,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,YAAY;QAAE,OAAO,SAAS,CAAA;IACvE,MAAM,GAAG,GAAG,OAAO,KAAK,CAAC,UAAU,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAA;IACxF,MAAM,GAAG,GAAG,OAAO,KAAK,CAAC,UAAU,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAA;IACxF,MAAM,IAAI,GAAG,eAAe,CAAC,YAAY,CAAC,CAAA;IAC1C,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,GAAG,GAAG,IAAI,GAAG,IAAI,IAAI,EAAE,CAAA;IAC1E,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,YAAY,GAAG,IAAI,IAAI,EAAE,CAAA;IACvD,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,WAAW,GAAG,IAAI,IAAI,EAAE,CAAA;IACtD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,4FAA4F;AAC5F,SAAS,qBAAqB,CAAC,KAAe,EAAE,MAAM,GAAG,EAAE;IACzD,MAAM,GAAG,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAA;IACvC,MAAM,GAAG,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IACxD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IACxG,KAAK,MAAM,GAAG,IAAI,IAAI;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,GAAG,EAAE,GAAG,MAAM,GAAG,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CAAA;IACzF,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAe;IAClD,MAAM,MAAM,GAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;IAC7C,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAA;IACzC,MAAM,CAAC,WAAW,GAAG,yBAAyB,0BAA0B,qCAAqC,KAAK,CAAC,CAAC,CAAC,YAAY,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAA;IAChJ,OAAO,MAAM,CAAA;AACf,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAe;IAC/C,OAAO,UAAU,CAAC,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CAAA;AAClD,CAAC;AAED,6FAA6F;AAC7F,SAAS,UAAU,CAAC,KAAe,EAAE,IAAgB;IACnD,QAAQ,WAAW,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QAClC,KAAK,UAAU;YACb,OAAO,oBAAoB,CAAC,KAAK,CAAC,CAAA;QACpC,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,IAAI,CAAA;YACvC,4EAA4E;YAC5E,8DAA8D;YAC9D,MAAM,SAAS,GAAG,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAA;YAChG,OAAO,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAC5C,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,SAAS,EAAE,IAAI,CAAC,CAC3E,CAAA;QACH,CAAC;QACD,KAAK,WAAW;YACd,OAAO,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;QACxF,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAC5B,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;gBAC3E,CAAC,CAAC,IAAI,CAAA;QACV,KAAK,OAAO;YACV,OAAO,IAAI,CAAA;IACf,CAAC;AACH,CAAC;AAED,0FAA0F;AAC1F,SAAS,OAAO,CAAC,QAAiB,EAAE,IAAgB,EAAE,GAAqC;IACzF,IAAI,CAAC,QAAQ;QAAE,OAAO,GAAG,CAAC,IAAI,CAAC,CAAA;IAC/B,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;AAC9E,CAAC;AAED,SAAS,YAAY,CAAC,IAAgB;IACpC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAA;IAClC,OAAO,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,CAAE,UAAyC,CAAC,CAAC,CAAC,EAAE,CAAA;AACnF,CAAC;AAED,wEAAwE;AACxE,SAAS,WAAW,CAAC,QAAoB;IACvC,OAAO,YAAY,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;AACxD,CAAC;AAED,+EAA+E;AAC/E,SAAS,aAAa,CAAC,QAAoB;IACzC,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,UAAU,EAAE,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAA;IACtE,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAC/C,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC;QACnD,CAAC,CAAC,EAAE,CAAA;IACN,OAAO,EAAE,GAAG,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAA;AAC3E,CAAC;AAED,oFAAoF;AACpF,SAAS,YAAY,CAAC,MAA2B,EAAE,IAAgB;IACjE,MAAM,UAAU,GAA+B,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,EAAE,CAAA;IACxE,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACpC,IAAI,OAAO,KAAK,SAAS;YAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;IAC5E,CAAC;IACD,OAAO,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAA;AAC7D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAkB;IACtD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,MAAM,CAAA;IAC9E,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,GAAG,MAAM,CAAA;IAC7C,OAAO,IAAI,CAAA;AACb,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,MAAkB,EAAE,SAA2C;IACpF,IAAI,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,CAAA;IAC3B,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAA;IACvB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzE,MAAM,IAAI,GAAG,aAAa,CAAC,KAAmB,EAAE,SAAS,CAAC,CAAA;QAC1D,IAAI,IAAI,KAAK,KAAK;YAAE,GAAG,GAAG,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAA;IACnD,CAAC;IACD,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAA;IACjC,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACxF,IAAI,OAAO,GAAG,KAAK,CAAA;QACnB,MAAM,SAAS,GAA+B,EAAE,CAAA;QAChD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAqC,CAAC,EAAE,CAAC;YACjF,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzE,MAAM,IAAI,GAAG,aAAa,CAAC,KAAmB,EAAE,SAAS,CAAC,CAAA;gBAC1D,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,CAAA;gBACrB,IAAI,IAAI,KAAK,KAAK;oBAAE,OAAO,GAAG,IAAI,CAAA;YACpC,CAAC;iBAAM,CAAC;gBACN,SAAS,CAAC,GAAG,CAAC,GAAG,KAAmB,CAAA;YACtC,CAAC;QACH,CAAC;QACD,IAAI,OAAO;YAAE,GAAG,GAAG,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,SAAS,EAAE,CAAA;IACtD,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,0BAA0B,CAAC,MAAkB;IAC3D,OAAO,aAAa,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAA;AACrD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAAkB;IACpD,OAAO,aAAa,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAA;AACrD,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,yBAAyB,CAAC,MAAkB;IACnD,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,MAAM,GAAG,GAAG,CAAC,KAAc,EAAsB,EAAE,CACjD,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;IAC/C,MAAM,IAAI,GAAG,CAAC,KAAc,EAAsB,EAAE,CAClD,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;IAE/C,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IACvC,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QACvD,GAAG,CAAC,IAAI,CAAC,GAAG,SAAS,IAAI,SAAS,aAAa,CAAC,CAAA;IAClD,CAAC;SAAM,IAAI,SAAS,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,YAAY,SAAS,aAAa,CAAC,CAAA;SAC3E,IAAI,SAAS,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,WAAW,SAAS,aAAa,CAAC,CAAA;IAE7E,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IACnC,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IACnC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,WAAW,OAAO,QAAQ,OAAO,EAAE,CAAC,CAAA;SAC5F,IAAI,OAAO,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,YAAY,OAAO,EAAE,CAAC,CAAA;SAC1D,IAAI,OAAO,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,WAAW,OAAO,EAAE,CAAC,CAAA;IAE9D,2EAA2E;IAC3E,MAAM,gBAAgB,GAAG,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAA;IACrD,MAAM,gBAAgB,GAAG,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAA;IACrD,IAAI,gBAAgB,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,aAAa,gBAAgB,EAAE,CAAC,CAAA;IAC7E,IAAI,gBAAgB,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,aAAa,gBAAgB,EAAE,CAAC,CAAA;IAC7E,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IACzC,IAAI,UAAU,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,iBAAiB,UAAU,EAAE,CAAC,CAAA;IAErE,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;IACrC,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;IACrC,IAAI,QAAQ,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,YAAY,QAAQ,QAAQ,CAAC,CAAA;IAClE,IAAI,QAAQ,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,WAAW,QAAQ,QAAQ,CAAC,CAAA;IACjE,IAAI,MAAM,CAAC,WAAW,KAAK,IAAI;QAAE,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAA;IAE/D,gFAAgF;IAChF,sEAAsE;IACtE,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAA;IACvC,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAA;IACrC,IAAI,IAAI,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAA;IAC5D,IAAI,EAAE,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAA;IAEtD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAClC,iFAAiF;IACjF,+EAA+E;IAC/E,IAAI,MAAM,KAAK,WAAW;QAAE,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;SAC9C,IAAI,MAAM,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,WAAW,MAAM,EAAE,CAAC,CAAA;IAC5D,wEAAwE;IACxE,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IACpC,IAAI,OAAO,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,aAAa,OAAO,GAAG,CAAC,CAAA;IAEpF,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAS,kBAAkB,CAAC,MAAkB;IAC5C,MAAM,GAAG,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAA;IAC7C,IAAI,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,SAAS,GAAG,kBAAkB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QAClD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,cAAc,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAC1E,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YAC5D,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC;gBAAE,SAAQ;YAChC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAA;YACxC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACtE,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAAe;IACtD,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,IAAI,KAAK,CAAC,UAAU,EAAE,QAAQ,KAAK,IAAI;QAAE,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;IAC7D,+EAA+E;IAC/E,GAAG,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IACzD,4EAA4E;IAC5E,oFAAoF;IACpF,+EAA+E;IAC/E,GAAG,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC,CAAA;IACzC,IAAI,KAAK,CAAC,UAAU,EAAE,MAAM,KAAK,IAAI;QAAE,GAAG,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAA;IAC/E,+EAA+E;IAC/E,+EAA+E;IAC/E,iFAAiF;IACjF,IAAI,KAAK,CAAC,UAAU,EAAE,cAAc,KAAK,KAAK;QAAE,GAAG,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAA;IACrF,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,kBAAkB,CAAC,KAAe;IAChD,MAAM,KAAK,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAA;IAC7C,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AACxD,CAAC","sourcesContent":["/**\n * Model-facing constraint rendering (EC-473, tuned by EC-505).\n *\n * The engine has ONE constraint projection: `fieldJsonSchema` merges a field's\n * declarative rules (`validation.min`/`max`/`pattern`) with the fragment derived\n * from a schema-form `validation.validate` (EC-522: nested `items`/`properties`\n * bounds included, fitted to the field's type at config resolve). This module turns\n * that projection into what the MODEL should see — which is not the same artifact a\n * JSON-Schema consumer wants:\n *\n *  - **a regex is a poor instruction for a model.** `z.string().email()` emits a\n *    ~200-character pattern and `z.iso.date()` a leap-year monster (measured,\n *    EC-474 §3); `format` + bounds says the same thing in four tokens. So on the AI\n *    path a `pattern` is dropped wherever a `format` is present. The JSON Schema\n *    OUTPUT artifact keeps it — different consumer, different needs.\n *  - **a date is one instant string** (EC-505 → EC-586). The projection used to say\n *    `type: ['string','number']` (an epoch was stored as-is) and this module narrowed\n *    it for the model; since EC-586 every write canonicalises a date to ONE ISO-8601\n *    UTC instant, so the projection itself says `type: 'string'` and there is nothing\n *    left to narrow.\n *  - **incompleteness must be stated.** When `validation.schemaComplete` is `false`\n *    the projection is a partial view of the rule, and the model is told so rather\n *    than being handed a half-truth as the whole rule. (An `ai.hint` is exactly the\n *    right place to say what the dropped refinement wants — the note nudges toward\n *    writing one.)\n */\nimport { BOUND_UNIT_NOUN, fieldJsonSchema, fieldTypeOf } from '@elytracms/core/cms-core'\nimport type { FieldDef, JsonSchema } from '@elytracms/core/cms-core'\nimport { MARKDOWN_PROSE_DESCRIPTION } from '@elytracms/core/rich-text'\n\n/** The note appended when a field's constraint projection is knowingly partial. */\nexport const INCOMPLETE_CONSTRAINTS_NOTE =\n  'further validation rules apply that are not expressible here — keep the value conventional and plausible'\n\n/**\n * The prose form of `format: 'date-time'` (EC-505). The JSON-Schema keyword rides\n * on the target shape for the provider's validator; the CATALOG has no JSON Schema\n * at all — it is prose only, and the chat update path authors date values through\n * it. So the format is said in words too, or the only channel that path has says\n * nothing about the one format the engine accepts.\n *\n * Kept to three words deliberately: measured at 6 tokens, against 20 for the same\n * note with a worked example — and it rides every date field of every turn.\n */\nexport const ISO_DATE_NOTE = 'ISO 8601 date'\n\nfunction isSchemaNode(value: unknown): value is JsonSchema {\n  return typeof value === 'object' && value !== null && !Array.isArray(value)\n}\n\n/**\n * The phrase for a field's declared `min`/`max` in the UNIT its type declares\n * (`FIELD_TYPES[type].bounds`, EC-581) — or `undefined` when the field declares none\n * or the unit has a JSON-Schema keyword the projection already carries. Today that is\n * rich text: its bounds count PLAIN-TEXT characters of the stored value (ratified\n * 2a(iii)), which no keyword on the markdown string the model writes can express.\n */\nexport function plainTextBoundPhrase(field: FieldDef): string | undefined {\n  if (fieldTypeOf(field).bounds(field) !== 'plain-text') return undefined\n  const min = typeof field.validation?.min === 'number' ? field.validation.min : undefined\n  const max = typeof field.validation?.max === 'number' ? field.validation.max : undefined\n  const noun = BOUND_UNIT_NOUN['plain-text']\n  if (min !== undefined && max !== undefined) return `${min}–${max} ${noun}`\n  if (min !== undefined) return `at least ${min} ${noun}`\n  if (max !== undefined) return `at most ${max} ${noun}`\n  return undefined\n}\n\n/** {@link plainTextBoundPhrase} for a field and every sub-field below it, name-prefixed. */\nfunction plainTextBoundClauses(field: FieldDef, prefix = ''): string[] {\n  const own = plainTextBoundPhrase(field)\n  const out = own !== undefined ? [`${prefix}${own}`] : []\n  const subs = field.type === 'object' ? field.fields : field.type === 'asset' ? (field.fields ?? []) : []\n  for (const sub of subs) out.push(...plainTextBoundClauses(sub, `${prefix}${sub.name}: `))\n  return out\n}\n\n/**\n * A rich-text field's WRITER form (EC-379, D2 of EC-556): a MARKDOWN string. The\n * description carries the allowed subset (from the engine converter — one source\n * of truth); the engine converts the markdown into the v2 storage value and\n * rejects out-of-subset constructs with explicit issues.\n *\n * EC-563/EC-581: the declared bounds are said in their unit — plain-text characters,\n * markup not counted — in the description, read off the per-FieldType definition.\n * They used to ride as `minLength`/`maxLength` on the markdown string: a different\n * unit (markdown characters) than anything enforced, and a provider validating the\n * structured output would have enforced the wrong one.\n */\nexport function richTextWriterSchema(field: FieldDef): JsonSchema {\n  const schema: JsonSchema = { type: 'string' }\n  const bound = plainTextBoundPhrase(field)\n  schema.description = `Rich text, written as ${MARKDOWN_PROSE_DESCRIPTION} Write genuine, publishable prose.${bound ? ` Length: ${bound}.` : ''}`\n  return schema\n}\n\n/**\n * The WRITER-facing form of one field, at EVERY depth (EC-556): what a model should\n * hand in. Derived from the validator-facing projection (`fieldJsonSchema` — the\n * value at rest, every merged constraint included) by one rule: **the writer omits\n * exactly what the write-time lens (`selfTypeFieldValue`) restores.**\n *\n *  - asset, no per-use sub-fields → the bare id (the projection's `id` property):\n *    the lens wraps a bare id string into `{ type: 'asset', id }`;\n *  - asset WITH sub-fields → the envelope itself, `type` included: the lens wraps a\n *    string, never an object missing its `type`, and the sub-fields need a place;\n *  - relation → `{ collection, id }` (the envelope minus `type`): the lens rebuilds\n *    a bare reference into its envelope;\n *  - rich text → a markdown string (`richTextWriterSchema`) — the engine converts it\n *    wherever it sits (`apply-content.ts`);\n *  - an `object` → its own projection with every subfield in ITS writer form.\n *\n * Writer objects are closed (`additionalProperties: false`): a writer inventing keys\n * is a fault, where a stored envelope carrying extra keys is drift the lens\n * tolerates (EC-556 §B) — which is why the projection itself stays open. The\n * top-level relation/asset id ENUM (EC-381) is the target shape's own override.\n */\nexport function writerFieldSchema(field: FieldDef): JsonSchema {\n  return writerForm(field, fieldJsonSchema(field))\n}\n\n/** EC-581: the writer form is DECLARED per type (`FIELD_TYPES[type].writer`); built here. */\nfunction writerForm(field: FieldDef, base: JsonSchema): JsonSchema {\n  switch (fieldTypeOf(field).writer) {\n    case 'markdown':\n      return richTextWriterSchema(field)\n    case 'placement': {\n      if (field.type !== 'asset') return base\n      // `type`/`id` belong to the envelope; the projection never lets a sub-field\n      // of that name shadow them, and neither does the writer form.\n      const subfields = (field.fields ?? []).filter((sub) => sub.name !== 'type' && sub.name !== 'id')\n      return perItem(field.multiple, base, (item) =>\n        subfields.length === 0 ? bareAssetId(item) : writerObject(subfields, item),\n      )\n    }\n    case 'reference':\n      return field.type === 'relation' ? perItem(field.multiple, base, bareReference) : base\n    case 'object':\n      return field.type === 'object'\n        ? perItem(field.multiple, base, (item) => writerObject(field.fields, item))\n        : base\n    case 'value':\n      return base\n  }\n}\n\n/** Apply `one` to the item schema of a `multiple` field, or to the field's own schema. */\nfunction perItem(multiple: boolean, base: JsonSchema, one: (item: JsonSchema) => JsonSchema): JsonSchema {\n  if (!multiple) return one(base)\n  return isSchemaNode(base.items) ? { ...base, items: one(base.items) } : base\n}\n\nfunction propertiesOf(node: JsonSchema): Record<string, JsonSchema> {\n  const properties = node.properties\n  return isSchemaNode(properties) ? (properties as Record<string, JsonSchema>) : {}\n}\n\n/** The envelope's `id` property — the bare id string the lens wraps. */\nfunction bareAssetId(envelope: JsonSchema): JsonSchema {\n  return propertiesOf(envelope).id ?? { type: 'string' }\n}\n\n/** The reference envelope minus the `type` discriminator the lens restores. */\nfunction bareReference(envelope: JsonSchema): JsonSchema {\n  const { type: _discriminator, ...properties } = propertiesOf(envelope)\n  const required = Array.isArray(envelope.required)\n    ? envelope.required.filter((key) => key !== 'type')\n    : []\n  return { ...envelope, properties, required, additionalProperties: false }\n}\n\n/** An object-shaped node with each declared subfield in its writer form, closed. */\nfunction writerObject(fields: readonly FieldDef[], node: JsonSchema): JsonSchema {\n  const properties: Record<string, JsonSchema> = { ...propertiesOf(node) }\n  for (const sub of fields) {\n    const subBase = properties[sub.name]\n    if (subBase !== undefined) properties[sub.name] = writerForm(sub, subBase)\n  }\n  return { ...node, properties, additionalProperties: false }\n}\n\n/**\n * Drop `pattern` wherever `format` is present (EC-473/EC-474 req 6). Returns the\n * same object when there is nothing to strip, so callers can rely on identity.\n */\nexport function stripRedundantPattern(schema: JsonSchema): JsonSchema {\n  if (schema.format === undefined || schema.pattern === undefined) return schema\n  const { pattern: _pattern, ...rest } = schema\n  return rest\n}\n\n/**\n * Apply a node transform through a schema tree (`items` + `properties`), preserving\n * object identity wherever nothing changed — `buildTargetShape` relies on that to\n * avoid copying a property it did not touch.\n */\nfunction mapSchemaDeep(schema: JsonSchema, transform: (node: JsonSchema) => JsonSchema): JsonSchema {\n  let out = transform(schema)\n  const items = out.items\n  if (typeof items === 'object' && items !== null && !Array.isArray(items)) {\n    const next = mapSchemaDeep(items as JsonSchema, transform)\n    if (next !== items) out = { ...out, items: next }\n  }\n  const properties = out.properties\n  if (typeof properties === 'object' && properties !== null && !Array.isArray(properties)) {\n    let changed = false\n    const nextProps: Record<string, JsonSchema> = {}\n    for (const [key, value] of Object.entries(properties as Record<string, unknown>)) {\n      if (typeof value === 'object' && value !== null && !Array.isArray(value)) {\n        const next = mapSchemaDeep(value as JsonSchema, transform)\n        nextProps[key] = next\n        if (next !== value) changed = true\n      } else {\n        nextProps[key] = value as JsonSchema\n      }\n    }\n    if (changed) out = { ...out, properties: nextProps }\n  }\n  return out\n}\n\n/** Recursively strip redundant patterns through `items` / `properties`. */\nexport function stripRedundantPatternsDeep(schema: JsonSchema): JsonSchema {\n  return mapSchemaDeep(schema, stripRedundantPattern)\n}\n\n/**\n * The whole model-facing rewrite of a projected schema (EC-505): redundant patterns\n * stripped everywhere in the tree — an `object` field's SUBfield gets the same\n * treatment as a top-level one. Identity-preserving. (The date-union narrowing that\n * also ran here is gone: a date is one instant string at rest since EC-586.)\n */\nexport function toModelFacingSchema(schema: JsonSchema): JsonSchema {\n  return mapSchemaDeep(schema, stripRedundantPattern)\n}\n\n/**\n * Human-readable phrases for the constraint keywords of ONE schema node, in a stable\n * order — the form a model reads best. Node-level only: nested `items`/`properties`\n * are {@link describeSchemaDeep}'s business. Total over the projection's numeric,\n * string and array vocabulary; `enum`/`const` are deliberately not phrased — they\n * ride the target SHAPE as JSON Schema, and a `select`'s options or a relation's\n * `collection` const would otherwise repeat on every catalog line.\n */\nfunction describeSchemaConstraints(schema: JsonSchema): string[] {\n  const out: string[] = []\n  const num = (value: unknown): number | undefined =>\n    typeof value === 'number' ? value : undefined\n  const text = (value: unknown): string | undefined =>\n    typeof value === 'string' ? value : undefined\n\n  const minLength = num(schema.minLength)\n  const maxLength = num(schema.maxLength)\n  if (minLength !== undefined && maxLength !== undefined) {\n    out.push(`${minLength}–${maxLength} characters`)\n  } else if (minLength !== undefined) out.push(`at least ${minLength} characters`)\n  else if (maxLength !== undefined) out.push(`at most ${maxLength} characters`)\n\n  const minimum = num(schema.minimum)\n  const maximum = num(schema.maximum)\n  if (minimum !== undefined && maximum !== undefined) out.push(`between ${minimum} and ${maximum}`)\n  else if (minimum !== undefined) out.push(`at least ${minimum}`)\n  else if (maximum !== undefined) out.push(`at most ${maximum}`)\n\n  // EC-522: the projection carried these already; the prose never said them.\n  const exclusiveMinimum = num(schema.exclusiveMinimum)\n  const exclusiveMaximum = num(schema.exclusiveMaximum)\n  if (exclusiveMinimum !== undefined) out.push(`more than ${exclusiveMinimum}`)\n  if (exclusiveMaximum !== undefined) out.push(`less than ${exclusiveMaximum}`)\n  const multipleOf = num(schema.multipleOf)\n  if (multipleOf !== undefined) out.push(`a multiple of ${multipleOf}`)\n\n  const minItems = num(schema.minItems)\n  const maxItems = num(schema.maxItems)\n  if (minItems !== undefined) out.push(`at least ${minItems} items`)\n  if (maxItems !== undefined) out.push(`at most ${maxItems} items`)\n  if (schema.uniqueItems === true) out.push('no duplicate items')\n\n  // EC-473: date bounds finally reach a consumer. `formatMinimum`/`formatMaximum`\n  // is the projection's machine form; this is the form a model acts on.\n  const from = text(schema.formatMinimum)\n  const to = text(schema.formatMaximum)\n  if (from !== undefined) out.push(`not earlier than ${from}`)\n  if (to !== undefined) out.push(`not later than ${to}`)\n\n  const format = text(schema.format)\n  // EC-505: `date-time` is said in words rather than skipped — the catalog carries\n  // no JSON Schema, so this is the only place the update path learns the format.\n  if (format === 'date-time') out.push(ISO_DATE_NOTE)\n  else if (format !== undefined) out.push(`format: ${format}`)\n  // Only a pattern that is NOT explained by a format is worth the tokens.\n  const pattern = text(schema.pattern)\n  if (pattern !== undefined && format === undefined) out.push(`matching /${pattern}/`)\n\n  return out\n}\n\n/**\n * The phrases of one projected schema node AND everything below it (EC-522): a\n * `multiple` field's per-item bounds become an `each item: …` clause, an object's\n * subfield bounds a `<name>: …` clause, recursively. The projection is the ONLY\n * input — since EC-522 the merge carries nested `items`/`properties` constraints\n * itself, so this module never looks past `fieldJsonSchema` (EC-505's direct read\n * of the derived fragment's `items` is gone, and with it the second place that\n * understood fragment structure).\n *\n * Which side a schema addresses is still the executor's call, not this module's:\n * `validateDocument` hands the validator the field's WHOLE value — a `multiple`\n * field's array — so the per-item form is `z.array(z.string().min(3))`, and a\n * bare `z.string().min(3)` there is a config error at load (EC-522), never a\n * silently mis-applied bound.\n */\nfunction describeSchemaDeep(schema: JsonSchema): string[] {\n  const out = describeSchemaConstraints(schema)\n  if (isSchemaNode(schema.items)) {\n    const itemParts = describeSchemaDeep(schema.items)\n    if (itemParts.length > 0) out.push(`each item: ${itemParts.join(', ')}`)\n  }\n  if (isSchemaNode(schema.properties)) {\n    for (const [name, sub] of Object.entries(schema.properties)) {\n      if (!isSchemaNode(sub)) continue\n      const subParts = describeSchemaDeep(sub)\n      if (subParts.length > 0) out.push(`${name}: ${subParts.join(', ')}`)\n    }\n  }\n  return out\n}\n\n/**\n * Human-readable constraint phrases for one field, in a stable order — the form a\n * model reads best (and the form the collections catalog carries, where there is no\n * JSON Schema to hand the model at all). Empty when the field constrains nothing.\n */\nexport function describeFieldConstraints(field: FieldDef): string[] {\n  const out: string[] = []\n  if (field.validation?.required === true) out.push('required')\n  // EC-556: the prose tells a WRITER what to write, so it reads the writer form.\n  out.push(...describeSchemaDeep(writerFieldSchema(field)))\n  // EC-581: a bound whose unit has no schema keyword — rich text's plain-text\n  // characters — is said in its unit, read off the per-FieldType definition, at every\n  // depth the writer form reaches (`note: at most 400 plain-text characters …`).\n  out.push(...plainTextBoundClauses(field))\n  if (field.validation?.unique === true) out.push('unique across the collection')\n  // The one thing the projection cannot say about itself: that it is partial (an\n  // opaque vendor, a `.refine()`, or — EC-522 — a rule at a position the field's\n  // shape has no counterpart for). Set at config resolve, read here, nowhere else.\n  if (field.validation?.schemaComplete === false) out.push(INCOMPLETE_CONSTRAINTS_NOTE)\n  return out\n}\n\n/** The constraint phrases as one clause (`min 2 characters; required`), or `undefined`. */\nexport function constraintSentence(field: FieldDef): string | undefined {\n  const parts = describeFieldConstraints(field)\n  return parts.length > 0 ? parts.join('; ') : undefined\n}\n"]}
+{"version":3,"file":"constraints.js","sourceRoot":"","sources":["../../../src/lib/ai/constraints.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAExF,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAA;AAGtE,mFAAmF;AACnF,MAAM,CAAC,MAAM,2BAA2B,GACtC,0GAA0G,CAAA;AAE5G;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAC3B,qNAAqN,CAAA;AAEvN;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,KAAe;IACvC,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAA;IACnC,IAAI,CAAC,UAAU;QAAE,OAAO,KAAK,CAAA;IAC7B,OAAO,UAAU,CAAC,cAAc,KAAK,KAAK,IAAI,CAAC,UAAU,CAAC,QAAQ,KAAK,SAAS,IAAI,UAAU,CAAC,cAAc,KAAK,SAAS,CAAC,CAAA;AAC9H,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,eAAe,CAAA;AAE5C,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;AAC7E,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAe;IAClD,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,YAAY;QAAE,OAAO,SAAS,CAAA;IACvE,MAAM,GAAG,GAAG,OAAO,KAAK,CAAC,UAAU,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAA;IACxF,MAAM,GAAG,GAAG,OAAO,KAAK,CAAC,UAAU,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAA;IACxF,MAAM,IAAI,GAAG,eAAe,CAAC,YAAY,CAAC,CAAA;IAC1C,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,GAAG,GAAG,IAAI,GAAG,IAAI,IAAI,EAAE,CAAA;IAC1E,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,YAAY,GAAG,IAAI,IAAI,EAAE,CAAA;IACvD,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,WAAW,GAAG,IAAI,IAAI,EAAE,CAAA;IACtD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,4FAA4F;AAC5F,SAAS,WAAW,CAAC,KAAe;IAClC,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;AACpG,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,kBAAkB,CAAC,KAAe,EAAE,MAAM,GAAG,EAAE;IACtD,MAAM,GAAG,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAA;IACvC,MAAM,GAAG,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IACxD,KAAK,MAAM,GAAG,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,GAAG,MAAM,GAAG,GAAG,CAAC,IAAI,IAAI,CAAA;QAC1C,IAAI,GAAG,CAAC,UAAU,EAAE,QAAQ,KAAK,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,SAAS,UAAU,CAAC,CAAA;QACvE,GAAG,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAA;QAC/C,IAAI,gBAAgB,CAAC,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,SAAS,GAAG,2BAA2B,EAAE,CAAC,CAAA;IACnF,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAe;IAClD,MAAM,MAAM,GAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;IAC7C,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAA;IACzC,MAAM,CAAC,WAAW,GAAG,yBAAyB,0BAA0B,qCAAqC,KAAK,CAAC,CAAC,CAAC,YAAY,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAA;IAChJ,OAAO,MAAM,CAAA;AACf,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAe,EAAE,KAAmB;IACpE,OAAO,UAAU,CAAC,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAA;AACzD,CAAC;AAED,qFAAqF;AACrF,SAAS,aAAa,CAAC,UAA2D,EAAE,KAAc;IAChG,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACzF,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjC,WAAW,EAAE,KAAK;YAChB,CAAC,CAAC,gDAAgD,KAAK,6BAA6B;YACpF,CAAC,CAAC,kBAAkB,KAAK,EAAE;KAC9B,CAAA;AACH,CAAC;AAED,6FAA6F;AAC7F,SAAS,UAAU,CAAC,KAAe,EAAE,IAAgB,EAAE,KAAmB;IACxE,QAAQ,WAAW,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QAClC,KAAK,UAAU;YACb,OAAO,oBAAoB,CAAC,KAAK,CAAC,CAAA;QACpC,KAAK,aAAa;YAChB,OAAO,SAAS,CAAA;QAClB,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,IAAI,CAAA;YACvC,4EAA4E;YAC5E,8DAA8D;YAC9D,MAAM,SAAS,GAAG,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAA;YAChG,MAAM,UAAU,GAAG,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC,CAAA;YAChD,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,SAAS,CAAA;YACzE,MAAM,QAAQ,GAAG,CAAC,IAAgB,EAAc,EAAE,CAChD,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;YAChF,OAAO,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAC5C,SAAS,CAAC,MAAM,KAAK,CAAC;gBACpB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAChB,CAAC,CAAC,YAAY,CAAC,SAAS,EAAE,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAC3G,CAAA;QACH,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;gBAAE,OAAO,IAAI,CAAA;YAC1C,IAAI,CAAC,KAAK;gBAAE,OAAO,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,aAAa,CAAC,CAAA;YAC/D,MAAM,UAAU,GAAG,KAAK,CAAC,kBAAkB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;YACzD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,SAAS,CAAA;YAC7C,OAAO,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAA;QAC9E,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAC5B,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;gBAClF,CAAC,CAAC,IAAI,CAAA;QACV,KAAK,OAAO;YACV,OAAO,IAAI,CAAA;IACf,CAAC;AACH,CAAC;AAED,0FAA0F;AAC1F,SAAS,OAAO,CAAC,QAAiB,EAAE,IAAgB,EAAE,GAAqC;IACzF,IAAI,CAAC,QAAQ;QAAE,OAAO,GAAG,CAAC,IAAI,CAAC,CAAA;IAC/B,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;AAC9E,CAAC;AAED,SAAS,YAAY,CAAC,IAAgB;IACpC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAA;IAClC,OAAO,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,CAAE,UAAyC,CAAC,CAAC,CAAC,EAAE,CAAA;AACnF,CAAC;AAED,wEAAwE;AACxE,SAAS,WAAW,CAAC,QAAoB;IACvC,OAAO,YAAY,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;AACxD,CAAC;AAED,+EAA+E;AAC/E,SAAS,aAAa,CAAC,QAAoB;IACzC,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,UAAU,EAAE,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAA;IACtE,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAC/C,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC;QACnD,CAAC,CAAC,EAAE,CAAA;IACN,OAAO,EAAE,GAAG,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAA;AAC3E,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,MAA2B,EAAE,IAAgB,EAAE,KAAmB;IACtF,MAAM,UAAU,GAA+B,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,EAAE,CAAA;IACxE,IAAI,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAE,IAAI,CAAC,QAAqB,CAAC,CAAC,CAAC,SAAS,CAAA;IACrF,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACpC,IAAI,OAAO,KAAK,SAAS;YAAE,SAAQ;QACnC,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,CAAA;QAC/C,IAAI,OAAO,KAAK,SAAS;YAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,OAAO,CAAA;aACpD,CAAC;YACJ,OAAO,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YAC3B,QAAQ,GAAG,QAAQ,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,CAAA;QAC1D,CAAC;IACH,CAAC;IACD,OAAO,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAA;AAChG,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAkB;IACtD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,MAAM,CAAA;IAC9E,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,GAAG,MAAM,CAAA;IAC7C,OAAO,IAAI,CAAA;AACb,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,MAAkB,EAAE,SAA2C;IACpF,IAAI,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,CAAA;IAC3B,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAA;IACvB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzE,MAAM,IAAI,GAAG,aAAa,CAAC,KAAmB,EAAE,SAAS,CAAC,CAAA;QAC1D,IAAI,IAAI,KAAK,KAAK;YAAE,GAAG,GAAG,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAA;IACnD,CAAC;IACD,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAA;IACjC,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACxF,IAAI,OAAO,GAAG,KAAK,CAAA;QACnB,MAAM,SAAS,GAA+B,EAAE,CAAA;QAChD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAqC,CAAC,EAAE,CAAC;YACjF,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzE,MAAM,IAAI,GAAG,aAAa,CAAC,KAAmB,EAAE,SAAS,CAAC,CAAA;gBAC1D,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,CAAA;gBACrB,IAAI,IAAI,KAAK,KAAK;oBAAE,OAAO,GAAG,IAAI,CAAA;YACpC,CAAC;iBAAM,CAAC;gBACN,SAAS,CAAC,GAAG,CAAC,GAAG,KAAmB,CAAA;YACtC,CAAC;QACH,CAAC;QACD,IAAI,OAAO;YAAE,GAAG,GAAG,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,SAAS,EAAE,CAAA;IACtD,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,0BAA0B,CAAC,MAAkB;IAC3D,OAAO,aAAa,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAA;AACrD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAAkB;IACpD,OAAO,aAAa,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAA;AACrD,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,yBAAyB,CAAC,MAAkB;IACnD,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,MAAM,GAAG,GAAG,CAAC,KAAc,EAAsB,EAAE,CACjD,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;IAC/C,MAAM,IAAI,GAAG,CAAC,KAAc,EAAsB,EAAE,CAClD,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;IAE/C,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzD,qEAAqE;QACrE,GAAG,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IACvF,CAAC;IAED,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IACvC,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QACvD,GAAG,CAAC,IAAI,CAAC,GAAG,SAAS,IAAI,SAAS,aAAa,CAAC,CAAA;IAClD,CAAC;SAAM,IAAI,SAAS,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,YAAY,SAAS,aAAa,CAAC,CAAA;SAC3E,IAAI,SAAS,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,WAAW,SAAS,aAAa,CAAC,CAAA;IAE7E,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IACnC,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IACnC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,WAAW,OAAO,QAAQ,OAAO,EAAE,CAAC,CAAA;SAC5F,IAAI,OAAO,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,YAAY,OAAO,EAAE,CAAC,CAAA;SAC1D,IAAI,OAAO,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,WAAW,OAAO,EAAE,CAAC,CAAA;IAE9D,2EAA2E;IAC3E,MAAM,gBAAgB,GAAG,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAA;IACrD,MAAM,gBAAgB,GAAG,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAA;IACrD,IAAI,gBAAgB,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,aAAa,gBAAgB,EAAE,CAAC,CAAA;IAC7E,IAAI,gBAAgB,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,aAAa,gBAAgB,EAAE,CAAC,CAAA;IAC7E,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IACzC,IAAI,UAAU,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,iBAAiB,UAAU,EAAE,CAAC,CAAA;IAErE,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;IACrC,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;IACrC,IAAI,QAAQ,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,YAAY,QAAQ,QAAQ,CAAC,CAAA;IAClE,IAAI,QAAQ,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,WAAW,QAAQ,QAAQ,CAAC,CAAA;IACjE,IAAI,MAAM,CAAC,WAAW,KAAK,IAAI;QAAE,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAA;IAE/D,gFAAgF;IAChF,sEAAsE;IACtE,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAA;IACvC,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAA;IACrC,IAAI,IAAI,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAA;IAC5D,IAAI,EAAE,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAA;IAEtD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAClC,iFAAiF;IACjF,+EAA+E;IAC/E,IAAI,MAAM,KAAK,WAAW;QAAE,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;SAC9C,IAAI,MAAM,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,WAAW,MAAM,EAAE,CAAC,CAAA;IAC5D,wEAAwE;IACxE,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IACpC,IAAI,OAAO,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,aAAa,OAAO,GAAG,CAAC,CAAA;IAEpF,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAS,kBAAkB,CAAC,MAAkB;IAC5C,MAAM,GAAG,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAA;IAC7C,IAAI,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,SAAS,GAAG,kBAAkB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QAClD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,cAAc,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAC1E,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YAC5D,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC;gBAAE,SAAQ;YAChC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAA;YACxC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACtE,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAAe;IACtD,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,IAAI,KAAK,CAAC,UAAU,EAAE,QAAQ,KAAK,IAAI;QAAE,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;IAC7D,gFAAgF;IAChF,iEAAiE;IACjE,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAA;IACvC,IAAI,MAAM,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;;QAC/C,GAAG,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAA;IAC5C,6EAA6E;IAC7E,mFAAmF;IACnF,iFAAiF;IACjF,GAAG,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAA;IACtC,IAAI,KAAK,CAAC,UAAU,EAAE,MAAM,KAAK,IAAI;QAAE,GAAG,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAA;IAC/E,+EAA+E;IAC/E,kFAAkF;IAClF,oFAAoF;IACpF,oEAAoE;IACpE,IAAI,gBAAgB,CAAC,KAAK,CAAC;QAAE,GAAG,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAA;IAClE,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,kBAAkB,CAAC,KAAe;IAChD,MAAM,KAAK,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAA;IAC7C,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AACxD,CAAC","sourcesContent":["/**\n * Model-facing constraint rendering (EC-473, tuned by EC-505).\n *\n * The engine has ONE constraint projection: `fieldJsonSchema` merges a field's\n * declarative rules (`validation.min`/`max`/`pattern`) with the fragment derived\n * from a schema-form `validation.validate` (EC-522: nested `items`/`properties`\n * bounds included, fitted to the field's type at config resolve). This module turns\n * that projection into what the MODEL should see — which is not the same artifact a\n * JSON-Schema consumer wants:\n *\n *  - **a regex is a poor instruction for a model.** `z.string().email()` emits a\n *    ~200-character pattern and `z.iso.date()` a leap-year monster (measured,\n *    EC-474 §3); `format` + bounds says the same thing in four tokens. So on the AI\n *    path a `pattern` is dropped wherever a `format` is present. The JSON Schema\n *    OUTPUT artifact keeps it — different consumer, different needs.\n *  - **a date is one instant string** (EC-505 → EC-586). The projection used to say\n *    `type: ['string','number']` (an epoch was stored as-is) and this module narrowed\n *    it for the model; since EC-586 every write canonicalises a date to ONE ISO-8601\n *    UTC instant, so the projection itself says `type: 'string'` and there is nothing\n *    left to narrow.\n *  - **incompleteness must be stated.** When `validation.schemaComplete` is `false`\n *    the projection is a partial view of the rule, and the model is told so rather\n *    than being handed a half-truth as the whole rule. (An `ai.hint` is exactly the\n *    right place to say what the dropped refinement wants — the note nudges toward\n *    writing one.)\n */\nimport { BOUND_UNIT_NOUN, fieldJsonSchema, fieldTypeOf } from '@elytracms/core/cms-core'\nimport type { FieldDef, JsonSchema } from '@elytracms/core/cms-core'\nimport { MARKDOWN_PROSE_DESCRIPTION } from '@elytracms/core/rich-text'\nimport type { AssetCandidate, RelationCandidate, WriterLeash } from './types'\n\n/** The note appended when a field's constraint projection is knowingly partial. */\nexport const INCOMPLETE_CONSTRAINTS_NOTE =\n  'further validation rules apply that are not expressible here — keep the value conventional and plausible'\n\n/**\n * What the catalog says about a composition (`blocks`) — its writer form is NONE\n * (`FIELD_TYPES.blocks.writer === 'composition'`, ratified 4c, EC-593): the assistant\n * changes component props, never which components there are. Said in the prose because\n * the omission must be VISIBLE, not a field the model simply never hears of.\n */\nexport const COMPOSITION_NOTE =\n  'page-builder composition: the assistant never adds, moves or removes its components (that is done on the canvas) — change one component prop with blockId + prop (getDocument lists the components and their props)'\n\n/**\n * Whether a field's validation has rules its projection cannot state (RULES D13): a\n * schema whose projection is knowingly partial (`schemaComplete: false`), or a FUNCTION\n * `validate` — normalisation stamps `schemaComplete` on a schema-form validator only, so\n * a declared `validate` without it is a function no consumer can read.\n */\nfunction hasUnstatedRules(field: FieldDef): boolean {\n  const validation = field.validation\n  if (!validation) return false\n  return validation.schemaComplete === false || (validation.validate !== undefined && validation.schemaComplete === undefined)\n}\n\n/**\n * The prose form of `format: 'date-time'` (EC-505). The JSON-Schema keyword rides\n * on the target shape for the provider's validator; the CATALOG has no JSON Schema\n * at all — it is prose only, and the chat update path authors date values through\n * it. So the format is said in words too, or the only channel that path has says\n * nothing about the one format the engine accepts.\n *\n * Kept to three words deliberately: measured at 6 tokens, against 20 for the same\n * note with a worked example — and it rides every date field of every turn.\n */\nexport const ISO_DATE_NOTE = 'ISO 8601 date'\n\nfunction isSchemaNode(value: unknown): value is JsonSchema {\n  return typeof value === 'object' && value !== null && !Array.isArray(value)\n}\n\n/**\n * The phrase for a field's declared `min`/`max` in the UNIT its type declares\n * (`FIELD_TYPES[type].bounds`, EC-581) — or `undefined` when the field declares none\n * or the unit has a JSON-Schema keyword the projection already carries. Today that is\n * rich text: its bounds count PLAIN-TEXT characters of the stored value (ratified\n * 2a(iii)), which no keyword on the markdown string the model writes can express.\n */\nexport function plainTextBoundPhrase(field: FieldDef): string | undefined {\n  if (fieldTypeOf(field).bounds(field) !== 'plain-text') return undefined\n  const min = typeof field.validation?.min === 'number' ? field.validation.min : undefined\n  const max = typeof field.validation?.max === 'number' ? field.validation.max : undefined\n  const noun = BOUND_UNIT_NOUN['plain-text']\n  if (min !== undefined && max !== undefined) return `${min}–${max} ${noun}`\n  if (min !== undefined) return `at least ${min} ${noun}`\n  if (max !== undefined) return `at most ${max} ${noun}`\n  return undefined\n}\n\n/** The declared sub-fields of an object or an asset placement (`[]` for any other type). */\nfunction subFieldsOf(field: FieldDef): readonly FieldDef[] {\n  return field.type === 'object' ? field.fields : field.type === 'asset' ? (field.fields ?? []) : []\n}\n\n/**\n * The clauses only the DECLARATION can say, for a field and every sub-field below it,\n * name-prefixed (`note: at most 400 plain-text characters`, `label: required`):\n * - a plain-text bound ({@link plainTextBoundPhrase}, EC-581);\n * - a sub-field's `required` (RULES F3d — the shape's JSON `required` carried it, the\n *   prose never did); the field's own is said by {@link describeFieldConstraints};\n * - a sub-field's rules the projection cannot state ({@link hasUnstatedRules}).\n */\nfunction declarationClauses(field: FieldDef, prefix = ''): string[] {\n  const own = plainTextBoundPhrase(field)\n  const out = own !== undefined ? [`${prefix}${own}`] : []\n  for (const sub of subFieldsOf(field)) {\n    const subPrefix = `${prefix}${sub.name}: `\n    if (sub.validation?.required === true) out.push(`${subPrefix}required`)\n    out.push(...declarationClauses(sub, subPrefix))\n    if (hasUnstatedRules(sub)) out.push(`${subPrefix}${INCOMPLETE_CONSTRAINTS_NOTE}`)\n  }\n  return out\n}\n\n/**\n * A rich-text field's WRITER form (EC-379, D2 of EC-556): a MARKDOWN string. The\n * description carries the allowed subset (from the engine converter — one source\n * of truth); the engine converts the markdown into the v2 storage value and\n * rejects out-of-subset constructs with explicit issues.\n *\n * EC-563/EC-581: the declared bounds are said in their unit — plain-text characters,\n * markup not counted — in the description, read off the per-FieldType definition.\n * They used to ride as `minLength`/`maxLength` on the markdown string: a different\n * unit (markdown characters) than anything enforced, and a provider validating the\n * structured output would have enforced the wrong one.\n */\nexport function richTextWriterSchema(field: FieldDef): JsonSchema {\n  const schema: JsonSchema = { type: 'string' }\n  const bound = plainTextBoundPhrase(field)\n  schema.description = `Rich text, written as ${MARKDOWN_PROSE_DESCRIPTION} Write genuine, publishable prose.${bound ? ` Length: ${bound}.` : ''}`\n  return schema\n}\n\n/**\n * The WRITER-facing form of one field, at EVERY depth (EC-556): what a model should\n * hand in. Derived from the validator-facing projection (`fieldJsonSchema` — the\n * value at rest, every merged constraint included) by one rule: **the writer omits\n * exactly what the write-time lens (`selfTypeFieldValue`) restores.**\n *\n *  - asset, no per-use sub-fields → the bare id (the projection's `id` property):\n *    the lens wraps a bare id string into `{ type: 'asset', id }`;\n *  - asset WITH sub-fields → the envelope itself, `type` included: the lens wraps a\n *    string, never an object missing its `type`, and the sub-fields need a place;\n *  - relation → `{ collection, id }` (the envelope minus `type`): the lens rebuilds\n *    a bare reference into its envelope;\n *  - rich text → a markdown string (`richTextWriterSchema`) — the engine converts it\n *    wherever it sits (`writer-form.ts`, EC-593);\n *  - an `object` → its own projection with every subfield in ITS writer form;\n *  - a composition (`blocks`) → NONE (`undefined`): its structure is the canvas's\n *    (ratified 4c, EC-593) — a target shape omits it and says so.\n *\n * Writer objects are closed (`additionalProperties: false`): a writer inventing keys\n * is a fault, where a stored envelope carrying extra keys is drift the lens\n * tolerates (EC-556 §B) — which is why the projection itself stays open.\n *\n * With a `leash` (the create target shape, EC-381 → EC-593) every relation / asset id\n * — at EVERY depth, not only a top-level field — is an ENUM over what the model\n * searched for that position (a relation's target, an asset's `accept`), and a position\n * with nothing searched is omitted (empty beats wrong). Without one (the catalog prose)\n * the plain writer forms are described.\n */\nexport function writerFieldSchema(field: FieldDef, leash?: WriterLeash): JsonSchema | undefined {\n  return writerForm(field, fieldJsonSchema(field), leash)\n}\n\n/** An id enum over searched candidates, labelled for the model to choose against. */\nfunction candidateEnum(candidates: readonly (RelationCandidate | AssetCandidate)[], asset: boolean): JsonSchema {\n  const label = candidates.map((c) => (c.label ? `${c.id} (${c.label})` : c.id)).join(', ')\n  return {\n    type: 'string',\n    enum: candidates.map((c) => c.id),\n    description: asset\n      ? `Choose an EXISTING library asset id, one of: ${label}. Leave empty if none fits.`\n      : `Choose one of: ${label}`,\n  }\n}\n\n/** EC-581: the writer form is DECLARED per type (`FIELD_TYPES[type].writer`); built here. */\nfunction writerForm(field: FieldDef, base: JsonSchema, leash?: WriterLeash): JsonSchema | undefined {\n  switch (fieldTypeOf(field).writer) {\n    case 'markdown':\n      return richTextWriterSchema(field)\n    case 'composition':\n      return undefined\n    case 'placement': {\n      if (field.type !== 'asset') return base\n      // `type`/`id` belong to the envelope; the projection never lets a sub-field\n      // of that name shadow them, and neither does the writer form.\n      const subfields = (field.fields ?? []).filter((sub) => sub.name !== 'type' && sub.name !== 'id')\n      const candidates = leash?.assetCandidates(field)\n      if (candidates !== undefined && candidates.length === 0) return undefined\n      const idSchema = (item: JsonSchema): JsonSchema =>\n        candidates !== undefined ? candidateEnum(candidates, true) : bareAssetId(item)\n      return perItem(field.multiple, base, (item) =>\n        subfields.length === 0\n          ? idSchema(item)\n          : writerObject(subfields, { ...item, properties: { ...propertiesOf(item), id: idSchema(item) } }, leash),\n      )\n    }\n    case 'reference': {\n      if (field.type !== 'relation') return base\n      if (!leash) return perItem(field.multiple, base, bareReference)\n      const candidates = leash.relationCandidates(field.target)\n      if (candidates.length === 0) return undefined\n      return perItem(field.multiple, base, () => candidateEnum(candidates, false))\n    }\n    case 'object':\n      return field.type === 'object'\n        ? perItem(field.multiple, base, (item) => writerObject(field.fields, item, leash))\n        : base\n    case 'value':\n      return base\n  }\n}\n\n/** Apply `one` to the item schema of a `multiple` field, or to the field's own schema. */\nfunction perItem(multiple: boolean, base: JsonSchema, one: (item: JsonSchema) => JsonSchema): JsonSchema {\n  if (!multiple) return one(base)\n  return isSchemaNode(base.items) ? { ...base, items: one(base.items) } : base\n}\n\nfunction propertiesOf(node: JsonSchema): Record<string, JsonSchema> {\n  const properties = node.properties\n  return isSchemaNode(properties) ? (properties as Record<string, JsonSchema>) : {}\n}\n\n/** The envelope's `id` property — the bare id string the lens wraps. */\nfunction bareAssetId(envelope: JsonSchema): JsonSchema {\n  return propertiesOf(envelope).id ?? { type: 'string' }\n}\n\n/** The reference envelope minus the `type` discriminator the lens restores. */\nfunction bareReference(envelope: JsonSchema): JsonSchema {\n  const { type: _discriminator, ...properties } = propertiesOf(envelope)\n  const required = Array.isArray(envelope.required)\n    ? envelope.required.filter((key) => key !== 'type')\n    : []\n  return { ...envelope, properties, required, additionalProperties: false }\n}\n\n/**\n * An object-shaped node with each declared subfield in its writer form, closed. A\n * sub-field with no writer form here (nothing searched for its id) is omitted, and\n * leaves the `required` list with it.\n */\nfunction writerObject(fields: readonly FieldDef[], node: JsonSchema, leash?: WriterLeash): JsonSchema {\n  const properties: Record<string, JsonSchema> = { ...propertiesOf(node) }\n  let required = Array.isArray(node.required) ? (node.required as string[]) : undefined\n  for (const sub of fields) {\n    const subBase = properties[sub.name]\n    if (subBase === undefined) continue\n    const written = writerForm(sub, subBase, leash)\n    if (written !== undefined) properties[sub.name] = written\n    else {\n      delete properties[sub.name]\n      required = required?.filter((name) => name !== sub.name)\n    }\n  }\n  return { ...node, properties, ...(required ? { required } : {}), additionalProperties: false }\n}\n\n/**\n * Drop `pattern` wherever `format` is present (EC-473/EC-474 req 6). Returns the\n * same object when there is nothing to strip, so callers can rely on identity.\n */\nexport function stripRedundantPattern(schema: JsonSchema): JsonSchema {\n  if (schema.format === undefined || schema.pattern === undefined) return schema\n  const { pattern: _pattern, ...rest } = schema\n  return rest\n}\n\n/**\n * Apply a node transform through a schema tree (`items` + `properties`), preserving\n * object identity wherever nothing changed — `buildTargetShape` relies on that to\n * avoid copying a property it did not touch.\n */\nfunction mapSchemaDeep(schema: JsonSchema, transform: (node: JsonSchema) => JsonSchema): JsonSchema {\n  let out = transform(schema)\n  const items = out.items\n  if (typeof items === 'object' && items !== null && !Array.isArray(items)) {\n    const next = mapSchemaDeep(items as JsonSchema, transform)\n    if (next !== items) out = { ...out, items: next }\n  }\n  const properties = out.properties\n  if (typeof properties === 'object' && properties !== null && !Array.isArray(properties)) {\n    let changed = false\n    const nextProps: Record<string, JsonSchema> = {}\n    for (const [key, value] of Object.entries(properties as Record<string, unknown>)) {\n      if (typeof value === 'object' && value !== null && !Array.isArray(value)) {\n        const next = mapSchemaDeep(value as JsonSchema, transform)\n        nextProps[key] = next\n        if (next !== value) changed = true\n      } else {\n        nextProps[key] = value as JsonSchema\n      }\n    }\n    if (changed) out = { ...out, properties: nextProps }\n  }\n  return out\n}\n\n/** Recursively strip redundant patterns through `items` / `properties`. */\nexport function stripRedundantPatternsDeep(schema: JsonSchema): JsonSchema {\n  return mapSchemaDeep(schema, stripRedundantPattern)\n}\n\n/**\n * The whole model-facing rewrite of a projected schema (EC-505): redundant patterns\n * stripped everywhere in the tree — an `object` field's SUBfield gets the same\n * treatment as a top-level one. Identity-preserving. (The date-union narrowing that\n * also ran here is gone: a date is one instant string at rest since EC-586.)\n */\nexport function toModelFacingSchema(schema: JsonSchema): JsonSchema {\n  return mapSchemaDeep(schema, stripRedundantPattern)\n}\n\n/**\n * Human-readable phrases for the constraint keywords of ONE schema node, in a stable\n * order — the form a model reads best. Node-level only: nested `items`/`properties`\n * are {@link describeSchemaDeep}'s business. Total over the projection's numeric,\n * string, array and option vocabulary. An `enum` IS phrased (RULES D14, EC-593): the\n * catalog is prose only, so a `select`'s options never reached the update path that\n * authors through it. A `const` is not (a relation's `collection` is the envelope's,\n * not a rule the writer chooses against).\n */\nfunction describeSchemaConstraints(schema: JsonSchema): string[] {\n  const out: string[] = []\n  const num = (value: unknown): number | undefined =>\n    typeof value === 'number' ? value : undefined\n  const text = (value: unknown): string | undefined =>\n    typeof value === 'string' ? value : undefined\n\n  if (Array.isArray(schema.enum) && schema.enum.length > 0) {\n    // Quoted and `|`-separated: the clause itself is joined with commas.\n    out.push(`one of ${schema.enum.map((option) => JSON.stringify(option)).join(' | ')}`)\n  }\n\n  const minLength = num(schema.minLength)\n  const maxLength = num(schema.maxLength)\n  if (minLength !== undefined && maxLength !== undefined) {\n    out.push(`${minLength}–${maxLength} characters`)\n  } else if (minLength !== undefined) out.push(`at least ${minLength} characters`)\n  else if (maxLength !== undefined) out.push(`at most ${maxLength} characters`)\n\n  const minimum = num(schema.minimum)\n  const maximum = num(schema.maximum)\n  if (minimum !== undefined && maximum !== undefined) out.push(`between ${minimum} and ${maximum}`)\n  else if (minimum !== undefined) out.push(`at least ${minimum}`)\n  else if (maximum !== undefined) out.push(`at most ${maximum}`)\n\n  // EC-522: the projection carried these already; the prose never said them.\n  const exclusiveMinimum = num(schema.exclusiveMinimum)\n  const exclusiveMaximum = num(schema.exclusiveMaximum)\n  if (exclusiveMinimum !== undefined) out.push(`more than ${exclusiveMinimum}`)\n  if (exclusiveMaximum !== undefined) out.push(`less than ${exclusiveMaximum}`)\n  const multipleOf = num(schema.multipleOf)\n  if (multipleOf !== undefined) out.push(`a multiple of ${multipleOf}`)\n\n  const minItems = num(schema.minItems)\n  const maxItems = num(schema.maxItems)\n  if (minItems !== undefined) out.push(`at least ${minItems} items`)\n  if (maxItems !== undefined) out.push(`at most ${maxItems} items`)\n  if (schema.uniqueItems === true) out.push('no duplicate items')\n\n  // EC-473: date bounds finally reach a consumer. `formatMinimum`/`formatMaximum`\n  // is the projection's machine form; this is the form a model acts on.\n  const from = text(schema.formatMinimum)\n  const to = text(schema.formatMaximum)\n  if (from !== undefined) out.push(`not earlier than ${from}`)\n  if (to !== undefined) out.push(`not later than ${to}`)\n\n  const format = text(schema.format)\n  // EC-505: `date-time` is said in words rather than skipped — the catalog carries\n  // no JSON Schema, so this is the only place the update path learns the format.\n  if (format === 'date-time') out.push(ISO_DATE_NOTE)\n  else if (format !== undefined) out.push(`format: ${format}`)\n  // Only a pattern that is NOT explained by a format is worth the tokens.\n  const pattern = text(schema.pattern)\n  if (pattern !== undefined && format === undefined) out.push(`matching /${pattern}/`)\n\n  return out\n}\n\n/**\n * The phrases of one projected schema node AND everything below it (EC-522): a\n * `multiple` field's per-item bounds become an `each item: …` clause, an object's\n * subfield bounds a `<name>: …` clause, recursively. The projection is the ONLY\n * input — since EC-522 the merge carries nested `items`/`properties` constraints\n * itself, so this module never looks past `fieldJsonSchema` (EC-505's direct read\n * of the derived fragment's `items` is gone, and with it the second place that\n * understood fragment structure).\n *\n * Which side a schema addresses is still the executor's call, not this module's:\n * `validateDocument` hands the validator the field's WHOLE value — a `multiple`\n * field's array — so the per-item form is `z.array(z.string().min(3))`, and a\n * bare `z.string().min(3)` there is a config error at load (EC-522), never a\n * silently mis-applied bound.\n */\nfunction describeSchemaDeep(schema: JsonSchema): string[] {\n  const out = describeSchemaConstraints(schema)\n  if (isSchemaNode(schema.items)) {\n    const itemParts = describeSchemaDeep(schema.items)\n    if (itemParts.length > 0) out.push(`each item: ${itemParts.join(', ')}`)\n  }\n  if (isSchemaNode(schema.properties)) {\n    for (const [name, sub] of Object.entries(schema.properties)) {\n      if (!isSchemaNode(sub)) continue\n      const subParts = describeSchemaDeep(sub)\n      if (subParts.length > 0) out.push(`${name}: ${subParts.join(', ')}`)\n    }\n  }\n  return out\n}\n\n/**\n * Human-readable constraint phrases for one field, in a stable order — the form a\n * model reads best (and the form the collections catalog carries, where there is no\n * JSON Schema to hand the model at all). Empty when the field constrains nothing.\n */\nexport function describeFieldConstraints(field: FieldDef): string[] {\n  const out: string[] = []\n  if (field.validation?.required === true) out.push('required')\n  // EC-556: the prose tells a WRITER what to write, so it reads the writer form —\n  // and a type with NO writer form says why (EC-593, ratified 4c).\n  const writer = writerFieldSchema(field)\n  if (writer === undefined) out.push(COMPOSITION_NOTE)\n  else out.push(...describeSchemaDeep(writer))\n  // EC-581 / EC-593: what only the declaration can say — a plain-text bound, a\n  // sub-field's `required`, a sub-field's unstated rules — at every depth the writer\n  // form reaches (`note: at most 400 plain-text characters …`, `label: required`).\n  out.push(...declarationClauses(field))\n  if (field.validation?.unique === true) out.push('unique across the collection')\n  // The one thing the projection cannot say about itself: that it is partial (an\n  // opaque vendor, a `.refine()`, — EC-522 — a rule at a position the field's shape\n  // has no counterpart for, or — RULES D13 — a validate FUNCTION, which no projection\n  // can read at all). Set at config resolve, read here, nowhere else.\n  if (hasUnstatedRules(field)) out.push(INCOMPLETE_CONSTRAINTS_NOTE)\n  return out\n}\n\n/** The constraint phrases as one clause (`min 2 characters; required`), or `undefined`. */\nexport function constraintSentence(field: FieldDef): string | undefined {\n  const parts = describeFieldConstraints(field)\n  return parts.length > 0 ? parts.join('; ') : undefined\n}\n"]}

package/dist/lib/ai/fake-provider.d.ts

@@ -112,6 +112,17 @@ export declare function fakeUpdateValueFrom(userText: string): string;
  * else falls back to the configured default field.
  */
 export declare function fakeUpdateFieldFrom(userText: string, fallback: string): string;
+/**
+ * The scripted update flow's full TARGET (EC-593): a field, or one component prop
+ * inside it — `set the <field> component <id> <prop> to: …` names a component by its
+ * node id at any depth (`Set the body component p-home-quote-note value to: Hi`), so the
+ * keyless playground can drive a component-prop edit through the one converter.
+ */
+export declare function fakeUpdateTargetFrom(userText: string, fallback: string): {
+    field: string;
+    blockId?: string;
+    prop?: string;
+};
 /**
  * A scripted, STATELESS fake chat model that drives the FULL create flow — and,
  * for a user turn matching the update pattern, the EC-378 UPDATE flow — over the
@@ -135,11 +146,13 @@ export declare function fakeUpdateFieldFrom(userText: string, fallback: string):
  *  1. no tool result yet          → `getDocument({})` — target omitted on purpose:
  *                                   the executor resolves the document OPEN in the
  *                                   editor (the EC-378 current-document seam)
- *  2. document read, no update    → `updateFields({ changes: [{ field:
- *                                   fakeUpdateFieldFrom(<text>, updateField),
+ *  2. document read, no update    → `updateFields({ changes: [{
+ *                                   ...fakeUpdateTargetFrom(<text>, updateField),
  *                                   value: fakeUpdateValueFrom(<last user text>) }] })`
  *                                   — "Set the body to: ## Neu" drives a markdown
- *                                   rich-text update deterministically (EC-379)
+ *                                   rich-text update deterministically (EC-379);
+ *                                   "Set the body component <id> <prop> to: X" one
+ *                                   component prop at any depth (EC-593)
  *  3. update result present       → the update answer, word by word.
  */
 export declare function createFakeCreateFlowChatModel(options?: FakeCreateFlowChatModelOptions): FakeChatModel;

package/dist/lib/ai/fake-provider.js

@@ -180,8 +180,22 @@ export function fakeUpdateValueFrom(userText) {
  * else falls back to the configured default field.
  */
 export function fakeUpdateFieldFrom(userText, fallback) {
-    const match = /\b(?:set|change|update)\s+the\s+([A-Za-z]\w*)\s+to\s*:/i.exec(userText);
-    return match?.[1] ?? fallback;
+    return fakeUpdateTargetFrom(userText, fallback).field;
+}
+/**
+ * The scripted update flow's full TARGET (EC-593): a field, or one component prop
+ * inside it — `set the <field> component <id> <prop> to: …` names a component by its
+ * node id at any depth (`Set the body component p-home-quote-note value to: Hi`), so the
+ * keyless playground can drive a component-prop edit through the one converter.
+ */
+export function fakeUpdateTargetFrom(userText, fallback) {
+    const match = /\b(?:set|change|update)\s+the\s+([A-Za-z]\w*)(?:\s+component\s+([\w-]+)\s+([A-Za-z]\w*))?\s+to\s*:/i.exec(userText);
+    if (!match)
+        return { field: fallback };
+    return {
+        field: match[1],
+        ...(match[2] !== undefined && match[3] !== undefined ? { blockId: match[2], prop: match[3] } : {}),
+    };
 }
 /**
  * A scripted, STATELESS fake chat model that drives the FULL create flow — and,
@@ -206,11 +220,13 @@ export function fakeUpdateFieldFrom(userText, fallback) {
  *  1. no tool result yet          → `getDocument({})` — target omitted on purpose:
  *                                   the executor resolves the document OPEN in the
  *                                   editor (the EC-378 current-document seam)
- *  2. document read, no update    → `updateFields({ changes: [{ field:
- *                                   fakeUpdateFieldFrom(<text>, updateField),
+ *  2. document read, no update    → `updateFields({ changes: [{
+ *                                   ...fakeUpdateTargetFrom(<text>, updateField),
  *                                   value: fakeUpdateValueFrom(<last user text>) }] })`
  *                                   — "Set the body to: ## Neu" drives a markdown
- *                                   rich-text update deterministically (EC-379)
+ *                                   rich-text update deterministically (EC-379);
+ *                                   "Set the body component <id> <prop> to: X" one
+ *                                   component prop at any depth (EC-593)
  *  3. update result present       → the update answer, word by word.
  */
 export function createFakeCreateFlowChatModel(options = {}) {
@@ -233,7 +249,7 @@ export function createFakeCreateFlowChatModel(options = {}) {
                     return toolTurnParts('Proposing the change. ', 'updateFields', {
                         changes: [
                             {
-                                field: fakeUpdateFieldFrom(userText, updateField),
+                                ...fakeUpdateTargetFrom(userText, updateField),
                                 value: fakeUpdateValueFrom(userText),
                             },
                         ],