@json-schema-engine/compiler 0.0.1

package/dist/serialize/keywords.js

@@ -0,0 +1,131 @@
+// Per-keyword state in annotation and region modes: the produce accumulator
+// both channels read, the annotation-unit literal, and the channel push.
+import { escapeSegment, } from "@json-schema-engine/core";
+import { id, js, num, str } from "../emit.js";
+import { EV, findProduce, hasAnnotate } from "./names.js";
+import { expr } from "./expressions.js";
+/**
+ * Prepare the keyword currently being emitted: decide whether its annotate
+ * survives the static retention lists, whether its produce feeds the
+ * coverage channel, and allocate the produce's accumulator (declared by the
+ * returned chunks). No-op outside annotation and region modes.
+ */
+export function beginKeyword(ctx, stmts) {
+    ctx.annKw = null;
+    ctx.annKwKept = false;
+    ctx.covKwKept = false;
+    // Trace emission pre-declared every keyword's verdict slot (unit.ts).
+    ctx.kwOk = ctx.trace
+        ? (ctx.kwVerdicts.get(ctx.currentKeyword) ?? null)
+        : null;
+    if (!ctx.annMode && !ctx.regionMode)
+        return [];
+    ctx.annKwKept =
+        ctx.annMode &&
+            hasAnnotate(stmts) &&
+            (!ctx.annKeep || ctx.annKeep("", ctx.currentKeyword, ctx.currentVocab));
+    const value = findProduce(stmts);
+    if (!value)
+        return [];
+    // Region channel-push gate (rule 5): only a coverage producer some
+    // consumer reads feeds the channel. Retention never affects it —
+    // dependency data is not output.
+    ctx.covKwKept = ctx.regionMode && ctx.coverageIds.has(ctx.currentBehaviorId);
+    if (!ctx.covKwKept)
+        return [];
+    const decls = [];
+    if (ctx.output === "list" && !ctx.trace) {
+        const k = id("k" + String(ctx.counters.temp++));
+        ctx.kwOk = k;
+        decls.push(js `let ${k} = true;`);
+    }
+    if (value.kind === "collectedNames") {
+        const n = id("n" + String(ctx.counters.temp++));
+        ctx.annKw = { produceKind: "collectedNames", names: n };
+        decls.push(js `const ${n} = new Set();`);
+    }
+    else if (value.render === "largestOrTrue") {
+        const m = id("n" + String(ctx.counters.temp++));
+        ctx.annKw = { produceKind: "largestOrTrue", max: m };
+        decls.push(js `let ${m} = -1;`);
+    }
+    else if (value.render === "appliedTrue") {
+        const a = id("n" + String(ctx.counters.temp++));
+        ctx.annKw = { produceKind: "appliedTrue", applied: a };
+        decls.push(js `let ${a} = false;`);
+    }
+    else {
+        const t = id("n" + String(ctx.counters.temp++));
+        ctx.annKw = { produceKind: "matchedOrAllTrue", matched: t };
+        decls.push(js `const ${t} = [];`);
+    }
+    return decls;
+}
+/**
+ * The annotation-unit object literal for the current keyword: constant
+ * keyword/vocabulary/schemaLocation, runtime evaluationPath (`ep` suffix)
+ * and inputLocation (`ip`), key order matching core's renderAnnotation.
+ * `vocabulary` is omitted when null (unknown keywords only).
+ */
+export function annUnit(ctx, valueExpr) {
+    const suffix = "/" + escapeSegment(ctx.currentKeyword);
+    const sloc = ctx.unit.ref.baseUri + "#" + ctx.unit.ref.pointer + suffix;
+    const vocab = ctx.currentVocab !== null
+        ? js `vocabulary: ${str(ctx.currentVocab)}, `
+        : js ``;
+    return js `{ keyword: ${str(ctx.currentKeyword)}, ${vocab}evaluationPath: ${id("ep")} + ${str(suffix)}, schemaLocation: ${str(sloc)}, inputLocation: ${id("ip")}, annotation: ${valueExpr} }`;
+}
+/**
+ * Record an attempted child-of-here application's segment into the current
+ * keyword's produce accumulator (before the verdict — the segment is
+ * "attempted", not "succeeded"). Non-child-of-here cursors, and keywords
+ * without an active accumulator, record nothing.
+ */
+export function annRecordSegment(ctx, cursor) {
+    if (!ctx.annKw)
+        return null;
+    if (cursor.kind !== "child" || cursor.of.kind !== "here")
+        return null;
+    const seg = cursor.segment;
+    const segExpr = typeof seg === "string"
+        ? str(seg)
+        : typeof seg === "number"
+            ? num(seg)
+            : expr(ctx, seg);
+    switch (ctx.annKw.produceKind) {
+        case "collectedNames":
+            return js `${ctx.annKw.names}.add(${segExpr});`;
+        case "largestOrTrue":
+            return js `if (${segExpr} > ${ctx.annKw.max}) ${ctx.annKw.max} = ${segExpr};`;
+        case "appliedTrue":
+            return js `${ctx.annKw.applied} = true;`;
+        default:
+            // matchedOrAllTrue records inside its countRange, not at apply sites.
+            return null;
+    }
+}
+/**
+ * Push a consumed producer's dependency data onto the runtime coverage
+ * channel (rule 5), writing the value the interpreter would produce. The
+ * "has data" guards match the interpreter's produce conditions so the
+ * channel carries exactly what a consumer's visible-records fold sees.
+ */
+export function produceChannel(ctx, value) {
+    const v = ctx.valueVar;
+    if (value.kind === "collectedNames") {
+        // The enclosing lower() gates this produce behind an object-type test;
+        // the (attempted, deduped) name array spreads from the Set.
+        return js `${EV}.push([...${ctx.annKw.names}]);`;
+    }
+    if (value.render === "largestOrTrue") {
+        const mx = ctx.annKw.max;
+        return js `if (${mx} >= 0) ${EV}.push(${mx} + 1 === ${v}.length ? true : ${mx});`;
+    }
+    if (value.render === "appliedTrue") {
+        const ap = ctx.annKw.applied;
+        return js `if (${ap}) ${EV}.push(true);`;
+    }
+    const mt = ctx.annKw.matched;
+    return js `if (${mt}.length > 0) ${EV}.push(${mt}.length === ${v}.length ? true : ${mt});`;
+}
+//# sourceMappingURL=keywords.js.map

