@metaobjectsdev/render 0.7.0 → 0.8.0

package/dist/recover/types.js

@@ -0,0 +1,124 @@
+// FR-010 recover engine — types & model (Tier-2 idiomatic TS port).
+//
+// Cross-port REFERENCE is the Java engine
+// (server/java/render/.../recover/). This file ports the Java records/enums to
+// idiomatic TS: enums become string-union `as const` objects (values match the
+// corpus / Java enum names exactly), records become readonly interfaces +
+// factory functions, and the mutable RecoveryReport is a class.
+/** Output format the dirty text claims to be. Corpus schema.json uses "JSON"/"XML". */
+export const Format = {
+    JSON: "JSON",
+    XML: "XML",
+};
+/** The coercion target kinds the engine understands. OBJECT = nested RecoverSchema. */
+export const FieldKind = {
+    STRING: "STRING",
+    INT: "INT",
+    LONG: "LONG",
+    DOUBLE: "DOUBLE",
+    BOOLEAN: "BOOLEAN",
+    ENUM: "ENUM",
+    OBJECT: "OBJECT",
+};
+/**
+ * FROZEN cross-port per-field recovery classification. Do not reorder or add
+ * without an ADR. These string values are SERIALIZED in the conformance corpus.
+ */
+export const FieldRecovery = {
+    RECOVERED: "RECOVERED",
+    // DEFAULTED is reserved (a future @default-backed value); the engine does not emit it yet.
+    DEFAULTED: "DEFAULTED",
+    LOST_OPTIONAL: "LOST_OPTIONAL",
+    LOST_REQUIRED: "LOST_REQUIRED",
+    MALFORMED: "MALFORMED",
+};
+/**
+ * STRICT: case-sensitive, minimal repair. NORMAL: case-insensitive keys/tags
+ * (default). LOOSE: maximal repair (currently identical to NORMAL — reserved).
+ */
+export const Tolerance = {
+    STRICT: "STRICT",
+    NORMAL: "NORMAL",
+    LOOSE: "LOOSE",
+};
+export function scalar(name, kind, required) {
+    return { name, kind, required, array: false, enumValues: null, enumAlias: null, min: null, max: null, nested: null };
+}
+export function enumField(name, required, values, aliases) {
+    return {
+        name,
+        kind: FieldKind.ENUM,
+        required,
+        array: false,
+        enumValues: values == null ? null : [...values],
+        enumAlias: aliases == null ? {} : { ...aliases },
+        min: null,
+        max: null,
+        nested: null,
+    };
+}
+export function range(name, kind, required, min, max) {
+    return { name, kind, required, array: false, enumValues: null, enumAlias: null, min, max, nested: null };
+}
+export function object(name, required, array, nested) {
+    return { name, kind: FieldKind.OBJECT, required, array, enumValues: null, enumAlias: null, min: null, max: null, nested };
+}
+export function recoverSchema(format, rootName, fields) {
+    return { format, rootName, fields: fields == null ? [] : [...fields] };
+}
+export function defaults() {
+    return { tolerance: Tolerance.NORMAL, aliases: {}, normalizers: {}, onField: null };
+}
+/** Normalize a partial / undefined options bag into a complete RecoverOptions. */
+export function normalizeOptions(opts) {
+    if (opts == null)
+        return defaults();
+    return {
+        tolerance: opts.tolerance ?? Tolerance.NORMAL,
+        aliases: opts.aliases == null ? {} : { ...opts.aliases },
+        normalizers: opts.normalizers == null ? {} : { ...opts.normalizers },
+        onField: opts.onField ?? null,
+    };
+}
+/** Mutable accumulator of per-field recovery classification, the degenerate-response flag, and coercion notes. */
+export class RecoveryReport {
+    // Insertion-ordered (Map preserves insertion order, mirroring Java LinkedHashMap).
+    _states = new Map();
+    _coercions = [];
+    _empty = false;
+    set(fieldPath, state) {
+        this._states.set(fieldPath, state);
+    }
+    addCoercion(c) {
+        this._coercions.push(c);
+    }
+    markEmpty() {
+        this._empty = true;
+    }
+    isEmpty() {
+        return this._empty;
+    }
+    states() {
+        return new Map(this._states);
+    }
+    coercions() {
+        return [...this._coercions];
+    }
+    lostRequired() {
+        return this.byState(FieldRecovery.LOST_REQUIRED);
+    }
+    malformed() {
+        return this.byState(FieldRecovery.MALFORMED);
+    }
+    hasLostRequired() {
+        return this.lostRequired().length > 0;
+    }
+    byState(s) {
+        const out = [];
+        for (const [k, v] of this._states)
+            if (v === s)
+                out.push(k);
+        return out;
+    }
+}
+//# sourceMappingURL=types.js.map

