litedbmodel 2.0.2 → 2.2.0

package/dist/index.d.cts

@@ -0,0 +1 @@
+export * from './index.js';

package/dist/scp/coltype.d.ts

@@ -10,11 +10,83 @@
  */
 /** bc typed outType のスカラ型（bc 0.3.0 の portable notation と一致；date 型は無い）。 */
 export type BcScalar = 'string' | 'int' | 'float' | 'bool' | 'null';
+/**
+ * SQL 型トークンを基底型名へ正規化する SSoT（`sqlTypeToBcScalar` / `sqlTypeToMaterializeClass` が共有）。
+ * 括弧のサイズ/精度と、型判定に無関係な列修飾（`UNSIGNED`/`ZEROFILL`/`PRECISION` と NULL 可否
+ * `NOT NULL`/`NULL`）を落として基底型名だけを残す。NULL 可否は {@link sqlTypeIsNotNull} が別に読む
+ * （型スカラと直交する — nullability は outType の `opt` ラップの有無、基底スカラではない）。
+ */
+export declare function normalizeSqlTypeToken(sqlType: string): string;
+/**
+ * 宣言された SQL 型が `NOT NULL` 制約を持つか（`static columns` は列制約を型トークンに書ける）。
+ * `true` の列は読み出しセルが非 null 確定 → 読み outType は `opt` ラップ無しの生スカラ（RETURNING の
+ * 主キーのような非 null 値を value 位置で消費できる — spec §4.1 の nullability）。既定（無指定）は
+ * nullable（ドライバ列は NULL を返し得る）。
+ */
+export declare function sqlTypeIsNotNull(sqlType: string): boolean;
 /**
  * SQL 型（DDL のトークン。`DECIMAL(10,2)` 等の括弧やサイズは無視）→ bc outType スカラ。
  * spec §4.1 の正規表に一致。未知/曖昧は throw（fail-closed）。
  */
 export declare function sqlTypeToBcScalar(sqlType: string): BcScalar;
+/**
+ * The TS read-path MATERIALIZATION class for a SQL column (issue #59, owner-approved
+ * type-honoring de-box). The bc `outType` scalar (`int`/`float`/`string`/`bool`) is the PORTABLE
+ * type the native codegen materializes; but on the TS/driver read path we additionally split the
+ * `int` scalar by SQL WIDTH and coerce `date`/`bool` to their exact JS form, because a JS `number`
+ * cannot hold an i64 and the drivers otherwise return a JS `Date` / `0|1` that violate the
+ * declared `string`/`bool` outType. A materialization class is:
+ *
+ *   - `'int32'`  — 32-bit int family (INT/INTEGER/SMALLINT/TINYINT/MEDIUMINT/INT2/INT4). Its full
+ *                  range fits in a JS `number` exactly, so it materializes to `number` (fast,
+ *                  arith/JSON-friendly). This is the UNCHANGED, already-correct behavior.
+ *   - `'int64'`  — 64-bit int (BIGINT/INT8). Exceeds `Number.MAX_SAFE_INTEGER`, so a JS `number`
+ *                  would round it. Materializes to a value-preserving decimal STRING (e.g.
+ *                  `"9223372036854775807"`) — EXACT and JSON-safe (a JS `bigint` throws in
+ *                  `JSON.stringify`, so string is the JSON-friendly exact form, mirroring the
+ *                  decimal→string / date→string mappings). This is the ONLY int class whose JS
+ *                  type changes (#59 fix).
+ *   - `'date'`   — DATE/TIMESTAMP/TIMESTAMPTZ/DATETIME/TIME. The bc outType is `string`; drivers
+ *                  return a JS `Date` (TZ-shifted). Materializes to a TZ-attached STRING (the
+ *                  driver's textual form), honoring the `string` outType (#59 fix; overrides the
+ *                  old v2 "date→JS Date on TS" mapping).
+ *   - `'bool'`   — BOOLEAN/BOOL. Drivers may return `0`/`1`; materializes to a JS `boolean`.
+ *   - `'passthrough'` — every other class (float, text, decimal-as-string, json, uuid): the driver
+ *                  value already matches the outType, so no coercion.
+ */
+export type MaterializeClass = 'int32' | 'int64' | 'date' | 'bool' | 'passthrough';
+/**
+ * Derive the TS read-path {@link MaterializeClass} for a SQL type (spec §4.1 owner de-box). Uses
+ * the SAME normalization + closed-set discipline as {@link sqlTypeToBcScalar} (unknown ⇒ throw),
+ * so a column that types for the bc scalar also types for materialization (and vice-versa). The
+ * `int` scalar splits int32/int64 by width; `date`/`bool` get their own class; everything else is
+ * `passthrough`.
+ */
+export declare function arrayElementType(sqlType: string): string | null;
+export declare function sqlTypeToMaterializeClass(sqlType: string): MaterializeClass;
+/**
+ * The bc scalar of a de-boxed READ KEY value — the element type a relation key-array (`pluck` → `.as`)
+ * carries when it is bound to `= ANY($1)` / `json_each(?)` (#141, spec §4.1). A key array is an opaque
+ * transport value list, so its bc element tag is the JS type of the READ-materialized key cell, NOT the
+ * column's `sqlTypeToBcScalar` outType: an `int32` column materializes to a JS `number` (bc `float`),
+ * a `BIGINT`/`int64` to a decimal STRING (bc `string`), a `date` to a string, a `bool` to a boolean.
+ * Derived by composing {@link sqlTypeToMaterializeClass} (the read de-box class) with the base scalar,
+ * so it stays the SINGLE type-system SoT — no hand-rolled type table at the relation call site.
+ */
+export declare function keyArrayElemScalar(sqlType: string): BcScalar;
+/**
+ * Coerce ONE raw driver cell to the JS form its {@link MaterializeClass} declares (issue #59 TS
+ * read-path de-box). NULL passes through (nullable columns). This is driver-agnostic: it accepts
+ * whatever form each driver returned for the class and normalizes it —
+ *   - `int64`: a string (pg int8 / mysql2 bigNumberStrings), a bigint (better-sqlite3 safeIntegers),
+ *              or a safe JS number → an EXACT decimal STRING (JSON-safe, value-preserving). An
+ *              already-rounded unsafe JS number is a hard error (precision was lost upstream).
+ *   - `int32`: a bigint (a driver in safe-integer mode) or string → `number`; a number stays.
+ *   - `date` : a JS Date → its textual form; a string stays (already the textual form).
+ *   - `bool` : `0`/`1`/`0n`/`1n` → boolean; a boolean stays.
+ *   - `passthrough`: unchanged.
+ */
+export declare function materializeCell(value: unknown, klass: MaterializeClass): unknown;
 /**
  * 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.
@@ -22,6 +94,42 @@ export declare function sqlTypeToBcScalar(sqlType: string): BcScalar;
  * hard error (no-assume, no-fallback), never a silent boxed fallback.
  */
 export type ColumnTypeResolver = (table: string, column: string) => string;
