litedbmodel 2.0.2 → 2.2.0

package/dist/scp/codegen.js

@@ -1,421 +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
- *     (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
- *     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 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.
- *
- * ## 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 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.
- */
-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 ir_1 = require("./makesql/ir");
-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 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).
- */
-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] };
-}
-/** 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.
-//
-// 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`.
-//
-// 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`.
-// ═══════════════════════════════════════════════════════════════════════════════════════════
-/** 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;
-    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;
-/**
- * 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 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).
- */
-function deriveHeadTypesFromStatements(statements, resolveColumnType) {
-    const byHead = 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) {
-        if (stmt.whereFragment !== true)
-            continue;
-        for (const param of stmt.params) {
-            const path = refPathOf(param);
-            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).
-                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);
-        }
-    }
-    return { byHead, 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;
-}
-/**
- * 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`.
- *
- * 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();
-        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);
-            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);
-            }
-            // 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`);
-                    continue;
-                }
-                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 };
-        }
-        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);
-}
-/** 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');
-}
-/**
- * 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.
- *
- * 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).
-    const ir = isTypedNativeEmitter(emitter)
-        ? lowerReadGraphForTypedNative(bundle.readGraph, resolveColumnType)
-        : bundleToPortableIR(bundle);
-    const module = (0, behavior_contracts_1.generateModule)(ir, 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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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"}

package/dist/scp/find-filter-guard.d.ts

@@ -1,68 +0,0 @@
-/**
- * litedbmodel v2 SCP — FIND_FILTER fail-closed authoring guard (#47 Finding B / plan R8).
- *
- * `FIND_FILTER` is a v1 PER-MODEL implicit predicate (a soft-delete / tenant scope) that
- * v1 MERGES into the WHERE of every internal `find()`/`count()` before compiling
- * (`DBModel._buildSelectSQL` / `_count`: `normalizedCond.add(condsToRecord(FIND_FILTER))`).
- * It is not a distinct SQL construct — it manifests purely as extra WHERE fragments.
- *
- * The SCP compile path (`L.Select({ where })` → `compileReadGraph` → `renderReadPrimary`)
- * is AUTHORED from an explicit `where`; it has NO `DBModel` class context, so it CANNOT
- * auto-apply a model's `FIND_FILTER` (there is no model reference at compile time, and no
- * production seam routes a `DBModel` into the SCP compile — grep: `FIND_FILTER` appears only
- * in `DBModel`/`decorators`/`types`, never under `src/scp/`). Auto-apply is therefore
- * impossible without model context the SCP compile does not have.
- *
- * Resolution = the plan's variant chosen fail-closed: a model that DECLARES a `FIND_FILTER`
- * MUST have its scope predicates folded into the authored `L.Select({ where })`; if the
- * author routes such a model through SCP WITHOUT the scope keys, this guard throws loudly
- * ({@link FindFilterLeakError}) rather than silently dropping the filter (which would leak
- * soft-deleted / cross-tenant rows — a correctness bug, not a cosmetic one). When the scope
- * keys ARE present the guard is a no-op (byte-identical to v1's merged WHERE — proven in
- * `test/scp/find-filter-noop.test.ts`).
- */
-import { type Conds } from '../Column';
-/** A `DBModel`-shaped source: the only field this guard reads is the optional `FIND_FILTER`. */
-export interface FindFilterSource {
-    /** The per-model implicit scope predicate (v1 `DBModel.FIND_FILTER`), or null/undefined. */
-    readonly FIND_FILTER?: Conds | null;
-    /** Class name for diagnostics (present on every `DBModel` subclass). */
-    readonly name?: string;
-}
-/**
- * A model declaring a `FIND_FILTER` was compiled via the SCP path without its scope
- * predicates present in the authored WHERE — the filter would silently leak. Thrown
- * fail-closed at compile time; never swallowed.
- */
-export declare class FindFilterLeakError extends Error {
-    /** The declaring model's class name (diagnostics). */
-    readonly modelName: string;
-    /** The FIND_FILTER scope keys that are MISSING from the authored WHERE. */
-    readonly missingKeys: readonly string[];
-    constructor(
-    /** The declaring model's class name (diagnostics). */
-    modelName: string, 
-    /** The FIND_FILTER scope keys that are MISSING from the authored WHERE. */
-    missingKeys: readonly string[]);
-}
-/**
- * Extract the top-level predicate KEYS a `FIND_FILTER` folds into a WHERE. Uses the SAME
- * `condsToRecord` v1 runs when merging (`DBModel._buildSelectSQL`:597) so the key set is
- * exactly what v1 would add to `normalizedCond`. `__or__` (grouped OR) is kept as a key so a
- * scoped OR-group also demands explicit authoring (fail-closed; never silently satisfied).
- */
-export declare function findFilterKeys(filter: Conds | null | undefined): string[];
-/**
- * Fail-closed guard: assert a model's `FIND_FILTER` scope keys are all present in the
- * authored WHERE key set BEFORE an SCP compile of that model. No FIND_FILTER → no-op. When
- * present, EVERY scope key must appear in `authoredWhereKeys`; any missing key throws
- * {@link FindFilterLeakError}. The caller passes the top-level keys of the object it hands to
- * `L.Select({ where })` (the same shape `condsToRecord` yields), so the check compares
- * like-for-like against v1's merged predicate.
- *
- * @param model  a `DBModel`-shaped source that MAY declare `FIND_FILTER`.
- * @param authoredWhereKeys  the top-level WHERE keys the SCP author expressed for this model.
- * @throws FindFilterLeakError when a declared scope key is absent from the authored WHERE.
- */
-export declare function assertFindFilterFolded(model: FindFilterSource, authoredWhereKeys: Iterable<string>): void;
-//# sourceMappingURL=find-filter-guard.d.ts.map