package/dist/recover/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/recover/types.ts"],"names":[],"mappings":"AAAA,oEAAoE;AACpE,EAAE;AACF,0CAA0C;AAC1C,+EAA+E;AAC/E,+EAA+E;AAC/E,0EAA0E;AAC1E,gEAAgE;AAEhE,uFAAuF;AACvF,MAAM,CAAC,MAAM,MAAM,GAAG;IACpB,IAAI,EAAE,MAAM;IACZ,GAAG,EAAE,KAAK;CACF,CAAC;AAGX,uFAAuF;AACvF,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,MAAM,EAAE,QAAQ;IAChB,GAAG,EAAE,KAAK;IACV,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,SAAS;IAClB,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE,QAAQ;CACR,CAAC;AAGX;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,SAAS,EAAE,WAAW;IACtB,2FAA2F;IAC3F,SAAS,EAAE,WAAW;IACtB,aAAa,EAAE,eAAe;IAC9B,aAAa,EAAE,eAAe;IAC9B,SAAS,EAAE,WAAW;CACd,CAAC;AAGX;;;GAGG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;IAChB,KAAK,EAAE,OAAO;CACN,CAAC;AA2BX,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,IAAe,EAAE,QAAiB;IACrE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AACvH,CAAC;AAED,MAAM,UAAU,SAAS,CACvB,IAAY,EACZ,QAAiB,EACjB,MAAgC,EAChC,OAAgD;IAEhD,OAAO;QACL,IAAI;QACJ,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,QAAQ;QACR,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC;QAC/C,SAAS,EAAE,OAAO,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE;QAChD,GAAG,EAAE,IAAI;QACT,GAAG,EAAE,IAAI;QACT,MAAM,EAAE,IAAI;KACb,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,KAAK,CACnB,IAAY,EACZ,IAAe,EACf,QAAiB,EACjB,GAAkB,EAClB,GAAkB;IAElB,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAC3G,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,QAAiB,EAAE,KAAc,EAAE,MAA4B;IAClG,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC5H,CAAC;AASD,MAAM,UAAU,aAAa,CAAC,MAAc,EAAE,QAAgB,EAAE,MAAmC;IACjG,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC;AACzE,CAAC;AAmBD,MAAM,UAAU,QAAQ;IACtB,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACtF,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,gBAAgB,CAAC,IAAqC;IACpE,IAAI,IAAI,IAAI,IAAI;QAAE,OAAO,QAAQ,EAAE,CAAC;IACpC,OAAO;QACL,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM;QAC7C,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE;QACxD,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,WAAW,EAAE;QACpE,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,IAAI;KAC9B,CAAC;AACJ,CAAC;AAcD,kHAAkH;AAClH,MAAM,OAAO,cAAc;IACzB,mFAAmF;IAClE,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC3C,UAAU,GAAe,EAAE,CAAC;IACrC,MAAM,GAAG,KAAK,CAAC;IAEvB,GAAG,CAAC,SAAiB,EAAE,KAAoB;QACzC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IAED,WAAW,CAAC,CAAW;QACrB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC;IAED,SAAS;QACP,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;IACrB,CAAC;IAED,OAAO;QACL,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC;IAED,SAAS;QACP,OAAO,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9B,CAAC;IAED,YAAY;QACV,OAAO,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC;IACnD,CAAC;IAED,SAAS;QACP,OAAO,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;IAC/C,CAAC;IAED,eAAe;QACb,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;IACxC,CAAC;IAEO,OAAO,CAAC,CAAgB;QAC9B,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO;YAAE,IAAI,CAAC,KAAK,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5D,OAAO,GAAG,CAAC;IACb,CAAC;CACF"}

package/dist/recover/xml-forgiving-reader.d.ts

@@ -0,0 +1,2 @@
+export declare function readXml(span: string | null | undefined, caseInsensitive: boolean): Record<string, unknown>;
+//# sourceMappingURL=xml-forgiving-reader.d.ts.map

package/dist/recover/xml-forgiving-reader.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"xml-forgiving-reader.d.ts","sourceRoot":"","sources":["../../src/recover/xml-forgiving-reader.ts"],"names":[],"mappings":"AAgBA,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,EAAE,eAAe,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAS1G"}