package/dist/serialize/keywords.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"keywords.js","sourceRoot":"","sources":["../../src/serialize/keywords.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,yEAAyE;AAEzE,OAAO,EACL,aAAa,GAId,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAkB,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAC9D,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE1D,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAExC;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAC1B,GAAgB,EAChB,KAA2B;IAE3B,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC;IACjB,GAAG,CAAC,SAAS,GAAG,KAAK,CAAC;IACtB,GAAG,CAAC,SAAS,GAAG,KAAK,CAAC;IACtB,sEAAsE;IACtE,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,KAAK;QAClB,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,IAAI,CAAC;QAClD,CAAC,CAAC,IAAI,CAAC;IACT,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAC/C,GAAG,CAAC,SAAS;QACX,GAAG,CAAC,OAAO;YACX,WAAW,CAAC,KAAK,CAAC;YAClB,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,cAAc,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IACtB,mEAAmE;IACnE,iEAAiE;IACjE,iCAAiC;IACjC,GAAG,CAAC,SAAS,GAAG,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;IAC7E,IAAI,CAAC,GAAG,CAAC,SAAS;QAAE,OAAO,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;QACxC,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAChD,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;QACb,KAAK,CAAC,IAAI,CAAC,EAAE,CAAA,OAAO,CAAC,UAAU,CAAC,CAAC;IACnC,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACpC,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAChD,GAAG,CAAC,KAAK,GAAG,EAAE,WAAW,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QACxD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAA,SAAS,CAAC,eAAe,CAAC,CAAC;IAC1C,CAAC;SAAM,IAAI,KAAK,CAAC,MAAM,KAAK,eAAe,EAAE,CAAC;QAC5C,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAChD,GAAG,CAAC,KAAK,GAAG,EAAE,WAAW,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QACrD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAA,OAAO,CAAC,QAAQ,CAAC,CAAC;IACjC,CAAC;SAAM,IAAI,KAAK,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAChD,GAAG,CAAC,KAAK,GAAG,EAAE,WAAW,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACvD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAA,OAAO,CAAC,WAAW,CAAC,CAAC;IACpC,CAAC;SAAM,CAAC;QACN,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAChD,GAAG,CAAC,KAAK,GAAG,EAAE,WAAW,EAAE,kBAAkB,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAC5D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAA,SAAS,CAAC,QAAQ,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,OAAO,CAAC,GAAgB,EAAE,SAAoB;IAC5D,MAAM,MAAM,GAAG,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,MAAM,CAAC;IACxE,MAAM,KAAK,GACT,GAAG,CAAC,YAAY,KAAK,IAAI;QACvB,CAAC,CAAC,EAAE,CAAA,eAAe,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI;QAC5C,CAAC,CAAC,EAAE,CAAA,EAAE,CAAC;IACX,OAAO,EAAE,CAAA,cAAc,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,KAAK,mBAAmB,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,MAAM,CAAC,qBAAqB,GAAG,CAAC,IAAI,CAAC,oBAAoB,EAAE,CAAC,IAAI,CAAC,iBAAiB,SAAS,IAAI,CAAC;AAC/L,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC9B,GAAgB,EAChB,MAAmB;IAEnB,IAAI,CAAC,GAAG,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAC5B,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,EAAE,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACtE,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC;IAC3B,MAAM,OAAO,GACX,OAAO,GAAG,KAAK,QAAQ;QACrB,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;QACV,CAAC,CAAC,OAAO,GAAG,KAAK,QAAQ;YACvB,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;YACV,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACvB,QAAQ,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;QAC9B,KAAK,gBAAgB;YACnB,OAAO,EAAE,CAAA,GAAG,GAAG,CAAC,KAAK,CAAC,KAAM,QAAQ,OAAO,IAAI,CAAC;QAClD,KAAK,eAAe;YAClB,OAAO,EAAE,CAAA,OAAO,OAAO,MAAM,GAAG,CAAC,KAAK,CAAC,GAAI,KAAK,GAAG,CAAC,KAAK,CAAC,GAAI,MAAM,OAAO,GAAG,CAAC;QACjF,KAAK,aAAa;YAChB,OAAO,EAAE,CAAA,GAAG,GAAG,CAAC,KAAK,CAAC,OAAQ,UAAU,CAAC;QAC3C;YACE,sEAAsE;YACtE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAC5B,GAAgB,EAChB,KAAwB;IAExB,MAAM,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC;IACvB,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACpC,uEAAuE;QACvE,4DAA4D;QAC5D,OAAO,EAAE,CAAA,GAAG,EAAE,aAAa,GAAG,CAAC,KAAM,CAAC,KAAM,KAAK,CAAC;IACpD,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,eAAe,EAAE,CAAC;QACrC,MAAM,EAAE,GAAG,GAAG,CAAC,KAAM,CAAC,GAAI,CAAC;QAC3B,OAAO,EAAE,CAAA,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,CAAC,oBAAoB,EAAE,IAAI,CAAC;IACnF,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACnC,MAAM,EAAE,GAAG,GAAG,CAAC,KAAM,CAAC,OAAQ,CAAC;QAC/B,OAAO,EAAE,CAAA,OAAO,EAAE,KAAK,EAAE,cAAc,CAAC;IAC1C,CAAC;IACD,MAAM,EAAE,GAAG,GAAG,CAAC,KAAM,CAAC,OAAQ,CAAC;IAC/B,OAAO,EAAE,CAAA,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAE,eAAe,CAAC,oBAAoB,EAAE,IAAI,CAAC;AAC5F,CAAC"}

package/dist/serialize/messages.d.ts