package/dist/scp/find-filter-guard.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"find-filter-guard.d.ts","sourceRoot":"","sources":["../../src/scp/find-filter-guard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAiB,KAAK,KAAK,EAAE,MAAM,WAAW,CAAC;AAEtD,gGAAgG;AAChG,MAAM,WAAW,gBAAgB;IAC/B,4FAA4F;IAC5F,QAAQ,CAAC,WAAW,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC;IACpC,wEAAwE;IACxE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;;;GAIG;AACH,qBAAa,mBAAoB,SAAQ,KAAK;IAE1C,sDAAsD;IACtD,QAAQ,CAAC,SAAS,EAAE,MAAM;IAC1B,2EAA2E;IAC3E,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE;;IAHvC,sDAAsD;IAC7C,SAAS,EAAE,MAAM;IAC1B,2EAA2E;IAClE,WAAW,EAAE,SAAS,MAAM,EAAE;CAY1C;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,KAAK,GAAG,IAAI,GAAG,SAAS,GAAG,MAAM,EAAE,CAGzE;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,gBAAgB,EACvB,iBAAiB,EAAE,QAAQ,CAAC,MAAM,CAAC,GAClC,IAAI,CAQN"}

package/dist/scp/find-filter-guard.js

@@ -1,88 +0,0 @@
-"use strict";
-/**
- * litedbmodel v2 SCP — FIND_FILTER fail-closed authoring guard (#47 Finding B / plan R8).
- *
- * `FIND_FILTER` is a v1 PER-MODEL implicit predicate (a soft-delete / tenant scope) that
- * v1 MERGES into the WHERE of every internal `find()`/`count()` before compiling
- * (`DBModel._buildSelectSQL` / `_count`: `normalizedCond.add(condsToRecord(FIND_FILTER))`).
- * It is not a distinct SQL construct — it manifests purely as extra WHERE fragments.
- *
- * The SCP compile path (`L.Select({ where })` → `compileReadGraph` → `renderReadPrimary`)
- * is AUTHORED from an explicit `where`; it has NO `DBModel` class context, so it CANNOT
- * auto-apply a model's `FIND_FILTER` (there is no model reference at compile time, and no
- * production seam routes a `DBModel` into the SCP compile — grep: `FIND_FILTER` appears only
- * in `DBModel`/`decorators`/`types`, never under `src/scp/`). Auto-apply is therefore
- * impossible without model context the SCP compile does not have.
- *
- * Resolution = the plan's variant chosen fail-closed: a model that DECLARES a `FIND_FILTER`
- * MUST have its scope predicates folded into the authored `L.Select({ where })`; if the
- * author routes such a model through SCP WITHOUT the scope keys, this guard throws loudly
- * ({@link FindFilterLeakError}) rather than silently dropping the filter (which would leak
- * soft-deleted / cross-tenant rows — a correctness bug, not a cosmetic one). When the scope
- * keys ARE present the guard is a no-op (byte-identical to v1's merged WHERE — proven in
- * `test/scp/find-filter-noop.test.ts`).
- */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.FindFilterLeakError = void 0;
-exports.findFilterKeys = findFilterKeys;
-exports.assertFindFilterFolded = assertFindFilterFolded;
-const Column_1 = require("../Column");
-/**
- * A model declaring a `FIND_FILTER` was compiled via the SCP path without its scope
- * predicates present in the authored WHERE — the filter would silently leak. Thrown
- * fail-closed at compile time; never swallowed.
- */
-class FindFilterLeakError extends Error {
-    modelName;
-    missingKeys;
-    constructor(
-    /** The declaring model's class name (diagnostics). */
-    modelName, 
-    /** The FIND_FILTER scope keys that are MISSING from the authored WHERE. */
-    missingKeys) {
-        super(`FIND_FILTER leak: model '${modelName}' declares an implicit scope predicate on ` +
-            `[${missingKeys.join(', ')}] that is NOT present in the SCP-authored WHERE. The SCP ` +
-            `compile cannot auto-apply FIND_FILTER (no model context at compile time), so the ` +
-            `scope predicate would be silently dropped (soft-delete / tenant scope leak). Fold ` +
-            `the FIND_FILTER predicates into the authored L.Select({ where }) explicitly ` +
-            `(e.g. whereEq/whereIsNull on ${missingKeys.join(', ')}).`);
-        this.modelName = modelName;
-        this.missingKeys = missingKeys;
-        this.name = 'FindFilterLeakError';
-    }
-}
-exports.FindFilterLeakError = FindFilterLeakError;
-/**
- * Extract the top-level predicate KEYS a `FIND_FILTER` folds into a WHERE. Uses the SAME
- * `condsToRecord` v1 runs when merging (`DBModel._buildSelectSQL`:597) so the key set is
- * exactly what v1 would add to `normalizedCond`. `__or__` (grouped OR) is kept as a key so a
- * scoped OR-group also demands explicit authoring (fail-closed; never silently satisfied).
- */
-function findFilterKeys(filter) {
-    if (!filter || filter.length === 0)
-        return [];
-    return Object.keys((0, Column_1.condsToRecord)(filter));
-}
-/**
- * Fail-closed guard: assert a model's `FIND_FILTER` scope keys are all present in the
- * authored WHERE key set BEFORE an SCP compile of that model. No FIND_FILTER → no-op. When
- * present, EVERY scope key must appear in `authoredWhereKeys`; any missing key throws
- * {@link FindFilterLeakError}. The caller passes the top-level keys of the object it hands to
- * `L.Select({ where })` (the same shape `condsToRecord` yields), so the check compares
- * like-for-like against v1's merged predicate.
- *
- * @param model  a `DBModel`-shaped source that MAY declare `FIND_FILTER`.
- * @param authoredWhereKeys  the top-level WHERE keys the SCP author expressed for this model.
- * @throws FindFilterLeakError when a declared scope key is absent from the authored WHERE.
- */
-function assertFindFilterFolded(model, authoredWhereKeys) {
-    const required = findFilterKeys(model.FIND_FILTER);
-    if (required.length === 0)
-        return; // No implicit scope → nothing to fold → no-op.
-    const present = new Set(authoredWhereKeys);
-    const missing = required.filter((k) => !present.has(k));
-    if (missing.length > 0) {
-        throw new FindFilterLeakError(model.name ?? '<anonymous model>', missing);
-    }
-}
-//# sourceMappingURL=find-filter-guard.js.map