package/dist/recover/xml-forgiving-reader.js

@@ -0,0 +1,79 @@
+// Stage-4 tolerant XML reader for the bounded corpus malformation set. Never throws.
+// Mirrors Java XmlForgivingReader. Must not index-out-of-range on a leading close tag.
+function quote(s) {
+    return s.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+}
+/** Find first regex match at index >= `from` (emulates Java Matcher.find(int)). */
+function matchFrom(source, flags, text, from) {
+    const g = new RegExp(source, flags.includes("g") ? flags : flags + "g");
+    g.lastIndex = from;
+    return g.exec(text);
+}
+const OPEN_TAG_SRC = "<([A-Za-z_][A-Za-z0-9_]*)(\\s[^>]*)?>";
+export function readXml(span, caseInsensitive) {
+    const out = {};
+    if (span == null || span.trim().length === 0)
+        return out;
+    const gt = span.indexOf(">");
+    if (gt < 0)
+        return out;
+    const rootEnd = span.lastIndexOf("</");
+    const inner = span.substring(gt + 1, rootEnd < 0 || rootEnd <= gt ? span.length : rootEnd);
+    parseChildren(inner, caseInsensitive, out);
+    return out;
+}
+function parseChildren(inner, ci, out) {
+    const flags = ci ? "i" : "";
+    let pos = 0;
+    for (;;) {
+        const m = matchFrom(OPEN_TAG_SRC, flags, inner, pos);
+        if (m == null)
+            break;
+        const tag = m[1] ?? "";
+        const key = ci ? tag.toLowerCase() : tag;
+        const contentStart = m.index + m[0].length;
+        const closeRe = `</${quote(tag)}\\s*>`;
+        const close = matchFrom(closeRe, flags, inner, contentStart);
+        let contentEnd;
+        let next;
+        if (close != null) {
+            contentEnd = close.index;
+            next = close.index + close[0].length;
+        }
+        else {
+            // unclosed tag: recover text up to the next sibling open tag
+            const sib = matchFrom(OPEN_TAG_SRC, flags, inner, contentStart);
+            if (sib != null) {
+                contentEnd = sib.index;
+                next = contentEnd;
+            }
+            else {
+                contentEnd = inner.length;
+                next = inner.length;
+            }
+        }
+        const content = inner.substring(contentStart, contentEnd);
+        const value = content.includes("<") ? nestedOrText(content, ci) : content.trim();
+        accumulate(out, key, value);
+        pos = next;
+    }
+}
+function nestedOrText(content, ci) {
+    const nested = {};
+    parseChildren(content, ci, nested);
+    return Object.keys(nested).length === 0 ? content.trim() : nested;
+}
+function accumulate(out, key, value) {
+    if (!Object.prototype.hasOwnProperty.call(out, key)) {
+        out[key] = value;
+        return;
+    }
+    const existing = out[key];
+    if (Array.isArray(existing)) {
+        existing.push(value);
+    }
+    else {
+        out[key] = [existing, value];
+    }
+}
+//# sourceMappingURL=xml-forgiving-reader.js.map

package/dist/recover/xml-forgiving-reader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"xml-forgiving-reader.js","sourceRoot":"","sources":["../../src/recover/xml-forgiving-reader.ts"],"names":[],"mappings":"AAAA,qFAAqF;AACrF,uFAAuF;AAEvF,SAAS,KAAK,CAAC,CAAS;IACtB,OAAO,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC;AAED,mFAAmF;AACnF,SAAS,SAAS,CAAC,MAAc,EAAE,KAAa,EAAE,IAAY,EAAE,IAAY;IAC1E,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC,CAAC;IACxE,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC;IACnB,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACtB,CAAC;AAED,MAAM,YAAY,GAAG,uCAAuC,CAAC;AAE7D,MAAM,UAAU,OAAO,CAAC,IAA+B,EAAE,eAAwB;IAC/E,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IACzD,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,EAAE,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC;IACvB,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC3F,aAAa,CAAC,KAAK,EAAE,eAAe,EAAE,GAAG,CAAC,CAAC;IAC3C,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CAAC,KAAa,EAAE,EAAW,EAAE,GAA4B;IAC7E,MAAM,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5B,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,SAAS,CAAC;QACR,MAAM,CAAC,GAAG,SAAS,CAAC,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACrD,IAAI,CAAC,IAAI,IAAI;YAAE,MAAM;QACrB,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QACzC,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAE3C,MAAM,OAAO,GAAG,KAAK,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;QACvC,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;QAE7D,IAAI,UAAkB,CAAC;QACvB,IAAI,IAAY,CAAC;QACjB,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;YAClB,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC;YACzB,IAAI,GAAG,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACvC,CAAC;aAAM,CAAC;YACN,6DAA6D;YAC7D,MAAM,GAAG,GAAG,SAAS,CAAC,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;YAChE,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC;gBAChB,UAAU,GAAG,GAAG,CAAC,KAAK,CAAC;gBACvB,IAAI,GAAG,UAAU,CAAC;YACpB,CAAC;iBAAM,CAAC;gBACN,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC;gBAC1B,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC;YACtB,CAAC;QACH,CAAC;QAED,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;QAC1D,MAAM,KAAK,GAAY,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAC1F,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;QAC5B,GAAG,GAAG,IAAI,CAAC;IACb,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,OAAe,EAAE,EAAW;IAChD,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,aAAa,CAAC,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;IACnC,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AACpE,CAAC;AAED,SAAS,UAAU,CAAC,GAA4B,EAAE,GAAW,EAAE,KAAc;IAC3E,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;QACpD,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QACjB,OAAO;IACT,CAAC;IACD,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5B,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;SAAM,CAAC;QACN,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC;AACH,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@metaobjectsdev/render",
-  "version": "0.7.0",
+  "version": "0.8.0",
   "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/index.ts