@@ -0,0 +1,36 @@
+import { type LowerMessage, type LowerParams } from "@json-schema-engine/core";
+import { type CodeChunk } from "../emit.js";
+import { UnitContext } from "./context.js";
+/**
+ * Renders a LowerMessage to a string expression. `tallyVar` binds the
+ * message's tally placeholder (combine/count checks).
+ */
+export declare function renderMessage(ctx: UnitContext, msg: LowerMessage, tallyVar?: CodeChunk): CodeChunk;
+/**
+ * Renders a LowerParams map to an object-literal expression, mirroring
+ * renderError's includeParams shape. `tallyVar` binds tally placeholders
+ * exactly as in {@link renderMessage}.
+ */
+export declare function paramsChunk(ctx: UnitContext, params: LowerParams | undefined, tallyVar?: CodeChunk, tallyListVar?: CodeChunk): CodeChunk;
+/**
+ * List-mode failure: mark the unit invalid and push an interpreter-exact
+ * error unit (renderError's shape — keyword suffix escaped on both
+ * paths). Unit objects materialize only here, on the failure path (D9e).
+ */
+export declare function pushError(ctx: UnitContext, msg: CodeChunk, withKeyword?: boolean, params?: CodeChunk): CodeChunk;
+/** The error channel's current length: the value a relevance mark takes. */
+export declare function errsLength(ctx: UnitContext): CodeChunk;
+/**
+ * Drop the errors pushed since mark `m` (an accepting keyword made them
+ * irrelevant). Trace emission routes the cut through the runtime, which
+ * discards or retains them by the artifact's level.
+ */
+export declare function errsCut(ctx: UnitContext, m: CodeChunk): CodeChunk;
+/**
+ * Error relevance (draft-03 §12.2) in list mode: a keyword that accepts
+ * makes the errors its sub-evaluations pushed irrelevant. Callers take the
+ * mark before the keyword's applies and truncate on the accept path;
+ * every branch's errors land in the shared `errs` between the two.
+ */
+export declare function errMark(ctx: UnitContext): CodeChunk | null;
+//# sourceMappingURL=messages.d.ts.map

package/dist/serialize/messages.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"messages.d.ts","sourceRoot":"","sources":["../../src/serialize/messages.ts"],"names":[],"mappings":"AAGA,OAAO,EAEL,KAAK,YAAY,EACjB,KAAK,WAAW,EACjB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,KAAK,SAAS,EAAqB,MAAM,YAAY,CAAC;AAE/D,OAAO,EAAE,WAAW,EAAkB,MAAM,cAAc,CAAC;AAG3D;;;GAGG;AACH,wBAAgB,aAAa,CAC3B,GAAG,EAAE,WAAW,EAChB,GAAG,EAAE,YAAY,EACjB,QAAQ,CAAC,EAAE,SAAS,GACnB,SAAS,CAWX;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CACzB,GAAG,EAAE,WAAW,EAChB,MAAM,EAAE,WAAW,GAAG,SAAS,EAC/B,QAAQ,CAAC,EAAE,SAAS,EACpB,YAAY,CAAC,EAAE,SAAS,GACvB,SAAS,CAiBX;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CACvB,GAAG,EAAE,WAAW,EAChB,GAAG,EAAE,SAAS,EACd,WAAW,UAAO,EAClB,MAAM,CAAC,EAAE,SAAS,GACjB,SAAS,CAoBX;AAED,4EAA4E;AAC5E,wBAAgB,UAAU,CAAC,GAAG,EAAE,WAAW,GAAG,SAAS,CAEtD;AAED;;;;GAIG;AACH,wBAAgB,OAAO,CAAC,GAAG,EAAE,WAAW,EAAE,CAAC,EAAE,SAAS,GAAG,SAAS,CAIjE;AAED;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,GAAG,EAAE,WAAW,GAAG,SAAS,GAAG,IAAI,CAE1D"}

package/dist/serialize/messages.js

@@ -0,0 +1,100 @@
+// Error-unit rendering for list mode: messages, structured params, and the
+// relevance mark that truncates a keyword's rejected sub-evaluation errors.
+import { escapeSegment, } from "@json-schema-engine/core";
+import { id, join, js, str } from "../emit.js";
+import { ERRS, ST, TN } from "./names.js";
+import { SerializeError } from "./context.js";
+import { expr } from "./expressions.js";
+/**
+ * Renders a LowerMessage to a string expression. `tallyVar` binds the
+ * message's tally placeholder (combine/count checks).
+ */
+export function renderMessage(ctx, msg, tallyVar) {
+    const parts = msg.map((part) => {
+        if (typeof part === "string")
+            return str(part);
+        if (part.kind === "tally") {
+            if (!tallyVar)
+                throw new SerializeError("tally outside a counted check");
+            return js `String(${tallyVar})`;
+        }
+        return js `String(${expr(ctx, part)})`;
+    });
+    if (parts.length === 0)
+        return str("");
+    return parts.length === 1 ? parts[0] : js `(${join(" + ", parts)})`;
+}
+/**
+ * Renders a LowerParams map to an object-literal expression, mirroring
+ * renderError's includeParams shape. `tallyVar` binds tally placeholders
+ * exactly as in {@link renderMessage}.
+ */
+export function paramsChunk(ctx, params, tallyVar, tallyListVar) {
+    // pushError drops the chunk entirely when params are off — don't render
+    // (a tallyList reference has no accumulator to bind to in that mode).
+    if (!ctx.listParams || params === undefined)
+        return js `{}`;
+    const entries = Object.entries(params).map(([key, part]) => {
+        let value;
+        if (part.kind === "tally" || part.kind === "tallyList") {
+            const bound = part.kind === "tally" ? tallyVar : tallyListVar;
+            if (!bound)
+                throw new SerializeError(part.kind + " outside a counted check");
+            value = bound;
+        }
+        else {
+            value = expr(ctx, part);
+        }
+        return js `${str(key)}: ${value}`;
+    });
+    return js `{ ${join(", ", entries)} }`;
+}
+/**
+ * List-mode failure: mark the unit invalid and push an interpreter-exact
+ * error unit (renderError's shape — keyword suffix escaped on both
+ * paths). Unit objects materialize only here, on the failure path (D9e).
+ */
+export function pushError(ctx, msg, withKeyword = true, params) {
+    const suffix = withKeyword ? "/" + escapeSegment(ctx.currentKeyword) : "";
+    const sloc = ctx.unit.ref.baseUri + "#" + ctx.unit.ref.pointer + suffix;
+    const vocab = ctx.currentVocab !== null
+        ? js `vocabulary: ${str(ctx.currentVocab)}, `
+        : js ``;
+    const extra = ctx.listParams
+        ? withKeyword
+            ? js `, keyword: ${str(ctx.currentKeyword)}, ${vocab}params: ${params ?? js `{}`}`
+            : js `, params: ${params ?? js `{}`}`
+        : js ``;
+    const fail = ctx.kwOk
+        ? js `ok = false; ${ctx.kwOk} = false;`
+        : js `ok = false;`;
+    const unit = js `{ evaluationPath: ${id("ep")} + ${str(suffix)}, schemaLocation: ${str(sloc)}, inputLocation: ${id("ip")}, error: ${msg}${extra} }`;
+    // Trace emission records the raising application with the unit.
+    return ctx.trace
+        ? js `${fail} ${id("h_err")}(${ST}, ${TN}, ${unit});`
+        : js `${fail} ${ERRS}.push(${unit});`;
+}
+/** The error channel's current length: the value a relevance mark takes. */
+export function errsLength(ctx) {
+    return ctx.trace ? js `${ST}.errs.length` : js `${ERRS}.length`;
+}
+/**
+ * Drop the errors pushed since mark `m` (an accepting keyword made them
+ * irrelevant). Trace emission routes the cut through the runtime, which
+ * discards or retains them by the artifact's level.
+ */
+export function errsCut(ctx, m) {
+    return ctx.trace
+        ? js `${id("h_cutE")}(${ST}, ${m});`
+        : js `${ERRS}.length = ${m};`;
+}
+/**
+ * Error relevance (draft-03 §12.2) in list mode: a keyword that accepts
+ * makes the errors its sub-evaluations pushed irrelevant. Callers take the
+ * mark before the keyword's applies and truncate on the accept path;
+ * every branch's errors land in the shared `errs` between the two.
+ */
+export function errMark(ctx) {
+    return ctx.output === "list" ? id("m" + String(ctx.counters.temp++)) : null;
+}
+//# sourceMappingURL=messages.js.map