+/**
+ * A resolver that yields the TS read-path {@link MaterializeClass} of a `(table, column)`, or
+ * `undefined` when the column's type is unknown/untypeable. Unlike {@link ColumnTypeResolver} this
+ * is TOLERANT (never throws for an unknown column) — it drives the ALWAYS-ON production read-path
+ * materialization (issue #59), which must degrade to leaving an untyped column as the raw driver
+ * value rather than failing a real read. It is derived automatically from the DB's own schema (the
+ * live column-type SoT), so it fires for EVERY production read with no caller-supplied resolver.
+ */
+export type MaterializeResolver = (table: string, column: string) => MaterializeClass | undefined;
+/**
+ * A `table → (column → SQL type)` map → a TOLERANT {@link MaterializeResolver}: an unknown
+ * `(table, column)` or an un-mappable SQL type resolves to `undefined` (the raw driver value is
+ * kept). Retained for callers that WANT tolerance (e.g. optional/introspection contexts). The
+ * ALWAYS-ON registration path uses the FAIL-CLOSED variant below instead.
+ */
+export declare function materializeResolverFromColumnMap(columnTypes: ReadonlyMap<string, ReadonlyMap<string, string>>): MaterializeResolver;
+/**
+ * A `table → (column → SQL type)` map → a FAIL-CLOSED {@link MaterializeResolver} (issue #59 audit):
+ * an undeclared `(table, column)` THROWS (naming the model/table/column) — reconciled with the
+ * codegen resolver so the TS read path can NEVER silently skip de-box for an undeclared projected
+ * column (which would leak a rounded i64). A DECLARED column returns its materialize class (incl.
+ * `passthrough` for float/text/decimal/json — a no-op coercion, but it WAS type-checked). This is the
+ * resolver the registration precomputes ONCE from the model's INLINE `columns` declaration and
+ * carries on the contract — pure in-memory lookups, ZERO per-read DB introspection.
+ */
+export declare function failClosedMaterializeResolverFromColumnMap(columnTypes: ReadonlyMap<string, ReadonlyMap<string, string>>): MaterializeResolver;
+/**
+ * A `table → (column → SQL type)` map → a fail-closed {@link ColumnTypeResolver} (the codegen
+ * `outType` SoT). THROWS for an unknown `table`/`column` (no-assume, no-fallback — a typed-native
+ * read must not silently box an untyped column). Built from the model's INLINE `columns` declaration
+ * at registration, it replaces the external `schemaColumnTypeResolver(ddl)` as the codegen type
+ * source, so `deriveReadRow` (the read de-box SSoT) reads the declared types.
+ */
+export declare function columnTypeResolverFromColumnMap(columnTypes: ReadonlyMap<string, ReadonlyMap<string, string>>): ColumnTypeResolver;
+/** {@link sqlTypeToMaterializeClass} but TOLERANT: returns `undefined` for an unknown SQL type. */
+export declare function materializeClassOrUndefined(sqlType: string): MaterializeClass | undefined;
 /**
  * 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

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

@@ -1 +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"}
+{"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;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAQ7D;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAEzD;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,QAAQ,CAgE3D;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,MAAM,gBAAgB,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,aAAa,CAAC;AAEnF;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAG/D;AAED,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,MAAM,GAAG,gBAAgB,CAoE3E;AAED;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,GAAG,QAAQ,CAa5D;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAsDhF;AAaD;;;;;GAKG;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC;AAE3E;;;;;;;GAOG;AACH,MAAM,MAAM,mBAAmB,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,gBAAgB,GAAG,SAAS,CAAC;AAElG;;;;;GAKG;AACH,wBAAgB,gCAAgC,CAC9C,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAC5D,mBAAmB,CAKrB;AAED;;;;;;;;GAQG;AACH,wBAAgB,0CAA0C,CACxD,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAC5D,mBAAmB,CAQrB;AAED;;;;;;GAMG;AACH,wBAAgB,+BAA+B,CAC7C,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAC5D,kBAAkB,CAmBpB;AAED,mGAAmG;AACnG,wBAAgB,2BAA2B,CAAC,OAAO,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS,CAMzF;AAED;;;;;;;;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"}

package/dist/scp/coltype.js

@@ -10,24 +10,53 @@
  * 行/リレーションの構造型（`obj`/`arr`/`opt`）は列型ではなくクエリ由来なので本変換の対象外。
  */
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.normalizeSqlTypeToken = normalizeSqlTypeToken;
+exports.sqlTypeIsNotNull = sqlTypeIsNotNull;
 exports.sqlTypeToBcScalar = sqlTypeToBcScalar;
