litedbmodel 2.1.0 → 2.2.0

package/dist/scp/codegen.js

@@ -1,605 +0,0 @@
-"use strict";
-/**
- * litedbmodel v2 SCP — mode-3 codegen (WS7f, #35; spec §9 exec-mode 3 / §10 / §11; makeSQL flip,
- * epic #43/#45 Phase B; #60 milestone 1 — typed-NATIVE READ codegen, bc#77/#90).
- *
- * The static-codegen execution mode ("Codegen・静的（全言語）— IR → 各言語ソース生成 runtime≈0,
- * 入力は可搬IRのみ, bc#13 共有 generator に SQL catalog を供給" — spec §9). It takes a §8 STATIC
- * makeSQL {@link SqlBundle} and, per target language, emits:
- *
- *  1. **Behavior module** — bc's SHARED generator run over the bundle's portable IR through bc's
- *     de-interpreted, RUNTIME-FREE emitter. For a READ bundle covered by bc's typed-NATIVE
- *     endpoint (`rust-typed-native` / `go-typed-native`, bc#77/#90 — the 1.0 read de-box: fully
- *     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
- *     (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
- *     templates / relations / transaction). A codegen consumer's thin SQL layer reads it to
- *     evaluate skip + value-specs → assemble → render → execute (identically to the mode-2 runtime).
- *
- * ## #60 milestone 1 scope (CODEGEN-PATH ONLY)
- *
- * 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 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
- *
- * The generated module is observationally equivalent to `runBehavior` (same values, same emitted
- * op sequence, same Failure code/message), and the companion IS the bundle, so a codegen runtime
- * that drives it follows the IDENTICAL static-makeSQL render/execute path {@link executeBundle}
- * uses — SQL text (all dialects) and results are identical, not approximately equal. The TS leg
- * PROVES this by executing via the artifact and asserting exact equality vs {@link executeBundle}
- * (see {@link codegenExecuteBundleForTest}).
- *
- * ## 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 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;
-exports.bundleToPortableIR = bundleToPortableIR;
-exports.lowerReadGraphForTypedNative = lowerReadGraphForTypedNative;
-exports.typedEmitterFor = typedEmitterFor;
-exports.codegenEmitterFor = codegenEmitterFor;
-exports.generateCodegenArtifact = generateCodegenArtifact;
-exports.codegenExecuteBundleForTest = codegenExecuteBundleForTest;
-const behavior_contracts_1 = require("behavior-contracts");
-const runtime_1 = require("./runtime");
-const coltype_1 = require("./coltype");
-/**
- * The languages litedbmodel mode-3 codegen supports — exactly the set bc's shared generator
- * registers (bc#13 SP1 typescript/python + SP2 go/rust/php). {@link codegenEmitterFor}
- * verifies against the LIVE registry so a bc capability drift is caught loudly.
- */
-exports.CODEGEN_LANGUAGES = ['typescript', 'python', 'go', 'rust', 'php'];
-/**
- * The bc READ emitter litedbmodel drives for each codegen target (#60 milestone 1): the
- * **de-interpreted, RUNTIME-FREE typed-NATIVE** endpoint (bc#77/#90) for go/rust — ZERO boxed
- * `Value`/`RawValue`, ZERO IR baked into the module, concrete `HandlerNR`/`InNR`/`PortsNR`/
- * `RawRowNR` structs. There is **NO literal / straight-line / boxed-typed fallback** for a read: an
- * unspec'd fallback is INVALID (it silently swallows the "this shape can't be natively codegen'd"
- * signal) — a read shape typed-native does not cover MUST fail loudly at generation, naming the gap
- * (report it as a bc#86 coverage gap), never silently regenerate on `-typed`/`-typed-raw`.
- *
- * `-typed-raw` (bc#76, the boxed-wire intermediate) and `-typed` (the boxed-Value intermediate) are
- * RETIRED from litedbmodel's codegen surface entirely (#60 milestone 1) — typed-native supersedes
- * both for every read shape it covers (bc#77/#90: single-componentRef reads AND the `map`
- * relationKind:single|connection shape, bc#86 part 2).
- *
- * - ts: **no typed-native endpoint registered yet** (bc has not shipped `typescript-typed-native`).
- *   TS stays on its existing `typescript-typed` (boxed) endpoint until bc adds one — a DECLARED,
- *   reported gap (not silently mirrored to go/rust's retirement), tracked as a bc#77 TS follow-up.
- * - **python/php: NOT present.** bc registers no de-boxed typed endpoint for them (capability limit).
- *   litedbmodel does NOT substitute the literal (≈ir) emitter — that would be an unspec'd fallback.
- *   Codegen for py/php is a bc capability gap that ERRORS (ESCALATE to bc), never a silent literal.
- *
- * WRITES (batchInsert / gate-first tx) are NOT reads — they are NOT routed through this table at
- * all (#60 milestone 1): a write bundle stays on the existing write/tx execution path
- * (`executeTransactionBundle` / the native adapter's hand-written tx mirror), never a codegen
- * module, boxed or typed-raw. {@link generateCodegenArtifact} throws if asked to codegen a write.
- */
-exports.CODEGEN_EMITTER = {
-    typescript: 'typescript-typed',
-    go: 'go-typed-native',
-    rust: 'rust-typed-native',
-};
-/**
- * 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;
-    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) {
-    const base = {
-        dialect: bundle.dialect,
-        optionalHeads: bundle.optionalHeads,
-        relations: bundle.relations,
-        ...(bundle.readGraph !== undefined ? { readGraph: bundle.readGraph } : {}),
-        ...(bundle.statement !== undefined ? { statement: bundle.statement } : {}),
-        ...(bundle.outputType !== undefined ? { outputType: bundle.outputType } : {}),
-    };
-    return bundle.transaction === undefined ? base : { ...base, transaction: bundle.transaction };
-}
-// ═══════════════════════════════════════════════════════════════════════════════════════════
-// #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 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` 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`.
-// ═══════════════════════════════════════════════════════════════════════════════════════════
-/** A head could not be typed for typed-native codegen — the read is NOT typed-native-coverable. */
-class TypedNativeCoverageError extends Error {
-    component;
-    reasons;
-    constructor(component, reasons) {
-        super(`litedbmodel codegen (#60 m1): component '${component}' is not typed-native-coverable:\n` +
-            reasons.map((r) => `  - ${r}`).join('\n') +
-            `\n\nbc's typed-native endpoint (bc#77/#90) fails closed on an uncovered shape — this is NOT ` +
-            `regenerated on the boxed '-typed'/'-typed-raw' emitter (retired from litedbmodel's codegen ` +
-            `surface, #60 milestone 1). Report this as a bc#86 coverage gap (array-typed / non-scalar ` +
-            `input heads have no native port type yet), or exclude this case from native-codegen benching.`);
-        this.component = component;
-        this.reasons = reasons;
-        this.name = 'TypedNativeCoverageError';
-    }
-}
-exports.TypedNativeCoverageError = TypedNativeCoverageError;
-/** Extract the `{table, column}` a where-fragment statement's leading SQL token names, for the
- * closed set of fragment shapes `compileSelectNode`/`lowerWhereMember` emit: `<col> <op> ?`
- * (eq/cmp/LIKE/ILIKE). Returns undefined for any other shape (head-count / SQL text mismatch) —
- * the caller treats that head as NOT resolvable (fail-closed), never guesses. */
-const WHERE_FRAGMENT_COLUMN = /^([A-Za-z_][A-Za-z0-9_]*)\s+(?:=|<>|<=|>=|<|>|LIKE|ILIKE)\s*\?$/;
-/** Extract the table name from the head `SELECT … FROM <table>` statement (dialect-tuned, but the
- * `FROM <table>` token is stable across dialects/CTEs — `compileSelectNode`'s head always ends
- * ` 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
- * statement templates (available on `ReadGraph.statementsById`, which codegen already carries)
- * 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 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, 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.
-    const head = statements[0];
-    const tableMatch = head === undefined ? null : SELECT_FROM_TABLE.exec(head.sql);
-    const table = tableMatch?.[1];
-    for (const stmt of statements) {
-        // 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) {
-                // 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 ` +
-                        `typed-native emitter has no native port type for it (string/int/float/bool scalars only).`);
-                }
-                continue;
-            }
-            const headName = path[0];
-            if (table === undefined) {
-                unresolved.set(headName, `input head '${headName}': could not resolve the owning table from the SELECT head SQL ('${head?.sql ?? '<none>'}')`);
-                continue;
-            }
-            const m = WHERE_FRAGMENT_COLUMN.exec(stmt.sql.trim());
-            if (m === null) {
-                unresolved.set(headName, `input head '${headName}': WHERE fragment SQL '${stmt.sql}' is not the closed '<col> <op> ?' shape this codegen-only deriver covers`);
-                continue;
-            }
-            const column = m[1];
-            const sqlType = resolveColumnType(table, column);
-            const scalar = (0, coltype_1.sqlTypeToBcScalar)(sqlType);
-            const prior = byHead.get(headName);
-            if (prior !== undefined && prior !== scalar) {
-                unresolved.set(headName, `input head '${headName}' resolves to conflicting scalar types ('${prior}' vs '${scalar}') across statements`);
-                continue;
-            }
-            byHead.set(headName, scalar);
-        }
-    }
-    // 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) {
-    if (param === null || typeof param !== 'object' || Array.isArray(param))
-        return undefined;
-    const keys = Object.keys(param);
-    if (keys.length !== 1 || (keys[0] !== 'ref' && keys[0] !== 'refOpt'))
-        return undefined;
-    const path = param[keys[0]];
-    if (!Array.isArray(path) || path.length === 0 || !path.every((s) => typeof s === 'string'))
-        return undefined;
-    return path;
-}
-/** The head name a non-bare-ref param shape still names (e.g. `{__jsonArray:{ref:[head]},…}`), for
- * a clearer diagnostic — undefined when no head can be identified at all (a plain literal). */
-function headNameOf(param) {
-    if (param === null || typeof param !== 'object' || Array.isArray(param))
-        return undefined;
-    const obj = param;
-    if ('__jsonArray' in obj) {
-        const inner = refPathOf(obj.__jsonArray);
-        return inner?.[0];
-    }
-    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 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
- * its own detailed diagnostic, which this function does not need to duplicate).
- */
-function lowerReadGraphForTypedNative(readGraph, resolveColumnType) {
-    const ir = readGraph.ir;
-    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 stmts = readGraph.statementsById[n.id] ?? [];
-            // 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) {
-                const prior = inputPortTypes.get(head);
-                if (prior !== undefined && prior !== scalar) {
-                    reasons.push(`input head '${head}' resolves to conflicting scalar types ('${prior}' vs '${scalar}') across nodes`);
-                    continue;
-                }
-                inputPortTypes.set(head, scalar);
-            }
-            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
-                ? { ...n, map: { ...n.map, ports: newPorts } }
-                : { ...n, ports: newPorts };
-        });
-        if (reasons.length > 0)
-            throw new TypedNativeCoverageError(c.name, reasons);
-        // Only emit an `inputPorts` entry for a head the COVERED plane actually references (a
-        // native-scalar port on some node's lowered ports). bc's authoring layer registers an
-        // `inputPorts` entry for every `$.head` the authored method SOURCE accesses — including a
-        // head used ONLY as a WHERE-fragment's LHS COLUMN-name marker (e.g. `whereGe($.created_at,
-        // $.since)` accesses `$.created_at` to name the column, never as a bound RHS value), which
-        // never appears in the surrogate `__scope` obj at all. Keeping such a stray entry with its
-        // original `unknown` schema type would emit an unresolvable `InNR<Comp>.field: Value` (bc's
-        // typed-native `InNR` struct declares a field for EVERY declared inputPort) — a compile error,
-        // since the covered module imports no `Value` type. Dropping it is sound: the covered plane
-        // never reads it (no lowered port references it), so omitting the `InNR` field changes nothing
-        // observable — every REAL WHERE-bound head is still typed + present (typed above, in `byHead`).
-        const inputPorts = {};
-        for (const [name, scalar] of inputPortTypes) {
-            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 };
-}
-/**
- * Resolve the READ codegen emitter for a target language, or throw. No fallback: a language
- * without a registered endpoint is a bc capability gap that fails LOUDLY (never a silent
- * substitution of the literal/interpreter/boxed emitter — an unspec'd fallback is invalid).
- */
-function typedEmitterFor(language, registered) {
-    if (!exports.CODEGEN_LANGUAGES.includes(language)) {
-        throw new Error(`litedbmodel codegen: language '${language}' is not a supported target (supported: ${exports.CODEGEN_LANGUAGES.join(', ')})`);
-    }
-    const emitter = exports.CODEGEN_EMITTER[language];
-    if (emitter === undefined) {
-        throw new Error(`litedbmodel codegen: no READ codegen endpoint for '${language}'. litedbmodel codegen is STATIC ` +
-            `de-interpreted codegen (spec §9) with NO literal/interpreter/boxed fallback (an unspec'd fallback ` +
-            `is invalid). bc registers a READ endpoint only for ${Object.keys(exports.CODEGEN_EMITTER).join('/')} — a ` +
-            `'${language}' endpoint is a bc capability gap. ESCALATE to bc (bc#22 pattern); never substitute ` +
-            `the literal emitter.`);
-    }
-    if (!registered.includes(emitter)) {
-        throw new Error(`litedbmodel codegen: bc's shared generator does not register the '${emitter}' emitter for '${language}' ` +
-            `(bc registered: ${[...registered].sort().join(', ')}). ESCALATE to bc (bc#22 pattern), never fork locally.`);
-    }
-    return emitter;
-}
-/**
- * Shape-INDEPENDENT emitter resolution — identical to {@link typedEmitterFor} now that there is
- * exactly one READ endpoint per language (kept as a distinct export for callers that historically
- * used the shape-independent form; both resolve the SAME table).
- */
-function codegenEmitterFor(language, registered) {
-    return typedEmitterFor(language, registered);
-}
-/**
- * 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. 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.
- */
-function generateCodegenArtifact(bundle, language, registeredLanguages, resolveColumnType, runtimeImport) {
-    if (bundle.readGraph === undefined) {
-        throw new Error(`litedbmodel codegen (#60 m1): bundle '${bundle.name}' has no readGraph — WRITE bundles are not ` +
-            `codegen-module cases (they stay on the existing write/tx execution path). Only READ bundles ` +
-            `are generated through generateCodegenArtifact.`);
-    }
-    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).
-    // 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);
-    // 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 };
-}
-/**
- * The TS codegen EXECUTION path used to PROVE behavior-identity: a codegen runtime reads the SQL
- * catalog companion (the STATIC makeSQL bundle) and evaluates skip + value-specs → assemble →
- * render → execute — which is EXACTLY {@link executeBundle} over the SAME bundle.
- */
-function codegenExecuteBundleForTest(artifact, input, db) {
-    return (0, runtime_1.executeBundle)(artifact.bundle, input, { db });
-}
-//# sourceMappingURL=codegen.js.map

package/dist/scp/codegen.js.map

@@ -1 +0,0 @@
-{"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"}