package/dist/serialize/messages.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"messages.js","sourceRoot":"","sources":["../../src/serialize/messages.ts"],"names":[],"mappings":"AAAA,2EAA2E;AAC3E,4EAA4E;AAE5E,OAAO,EACL,aAAa,GAGd,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAkB,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAC/D,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAe,cAAc,EAAE,MAAM,cAAc,CAAC;AAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAExC;;;GAGG;AACH,MAAM,UAAU,aAAa,CAC3B,GAAgB,EAChB,GAAiB,EACjB,QAAoB;IAEpB,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAC7B,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC1B,IAAI,CAAC,QAAQ;gBAAE,MAAM,IAAI,cAAc,CAAC,+BAA+B,CAAC,CAAC;YACzE,OAAO,EAAE,CAAA,UAAU,QAAQ,GAAG,CAAC;QACjC,CAAC;QACD,OAAO,EAAE,CAAA,UAAU,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC;IACxC,CAAC,CAAC,CAAC;IACH,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,CAAA,IAAI,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC;AACtE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CACzB,GAAgB,EAChB,MAA+B,EAC/B,QAAoB,EACpB,YAAwB;IAExB,wEAAwE;IACxE,sEAAsE;IACtE,IAAI,CAAC,GAAG,CAAC,UAAU,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,CAAA,IAAI,CAAC;IAC3D,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE;QACzD,IAAI,KAAgB,CAAC;QACrB,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACvD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC;YAC9D,IAAI,CAAC,KAAK;gBACR,MAAM,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC,CAAC;YACnE,KAAK,GAAG,KAAK,CAAC;QAChB,CAAC;aAAM,CAAC;YACN,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1B,CAAC;QACD,OAAO,EAAE,CAAA,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,EAAE,CAAC;IACnC,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,CAAA,KAAK,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC;AACxC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CACvB,GAAgB,EAChB,GAAc,EACd,WAAW,GAAG,IAAI,EAClB,MAAkB;IAElB,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1E,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,MAAM,CAAC;IACxE,MAAM,KAAK,GACT,GAAG,CAAC,YAAY,KAAK,IAAI;QACvB,CAAC,CAAC,EAAE,CAAA,eAAe,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI;QAC5C,CAAC,CAAC,EAAE,CAAA,EAAE,CAAC;IACX,MAAM,KAAK,GAAG,GAAG,CAAC,UAAU;QAC1B,CAAC,CAAC,WAAW;YACX,CAAC,CAAC,EAAE,CAAA,cAAc,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,KAAK,WAAW,MAAM,IAAI,EAAE,CAAA,IAAI,EAAE;YAChF,CAAC,CAAC,EAAE,CAAA,aAAa,MAAM,IAAI,EAAE,CAAA,IAAI,EAAE;QACrC,CAAC,CAAC,EAAE,CAAA,EAAE,CAAC;IACT,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI;QACnB,CAAC,CAAC,EAAE,CAAA,eAAe,GAAG,CAAC,IAAI,WAAW;QACtC,CAAC,CAAC,EAAE,CAAA,aAAa,CAAC;IACpB,MAAM,IAAI,GAAG,EAAE,CAAA,qBAAqB,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,MAAM,CAAC,qBAAqB,GAAG,CAAC,IAAI,CAAC,oBAAoB,EAAE,CAAC,IAAI,CAAC,YAAY,GAAG,GAAG,KAAK,IAAI,CAAC;IACnJ,gEAAgE;IAChE,OAAO,GAAG,CAAC,KAAK;QACd,CAAC,CAAC,EAAE,CAAA,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,IAAI,IAAI;QACpD,CAAC,CAAC,EAAE,CAAA,GAAG,IAAI,IAAI,IAAI,SAAS,IAAI,IAAI,CAAC;AACzC,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,UAAU,CAAC,GAAgB;IACzC,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAA,GAAG,EAAE,cAAc,CAAC,CAAC,CAAC,EAAE,CAAA,GAAG,IAAI,SAAS,CAAC;AAChE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,OAAO,CAAC,GAAgB,EAAE,CAAY;IACpD,OAAO,GAAG,CAAC,KAAK;QACd,CAAC,CAAC,EAAE,CAAA,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI;QACnC,CAAC,CAAC,EAAE,CAAA,GAAG,IAAI,aAAa,CAAC,GAAG,CAAC;AACjC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,OAAO,CAAC,GAAgB;IACtC,OAAO,GAAG,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9E,CAAC"}