@@ -11,3 +11,45 @@ export {
   type VerifyError,
   type VerifyOptions,
 } from "./verify.js";
+
+// FR-010 tolerant recover engine (Tier-2 forgiving parser).
+export { recover } from "./recover/recover.js";
+export {
+  Format,
+  FieldKind,
+  FieldRecovery,
+  Tolerance,
+  RecoveryReport,
+  scalar,
+  enumField,
+  range,
+  object,
+  recoverSchema,
+  defaults,
+  type FieldSpec,
+  type RecoverSchema,
+  type RecoverOptions,
+  type RecoverOutcome,
+  type RecoveryResult,
+  type Coercion,
+  type OnField,
+} from "./recover/types.js";
+export {
+  asString,
+  asInt,
+  asLong,
+  asDouble,
+  asBool,
+  asStringList,
+} from "./recover/recover-map.js";
+
+// FR-010 artifact 1 — output-format prompt renderer ("produce your answer like this").
+export { renderOutputFormat } from "./prompt/output-format-renderer.js";
+export { PromptStyle, promptStyleFrom } from "./prompt/prompt-style.js";
+export {
+  PROMPT_OVERRIDES_NONE,
+  noOverrides,
+  type PromptOverrides,
+} from "./prompt/prompt-overrides.js";
+export type { OutputFormatSpec } from "./prompt/output-format-spec.js";
+export type { PromptField } from "./prompt/prompt-field.js";

package/src/prompt/output-format-renderer.ts