+exports.arrayElementType = arrayElementType;
+exports.sqlTypeToMaterializeClass = sqlTypeToMaterializeClass;
+exports.keyArrayElemScalar = keyArrayElemScalar;
+exports.materializeCell = materializeCell;
+exports.materializeResolverFromColumnMap = materializeResolverFromColumnMap;
+exports.failClosedMaterializeResolverFromColumnMap = failClosedMaterializeResolverFromColumnMap;
+exports.columnTypeResolverFromColumnMap = columnTypeResolverFromColumnMap;
+exports.materializeClassOrUndefined = materializeClassOrUndefined;
 exports.parseSchemaColumnTypes = parseSchemaColumnTypes;
 exports.schemaColumnTypeResolver = schemaColumnTypeResolver;
 /**
- * SQL 型（DDL のトークン。`DECIMAL(10,2)` 等の括弧やサイズは無視）→ bc outType スカラ。
- * spec §4.1 の正規表に一致。未知/曖昧は throw（fail-closed）。
+ * SQL 型トークンを基底型名へ正規化する SSoT（`sqlTypeToBcScalar` / `sqlTypeToMaterializeClass` が共有）。
+ * 括弧のサイズ/精度と、型判定に無関係な列修飾（`UNSIGNED`/`ZEROFILL`/`PRECISION` と NULL 可否
+ * `NOT NULL`/`NULL`）を落として基底型名だけを残す。NULL 可否は {@link sqlTypeIsNotNull} が別に読む
+ * （型スカラと直交する — nullability は outType の `opt` ラップの有無、基底スカラではない）。
  */