package/dist/serialize/names.d.ts

@@ -0,0 +1,47 @@
+import { type LowerProduceValue, type LowerStmt } from "@json-schema-engine/core";
+import { type CodeChunk } from "../emit.js";
+import type { EmitOutput, UnitContext } from "./context.js";
+export declare const V: CodeChunk;
+export declare const D: CodeChunk;
+export declare const S: CodeChunk;
+export declare const R: CodeChunk;
+export declare const T: CodeChunk;
+export declare const EV: CodeChunk;
+export declare const EP: CodeChunk;
+export declare const IP: CodeChunk;
+export declare const ERRS: CodeChunk;
+export declare const ANNS: CodeChunk;
+export declare const ST: CodeChunk;
+export declare const TP: CodeChunk;
+export declare const TN: CodeChunk;
+/** Which channels an emission threads through every application. */
+export interface ChannelShape {
+    output: EmitOutput;
+    annMode: boolean;
+    trace: boolean;
+}
+export declare const shapeOf: (ctx: UnitContext) => ChannelShape;
+/**
+ * The arguments every application carries after the instance, depth, and
+ * scope: in list emission the two location prefixes and the record
+ * channels (the trace state and parent node under trace emission), and the
+ * coverage channel for an in-place region call. Unit signatures, unit
+ * calls, trampolines, and the root call all build from here, so the
+ * variants cannot drift apart. `locate` is called only in list emission —
+ * a flag-mode apply never computes its prefixes.
+ */
+export declare function channelArgs(shape: ChannelShape, locate: () => [CodeChunk, CodeChunk], parent: CodeChunk, ev: boolean): CodeChunk[];
+/** The interpreter trampoline an emission calls for an interpreted target. */
+export declare function fragHelper(shape: ChannelShape, inPlaceRegion: boolean): CodeChunk;
+export declare const unitFn: (index: number) => CodeChunk;
+export declare const unitFnRegion: (index: number) => CodeChunk;
+export declare const bindingVar: (n: number) => CodeChunk;
+export declare const regexConst: (i: number) => CodeChunk;
+export declare const formatConst: (i: number) => CodeChunk;
+export declare const counterVar: (n: number) => CodeChunk;
+export declare const foldVar: (n: number) => CodeChunk;
+/** First `produce` node in a keyword's lowered statement list (searched into blocks). */
+export declare function findProduce(stmts: readonly LowerStmt[]): LowerProduceValue | null;
+/** True when a keyword's lowered statement list contains an `annotate` node (searched into blocks). */
+export declare function hasAnnotate(stmts: readonly LowerStmt[]): boolean;
+//# sourceMappingURL=names.d.ts.map

package/dist/serialize/names.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"names.d.ts","sourceRoot":"","sources":["../../src/serialize/names.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,KAAK,iBAAiB,EACtB,KAAK,SAAS,EACf,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,KAAK,SAAS,EAAM,MAAM,YAAY,CAAC;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE5D,eAAO,MAAM,CAAC,WAAU,CAAC;AACzB,eAAO,MAAM,CAAC,WAAU,CAAC;AACzB,eAAO,MAAM,CAAC,WAAU,CAAC;AACzB,eAAO,MAAM,CAAC,WAAU,CAAC;AACzB,eAAO,MAAM,CAAC,WAAU,CAAC;AACzB,eAAO,MAAM,EAAE,WAAW,CAAC;AAC3B,eAAO,MAAM,EAAE,WAAW,CAAC;AAC3B,eAAO,MAAM,EAAE,WAAW,CAAC;AAC3B,eAAO,MAAM,IAAI,WAAa,CAAC;AAC/B,eAAO,MAAM,IAAI,WAAa,CAAC;AAC/B,eAAO,MAAM,EAAE,WAAW,CAAC;AAC3B,eAAO,MAAM,EAAE,WAAW,CAAC;AAC3B,eAAO,MAAM,EAAE,WAAW,CAAC;AAE3B,oEAAoE;AACpE,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,UAAU,CAAC;IACnB,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,eAAO,MAAM,OAAO,GAAI,KAAK,WAAW,KAAG,YAIzC,CAAC;AAEH;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CACzB,KAAK,EAAE,YAAY,EACnB,MAAM,EAAE,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,EACpC,MAAM,EAAE,SAAS,EACjB,EAAE,EAAE,OAAO,GACV,SAAS,EAAE,CAYb;AAED,8EAA8E;AAC9E,wBAAgB,UAAU,CACxB,KAAK,EAAE,YAAY,EACnB,aAAa,EAAE,OAAO,GACrB,SAAS,CAIX;AAED,eAAO,MAAM,MAAM,GAAI,OAAO,MAAM,KAAG,SAAoC,CAAC;AAI5E,eAAO,MAAM,YAAY,GAAI,OAAO,MAAM,KAAG,SACd,CAAC;AAChC,eAAO,MAAM,UAAU,GAAI,GAAG,MAAM,KAAG,SAAgC,CAAC;AACxE,eAAO,MAAM,UAAU,GAAI,GAAG,MAAM,KAAG,SAAgC,CAAC;AACxE,eAAO,MAAM,WAAW,GAAI,GAAG,MAAM,KAAG,SAAkC,CAAC;AAC3E,eAAO,MAAM,UAAU,GAAI,GAAG,MAAM,KAAG,SAAgC,CAAC;AACxE,eAAO,MAAM,OAAO,GAAI,GAAG,MAAM,KAAG,SAAgC,CAAC;AAErE,yFAAyF;AACzF,wBAAgB,WAAW,CACzB,KAAK,EAAE,SAAS,SAAS,EAAE,GAC1B,iBAAiB,GAAG,IAAI,CAyB1B;AAED,uGAAuG;AACvG,wBAAgB,WAAW,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,GAAG,OAAO,CAkBhE"}

