litedbmodel 2.0.1 → 2.0.2

package/dist/scp/codegen.js

@@ -1,53 +1,125 @@
 "use strict";
 /**
  * litedbmodel v2 SCP — mode-3 codegen (WS7f, #35; spec §9 exec-mode 3 / §10 / §11; makeSQL flip,
- * epic #43/#45 Phase B).
+ * 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 (`generateModule`, bc#13) run over the bundle's
- *     portable IR (a read bundle's surrogate `ComponentGraphIR`, or the `makeSQL` component IR for
- *     a write), baked as a language-native LITERAL with a `bind(handlers)` accessor delegating to
- *     `runBehavior`. litedbmodel writes NO execution logic here — codegen is upstream-owned (bc).
+ *  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).
  *
- * ## Byte-identical to the thin-runtime (mode-2), by construction
+ * ## #60 milestone 1 scope (CODEGEN-PATH ONLY)
  *
- * The companion IS the bundle, so a codegen runtime that evaluates it drives 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}).
+ * 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.CODEGEN_LANGUAGES = void 0;
+exports.TypedNativeCoverageError = exports.CODEGEN_EMITTER = exports.CODEGEN_LANGUAGES = void 0;
 exports.bundleToPortableIR = bundleToPortableIR;
-exports.assertLanguageSupported = assertLanguageSupported;
+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 assertLanguageSupported}
+ * 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. Baking THIS is
- * what makes the generated module a genuine bc artifact; the static SQL catalog rides the companion.
+ * 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;
-    return (0, ir_1.makeSqlComponentIR)(bundle.name);
+    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 (baked) portable IR. */
+/** The STATIC makeSQL execution catalog carried alongside the generated module. */
 function companionOf(bundle) {
     const base = {
         dialect: bundle.dialect,
@@ -55,36 +127,291 @@ function companionOf(bundle) {
         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 };
+}
 /**
- * Assert the requested language is one bc's shared generator can emit — checked against the LIVE
- * registry, not just the {@link CODEGEN_LANGUAGES} constant, so a bc capability drift fails LOUDLY.
+ * 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 assertLanguageSupported(language, registered) {
+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(', ')})`);
     }
-    if (!registered.includes(language)) {
-        throw new Error(`litedbmodel codegen: bc's shared generator does not register an emitter for '${language}' ` +
-            `(bc registered: ${[...registered].sort().join(', ')}). This is a bc#13 capability limit — ESCALATE to bc (bc#22 pattern), ` +
-            `never fork a litedbmodel-local generator (codegen は上流所有, spec §9).`);
+    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;
 }
 /**
- * Generate the mode-3 codegen artifact for ONE §8 bundle in ONE target language: bc's SHARED
- * generator bakes the IR literal + emits `bind(handlers)`, and we attach the STATIC SQL catalog
- * companion. litedbmodel supplies the input (IR + catalog); bc owns the 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 generateCodegenArtifact(bundle, language, registeredLanguages, runtimeImport) {
-    assertLanguageSupported(language, registeredLanguages);
-    const ir = bundleToPortableIR(bundle);
-    const module = (0, behavior_contracts_1.generateModule)(ir, runtimeImport === undefined ? { language } : { language, runtimeImport });
-    return { language, module, companion: companionOf(bundle), ir, bundle };
+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 byte-identity: a codegen runtime reads the SQL
+ * 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.
  */

package/dist/scp/codegen.js.map

@@ -1 +1 @@
-{"version":3,"file":"codegen.js","sourceRoot":"","sources":["../../src/scp/codegen.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;;;AAyDH,gDAGC;AAkBD,0DAaC;AAOD,0DAUC;AAOD,kEAEC;AAnHD,2DAAyH;AAEzH,uCAA0C;AAC1C,qCAAkD;AAMlD;;;;GAIG;AACU,QAAA,iBAAiB,GAAG,CAAC,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAU,CAAC;AAoCxF;;;;GAIG;AACH,SAAgB,kBAAkB,CAAC,MAAiB;IAClD,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;IAC/D,OAAO,IAAA,uBAAkB,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AACzC,CAAC;AAED,sFAAsF;AACtF,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;KAC3E,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;;;GAGG;AACH,SAAgB,uBAAuB,CAAC,QAAgB,EAAE,UAA6B;IACrF,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,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CACb,gFAAgF,QAAQ,IAAI;YAC1F,mBAAmB,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,wEAAwE;YAC5H,oEAAoE,CACvE,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAgB,uBAAuB,CACrC,MAAiB,EACjB,QAAgB,EAChB,mBAAsC,EACtC,aAAsB;IAEtB,uBAAuB,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;IACvD,MAAM,EAAE,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,IAAA,mCAAc,EAAC,EAAE,EAAE,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,CAAC;IAC5G,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC;AAC1E,CAAC;AAED;;;;GAIG;AACH,SAAgB,2BAA2B,CAAC,QAAyB,EAAE,KAAY,EAAE,EAAY;IAC/F,OAAO,IAAA,uBAAa,EAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;AACvD,CAAC"}
+{"version":3,"file":"codegen.js","sourceRoot":"","sources":["../../src/scp/codegen.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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/coltype.d.ts

@@ -0,0 +1,41 @@
+/**
+ * litedbmodel v2 型システム（SCP アーキ spec §4.1）: SQL 型 → bc outType スカラの正規変換。
+ *
+ * litedbmodel は SQL バックエンド consumer なので **SQL 型を型の SoT** とする（TS の `number` は
+ * INTEGER/REAL を区別できないため型の権威にしない）。typed codegen（bc typed-raw 脱box）の `outType`
+ * 注記はこの変換で決まる。**曖昧/未知は error（no-assume・no-fallback）** — 既定値へ潰さない。
+ *
+ * 返すのは bc の scalar 型名（`typed.ts` の scalar union `"string"|"int"|"float"|"bool"|"null"`）。
+ * 行/リレーションの構造型（`obj`/`arr`/`opt`）は列型ではなくクエリ由来なので本変換の対象外。
+ */
+/** bc typed outType のスカラ型（bc 0.3.0 の portable notation と一致；date 型は無い）。 */
+export type BcScalar = 'string' | 'int' | 'float' | 'bool' | 'null';
+/**
+ * SQL 型（DDL のトークン。`DECIMAL(10,2)` 等の括弧やサイズは無視）→ bc outType スカラ。
+ * spec §4.1 の正規表に一致。未知/曖昧は throw（fail-closed）。
+ */
+export declare function sqlTypeToBcScalar(sqlType: string): BcScalar;
+/**
+ * A column-type resolver: `(table, column) → SQL type token`. It is the SoT (spec §4.1: the
+ * `schema.sql` DDL) a codegen `outType` derivation consults to type each SELECT projection column.
+ * MUST throw (never return a default) when a `table.column` is unknown — an unmappable column is a
+ * hard error (no-assume, no-fallback), never a silent boxed fallback.
+ */
+export type ColumnTypeResolver = (table: string, column: string) => string;
+/**
+ * Parse a list of `CREATE TABLE` DDL statements into a `table → (column → SQL type)` map. This is
+ * the spec §4.1 SoT: the physical SQL type of each column, from which `sqlTypeToBcScalar` derives
+ * the bc `outType` scalar for typed codegen. Only the base column definitions are read; table-level
+ * constraints (`PRIMARY KEY (…)`, `FOREIGN KEY …`, `UNIQUE (…)`, `CHECK …`) are skipped. A column's
+ * type is its first token after the name (e.g. `id INTEGER PRIMARY KEY` → `INTEGER`). Column names
+ * quoted with `"`/`` ` ``/`[]` are unquoted. Non-`CREATE TABLE` statements (INSERT seed rows, etc.)
+ * are ignored, so a mixed schema+seed list is accepted as-is.
+ */
+export declare function parseSchemaColumnTypes(ddl: readonly string[]): Map<string, Map<string, string>>;
+/**
+ * Build a {@link ColumnTypeResolver} from CREATE TABLE DDL (spec §4.1 SoT). The resolver throws
+ * (no default) for any `table.column` the DDL does not declare — an unknown column is a hard error
+ * (no-assume, no-fallback), so a codegen `outType` derivation can never silently box an untyped row.
+ */
+export declare function schemaColumnTypeResolver(ddl: readonly string[]): ColumnTypeResolver;
+//# sourceMappingURL=coltype.d.ts.map

package/dist/scp/coltype.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coltype.d.ts","sourceRoot":"","sources":["../../src/scp/coltype.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,0EAA0E;AAC1E,MAAM,MAAM,QAAQ,GAAG,QAAQ,GAAG,KAAK,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC;AAEpE;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,QAAQ,CA+D3D;AAED;;;;;GAKG;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC;AAE3E;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,SAAS,MAAM,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAwB/F;AAyCD;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,SAAS,MAAM,EAAE,GAAG,kBAAkB,CAqBnF"}