-function sqlTypeToBcScalar(sqlType) {
-    // 括弧のサイズ/精度・`UNSIGNED` 等の修飾を落として基底型名で判定。
-    const t = sqlType
+function normalizeSqlTypeToken(sqlType) {
+    return sqlType
         .trim()
         .toUpperCase()
         .replace(/\(.*\)/, '')
-        .replace(/\b(UNSIGNED|ZEROFILL|PRECISION)\b/g, '')
+        .replace(/\b(UNSIGNED|ZEROFILL|PRECISION|NOT\s+NULL|NULL)\b/g, '')
         .replace(/\s+/g, ' ')
         .trim();
+}
+/**
+ * 宣言された SQL 型が `NOT NULL` 制約を持つか（`static columns` は列制約を型トークンに書ける）。
+ * `true` の列は読み出しセルが非 null 確定 → 読み outType は `opt` ラップ無しの生スカラ（RETURNING の
+ * 主キーのような非 null 値を value 位置で消費できる — spec §4.1 の nullability）。既定（無指定）は
+ * nullable（ドライバ列は NULL を返し得る）。
+ */
+function sqlTypeIsNotNull(sqlType) {
+    return /\bNOT\s+NULL\b/i.test(sqlType);
+}
+/**
+ * SQL 型（DDL のトークン。`DECIMAL(10,2)` 等の括弧やサイズは無視）→ bc outType スカラ。
+ * spec §4.1 の正規表に一致。未知/曖昧は throw（fail-closed）。
+ */
+function sqlTypeToBcScalar(sqlType) {
+    const t = normalizeSqlTypeToken(sqlType);
     switch (t) {
         // int は既定 64bit(i64)。INTEGER も BIGINT も int（bigint を別型にしない — サイズ制限は列制約で表現）。
+        // PostgreSQL の SERIAL/SERIAL4/BIGSERIAL/SERIAL8/SMALLSERIAL/SERIAL2（auto-increment 疑似型）も
+        // 基底は整数（int4 / int8）で、read 型は plain integer。
         case 'INTEGER':
         case 'INT':
         case 'BIGINT':
@@ -37,6 +66,12 @@ function sqlTypeToBcScalar(sqlType) {
         case 'INT2':
         case 'INT4':
         case 'INT8':
+        case 'SERIAL':
+        case 'SERIAL4':
+        case 'BIGSERIAL':
+        case 'SERIAL8':
+        case 'SMALLSERIAL':
+        case 'SERIAL2':
             return 'int';
         // int と real は明確に分離。
         case 'REAL':
@@ -79,6 +114,258 @@ function sqlTypeToBcScalar(sqlType) {
                 `are a hard error (no-assume, no-fallback), never defaulted.`);
     }
 }
+/**
+ * Derive the TS read-path {@link MaterializeClass} for a SQL type (spec §4.1 owner de-box). Uses
+ * the SAME normalization + closed-set discipline as {@link sqlTypeToBcScalar} (unknown ⇒ throw),
+ * so a column that types for the bc scalar also types for materialization (and vice-versa). The
+ * `int` scalar splits int32/int64 by width; `date`/`bool` get their own class; everything else is
+ * `passthrough`.
+ */
+function arrayElementType(sqlType) {
+    const m = /^(.+?)\s*\[\s*\]$/.exec(normalizeSqlTypeToken(sqlType));
+    return m === null ? null : m[1].trim();
+}
+function sqlTypeToMaterializeClass(sqlType) {
+    const t = normalizeSqlTypeToken(sqlType);
+    // An ARRAY column (`TEXT[]` / `INT[]` / `NUMERIC[]` / `BOOLEAN[]` / `TIMESTAMP[]` / …) de-boxes as
+    // `passthrough`: the driver's own array typeCast already parses the wire form into a JS array whose
+    // ELEMENTS match the declared element outType, so the read path leaves the value unchanged (no
+    // per-cell coercion — a scalar materialize class does not apply to a whole list). The element base
+    // type is still validated (an unknown element type on a DECLARED array column is a hard error too).
+    const element = arrayElementType(t);
+    if (element !== null) {
+        sqlTypeToMaterializeClass(element); // validate the element base type (throws if unknown)
+        return 'passthrough';
+    }
+    switch (t) {
+        // 32-bit int family: JS number holds the full range exactly. The PostgreSQL SERIAL family maps to
+        // its underlying int width (SERIAL/SERIAL4=int4, SMALLSERIAL/SERIAL2=int2).
+        case 'INTEGER':
+        case 'INT':
+        case 'SMALLINT':
+        case 'TINYINT':
+        case 'MEDIUMINT':
+        case 'INT2':
+        case 'INT4':
+        case 'SERIAL':
+        case 'SERIAL4':
+        case 'SMALLSERIAL':
+        case 'SERIAL2':
+            return 'int32';
+        // 64-bit int: needs JS bigint for exactness.
+        case 'BIGINT':
+        case 'INT8':
+        case 'BIGSERIAL':
+        case 'SERIAL8':
+            return 'int64';
+        case 'BOOLEAN':
+        case 'BOOL':
+            return 'bool';
+        case 'DATE':
+        case 'TIMESTAMP':
+        case 'TIMESTAMPTZ':
+        case 'DATETIME':
+        case 'TIME':
+            return 'date';
+        // float / decimal(→string) / text / json / uuid — driver value already matches the outType.
+        case 'REAL':
+        case 'FLOAT':
+        case 'DOUBLE':
+        case 'FLOAT4':
+        case 'FLOAT8':
+        case 'DECIMAL':
+        case 'NUMERIC':
+        case 'MONEY':
+        case 'TEXT':
+        case 'VARCHAR':
+        case 'CHAR':
+        case 'CHARACTER':
+        case 'CHARACTER VARYING':
+        case 'CLOB':
+        case 'UUID':
+        case 'JSON':
+        case 'JSONB':
+            return 'passthrough';
+        default:
+            throw new Error(`litedbmodel type system (spec §4.1): no materialization class for SQL type '${sqlType}' ` +
+                `(normalized '${t}'). Add it to the §4.1 table or fix the column — ambiguous/unknown types ` +
+                `are a hard error (no-assume, no-fallback), never defaulted.`);
+    }
+}
+/**
+ * The bc scalar of a de-boxed READ KEY value — the element type a relation key-array (`pluck` → `.as`)
+ * carries when it is bound to `= ANY($1)` / `json_each(?)` (#141, spec §4.1). A key array is an opaque
+ * transport value list, so its bc element tag is the JS type of the READ-materialized key cell, NOT the
+ * column's `sqlTypeToBcScalar` outType: an `int32` column materializes to a JS `number` (bc `float`),
+ * a `BIGINT`/`int64` to a decimal STRING (bc `string`), a `date` to a string, a `bool` to a boolean.
+ * Derived by composing {@link sqlTypeToMaterializeClass} (the read de-box class) with the base scalar,
+ * so it stays the SINGLE type-system SoT — no hand-rolled type table at the relation call site.
+ */
+function keyArrayElemScalar(sqlType) {
+    switch (sqlTypeToMaterializeClass(sqlType)) {
+        case 'int32':
+            return 'float'; // materializes to a JS number → bc float
+        case 'int64':
+        case 'date':
+            return 'string'; // materializes to a decimal / TZ string → bc string
+        case 'bool':
+            return 'bool';
+        case 'passthrough':
+            // float stays a JS number (bc float); text / uuid / decimal-as-string / json are all bc string.
+            return sqlTypeToBcScalar(sqlType) === 'float' ? 'float' : 'string';
+    }
+}
+/**
+ * Coerce ONE raw driver cell to the JS form its {@link MaterializeClass} declares (issue #59 TS
+ * read-path de-box). NULL passes through (nullable columns). This is driver-agnostic: it accepts
+ * whatever form each driver returned for the class and normalizes it —
+ *   - `int64`: a string (pg int8 / mysql2 bigNumberStrings), a bigint (better-sqlite3 safeIntegers),
+ *              or a safe JS number → an EXACT decimal STRING (JSON-safe, value-preserving). An
+ *              already-rounded unsafe JS number is a hard error (precision was lost upstream).
+ *   - `int32`: a bigint (a driver in safe-integer mode) or string → `number`; a number stays.
+ *   - `date` : a JS Date → its textual form; a string stays (already the textual form).
+ *   - `bool` : `0`/`1`/`0n`/`1n` → boolean; a boolean stays.
+ *   - `passthrough`: unchanged.
+ */
+function materializeCell(value, klass) {
+    if (value === null || value === undefined)
+        return value;
+    switch (klass) {
+        case 'int64': {
+            // BIGINT → a value-preserving decimal STRING (exact + JSON-safe; a JS bigint throws in
+            // JSON.stringify, a JS number rounds past 2^53). Accept each driver's exact form.
+            if (typeof value === 'bigint')
+                return value.toString();
+            if (typeof value === 'string') {
+                if (!/^-?\d+$/.test(value))
+                    throw new Error(`materialize int64: driver returned a non-integer string '${value}'`);
+                return value; // already the exact decimal string (pg int8 / mysql2 bigNumberStrings)
+            }
+            if (typeof value === 'number') {
+                if (!Number.isInteger(value))
+                    throw new Error(`materialize int64: driver returned a non-integer number ${value} for a 64-bit int column`);
+                // A JS number past 2^53 already lost precision at the driver boundary; that is exactly the
+                // hole this de-box closes, so a number here means the driver was NOT put in exact mode.
+                if (!Number.isSafeInteger(value)) {
+                    throw new Error(`materialize int64: driver returned an UNSAFE JS number ${value} for a 64-bit int column — ` +
+                        `precision was already lost before materialization (the driver must return int8 as string/bigint, ` +
+                        `not a rounded double). Configure the driver (better-sqlite3 safeIntegers / mysql2 supportBigNumbers+bigNumberStrings / pg int8-as-string).`);
+                }
+                return value.toString(); // a small BIGINT value that fit safely — stringify for a uniform exact string
+            }
+            throw new Error(`materialize int64: unexpected driver JS type ${typeof value}`);
+        }
+        case 'int32': {
+            if (typeof value === 'number')
+                return value;
+            if (typeof value === 'bigint')
+                return Number(value);
+            if (typeof value === 'string' && /^-?\d+$/.test(value))
+                return Number(value);
+            throw new Error(`materialize int32: unexpected driver JS type ${typeof value} (${String(value)})`);
+        }
+        case 'date': {
+            if (typeof value === 'string')
+                return value;
+            if (value instanceof Date)
+                return dateToTzString(value);
+            throw new Error(`materialize date: unexpected driver JS type ${typeof value}`);
+        }
+        case 'bool': {
+            if (typeof value === 'boolean')
+                return value;
+            if (typeof value === 'number')
+                return value !== 0;
+            if (typeof value === 'bigint')
+                return value !== 0n;
+            // A driver in TEXT mode (or the legacy v1 DBModel read path, issue #9) may hand a BOOLEAN over as
+            // its textual form: pg's `t`/`f`, or `true`/`false`/`1`/`0`. Normalize those to a JS boolean too,
+            // so a single coercion path serves both the v2 native-driver read and the v1 text-mode read.
+            if (typeof value === 'string') {
+                const s = value.trim().toLowerCase();
+                if (s === 't' || s === 'true' || s === '1')
+                    return true;
+                if (s === 'f' || s === 'false' || s === '0')
+                    return false;
+            }
+            throw new Error(`materialize bool: unexpected driver JS type ${typeof value} (${String(value)})`);
+        }
+        case 'passthrough':
+            return value;
+    }
+}
+/**
+ * Render a JS `Date` (a driver that was NOT configured for date-as-string) to a TZ-attached
+ * string. A `Date` has no calendar-vs-timestamp distinction, so we emit the full ISO-8601 instant
+ * (UTC, `Z`-suffixed) — a lossless, TZ-carrying textual form. The PREFERRED path is to configure
+ * the driver to return the native textual form directly (pg `setTypeParser`, mysql2 `dateStrings`);
+ * this fallback guarantees a STRING is returned even if a driver slips a Date through.
+ */
+function dateToTzString(d) {
+    return d.toISOString();
+}
+/**
+ * A `table → (column → SQL type)` map → a TOLERANT {@link MaterializeResolver}: an unknown
+ * `(table, column)` or an un-mappable SQL type resolves to `undefined` (the raw driver value is
+ * kept). Retained for callers that WANT tolerance (e.g. optional/introspection contexts). The
+ * ALWAYS-ON registration path uses the FAIL-CLOSED variant below instead.
+ */
+function materializeResolverFromColumnMap(columnTypes) {
+    return (table, column) => {
+        const sqlType = columnTypes.get(table)?.get(column);
+        return sqlType === undefined ? undefined : materializeClassOrUndefined(sqlType);
+    };
+}
+/**
+ * A `table → (column → SQL type)` map → a FAIL-CLOSED {@link MaterializeResolver} (issue #59 audit):
+ * an undeclared `(table, column)` THROWS (naming the model/table/column) — reconciled with the
+ * codegen resolver so the TS read path can NEVER silently skip de-box for an undeclared projected
+ * column (which would leak a rounded i64). A DECLARED column returns its materialize class (incl.
+ * `passthrough` for float/text/decimal/json — a no-op coercion, but it WAS type-checked). This is the
+ * resolver the registration precomputes ONCE from the model's INLINE `columns` declaration and
+ * carries on the contract — pure in-memory lookups, ZERO per-read DB introspection.
+ */
+function failClosedMaterializeResolverFromColumnMap(columnTypes) {
+    const resolveSqlType = columnTypeResolverFromColumnMap(columnTypes); // throws on undeclared
+    return (table, column) => {
+        const sqlType = resolveSqlType(table, column); // fail-closed: throws for an undeclared column
+        // A declared column's SQL type must map to a known materialize class (the §4.1 closed set); an
+        // unknown token on a DECLARED column is a hard error too (never a silent skip).
+        return sqlTypeToMaterializeClass(sqlType);
+    };
+}
+/**
+ * A `table → (column → SQL type)` map → a fail-closed {@link ColumnTypeResolver} (the codegen
+ * `outType` SoT). THROWS for an unknown `table`/`column` (no-assume, no-fallback — a typed-native
+ * read must not silently box an untyped column). Built from the model's INLINE `columns` declaration
+ * at registration, it replaces the external `schemaColumnTypeResolver(ddl)` as the codegen type
+ * source, so `deriveReadRow` (the read de-box SSoT) reads the declared types.
+ */
+function columnTypeResolverFromColumnMap(columnTypes) {
+    return (table, column) => {
+        const cols = columnTypes.get(table);
+        if (cols === undefined) {
+            throw new Error(`litedbmodel type system (spec §4.1): table '${table}' has no inline column-type declaration ` +
+                `(the model's \`columns\` map). Declare it (\`static columns = { ${table}: { … } }\`) so its ` +
+                `SELECT projection can be typed. Known tables: ${[...columnTypes.keys()].join(', ') || '<none>'}. No-assume, no-fallback.`);
+        }
+        const sqlType = cols.get(column);
+        if (sqlType === undefined) {
+            throw new Error(`litedbmodel type system (spec §4.1): column '${column}' not declared on table '${table}' ` +
+                `(declared: ${[...cols.keys()].join(', ')}). Add it to the model's inline \`columns\`. No-assume, no-fallback.`);
+        }
+        return sqlType;
+    };
+}
+/** {@link sqlTypeToMaterializeClass} but TOLERANT: returns `undefined` for an unknown SQL type. */
+function materializeClassOrUndefined(sqlType) {
+    try {
+        return sqlTypeToMaterializeClass(sqlType);
+    }
+    catch {
+        return undefined;
+    }
+}
 /**
  * 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

package/dist/scp/coltype.js.map

@@ -1 +1 @@
-{"version":3,"file":"coltype.js","sourceRoot":"","sources":["../../src/scp/coltype.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;AASH,8CA+DC;AAmBD,wDAwBC;AA8CD,4DAqBC;AAjLD;;;GAGG;AACH,SAAgB,iBAAiB,CAAC,OAAe;IAC/C,yCAAyC;IACzC,MAAM,CAAC,GAAG,OAAO;SACd,IAAI,EAAE;SACN,WAAW,EAAE;SACb,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;SACrB,OAAO,CAAC,oCAAoC,EAAE,EAAE,CAAC;SACjD,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;SACpB,IAAI,EAAE,CAAC;IACV,QAAQ,CAAC,EAAE,CAAC;QACV,4EAA4E;QAC5E,KAAK,SAAS,CAAC;QACf,KAAK,KAAK,CAAC;QACX,KAAK,QAAQ,CAAC;QACd,KAAK,UAAU,CAAC;QAChB,KAAK,SAAS,CAAC;QACf,KAAK,WAAW,CAAC;QACjB,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACT,OAAO,KAAK,CAAC;QACf,qBAAqB;QACrB,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC;QACjB,yBAAyB;QACzB,KAAK,SAAS,CAAC;QACf,KAAK,SAAS,CAAC;QACf,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC;QAClB,KAAK,MAAM,CAAC;QACZ,KAAK,SAAS,CAAC;QACf,KAAK,MAAM,CAAC;QACZ,KAAK,WAAW,CAAC;QACjB,KAAK,mBAAmB,CAAC;QACzB,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS,CAAC;QACf,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,2FAA2F;QAC3F,kEAAkE;QAClE,KAAK,MAAM,CAAC;QACZ,KAAK,WAAW,CAAC;QACjB,KAAK,aAAa,CAAC;QACnB,KAAK,UAAU,CAAC;QAChB,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC;QAClB,8EAA8E;QAC9E,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC;QAClB;YACE,MAAM,IAAI,KAAK,CACb,4EAA4E,OAAO,IAAI;gBACrF,gBAAgB,CAAC,2EAA2E;gBAC5F,6DAA6D,CAChE,CAAC;IACN,CAAC;AACH,CAAC;AAUD;;;;;;;;GAQG;AACH,SAAgB,sBAAsB,CAAC,GAAsB;IAC3D,MAAM,MAAM,GAAG,IAAI,GAAG,EAA+B,CAAC;IACtD,MAAM,MAAM,GAAG,+FAA+F,CAAC;IAC/G,MAAM,OAAO,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;IACxE,iGAAiG;IACjG,MAAM,gBAAgB,GAAG,yDAAyD,CAAC;IACnF,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,CAAC,KAAK,IAAI;YAAE,SAAS,CAAC,0DAA0D;QACpF,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;QACvC,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;YAC1B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAChC,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS,CAAC,uCAAuC;YAClF,yFAAyF;YACzF,+FAA+F;YAC/F,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS;YACnC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;QACxC,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,8GAA8G;AAC9G,SAAS,aAAa,CAAC,IAAY;IACjC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;QACtB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;aACnB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;QAC7B,IAAI,EAAE,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAChB,GAAG,GAAG,EAAE,CAAC;QACX,CAAC;;YAAM,GAAG,IAAI,EAAE,CAAC;IACnB,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3C,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qHAAqH;AACrH,MAAM,iBAAiB,GAAG,wBAAwB,CAAC;AAEnD,2GAA2G;AAC3G,SAAS,cAAc,CAAC,IAAY;IAClC,MAAM,OAAO,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;IACxE,MAAM,SAAS,GAAG,gCAAgC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACjC,0FAA0F;IAC1F,qFAAqF;IACrF,MAAM,SAAS,GAAG,2CAA2C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzE,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACzC,IAAI,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,QAAQ,KAAK,IAAI,IAAI,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,GAAG,GAAG,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IACpG,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC3B,CAAC;AAED;;;;GAIG;AACH,SAAgB,wBAAwB,CAAC,GAAsB;IAC7D,MAAM,MAAM,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC;IAC3C,OAAO,CAAC,KAAa,EAAE,MAAc,EAAU,EAAE;QAC/C,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CACb,6DAA6D,KAAK,sBAAsB;gBACtF,uFAAuF;gBACvF,WAAW,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,4BAA4B,CACnF,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CACb,gDAAgD,MAAM,4BAA4B,KAAK,IAAI;gBACzF,mBAAmB,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,4CAA4C;gBAC1F,+DAA+D,CAClE,CAAC;QACJ,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;AACJ,CAAC"}
+{"version":3,"file":"coltype.js","sourceRoot":"","sources":["../../src/scp/coltype.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;AAWH,sDAQC;AAQD,4CAEC;AAMD,8CAgEC;AAoCD,4CAGC;AAED,8DAoEC;AAWD,gDAaC;AAcD,0CAsDC;AAqCD,4EAOC;AAWD,gGAUC;AASD,0EAqBC;AAGD,kEAMC;AAWD,wDAwBC;AA8CD,4DAqBC;AArfD;;;;;GAKG;AACH,SAAgB,qBAAqB,CAAC,OAAe;IACnD,OAAO,OAAO;SACX,IAAI,EAAE;SACN,WAAW,EAAE;SACb,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;SACrB,OAAO,CAAC,oDAAoD,EAAE,EAAE,CAAC;SACjE,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;SACpB,IAAI,EAAE,CAAC;AACZ,CAAC;AAED;;;;;GAKG;AACH,SAAgB,gBAAgB,CAAC,OAAe;IAC9C,OAAO,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AACzC,CAAC;AAED;;;GAGG;AACH,SAAgB,iBAAiB,CAAC,OAAe;IAC/C,MAAM,CAAC,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;IACzC,QAAQ,CAAC,EAAE,CAAC;QACV,4EAA4E;QAC5E,yFAAyF;QACzF,6CAA6C;QAC7C,KAAK,SAAS,CAAC;QACf,KAAK,KAAK,CAAC;QACX,KAAK,QAAQ,CAAC;QACd,KAAK,UAAU,CAAC;QAChB,KAAK,SAAS,CAAC;QACf,KAAK,WAAW,CAAC;QACjB,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,WAAW,CAAC;QACjB,KAAK,SAAS,CAAC;QACf,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC;QACf,qBAAqB;QACrB,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC;QACjB,yBAAyB;QACzB,KAAK,SAAS,CAAC;QACf,KAAK,SAAS,CAAC;QACf,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC;QAClB,KAAK,MAAM,CAAC;QACZ,KAAK,SAAS,CAAC;QACf,KAAK,MAAM,CAAC;QACZ,KAAK,WAAW,CAAC;QACjB,KAAK,mBAAmB,CAAC;QACzB,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS,CAAC;QACf,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,2FAA2F;QAC3F,kEAAkE;QAClE,KAAK,MAAM,CAAC;QACZ,KAAK,WAAW,CAAC;QACjB,KAAK,aAAa,CAAC;QACnB,KAAK,UAAU,CAAC;QAChB,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC;QAClB,8EAA8E;QAC9E,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC;QAClB;YACE,MAAM,IAAI,KAAK,CACb,4EAA4E,OAAO,IAAI;gBACrF,gBAAgB,CAAC,2EAA2E;gBAC5F,6DAA6D,CAChE,CAAC;IACN,CAAC;AACH,CAAC;AA6BD;;;;;;GAMG;AACH,SAAgB,gBAAgB,CAAC,OAAe;IAC9C,MAAM,CAAC,GAAG,mBAAmB,CAAC,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAC;IACnE,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACzC,CAAC;AAED,SAAgB,yBAAyB,CAAC,OAAe;IACvD,MAAM,CAAC,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;IACzC,mGAAmG;IACnG,oGAAoG;IACpG,+FAA+F;IAC/F,mGAAmG;IACnG,oGAAoG;IACpG,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,yBAAyB,CAAC,OAAO,CAAC,CAAC,CAAC,qDAAqD;QACzF,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,QAAQ,CAAC,EAAE,CAAC;QACV,kGAAkG;QAClG,4EAA4E;QAC5E,KAAK,SAAS,CAAC;QACf,KAAK,KAAK,CAAC;QACX,KAAK,UAAU,CAAC;QAChB,KAAK,SAAS,CAAC;QACf,KAAK,WAAW,CAAC;QACjB,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC;QACjB,6CAA6C;QAC7C,KAAK,QAAQ,CAAC;QACd,KAAK,MAAM,CAAC;QACZ,KAAK,WAAW,CAAC;QACjB,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC;QACjB,KAAK,SAAS,CAAC;QACf,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,MAAM,CAAC;QACZ,KAAK,WAAW,CAAC;QACjB,KAAK,aAAa,CAAC;QACnB,KAAK,UAAU,CAAC;QAChB,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,4FAA4F;QAC5F,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,SAAS,CAAC;QACf,KAAK,OAAO,CAAC;QACb,KAAK,MAAM,CAAC;QACZ,KAAK,SAAS,CAAC;QACf,KAAK,MAAM,CAAC;QACZ,KAAK,WAAW,CAAC;QACjB,KAAK,mBAAmB,CAAC;QACzB,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO;YACV,OAAO,aAAa,CAAC;QACvB;YACE,MAAM,IAAI,KAAK,CACb,+EAA+E,OAAO,IAAI;gBACxF,gBAAgB,CAAC,2EAA2E;gBAC5F,6DAA6D,CAChE,CAAC;IACN,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAgB,kBAAkB,CAAC,OAAe;IAChD,QAAQ,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3C,KAAK,OAAO;YACV,OAAO,OAAO,CAAC,CAAC,yCAAyC;QAC3D,KAAK,OAAO,CAAC;QACb,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC,CAAC,oDAAoD;QACvE,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,aAAa;YAChB,gGAAgG;YAChG,OAAO,iBAAiB,CAAC,OAAO,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;IACvE,CAAC;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAgB,eAAe,CAAC,KAAc,EAAE,KAAuB;IACrE,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACxD,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,uFAAuF;YACvF,kFAAkF;YAClF,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,OAAO,KAAK,CAAC,QAAQ,EAAE,CAAC;YACvD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC9B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,4DAA4D,KAAK,GAAG,CAAC,CAAC;gBAClH,OAAO,KAAK,CAAC,CAAC,uEAAuE;YACvF,CAAC;YACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC9B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,2DAA2D,KAAK,0BAA0B,CAAC,CAAC;gBAC1I,2FAA2F;gBAC3F,wFAAwF;gBACxF,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;oBACjC,MAAM,IAAI,KAAK,CACb,0DAA0D,KAAK,6BAA6B;wBAC1F,mGAAmG;wBACnG,4IAA4I,CAC/I,CAAC;gBACJ,CAAC;gBACD,OAAO,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,8EAA8E;YACzG,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,gDAAgD,OAAO,KAAK,EAAE,CAAC,CAAC;QAClF,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,OAAO,KAAK,CAAC;YAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;YACpD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;YAC7E,MAAM,IAAI,KAAK,CAAC,gDAAgD,OAAO,KAAK,KAAK,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACrG,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,OAAO,KAAK,CAAC;YAC5C,IAAI,KAAK,YAAY,IAAI;gBAAE,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC;YACxD,MAAM,IAAI,KAAK,CAAC,+CAA+C,OAAO,KAAK,EAAE,CAAC,CAAC;QACjF,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,IAAI,OAAO,KAAK,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,OAAO,KAAK,KAAK,CAAC,CAAC;YAClD,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,OAAO,KAAK,KAAK,EAAE,CAAC;YACnD,kGAAkG;YAClG,kGAAkG;YAClG,6FAA6F;YAC7F,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC9B,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;gBACrC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,KAAK,GAAG;oBAAE,OAAO,IAAI,CAAC;gBACxD,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,OAAO,IAAI,CAAC,KAAK,GAAG;oBAAE,OAAO,KAAK,CAAC;YAC5D,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,+CAA+C,OAAO,KAAK,KAAK,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACpG,CAAC;QACD,KAAK,aAAa;YAChB,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,cAAc,CAAC,CAAO;IAC7B,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;AACzB,CAAC;AAoBD;;;;;GAKG;AACH,SAAgB,gCAAgC,CAC9C,WAA6D;IAE7D,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACvB,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QACpD,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,2BAA2B,CAAC,OAAO,CAAC,CAAC;IAClF,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,SAAgB,0CAA0C,CACxD,WAA6D;IAE7D,MAAM,cAAc,GAAG,+BAA+B,CAAC,WAAW,CAAC,CAAC,CAAC,uBAAuB;IAC5F,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACvB,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,+CAA+C;QAC9F,+FAA+F;QAC/F,gFAAgF;QAChF,OAAO,yBAAyB,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,+BAA+B,CAC7C,WAA6D;IAE7D,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACvB,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CACb,+CAA+C,KAAK,0CAA0C;gBAC5F,mEAAmE,KAAK,sBAAsB;gBAC9F,iDAAiD,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,2BAA2B,CAC7H,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CACb,gDAAgD,MAAM,4BAA4B,KAAK,IAAI;gBACzF,cAAc,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,sEAAsE,CAClH,CAAC;QACJ,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;AACJ,CAAC;AAED,mGAAmG;AACnG,SAAgB,2BAA2B,CAAC,OAAe;IACzD,IAAI,CAAC;QACH,OAAO,yBAAyB,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAgB,sBAAsB,CAAC,GAAsB;IAC3D,MAAM,MAAM,GAAG,IAAI,GAAG,EAA+B,CAAC;IACtD,MAAM,MAAM,GAAG,+FAA+F,CAAC;IAC/G,MAAM,OAAO,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;IACxE,iGAAiG;IACjG,MAAM,gBAAgB,GAAG,yDAAyD,CAAC;IACnF,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,CAAC,KAAK,IAAI;YAAE,SAAS,CAAC,0DAA0D;QACpF,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;QACvC,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;YAC1B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAChC,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS,CAAC,uCAAuC;YAClF,yFAAyF;YACzF,+FAA+F;YAC/F,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS;YACnC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;QACxC,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,8GAA8G;AAC9G,SAAS,aAAa,CAAC,IAAY;IACjC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;QACtB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;aACnB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;QAC7B,IAAI,EAAE,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAChB,GAAG,GAAG,EAAE,CAAC;QACX,CAAC;;YAAM,GAAG,IAAI,EAAE,CAAC;IACnB,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3C,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qHAAqH;AACrH,MAAM,iBAAiB,GAAG,wBAAwB,CAAC;AAEnD,2GAA2G;AAC3G,SAAS,cAAc,CAAC,IAAY;IAClC,MAAM,OAAO,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;IACxE,MAAM,SAAS,GAAG,gCAAgC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACjC,0FAA0F;IAC1F,qFAAqF;IACrF,MAAM,SAAS,GAAG,2CAA2C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzE,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACzC,IAAI,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,QAAQ,KAAK,IAAI,IAAI,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,GAAG,GAAG,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IACpG,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC3B,CAAC;AAED;;;;GAIG;AACH,SAAgB,wBAAwB,CAAC,GAAsB;IAC7D,MAAM,MAAM,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC;IAC3C,OAAO,CAAC,KAAa,EAAE,MAAc,EAAU,EAAE;QAC/C,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CACb,6DAA6D,KAAK,sBAAsB;gBACtF,uFAAuF;gBACvF,WAAW,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,4BAA4B,CACnF,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CACb,gDAAgD,MAAM,4BAA4B,KAAK,IAAI;gBACzF,mBAAmB,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,4CAA4C;gBAC1F,+DAA+D,CAClE,CAAC;QACJ,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;AACJ,CAAC"}