package/dist/serialize/names.js

@@ -0,0 +1,115 @@
+// Emitted identifier names and IR scans shared by the serializer's modules.
+import { id } from "../emit.js";
+export const V = id("v"); // instance parameter
+export const D = id("d"); // depth parameter
+export const S = id("s"); // dynamic-scope parameter
+export const R = id("R"); // runtime closure
+export const T = id("T"); // interpreted-target table
+export const EV = id("ev"); // runtime coverage channel (region emission, phase B)
+export const EP = id("ep"); // evaluation-path prefix parameter (list emission)
+export const IP = id("ip"); // instance-pointer prefix parameter (list emission)
+export const ERRS = id("errs"); // error channel (list emission)
+export const ANNS = id("anns"); // annotation channel (annotation mode)
+export const ST = id("st"); // per-evaluation trace state (trace emission)
+export const TP = id("tp"); // parent application node parameter (trace emission)
+export const TN = id("tn"); // this application's node (trace emission)
+export const shapeOf = (ctx) => ({
+    output: ctx.output,
+    annMode: ctx.annMode,
+    trace: ctx.trace,
+});
+/**
+ * The arguments every application carries after the instance, depth, and
+ * scope: in list emission the two location prefixes and the record
+ * channels (the trace state and parent node under trace emission), and the
+ * coverage channel for an in-place region call. Unit signatures, unit
+ * calls, trampolines, and the root call all build from here, so the
+ * variants cannot drift apart. `locate` is called only in list emission —
+ * a flag-mode apply never computes its prefixes.
+ */
+export function channelArgs(shape, locate, parent, ev) {
+    const args = [];
+    if (shape.output === "list") {
+        args.push(...locate());
+        if (shape.trace)
+            args.push(ST, parent);
+        else {
+            args.push(ERRS);
+            if (shape.annMode)
+                args.push(ANNS);
+        }
+    }
+    if (ev)
+        args.push(EV);
+    return args;
+}
+/** The interpreter trampoline an emission calls for an interpreted target. */
+export function fragHelper(shape, inPlaceRegion) {
+    if (shape.output !== "list")
+        return id(inPlaceRegion ? "h_fragc" : "h_frag");
+    if (shape.trace)
+        return id("h_fragt");
+    return id(shape.annMode ? "h_fragla" : "h_fragl");
+}
+export const unitFn = (index) => id("u" + String(index));
+// Region-variant of a unit function: same body with the trailing coverage
+// channel threaded (COMPILED-CONSUMERS.md phase B). A distinct name so a unit
+// can carry both a plain and a channel-threaded emission.
+export const unitFnRegion = (index) => id("u" + String(index) + "c");
+export const bindingVar = (n) => id("b" + String(n));
+export const regexConst = (i) => id("r" + String(i));
+export const formatConst = (i) => id("fmt" + String(i));
+export const counterVar = (n) => id("c" + String(n));
+export const foldVar = (n) => id("f" + String(n));
+/** First `produce` node in a keyword's lowered statement list (searched into blocks). */
+export function findProduce(stmts) {
+    for (const stmt of stmts) {
+        switch (stmt.kind) {
+            case "produce":
+                return stmt.value;
+            case "if": {
+                const t = findProduce(stmt.then);
+                if (t)
+                    return t;
+                if (stmt.else) {
+                    const e = findProduce(stmt.else);
+                    if (e)
+                        return e;
+                }
+                break;
+            }
+            case "forEachKey":
+            case "forEachIndex": {
+                const b = findProduce(stmt.body);
+                if (b)
+                    return b;
+                break;
+            }
+            default:
+                break;
+        }
+    }
+    return null;
+}
+/** True when a keyword's lowered statement list contains an `annotate` node (searched into blocks). */
+export function hasAnnotate(stmts) {
+    for (const stmt of stmts) {
+        switch (stmt.kind) {
+            case "annotate":
+                return true;
+            case "if":
+                if (hasAnnotate(stmt.then) || (stmt.else && hasAnnotate(stmt.else)))
+                    return true;
+                break;
+            case "forEachKey":
+            case "forEachIndex":
+                if (hasAnnotate(stmt.body))
+                    return true;
+                break;
+            default:
+                break;
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=names.js.map

package/dist/serialize/names.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"names.js","sourceRoot":"","sources":["../../src/serialize/names.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAM5E,OAAO,EAAkB,EAAE,EAAE,MAAM,YAAY,CAAC;AAGhD,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,qBAAqB;AAC/C,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,kBAAkB;AAC5C,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,0BAA0B;AACpD,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,kBAAkB;AAC5C,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,2BAA2B;AACrD,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,sDAAsD;AAClF,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,mDAAmD;AAC/E,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,oDAAoD;AAChF,MAAM,CAAC,MAAM,IAAI,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,gCAAgC;AAChE,MAAM,CAAC,MAAM,IAAI,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,uCAAuC;AACvE,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,8CAA8C;AAC1E,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,qDAAqD;AACjF,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,2CAA2C;AASvE,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,GAAgB,EAAgB,EAAE,CAAC,CAAC;IAC1D,MAAM,EAAE,GAAG,CAAC,MAAM;IAClB,OAAO,EAAE,GAAG,CAAC,OAAO;IACpB,KAAK,EAAE,GAAG,CAAC,KAAK;CACjB,CAAC,CAAC;AAEH;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CACzB,KAAmB,EACnB,MAAoC,EACpC,MAAiB,EACjB,EAAW;IAEX,MAAM,IAAI,GAAgB,EAAE,CAAC;IAC7B,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,EAAE,CAAC,CAAC;QACvB,IAAI,KAAK,CAAC,KAAK;YAAE,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;aAClC,CAAC;YACJ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChB,IAAI,KAAK,CAAC,OAAO;gBAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IACD,IAAI,EAAE;QAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtB,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,UAAU,CACxB,KAAmB,EACnB,aAAsB;IAEtB,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC7E,IAAI,KAAK,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;IACtC,OAAO,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AACpD,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAa,EAAa,EAAE,CAAC,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;AAC5E,0EAA0E;AAC1E,8EAA8E;AAC9E,0DAA0D;AAC1D,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAa,EAAa,EAAE,CACvD,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC;AAChC,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAS,EAAa,EAAE,CAAC,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AACxE,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAS,EAAa,EAAE,CAAC,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AACxE,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAS,EAAa,EAAE,CAAC,EAAE,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3E,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAS,EAAa,EAAE,CAAC,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AACxE,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAS,EAAa,EAAE,CAAC,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AAErE,yFAAyF;AACzF,MAAM,UAAU,WAAW,CACzB,KAA2B;IAE3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,SAAS;gBACZ,OAAO,IAAI,CAAC,KAAK,CAAC;YACpB,KAAK,IAAI,CAAC,CAAC,CAAC;gBACV,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,CAAC;oBAAE,OAAO,CAAC,CAAC;gBAChB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;oBACd,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACjC,IAAI,CAAC;wBAAE,OAAO,CAAC,CAAC;gBAClB,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,YAAY,CAAC;YAClB,KAAK,cAAc,CAAC,CAAC,CAAC;gBACpB,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,CAAC;oBAAE,OAAO,CAAC,CAAC;gBAChB,MAAM;YACR,CAAC;YACD;gBACE,MAAM;QACV,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,uGAAuG;AACvG,MAAM,UAAU,WAAW,CAAC,KAA2B;IACrD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,UAAU;gBACb,OAAO,IAAI,CAAC;YACd,KAAK,IAAI;gBACP,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACjE,OAAO,IAAI,CAAC;gBACd,MAAM;YACR,KAAK,YAAY,CAAC;YAClB,KAAK,cAAc;gBACjB,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACxC,MAAM;YACR;gBACE,MAAM;QACV,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/serialize/spans.d.ts

@@ -0,0 +1,34 @@
+import { type CodeChunk } from "../emit.js";
+import { UnitContext } from "./context.js";
+/** One marked channel: the annotation channel or the coverage channel. */
+export interface Span {
+    kind: "anns" | "ev";
+    m: CodeChunk;
+}
+/** The annotation channel's current length: the value a span mark takes. */
+export declare function annsLength(ctx: UnitContext): CodeChunk;
+/**
+ * Drop the annotations pushed since mark `m` (a failed application's).
+ * Trace emission routes the cut through the runtime, which discards or
+ * retains them by the artifact's level.
+ */
+export declare function annsCut(ctx: UnitContext, m: CodeChunk): CodeChunk;
+/** Push one annotation unit; trace emission records the application with it. */
+export declare function annsPush(ctx: UnitContext, unit: CodeChunk): CodeChunk;
+/**
+ * The channel spans active at an application boundary: `anns` in annotation
+ * mode, `ev` in region emission, both when composed, none otherwise. errs
+ * is not one of them: a failed application keeps its errors (they become
+ * irrelevant only when an enclosing KEYWORD accepts, draft-03 §12.2), so
+ * error truncation is keyword-scoped — see errMark() — not per branch.
+ */
+export declare function channelSpans(ctx: UnitContext, includeEv?: boolean): Span[];
+export declare function spanDecls(ctx: UnitContext, spans: Span[]): CodeChunk;
+export declare function spanResets(ctx: UnitContext, spans: Span[]): CodeChunk;
+/**
+ * One grouped-fold branch: run `call`, apply `hit` on success, truncate the
+ * active channel spans on failure (a failed branch's records and
+ * coverage discard; a passing branch's merge — channel rule 3 per branch).
+ */
+export declare function branchSpan(ctx: UnitContext, call: CodeChunk, hit: CodeChunk): CodeChunk;
+//# sourceMappingURL=spans.d.ts.map

package/dist/serialize/spans.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"spans.d.ts","sourceRoot":"","sources":["../../src/serialize/spans.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,KAAK,SAAS,EAAgB,MAAM,YAAY,CAAC;AAE1D,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3C,0EAA0E;AAC1E,MAAM,WAAW,IAAI;IACnB,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,CAAC,EAAE,SAAS,CAAC;CACd;AAED,4EAA4E;AAC5E,wBAAgB,UAAU,CAAC,GAAG,EAAE,WAAW,GAAG,SAAS,CAEtD;AAED;;;;GAIG;AACH,wBAAgB,OAAO,CAAC,GAAG,EAAE,WAAW,EAAE,CAAC,EAAE,SAAS,GAAG,SAAS,CAIjE;AAED,gFAAgF;AAChF,wBAAgB,QAAQ,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,GAAG,SAAS,CAIrE;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,WAAW,EAAE,SAAS,UAAO,GAAG,IAAI,EAAE,CASvE;AAED,wBAAgB,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,SAAS,CASpE;AAED,wBAAgB,UAAU,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,SAAS,CAOrE;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CACxB,GAAG,EAAE,WAAW,EAChB,IAAI,EAAE,SAAS,EACf,GAAG,EAAE,SAAS,GACb,SAAS,CAIX"}

package/dist/serialize/spans.js

@@ -0,0 +1,61 @@
+// Channel spans at application boundaries: the annotation and coverage
+// channels mark before an application and truncate when it fails (rule 3).
+import { id, join, js } from "../emit.js";
+import { ANNS, EV, ST, TN } from "./names.js";
+/** The annotation channel's current length: the value a span mark takes. */
+export function annsLength(ctx) {
+    return ctx.trace ? js `${ST}.anns.length` : js `${ANNS}.length`;
+}
+/**
+ * Drop the annotations pushed since mark `m` (a failed application's).
+ * Trace emission routes the cut through the runtime, which discards or
+ * retains them by the artifact's level.
+ */
+export function annsCut(ctx, m) {
+    return ctx.trace
+        ? js `${id("h_cutA")}(${ST}, ${m});`
+        : js `${ANNS}.length = ${m};`;
+}
+/** Push one annotation unit; trace emission records the application with it. */
+export function annsPush(ctx, unit) {
+    return ctx.trace
+        ? js `${id("h_ann")}(${ST}, ${TN}, ${unit});`
+        : js `${ANNS}.push(${unit});`;
+}
+/**
+ * The channel spans active at an application boundary: `anns` in annotation
+ * mode, `ev` in region emission, both when composed, none otherwise. errs
+ * is not one of them: a failed application keeps its errors (they become
+ * irrelevant only when an enclosing KEYWORD accepts, draft-03 §12.2), so
+ * error truncation is keyword-scoped — see errMark() — not per branch.
+ */
+export function channelSpans(ctx, includeEv = true) {
+    const spans = [];
+    if (ctx.annMode) {
+        spans.push({ kind: "anns", m: id("m" + String(ctx.counters.temp++)) });
+    }
+    if (ctx.regionMode && includeEv) {
+        spans.push({ kind: "ev", m: id("m" + String(ctx.counters.temp++)) });
+    }
+    return spans;
+}
+export function spanDecls(ctx, spans) {
+    return join(" ", spans.map(({ kind, m }) => kind === "anns"
+        ? js `const ${m} = ${annsLength(ctx)};`
+        : js `const ${m} = ${EV}.length;`));
+}
+export function spanResets(ctx, spans) {
+    return join(" ", spans.map(({ kind, m }) => kind === "anns" ? annsCut(ctx, m) : js `${EV}.length = ${m};`));
+}
+/**
+ * One grouped-fold branch: run `call`, apply `hit` on success, truncate the
+ * active channel spans on failure (a failed branch's records and
+ * coverage discard; a passing branch's merge — channel rule 3 per branch).
+ */
+export function branchSpan(ctx, call, hit) {
+    const spans = channelSpans(ctx);
+    if (spans.length === 0)
+        return js `if (${call}) { ${hit} }`;
+    return js `{ ${spanDecls(ctx, spans)} if (${call}) { ${hit} } else { ${spanResets(ctx, spans)} } }`;
+}
+//# sourceMappingURL=spans.js.map

package/dist/serialize/spans.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"spans.js","sourceRoot":"","sources":["../../src/serialize/spans.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,2EAA2E;AAE3E,OAAO,EAAkB,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,YAAY,CAAC;AAS9C,4EAA4E;AAC5E,MAAM,UAAU,UAAU,CAAC,GAAgB;IACzC,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAA,GAAG,EAAE,cAAc,CAAC,CAAC,CAAC,EAAE,CAAA,GAAG,IAAI,SAAS,CAAC;AAChE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,OAAO,CAAC,GAAgB,EAAE,CAAY;IACpD,OAAO,GAAG,CAAC,KAAK;QACd,CAAC,CAAC,EAAE,CAAA,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI;QACnC,CAAC,CAAC,EAAE,CAAA,GAAG,IAAI,aAAa,CAAC,GAAG,CAAC;AACjC,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,QAAQ,CAAC,GAAgB,EAAE,IAAe;IACxD,OAAO,GAAG,CAAC,KAAK;QACd,CAAC,CAAC,EAAE,CAAA,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,IAAI,IAAI;QAC5C,CAAC,CAAC,EAAE,CAAA,GAAG,IAAI,SAAS,IAAI,IAAI,CAAC;AACjC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,GAAgB,EAAE,SAAS,GAAG,IAAI;IAC7D,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAChB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,GAAG,CAAC,UAAU,IAAI,SAAS,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,GAAgB,EAAE,KAAa;IACvD,OAAO,IAAI,CACT,GAAG,EACH,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CACxB,IAAI,KAAK,MAAM;QACb,CAAC,CAAC,EAAE,CAAA,SAAS,CAAC,MAAM,UAAU,CAAC,GAAG,CAAC,GAAG;QACtC,CAAC,CAAC,EAAE,CAAA,SAAS,CAAC,MAAM,EAAE,UAAU,CACnC,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,GAAgB,EAAE,KAAa;IACxD,OAAO,IAAI,CACT,GAAG,EACH,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CACxB,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA,GAAG,EAAE,aAAa,CAAC,GAAG,CAC7D,CACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CACxB,GAAgB,EAChB,IAAe,EACf,GAAc;IAEd,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAChC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA,OAAO,IAAI,OAAO,GAAG,IAAI,CAAC;IAC3D,OAAO,EAAE,CAAA,KAAK,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,QAAQ,IAAI,OAAO,GAAG,aAAa,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC;AACrG,CAAC"}

package/dist/serialize/statements.d.ts

@@ -0,0 +1,16 @@
+import { type LowerApply, type LowerStmt } from "@json-schema-engine/core";
+import { type CodeChunk } from "../emit.js";
+import { UnitContext } from "./context.js";
+/**
+ * Serialize one keyword's statement list. Runs of anyMayPass applies
+ * (the anyOf shape) group into a single OR check; short-circuit emission
+ * is licensed here because the planner interpreted every node whose
+ * channel a consumer could observe (slice licensing, DESIGN §7). Runs of
+ * exactlyOne applies (the oneOf shape) group into a counter block that
+ * runs EVERY branch — never stop-at-first-success, since the count past 1
+ * must still be exact.
+ */
+export declare function keywordStatements(ctx: UnitContext, stmts: readonly LowerStmt[]): CodeChunk[];
+export declare function statement(ctx: UnitContext, stmt: LowerStmt): CodeChunk;
+export declare function applyStatement(ctx: UnitContext, apply: LowerApply): CodeChunk;
+//# sourceMappingURL=statements.d.ts.map

package/dist/serialize/statements.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"statements.d.ts","sourceRoot":"","sources":["../../src/serialize/statements.ts"],"names":[],"mappings":"AAGA,OAAO,EAEL,KAAK,UAAU,EAGf,KAAK,SAAS,EACf,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,KAAK,SAAS,EAA2B,MAAM,YAAY,CAAC;AAErE,OAAO,EAAE,WAAW,EAAkB,MAAM,cAAc,CAAC;AAsB3D;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAC/B,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,SAAS,SAAS,EAAE,GAC1B,SAAS,EAAE,CAmHb;AAmND,wBAAgB,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,GAAG,SAAS,CAyBtE;AAyFD,wBAAgB,cAAc,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,GAAG,SAAS,CA4C7E"}