package/dist/scp/find-filter-guard.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"find-filter-guard.js","sourceRoot":"","sources":["../../src/scp/find-filter-guard.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;;;AA0CH,wCAGC;AAcD,wDAWC;AApED,sCAAsD;AAUtD;;;;GAIG;AACH,MAAa,mBAAoB,SAAQ,KAAK;IAGjC;IAEA;IAJX;IACE,sDAAsD;IAC7C,SAAiB;IAC1B,2EAA2E;IAClE,WAA8B;QAEvC,KAAK,CACH,4BAA4B,SAAS,4CAA4C;YAC/E,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,2DAA2D;YACrF,mFAAmF;YACnF,oFAAoF;YACpF,8EAA8E;YAC9E,gCAAgC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAC7D,CAAC;QAXO,cAAS,GAAT,SAAS,CAAQ;QAEjB,gBAAW,GAAX,WAAW,CAAmB;QAUvC,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;IACpC,CAAC;CACF;AAjBD,kDAiBC;AAED;;;;;GAKG;AACH,SAAgB,cAAc,CAAC,MAAgC;IAC7D,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC9C,OAAO,MAAM,CAAC,IAAI,CAAC,IAAA,sBAAa,EAAC,MAAM,CAAC,CAAC,CAAC;AAC5C,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAgB,sBAAsB,CACpC,KAAuB,EACvB,iBAAmC;IAEnC,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACnD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,+CAA+C;IAClF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,mBAAmB,CAAC,KAAK,CAAC,IAAI,IAAI,mBAAmB,EAAE,OAAO,CAAC,CAAC;IAC5E,CAAC;AACH,CAAC"}