@@ -0,0 +1,179 @@
+// FR-010 artifact 1 — output-format prompt renderer ("produce your answer like this").
+//
+// Renders an OutputFormatSpec into a prompt fragment that teaches an LLM how to
+// shape its answer. Three comment-free styles (guide / inline / exampleOnly) ×
+// two formats (json / xml). Guidance is carried in prose / inline placeholders /
+// a filled skeleton — NEVER in comments (models ignore them).
+//
+// Cross-port INVARIANT: the rendered text is byte-identical to the Java/C#/Kotlin
+// 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 type { OutputFormatSpec } from "./output-format-spec.js";
+import type { PromptField } from "./prompt-field.js";
+import type { PromptOverrides } from "./prompt-overrides.js";
+import { PromptStyle } from "./prompt-style.js";
+
+const NUMERIC_KINDS: ReadonlySet<FieldKind> = new Set<FieldKind>([
+  FieldKind.INT,
+  FieldKind.LONG,
+  FieldKind.DOUBLE,
+  FieldKind.BOOLEAN,
+]);
+
+// The render engine OWNS format-keyed escaping; Format ("JSON"/"XML") maps to the
+// lowercase ESCAPERS keys.
+const escapeXml = (s: string): string => ESCAPERS.xml(s);
+const escapeJson = (s: string): string => ESCAPERS.json(s);
+
+/**
+ * Render an {@link OutputFormatSpec} into an output-format prompt fragment. The
+ * effective style is the override's style if present, otherwise the spec's.
+ */
+export function renderOutputFormat(spec: OutputFormatSpec, overrides: PromptOverrides): string {
+  const effectiveStyle = overrides.style ?? spec.style;
+  switch (effectiveStyle) {
+    case PromptStyle.EXAMPLE_ONLY:
+      return renderExampleOnly(spec, overrides);
+    case PromptStyle.INLINE:
+      return renderInline(spec, overrides);
+    default:
+      return renderGuide(spec, overrides);
+  }
+}
+
+// ---- INLINE ----------------------------------------------------------------
+
+function renderInline(spec: OutputFormatSpec, overrides: PromptOverrides): string {
+  return spec.format === Format.XML
+    ? renderXmlInline(spec, overrides)
+    : renderJsonInline(spec, overrides);
+}
+
+function renderXmlInline(spec: OutputFormatSpec, overrides: PromptOverrides): string {
+  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: OutputFormatSpec, overrides: PromptOverrides): string {
+  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}`;
+}
+
+function inlineContent(field: PromptField, overrides: PromptOverrides): string {
+  if (field.kind === FieldKind.ENUM && field.enumValues != null && field.enumValues.length > 0) {
+    return field.enumValues.join(" | ");
+  }
+  if (field.kind === FieldKind.BOOLEAN) {
+    return "true | false";
+  }
+  const instruction = resolveInstruction(field, overrides);
+  return instruction != null ? `{${instruction}}` : `{${field.name}}`;
+}
+
+/** Effective instruction: override first, then the field default, else null. */
+function resolveInstruction(field: PromptField, overrides: PromptOverrides): string | null {
+  const ov = overrides.instructions?.[field.name];
+  if (ov != null) return ov;
+  return field.instruction;
+}
+
+// ---- GUIDE -----------------------------------------------------------------
+
+function renderGuide(spec: OutputFormatSpec, overrides: PromptOverrides): string {
+  let sb = "Fill in each field as described below:\n";
+  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}`;
+    }
+    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);
+  return sb;
+}
+
+// ---- EXAMPLE-ONLY (also the skeleton appended by GUIDE) ---------------------
+
+function renderExampleOnly(spec: OutputFormatSpec, overrides: PromptOverrides): string {
+  return spec.format === Format.XML
+    ? renderXmlSkeleton(spec, overrides)
+    : renderJsonSkeleton(spec, overrides);
+}
+
+function renderXmlSkeleton(spec: OutputFormatSpec, overrides: PromptOverrides): string {
+  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: OutputFormatSpec, overrides: PromptOverrides): string {
+  // 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}`;
+}
+
+function exampleValueIfDeclared(field: PromptField, overrides: PromptOverrides): string | null {
+  const ov = overrides.examples?.[field.name];
+  if (ov != null) return ov;
+  if (field.example != null) return field.example;
+  return null;
+}
+
+function exampleValue(field: PromptField, overrides: PromptOverrides): string {
+  const ov = overrides.examples?.[field.name];
+  if (ov != null) return ov;
+  if (field.example != null) return field.example;
+  if (field.kind === FieldKind.ENUM && field.enumValues != null && field.enumValues.length > 0) {
+    return field.enumValues[0]!;
+  }
+  return `{${field.name}}`;
+}
+
+function isNumericOrBoolean(kind: FieldKind, value: string): boolean {
+  if (!NUMERIC_KINDS.has(kind)) return false;
+  if (value === "true" || value === "false") return true;
+  // 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).
+  const t = value.trim();
+  if (t === "" || /^[+-]?0[xXbBoO]/.test(t)) return false;
+  return Number.isFinite(Number(t));
+}

package/src/prompt/output-format-spec.ts

@@ -0,0 +1,20 @@
+// FR-010 artifact 1 — a complete output-format descriptor.
+
+import type { Format } from "../recover/types.js";
+import type { PromptField } from "./prompt-field.js";
+import type { PromptStyle } from "./prompt-style.js";
+
+/**
+ * A complete output-format descriptor: the format, the root element/object name,
+ * the default presentation style, and the ordered fields. Drives
+ * {@link renderOutputFormat}.
+ *
+ * Precondition: `rootName` must be identifier-safe (valid XML element name / JSON
+ * key). The renderer does not escape it.
+ */
+export interface OutputFormatSpec {
+  readonly format: Format;
+  readonly rootName: string;
+  readonly style: PromptStyle;
+  readonly fields: readonly PromptField[];
+}

package/src/prompt/prompt-field.ts

