@prisma-next/target-sqlite 0.12.0-dev.5 → 0.12.0-dev.51

package/src/core/migrations/runner.ts

@@ -1,4 +1,4 @@
-import type { ContractMarkerRecord } from '@prisma-next/contract/types';
+import type { Contract, ContractMarkerRecord } from '@prisma-next/contract/types';
 import type {
   MigrationOperationPolicy,
   SqlControlFamilyInstance,
@@ -13,27 +13,17 @@ import type {
 } from '@prisma-next/family-sql/control';
 import { runnerFailure, runnerSuccess } from '@prisma-next/family-sql/control';
 import { verifySqlSchema } from '@prisma-next/family-sql/schema-verify';
-import { type ContractMarkerRow, parseContractMarkerRow } from '@prisma-next/family-sql/verify';
-import type {
-  ControlDriverInstance,
-  MigrationRunnerResult,
-} from '@prisma-next/framework-components/control';
+import type { MigrationRunnerResult } from '@prisma-next/framework-components/control';
 import { APP_SPACE_ID } from '@prisma-next/framework-components/control';
+import type { SqlControlDriverInstance, SqlStorage } from '@prisma-next/sql-contract/types';
+import type { LoweredStatement } from '@prisma-next/sql-relational-core/ast';
 import { ifDefined } from '@prisma-next/utils/defined';
 import type { Result } from '@prisma-next/utils/result';
 import { notOk, ok, okVoid } from '@prisma-next/utils/result';
+import { MARKER_TABLE_NAME } from '../control-tables';
 import { parseSqliteDefault } from '../default-normalizer';
 import { normalizeSqliteNativeType } from '../native-type-normalizer';
 import type { SqlitePlanTargetDetails } from './planner-target-details';
-import {
-  buildLedgerInsertStatement,
-  buildWriteMarkerStatements,
-  ensureLedgerTableStatement,
-  ensureMarkerTableStatement,
-  MARKER_TABLE_NAME,
-  readMarkerStatement,
-  type SqlStatement,
-} from './statement-builders';
 
 export function createSqliteMigrationRunner(
   family: SqlControlFamilyInstance,
@@ -70,9 +60,9 @@ class SqliteMigrationRunner implements SqlMigrationRunner<SqlitePlanTargetDetail
     const policyCheck = this.enforcePolicyCompatibility(options.policy, options.plan.operations);
     if (!policyCheck.ok) return policyCheck;
 
-    const ensureResult = await this.ensureControlTables(driver);
+    const ensureResult = await this.ensureControlTables(driver, options.destinationContract);
     if (!ensureResult.ok) return ensureResult;
-    const existingMarker = await this.readMarker(driver, space);
+    const existingMarker = await this.family.readMarker({ driver, space });
 
     const markerCheck = this.ensureMarkerCompatibility(existingMarker, options.plan);
     if (!markerCheck.ok) return markerCheck;
@@ -126,8 +116,9 @@ class SqliteMigrationRunner implements SqlMigrationRunner<SqlitePlanTargetDetail
     const isSelfEdgeNoOp = isSelfEdge && operationsExecuted === 0 && incomingIsSubsetOfExisting;
 
     if (!isSelfEdgeNoOp) {
-      await this.upsertMarker(driver, options, existingMarker, space);
-      await this.recordLedgerEntry(driver, options, existingMarker, executedOperations);
+      const markerResult = await this.upsertMarker(driver, options, existingMarker, space);
+      if (!markerResult.ok) return markerResult;
+      await this.recordLedgerEntries(driver, options, executedOperations);
     }
 
     return runnerSuccess({
@@ -137,7 +128,7 @@ class SqliteMigrationRunner implements SqlMigrationRunner<SqlitePlanTargetDetail
   }
 
   async execute(options: {
-    readonly driver: ControlDriverInstance<'sql', string>;
+    readonly driver: SqlControlDriverInstance<string>;
     readonly perSpaceOptions: ReadonlyArray<
       SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>
     >;
@@ -306,17 +297,16 @@ class SqliteMigrationRunner implements SqlMigrationRunner<SqlitePlanTargetDetail
 
   private async ensureControlTables(
     driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],
+    contract: Contract<SqlStorage>,
   ): Promise<Result<void, SqlMigrationRunnerFailure>> {
-    // Pre-1.0 zero-range guardrail: detect a pre-cleanup single-row
-    // marker table (no `space` column) and surface a structured failure
-    // rather than silently rebuilding the table into the per-space
-    // shape. See `specs/framework-mechanism.spec.md § 2`.
     const legacyDetection = await this.detectLegacyMarkerShape(driver);
     if (!legacyDetection.ok) {
       return legacyDetection;
     }
-    await this.executeStatement(driver, ensureMarkerTableStatement);
-    await this.executeStatement(driver, ensureLedgerTableStatement);
+    const lowererContext = { contract };
+    for (const query of this.family.bootstrapControlTableQueries()) {
+      await this.executeStatement(driver, this.family.lowerAst(query, lowererContext));
+    }
     return okVoid();
   }
 
@@ -347,32 +337,6 @@ class SqliteMigrationRunner implements SqlMigrationRunner<SqlitePlanTargetDetail
     );
   }
 
-  private async readMarker(
-    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],
-    space: string,
-  ): Promise<ContractMarkerRecord | null> {
-    const stmt = readMarkerStatement(space);
-    try {
-      const result = await driver.query<ContractMarkerRow>(stmt.sql, stmt.params);
-      const row = result.rows[0];
-      if (!row) return null;
-      // SQLite stores arrays as JSON-encoded TEXT (no native array type), so
-      // the driver returns `invariants` as a string. Decode before delegating
-      // to the shared row schema, which expects `string[]`.
-      const invariants =
-        typeof row.invariants === 'string'
-          ? (JSON.parse(row.invariants) as unknown)
-          : row.invariants;
-      return parseContractMarkerRow({ ...row, invariants });
-    } catch (error) {
-      // Table might not exist yet
-      if (error instanceof Error && error.message.includes('no such table')) {
-        return null;
-      }
-      throw error;
-    }
-  }
-
   private async runExpectationSteps(
     driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],
     steps: readonly SqlMigrationPlanOperationStep[],
@@ -600,48 +564,79 @@ class SqliteMigrationRunner implements SqlMigrationRunner<SqlitePlanTargetDetail
     options: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>,
     existingMarker: ContractMarkerRecord | null,
     space: string,
-  ): Promise<void> {
-    // SQLite has no native array type, so we can't merge invariants in SQL
-    // the way Postgres does. Merge client-side under the runner's
-    // BEGIN EXCLUSIVE — sort + dedupe so the JSON-encoded value is stable.
-    const merged = new Set<string>(existingMarker?.invariants ?? []);
-    for (const inv of options.plan.providedInvariants) merged.add(inv);
-    const invariants = Array.from(merged).sort();
-    const writeStatements = buildWriteMarkerStatements({
-      space,
+  ): Promise<Result<void, SqlMigrationRunnerFailure>> {
+    // Pass the plan's incoming invariants verbatim; `updateMarker` unions them
+    // with the stored set (TS-side, dialect-uniform) under the runner's
+    // BEGIN EXCLUSIVE — no client-side pre-merge here, so there is no
+    // double-merge with the SPI's internal accumulate-dedupe.
+    const destination = {
       storageHash: options.plan.destination.storageHash,
       profileHash:
         options.plan.destination.profileHash ??
         options.destinationContract.profileHash ??
         options.plan.destination.storageHash,
-      contractJson: options.destinationContract,
-      canonicalVersion: null,
-      meta: {},
-      invariants,
+      invariants: options.plan.providedInvariants ?? [],
+    };
+    if (!existingMarker) {
+      await this.family.initMarker({ driver, space, destination });
+      return okVoid();
+    }
+    const updated = await this.family.updateMarker({
+      driver,
+      space,
+      expectedFrom: existingMarker.storageHash,
+      destination,
     });
-    const statement = existingMarker ? writeStatements.update : writeStatements.insert;
-    await this.executeStatement(driver, statement);
+    if (!updated) {
+      return runnerFailure(
+        'MARKER_CAS_FAILURE',
+        'Marker was modified by another process during migration execution.',
+        {
+          meta: {
+            space,
+            expectedStorageHash: existingMarker.storageHash,
+            destinationStorageHash: options.plan.destination.storageHash,
+          },
+        },
+      );
+    }
+    return okVoid();
   }
 
-  private async recordLedgerEntry(
+  private async recordLedgerEntries(
     driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],
     options: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>,
-    existingMarker: ContractMarkerRecord | null,
     executedOperations: readonly SqlMigrationPlanOperation<SqlitePlanTargetDetails>[],
   ): Promise<void> {
-    const ledgerStatement = buildLedgerInsertStatement({
-      originStorageHash: existingMarker?.storageHash ?? null,
-      originProfileHash: existingMarker?.profileHash ?? null,
-      destinationStorageHash: options.plan.destination.storageHash,
-      destinationProfileHash:
-        options.plan.destination.profileHash ??
-        options.destinationContract.profileHash ??
-        options.plan.destination.storageHash,
-      contractJsonBefore: existingMarker?.contractJson ?? null,
-      contractJsonAfter: options.destinationContract,
-      operations: executedOperations,
-    });
-    await this.executeStatement(driver, ledgerStatement);
+    const plan = options.plan;
+    const space = plan.spaceId;
+    const edges = options.migrationEdges;
+    const totalEdgeOps = edges.reduce((sum, edge) => sum + edge.operationCount, 0);
+    if (totalEdgeOps !== plan.operations.length) {
+      throw new Error(
+        `Ledger write: plan.operations length (${plan.operations.length}) does not match sum of migrationEdges operationCount (${totalEdgeOps})`,
+      );
+    }
+    // The ledger records the operations as executed — idempotency-skipped ops
+    // are substituted with skip records (empty `execute`) by `applyPlan`, so the
+    // journal reflects what actually ran rather than the raw plan.
+    let offset = 0;
+    for (const edge of edges) {
+      const edgeOps = executedOperations.slice(offset, offset + edge.operationCount);
+      offset += edge.operationCount;
+      await this.family.writeLedgerEntry({
+        driver,
+        space,
+        entry: {
+          edgeId: `${edge.from}->${edge.to}`,
+          from: edge.from,
+          to: edge.to,
+          migrationName: edge.dirName,
+          migrationHash: edge.migrationHash,
+          operations: edgeOps,
+        },
+      });
+    }
   }
 
   private async beginExclusiveTransaction(
@@ -664,7 +659,7 @@ class SqliteMigrationRunner implements SqlMigrationRunner<SqlitePlanTargetDetail
 
   private async executeStatement(
     driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],
-    statement: SqlStatement,
+    statement: LoweredStatement,
   ): Promise<void> {
     if (statement.params.length > 0) {
       await driver.query(statement.sql, statement.params);

package/src/core/sqlite-contract-serializer.ts

@@ -1,20 +1,32 @@
 import type { Contract } from '@prisma-next/contract/types';
 import { SqlContractSerializerBase } from '@prisma-next/family-sql/ir';
-import type { SqlStorage } from '@prisma-next/sql-contract/types';
+import { type Namespace, NamespaceBase } from '@prisma-next/framework-components/ir';
+import type { SqlNamespaceTablesInput, SqlStorage } from '@prisma-next/sql-contract/types';
+import { blindCast } from '@prisma-next/utils/casts';
+import { buildSqliteNamespace } from './sqlite-unbound-database';
 
 /**
  * SQLite target `ContractSerializer` concretion. Mirrors the Postgres
- * shape: inherits the full SQL-family deserialization pipeline. Today's
- * SQLite contract shape is the family-shared shape; no target-specific
- * polymorphic `storage.types` factories are registered yet.
- *
- * `serializeContract` falls through to the family-base default —
- * SQLite's contract is JSON-clean today. Once target-only fields land
- * (e.g. per-target derived storage fields) this is the home for
- * stripping them from the persisted envelope.
+ * shape: inherits the full SQL-family deserialization pipeline and
+ * materialises namespace entries as SQLite database concretions that
+ * expose `qualifyTable()` for runtime SQL rendering.
  */
 export class SqliteContractSerializer extends SqlContractSerializerBase<Contract<SqlStorage>> {
   constructor() {
     super(new Map());
   }
+
+  protected override hydrateSqlNamespaceEntry(
+    nsId: string,
+    raw: Namespace | Record<string, unknown>,
+  ): Namespace | SqlNamespaceTablesInput {
+    if (raw instanceof NamespaceBase) {
+      return raw;
+    }
+    const hydrated = blindCast<
+      SqlNamespaceTablesInput,
+      'super.hydrateSqlNamespaceEntry returns the tables form when raw is not a NamespaceBase'
+    >(super.hydrateSqlNamespaceEntry(nsId, raw));
+    return buildSqliteNamespace(hydrated);
+  }
 }

package/src/core/sqlite-unbound-database.ts

@@ -1,9 +1,81 @@
 import {
   freezeNode,
+  type Namespace,
   NamespaceBase,
   UNBOUND_NAMESPACE_ID,
 } from '@prisma-next/framework-components/ir';
-import type { StorageTable } from '@prisma-next/sql-contract/types';
+import {
+  type SqlNamespaceTablesInput,
+  StorageTable,
+  type StorageTableInput,
+} from '@prisma-next/sql-contract/types';
+import { blindCast, castAs } from '@prisma-next/utils/casts';
+
+export type SqliteDatabaseInput = {
+  readonly id: string;
+  readonly entries: {
+    readonly table: Readonly<Record<string, StorageTable | StorageTableInput>>;
+  };
+};
+
+const SQLITE_NAMESPACE_KIND = 'sqlite-namespace' as const;
+
+function isMaterializedSqliteNamespace(
+  ns: Namespace | SqlNamespaceTablesInput,
+): ns is SqliteDatabase | SqliteUnboundDatabase {
+  if (typeof ns !== 'object' || ns === null) {
+    return false;
+  }
+  const proto = Object.getPrototypeOf(ns);
+  if (proto === Object.prototype || proto === null) {
+    return false;
+  }
+  return (ns as { kind?: unknown }).kind === SQLITE_NAMESPACE_KIND;
+}
+
+/**
+ * SQLite namespace concretion carrying table metadata under
+ * `entries.table` and unqualified `qualifyTable()` emission for runtime
+ * SQL rendering.
+ */
+export class SqliteDatabase extends NamespaceBase {
+  declare readonly kind: string;
+
+  readonly id: string;
+  readonly entries: Readonly<{
+    readonly table: Readonly<Record<string, StorageTable>>;
+  }>;
+
+  constructor(input: SqliteDatabaseInput) {
+    super();
+    this.id = input.id;
+    this.entries = Object.freeze({
+      table: Object.freeze(
+        Object.fromEntries(
+          Object.entries(input.entries.table).map(([k, v]) => [
+            k,
+            v instanceof StorageTable ? v : new StorageTable(v as StorageTableInput),
+          ]),
+        ),
+      ),
+    });
+    Object.defineProperty(this, 'kind', {
+      value: SQLITE_NAMESPACE_KIND,
+      writable: false,
+      enumerable: false,
+      configurable: true,
+    });
+    freezeNode(this);
+  }
+
+  qualifier(): string {
+    return '';
+  }
+
+  qualifyTable(tableName: string): string {
+    return `"${tableName}"`;
+  }
+}
 
 /**
  * SQLite target `Namespace` concretion. SQLite has no schema or
@@ -22,43 +94,58 @@ import type { StorageTable } from '@prisma-next/sql-contract/types';
  * `__unspecified__` AST bucket reaches the SQLite interpreter, which
  * lowers it to this singleton.
  */
-export class SqliteUnboundDatabase extends NamespaceBase {
+export class SqliteUnboundDatabase extends SqliteDatabase {
   static readonly instance: SqliteUnboundDatabase = new SqliteUnboundDatabase();
 
-  readonly kind = 'database' as const;
-  readonly id = UNBOUND_NAMESPACE_ID;
-  readonly tables: Readonly<Record<string, StorageTable>>;
-
   private constructor() {
-    super();
-    this.tables = Object.freeze({});
-    freezeNode(this);
+    super({ id: UNBOUND_NAMESPACE_ID, entries: { table: {} } });
   }
+}
 
-  qualifier(): string {
-    return '';
+export function buildSqliteNamespace(
+  input: SqlNamespaceTablesInput,
+): SqliteDatabase | SqliteUnboundDatabase {
+  if (input.id !== UNBOUND_NAMESPACE_ID) {
+    throw new Error(
+      `buildSqliteNamespace: SQLite has no schema concept; the only valid namespace id is "${UNBOUND_NAMESPACE_ID}" (received "${input.id}").`,
+    );
   }
-
-  qualifyTable(tableName: string): string {
-    return `"${tableName}"`;
+  if (Object.keys(input.entries.table).length === 0) {
+    return castAs<SqliteUnboundDatabase>(SqliteUnboundDatabase.instance);
   }
+  return new SqliteDatabase({ id: input.id, entries: input.entries });
+}
+
+export function buildSqliteNamespaceMap(
+  namespaces: Readonly<Record<string, Namespace | SqlNamespaceTablesInput>>,
+): Readonly<Record<string, SqliteDatabase | SqliteUnboundDatabase>> {
+  return Object.fromEntries(
+    Object.entries(namespaces).map(([nsKey, ns]) => [
+      nsKey,
+      isMaterializedSqliteNamespace(ns)
+        ? ns
+        : buildSqliteNamespace(
+            blindCast<
+              SqlNamespaceTablesInput,
+              'non-materialized SQLite namespace map entry is a SqlNamespaceTablesInput'
+            >(ns),
+          ),
+    ]),
+  );
 }
 
 /**
  * Target-supplied `Namespace` factory the SQLite target plumbs through
  * `defineContract({ createNamespace })`. SQLite has only one
  * effective namespace slot — the framework `UNBOUND_NAMESPACE_ID`
- * sentinel — so the factory always returns the singleton and rejects
- * any other coordinate. The SQL family's defensive validation in
- * `defineContract` already rejects user-declared SQLite namespaces, so
- * this throw is a structural safety net rather than a user-facing
- * surface.
+ * sentinel — so the factory always returns the singleton or a fresh
+ * `SqliteDatabase` for the unbound slot with tables. The SQL family's
+ * defensive validation in `defineContract` already rejects
+ * user-declared SQLite namespaces, so this throw is a structural
+ * safety net rather than a user-facing surface.
  */
-export function sqliteCreateNamespace(id: string): SqliteUnboundDatabase {
-  if (id === UNBOUND_NAMESPACE_ID) {
-    return SqliteUnboundDatabase.instance;
-  }
-  throw new Error(
-    `sqliteCreateNamespace: SQLite has no schema concept; the only valid namespace id is "${UNBOUND_NAMESPACE_ID}" (received "${id}").`,
-  );
+export function sqliteCreateNamespace(
+  input: SqlNamespaceTablesInput,
+): SqliteDatabase | SqliteUnboundDatabase {
+  return buildSqliteNamespace(input);
 }

package/src/exports/contract-free.ts

@@ -0,0 +1,6 @@
+export { datetime, integer, jsonText, sqliteTable, text } from '../contract-free/columns';
+export {
+  buildControlTableBootstrapQueries,
+  buildSignMarkerBootstrapQueries,
+} from '../contract-free/control-bootstrap';
+export { createTable } from '../contract-free/ddl';

package/src/exports/control-tables.ts

@@ -0,0 +1,5 @@
+export {
+  CONTROL_TABLE_NAMES,
+  LEDGER_TABLE_NAME,
+  MARKER_TABLE_NAME,
+} from '../core/control-tables';

package/src/exports/ddl.ts

@@ -0,0 +1,6 @@
+export {
+  type AnySqliteDdlNode,
+  SqliteCreateTable,
+  SqliteDdlNode,
+  type SqliteDdlVisitor,
+} from '../core/ddl/nodes';

package/src/exports/runtime.ts

@@ -1,2 +1,3 @@
 export type { SqliteRuntimeTargetInstance } from '../core/runtime-target';
 export { default } from '../core/runtime-target';
+export { SqliteContractSerializer } from '../core/sqlite-contract-serializer';

package/dist/descriptor-meta-DIbCXU65.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"descriptor-meta-DIbCXU65.mjs","names":[],"sources":["../src/core/authoring.ts","../src/core/descriptor-meta.ts"],"sourcesContent":["import { temporalAuthoringPresets } from '@prisma-next/family-sql/control';\nimport type { AuthoringFieldNamespace } from '@prisma-next/framework-components/authoring';\n\nexport const sqliteAuthoringFieldPresets = {\n  temporal: /* @__PURE__ */ temporalAuthoringPresets({\n    codecId: 'sqlite/datetime@1',\n    nativeType: 'text',\n  }),\n} as const satisfies AuthoringFieldNamespace;\n","import type { CodecTypes } from '../exports/codec-types';\nimport { sqliteAuthoringFieldPresets } from './authoring';\nimport { sqliteTargetDescriptorMetaRuntime } from './descriptor-meta-runtime';\n\nconst sqliteTargetDescriptorMetaBase = {\n  ...sqliteTargetDescriptorMetaRuntime,\n  authoring: {\n    field: sqliteAuthoringFieldPresets,\n  },\n} as const;\n\nexport const sqliteTargetDescriptorMeta: typeof sqliteTargetDescriptorMetaBase & {\n  readonly __codecTypes?: CodecTypes;\n} = sqliteTargetDescriptorMetaBase;\n"],"mappings":";;;AAGA,MAAa,8BAA8B,EACzC,UAA0B,yCAAyB;CACjD,SAAS;CACT,YAAY;AACd,CAAC,EACH;ACGA,MAAa,6BAET;CARF,GAAG;CACH,WAAW,EACT,OAAO,4BACT;AAKE"}

package/dist/planner-BBvwGy0f.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"planner-BBvwGy0f.mjs","names":[],"sources":["../src/core/migrations/planner-strategies.ts","../src/core/migrations/issue-planner.ts","../src/core/migrations/planner.ts"],"sourcesContent":["/**\n * SQLite migration strategies.\n *\n * Each strategy examines the issue list, consumes issues it handles, and\n * returns the `SqliteOpFactoryCall[]` to address them. The issue planner\n * runs each strategy in order and routes whatever's left through\n * `mapIssueToCall`.\n *\n * SQLite has no enums, no data-safe backfill, and no component-declared\n * database dependencies. The only recipe that needs strategy-level\n * multi-issue consumption is `recreateTable` (added in a later phase), which\n * absorbs type/nullability/default/constraint mismatches for a given table\n * into a single recreate operation.\n */\n\nimport type { Contract } from '@prisma-next/contract/types';\nimport type {\n  CodecControlHooks,\n  MigrationOperationClass,\n  MigrationOperationPolicy,\n} from '@prisma-next/family-sql/control';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type { SchemaIssue } from '@prisma-next/framework-components/control';\nimport { UNBOUND_NAMESPACE_ID } from '@prisma-next/framework-components/ir';\nimport type {\n  PostgresEnumStorageEntry,\n  SqlStorage,\n  StorageTable,\n  StorageTypeInstance,\n} from '@prisma-next/sql-contract/types';\nimport { defaultIndexName } from '@prisma-next/sql-schema-ir/naming';\nimport type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';\nimport { toTableSpec } from './issue-planner';\nimport { DataTransformCall, RecreateTableCall, type SqliteOpFactoryCall } from './op-factory-call';\nimport type { SqliteIndexSpec } from './operations/shared';\nimport { buildRecreatePostchecks, buildRecreateSummary } from './operations/tables';\n\nexport interface StrategyContext {\n  readonly toContract: Contract<SqlStorage>;\n  readonly fromContract: Contract<SqlStorage> | null;\n  readonly codecHooks: ReadonlyMap<string, CodecControlHooks>;\n  readonly storageTypes: Readonly<Record<string, StorageTypeInstance | PostgresEnumStorageEntry>>;\n  readonly schema: SqlSchemaIR;\n  readonly policy: MigrationOperationPolicy;\n  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;\n}\n\n/**\n * Look up a storage table by its explicit namespace coordinate. Returns\n * `undefined` when the namespace has no table by that name (or no such\n * namespace exists). Callers that get `undefined` MUST treat it as an\n * explicit conflict rather than silently falling back to a name-only\n * walk across namespaces — the SQLite target currently has a single\n * namespace, but this helper enforces the explicit-coordinate\n * discipline so a future multi-namespace SQLite shape inherits the\n * conflict-on-stale-coordinate behaviour the Postgres planner already\n * has.\n */\nexport function tableAt(\n  storage: SqlStorage,\n  namespaceId: string,\n  tableName: string,\n): StorageTable | undefined {\n  return storage.namespaces[namespaceId]?.tables[tableName] as StorageTable | undefined;\n}\n\n/**\n * Default namespace coordinate for an issue that does not carry one\n * explicitly. Hand-crafted unit-test issues fall back to `__unbound__`,\n * the only namespace any single-namespace contract carries —\n * verifier-emitted issues for legacy single-namespace contracts already\n * stamp this id explicitly. Typed structurally so issue variants\n * without a `namespaceId` slot flow through to the same fallback.\n */\nexport function resolveNamespaceIdForIssue(issue: { readonly namespaceId?: string }): string {\n  return issue.namespaceId ?? UNBOUND_NAMESPACE_ID;\n}\n\nexport type CallMigrationStrategy = (\n  issues: readonly SchemaIssue[],\n  context: StrategyContext,\n) =>\n  | {\n      kind: 'match';\n      issues: readonly SchemaIssue[];\n      calls: readonly SqliteOpFactoryCall[];\n      recipe?: boolean;\n    }\n  | { kind: 'no_match' };\n\n// ============================================================================\n// Recreate-table strategy\n// ============================================================================\n\nconst WIDENING_ISSUE_KINDS = new Set<SchemaIssue['kind']>(['default_mismatch', 'default_missing']);\n\nconst DESTRUCTIVE_ISSUE_KINDS = new Set<SchemaIssue['kind']>([\n  'extra_default',\n  'type_mismatch',\n  'primary_key_mismatch',\n  'foreign_key_mismatch',\n  'unique_constraint_mismatch',\n  'extra_foreign_key',\n  'extra_unique_constraint',\n  'extra_primary_key',\n]);\n\nfunction classifyIssue(issue: SchemaIssue): 'widening' | 'destructive' | null {\n  if (issue.kind === 'enum_values_changed') return null;\n  if (!issue.table) return null;\n  if (issue.kind === 'nullability_mismatch') {\n    // Relaxing (NOT NULL → nullable) is widening; tightening is destructive.\n    return issue.expected === 'true' ? 'widening' : 'destructive';\n  }\n  if (WIDENING_ISSUE_KINDS.has(issue.kind)) return 'widening';\n  if (DESTRUCTIVE_ISSUE_KINDS.has(issue.kind)) return 'destructive';\n  return null;\n}\n\n/**\n * Groups recreate-eligible issues by table, decides per-table operation class\n * (destructive wins over widening), and emits one `RecreateTableCall` per\n * table. Returns unchanged-or-smaller issue list — issues the strategy\n * consumed are removed so `mapIssueToCall` doesn't double-handle them.\n */\nexport const recreateTableStrategy: CallMigrationStrategy = (issues, ctx) => {\n  const byTable = new Map<\n    string,\n    { issues: SchemaIssue[]; hasDestructive: boolean; namespaceId: string }\n  >();\n  const consumed = new Set<SchemaIssue>();\n\n  for (const issue of issues) {\n    const cls = classifyIssue(issue);\n    if (!cls) continue;\n    if (issue.kind === 'enum_values_changed') continue;\n    if (!issue.table) continue;\n    const table = issue.table;\n    const entry = byTable.get(table);\n    if (entry) {\n      entry.issues.push(issue);\n      if (cls === 'destructive') entry.hasDestructive = true;\n    } else {\n      byTable.set(table, {\n        issues: [issue],\n        hasDestructive: cls === 'destructive',\n        namespaceId: resolveNamespaceIdForIssue(issue),\n      });\n    }\n    consumed.add(issue);\n  }\n\n  if (byTable.size === 0) return { kind: 'no_match' };\n\n  const calls: SqliteOpFactoryCall[] = [];\n  for (const [tableName, entry] of byTable) {\n    const contractTable = tableAt(ctx.toContract.storage, entry.namespaceId, tableName);\n    const schemaTable = ctx.schema.tables[tableName];\n    if (!contractTable || !schemaTable) continue;\n    const operationClass: MigrationOperationClass = entry.hasDestructive\n      ? 'destructive'\n      : 'widening';\n\n    // Flatten the contract table to a self-contained spec — the Call holds\n    // pre-rendered SQL fragments only, no `StorageColumn` or `storageTypes`.\n    const tableSpec = toTableSpec(contractTable, ctx.storageTypes);\n\n    const seenIndexColumnKeys = new Set<string>();\n    const indexes: SqliteIndexSpec[] = [];\n    for (const idx of contractTable.indexes) {\n      const key = idx.columns.join(',');\n      if (seenIndexColumnKeys.has(key)) continue;\n      seenIndexColumnKeys.add(key);\n      indexes.push({\n        name: idx.name ?? defaultIndexName(tableName, idx.columns),\n        columns: idx.columns,\n      });\n    }\n    for (const fk of contractTable.foreignKeys) {\n      if (fk.index === false) continue;\n      const key = fk.source.columns.join(',');\n      if (seenIndexColumnKeys.has(key)) continue;\n      seenIndexColumnKeys.add(key);\n      indexes.push({\n        name: defaultIndexName(tableName, fk.source.columns),\n        columns: fk.source.columns,\n      });\n    }\n\n    calls.push(\n      new RecreateTableCall({\n        tableName,\n        contractTable: tableSpec,\n        schemaColumnNames: Object.keys(schemaTable.columns),\n        indexes,\n        summary: buildRecreateSummary(tableName, entry.issues),\n        postchecks: buildRecreatePostchecks(tableName, entry.issues, tableSpec),\n        operationClass,\n      }),\n    );\n  }\n\n  return {\n    kind: 'match',\n    issues: issues.filter((i) => !consumed.has(i)),\n    calls,\n    recipe: true,\n  };\n};\n\n// ============================================================================\n// Nullability-tightening backfill strategy\n// ============================================================================\n\n/**\n * When the policy allows `'data'` and the contract tightens one or more\n * columns from nullable to NOT NULL, emit a `DataTransformCall` stub per\n * tightened column. The user fills the backfill `UPDATE` in the rendered\n * `migration.ts` before the subsequent `RecreateTableCall` copies data into\n * the tightened schema (whose `INSERT INTO temp SELECT … FROM old` would\n * otherwise fail at runtime if any `NULL`s remain).\n *\n * Does NOT consume the tightening issue — `recreateTableStrategy` still\n * needs it to produce the actual recreate that enforces the NOT NULL at\n * the schema level. The backfill op and the recreate op end up in the\n * recipe slot in strategy order (backfill first, recreate second), which\n * matches the required execution order.\n *\n * Mirrors Postgres's `nullableTighteningCallStrategy` / `'data'`-class\n * gating. When `'data'` is not in the policy (the default `db update` /\n * `db init` path), the strategy short-circuits and the recreate alone\n * runs with its current destructive-class gating — preserving today's\n * behavior where a tightening blows up at runtime if NULLs are present.\n */\nexport const nullabilityTighteningBackfillStrategy: CallMigrationStrategy = (issues, ctx) => {\n  if (!ctx.policy.allowedOperationClasses.includes('data')) {\n    return { kind: 'no_match' };\n  }\n\n  const calls: SqliteOpFactoryCall[] = [];\n  for (const issue of issues) {\n    if (issue.kind !== 'nullability_mismatch') continue;\n    if (!issue.table || !issue.column) continue;\n    // Tightening only: `expected === 'true'` means the contract wants the\n    // column nullable (relaxing from NOT NULL → nullable), which is safe and\n    // needs no backfill.\n    if (issue.expected === 'true') continue;\n\n    const namespaceId = resolveNamespaceIdForIssue(issue);\n    const column = tableAt(ctx.toContract.storage, namespaceId, issue.table)?.columns[issue.column];\n    if (!column || column.nullable === true) continue;\n\n    calls.push(\n      new DataTransformCall(\n        `data_migration.backfill-${issue.table}-${issue.column}`,\n        `Backfill NULLs in \"${issue.table}\".\"${issue.column}\" before NOT NULL tightening`,\n        issue.table,\n        issue.column,\n      ),\n    );\n  }\n\n  if (calls.length === 0) return { kind: 'no_match' };\n\n  return {\n    kind: 'match',\n    issues,\n    calls,\n    recipe: true,\n  };\n};\n\nexport const sqlitePlannerStrategies: readonly CallMigrationStrategy[] = [\n  nullabilityTighteningBackfillStrategy,\n  recreateTableStrategy,\n];\n","/**\n * SQLite migration issue planner.\n *\n * Takes schema issues (from `verifySqlSchema`) and emits migration IR\n * (`SqliteOpFactoryCall[]`). Strategies consume issues they recognize and\n * produce specialized call sequences (e.g. recreateTableStrategy absorbs\n * type/nullability/default/constraint mismatches into a single recreate op);\n * remaining issues flow through `mapIssueToCall` for the default case.\n */\n\nimport type { Contract } from '@prisma-next/contract/types';\nimport type {\n  CodecControlHooks,\n  MigrationOperationPolicy,\n  SqlPlannerConflict,\n  SqlPlannerConflictLocation,\n} from '@prisma-next/family-sql/control';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type { SchemaIssue } from '@prisma-next/framework-components/control';\nimport type {\n  PostgresEnumStorageEntry,\n  SqlStorage,\n  StorageColumn,\n  StorageTable,\n  StorageTypeInstance,\n} from '@prisma-next/sql-contract/types';\nimport { defaultIndexName } from '@prisma-next/sql-schema-ir/naming';\nimport type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';\nimport type { Result } from '@prisma-next/utils/result';\nimport { notOk, ok } from '@prisma-next/utils/result';\nimport {\n  AddColumnCall,\n  CreateIndexCall,\n  CreateTableCall,\n  DropColumnCall,\n  DropIndexCall,\n  DropTableCall,\n  type SqliteOpFactoryCall,\n} from './op-factory-call';\nimport type {\n  SqliteColumnSpec,\n  SqliteForeignKeySpec,\n  SqliteTableSpec,\n  SqliteUniqueSpec,\n} from './operations/shared';\nimport {\n  buildColumnDefaultSql,\n  buildColumnTypeSql,\n  isInlineAutoincrementPrimaryKey,\n} from './planner-ddl-builders';\nimport {\n  type CallMigrationStrategy,\n  resolveNamespaceIdForIssue,\n  type StrategyContext,\n  sqlitePlannerStrategies,\n  tableAt,\n} from './planner-strategies';\nimport { CONTROL_TABLE_NAMES } from './statement-builders';\n\nexport type { CallMigrationStrategy, StrategyContext };\n\n// ============================================================================\n// Issue kind ordering (dependency order)\n// ============================================================================\n\nconst ISSUE_KIND_ORDER: Record<string, number> = {\n  // Drops (reconciliation — clear the way for creates)\n  extra_foreign_key: 10,\n  extra_unique_constraint: 11,\n  extra_primary_key: 12,\n  extra_index: 13,\n  extra_default: 14,\n  extra_column: 15,\n  extra_table: 16,\n\n  // Tables before columns\n  missing_table: 20,\n\n  // Columns before constraints\n  missing_column: 30,\n\n  // Reconciliation alters (on existing objects)\n  type_mismatch: 40,\n  nullability_mismatch: 41,\n  default_missing: 42,\n  default_mismatch: 43,\n\n  // Constraints after columns exist\n  primary_key_mismatch: 50,\n  unique_constraint_mismatch: 51,\n  index_mismatch: 52,\n  foreign_key_mismatch: 60,\n};\n\nfunction issueOrder(issue: SchemaIssue): number {\n  return ISSUE_KIND_ORDER[issue.kind] ?? 99;\n}\n\nfunction issueKey(issue: SchemaIssue): string {\n  const table = 'table' in issue && typeof issue.table === 'string' ? issue.table : '';\n  const column = 'column' in issue && typeof issue.column === 'string' ? issue.column : '';\n  const name =\n    'indexOrConstraint' in issue && typeof issue.indexOrConstraint === 'string'\n      ? issue.indexOrConstraint\n      : '';\n  return `${table}\\u0000${column}\\u0000${name}`;\n}\n\n// ============================================================================\n// Conflict helpers\n// ============================================================================\n\nfunction issueConflict(\n  kind: SqlPlannerConflict['kind'],\n  summary: string,\n  location?: SqlPlannerConflict['location'],\n): SqlPlannerConflict {\n  return {\n    kind,\n    summary,\n    why: 'Use `migration new` to author a custom migration for this change.',\n    ...(location ? { location } : {}),\n  };\n}\n\nfunction conflictKindForIssue(issue: SchemaIssue): SqlPlannerConflict['kind'] {\n  switch (issue.kind) {\n    case 'type_mismatch':\n      return 'typeMismatch';\n    case 'nullability_mismatch':\n      return 'nullabilityConflict';\n    case 'primary_key_mismatch':\n    case 'unique_constraint_mismatch':\n    case 'index_mismatch':\n    case 'extra_primary_key':\n    case 'extra_unique_constraint':\n      return 'indexIncompatible';\n    case 'foreign_key_mismatch':\n    case 'extra_foreign_key':\n      return 'foreignKeyConflict';\n    default:\n      return 'missingButNonAdditive';\n  }\n}\n\nfunction issueLocation(issue: SchemaIssue): SqlPlannerConflictLocation | undefined {\n  if (issue.kind === 'enum_values_changed') return undefined;\n  const location: {\n    table?: string;\n    column?: string;\n    constraint?: string;\n  } = {};\n  if (issue.table) location.table = issue.table;\n  if (issue.column) location.column = issue.column;\n  if (issue.indexOrConstraint) location.constraint = issue.indexOrConstraint;\n  return Object.keys(location).length > 0 ? (location as SqlPlannerConflictLocation) : undefined;\n}\n\nfunction conflictForDisallowedCall(\n  call: SqliteOpFactoryCall,\n  allowed: readonly string[],\n): SqlPlannerConflict {\n  const summary = `Operation \"${call.label}\" requires class \"${call.operationClass}\", but policy allows only: ${allowed.join(', ')}`;\n  const location = locationForCall(call);\n  return {\n    kind: conflictKindForCall(call),\n    summary,\n    why: 'Use `migration new` to author a custom migration for this change.',\n    ...(location ? { location } : {}),\n  };\n}\n\nfunction conflictKindForCall(call: SqliteOpFactoryCall): SqlPlannerConflict['kind'] {\n  switch (call.factoryName) {\n    case 'createIndex':\n    case 'dropIndex':\n      return 'indexIncompatible';\n    default:\n      return 'missingButNonAdditive';\n  }\n}\n\nfunction locationForCall(call: SqliteOpFactoryCall): SqlPlannerConflictLocation | undefined {\n  const location: { table?: string; column?: string; index?: string } = {};\n  if ('tableName' in call) location.table = call.tableName;\n  if ('columnName' in call) location.column = call.columnName;\n  if ('indexName' in call) location.index = call.indexName;\n  return Object.keys(location).length > 0 ? (location as SqlPlannerConflictLocation) : undefined;\n}\n\nfunction isMissing(issue: SchemaIssue): boolean {\n  if (issue.kind === 'enum_values_changed') return false;\n  return issue.actual === undefined;\n}\n\n// ============================================================================\n// StorageTable / StorageColumn → flat SqliteTableSpec\n// ============================================================================\n\n/**\n * Resolves codec / `typeRef` / default rendering into a flat\n * `SqliteColumnSpec`. Mirrors Postgres's `toColumnSpec`. Once a column is\n * flattened, downstream Calls and operation factories never see\n * `StorageColumn` again — they deal in pre-rendered SQL fragments.\n */\nexport function toColumnSpec(\n  name: string,\n  column: StorageColumn,\n  storageTypes: Readonly<Record<string, StorageTypeInstance | PostgresEnumStorageEntry>>,\n  inlineAutoincrementPrimaryKey = false,\n): SqliteColumnSpec {\n  const typeSql = buildColumnTypeSql(\n    column,\n    storageTypes as Record<string, StorageTypeInstance | PostgresEnumStorageEntry>,\n  );\n  const defaultSql = buildColumnDefaultSql(column.default);\n  return {\n    name,\n    typeSql,\n    defaultSql,\n    nullable: column.nullable,\n    ...(inlineAutoincrementPrimaryKey ? { inlineAutoincrementPrimaryKey: true } : {}),\n  };\n}\n\n/**\n * Flattens a `StorageTable` into a `SqliteTableSpec` ready for\n * `CreateTableCall` / `RecreateTableCall`. Sole-column AUTOINCREMENT\n * primary keys are detected here and marked on the column spec so the\n * renderer emits `INTEGER PRIMARY KEY AUTOINCREMENT` inline.\n */\nexport function toTableSpec(\n  table: StorageTable,\n  storageTypes: Readonly<Record<string, StorageTypeInstance | PostgresEnumStorageEntry>>,\n): SqliteTableSpec {\n  const columns: SqliteColumnSpec[] = Object.entries(table.columns).map(([name, column]) =>\n    toColumnSpec(name, column, storageTypes, isInlineAutoincrementPrimaryKey(table, name)),\n  );\n  const uniques: SqliteUniqueSpec[] = table.uniques.map((u) => ({\n    columns: u.columns,\n    ...(u.name !== undefined ? { name: u.name } : {}),\n  }));\n  const foreignKeys: SqliteForeignKeySpec[] = table.foreignKeys.map((fk) => ({\n    columns: fk.source.columns,\n    references: { table: fk.target.tableName, columns: fk.target.columns },\n    constraint: fk.constraint !== false,\n    ...(fk.name !== undefined ? { name: fk.name } : {}),\n    ...(fk.onDelete !== undefined ? { onDelete: fk.onDelete } : {}),\n    ...(fk.onUpdate !== undefined ? { onUpdate: fk.onUpdate } : {}),\n  }));\n  return {\n    columns,\n    ...(table.primaryKey ? { primaryKey: { columns: table.primaryKey.columns } } : {}),\n    uniques,\n    foreignKeys,\n  };\n}\n\n// ============================================================================\n// Issue planner\n// ============================================================================\n\nexport interface IssuePlannerOptions {\n  readonly issues: readonly SchemaIssue[];\n  readonly toContract: Contract<SqlStorage>;\n  readonly fromContract: Contract<SqlStorage> | null;\n  readonly codecHooks: ReadonlyMap<string, CodecControlHooks>;\n  readonly storageTypes: Readonly<Record<string, StorageTypeInstance | PostgresEnumStorageEntry>>;\n  readonly schema?: SqlSchemaIR;\n  readonly policy?: MigrationOperationPolicy;\n  readonly frameworkComponents?: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;\n  readonly strategies?: readonly CallMigrationStrategy[];\n}\n\nexport interface IssuePlannerValue {\n  readonly calls: readonly SqliteOpFactoryCall[];\n}\n\nconst DEFAULT_POLICY: MigrationOperationPolicy = {\n  allowedOperationClasses: ['additive', 'widening', 'destructive', 'data'],\n};\n\nfunction emptySchemaIR(): SqlSchemaIR {\n  return { tables: {} };\n}\n\n// ============================================================================\n// Issue → Call mapping (per-issue default path)\n// ============================================================================\n\nfunction mapIssueToCall(\n  issue: SchemaIssue,\n  ctx: StrategyContext,\n): Result<readonly SqliteOpFactoryCall[], SqlPlannerConflict> {\n  switch (issue.kind) {\n    case 'missing_table': {\n      if (!issue.table) {\n        return notOk(\n          issueConflict('unsupportedOperation', 'Missing table issue has no table name'),\n        );\n      }\n      const namespaceId = resolveNamespaceIdForIssue(issue);\n      const contractTable = tableAt(ctx.toContract.storage, namespaceId, issue.table);\n      if (!contractTable) {\n        return notOk(\n          issueConflict(\n            'unsupportedOperation',\n            `Table \"${issue.table}\" in namespace \"${namespaceId}\" reported missing but not found in destination contract`,\n          ),\n        );\n      }\n      const tableSpec = toTableSpec(contractTable, ctx.storageTypes);\n      const calls: SqliteOpFactoryCall[] = [new CreateTableCall(issue.table, tableSpec)];\n      const declaredIndexColumnKeys = new Set<string>();\n      for (const index of contractTable.indexes) {\n        const indexName = index.name ?? defaultIndexName(issue.table, index.columns);\n        declaredIndexColumnKeys.add(index.columns.join(','));\n        calls.push(new CreateIndexCall(issue.table, indexName, index.columns));\n      }\n      for (const fk of contractTable.foreignKeys) {\n        if (fk.index === false) continue;\n        if (declaredIndexColumnKeys.has(fk.source.columns.join(','))) continue;\n        const indexName = defaultIndexName(issue.table, fk.source.columns);\n        calls.push(new CreateIndexCall(issue.table, indexName, fk.source.columns));\n      }\n      return ok(calls);\n    }\n\n    case 'missing_column': {\n      if (!issue.table || !issue.column) {\n        return notOk(\n          issueConflict('unsupportedOperation', 'Missing column issue has no table/column name'),\n        );\n      }\n      const namespaceId = resolveNamespaceIdForIssue(issue);\n      const contractTable2 = tableAt(ctx.toContract.storage, namespaceId, issue.table);\n      const column = contractTable2?.columns[issue.column];\n      if (!column) {\n        return notOk(\n          issueConflict(\n            'unsupportedOperation',\n            `Column \"${issue.table}\".\"${issue.column}\" not in destination contract`,\n          ),\n        );\n      }\n      const contractTable = contractTable2;\n      const columnSpec = toColumnSpec(\n        issue.column,\n        column,\n        ctx.storageTypes,\n        contractTable ? isInlineAutoincrementPrimaryKey(contractTable, issue.column) : false,\n      );\n      return ok([new AddColumnCall(issue.table, columnSpec)]);\n    }\n\n    case 'index_mismatch': {\n      if (!issue.table) {\n        return notOk(issueConflict('indexIncompatible', 'Index issue has no table name'));\n      }\n      if (!isMissing(issue) || !issue.expected) {\n        return notOk(\n          issueConflict(\n            'indexIncompatible',\n            `Index on \"${issue.table}\" differs (expected: ${issue.expected}, actual: ${issue.actual})`,\n            { table: issue.table },\n          ),\n        );\n      }\n      const namespaceId = resolveNamespaceIdForIssue(issue);\n      const columns = issue.expected.split(', ');\n      const contractTable = tableAt(ctx.toContract.storage, namespaceId, issue.table);\n      if (!contractTable) {\n        return notOk(\n          issueConflict(\n            'unsupportedOperation',\n            `Table \"${issue.table}\" not found in destination contract`,\n          ),\n        );\n      }\n      const explicitIndex = contractTable.indexes.find(\n        (idx) => idx.columns.join(',') === columns.join(','),\n      );\n      const indexName = explicitIndex?.name ?? defaultIndexName(issue.table, columns);\n      return ok([new CreateIndexCall(issue.table, indexName, columns)]);\n    }\n\n    case 'extra_table': {\n      if (!issue.table) {\n        return notOk(issueConflict('unsupportedOperation', 'Extra table issue has no table name'));\n      }\n      // Runner-owned control tables must never be dropped.\n      if (CONTROL_TABLE_NAMES.has(issue.table)) return ok([]);\n      return ok([new DropTableCall(issue.table)]);\n    }\n\n    case 'extra_column': {\n      if (!issue.table || !issue.column) {\n        return notOk(\n          issueConflict('unsupportedOperation', 'Extra column issue has no table/column name'),\n        );\n      }\n      return ok([new DropColumnCall(issue.table, issue.column)]);\n    }\n\n    case 'extra_index': {\n      if (!issue.table || !issue.indexOrConstraint) {\n        return notOk(\n          issueConflict('unsupportedOperation', 'Extra index issue has no table/index name'),\n        );\n      }\n      return ok([new DropIndexCall(issue.table, issue.indexOrConstraint)]);\n    }\n\n    // SQLite has no enum types (capability `sql.enums: false`). The verifier\n    // should never emit `enum_values_changed` against a SQLite schema, so if\n    // we receive one it is a verifier bug — surface it as an explicit\n    // conflict rather than silently dropping it.\n    case 'enum_values_changed':\n      return notOk(\n        issueConflict(\n          'unsupportedOperation',\n          'Received enum_values_changed against a SQLite schema (sql.enums: false) — verifier bug',\n        ),\n      );\n\n    // Everything below is absorbed by recreateTableStrategy. If it falls\n    // through here, policy or context didn't allow the recreate — surface as\n    // a conflict.\n    case 'type_mismatch':\n    case 'nullability_mismatch':\n    case 'default_mismatch':\n    case 'default_missing':\n    case 'extra_default':\n    case 'primary_key_mismatch':\n    case 'unique_constraint_mismatch':\n    case 'foreign_key_mismatch':\n    case 'extra_foreign_key':\n    case 'extra_unique_constraint':\n    case 'extra_primary_key':\n      return notOk(issueConflict(conflictKindForIssue(issue), issue.message, issueLocation(issue)));\n\n    default:\n      return notOk(\n        issueConflict(\n          'unsupportedOperation',\n          `Unhandled issue kind: ${(issue as SchemaIssue).kind}`,\n        ),\n      );\n  }\n}\n\n// ============================================================================\n// Call categorization for final emission order\n// ============================================================================\n\ntype CallCategory =\n  | 'drop-column'\n  | 'drop-index'\n  | 'drop-table'\n  | 'create-table'\n  | 'add-column'\n  | 'create-index';\n\nfunction classifyCall(call: SqliteOpFactoryCall): CallCategory | null {\n  switch (call.factoryName) {\n    case 'createTable':\n      return 'create-table';\n    case 'addColumn':\n      return 'add-column';\n    case 'createIndex':\n      return 'create-index';\n    case 'dropColumn':\n      return 'drop-column';\n    case 'dropIndex':\n      return 'drop-index';\n    case 'dropTable':\n      return 'drop-table';\n    // recreateTable goes into the recipe slot; return null for bucketable.\n    case 'recreateTable':\n      return null;\n    default:\n      return null;\n  }\n}\n\n// ============================================================================\n// Top-level planIssues\n// ============================================================================\n\nexport function planIssues(\n  options: IssuePlannerOptions,\n): Result<IssuePlannerValue, readonly SqlPlannerConflict[]> {\n  const policyProvided = options.policy !== undefined;\n  const policy = options.policy ?? DEFAULT_POLICY;\n  const schema = options.schema ?? emptySchemaIR();\n  const frameworkComponents = options.frameworkComponents ?? [];\n\n  const context: StrategyContext = {\n    toContract: options.toContract,\n    fromContract: options.fromContract,\n    codecHooks: options.codecHooks,\n    storageTypes: options.storageTypes,\n    schema,\n    policy,\n    frameworkComponents,\n  };\n\n  const strategies = options.strategies ?? sqlitePlannerStrategies;\n\n  let remaining = options.issues;\n  const recipeCalls: SqliteOpFactoryCall[] = [];\n  const bucketableCalls: SqliteOpFactoryCall[] = [];\n\n  for (const strategy of strategies) {\n    const result = strategy(remaining, context);\n    if (result.kind === 'match') {\n      remaining = result.issues;\n      if (result.recipe) {\n        recipeCalls.push(...result.calls);\n      } else {\n        bucketableCalls.push(...result.calls);\n      }\n    }\n  }\n\n  const sorted = [...remaining].sort((a, b) => {\n    const kindDelta = issueOrder(a) - issueOrder(b);\n    if (kindDelta !== 0) return kindDelta;\n    const keyA = issueKey(a);\n    const keyB = issueKey(b);\n    return keyA < keyB ? -1 : keyA > keyB ? 1 : 0;\n  });\n\n  const defaultCalls: SqliteOpFactoryCall[] = [];\n  const conflicts: SqlPlannerConflict[] = [];\n\n  for (const issue of sorted) {\n    const result = mapIssueToCall(issue, context);\n    if (result.ok) {\n      defaultCalls.push(...result.value);\n    } else {\n      conflicts.push(result.failure);\n    }\n  }\n\n  // Policy gating for recipe + bucketable. Default-mapped calls for disallowed\n  // classes never get here (they're surfaced as per-issue conflicts above).\n  const allowed = policy.allowedOperationClasses;\n  let gatedRecipe = recipeCalls;\n  let gatedBucketable = bucketableCalls;\n  let gatedDefault = defaultCalls;\n  if (policyProvided) {\n    const sink = (acc: SqliteOpFactoryCall[]) => (call: SqliteOpFactoryCall) => {\n      if (allowed.includes(call.operationClass)) {\n        acc.push(call);\n        return;\n      }\n      conflicts.push(conflictForDisallowedCall(call, allowed));\n    };\n    const gatedRecipeBucket: SqliteOpFactoryCall[] = [];\n    const gatedBucketableBucket: SqliteOpFactoryCall[] = [];\n    const gatedDefaultBucket: SqliteOpFactoryCall[] = [];\n    recipeCalls.forEach(sink(gatedRecipeBucket));\n    bucketableCalls.forEach(sink(gatedBucketableBucket));\n    defaultCalls.forEach(sink(gatedDefaultBucket));\n    gatedRecipe = gatedRecipeBucket;\n    gatedBucketable = gatedBucketableBucket;\n    gatedDefault = gatedDefaultBucket;\n  }\n\n  if (conflicts.length > 0) {\n    return notOk(conflicts);\n  }\n\n  // Final emission order matches the current monolithic planner:\n  //   create-table → add-column → create-index → recreate → drop-column → drop-index → drop-table\n  const combined = [...gatedDefault, ...gatedBucketable];\n  const byCategory = (cat: CallCategory) => combined.filter((c) => classifyCall(c) === cat);\n\n  const calls: SqliteOpFactoryCall[] = [\n    ...byCategory('create-table'),\n    ...byCategory('add-column'),\n    ...byCategory('create-index'),\n    ...gatedRecipe,\n    ...byCategory('drop-column'),\n    ...byCategory('drop-index'),\n    ...byCategory('drop-table'),\n  ];\n\n  return ok({ calls });\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type {\n  MigrationOperationPolicy,\n  SqlMigrationPlanner,\n  SqlMigrationPlannerPlanOptions,\n  SqlPlannerFailureResult,\n} from '@prisma-next/family-sql/control';\nimport {\n  extractCodecControlHooks,\n  planFieldEventOperations,\n  plannerFailure,\n} from '@prisma-next/family-sql/control';\nimport { verifySqlSchema } from '@prisma-next/family-sql/schema-verify';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type {\n  MigrationPlanner,\n  MigrationScaffoldContext,\n  SchemaIssue,\n} from '@prisma-next/framework-components/control';\nimport { parseSqliteDefault } from '../default-normalizer';\nimport { normalizeSqliteNativeType } from '../native-type-normalizer';\nimport { planIssues } from './issue-planner';\nimport {\n  type SqliteMigrationDestinationInfo,\n  TypeScriptRenderableSqliteMigration,\n} from './planner-produced-sqlite-migration';\nimport { sqlitePlannerStrategies } from './planner-strategies';\nimport type { SqlitePlanTargetDetails } from './planner-target-details';\n\nexport function createSqliteMigrationPlanner(): SqliteMigrationPlanner {\n  return new SqliteMigrationPlanner();\n}\n\nexport type SqlitePlanResult =\n  | { readonly kind: 'success'; readonly plan: TypeScriptRenderableSqliteMigration }\n  | SqlPlannerFailureResult;\n\n/**\n * SQLite migration planner — a thin wrapper over `planIssues`.\n *\n * `plan()` verifies the live schema against the target contract (producing\n * `SchemaIssue[]`) and delegates to `planIssues` with the registered\n * strategies. Strategies absorb groups of related issues into composite\n * recipes (e.g. recreating a table to apply type/nullability/default/\n * constraint changes at once); anything not absorbed by a strategy flows\n * through `mapIssueToCall` in the issue planner as a one-off call.\n *\n * FK-backing indexes are surfaced by `verifySqlSchema`'s index expansion\n * (see `verify-sql-schema.ts:459-469`), so `mapIssueToCall` handles them\n * uniformly alongside user-declared indexes.\n */\nexport class SqliteMigrationPlanner\n  implements SqlMigrationPlanner<SqlitePlanTargetDetails>, MigrationPlanner<'sql', 'sqlite'>\n{\n  plan(options: {\n    readonly contract: unknown;\n    readonly schema: unknown;\n    readonly policy: MigrationOperationPolicy;\n    /**\n     * The \"from\" contract (state the planner assumes the database starts at),\n     * or `null` for reconciliation flows.\n     *\n     * Typed as the framework `Contract | null` to satisfy the\n     * `MigrationPlanner` interface contract; `planSql` narrows to the SQL\n     * shape via `SqlMigrationPlannerPlanOptions`. Used to populate\n     * `describe().from` on the produced plan as\n     * `fromContract?.storage.storageHash ?? null`.\n     */\n    readonly fromContract: Contract | null;\n    readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;\n    /**\n     * Contract space this plan applies to. Stamped onto the produced\n     * {@link TypeScriptRenderableSqliteMigration.spaceId} so the runner keys\n     * the marker row by the right space.\n     */\n    readonly spaceId: string;\n  }): SqlitePlanResult {\n    return this.planSql(options as SqlMigrationPlannerPlanOptions);\n  }\n\n  emptyMigration(\n    context: MigrationScaffoldContext,\n    spaceId: string,\n  ): TypeScriptRenderableSqliteMigration {\n    return new TypeScriptRenderableSqliteMigration(\n      [],\n      {\n        from: context.fromHash,\n        to: context.toHash,\n      },\n      spaceId,\n    );\n  }\n\n  private planSql(options: SqlMigrationPlannerPlanOptions): SqlitePlanResult {\n    const policyResult = this.ensureAdditivePolicy(options.policy);\n    if (policyResult) return policyResult;\n\n    const schemaIssues = this.collectSchemaIssues(options);\n    const codecHooks = extractCodecControlHooks(options.frameworkComponents);\n    const storageTypes = options.contract.storage.types ?? {};\n\n    const result = planIssues({\n      issues: schemaIssues,\n      toContract: options.contract,\n      fromContract: options.fromContract,\n      codecHooks,\n      storageTypes,\n      schema: options.schema,\n      policy: options.policy,\n      frameworkComponents: options.frameworkComponents,\n      strategies: sqlitePlannerStrategies,\n    });\n\n    if (!result.ok) {\n      return plannerFailure(result.failure);\n    }\n\n    // Codec lifecycle hook (T2.2): inline `onFieldEvent`-emitted ops after\n    // structural DDL. Sub-spec § 5 fixes the ordering as\n    // `structural → added → dropped → altered`, with within-group sorting by\n    // `(tableName, fieldName)` deterministic for byte-stable re-emits.\n    // Hook fires only at the application emitter — extension-space planning\n    // (M2 R2) never reaches this helper.\n    const fieldEventOps = planFieldEventOperations({\n      priorContract: options.fromContract,\n      newContract: options.contract,\n      codecHooks,\n    });\n    // Codec-emitted calls already conform to `OpFactoryCall` — render +\n    // toOp + importRequirements ride directly through the same emit path\n    // as structural ops, no `RawSqlCall` wrap.\n    const calls = [...result.value.calls, ...fieldEventOps];\n\n    const destination: SqliteMigrationDestinationInfo = {\n      storageHash: options.contract.storage.storageHash,\n      ...(options.contract.profileHash !== undefined\n        ? { profileHash: options.contract.profileHash }\n        : {}),\n    };\n\n    return {\n      kind: 'success' as const,\n      plan: new TypeScriptRenderableSqliteMigration(\n        calls,\n        {\n          from: options.fromContract?.storage.storageHash ?? null,\n          to: options.contract.storage.storageHash,\n        },\n        options.spaceId,\n        destination,\n      ),\n    };\n  }\n\n  private ensureAdditivePolicy(policy: MigrationOperationPolicy): SqlPlannerFailureResult | null {\n    if (!policy.allowedOperationClasses.includes('additive')) {\n      return plannerFailure([\n        {\n          kind: 'unsupportedOperation',\n          summary: 'Migration planner requires additive operations be allowed',\n          why: 'The planner requires the \"additive\" operation class to be allowed in the policy.',\n        },\n      ]);\n    }\n    return null;\n  }\n\n  private collectSchemaIssues(options: SqlMigrationPlannerPlanOptions): readonly SchemaIssue[] {\n    const allowed = options.policy.allowedOperationClasses;\n    const strict = allowed.includes('widening') || allowed.includes('destructive');\n    const verifyResult = verifySqlSchema({\n      contract: options.contract,\n      schema: options.schema,\n      strict,\n      typeMetadataRegistry: new Map(),\n      frameworkComponents: options.frameworkComponents,\n      normalizeDefault: parseSqliteDefault,\n      normalizeNativeType: normalizeSqliteNativeType,\n    });\n    return verifyResult.schema.issues;\n  }\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;AA0DA,SAAgB,QACd,SACA,aACA,WAC0B;CAC1B,OAAO,QAAQ,WAAW,cAAc,OAAO;AACjD;;;;;;;;;AAUA,SAAgB,2BAA2B,OAAkD;CAC3F,OAAO,MAAM,eAAe;AAC9B;AAkBA,MAAM,uBAAuB,IAAI,IAAyB,CAAC,oBAAoB,iBAAiB,CAAC;AAEjG,MAAM,0BAA0B,IAAI,IAAyB;CAC3D;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF,CAAC;AAED,SAAS,cAAc,OAAuD;CAC5E,IAAI,MAAM,SAAS,uBAAuB,OAAO;CACjD,IAAI,CAAC,MAAM,OAAO,OAAO;CACzB,IAAI,MAAM,SAAS,wBAEjB,OAAO,MAAM,aAAa,SAAS,aAAa;CAElD,IAAI,qBAAqB,IAAI,MAAM,IAAI,GAAG,OAAO;CACjD,IAAI,wBAAwB,IAAI,MAAM,IAAI,GAAG,OAAO;CACpD,OAAO;AACT;;;;;;;AAQA,MAAa,yBAAgD,QAAQ,QAAQ;CAC3E,MAAM,0BAAU,IAAI,IAGlB;CACF,MAAM,2BAAW,IAAI,IAAiB;CAEtC,KAAK,MAAM,SAAS,QAAQ;EAC1B,MAAM,MAAM,cAAc,KAAK;EAC/B,IAAI,CAAC,KAAK;EACV,IAAI,MAAM,SAAS,uBAAuB;EAC1C,IAAI,CAAC,MAAM,OAAO;EAClB,MAAM,QAAQ,MAAM;EACpB,MAAM,QAAQ,QAAQ,IAAI,KAAK;EAC/B,IAAI,OAAO;GACT,MAAM,OAAO,KAAK,KAAK;GACvB,IAAI,QAAQ,eAAe,MAAM,iBAAiB;EACpD,OACE,QAAQ,IAAI,OAAO;GACjB,QAAQ,CAAC,KAAK;GACd,gBAAgB,QAAQ;GACxB,aAAa,2BAA2B,KAAK;EAC/C,CAAC;EAEH,SAAS,IAAI,KAAK;CACpB;CAEA,IAAI,QAAQ,SAAS,GAAG,OAAO,EAAE,MAAM,WAAW;CAElD,MAAM,QAA+B,CAAC;CACtC,KAAK,MAAM,CAAC,WAAW,UAAU,SAAS;EACxC,MAAM,gBAAgB,QAAQ,IAAI,WAAW,SAAS,MAAM,aAAa,SAAS;EAClF,MAAM,cAAc,IAAI,OAAO,OAAO;EACtC,IAAI,CAAC,iBAAiB,CAAC,aAAa;EACpC,MAAM,iBAA0C,MAAM,iBAClD,gBACA;EAIJ,MAAM,YAAY,YAAY,eAAe,IAAI,YAAY;EAE7D,MAAM,sCAAsB,IAAI,IAAY;EAC5C,MAAM,UAA6B,CAAC;EACpC,KAAK,MAAM,OAAO,cAAc,SAAS;GACvC,MAAM,MAAM,IAAI,QAAQ,KAAK,GAAG;GAChC,IAAI,oBAAoB,IAAI,GAAG,GAAG;GAClC,oBAAoB,IAAI,GAAG;GAC3B,QAAQ,KAAK;IACX,MAAM,IAAI,QAAQ,iBAAiB,WAAW,IAAI,OAAO;IACzD,SAAS,IAAI;GACf,CAAC;EACH;EACA,KAAK,MAAM,MAAM,cAAc,aAAa;GAC1C,IAAI,GAAG,UAAU,OAAO;GACxB,MAAM,MAAM,GAAG,OAAO,QAAQ,KAAK,GAAG;GACtC,IAAI,oBAAoB,IAAI,GAAG,GAAG;GAClC,oBAAoB,IAAI,GAAG;GAC3B,QAAQ,KAAK;IACX,MAAM,iBAAiB,WAAW,GAAG,OAAO,OAAO;IACnD,SAAS,GAAG,OAAO;GACrB,CAAC;EACH;EAEA,MAAM,KACJ,IAAI,kBAAkB;GACpB;GACA,eAAe;GACf,mBAAmB,OAAO,KAAK,YAAY,OAAO;GAClD;GACA,SAAS,qBAAqB,WAAW,MAAM,MAAM;GACrD,YAAY,wBAAwB,WAAW,MAAM,QAAQ,SAAS;GACtE;EACF,CAAC,CACH;CACF;CAEA,OAAO;EACL,MAAM;EACN,QAAQ,OAAO,QAAQ,MAAM,CAAC,SAAS,IAAI,CAAC,CAAC;EAC7C;EACA,QAAQ;CACV;AACF;;;;;;;;;;;;;;;;;;;;;AA0BA,MAAa,yCAAgE,QAAQ,QAAQ;CAC3F,IAAI,CAAC,IAAI,OAAO,wBAAwB,SAAS,MAAM,GACrD,OAAO,EAAE,MAAM,WAAW;CAG5B,MAAM,QAA+B,CAAC;CACtC,KAAK,MAAM,SAAS,QAAQ;EAC1B,IAAI,MAAM,SAAS,wBAAwB;EAC3C,IAAI,CAAC,MAAM,SAAS,CAAC,MAAM,QAAQ;EAInC,IAAI,MAAM,aAAa,QAAQ;EAE/B,MAAM,cAAc,2BAA2B,KAAK;EACpD,MAAM,SAAS,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,KAAK,GAAG,QAAQ,MAAM;EACxF,IAAI,CAAC,UAAU,OAAO,aAAa,MAAM;EAEzC,MAAM,KACJ,IAAI,kBACF,2BAA2B,MAAM,MAAM,GAAG,MAAM,UAChD,sBAAsB,MAAM,MAAM,KAAK,MAAM,OAAO,+BACpD,MAAM,OACN,MAAM,MACR,CACF;CACF;CAEA,IAAI,MAAM,WAAW,GAAG,OAAO,EAAE,MAAM,WAAW;CAElD,OAAO;EACL,MAAM;EACN;EACA;EACA,QAAQ;CACV;AACF;AAEA,MAAa,0BAA4D,CACvE,uCACA,qBACF;;;AClNA,MAAM,mBAA2C;CAE/C,mBAAmB;CACnB,yBAAyB;CACzB,mBAAmB;CACnB,aAAa;CACb,eAAe;CACf,cAAc;CACd,aAAa;CAGb,eAAe;CAGf,gBAAgB;CAGhB,eAAe;CACf,sBAAsB;CACtB,iBAAiB;CACjB,kBAAkB;CAGlB,sBAAsB;CACtB,4BAA4B;CAC5B,gBAAgB;CAChB,sBAAsB;AACxB;AAEA,SAAS,WAAW,OAA4B;CAC9C,OAAO,iBAAiB,MAAM,SAAS;AACzC;AAEA,SAAS,SAAS,OAA4B;CAO5C,OAAO,GANO,WAAW,SAAS,OAAO,MAAM,UAAU,WAAW,MAAM,QAAQ,GAMlE,QALD,YAAY,SAAS,OAAO,MAAM,WAAW,WAAW,MAAM,SAAS,GAKvD,QAH7B,uBAAuB,SAAS,OAAO,MAAM,sBAAsB,WAC/D,MAAM,oBACN;AAER;AAMA,SAAS,cACP,MACA,SACA,UACoB;CACpB,OAAO;EACL;EACA;EACA,KAAK;EACL,GAAI,WAAW,EAAE,SAAS,IAAI,CAAC;CACjC;AACF;AAEA,SAAS,qBAAqB,OAAgD;CAC5E,QAAQ,MAAM,MAAd;EACE,KAAK,iBACH,OAAO;EACT,KAAK,wBACH,OAAO;EACT,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK,2BACH,OAAO;EACT,KAAK;EACL,KAAK,qBACH,OAAO;EACT,SACE,OAAO;CACX;AACF;AAEA,SAAS,cAAc,OAA4D;CACjF,IAAI,MAAM,SAAS,uBAAuB,OAAO,KAAA;CACjD,MAAM,WAIF,CAAC;CACL,IAAI,MAAM,OAAO,SAAS,QAAQ,MAAM;CACxC,IAAI,MAAM,QAAQ,SAAS,SAAS,MAAM;CAC1C,IAAI,MAAM,mBAAmB,SAAS,aAAa,MAAM;CACzD,OAAO,OAAO,KAAK,QAAQ,EAAE,SAAS,IAAK,WAA0C,KAAA;AACvF;AAEA,SAAS,0BACP,MACA,SACoB;CACpB,MAAM,UAAU,cAAc,KAAK,MAAM,oBAAoB,KAAK,eAAe,6BAA6B,QAAQ,KAAK,IAAI;CAC/H,MAAM,WAAW,gBAAgB,IAAI;CACrC,OAAO;EACL,MAAM,oBAAoB,IAAI;EAC9B;EACA,KAAK;EACL,GAAI,WAAW,EAAE,SAAS,IAAI,CAAC;CACjC;AACF;AAEA,SAAS,oBAAoB,MAAuD;CAClF,QAAQ,KAAK,aAAb;EACE,KAAK;EACL,KAAK,aACH,OAAO;EACT,SACE,OAAO;CACX;AACF;AAEA,SAAS,gBAAgB,MAAmE;CAC1F,MAAM,WAAgE,CAAC;CACvE,IAAI,eAAe,MAAM,SAAS,QAAQ,KAAK;CAC/C,IAAI,gBAAgB,MAAM,SAAS,SAAS,KAAK;CACjD,IAAI,eAAe,MAAM,SAAS,QAAQ,KAAK;CAC/C,OAAO,OAAO,KAAK,QAAQ,EAAE,SAAS,IAAK,WAA0C,KAAA;AACvF;AAEA,SAAS,UAAU,OAA6B;CAC9C,IAAI,MAAM,SAAS,uBAAuB,OAAO;CACjD,OAAO,MAAM,WAAW,KAAA;AAC1B;;;;;;;AAYA,SAAgB,aACd,MACA,QACA,cACA,gCAAgC,OACd;CAMlB,OAAO;EACL;EACA,SAPc,mBACd,QACA,YAKM;EACN,YAJiB,sBAAsB,OAAO,OAIrC;EACT,UAAU,OAAO;EACjB,GAAI,gCAAgC,EAAE,+BAA+B,KAAK,IAAI,CAAC;CACjF;AACF;;;;;;;AAQA,SAAgB,YACd,OACA,cACiB;CACjB,MAAM,UAA8B,OAAO,QAAQ,MAAM,OAAO,EAAE,KAAK,CAAC,MAAM,YAC5E,aAAa,MAAM,QAAQ,cAAc,gCAAgC,OAAO,IAAI,CAAC,CACvF;CACA,MAAM,UAA8B,MAAM,QAAQ,KAAK,OAAO;EAC5D,SAAS,EAAE;EACX,GAAI,EAAE,SAAS,KAAA,IAAY,EAAE,MAAM,EAAE,KAAK,IAAI,CAAC;CACjD,EAAE;CACF,MAAM,cAAsC,MAAM,YAAY,KAAK,QAAQ;EACzE,SAAS,GAAG,OAAO;EACnB,YAAY;GAAE,OAAO,GAAG,OAAO;GAAW,SAAS,GAAG,OAAO;EAAQ;EACrE,YAAY,GAAG,eAAe;EAC9B,GAAI,GAAG,SAAS,KAAA,IAAY,EAAE,MAAM,GAAG,KAAK,IAAI,CAAC;EACjD,GAAI,GAAG,aAAa,KAAA,IAAY,EAAE,UAAU,GAAG,SAAS,IAAI,CAAC;EAC7D,GAAI,GAAG,aAAa,KAAA,IAAY,EAAE,UAAU,GAAG,SAAS,IAAI,CAAC;CAC/D,EAAE;CACF,OAAO;EACL;EACA,GAAI,MAAM,aAAa,EAAE,YAAY,EAAE,SAAS,MAAM,WAAW,QAAQ,EAAE,IAAI,CAAC;EAChF;EACA;CACF;AACF;AAsBA,MAAM,iBAA2C,EAC/C,yBAAyB;CAAC;CAAY;CAAY;CAAe;AAAM,EACzE;AAEA,SAAS,gBAA6B;CACpC,OAAO,EAAE,QAAQ,CAAC,EAAE;AACtB;AAMA,SAAS,eACP,OACA,KAC4D;CAC5D,QAAQ,MAAM,MAAd;EACE,KAAK,iBAAiB;GACpB,IAAI,CAAC,MAAM,OACT,OAAO,MACL,cAAc,wBAAwB,uCAAuC,CAC/E;GAEF,MAAM,cAAc,2BAA2B,KAAK;GACpD,MAAM,gBAAgB,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,KAAK;GAC9E,IAAI,CAAC,eACH,OAAO,MACL,cACE,wBACA,UAAU,MAAM,MAAM,kBAAkB,YAAY,yDACtD,CACF;GAEF,MAAM,YAAY,YAAY,eAAe,IAAI,YAAY;GAC7D,MAAM,QAA+B,CAAC,IAAI,gBAAgB,MAAM,OAAO,SAAS,CAAC;GACjF,MAAM,0CAA0B,IAAI,IAAY;GAChD,KAAK,MAAM,SAAS,cAAc,SAAS;IACzC,MAAM,YAAY,MAAM,QAAQ,iBAAiB,MAAM,OAAO,MAAM,OAAO;IAC3E,wBAAwB,IAAI,MAAM,QAAQ,KAAK,GAAG,CAAC;IACnD,MAAM,KAAK,IAAI,gBAAgB,MAAM,OAAO,WAAW,MAAM,OAAO,CAAC;GACvE;GACA,KAAK,MAAM,MAAM,cAAc,aAAa;IAC1C,IAAI,GAAG,UAAU,OAAO;IACxB,IAAI,wBAAwB,IAAI,GAAG,OAAO,QAAQ,KAAK,GAAG,CAAC,GAAG;IAC9D,MAAM,YAAY,iBAAiB,MAAM,OAAO,GAAG,OAAO,OAAO;IACjE,MAAM,KAAK,IAAI,gBAAgB,MAAM,OAAO,WAAW,GAAG,OAAO,OAAO,CAAC;GAC3E;GACA,OAAO,GAAG,KAAK;EACjB;EAEA,KAAK,kBAAkB;GACrB,IAAI,CAAC,MAAM,SAAS,CAAC,MAAM,QACzB,OAAO,MACL,cAAc,wBAAwB,+CAA+C,CACvF;GAEF,MAAM,cAAc,2BAA2B,KAAK;GACpD,MAAM,iBAAiB,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,KAAK;GAC/E,MAAM,SAAS,gBAAgB,QAAQ,MAAM;GAC7C,IAAI,CAAC,QACH,OAAO,MACL,cACE,wBACA,WAAW,MAAM,MAAM,KAAK,MAAM,OAAO,8BAC3C,CACF;GAEF,MAAM,gBAAgB;GACtB,MAAM,aAAa,aACjB,MAAM,QACN,QACA,IAAI,cACJ,gBAAgB,gCAAgC,eAAe,MAAM,MAAM,IAAI,KACjF;GACA,OAAO,GAAG,CAAC,IAAI,cAAc,MAAM,OAAO,UAAU,CAAC,CAAC;EACxD;EAEA,KAAK,kBAAkB;GACrB,IAAI,CAAC,MAAM,OACT,OAAO,MAAM,cAAc,qBAAqB,+BAA+B,CAAC;GAElF,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,MAAM,UAC9B,OAAO,MACL,cACE,qBACA,aAAa,MAAM,MAAM,uBAAuB,MAAM,SAAS,YAAY,MAAM,OAAO,IACxF,EAAE,OAAO,MAAM,MAAM,CACvB,CACF;GAEF,MAAM,cAAc,2BAA2B,KAAK;GACpD,MAAM,UAAU,MAAM,SAAS,MAAM,IAAI;GACzC,MAAM,gBAAgB,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,KAAK;GAC9E,IAAI,CAAC,eACH,OAAO,MACL,cACE,wBACA,UAAU,MAAM,MAAM,oCACxB,CACF;GAKF,MAAM,YAHgB,cAAc,QAAQ,MACzC,QAAQ,IAAI,QAAQ,KAAK,GAAG,MAAM,QAAQ,KAAK,GAAG,CAEvB,GAAG,QAAQ,iBAAiB,MAAM,OAAO,OAAO;GAC9E,OAAO,GAAG,CAAC,IAAI,gBAAgB,MAAM,OAAO,WAAW,OAAO,CAAC,CAAC;EAClE;EAEA,KAAK;GACH,IAAI,CAAC,MAAM,OACT,OAAO,MAAM,cAAc,wBAAwB,qCAAqC,CAAC;GAG3F,IAAI,oBAAoB,IAAI,MAAM,KAAK,GAAG,OAAO,GAAG,CAAC,CAAC;GACtD,OAAO,GAAG,CAAC,IAAI,cAAc,MAAM,KAAK,CAAC,CAAC;EAG5C,KAAK;GACH,IAAI,CAAC,MAAM,SAAS,CAAC,MAAM,QACzB,OAAO,MACL,cAAc,wBAAwB,6CAA6C,CACrF;GAEF,OAAO,GAAG,CAAC,IAAI,eAAe,MAAM,OAAO,MAAM,MAAM,CAAC,CAAC;EAG3D,KAAK;GACH,IAAI,CAAC,MAAM,SAAS,CAAC,MAAM,mBACzB,OAAO,MACL,cAAc,wBAAwB,2CAA2C,CACnF;GAEF,OAAO,GAAG,CAAC,IAAI,cAAc,MAAM,OAAO,MAAM,iBAAiB,CAAC,CAAC;EAOrE,KAAK,uBACH,OAAO,MACL,cACE,wBACA,wFACF,CACF;EAKF,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK,qBACH,OAAO,MAAM,cAAc,qBAAqB,KAAK,GAAG,MAAM,SAAS,cAAc,KAAK,CAAC,CAAC;EAE9F,SACE,OAAO,MACL,cACE,wBACA,yBAA0B,MAAsB,MAClD,CACF;CACJ;AACF;AAcA,SAAS,aAAa,MAAgD;CACpE,QAAQ,KAAK,aAAb;EACE,KAAK,eACH,OAAO;EACT,KAAK,aACH,OAAO;EACT,KAAK,eACH,OAAO;EACT,KAAK,cACH,OAAO;EACT,KAAK,aACH,OAAO;EACT,KAAK,aACH,OAAO;EAET,KAAK,iBACH,OAAO;EACT,SACE,OAAO;CACX;AACF;AAMA,SAAgB,WACd,SAC0D;CAC1D,MAAM,iBAAiB,QAAQ,WAAW,KAAA;CAC1C,MAAM,SAAS,QAAQ,UAAU;CACjC,MAAM,SAAS,QAAQ,UAAU,cAAc;CAC/C,MAAM,sBAAsB,QAAQ,uBAAuB,CAAC;CAE5D,MAAM,UAA2B;EAC/B,YAAY,QAAQ;EACpB,cAAc,QAAQ;EACtB,YAAY,QAAQ;EACpB,cAAc,QAAQ;EACtB;EACA;EACA;CACF;CAEA,MAAM,aAAa,QAAQ,cAAc;CAEzC,IAAI,YAAY,QAAQ;CACxB,MAAM,cAAqC,CAAC;CAC5C,MAAM,kBAAyC,CAAC;CAEhD,KAAK,MAAM,YAAY,YAAY;EACjC,MAAM,SAAS,SAAS,WAAW,OAAO;EAC1C,IAAI,OAAO,SAAS,SAAS;GAC3B,YAAY,OAAO;GACnB,IAAI,OAAO,QACT,YAAY,KAAK,GAAG,OAAO,KAAK;QAEhC,gBAAgB,KAAK,GAAG,OAAO,KAAK;EAExC;CACF;CAEA,MAAM,SAAS,CAAC,GAAG,SAAS,EAAE,MAAM,GAAG,MAAM;EAC3C,MAAM,YAAY,WAAW,CAAC,IAAI,WAAW,CAAC;EAC9C,IAAI,cAAc,GAAG,OAAO;EAC5B,MAAM,OAAO,SAAS,CAAC;EACvB,MAAM,OAAO,SAAS,CAAC;EACvB,OAAO,OAAO,OAAO,KAAK,OAAO,OAAO,IAAI;CAC9C,CAAC;CAED,MAAM,eAAsC,CAAC;CAC7C,MAAM,YAAkC,CAAC;CAEzC,KAAK,MAAM,SAAS,QAAQ;EAC1B,MAAM,SAAS,eAAe,OAAO,OAAO;EAC5C,IAAI,OAAO,IACT,aAAa,KAAK,GAAG,OAAO,KAAK;OAEjC,UAAU,KAAK,OAAO,OAAO;CAEjC;CAIA,MAAM,UAAU,OAAO;CACvB,IAAI,cAAc;CAClB,IAAI,kBAAkB;CACtB,IAAI,eAAe;CACnB,IAAI,gBAAgB;EAClB,MAAM,QAAQ,SAAgC,SAA8B;GAC1E,IAAI,QAAQ,SAAS,KAAK,cAAc,GAAG;IACzC,IAAI,KAAK,IAAI;IACb;GACF;GACA,UAAU,KAAK,0BAA0B,MAAM,OAAO,CAAC;EACzD;EACA,MAAM,oBAA2C,CAAC;EAClD,MAAM,wBAA+C,CAAC;EACtD,MAAM,qBAA4C,CAAC;EACnD,YAAY,QAAQ,KAAK,iBAAiB,CAAC;EAC3C,gBAAgB,QAAQ,KAAK,qBAAqB,CAAC;EACnD,aAAa,QAAQ,KAAK,kBAAkB,CAAC;EAC7C,cAAc;EACd,kBAAkB;EAClB,eAAe;CACjB;CAEA,IAAI,UAAU,SAAS,GACrB,OAAO,MAAM,SAAS;CAKxB,MAAM,WAAW,CAAC,GAAG,cAAc,GAAG,eAAe;CACrD,MAAM,cAAc,QAAsB,SAAS,QAAQ,MAAM,aAAa,CAAC,MAAM,GAAG;CAYxF,OAAO,GAAG,EAAE,OAAA;EATV,GAAG,WAAW,cAAc;EAC5B,GAAG,WAAW,YAAY;EAC1B,GAAG,WAAW,cAAc;EAC5B,GAAG;EACH,GAAG,WAAW,aAAa;EAC3B,GAAG,WAAW,YAAY;EAC1B,GAAG,WAAW,YAAY;CAGZ,EAAE,CAAC;AACrB;;;ACjjBA,SAAgB,+BAAuD;CACrE,OAAO,IAAI,uBAAuB;AACpC;;;;;;;;;;;;;;;AAoBA,IAAa,yBAAb,MAEA;CACE,KAAK,SAsBgB;EACnB,OAAO,KAAK,QAAQ,OAAyC;CAC/D;CAEA,eACE,SACA,SACqC;EACrC,OAAO,IAAI,oCACT,CAAC,GACD;GACE,MAAM,QAAQ;GACd,IAAI,QAAQ;EACd,GACA,OACF;CACF;CAEA,QAAgB,SAA2D;EACzE,MAAM,eAAe,KAAK,qBAAqB,QAAQ,MAAM;EAC7D,IAAI,cAAc,OAAO;EAEzB,MAAM,eAAe,KAAK,oBAAoB,OAAO;EACrD,MAAM,aAAa,yBAAyB,QAAQ,mBAAmB;EACvE,MAAM,eAAe,QAAQ,SAAS,QAAQ,SAAS,CAAC;EAExD,MAAM,SAAS,WAAW;GACxB,QAAQ;GACR,YAAY,QAAQ;GACpB,cAAc,QAAQ;GACtB;GACA;GACA,QAAQ,QAAQ;GAChB,QAAQ,QAAQ;GAChB,qBAAqB,QAAQ;GAC7B,YAAY;EACd,CAAC;EAED,IAAI,CAAC,OAAO,IACV,OAAO,eAAe,OAAO,OAAO;EAStC,MAAM,gBAAgB,yBAAyB;GAC7C,eAAe,QAAQ;GACvB,aAAa,QAAQ;GACrB;EACF,CAAC;EAID,MAAM,QAAQ,CAAC,GAAG,OAAO,MAAM,OAAO,GAAG,aAAa;EAEtD,MAAM,cAA8C;GAClD,aAAa,QAAQ,SAAS,QAAQ;GACtC,GAAI,QAAQ,SAAS,gBAAgB,KAAA,IACjC,EAAE,aAAa,QAAQ,SAAS,YAAY,IAC5C,CAAC;EACP;EAEA,OAAO;GACL,MAAM;GACN,MAAM,IAAI,oCACR,OACA;IACE,MAAM,QAAQ,cAAc,QAAQ,eAAe;IACnD,IAAI,QAAQ,SAAS,QAAQ;GAC/B,GACA,QAAQ,SACR,WACF;EACF;CACF;CAEA,qBAA6B,QAAkE;EAC7F,IAAI,CAAC,OAAO,wBAAwB,SAAS,UAAU,GACrD,OAAO,eAAe,CACpB;GACE,MAAM;GACN,SAAS;GACT,KAAK;EACP,CACF,CAAC;EAEH,OAAO;CACT;CAEA,oBAA4B,SAAiE;EAC3F,MAAM,UAAU,QAAQ,OAAO;EAC/B,MAAM,SAAS,QAAQ,SAAS,UAAU,KAAK,QAAQ,SAAS,aAAa;EAU7E,OATqB,gBAAgB;GACnC,UAAU,QAAQ;GAClB,QAAQ,QAAQ;GAChB;GACA,sCAAsB,IAAI,IAAI;GAC9B,qBAAqB,QAAQ;GAC7B,kBAAkB;GAClB,qBAAqB;EACvB,CACkB,EAAE,OAAO;CAC7B;AACF"}