litedbmodel 2.0.2 → 2.1.0

package/dist/scp/codegen.js

@@ -13,8 +13,8 @@
  *     concrete `HandlerNR<Comp>`/`InNR<Comp>`/`PortsNR<Comp><node>`/`RawRowNR<Comp><node>` structs,
  *     ZERO boxed `Value`/`RawValue`, ZERO IR baked into the module), the CODEGEN-ONLY lowering
  *     below ({@link lowerReadGraphForTypedNative}) makes the read's shape structurally ELIGIBLE
- *     (splits the surrogate `__scope` boxed-obj port into individual scalar ref ports + types the
- *     component's `inputPorts` from the schema) before handing it to bc. For a WRITE bundle, or a
+ *     (derives each real Select-node's referenced heads from its statements → individual scalar ref
+ *     ports + types the component's `inputPorts` from the schema) before handing it to bc. For a WRITE bundle, or a
  *     READ shape typed-native does not (yet) cover, codegen uses bc's existing de-interpreted
  *     STRAIGHT-LINE endpoint (`<lang>-straightline`, bc#75) — see {@link typedEmitterFor}.
  *  2. **SQL catalog companion** — the pure-JSON STATIC makeSQL catalog (per-node statement
@@ -25,9 +25,9 @@
  *
  * This lowering exists SOLELY for the codegen emitter call — it builds a NEW, separate
  * `ComponentGraphIR` from the bundle's `readGraph`; it never mutates `SqlBundle`/`ReadGraph` and
- * never touches the shared `readGraph`/`executeReadGraph` the ir/interpret exec surface (and the
- * frozen conformance corpus) depend on. Those keep consuming the ORIGINAL boxed-`__scope`-port
- * surrogate IR ({@link bundleToPortableIR}), completely unaffected by anything in this file.
+ * never touches the shared `readGraph`/`executeReadGraph` the native exec surface (and the
+ * frozen conformance corpus) depend on. Those keep consuming the REAL Select-node
+ * `readGraph.ir`, completely unaffected by anything in this file.
  *
  * ## Behavior-identical to the thin-runtime (mode-2), by construction
  *
@@ -41,9 +41,16 @@
  * ## No literal-bake / no boxed fallback
  *
  * typed-native fails CLOSED on an uncovered shape (a `map`/`cond` relation kind it does not cover,
- * or an input head that cannot lower to a native scalar — e.g. an IN-list's array-typed head).
- * Such a shape is NOT silently regenerated on the boxed `-typed`/`-typed-raw` emitter — it THROWS,
- * naming the exact gap, so it can be tracked as a bc coverage gap (bc#86) rather than masked.
+ * or an input head that cannot lower to a native port). Such a shape is NOT silently regenerated on
+ * the boxed `-typed`/`-typed-raw` emitter — it THROWS, naming the exact gap, so it can be tracked as
+ * a bc coverage gap rather than masked.
+ *
+ * IN-list / array-bound WHERE heads (the `whereIn` `{__jsonArray:{ref:[head]},dialect}` param) are
+ * now COVERED via bc#110 (native array/list port for a componentRef input port): the lowering
+ * resolves the IN-list column's element scalar and emits a native ARRAY input port
+ * (`{type:'array', elemType}` → `Vec<ElemT>`/`[]ElemT`), so `complexWhere`/`inList` reach the
+ * zero-boxing native hot path (no serde_json/encoding-json, no boxed `Value`). They no longer
+ * fail closed as a bc#86/coverage gap.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.TypedNativeCoverageError = exports.CODEGEN_EMITTER = exports.CODEGEN_LANGUAGES = void 0;
@@ -55,7 +62,6 @@ exports.generateCodegenArtifact = generateCodegenArtifact;
 exports.codegenExecuteBundleForTest = codegenExecuteBundleForTest;
 const behavior_contracts_1 = require("behavior-contracts");
 const runtime_1 = require("./runtime");
-const ir_1 = require("./makesql/ir");
 const coltype_1 = require("./coltype");
 /**
  * The languages litedbmodel mode-3 codegen supports — exactly the set bc's shared generator
@@ -95,29 +101,23 @@ exports.CODEGEN_EMITTER = {
     rust: 'rust-typed-native',
 };
 /**
- * The portable {@link ComponentGraphIR} view of a §8 bundle: a read bundle's surrogate IR (each
- * SQL node → a `makeSQL` node), or the single `makeSQL` component IR for a write. This is the
- * ORIGINAL boxed-`__scope`-port form the ir/interpret exec surface's `executeReadGraph` also
- * consumes (via `bundle.readGraph.ir` directly) — {@link generateCodegenArtifact} does NOT use
- * this for a READ bundle (it uses the codegen-only lowered form, {@link lowerReadGraphForTypedNative});
- * this function is kept for callers that want the untouched portable IR (e.g. diagnostics, the
- * write path, or a future straight-line fallback caller).
+ * The portable {@link ComponentGraphIR} view of a §8 READ bundle: `compileBehaviors`' real-node
+ * read-graph IR (the de-surrogated `Select`/`Count`/map nodes; #12) — the SAME IR the native exec
+ * surface (`executeReadGraph`) walks (via `bundle.readGraph.ir` directly). litedbmodel constructs NO
+ * `ComponentGraphIR` literal here; it returns the compiler's own output. {@link generateCodegenArtifact}
+ * does NOT use this for a typed-native READ target (that uses the codegen-only lowered form,
+ * {@link lowerReadGraphForTypedNative}); this is the portable IR for a boxed READ endpoint / fingerprint.
+ *
+ * WRITE bundles have NO portable component-graph IR (they carry a single compiled `statement`, not a
+ * component graph — and are NOT codegen-module cases: {@link generateCodegenArtifact} rejects them).
+ * There is therefore no hand-built `makeSQL` write surrogate anymore (#12) — a write bundle throws.
  */
 function bundleToPortableIR(bundle) {
     if (bundle.readGraph !== undefined)
         return bundle.readGraph.ir;
-    const ir = (0, ir_1.makeSqlComponentIR)(bundle.name);
-    // A WRITE bundle's typed de-box (spec §4.1/§9): attach the derived `outputType` (the
-    // TransactionResult typed shape) to the single `makeSQL` node's `outType` + the component's
-    // `outputType` — exactly how the read graph annotates its surrogate IR. Without it, bc's typed
-    // emitters would hard-fail ("nothing to de-box"), which is the correct fail-closed signal; a
-    // resolver-less write bundle (no `outputType`) stays un-annotated (interpret/boxed only, as before).
-    if (bundle.outputType === undefined)
-        return ir;
-    const c = ir.components[0];
-    const body = c.body.map((n, i) => (i === 0 ? { ...n, outType: bundle.outputType } : n));
-    const component = { ...c, body, outputType: bundle.outputType };
-    return { ...ir, components: [component] };
+    throw new Error(`litedbmodel codegen: bundle '${bundle.name}' has no readGraph — a WRITE bundle carries a single ` +
+        `compiled makeSQL statement, not a portable component-graph IR, and is not a codegen-module case ` +
+        `(#12: the hand-built makeSQL write surrogate IR is eliminated; writes ride the write/tx exec path).`);
 }
 /** The STATIC makeSQL execution catalog carried alongside the generated module. */
 function companionOf(bundle) {
@@ -132,26 +132,22 @@ function companionOf(bundle) {
     return bundle.transaction === undefined ? base : { ...base, transaction: bundle.transaction };
 }
 // ═══════════════════════════════════════════════════════════════════════════════════════════
-// #60 milestone 1 — CODEGEN-ONLY typed-native lowering.
+// #60 milestone 1 — CODEGEN-ONLY typed-native lowering (#12: from the real-node read graph).
 //
 // bc's typed-native coverage predicate (`coverageRejectReason`, bc#86/#89) requires EVERY
-// componentRef port to be STATICALLY resolvable to a native scalar/string-array/number-literal —
-// the surrogate read graph's single `__scope: {obj:{...}}` port is a BOXED obj literal, which is
-// never statically resolvable (it fails `portIsStatic`), so bc hard-fails ("does not lower to a
-// native Rust type") on EVERY read, covered or not, before this lowering. Splitting `__scope` into
-// individual scalar ref ports (one per referenced head) makes the shape ELIGIBLE; typing the
-// component's `inputPorts` (bc's authoring default is `unknown` for every scanned `$.head`) then
-// lets each port lower to a CONCRETE Rust/Go field instead of falling through to `Value`.
+// componentRef port to be STATICALLY resolvable to a native scalar/string-array/number-literal.
+// The de-surrogated read graph's real `Select`/`Count`/map nodes carry boxed authoring ports
+// (`where:{arr:[…]}`, `table`, `select`) that are not that shape, so bc would hard-fail on them.
+// This lowering rebuilds a NEW, CODEGEN-ONLY component whose body nodes carry ONLY individual
+// native-scalar `{ref:[head]}` ports (one per input head the node's compiled statements bind,
+// derived from `statementsById`) + typed `inputPorts` — the shape bc's typed-native emitter needs.
 //
 // This is a NEW, throwaway `ComponentGraphIR` built FROM the bundle's `readGraph` fields
-// (`ir`/`statementsById`, both already computed by the EXISTING `compileReadGraph` — untouched
-// here) — it is never written back onto `SqlBundle`/`ReadGraph`, never serialized, and the
-// ir/interpret exec surface (`executeReadGraph`) never sees it (it keeps reading `readGraph.ir`,
-// the boxed-`__scope` form, directly). Purely a generation-time input to `generateModule`.
+// (`ir` topology + `statementsById`, both already computed by the EXISTING `compileReadGraph` —
+// untouched here) — it is never written back onto `SqlBundle`/`ReadGraph`, never serialized, and
+// the native exec surface (`executeReadGraph`) never sees it (it walks the real-node `readGraph.ir`
+// directly). Purely a generation-time input to `generateModule`.
 // ═══════════════════════════════════════════════════════════════════════════════════════════
-/** The makeSQL surrogate node's synthetic port name (mirrors `static-bundle.ts`'s private `SCOPE_PORT`
- * — duplicated as a literal here rather than exported, keeping this a codegen-only concern). */
-const SCOPE_PORT = '__scope';
 /** A head could not be typed for typed-native codegen — the read is NOT typed-native-coverable. */
 class TypedNativeCoverageError extends Error {
     component;
@@ -179,6 +175,12 @@ const WHERE_FRAGMENT_COLUMN = /^([A-Za-z_][A-Za-z0-9_]*)\s+(?:=|<>|<=|>=|<|>|LIK
  * ` FROM <table>[ …]`; a JOIN/CTE-shaped head is out of scope for this narrow codegen deriver and
  * reported as unresolvable rather than mis-parsed). */
 const SELECT_FROM_TABLE = /\bFROM\s+([A-Za-z_][A-Za-z0-9_]*)\b/i;
+/** Extract the LHS column of an IN-list / array-bound WHERE fragment — the closed set of texts
+ * {@link inListFragment} emits across dialects, all of the form `<col> IN (…)` (sqlite `json_each`,
+ * mysql `JSON_TABLE`) or `<col> = ANY(?)` (postgres). The single array param binds a `?` inside; the
+ * column names the type to resolve the ELEMENT scalar from (spec §4.1 schema SoT). Any other shape
+ * returns undefined (fail-closed). */
+const IN_LIST_COLUMN = /^([A-Za-z_][A-Za-z0-9_]*)\s+(?:IN\s*\(|=\s*ANY\s*\()/i;
 /**
  * Derive each input head's bc scalar type from a read node's compiled {@link StaticStatement}s
  * (spec §4.1 schema SoT), for bc's typed-native codegen (#60 m1). Works from the ALREADY-COMPILED
@@ -186,13 +188,25 @@ const SELECT_FROM_TABLE = /\bFROM\s+([A-Za-z_][A-Za-z0-9_]*)\b/i;
  * instead of re-walking the authored component — so this lowering needs NO extra input beyond
  * what `SqlBundle`/`ReadGraph` already expose (no change to `compileReadGraph`/`ReadGraph`).
  *
- * Returns the typed heads found, PLUS `unresolved` — heads referenced by a param that is NOT a
- * bare single-segment `{ref:[head]}` (e.g. `whereIn`'s `{__jsonArray:{ref:[…]},dialect}` array
- * param) or whose owning fragment's SQL text isn't the closed `<col> <op> ?` shape. A non-empty
- * `unresolved` means the read is NOT typed-native-coverable (fail-closed at the caller).
+ * Returns three sets:
+ *  - `byHead` — heads bound by a bare single-segment `{ref:[head]}` scalar param, typed to their
+ *    column's bc scalar (`int`/`float`/`string`/`bool`).
+ *  - `arrayHeads` — heads bound by an IN-list / array param (`whereIn`'s
+ *    `{__jsonArray:{ref:[head]},dialect}`), typed to their column's ELEMENT scalar. bc#110 gives
+ *    typed-native a native array port (`Vec<ElemT>`/`[]ElemT`) for such a head, so it is now
+ *    COVERED (no longer fail-closed) — the caller emits it as a native array input port.
+ *  - `unresolved` — heads whose owning fragment's SQL text isn't a shape this deriver covers (the
+ *    closed `<col> <op> ?` scalar shape or the `<col> IN (…)`/`<col> = ANY(?)` array shape). A
+ *    non-empty `unresolved` means the read is NOT typed-native-coverable (fail-closed at the caller).
+ *
+ * `elementVar` (map nodes only): the map's `as` binding (`$e0`). A param whose ref's FIRST segment
+ * is the element var (`{ref:['$e0','author_id']}`) is a map-ELEMENT field access, NOT a component
+ * input head — bc types it from the map's `over` element struct (the prior node's row), so this
+ * deriver neither types nor rejects it (it is fully covered by bc's `coveredMapNode` element typing).
  */
-function deriveHeadTypesFromStatements(statements, resolveColumnType) {
+function deriveHeadTypesFromStatements(statements, resolveColumnType, elementVar) {
     const byHead = new Map();
+    const arrayHeads = new Map();
     const unresolved = new Map();
     // The head statement (`SELECT … FROM <table>`) — always statements[0] (compileSelectNode always
     // pushes it first); its table name resolves every WHERE fragment's column type.
@@ -200,14 +214,64 @@ function deriveHeadTypesFromStatements(statements, resolveColumnType) {
     const tableMatch = head === undefined ? null : SELECT_FROM_TABLE.exec(head.sql);
     const table = tableMatch?.[1];
     for (const stmt of statements) {
-        if (stmt.whereFragment !== true)
+        // The LIMIT clause (` LIMIT ?`) is NOT a whereFragment — its param is `coalesce(refOpt(limit), N)`
+        // (optional head + a static default). bc's typed-native emitter binds `limit` as a native scalar
+        // port (its `portIsStatic` accepts the bare ref + number-literal default), so type the head from
+        // the schema-less LIMIT contract: `limit`-family heads are always an integer row count. The
+        // element-var guard applies here too (a map child never has a LIMIT-bound element ref today, but
+        // stay uniform). Anything OTHER than the closed `coalesce([refOpt([head]), <int>])` shape is left
+        // untyped here (the surrogate-scope reconciliation below fail-closes on an un-typed referenced head).
+        if (stmt.whereFragment !== true) {
+            for (const param of stmt.params) {
+                const lh = limitHeadNameOf(param);
+                if (lh === undefined)
+                    continue;
+                if (elementVar !== undefined && lh === elementVar)
+                    continue;
+                const prior = byHead.get(lh);
+                if (prior !== undefined && prior !== 'int') {
+                    unresolved.set(lh, `input head '${lh}' resolves to conflicting scalar types ('${prior}' vs 'int' from a LIMIT clause) across statements`);
+                    continue;
+                }
+                byHead.set(lh, 'int');
+            }
             continue;
+        }
         for (const param of stmt.params) {
             const path = refPathOf(param);
+            // A map-ELEMENT field access (`{ref:['$e0','author_id']}`, first segment = the map `as` var) is
+            // NOT a component input head — bc types it from the map's `over` element struct. Neither type
+            // nor reject it here (fully covered by bc's `coveredMapNode` element-field lowering).
+            if (path !== undefined && elementVar !== undefined && path[0] === elementVar)
+                continue;
             if (path === undefined || path.length !== 1) {
-                // Not a bare single-segment ref (e.g. the `whereIn` `__jsonArray` array param, or a nested
-                // literal): if it names a head at all, surface it; otherwise it simply isn't head-typable
-                // here (a literal has no head to report).
+                // An IN-list / array-bound WHERE head — `whereIn`'s `{__jsonArray:{ref:[head]},dialect}`
+                // param (single-array param, one `?` inside the `IN (…)`/`= ANY(?)` subquery). bc#110 gives
+                // typed-native a native ARRAY port for this shape (`Vec<ElemT>`/`[]ElemT`), so resolve the
+                // column's ELEMENT scalar (spec §4.1 SoT) and record it as an array head — no longer
+                // fail-closed. Any other non-scalar/nested-literal param stays unresolved (fail-closed).
+                const arrHead = arrayHeadNameOf(param);
+                if (arrHead !== undefined) {
+                    if (table === undefined) {
+                        unresolved.set(arrHead, `input head '${arrHead}': could not resolve the owning table from the SELECT head SQL ('${head?.sql ?? '<none>'}')`);
+                        continue;
+                    }
+                    const cm = IN_LIST_COLUMN.exec(stmt.sql.trim());
+                    if (cm === null) {
+                        unresolved.set(arrHead, `input head '${arrHead}': IN-list WHERE fragment SQL '${stmt.sql}' is not the closed '<col> IN (…)'/'<col> = ANY(?)' shape this codegen-only deriver covers`);
+                        continue;
+                    }
+                    const elemType = (0, coltype_1.sqlTypeToBcScalar)(resolveColumnType(table, cm[1]));
+                    const priorElem = arrayHeads.get(arrHead);
+                    if (priorElem !== undefined && priorElem !== elemType) {
+                        unresolved.set(arrHead, `input head '${arrHead}' resolves to conflicting array element scalar types ('${priorElem}' vs '${elemType}') across statements`);
+                        continue;
+                    }
+                    arrayHeads.set(arrHead, elemType);
+                    continue;
+                }
+                // Not a bare single-segment ref and not a recognized array head (e.g. a nested literal): if
+                // it names a head at all, surface it; otherwise it simply isn't head-typable here.
                 const named = headNameOf(param);
                 if (named !== undefined) {
                     unresolved.set(named, `input head '${named}' is bound by a non-scalar param shape (${JSON.stringify(param)}) — bc's ` +
@@ -236,7 +300,14 @@ function deriveHeadTypesFromStatements(statements, resolveColumnType) {
             byHead.set(headName, scalar);
         }
     }
-    return { byHead, unresolved };
+    // A head bound BOTH as a scalar and as an array across fragments is not a coherent native port —
+    // fail-closed rather than silently pick one (never occurs for the covered shapes, defensive).
+    for (const head of arrayHeads.keys()) {
+        if (byHead.has(head)) {
+            unresolved.set(head, `input head '${head}' is bound both as a scalar and as an array param — no single native port type`);
+        }
+    }
+    return { byHead, arrayHeads, unresolved };
 }
 /** A statement param's bare ref path (`{ref:[…]}`/`{refOpt:[…]}`), or undefined if it isn't one. */
 function refPathOf(param) {
@@ -262,14 +333,76 @@ function headNameOf(param) {
     }
     return undefined;
 }
+/** The distinct map-ELEMENT field names a node's statements bind via `{ref:[elementVar, field]}`
+ * (first-seen order). These are the map child's element-field ports (`$e0.author_id`): bc's
+ * typed-native map lowering types each from the `over` element struct's field. Only single-field
+ * accesses (`[elementVar, field]`, length 2) are collected — a deeper element path is not a covered
+ * native port here (fail-closed downstream if one appears). */
+function elementFieldRefs(statements, elementVar) {
+    const out = [];
+    const seen = new Set();
+    for (const stmt of statements) {
+        for (const param of stmt.params) {
+            const path = refPathOf(param);
+            if (path === undefined || path.length !== 2 || path[0] !== elementVar)
+                continue;
+            const field = path[1];
+            if (!seen.has(field)) {
+                seen.add(field);
+                out.push(field);
+            }
+        }
+    }
+    return out;
+}
+/** The head a LIMIT param (`coalesce([{refOpt:[head]}, <int-literal>])`) binds — the closed shape
+ * `compileSelectNode` emits for an optional `limit` with a static default (`coalesce(opt($.limit), N)`).
+ * Returns the head name for that exact shape, else undefined (any other shape is not a LIMIT head this
+ * deriver types). bc's typed-native emitter binds it as a native scalar port (bare ref + number literal
+ * default are both `portIsStatic`). */
+function limitHeadNameOf(param) {
+    if (param === null || typeof param !== 'object' || Array.isArray(param))
+        return undefined;
+    const obj = param;
+    const args = obj.coalesce;
+    if (!Array.isArray(args) || args.length !== 2)
+        return undefined;
+    const [refPart, dflt] = args;
+    // The default must be a static integer literal (`coalesce(opt($.limit), 20)`).
+    if (typeof dflt !== 'number' || !Number.isInteger(dflt))
+        return undefined;
+    if (refPart === null || typeof refPart !== 'object' || Array.isArray(refPart))
+        return undefined;
+    const rp = refPart;
+    const keys = Object.keys(rp);
+    if (keys.length !== 1 || (keys[0] !== 'ref' && keys[0] !== 'refOpt'))
+        return undefined;
+    const path = rp[keys[0]];
+    if (!Array.isArray(path) || path.length !== 1 || typeof path[0] !== 'string')
+        return undefined;
+    return path[0];
+}
+/** The head an IN-list / array param (`{__jsonArray:{ref:[head]},dialect}`) binds — ONLY the covered
+ * single-segment `{ref:[head]}` inner shape (bc#110's native array port requires a single-segment,
+ * non-opt ref). A multi-segment / opt / non-ref inner is NOT this covered array shape → undefined
+ * (the caller then treats it as an unresolved non-scalar param, fail-closed). */
+function arrayHeadNameOf(param) {
+    if (param === null || typeof param !== 'object' || Array.isArray(param))
+        return undefined;
+    const obj = param;
+    if (!('__jsonArray' in obj))
+        return undefined;
+    const inner = refPathOf(obj.__jsonArray);
+    return inner !== undefined && inner.length === 1 ? inner[0] : undefined;
+}
 /**
- * Lower a read bundle's surrogate `ComponentGraphIR` into a NEW, CODEGEN-ONLY IR eligible for bc's
- * typed-native endpoint (#60 milestone 1): split the single `__scope: {obj:{...}}` boxed port into
- * individual scalar `{ref:[head]}` ports, and type the component's `inputPorts` from the schema
- * (via {@link deriveHeadTypesFromStatements}). Throws {@link TypedNativeCoverageError} if any
- * referenced head cannot be natively typed (e.g. an IN-list's array head) — NO silent `unknown`
- * port, NO fallback. Does NOT mutate `bundle`/`bundle.readGraph` (a fresh IR object is returned);
- * the ir/interpret exec surface's `executeReadGraph` keeps consuming the ORIGINAL `readGraph.ir`.
+ * Lower a read bundle's REAL Select-node `ComponentGraphIR` into a NEW, CODEGEN-ONLY IR eligible
+ * for bc's typed-native endpoint (#60 milestone 1): derive each node's referenced heads from its
+ * `statementsById` fragments and emit individual native-scalar `{ref:[head]}` ports, typing the
+ * component's `inputPorts` from the schema (via {@link deriveHeadTypesFromStatements}). Throws
+ * {@link TypedNativeCoverageError} if any referenced head cannot be natively typed (e.g. an IN-list's
+ * array head) — NO silent `unknown` port, NO fallback. Does NOT mutate `bundle`/`bundle.readGraph`
+ * (a fresh IR object is returned); the native `executeReadGraph` keeps consuming the real `readGraph.ir`.
  *
  * Scope: bc's typed-native predicate itself still governs `map`/`cond`/relationKind/policy
  * coverage (this lowering does not special-case those — `generateModule` fails closed on them with
@@ -280,21 +413,22 @@ function lowerReadGraphForTypedNative(readGraph, resolveColumnType) {
     const reasons = [];
     const components = ir.components.map((c) => {
         const inputPortTypes = new Map();
+        // IN-list / array-bound heads (bc#110): the head's native ELEMENT scalar (the port lowers to
+        // `Vec<ElemT>`/`[]ElemT`, fed natively — NO json.Marshal/serde_json on the hot path).
+        const inputPortElemTypes = new Map();
         const body = c.body.map((n) => {
             if ('cond' in n)
                 return n;
             const isMapNode = 'map' in n;
-            const ref = isMapNode ? n.map : n;
-            const scopeVal = ref.ports[SCOPE_PORT];
-            if (scopeVal === undefined || typeof scopeVal !== 'object' || scopeVal === null || !('obj' in scopeVal)) {
-                // Not the makeSQL surrogate shape this lowering targets (defensive — every read-graph body
-                // node IS this shape by construction) — leave the node untouched; bc's own coverage check
-                // will report it if it is genuinely uncovered.
-                return n;
-            }
-            const obj = scopeVal.obj;
             const stmts = readGraph.statementsById[n.id] ?? [];
-            const { byHead, unresolved } = deriveHeadTypesFromStatements(stmts, resolveColumnType);
+            // A map node binds an ELEMENT var (`as: '$e0'`) — its child statements reference the mapped
+            // parent row via `{ref:['$e0', <field>]}`. That is a map-element field access (bc types it from
+            // the map's `over` element struct), NOT a component input head, so hand the element var to the
+            // deriver to exclude it from head typing/rejection.
+            const elementVar = isMapNode
+                ? (n.map.as ?? undefined)
+                : undefined;
+            const { byHead, arrayHeads, unresolved } = deriveHeadTypesFromStatements(stmts, resolveColumnType, elementVar);
             for (const [, reason] of unresolved)
                 reasons.push(`node '${n.id}': ${reason}`);
             for (const [head, scalar] of byHead) {
@@ -305,16 +439,32 @@ function lowerReadGraphForTypedNative(readGraph, resolveColumnType) {
                 }
                 inputPortTypes.set(head, scalar);
             }
-            // Every head the surrogate scope references must have been typed above (byHead) — a head
-            // present in `obj` but absent from `byHead`/`unresolved` indicates a param shape this
-            // deriver's statement walk did not visit (e.g. a non-WHERE port); report it too rather than
-            // silently emitting an untyped scalar ref port.
-            const newPorts = {};
-            for (const head of Object.keys(obj)) {
-                if (!byHead.has(head) && !unresolved.has(head)) {
-                    reasons.push(`node '${n.id}': input head '${head}' referenced by the surrogate scope but not resolved by any WHERE fragment — cannot type it for native codegen`);
+            for (const [head, elem] of arrayHeads) {
+                const prior = inputPortElemTypes.get(head);
+                if (prior !== undefined && prior !== elem) {
+                    reasons.push(`input head '${head}' resolves to conflicting array element scalar types ('${prior}' vs '${elem}') across nodes`);
                     continue;
                 }
+                inputPortElemTypes.set(head, elem);
+            }
+            // #12 (de-surrogated): the codegen IR is rebuilt from the real node's `statementsById`-derived
+            // head set (`byHead` ∪ `arrayHeads`) — the SAME native-scalar `{ref:[head]}` port shape bc's
+            // typed-native emitter consumes. There is no `__scope` obj to walk anymore; the referenced-head
+            // set IS what `deriveHeadTypesFromStatements` found (an `unresolved` head already pushed a
+            // reason above, fail-closed). A covered array head is emitted as the SAME single-segment
+            // `{ref:[head]}` port (bc#110's array-port lowering keys off the inputPorts array schema).
+            const newPorts = {};
+            // A map node's child statements reference the mapped parent row via `{ref:['$e0', <field>]}`.
+            // bc's typed-native map lowering types a port `{ref:['$e0', <field>]}` from the OVER element
+            // struct's FIELD (a native scalar) — so emit one native-scalar element-FIELD port per field the
+            // child statements bind (`{ref:['$e0', author_id]}` → port `author_id`). Non-element component
+            // heads (if any) are typed/emitted normally below.
+            if (isMapNode && elementVar !== undefined) {
+                const fields = elementFieldRefs(stmts, elementVar);
+                for (const field of fields)
+                    newPorts[field] = { ref: [elementVar, field] };
+            }
+            for (const head of [...byHead.keys(), ...arrayHeads.keys()]) {
                 newPorts[head] = { ref: [head] };
             }
             return isMapNode
@@ -339,6 +489,15 @@ function lowerReadGraphForTypedNative(readGraph, resolveColumnType) {
             const schema = (c.inputPorts ?? {})[name];
             inputPorts[name] = schema === undefined ? { required: true, type: scalar } : { ...schema, type: scalar };
         }
+        // IN-list / array-bound heads (bc#110): a native ARRAY input port carrying the ELEMENT scalar as
+        // `elemType`. bc's typed-native emitter lowers this to `Vec<ElemT>`/`[]ElemT` fed natively from
+        // the input struct field — NO boxed `Value`, NO serde_json/encoding-json on the read hot path.
+        // bc does NOT infer element types (consumer-interface C3), so litedbmodel supplies `elemType`
+        // from the schema SoT (the IN-list column's resolved scalar).
+        for (const [name, elem] of inputPortElemTypes) {
+            const schema = (c.inputPorts ?? {})[name];
+            inputPorts[name] = { ...(schema ?? { required: true }), type: 'array', elemType: elem };
+        }
         return { ...c, body, inputPorts };
     });
     return { ...ir, components };
@@ -374,23 +533,39 @@ function typedEmitterFor(language, registered) {
 function codegenEmitterFor(language, registered) {
     return typedEmitterFor(language, registered);
 }
-/** Does a resolved emitter id end in bc's typed-native suffix (`-typed-native`)? Only THOSE
- * emitters need (and are eligible for) the `__scope`-obj-splitting lowering — a boxed endpoint
- * (`typescript-typed`) accepts the ORIGINAL surrogate IR just fine (it consumes a boxed `Value`
- * port either way), so lowering it would needlessly narrow TS's coverage (e.g. `whereIn`'s
- * array-typed head, which typed-native cannot cover but the boxed TS endpoint handles today). */
-function isTypedNativeEmitter(emitter) {
-    return emitter.endsWith('-typed-native');
+/**
+ * Every litedbmodel READ codegen endpoint consumes the SAME native-scalar-port lowering — NOT
+ * just the `-typed-native` (go/rust) ones. Rationale (#12 regression fix):
+ *
+ * Post-#12 the read graph is the REAL de-surrogated `Select`-node IR, whose `where` port array
+ * carries a fragment for EVERY authored `whereX($.col, …)` — including one whose LHS `$.col` is a
+ * WHERE COLUMN-NAME MARKER, never a bound input value (`whereGe($.created_at, $.since)` accesses
+ * `$.created_at` only to NAME the column; only `$.since` is bound). Handing that raw IR to bc's
+ * emitter emits a `ref(["created_at"], scope)` read + a `created_at` input-struct field, so the
+ * bound module throws `unknown binding: created_at` at execution (the scope has no `created_at`).
+ * The go/rust `-typed-native` path never hit this because it is fed
+ * {@link lowerReadGraphForTypedNative}, which rebuilds each node's ports from the GENUINE bound
+ * heads (`statementsById`), dropping the column-name markers. TS was on the raw IR
+ * ({@link bundleToPortableIR}) → it kept the marker → it broke.
+ *
+ * The lowering is therefore the correct input for the boxed `typescript-typed` endpoint too: it
+ * feeds bc EXACTLY the genuine bound heads (equivalent-in-spirit to what go/rust consume), and
+ * bc#110's native array port means the array-typed heads (`complexWhere`/`inList`) lower cleanly —
+ * the old "lowering would narrow TS's array coverage" concern is stale. Only WRITE bundles (no
+ * `readGraph`) never reach this path. */
+function needsHeadLowering(_emitter) {
+    return true;
 }
 /**
- * Generate the mode-3 READ codegen artifact for ONE §8 READ bundle in ONE target language. For a
- * typed-NATIVE target (go/rust, bc#77/#90), lowers the bundle's surrogate read graph into the
- * typed-native-eligible IR ({@link lowerReadGraphForTypedNative}) first — REAL static native
- * source, RUNTIME-FREE, no baked-IR interpret path. For any OTHER registered endpoint (currently
- * only TS's boxed `typescript-typed`, which has no typed-native counterpart yet), the ORIGINAL
- * portable IR ({@link bundleToPortableIR}) is used unchanged — the lowering is typed-native-only
- * and would needlessly narrow a boxed endpoint's existing coverage. litedbmodel supplies the
- * input (portable IR + catalog); bc owns the emitter.
+ * Generate the mode-3 READ codegen artifact for ONE §8 READ bundle in ONE target language. Lowers
+ * the bundle's real Select-node read graph into the native-scalar-port IR
+ * ({@link lowerReadGraphForTypedNative}) FIRST — for go/rust's typed-NATIVE endpoint (bc#77/#90,
+ * RUNTIME-FREE) AND for TS's boxed `typescript-typed` endpoint alike. Both consume the SAME
+ * genuine-bound-head shape: the lowering derives each node's ports from its compiled
+ * `statementsById` fragments, so a WHERE COLUMN-NAME MARKER head (`whereGe($.created_at, $.since)`
+ * — `$.created_at` names the column, is never bound) is EXCLUDED from the emitted ports/input
+ * struct, exactly as go/rust already handled it (#12 regression: TS previously fed the raw IR and
+ * emitted a stray `created_at` binding → `unknown binding: created_at` at execution).
  *
  * WRITE bundles are OUT OF SCOPE (#60 milestone 1: writes stay on the existing write/tx execution
  * path, never a codegen module) — throws if `bundle.readGraph` is absent.
@@ -404,10 +579,19 @@ function generateCodegenArtifact(bundle, language, registeredLanguages, resolveC
     const emitter = typedEmitterFor(language, registeredLanguages);
     // The portable IR exists ONLY transiently here as the generator's input — it is NOT part of the
     // codegen OUTPUT (no artifact field, no file, no binary; the codegen path never reads IR data).
-    const ir = isTypedNativeEmitter(emitter)
+    // ALL read endpoints (go/rust typed-native AND TS boxed typescript-typed) are fed the SAME
+    // genuine-bound-head lowering (#12 regression fix — see needsHeadLowering).
+    const ir = needsHeadLowering(emitter)
         ? lowerReadGraphForTypedNative(bundle.readGraph, resolveColumnType)
         : bundleToPortableIR(bundle);
-    const module = (0, behavior_contracts_1.generateModule)(ir, runtimeImport === undefined ? { language: emitter } : { language: emitter, runtimeImport });
+    // bc 0.8.0 (scp-only-authoring, SA3/SA7): `generateModule` fail-closes on un-tokened IR
+    // (`NON_COMPILED_IR`). This `ir` is DERIVED from `compileBehaviors`' real read graph (additively
+    // lowered/annotated), so it carries no in-process provenance token. Re-adopt it at this generation
+    // boundary via `loadCompiledIR` — the sanctioned seam that recomputes the canonical fingerprint once
+    // and mints the token (the derived graph IS the compiler's output transformed, never hand-forged raw
+    // IR). This is exactly bc's "codegen fixture / derived IR" boundary case.
+    const compiled = (0, behavior_contracts_1.loadCompiledIR)(ir);
+    const module = (0, behavior_contracts_1.generateModule)(compiled, runtimeImport === undefined ? { language: emitter } : { language: emitter, runtimeImport });
     return { language: language, module, companion: companionOf(bundle), bundle };
 }
 /**

package/dist/scp/codegen.js.map

@@ -1 +1 @@
-{"version":3,"file":"codegen.js","sourceRoot":"","sources":["../../src/scp/codegen.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;;;AAkGH,gDAaC;AA6KD,oEAgEC;AAOD,0CAuBC;AAOD,8CAEC;AAwBD,0DAsBC;AAOD,kEAEC;AAxbD,2DAA0J;AAE1J,uCAA0C;AAC1C,qCAAkD;AAKlD,uCAAsF;AAEtF;;;;GAIG;AACU,QAAA,iBAAiB,GAAG,CAAC,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAU,CAAC;AAGxF;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACU,QAAA,eAAe,GAA6C;IACvE,UAAU,EAAE,kBAAkB;IAC9B,EAAE,EAAE,iBAAiB;IACrB,IAAI,EAAE,mBAAmB;CAC1B,CAAC;AAuCF;;;;;;;;GAQG;AACH,SAAgB,kBAAkB,CAAC,MAAiB;IAClD,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;IAC/D,MAAM,EAAE,GAAG,IAAA,uBAAkB,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3C,qFAAqF;IACrF,4FAA4F;IAC5F,+FAA+F;IAC/F,6FAA6F;IAC7F,qGAAqG;IACrG,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAC/C,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxF,MAAM,SAAS,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAA0B,CAAC;IACxF,OAAO,EAAE,GAAG,EAAE,EAAE,UAAU,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC;AAC5C,CAAC;AAED,mFAAmF;AACnF,SAAS,WAAW,CAAC,MAAiB;IACpC,MAAM,IAAI,GAAwB;QAChC,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,GAAG,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,GAAG,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,GAAG,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9E,CAAC;IACF,OAAO,MAAM,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;AAChG,CAAC;AAED,8FAA8F;AAC9F,wDAAwD;AACxD,EAAE;AACF,0FAA0F;AAC1F,iGAAiG;AACjG,iGAAiG;AACjG,gGAAgG;AAChG,mGAAmG;AACnG,6FAA6F;AAC7F,iGAAiG;AACjG,0FAA0F;AAC1F,EAAE;AACF,yFAAyF;AACzF,+FAA+F;AAC/F,2FAA2F;AAC3F,iGAAiG;AACjG,2FAA2F;AAC3F,8FAA8F;AAE9F;gGACgG;AAChG,MAAM,UAAU,GAAG,SAAS,CAAC;AAE7B,mGAAmG;AACnG,MAAa,wBAAyB,SAAQ,KAAK;IAEtC;IACA;IAFX,YACW,SAAiB,EACjB,OAA0B;QAEnC,KAAK,CACH,4CAA4C,SAAS,oCAAoC;YACvF,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YACzC,8FAA8F;YAC9F,6FAA6F;YAC7F,2FAA2F;YAC3F,+FAA+F,CAClG,CAAC;QAVO,cAAS,GAAT,SAAS,CAAQ;QACjB,YAAO,GAAP,OAAO,CAAmB;QAUnC,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;IACzC,CAAC;CACF;AAfD,4DAeC;AAED;;;iFAGiF;AACjF,MAAM,qBAAqB,GAAG,iEAAiE,CAAC;AAEhG;;;uDAGuD;AACvD,MAAM,iBAAiB,GAAG,sCAAsC,CAAC;AAEjE;;;;;;;;;;;GAWG;AACH,SAAS,6BAA6B,CACpC,UAAsC,EACtC,iBAAqC;IAErC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE7C,gGAAgG;IAChG,gFAAgF;IAChF,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,UAAU,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChF,MAAM,KAAK,GAAG,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;IAE9B,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,aAAa,KAAK,IAAI;YAAE,SAAS;QAC1C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;YAC9B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5C,2FAA2F;gBAC3F,0FAA0F;gBAC1F,0CAA0C;gBAC1C,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;gBAChC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxB,UAAU,CAAC,GAAG,CACZ,KAAK,EACL,eAAe,KAAK,2CAA2C,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,WAAW;wBAC7F,2FAA2F,CAC9F,CAAC;gBACJ,CAAC;gBACD,SAAS;YACX,CAAC;YACD,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,eAAe,QAAQ,oEAAoE,IAAI,EAAE,GAAG,IAAI,QAAQ,IAAI,CAAC,CAAC;gBAC/I,SAAS;YACX,CAAC;YACD,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YACtD,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;gBACf,UAAU,CAAC,GAAG,CACZ,QAAQ,EACR,eAAe,QAAQ,0BAA0B,IAAI,CAAC,GAAG,2EAA2E,CACrI,CAAC;gBACF,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACpB,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YACjD,MAAM,MAAM,GAAG,IAAA,2BAAiB,EAAC,OAAO,CAAC,CAAC;YAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACnC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;gBAC5C,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,eAAe,QAAQ,4CAA4C,KAAK,SAAS,MAAM,sBAAsB,CAAC,CAAC;gBACxI,SAAS;YACX,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAChC,CAAC;AAED,oGAAoG;AACpG,SAAS,SAAS,CAAC,KAAc;IAC/B,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1F,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAe,CAAC,CAAC;IAC1C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IACvF,MAAM,IAAI,GAAI,KAAiC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7G,OAAO,IAAgB,CAAC;AAC1B,CAAC;AAED;+FAC+F;AAC/F,SAAS,UAAU,CAAC,KAAc;IAChC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1F,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,IAAI,aAAa,IAAI,GAAG,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACzC,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAgB,4BAA4B,CAAC,SAAoB,EAAE,iBAAqC;IACtG,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC;IACxB,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,UAAU,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACzC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAoB,CAAC;QACnD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC5B,IAAI,MAAM,IAAI,CAAC;gBAAE,OAAO,CAAC,CAAC;YAC1B,MAAM,SAAS,GAAG,KAAK,IAAI,CAAC,CAAC;YAC7B,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAE,CAA4D,CAAC,GAAG,CAAC,CAAC,CAAE,CAAmD,CAAC;YACjJ,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;YACvC,IAAI,QAAQ,KAAK,SAAS,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,IAAI,QAAQ,CAAC,EAAE,CAAC;gBACxG,2FAA2F;gBAC3F,0FAA0F;gBAC1F,+CAA+C;gBAC/C,OAAO,CAAC,CAAC;YACX,CAAC;YACD,MAAM,GAAG,GAAI,QAA6C,CAAC,GAAG,CAAC;YAC/D,MAAM,KAAK,GAAG,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;YACnD,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,6BAA6B,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;YACvF,KAAK,MAAM,CAAC,EAAE,MAAM,CAAC,IAAI,UAAU;gBAAE,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,MAAM,EAAE,CAAC,CAAC;YAC/E,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACpC,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACvC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;oBAC5C,OAAO,CAAC,IAAI,CAAC,eAAe,IAAI,4CAA4C,KAAK,SAAS,MAAM,iBAAiB,CAAC,CAAC;oBACnH,SAAS;gBACX,CAAC;gBACD,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACnC,CAAC;YACD,yFAAyF;YACzF,sFAAsF;YACtF,4FAA4F;YAC5F,gDAAgD;YAChD,MAAM,QAAQ,GAA4B,EAAE,CAAC;YAC7C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACpC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC/C,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,kBAAkB,IAAI,gHAAgH,CAAC,CAAC;oBAClK,SAAS;gBACX,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,CAAC;YACD,OAAO,SAAS;gBACd,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,GAAI,CAAgC,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE;gBAC9E,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;QAChC,CAAC,CAAC,CAAC;QACH,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,wBAAwB,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5E,sFAAsF;QACtF,sFAAsF;QACtF,0FAA0F;QAC1F,2FAA2F;QAC3F,2FAA2F;QAC3F,2FAA2F;QAC3F,4FAA4F;QAC5F,+FAA+F;QAC/F,4FAA4F;QAC5F,+FAA+F;QAC/F,gGAAgG;QAChG,MAAM,UAAU,GAA+B,EAAE,CAAC;QAClD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;YAC5C,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC1C,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC3G,CAAC;QACD,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,EAA0B,CAAC;IAC5D,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,GAAG,EAAE,EAAE,UAAU,EAAE,CAAC;AAC/B,CAAC;AAED;;;;GAIG;AACH,SAAgB,eAAe,CAAC,QAAgB,EAAE,UAA6B;IAC7E,IAAI,CAAE,yBAAuC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,KAAK,CACb,kCAAkC,QAAQ,2CAA2C,yBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACrH,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,uBAAe,CAAC,QAA2B,CAAC,CAAC;IAC7D,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CACb,sDAAsD,QAAQ,mCAAmC;YAC/F,oGAAoG;YACpG,sDAAsD,MAAM,CAAC,IAAI,CAAC,uBAAe,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO;YACnG,IAAI,QAAQ,sFAAsF;YAClG,sBAAsB,CACzB,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CACb,qEAAqE,OAAO,kBAAkB,QAAQ,IAAI;YACxG,mBAAmB,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,wDAAwD,CAC/G,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,SAAgB,iBAAiB,CAAC,QAAgB,EAAE,UAA6B;IAC/E,OAAO,eAAe,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;AAC/C,CAAC;AAED;;;;iGAIiG;AACjG,SAAS,oBAAoB,CAAC,OAAe;IAC3C,OAAO,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;AAC3C,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAgB,uBAAuB,CACrC,MAAiB,EACjB,QAAgB,EAChB,mBAAsC,EACtC,iBAAqC,EACrC,aAAsB;IAEtB,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CACb,yCAAyC,MAAM,CAAC,IAAI,6CAA6C;YAC/F,8FAA8F;YAC9F,gDAAgD,CACnD,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,eAAe,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;IAC/D,gGAAgG;IAChG,gGAAgG;IAChG,MAAM,EAAE,GAAG,oBAAoB,CAAC,OAAO,CAAC;QACtC,CAAC,CAAC,4BAA4B,CAAC,MAAM,CAAC,SAAS,EAAE,iBAAiB,CAAC;QACnE,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC/B,MAAM,MAAM,GAAG,IAAA,mCAAc,EAAC,EAAE,EAAE,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC;IAC9H,OAAO,EAAE,QAAQ,EAAE,QAA2B,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;AACnG,CAAC;AAED;;;;GAIG;AACH,SAAgB,2BAA2B,CAAC,QAAyB,EAAE,KAAY,EAAE,EAAY;IAC/F,OAAO,IAAA,uBAAa,EAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;AACvD,CAAC"}
+{"version":3,"file":"codegen.js","sourceRoot":"","sources":["../../src/scp/codegen.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;;;AAyGH,gDAOC;AA8SD,oEAyFC;AAOD,0CAuBC;AAOD,8CAEC;AAwCD,0DA+BC;AAOD,kEAEC;AA5mBD,2DAAmI;AAOnI,uCAA0C;AAK1C,uCAAsF;AAEtF;;;;GAIG;AACU,QAAA,iBAAiB,GAAG,CAAC,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAU,CAAC;AAGxF;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACU,QAAA,eAAe,GAA6C;IACvE,UAAU,EAAE,kBAAkB;IAC9B,EAAE,EAAE,iBAAiB;IACrB,IAAI,EAAE,mBAAmB;CAC1B,CAAC;AAuCF;;;;;;;;;;;GAWG;AACH,SAAgB,kBAAkB,CAAC,MAAiB;IAClD,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;IAC/D,MAAM,IAAI,KAAK,CACb,gCAAgC,MAAM,CAAC,IAAI,uDAAuD;QAChG,kGAAkG;QAClG,qGAAqG,CACxG,CAAC;AACJ,CAAC;AAED,mFAAmF;AACnF,SAAS,WAAW,CAAC,MAAiB;IACpC,MAAM,IAAI,GAAwB;QAChC,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,GAAG,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,GAAG,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,GAAG,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9E,CAAC;IACF,OAAO,MAAM,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;AAChG,CAAC;AAED,8FAA8F;AAC9F,6FAA6F;AAC7F,EAAE;AACF,0FAA0F;AAC1F,gGAAgG;AAChG,6FAA6F;AAC7F,iGAAiG;AACjG,8FAA8F;AAC9F,8FAA8F;AAC9F,mGAAmG;AACnG,EAAE;AACF,yFAAyF;AACzF,gGAAgG;AAChG,iGAAiG;AACjG,oGAAoG;AACpG,iEAAiE;AACjE,8FAA8F;AAE9F,mGAAmG;AACnG,MAAa,wBAAyB,SAAQ,KAAK;IAEtC;IACA;IAFX,YACW,SAAiB,EACjB,OAA0B;QAEnC,KAAK,CACH,4CAA4C,SAAS,oCAAoC;YACvF,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YACzC,8FAA8F;YAC9F,6FAA6F;YAC7F,2FAA2F;YAC3F,+FAA+F,CAClG,CAAC;QAVO,cAAS,GAAT,SAAS,CAAQ;QACjB,YAAO,GAAP,OAAO,CAAmB;QAUnC,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;IACzC,CAAC;CACF;AAfD,4DAeC;AAED;;;iFAGiF;AACjF,MAAM,qBAAqB,GAAG,iEAAiE,CAAC;AAEhG;;;uDAGuD;AACvD,MAAM,iBAAiB,GAAG,sCAAsC,CAAC;AAEjE;;;;sCAIsC;AACtC,MAAM,cAAc,GAAG,uDAAuD,CAAC;AAE/E;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,SAAS,6BAA6B,CACpC,UAAsC,EACtC,iBAAqC,EACrC,UAAmB;IAEnB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC/C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE7C,gGAAgG;IAChG,gFAAgF;IAChF,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,UAAU,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChF,MAAM,KAAK,GAAG,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;IAE9B,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,mGAAmG;QACnG,iGAAiG;QACjG,iGAAiG;QACjG,4FAA4F;QAC5F,iGAAiG;QACjG,kGAAkG;QAClG,sGAAsG;QACtG,IAAI,IAAI,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;YAChC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChC,MAAM,EAAE,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;gBAClC,IAAI,EAAE,KAAK,SAAS;oBAAE,SAAS;gBAC/B,IAAI,UAAU,KAAK,SAAS,IAAI,EAAE,KAAK,UAAU;oBAAE,SAAS;gBAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC7B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;oBAC3C,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,eAAe,EAAE,4CAA4C,KAAK,mDAAmD,CAAC,CAAC;oBAC1I,SAAS;gBACX,CAAC;gBACD,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YACxB,CAAC;YACD,SAAS;QACX,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;YAC9B,gGAAgG;YAChG,8FAA8F;YAC9F,sFAAsF;YACtF,IAAI,IAAI,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,UAAU;gBAAE,SAAS;YACvF,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5C,yFAAyF;gBACzF,4FAA4F;gBAC5F,2FAA2F;gBAC3F,qFAAqF;gBACrF,yFAAyF;gBACzF,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;gBACvC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;oBAC1B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;wBACxB,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,eAAe,OAAO,oEAAoE,IAAI,EAAE,GAAG,IAAI,QAAQ,IAAI,CAAC,CAAC;wBAC7I,SAAS;oBACX,CAAC;oBACD,MAAM,EAAE,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;oBAChD,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;wBAChB,UAAU,CAAC,GAAG,CACZ,OAAO,EACP,eAAe,OAAO,kCAAkC,IAAI,CAAC,GAAG,4FAA4F,CAC7J,CAAC;wBACF,SAAS;oBACX,CAAC;oBACD,MAAM,QAAQ,GAAG,IAAA,2BAAiB,EAAC,iBAAiB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBACpE,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;oBAC1C,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;wBACtD,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,eAAe,OAAO,0DAA0D,SAAS,SAAS,QAAQ,sBAAsB,CAAC,CAAC;wBAC1J,SAAS;oBACX,CAAC;oBACD,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;oBAClC,SAAS;gBACX,CAAC;gBACD,4FAA4F;gBAC5F,mFAAmF;gBACnF,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;gBAChC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxB,UAAU,CAAC,GAAG,CACZ,KAAK,EACL,eAAe,KAAK,2CAA2C,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,WAAW;wBAC7F,2FAA2F,CAC9F,CAAC;gBACJ,CAAC;gBACD,SAAS;YACX,CAAC;YACD,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,eAAe,QAAQ,oEAAoE,IAAI,EAAE,GAAG,IAAI,QAAQ,IAAI,CAAC,CAAC;gBAC/I,SAAS;YACX,CAAC;YACD,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YACtD,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;gBACf,UAAU,CAAC,GAAG,CACZ,QAAQ,EACR,eAAe,QAAQ,0BAA0B,IAAI,CAAC,GAAG,2EAA2E,CACrI,CAAC;gBACF,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACpB,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YACjD,MAAM,MAAM,GAAG,IAAA,2BAAiB,EAAC,OAAO,CAAC,CAAC;YAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACnC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;gBAC5C,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,eAAe,QAAQ,4CAA4C,KAAK,SAAS,MAAM,sBAAsB,CAAC,CAAC;gBACxI,SAAS;YACX,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,iGAAiG;IACjG,8FAA8F;IAC9F,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC;QACrC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,eAAe,IAAI,gFAAgF,CAAC,CAAC;QAC5H,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC;AAC5C,CAAC;AAED,oGAAoG;AACpG,SAAS,SAAS,CAAC,KAAc;IAC/B,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1F,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAe,CAAC,CAAC;IAC1C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IACvF,MAAM,IAAI,GAAI,KAAiC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7G,OAAO,IAAgB,CAAC;AAC1B,CAAC;AAED;+FAC+F;AAC/F,SAAS,UAAU,CAAC,KAAc;IAChC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1F,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,IAAI,aAAa,IAAI,GAAG,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACzC,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;+DAI+D;AAC/D,SAAS,gBAAgB,CAAC,UAAsC,EAAE,UAAkB;IAClF,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;YAC9B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,UAAU;gBAAE,SAAS;YAChF,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACtB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrB,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAChB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;uCAIuC;AACvC,SAAS,eAAe,CAAC,KAAc;IACrC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1F,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC;IAC1B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAChE,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,IAAI,CAAC;IAC7B,+EAA+E;IAC/E,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1E,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QAAE,OAAO,SAAS,CAAC;IAChG,MAAM,EAAE,GAAG,OAAkC,CAAC;IAC9C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IACvF,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC/F,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;AACjB,CAAC;AAED;;;iFAGiF;AACjF,SAAS,eAAe,CAAC,KAAc;IACrC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1F,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,IAAI,CAAC,CAAC,aAAa,IAAI,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACzC,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1E,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAgB,4BAA4B,CAAC,SAAoB,EAAE,iBAAqC;IACtG,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC;IACxB,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,UAAU,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACzC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAoB,CAAC;QACnD,6FAA6F;QAC7F,sFAAsF;QACtF,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAoB,CAAC;QACvD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC5B,IAAI,MAAM,IAAI,CAAC;gBAAE,OAAO,CAAC,CAAC;YAC1B,MAAM,SAAS,GAAG,KAAK,IAAI,CAAC,CAAC;YAC7B,MAAM,KAAK,GAAG,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;YACnD,4FAA4F;YAC5F,gGAAgG;YAChG,+FAA+F;YAC/F,oDAAoD;YACpD,MAAM,UAAU,GAAG,SAAS;gBAC1B,CAAC,CAAC,CAAE,CAAyC,CAAC,GAAG,CAAC,EAAE,IAAI,SAAS,CAAC;gBAClE,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,6BAA6B,CAAC,KAAK,EAAE,iBAAiB,EAAE,UAAU,CAAC,CAAC;YAC/G,KAAK,MAAM,CAAC,EAAE,MAAM,CAAC,IAAI,UAAU;gBAAE,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,MAAM,EAAE,CAAC,CAAC;YAC/E,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACpC,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACvC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;oBAC5C,OAAO,CAAC,IAAI,CAAC,eAAe,IAAI,4CAA4C,KAAK,SAAS,MAAM,iBAAiB,CAAC,CAAC;oBACnH,SAAS;gBACX,CAAC;gBACD,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACnC,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,UAAU,EAAE,CAAC;gBACtC,MAAM,KAAK,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC3C,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;oBAC1C,OAAO,CAAC,IAAI,CAAC,eAAe,IAAI,0DAA0D,KAAK,SAAS,IAAI,iBAAiB,CAAC,CAAC;oBAC/H,SAAS;gBACX,CAAC;gBACD,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACrC,CAAC;YACD,+FAA+F;YAC/F,6FAA6F;YAC7F,gGAAgG;YAChG,2FAA2F;YAC3F,yFAAyF;YACzF,2FAA2F;YAC3F,MAAM,QAAQ,GAA4B,EAAE,CAAC;YAC7C,8FAA8F;YAC9F,6FAA6F;YAC7F,gGAAgG;YAChG,+FAA+F;YAC/F,mDAAmD;YACnD,IAAI,SAAS,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;gBAC1C,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;gBACnD,KAAK,MAAM,KAAK,IAAI,MAAM;oBAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC;YAC7E,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBAC5D,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,CAAC;YACD,OAAO,SAAS;gBACd,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,GAAI,CAAgC,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE;gBAC9E,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;QAChC,CAAC,CAAC,CAAC;QACH,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,wBAAwB,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5E,sFAAsF;QACtF,sFAAsF;QACtF,0FAA0F;QAC1F,2FAA2F;QAC3F,2FAA2F;QAC3F,2FAA2F;QAC3F,4FAA4F;QAC5F,+FAA+F;QAC/F,4FAA4F;QAC5F,+FAA+F;QAC/F,gGAAgG;QAChG,MAAM,UAAU,GAA+B,EAAE,CAAC;QAClD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;YAC5C,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC1C,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC3G,CAAC;QACD,iGAAiG;QACjG,gGAAgG;QAChG,+FAA+F;QAC/F,8FAA8F;QAC9F,8DAA8D;QAC9D,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,kBAAkB,EAAE,CAAC;YAC9C,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC1C,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QAC1F,CAAC;QACD,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,EAA0B,CAAC;IAC5D,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,GAAG,EAAE,EAAE,UAAU,EAAE,CAAC;AAC/B,CAAC;AAED;;;;GAIG;AACH,SAAgB,eAAe,CAAC,QAAgB,EAAE,UAA6B;IAC7E,IAAI,CAAE,yBAAuC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,KAAK,CACb,kCAAkC,QAAQ,2CAA2C,yBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACrH,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,uBAAe,CAAC,QAA2B,CAAC,CAAC;IAC7D,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CACb,sDAAsD,QAAQ,mCAAmC;YAC/F,oGAAoG;YACpG,sDAAsD,MAAM,CAAC,IAAI,CAAC,uBAAe,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO;YACnG,IAAI,QAAQ,sFAAsF;YAClG,sBAAsB,CACzB,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CACb,qEAAqE,OAAO,kBAAkB,QAAQ,IAAI;YACxG,mBAAmB,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,wDAAwD,CAC/G,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,SAAgB,iBAAiB,CAAC,QAAgB,EAAE,UAA6B;IAC/E,OAAO,eAAe,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;AAC/C,CAAC;AAED;;;;;;;;;;;;;;;;;;;yCAmByC;AACzC,SAAS,iBAAiB,CAAC,QAAgB;IACzC,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAgB,uBAAuB,CACrC,MAAiB,EACjB,QAAgB,EAChB,mBAAsC,EACtC,iBAAqC,EACrC,aAAsB;IAEtB,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CACb,yCAAyC,MAAM,CAAC,IAAI,6CAA6C;YAC/F,8FAA8F;YAC9F,gDAAgD,CACnD,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,eAAe,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;IAC/D,gGAAgG;IAChG,gGAAgG;IAChG,2FAA2F;IAC3F,4EAA4E;IAC5E,MAAM,EAAE,GAAG,iBAAiB,CAAC,OAAO,CAAC;QACnC,CAAC,CAAC,4BAA4B,CAAC,MAAM,CAAC,SAAS,EAAE,iBAAiB,CAAC;QACnE,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC/B,wFAAwF;IACxF,iGAAiG;IACjG,mGAAmG;IACnG,qGAAqG;IACrG,qGAAqG;IACrG,0EAA0E;IAC1E,MAAM,QAAQ,GAAG,IAAA,mCAAc,EAAC,EAAE,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,IAAA,mCAAc,EAAC,QAAQ,EAAE,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC;IACpI,OAAO,EAAE,QAAQ,EAAE,QAA2B,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;AACnG,CAAC;AAED;;;;GAIG;AACH,SAAgB,2BAA2B,CAAC,QAAyB,EAAE,KAAY,EAAE,EAAY;IAC/F,OAAO,IAAA,uBAAa,EAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;AACvD,CAAC"}