@@ -0,0 +1,24 @@
+// FR-010 artifact 1 — one field of an output-format fragment.
+
+import type { FieldKind } from "../recover/types.js";
+import type { OutputFormatSpec } from "./output-format-spec.js";
+
+/**
+ * One field of an output-format fragment. `enumValues`/`enumDoc` are non-null
+ * only for ENUM; `nested` non-null only for OBJECT; `example`/`instruction` are
+ * nullable.
+ *
+ * Precondition: `name` must be identifier-safe (valid XML element name / JSON
+ * key). The renderer does not escape field names.
+ */
+export interface PromptField {
+  readonly name: string;
+  readonly kind: FieldKind;
+  readonly required: boolean;
+  readonly array: boolean;
+  readonly enumValues: readonly string[] | null;
+  readonly enumDoc: Readonly<Record<string, string>> | null;
+  readonly example: string | null;
+  readonly instruction: string | null;
+  readonly nested: OutputFormatSpec | null;
+}

package/src/prompt/prompt-overrides.ts

@@ -0,0 +1,27 @@
+// FR-010 artifact 1 — render-time overrides of the metadata defaults.
+
+import type { PromptStyle } from "./prompt-style.js";
+
+/**
+ * Render-time overrides of the metadata defaults. `style` undefined keeps the
+ * spec's style; the maps override `PromptField.example`/`PromptField.instruction`
+ * per field name.
+ */
+export interface PromptOverrides {
+  readonly style?: PromptStyle;
+  readonly examples?: Readonly<Record<string, string>>;
+  readonly instructions?: Readonly<Record<string, string>>;
+}
+
+/** No overrides — keep every metadata default. Mirrors Java `PromptOverrides.none()`. */
+export const PROMPT_OVERRIDES_NONE: PromptOverrides = Object.freeze({
+  // `style` omitted (not `undefined`) under exactOptionalPropertyTypes: an absent
+  // style keeps the spec's own style, matching Java `PromptOverrides.none()`.
+  examples: {},
+  instructions: {},
+});
+
+/** No overrides — keep every metadata default. */
+export function noOverrides(): PromptOverrides {
+  return PROMPT_OVERRIDES_NONE;
+}

package/src/prompt/prompt-style.ts

@@ -0,0 +1,36 @@
+// FR-010 artifact 1 — output-format prompt renderer.
+//
+// How the output-format fragment teaches the model. Guidance is NEVER carried in
+// comments (models ignore them) — it lives in prose / inline placeholders / a
+// filled skeleton. Default is "guide".
+//
+// Tier-2 idiomatic TS: the Java SCREAMING_SNAKE enum (GUIDE/INLINE/EXAMPLE_ONLY)
+// becomes a string-union whose members ARE the wire `@promptStyle` values
+// ("guide" | "inline" | "exampleOnly") — no name<->wire mapping table needed.
+
+/**
+ * - `"guide"`: prose field list ("Fill in each field…") followed by an example skeleton.
+ * - `"inline"`: a single skeleton whose field values are inline placeholders / enum choices.
+ * - `"exampleOnly"`: just a filled example skeleton, nothing else.
+ */
+export const PromptStyle = {
+  GUIDE: "guide",
+  INLINE: "inline",
+  EXAMPLE_ONLY: "exampleOnly",
+} as const;
+export type PromptStyle = (typeof PromptStyle)[keyof typeof PromptStyle];
+
+/**
+ * Maps the `@promptStyle` attribute string to a {@link PromptStyle}. Null or any
+ * unrecognized value falls back to `"guide"` (matches Java `PromptStyle.from`).
+ */
+export function promptStyleFrom(s?: string | null): PromptStyle {
+  switch (s) {
+    case PromptStyle.INLINE:
+      return PromptStyle.INLINE;
+    case PromptStyle.EXAMPLE_ONLY:
+      return PromptStyle.EXAMPLE_ONLY;
+    default:
+      return PromptStyle.GUIDE;
+  }
+}

package/src/recover/KNOWN_GAPS.md

@@ -0,0 +1,35 @@
+# FR-010 TypeScript recover engine — known gaps & intentional cross-port divergences
+
+Scope: the tolerant `recover` pipeline (`src/recover/`). The Java engine
+(`server/java/render/.../recover/`) is the cross-port reference; `fixtures/recover-conformance/`
+is the oracle. All 10 corpus cases pass.
+
+## Additive capability (TS + C#, beyond Java/Kotlin)
+
+- **Nested-object recover 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 (→ RECOVERED); 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 recovers via `asStringList`).
+- `asInt`/`asLong` both return `number | null` (JS has one number type) and truncate toward zero.