@metaobjectsdev/render 0.8.1-rc.1 → 0.9.0-rc.1

package/dist/prompt/output-format-renderer.js

@@ -9,7 +9,7 @@
 // reference (com.metaobjects.render.prompt.OutputFormatRenderer). Do not change
 // the verbatim prose, skeleton shapes, or numeric-vs-quoted decision.
 import { ESCAPERS } from "../escapers.js";
-import { FieldKind, Format } from "../recover/types.js";
+import { FieldKind, Format } from "../extract/types.js";
 import { PromptStyle } from "./prompt-style.js";
 const NUMERIC_KINDS = new Set([
     FieldKind.INT,
@@ -17,6 +17,8 @@ const NUMERIC_KINDS = new Set([
     FieldKind.DOUBLE,
     FieldKind.BOOLEAN,
 ]);
+const INDENT = "  ";
+const MAX_NEST_DEPTH = 8;
 // The render engine OWNS format-keyed escaping; Format ("JSON"/"XML") maps to the
 // lowercase ESCAPERS keys.
 const escapeXml = (s) => ESCAPERS.xml(s);
@@ -39,20 +41,8 @@ export function renderOutputFormat(spec, overrides) {
 // ---- INLINE ----------------------------------------------------------------
 function renderInline(spec, overrides) {
     return spec.format === Format.XML
-        ? renderXmlInline(spec, overrides)
-        : renderJsonInline(spec, overrides);
-}
-function renderXmlInline(spec, overrides) {
-    const lines = spec.fields.map((field) => {
-        const escaped = escapeXml(inlineContent(field, overrides));
-        return `  <${field.name}>${escaped}</${field.name}>\n`;
-    });
-    return `<${spec.rootName}>\n${lines.join("")}</${spec.rootName}>`;
-}
-function renderJsonInline(spec, overrides) {
-    const lines = spec.fields.map((field) => `  "${field.name}": "${escapeJson(inlineContent(field, overrides))}"`);
-    // Empty object is `{\n}` (Java/C# parity), not `{\n\n}` from join("") on no lines.
-    return spec.fields.length === 0 ? "{\n}" : `{\n${lines.join(",\n")}\n}`;
+        ? renderXmlSkeleton(spec, overrides, "inline")
+        : renderJsonSkeleton(spec, overrides, "inline");
 }
 function inlineContent(field, overrides) {
     if (field.kind === FieldKind.ENUM && field.enumValues != null && field.enumValues.length > 0) {
@@ -74,59 +64,123 @@ function resolveInstruction(field, overrides) {
 // ---- GUIDE -----------------------------------------------------------------
 function renderGuide(spec, overrides) {
     let sb = "Fill in each field as described below:\n";
+    sb += guideFields(spec, overrides, "", new Set([spec]), 0);
+    sb += "\nRespond exactly like this:\n";
+    sb += renderExampleOnly(spec, overrides);
+    return sb;
+}
+function guideFields(spec, overrides, prefix, path, depth) {
+    let sb = "";
     for (const field of spec.fields) {
-        const req = field.required ? "required" : "optional";
-        sb += `- ${field.name} (${req})`;
-        const instruction = resolveInstruction(field, overrides);
-        if (instruction != null) {
-            sb += `: ${instruction}`;
+        const displayName = prefix + field.name;
+        sb += guideEntry(field, overrides, displayName);
+        if (canExpand(field, path, depth)) {
+            const nested = field.nested;
+            const childPrefix = field.array ? `${displayName}[].` : `${displayName}.`;
+            path.add(nested);
+            sb += guideFields(nested, overrides, childPrefix, path, depth + 1);
+            path.delete(nested);
         }
-        sb += "\n";
-        if (field.kind === FieldKind.ENUM && field.enumValues != null && field.enumValues.length > 0) {
-            sb += `    one of ${field.enumValues.join(", ")}\n`;
-            const enumDoc = field.enumDoc;
-            if (enumDoc != null) {
-                for (const val of field.enumValues) {
-                    const doc = enumDoc[val];
-                    if (doc != null) {
-                        sb += `      ${val} = ${doc}\n`;
-                    }
-                }
+    }
+    return sb;
+}
+function guideEntry(field, overrides, displayName) {
+    const req = field.required ? "required" : "optional";
+    let sb = `- ${displayName} (${req})`;
+    const instruction = resolveInstruction(field, overrides);
+    if (instruction != null)
+        sb += `: ${instruction}`;
+    sb += "\n";
+    if (field.kind === FieldKind.ENUM && field.enumValues != null && field.enumValues.length > 0) {
+        sb += `    one of ${field.enumValues.join(", ")}\n`;
+        const enumDoc = field.enumDoc;
+        if (enumDoc != null) {
+            for (const val of field.enumValues) {
+                const doc = enumDoc[val];
+                if (doc != null)
+                    sb += `      ${val} = ${doc}\n`;
             }
         }
-        const eg = exampleValueIfDeclared(field, overrides);
-        if (eg != null) {
-            sb += `    e.g. ${eg}\n`;
-        }
     }
-    sb += "\nRespond exactly like this:\n";
-    sb += renderExampleOnly(spec, overrides);
+    const eg = exampleValueIfDeclared(field, overrides);
+    if (eg != null)
+        sb += `    e.g. ${eg}\n`;
     return sb;
 }
 // ---- EXAMPLE-ONLY (also the skeleton appended by GUIDE) ---------------------
 function renderExampleOnly(spec, overrides) {
     return spec.format === Format.XML
-        ? renderXmlSkeleton(spec, overrides)
-        : renderJsonSkeleton(spec, overrides);
-}
-function renderXmlSkeleton(spec, overrides) {
-    const lines = spec.fields.map((field) => {
-        const escaped = escapeXml(exampleValue(field, overrides));
-        return `  <${field.name}>${escaped}</${field.name}>\n`;
-    });
-    return `<${spec.rootName}>\n${lines.join("")}</${spec.rootName}>`;
-}
-function renderJsonSkeleton(spec, overrides) {
-    // NOTE: FieldKind.OBJECT / nested fields are not expanded here — they render as
-    // a "{fieldName}" placeholder. Nested-object expansion is a bounded deferral
-    // (mirrors Java/C#).
-    const lines = spec.fields.map((field) => {
-        const value = exampleValue(field, overrides);
-        const rendered = isNumericOrBoolean(field.kind, value) ? value : `"${escapeJson(value)}"`;
-        return `  "${field.name}": ${rendered}`;
-    });
-    // Empty object is `{\n}` (Java/C# parity), not `{\n\n}` from join("") on no lines.
-    return spec.fields.length === 0 ? "{\n}" : `{\n${lines.join(",\n")}\n}`;
+        ? renderXmlSkeleton(spec, overrides, "example")
+        : renderJsonSkeleton(spec, overrides, "example");
+}
+// ---- JSON skeleton (recursive) ---------------------------------------------
+function renderJsonSkeleton(spec, overrides, mode) {
+    return jsonObject(spec, overrides, "", mode, new Set([spec]), 0);
+}
+function jsonObject(spec, overrides, braceIndent, mode, path, depth) {
+    if (spec.fields.length === 0)
+        return `{\n${braceIndent}}`;
+    const fieldIndent = braceIndent + INDENT;
+    const lines = spec.fields.map((field) => `${fieldIndent}"${field.name}": ${jsonValue(field, overrides, fieldIndent, mode, path, depth)}`);
+    return `{\n${lines.join(",\n")}\n${braceIndent}}`;
+}
+function jsonValue(field, overrides, indent, mode, path, depth) {
+    if (field.array)
+        return jsonArray(field, overrides, indent, mode, path, depth);
+    if (field.kind === FieldKind.OBJECT)
+        return jsonObjectField(field, overrides, indent, mode, path, depth);
+    return jsonLeaf(field, overrides, mode);
+}
+function jsonLeaf(field, overrides, mode) {
+    if (mode === "inline")
+        return `"${escapeJson(inlineContent(field, overrides))}"`;
+    const value = exampleValue(field, overrides);
+    return isNumericOrBoolean(field.kind, value) ? value : `"${escapeJson(value)}"`;
+}
+function canExpand(field, path, depth) {
+    return field.kind === FieldKind.OBJECT && field.nested != null
+        && depth < MAX_NEST_DEPTH && !path.has(field.nested);
+}
+function jsonObjectField(field, overrides, indent, mode, path, depth) {
+    if (!canExpand(field, path, depth))
+        return jsonLeaf(field, overrides, mode);
+    const nested = field.nested;
+    path.add(nested);
+    const out = jsonObject(nested, overrides, indent, mode, path, depth + 1);
+    path.delete(nested);
+    return out;
+}
+function jsonArray(field, overrides, indent, mode, path, depth) {
+    const elemIndent = indent + INDENT;
+    let elem;
+    if (canExpand(field, path, depth)) {
+        const nested = field.nested;
+        path.add(nested);
+        elem = jsonObject(nested, overrides, elemIndent, mode, path, depth + 1);
+        path.delete(nested);
+    }
+    else {
+        elem = jsonLeaf(field, overrides, mode);
+    }
+    return `[\n${elemIndent}${elem}\n${indent}]`;
+}
+// ---- XML skeleton (recursive) ----------------------------------------------
+function renderXmlSkeleton(spec, overrides, mode) {
+    return `<${spec.rootName}>\n${xmlBody(spec, overrides, INDENT, mode, new Set([spec]), 0)}</${spec.rootName}>`;
+}
+function xmlBody(spec, overrides, indent, mode, path, depth) {
+    return spec.fields.map((field) => xmlField(field, overrides, indent, mode, path, depth)).join("");
+}
+function xmlField(field, overrides, indent, mode, path, depth) {
+    if (canExpand(field, path, depth)) {
+        const nested = field.nested;
+        path.add(nested);
+        const body = xmlBody(nested, overrides, indent + INDENT, mode, path, depth + 1);
+        path.delete(nested);
+        return `${indent}<${field.name}>\n${body}${indent}</${field.name}>\n`;
+    }
+    const content = mode === "inline" ? inlineContent(field, overrides) : exampleValue(field, overrides);
+    return `${indent}<${field.name}>${escapeXml(content)}</${field.name}>\n`;
 }
 function exampleValueIfDeclared(field, overrides) {
     const ov = overrides.examples?.[field.name];
@@ -155,7 +209,7 @@ function isNumericOrBoolean(kind, value) {
     // Finite-only: NaN/Infinity fall through to a quoted string so the emitted JSON
     // stays valid. Number("") is 0, so guard the empty/blank case explicitly. Reject
     // JS-only radix literals (0x../0b../0o..) that Number() accepts but Java/C# don't —
-    // same guard as the recover engine's parseFiniteNumber (keeps the JSON valid + parity).
+    // same guard as the extract engine's parseFiniteNumber (keeps the JSON valid + parity).
     const t = value.trim();
     if (t === "" || /^[+-]?0[xXbBoO]/.test(t))
         return false;

package/dist/prompt/output-format-renderer.js.map

@@ -1 +1 @@
-{"version":3,"file":"output-format-renderer.js","sourceRoot":"","sources":["../../src/prompt/output-format-renderer.ts"],"names":[],"mappings":"AAAA,uFAAuF;AACvF,EAAE;AACF,gFAAgF;AAChF,+EAA+E;AAC/E,iFAAiF;AACjF,8DAA8D;AAC9D,EAAE;AACF,kFAAkF;AAClF,gFAAgF;AAChF,sEAAsE;AAEtE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAIxD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhD,MAAM,aAAa,GAA2B,IAAI,GAAG,CAAY;IAC/D,SAAS,CAAC,GAAG;IACb,SAAS,CAAC,IAAI;IACd,SAAS,CAAC,MAAM;IAChB,SAAS,CAAC,OAAO;CAClB,CAAC,CAAC;AAEH,kFAAkF;AAClF,2BAA2B;AAC3B,MAAM,SAAS,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACzD,MAAM,UAAU,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAE3D;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAsB,EAAE,SAA0B;IACnF,MAAM,cAAc,GAAG,SAAS,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC;IACrD,QAAQ,cAAc,EAAE,CAAC;QACvB,KAAK,WAAW,CAAC,YAAY;YAC3B,OAAO,iBAAiB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC5C,KAAK,WAAW,CAAC,MAAM;YACrB,OAAO,YAAY,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACvC;YACE,OAAO,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACxC,CAAC;AACH,CAAC;AAED,+EAA+E;AAE/E,SAAS,YAAY,CAAC,IAAsB,EAAE,SAA0B;IACtE,OAAO,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,GAAG;QAC/B,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,SAAS,CAAC;QAClC,CAAC,CAAC,gBAAgB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,eAAe,CAAC,IAAsB,EAAE,SAA0B;IACzE,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACtC,MAAM,OAAO,GAAG,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;QAC3D,OAAO,MAAM,KAAK,CAAC,IAAI,IAAI,OAAO,KAAK,KAAK,CAAC,IAAI,KAAK,CAAC;IACzD,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,CAAC,QAAQ,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,QAAQ,GAAG,CAAC;AACpE,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAsB,EAAE,SAA0B;IAC1E,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAC3B,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,UAAU,CAAC,aAAa,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,GAAG,CACjF,CAAC;IACF,mFAAmF;IACnF,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;AAC1E,CAAC;AAED,SAAS,aAAa,CAAC,KAAkB,EAAE,SAA0B;IACnE,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7F,OAAO,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,EAAE,CAAC;QACrC,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,MAAM,WAAW,GAAG,kBAAkB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACzD,OAAO,WAAW,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,WAAW,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC;AACtE,CAAC;AAED,gFAAgF;AAChF,SAAS,kBAAkB,CAAC,KAAkB,EAAE,SAA0B;IACxE,MAAM,EAAE,GAAG,SAAS,CAAC,YAAY,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,EAAE,IAAI,IAAI;QAAE,OAAO,EAAE,CAAC;IAC1B,OAAO,KAAK,CAAC,WAAW,CAAC;AAC3B,CAAC;AAED,+EAA+E;AAE/E,SAAS,WAAW,CAAC,IAAsB,EAAE,SAA0B;IACrE,IAAI,EAAE,GAAG,0CAA0C,CAAC;IACpD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;QACrD,EAAE,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,GAAG,GAAG,CAAC;QACjC,MAAM,WAAW,GAAG,kBAAkB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACzD,IAAI,WAAW,IAAI,IAAI,EAAE,CAAC;YACxB,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;QAC3B,CAAC;QACD,EAAE,IAAI,IAAI,CAAC;QACX,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7F,EAAE,IAAI,cAAc,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YACpD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;YAC9B,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;gBACpB,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;oBACnC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;oBACzB,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC;wBAChB,EAAE,IAAI,SAAS,GAAG,MAAM,GAAG,IAAI,CAAC;oBAClC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QACD,MAAM,EAAE,GAAG,sBAAsB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACpD,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC;YACf,EAAE,IAAI,YAAY,EAAE,IAAI,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,EAAE,IAAI,gCAAgC,CAAC;IACvC,EAAE,IAAI,iBAAiB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACzC,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,gFAAgF;AAEhF,SAAS,iBAAiB,CAAC,IAAsB,EAAE,SAA0B;IAC3E,OAAO,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,GAAG;QAC/B,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,SAAS,CAAC;QACpC,CAAC,CAAC,kBAAkB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAsB,EAAE,SAA0B;IAC3E,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACtC,MAAM,OAAO,GAAG,SAAS,CAAC,YAAY,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;QAC1D,OAAO,MAAM,KAAK,CAAC,IAAI,IAAI,OAAO,KAAK,KAAK,CAAC,IAAI,KAAK,CAAC;IACzD,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,CAAC,QAAQ,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,QAAQ,GAAG,CAAC;AACpE,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAsB,EAAE,SAA0B;IAC5E,gFAAgF;IAChF,6EAA6E;IAC7E,qBAAqB;IACrB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACtC,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC7C,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC;QAC1F,OAAO,MAAM,KAAK,CAAC,IAAI,MAAM,QAAQ,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;IACH,mFAAmF;IACnF,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;AAC1E,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAkB,EAAE,SAA0B;IAC5E,MAAM,EAAE,GAAG,SAAS,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,EAAE,IAAI,IAAI;QAAE,OAAO,EAAE,CAAC;IAC1B,IAAI,KAAK,CAAC,OAAO,IAAI,IAAI;QAAE,OAAO,KAAK,CAAC,OAAO,CAAC;IAChD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,YAAY,CAAC,KAAkB,EAAE,SAA0B;IAClE,MAAM,EAAE,GAAG,SAAS,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,EAAE,IAAI,IAAI;QAAE,OAAO,EAAE,CAAC;IAC1B,IAAI,KAAK,CAAC,OAAO,IAAI,IAAI;QAAE,OAAO,KAAK,CAAC,OAAO,CAAC;IAChD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7F,OAAO,KAAK,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC;IAC9B,CAAC;IACD,OAAO,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC;AAC3B,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAe,EAAE,KAAa;IACxD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3C,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACvD,gFAAgF;IAChF,iFAAiF;IACjF,oFAAoF;IACpF,wFAAwF;IACxF,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACvB,IAAI,CAAC,KAAK,EAAE,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACxD,OAAO,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AACpC,CAAC"}
+{"version":3,"file":"output-format-renderer.js","sourceRoot":"","sources":["../../src/prompt/output-format-renderer.ts"],"names":[],"mappings":"AAAA,uFAAuF;AACvF,EAAE;AACF,gFAAgF;AAChF,+EAA+E;AAC/E,iFAAiF;AACjF,8DAA8D;AAC9D,EAAE;AACF,kFAAkF;AAClF,gFAAgF;AAChF,sEAAsE;AAEtE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAIxD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhD,MAAM,aAAa,GAA2B,IAAI,GAAG,CAAY;IAC/D,SAAS,CAAC,GAAG;IACb,SAAS,CAAC,IAAI;IACd,SAAS,CAAC,MAAM;IAChB,SAAS,CAAC,OAAO;CAClB,CAAC,CAAC;AAEH,MAAM,MAAM,GAAG,IAAI,CAAC;AACpB,MAAM,cAAc,GAAG,CAAC,CAAC;AAIzB,kFAAkF;AAClF,2BAA2B;AAC3B,MAAM,SAAS,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACzD,MAAM,UAAU,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAE3D;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAsB,EAAE,SAA0B;IACnF,MAAM,cAAc,GAAG,SAAS,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC;IACrD,QAAQ,cAAc,EAAE,CAAC;QACvB,KAAK,WAAW,CAAC,YAAY;YAC3B,OAAO,iBAAiB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC5C,KAAK,WAAW,CAAC,MAAM;YACrB,OAAO,YAAY,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACvC;YACE,OAAO,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACxC,CAAC;AACH,CAAC;AAED,+EAA+E;AAE/E,SAAS,YAAY,CAAC,IAAsB,EAAE,SAA0B;IACtE,OAAO,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,GAAG;QAC/B,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC;QAC9C,CAAC,CAAC,kBAAkB,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,aAAa,CAAC,KAAkB,EAAE,SAA0B;IACnE,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7F,OAAO,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,EAAE,CAAC;QACrC,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,MAAM,WAAW,GAAG,kBAAkB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACzD,OAAO,WAAW,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,WAAW,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC;AACtE,CAAC;AAED,gFAAgF;AAChF,SAAS,kBAAkB,CAAC,KAAkB,EAAE,SAA0B;IACxE,MAAM,EAAE,GAAG,SAAS,CAAC,YAAY,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,EAAE,IAAI,IAAI;QAAE,OAAO,EAAE,CAAC;IAC1B,OAAO,KAAK,CAAC,WAAW,CAAC;AAC3B,CAAC;AAED,+EAA+E;AAE/E,SAAS,WAAW,CAAC,IAAsB,EAAE,SAA0B;IACrE,IAAI,EAAE,GAAG,0CAA0C,CAAC;IACpD,EAAE,IAAI,WAAW,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,GAAG,CAAmB,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7E,EAAE,IAAI,gCAAgC,CAAC;IACvC,EAAE,IAAI,iBAAiB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACzC,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,WAAW,CAClB,IAAsB,EAAE,SAA0B,EAAE,MAAc,EAClE,IAA2B,EAAE,KAAa;IAE1C,IAAI,EAAE,GAAG,EAAE,CAAC;IACZ,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChC,MAAM,WAAW,GAAG,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC;QACxC,EAAE,IAAI,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;QAChD,IAAI,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAO,CAAC;YAC7B,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,WAAW,KAAK,CAAC,CAAC,CAAC,GAAG,WAAW,GAAG,CAAC;YAC1E,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACjB,EAAE,IAAI,WAAW,CAAC,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YACnE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,UAAU,CAAC,KAAkB,EAAE,SAA0B,EAAE,WAAmB;IACrF,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;IACrD,IAAI,EAAE,GAAG,KAAK,WAAW,KAAK,GAAG,GAAG,CAAC;IACrC,MAAM,WAAW,GAAG,kBAAkB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACzD,IAAI,WAAW,IAAI,IAAI;QAAE,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;IAClD,EAAE,IAAI,IAAI,CAAC;IACX,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7F,EAAE,IAAI,cAAc,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QACpD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;QAC9B,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;YACpB,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;gBACnC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;gBACzB,IAAI,GAAG,IAAI,IAAI;oBAAE,EAAE,IAAI,SAAS,GAAG,MAAM,GAAG,IAAI,CAAC;YACnD,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,EAAE,GAAG,sBAAsB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACpD,IAAI,EAAE,IAAI,IAAI;QAAE,EAAE,IAAI,YAAY,EAAE,IAAI,CAAC;IACzC,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,gFAAgF;AAEhF,SAAS,iBAAiB,CAAC,IAAsB,EAAE,SAA0B;IAC3E,OAAO,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,GAAG;QAC/B,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC;QAC/C,CAAC,CAAC,kBAAkB,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;AACrD,CAAC;AAED,+EAA+E;AAE/E,SAAS,kBAAkB,CAAC,IAAsB,EAAE,SAA0B,EAAE,IAAc;IAC5F,OAAO,UAAU,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,GAAG,CAAmB,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,UAAU,CACjB,IAAsB,EAAE,SAA0B,EAAE,WAAmB,EACvE,IAAc,EAAE,IAA2B,EAAE,KAAa;IAE1D,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,WAAW,GAAG,CAAC;IAC1D,MAAM,WAAW,GAAG,WAAW,GAAG,MAAM,CAAC;IACzC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAC3B,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,WAAW,IAAI,KAAK,CAAC,IAAI,MAAM,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,CAC3G,CAAC;IACF,OAAO,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,WAAW,GAAG,CAAC;AACpD,CAAC;AAED,SAAS,SAAS,CAChB,KAAkB,EAAE,SAA0B,EAAE,MAAc,EAC9D,IAAc,EAAE,IAA2B,EAAE,KAAa;IAE1D,IAAI,KAAK,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/E,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM;QAAE,OAAO,eAAe,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACzG,OAAO,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,QAAQ,CAAC,KAAkB,EAAE,SAA0B,EAAE,IAAc;IAC9E,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,UAAU,CAAC,aAAa,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,GAAG,CAAC;IACjF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAC7C,OAAO,kBAAkB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC;AAClF,CAAC;AAED,SAAS,SAAS,CAAC,KAAkB,EAAE,IAA2B,EAAE,KAAa;IAC/E,OAAO,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,IAAI,IAAI;WACzD,KAAK,GAAG,cAAc,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,eAAe,CACtB,KAAkB,EAAE,SAA0B,EAAE,MAAc,EAC9D,IAAc,EAAE,IAA2B,EAAE,KAAa;IAE1D,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAC5E,MAAM,MAAM,GAAG,KAAK,CAAC,MAAO,CAAC;IAC7B,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACjB,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IACzE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACpB,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,SAAS,CAChB,KAAkB,EAAE,SAA0B,EAAE,MAAc,EAC9D,IAAc,EAAE,IAA2B,EAAE,KAAa;IAE1D,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,CAAC;IACnC,IAAI,IAAY,CAAC;IACjB,IAAI,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAO,CAAC;QAC7B,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjB,IAAI,GAAG,UAAU,CAAC,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACxE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACtB,CAAC;SAAM,CAAC;QACN,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,MAAM,UAAU,GAAG,IAAI,KAAK,MAAM,GAAG,CAAC;AAC/C,CAAC;AAED,+EAA+E;AAE/E,SAAS,iBAAiB,CAAC,IAAsB,EAAE,SAA0B,EAAE,IAAc;IAC3F,OAAO,IAAI,IAAI,CAAC,QAAQ,MAAM,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,CAAmB,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,QAAQ,GAAG,CAAC;AAClI,CAAC;AAED,SAAS,OAAO,CACd,IAAsB,EAAE,SAA0B,EAAE,MAAc,EAClE,IAAc,EAAE,IAA2B,EAAE,KAAa;IAE1D,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,QAAQ,CACf,KAAkB,EAAE,SAA0B,EAAE,MAAc,EAC9D,IAAc,EAAE,IAA2B,EAAE,KAAa;IAE1D,IAAI,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAO,CAAC;QAC7B,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjB,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAChF,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACpB,OAAO,GAAG,MAAM,IAAI,KAAK,CAAC,IAAI,MAAM,IAAI,GAAG,MAAM,KAAK,KAAK,CAAC,IAAI,KAAK,CAAC;IACxE,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACrG,OAAO,GAAG,MAAM,IAAI,KAAK,CAAC,IAAI,IAAI,SAAS,CAAC,OAAO,CAAC,KAAK,KAAK,CAAC,IAAI,KAAK,CAAC;AAC3E,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAkB,EAAE,SAA0B;IAC5E,MAAM,EAAE,GAAG,SAAS,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,EAAE,IAAI,IAAI;QAAE,OAAO,EAAE,CAAC;IAC1B,IAAI,KAAK,CAAC,OAAO,IAAI,IAAI;QAAE,OAAO,KAAK,CAAC,OAAO,CAAC;IAChD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,YAAY,CAAC,KAAkB,EAAE,SAA0B;IAClE,MAAM,EAAE,GAAG,SAAS,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,EAAE,IAAI,IAAI;QAAE,OAAO,EAAE,CAAC;IAC1B,IAAI,KAAK,CAAC,OAAO,IAAI,IAAI;QAAE,OAAO,KAAK,CAAC,OAAO,CAAC;IAChD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7F,OAAO,KAAK,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC;IAC9B,CAAC;IACD,OAAO,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC;AAC3B,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAe,EAAE,KAAa;IACxD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3C,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACvD,gFAAgF;IAChF,iFAAiF;IACjF,oFAAoF;IACpF,wFAAwF;IACxF,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACvB,IAAI,CAAC,KAAK,EAAE,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACxD,OAAO,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AACpC,CAAC"}

package/dist/prompt/output-format-spec.d.ts

@@ -1,4 +1,4 @@
-import type { Format } from "../recover/types.js";
+import type { Format } from "../extract/types.js";
 import type { PromptField } from "./prompt-field.js";
 import type { PromptStyle } from "./prompt-style.js";
 /**

package/dist/prompt/prompt-field.d.ts

@@ -1,4 +1,4 @@
-import type { FieldKind } from "../recover/types.js";
+import type { FieldKind } from "../extract/types.js";
 import type { OutputFormatSpec } from "./output-format-spec.js";
 /**
  * One field of an output-format fragment. `enumValues`/`enumDoc` are non-null

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@metaobjectsdev/render",
-  "version": "0.8.1-rc.1",
+  "version": "0.9.0-rc.1",
   "description": "Logic-less, deterministic text render engine (Mustache) for MetaObjects templates — provider-resolved partials, format-driven escaping, zero core dependency.",
   "type": "module",
   "main": "./dist/index.js",

package/src/email-document.ts

@@ -0,0 +1,6 @@
+/** A rendered email: subject + HTML body + optional plain-text alternative (MIME multipart/alternative). */
+export interface EmailDocument {
+  subject: string;
+  htmlBody: string;
+  textBody?: string;
+}

package/src/extract/KNOWN_GAPS.md

@@ -0,0 +1,59 @@
+# FR-010 TypeScript extract engine — known gaps & intentional cross-port divergences
+
+Scope: the tolerant `extract` pipeline (`src/extract/`). The Java engine
+(`server/java/render/.../extract/`) is the cross-port reference; `fixtures/extract-conformance/`
+is the oracle. All 10 corpus cases pass.
+
+## Additive capability (TS + C#, beyond Java/Kotlin)
+
+- **Nested-object extract is implemented.** A `FieldSpec` with a non-null `nested` schema
+  (built via the `object(...)` factory) is descended into and its sub-fields classified. The
+  Java/Kotlin ports defer this (their codegen emits a scalar-STRING placeholder). The C# port
+  also carries the OBJECT branch, so TS and C# agree. This is **dormant** under both the
+  conformance corpus (no nested fixture; the runner's schema parser never sets `nested`) and the
+  FR-010 codegen (Phase 3 emits the scalar placeholder for cross-port parity), so it changes no
+  shared-corpus result. If a future shared fixture adds a nested case, Java/Kotlin catch up.
+
+## Intentional, documented divergence (NOT a bug)
+
+The cross-port contract pins *classification + canonical value* (numbers within ±1e-9), not
+byte-identical native parsing.
+
+- **Java-style numeric suffixes / hex-float literals.** Java's `Double.parseDouble` accepts
+  `"42d"` / `"42f"` and hex-float forms (→ EXTRACTED); TS uses `Number(...)` + `Number.isFinite`,
+  which rejects them → **MALFORMED** (same accepted divergence the C# port records). The
+  load-bearing behavior — finite-only acceptance, `NaN`/`±Infinity` → MALFORMED — is identical.
+
+- **JS-only radix-prefixed literals are GUARDED for parity.** `Number("0x10")` is `16` in JS, but
+  Java/C# reject `0x..`/`0b..`/`0o..` → MALFORMED. `parseFiniteNumber` rejects these prefixes
+  explicitly so TS matches Java/C# (→ MALFORMED) rather than over-accepting. (Not a divergence —
+  noted here because the guard exists precisely to prevent one.)
+
+## Bounded deferral (parity with all ports)
+
+- Array-of-enum is not specialized (a scalar array extracts via `asStringList`).
+- `asInt`/`asLong` both return `number | null` (JS has one number type) and truncate toward zero.
+
+## FR-011 extract hardening — current state
+
+- **Enum coercion pipeline.** Enum extraction runs a fixed ladder: exact → normalize
+  (`@normalize` mode `none | collapse | strip`, default `strip`, per-field with an
+  `object.value`-level default) → `@enumAlias` → `@coerceDefault` → MALFORMED. `@default` fills
+  an absent enum (→ `DEFAULTED`, which satisfies `@required`); the `DEFAULTED` classification is
+  now emitted by the engine.
+- **Nested/embedded-object extraction is supported** uniformly at the engine level (dotted child
+  paths, element-wise arrays) — this closes the FR-010 nested deferral noted above for the
+  *engine*. NOTE: the codegen schema-emitters still emit a scalar-STRING placeholder for nested
+  object fields (a deliberate, cross-port-consistent codegen deferral), so nested extraction is
+  reachable via a hand-built / engine-level schema but is not yet auto-emitted by codegen.
+- **Fuzzy matching is deliberately DEFERRED.** A reserved no-op slot exists in the pipeline
+  (between `@enumAlias` and `@coerceDefault`). If added later it must be guarded integer
+  Levenshtein — never float / Jaro-Winkler — to preserve cross-port determinism.
+- **`@normalize` `unicode` mode is intentionally NOT offered.** Normalization is ASCII-only (enum
+  members are ASCII identifiers), so it is byte-identical cross-port. A full Unicode / NFKC_Casefold
+  mode was rejected: cross-port byte-identity can't be guaranteed.
+- **Known cross-port caveat (out of corpus).** The pre-normalization `trim` / `strip` step uses
+  each language's native trim, which differs on *non-ASCII* leading/trailing whitespace under
+  `collapse` mode — TS strips Unicode whitespace, Java trims only ≤U+0020. Unreachable via the
+  ASCII-only conformance corpus and irrelevant under `strip` / `none` modes; enum members and
+  typical LLM whitespace are ASCII. Documented for completeness.

package/src/extract/coerce.ts

@@ -0,0 +1,224 @@
+// Stage 7: canonicalize a raw scalar string per its FieldSpec. Returns the MALFORMED
+// sentinel when present-but-uncoercible. Mirrors Java Coerce.
+//
+// Tier-2 divergence (documented, parity with the C# port's KNOWN_GAPS): JS has one
+// number type. INT/LONG both truncate toward zero via Math.trunc and return `number`.
+// Coercion uses Number(...) + Number.isFinite, NOT Java's Double.parseDouble — so JS
+// does NOT accept Java's numeric suffixes ("42d"/"42f") or hex-float literals. The
+// load-bearing contract (finite-only acceptance; NaN/±Infinity → MALFORMED; numeric
+// classification) is identical across ports.
+
+import { FieldKind, Tolerance } from "./types.js";
+import type { FieldSpec, ExtractOptions, ExtractionReport } from "./types.js";
+import { normalizeEnum } from "./normalize.js";
+import type { NormalizeMode } from "./normalize.js";
+
+/** Sentinel: the value was present but could not be coerced to the declared kind/vocabulary. */
+export const MALFORMED: unique symbol = Symbol("extract.coerce.MALFORMED");
+
+export function coerceValue(
+  raw: string | null,
+  spec: FieldSpec,
+  opts: ExtractOptions,
+  fieldPath: string,
+  report: ExtractionReport,
+): unknown | typeof MALFORMED {
+  if (raw == null) return MALFORMED;
+
+  if (opts.onField != null) {
+    const hooked = opts.onField(fieldPath, raw, spec);
+    if (hooked != null) {
+      report.addCoercion({ fieldPath, from: raw, to: stringify(hooked), kind: "onField" });
+      return hooked;
+    }
+  }
+
+  // Per-field runtime normalizer (bounded 20% surface). Keyed by field path, then simple name.
+  const norm = opts.normalizers[fieldPath] ?? opts.normalizers[spec.name];
+  if (norm != null) {
+    const normalized = norm(raw);
+    if (normalized != null) {
+      report.addCoercion({ fieldPath, from: raw, to: stringify(normalized), kind: "normalizer" });
+      return normalized;
+    }
+  }
+
+  const ci = opts.tolerance !== Tolerance.STRICT;
+  switch (spec.kind) {
+    case FieldKind.ENUM:
+      return coerceEnum(raw, spec, opts, fieldPath, report, ci);
+    case FieldKind.INT:
+    case FieldKind.LONG:
+      return coerceInt(raw, spec, fieldPath, report);
+    case FieldKind.DOUBLE:
+      return coerceDouble(raw, spec, fieldPath, report);
+    case FieldKind.BOOLEAN:
+      return coerceBool(raw, ci);
+    default:
+      return raw;
+  }
+}
+
+/**
+ * Phase B (generalized `@default`): PURE coercion of a metadata-sourced string to the field's
+ * scalar kind, with NO side effects (no normalizer/onField hooks, no clamp logging) — the value
+ * originates from metadata, not the model response. Returns the coerced value or the MALFORMED
+ * sentinel. INT/LONG accept an integer or a truncatable finite number; DOUBLE accepts any finite
+ * number; BOOLEAN accepts `true|false|yes|no|1|0`; STRING (and any other kind) passes through
+ * verbatim. Mirrors Java `Coerce.scalar` (parse semantics of {@link coerceValue} without its
+ * range-clamp / report machinery).
+ */
+export function scalarCoerce(raw: string | null, spec: FieldSpec): unknown | typeof MALFORMED {
+  if (raw == null) return MALFORMED;
+  switch (spec.kind) {
+    case FieldKind.INT:
+    case FieldKind.LONG: {
+      const n = parseFiniteNumber(raw);
+      return n === null ? MALFORMED : Math.trunc(n);
+    }
+    case FieldKind.DOUBLE: {
+      const n = parseFiniteNumber(raw);
+      return n === null ? MALFORMED : n;
+    }
+    case FieldKind.BOOLEAN:
+      return coerceBool(raw, true);
+    default:
+      return raw; // STRING / ENUM / OBJECT — verbatim
+  }
+}
+
+/**
+ * FR-011 enum coercion pipeline: exact → normalize → @enumAlias → (reserved fuzzy) →
+ * @coerceDefault → MALFORMED. Resolution mode is `spec.normalize` (default "strip"); under
+ * STRICT tolerance (ci === false) normalization is forced to "none" (exact-only), preserving
+ * the case-sensitive STRICT contract. The FR-010 case-insensitive default is now mode "strip".
+ */
+function coerceEnum(
+  raw: string,
+  spec: FieldSpec,
+  opts: ExtractOptions,
+  path: string,
+  report: ExtractionReport,
+  ci: boolean,
+): unknown | typeof MALFORMED {
+  const mode: NormalizeMode = ci ? spec.normalize : "none";
+
+  // 1. exact match.
+  if (spec.enumValues != null) {
+    for (const v of spec.enumValues) if (v === raw) return v;
+  }
+
+  // 2. normalized match (skipped when mode === "none").
+  if (mode !== "none" && spec.enumValues != null) {
+    const normRaw = normalizeEnum(raw, mode);
+    for (const v of spec.enumValues) {
+      if (normalizeEnum(v, mode) === normRaw) {
+        report.addCoercion({ fieldPath: path, from: raw, to: v, kind: "normalize" });
+        return v;
+      }
+    }
+  }
+
+  // 3. @enumAlias — runtime aliases win over schema; alias keys normalized by the mode.
+  const aliasTarget = lookupAlias(raw, spec, opts, mode);
+  if (aliasTarget != null) {
+    const schemaTarget = lookupAliasIn(raw, spec.enumAlias ?? {}, mode);
+    const kind =
+      aliasTarget.fromRuntime && schemaTarget != null && schemaTarget !== aliasTarget.target
+        ? "runtime-alias-override"
+        : "alias";
+    report.addCoercion({ fieldPath: path, from: raw, to: aliasTarget.target, kind });
+    return aliasTarget.target;
+  }
+
+  // 4. reserved fuzzy slot — NOT implemented (see FR-011 spec "Out of scope").
+
+  // 5. @coerceDefault — present-but-uncoercible fallback to a valid member → DEFAULTED.
+  if (spec.coerceDefault != null && spec.enumValues != null && spec.enumValues.includes(spec.coerceDefault)) {
+    report.addCoercion({ fieldPath: path, from: raw, to: spec.coerceDefault, kind: "coerceDefault" });
+    return spec.coerceDefault;
+  }
+
+  // 6. MALFORMED.
+  return MALFORMED;
+}
+
+/**
+ * Resolve `raw` against the merged alias maps (runtime wins), comparing keys under `mode`.
+ * Returns the target member + whether the winning hit came from the runtime map.
+ */
+function lookupAlias(
+  raw: string,
+  spec: FieldSpec,
+  opts: ExtractOptions,
+  mode: NormalizeMode,
+): { target: string; fromRuntime: boolean } | null {
+  const runtime = lookupAliasIn(raw, opts.aliases, mode);
+  if (runtime != null) return { target: runtime, fromRuntime: true };
+  const schema = lookupAliasIn(raw, spec.enumAlias ?? {}, mode);
+  if (schema != null) return { target: schema, fromRuntime: false };
+  return null;
+}
+
+/** Find `raw` in an alias map, matching keys exactly first then under `mode` normalization. */
+function lookupAliasIn(raw: string, aliases: Readonly<Record<string, string>>, mode: NormalizeMode): string | null {
+  if (Object.prototype.hasOwnProperty.call(aliases, raw)) return aliases[raw]!;
+  if (mode === "none") return null;
+  const normRaw = normalizeEnum(raw, mode);
+  for (const key of Object.keys(aliases)) {
+    if (normalizeEnum(key, mode) === normRaw) return aliases[key]!;
+  }
+  return null;
+}
+
+function coerceInt(raw: string, spec: FieldSpec, path: string, report: ExtractionReport): unknown | typeof MALFORMED {
+  const n = parseFiniteNumber(raw);
+  if (n === null) return MALFORMED;
+  return clamp(Math.trunc(n), spec, path, report);
+}
+
+function coerceDouble(raw: string, spec: FieldSpec, path: string, report: ExtractionReport): unknown | typeof MALFORMED {
+  const n = parseFiniteNumber(raw);
+  if (n === null) return MALFORMED;
+  return clamp(n, spec, path, report);
+}
+
+/** Parse a trimmed numeric string; null if empty, non-numeric, or non-finite (NaN/±Infinity). */
+function parseFiniteNumber(raw: string): number | null {
+  const t = raw.trim();
+  if (t.length === 0) return null;
+  // Reject JS-only radix-prefixed literals (0x.., 0b.., 0o..) that Number() would
+  // accept but Java/C# numeric parsing rejects → MALFORMED. Keeps cross-port parity.
+  if (/^[+-]?0[xXbBoO]/.test(t)) return null;
+  const n = Number(t); // Number("") === 0, hence the empty guard above
+  return Number.isFinite(n) ? n : null;
+}
+
+function clamp(n: number, spec: FieldSpec, path: string, report: ExtractionReport): number {
+  let c = n;
+  if (spec.min != null && c < spec.min) c = spec.min;
+  if (spec.max != null && c > spec.max) c = spec.max;
+  if (c !== n) report.addCoercion({ fieldPath: path, from: stringify(n), to: stringify(c), kind: "clamp" });
+  return c;
+}
+
+function coerceBool(raw: string, ci: boolean): boolean | typeof MALFORMED {
+  const t = ci ? raw.trim().toLowerCase() : raw.trim();
+  switch (t) {
+    case "true":
+    case "yes":
+    case "1":
+      return true;
+    case "false":
+    case "no":
+    case "0":
+      return false;
+    default:
+      return MALFORMED;
+  }
+}
+
+/** Canonical string form (locale-independent), mirroring Java String.valueOf for the corpus. */
+function stringify(v: unknown): string {
+  return String(v);
+}

package/src/{recover/recover-map.ts → extract/extract-map.ts}

@@ -1,5 +1,5 @@
-// Null-safe coercions from a RecoverOutcome data map onto typed values. Generated
-// recover(...) calls these. Mirrors Java RecoverMap.
+// Null-safe coercions from a ExtractionOutcome data map onto typed values. Generated
+// extract(...) calls these. Mirrors Java ExtractMap.
 //
 // Tier-2 divergence: JS has one number type, so asInt/asLong both return `number | null`
 // and truncate toward zero via Math.trunc (Java intValue()/longValue() also truncate).