@prisma-next/cli 0.7.0 → 0.8.0-dev.2

package/src/control-api/client.ts

@@ -269,12 +269,15 @@ class ControlClientImpl implements ControlClient {
     });
 
     try {
-      // Delegate to family instance schemaVerify method
-      const result = await familyInstance.schemaVerify({
-        driver,
+      // Introspect the live schema, then verify the contract against
+      // it. Composing the two primitives here keeps the family
+      // interface a single synchronous verifier and gives callers
+      // (and tests) explicit control over the introspected schema.
+      const schema = await familyInstance.introspect({ driver, contract });
+      const result = familyInstance.verifySchema({
         contract,
+        schema,
         strict: options.strict ?? false,
-        contractPath: '',
         frameworkComponents,
       });
 
@@ -662,6 +665,10 @@ class ControlClientImpl implements ControlClient {
         enrichedIR,
         this.stack!,
         this.options.family.emission,
+        {
+          serializeContract: (contract) =>
+            this.options.target.contractSerializer.serializeContract(contract),
+        },
       );
 
       onProgress?.({

package/src/control-api/operations/contract-emit.ts

@@ -4,6 +4,7 @@ import { emit, getEmittedArtifactPaths } from '@prisma-next/emitter';
 import { createControlStack } from '@prisma-next/framework-components/control';
 import { abortable } from '@prisma-next/utils/abortable';
 import { ifDefined } from '@prisma-next/utils/defined';
+import type { JsonObject } from '@prisma-next/utils/json';
 import { dirname } from 'pathe';
 import { loadConfig } from '../../config-loader';
 import { errorContractConfigMissing, errorRuntime } from '../../utils/cli-errors';
@@ -233,8 +234,19 @@ export async function executeContractEmit(
       );
       const enrichedIR = enrichContract(validatedContract.value as Contract, frameworkComponents);
       familyInstance.validateContract(enrichedIR);
+      // Each target's descriptor ships a `contractSerializer` SPI; the
+      // framework canonicalizer threads its `serializeContract` so the
+      // on-disk JSON envelope is constructed by target-owned code
+      // rather than by walking the in-memory contract with
+      // `Object.entries` (which would leak runtime-only class API
+      // fields into the persisted shape).
+      const serializeContract = (c: Contract): JsonObject =>
+        config.target.contractSerializer.serializeContract(c);
       emitResult = await unlessAborted(
-        emit(enrichedIR, stack, config.family.emission, { outputJsonPath }),
+        emit(enrichedIR, stack, config.family.emission, {
+          outputJsonPath,
+          serializeContract,
+        }),
       );
     } catch (error) {
       endSpan(onProgress, 'emit', 'error');

package/src/control-api/operations/db-verify.ts

@@ -172,7 +172,7 @@ function createPerMemberVerifier<TFamilyId extends string, TTargetId extends str
   const { skipSchema, familyInstance, frameworkComponents } = options;
   return (projectedSchema, member, verifyMode) => {
     if (skipSchema) return buildSkippedSchemaResult(member);
-    return familyInstance.schemaVerifyAgainstSchema({
+    return familyInstance.verifySchema({
       contract: member.contract,
       // The family's `TSchemaIR` is opaque to migration-tools; the
       // aggregate verifier passes through whatever we hand it. The

package/src/utils/contract-space-seed-phase.ts

@@ -193,7 +193,7 @@ function buildPlaceholderContractDts(spaceId: string): string {
     ' * alongside `contract.json` and `refs/head.json`. A typed `.d.ts`',
     ' * rendering pass for extension contracts is tracked separately;',
     ' * until that ships, consumers should import `contract.json`',
-    ' * directly with `validateContract<…>(…)`.',
+    ' * and pass it through the target descriptor’s `contractSerializer`.',
     ' */',
     'export {};',
     '',

package/dist/agent-skill-mongo.md

@@ -1,138 +0,0 @@
-# Prisma Next — project skill
-
-This project uses **Prisma Next** with **MongoDB** via `@prisma-next/mongo`. Prisma Next lets the user define data models in a contract file and query them with a fully typed ORM.
-
-## Files
-
-- **Contract**: `{{schemaPath}}` ({{authoringLabel}} authoring) — the user's data models. Edit this to add or change models.
-- **Config**: `prisma-next.config.ts` — tells the CLI where the contract is and how to connect to the database. Loads `.env` via `dotenv/config`.
-- **Database client**: `{{schemaDir}}/db.ts` — `import { db } from '{{dbImportPath}}'`. This is the entry point for all queries.
-- **Generated files** (do not edit by hand):
-  - `{{schemaDir}}/contract.json` — compiled contract, used at runtime
-  - `{{schemaDir}}/contract.d.ts` — TypeScript types for the contract, used for autocomplete and type checking
-
-## Commands
-
-- `{{pkgRun}} contract emit` — regenerate `contract.json` and `contract.d.ts` after changing the contract
-- `{{pkgRun}} db init` — bootstrap a database to match the contract (creates collections, indexes, constraints). Additive only — won't drop existing structures.
-- `{{pkgRun}} db update` — update the database to match the current contract. Prompts for confirmation on destructive changes. Use `--dry-run` to preview.
-- `{{pkgRun}} migration plan` — create a new migration from contract changes (offline, no database needed). Use `--name <slug>` to name it.
-- `{{pkgRun}} migration apply` — apply pending migrations to the database
-- `{{pkgRun}} migration status` — show which migrations are applied and which are pending
-- `{{pkgRun}} migration show <name>` — show details of a specific migration
-
-## How to write queries
-
-Use the ORM (`db.orm`). Each root accessor is the lowercased plural form emitted by `prisma-next contract emit` (typically the `@@map`-ped collection name) — for `model User { @@map("users") }` use `db.orm.users`, for `model Post { @@map("posts") }` use `db.orm.posts`. The Mongo facade has no raw-SQL surface. Two escape hatches exist for cases the ORM can't express; both are covered under "Escape hatches" below.
-
-```typescript
-import { db } from '{{dbImportPath}}';
-
-// Find one record
-const user = await db.orm.users
-  .where({ email: 'alice@example.com' })
-  .first();
-// Returns { _id: ObjectId; email: string; ... } | null
-
-// Find multiple records — `.all()` returns an AsyncIterableResult, consume
-// either as an async iterable (below) or by `await`ing it to materialise an Array.
-for await (const user of db.orm.users
-  .select('_id', 'email')
-  .take(10)
-  .all()) {
-  // Each `user` is { _id: ObjectId; email: string }
-}
-// Returns AsyncIterableResult<{ _id: ObjectId; email: string }>
-
-// Filter, order, limit
-const recentPosts = await db.orm.posts
-  .where({ authorId: userId })
-  .orderBy({ createdAt: -1 })
-  .select('_id', 'title', 'createdAt')
-  .take(50)
-  .all();
-
-// Include relations (reference relations only — embedded relations come back automatically)
-const usersWithPosts = await db.orm.users
-  .select('_id', 'email')
-  .include('posts')
-  .take(10)
-  .all();
-```
-
-### Key ORM methods
-
-- `.where({ field: value, ... })` — filter records by an equality object. Pass a raw filter expression for `$gt`/`$in`/`$regex` etc.
-- `.select('field1', 'field2', ...)` — pick which fields to return
-- `.orderBy({ field: 1 | -1 })` — sort results (1 = ascending, -1 = descending)
-- `.take(n)` / `.skip(n)` — limit and offset
-- `.all()` — execute and return all matching records as an `AsyncIterableResult`
-- `.first()` — execute with limit 1 and return the first matching row, or `null`
-- `.include('relationName')` — eager-load a reference relation (`$lookup`); embedded relations are already part of the row
-- `.variant('VariantName')` — narrow a polymorphic collection to a discriminator value
-
-## Escape hatches
-
-The ORM covers the common cases. When you genuinely need something it can't express, prefer these — in order — over reaching for `db.runtime()` (which is an internal executor surface, not a `mongodb`-driver handle):
-
-1. **Typed raw aggregations — `db.query`.** The facade exposes a `db.query` builder that runs aggregation pipelines through the same runtime + middleware + codec stack as `db.orm`, so results stay typed against the contract. Use this for `$lookup`/`$facet`/`$graphLookup`/window-function pipelines that the ORM doesn't surface.
-
-2. **Direct `mongodb` driver control — `mongoClient` binding.** If you need a raw `MongoClient` (e.g. for transactions, change streams, sessions, or a driver feature Prisma Next doesn't expose), construct one yourself and pass it to `mongo({ mongoClient, dbName, contractJson })`. Your code keeps the `MongoClient` reference and uses it directly, while the same `db` object still gives you the typed ORM surface:
-
-   ```typescript
-   import { MongoClient } from 'mongodb';
-   import mongo from '@prisma-next/mongo/runtime';
-   import type { Contract } from './contract.d';
-   import contractJson from './contract.json' with { type: 'json' };
-
-   const client = new MongoClient(process.env['DATABASE_URL']!);
-   await client.connect();
-
-   export const db = mongo<Contract>({ contractJson, mongoClient: client, dbName: 'mydb' });
-
-   const session = client.startSession();
-   try {
-     await session.withTransaction(async () => {
-       await db.orm.users.createAll([{ /* ... */ }]);
-     });
-   } finally {
-     await session.endSession();
-   }
-   ```
-
-## Rules
-
-- **Never hand-edit** `contract.json` or `contract.d.ts`. Always regenerate them with `contract emit`.
-- **Always emit after contract changes.** When you modify `{{schemaPath}}`, run `{{pkgRun}} contract emit` before writing any code that depends on the new or changed models.
-- **Don't restructure `db.ts`.** It's scaffolded by init and works as-is. `db` connects lazily on the first query — there is no `db.connect(...)` step.
-- **Root accessors are emitter-driven.** Use the lowercased plural collection name (e.g. `db.orm.users`, `db.orm.posts`) — not the PascalCase model name. Re-run `{{pkgRun}} contract emit` if a new model's accessor isn't appearing on `db.orm`.
-- **Connection string** is `DATABASE_URL` in `.env`. If the user reports connection errors, check this value and the `.env` file.
-- **Transactions and change streams** require a MongoDB **replica set**. The Mongo facade does not yet expose `db.transaction(...)` — for now, use the `mongoClient` escape hatch above to drive transactions/sessions directly. See the quick reference for dev-environment options; the typed transaction API is tracked under [TML-2313](https://linear.app/prisma-company/issue/TML-2313/mongo-dev-replica-set-story-is-missing-transactions-change-streams).
-- **Don't reach for `db.runtime()`** as an escape hatch. It returns the internal executor (`MongoRuntime`), not a `mongodb` `MongoClient` or `Db`. Use `db.query` for raw aggregations and the `mongoClient` binding for direct driver control.
-
-## Workflow for common tasks
-
-**User wants to add a new model or field:**
-1. Edit `{{schemaPath}}`
-2. Run `{{pkgRun}} contract emit`
-3. Write query code using `db.orm.<collection>` (lowercased plural, see Rules above)
-
-**User wants to query data:**
-1. Import `db` from `{{dbImportPath}}`
-2. Use `db.orm.<collection>` with `.where()`, `.select()`, `.all()`, `.first()`, etc.
-
-**User wants to set up or change the database connection:**
-1. Edit `DATABASE_URL` in `.env`
-2. The config file (`prisma-next.config.ts`) reads it automatically via `dotenv/config`
-
-**User wants to set up the database for the first time:**
-1. Run `{{pkgRun}} db init`
-
-**User wants to update the database after changing the contract:**
-1. Quick path: `{{pkgRun}} db update` — compares the database to the contract and applies changes directly
-2. Migration path (for production workflows):
-   - `{{pkgRun}} migration plan --name describe-the-change` — creates a migration
-   - `{{pkgRun}} migration apply` — applies pending migrations
-
-**User wants to check what migrations need to be applied:**
-1. Run `{{pkgRun}} migration status`

package/dist/agent-skill-postgres.md

@@ -1,106 +0,0 @@
-# Prisma Next — project skill
-
-This project uses **Prisma Next** with **PostgreSQL** via `@prisma-next/postgres`. Prisma Next lets the user define data models in a contract file and query them with a fully typed ORM.
-
-## Files
-
-- **Contract**: `{{schemaPath}}` ({{authoringLabel}} authoring) — the user's data models. Edit this to add or change models.
-- **Config**: `prisma-next.config.ts` — tells the CLI where the contract is and how to connect to the database. Loads `.env` via `dotenv/config`.
-- **Database client**: `{{schemaDir}}/db.ts` — `import { db } from '{{dbImportPath}}'`. This is the entry point for all queries.
-- **Generated files** (do not edit by hand):
-  - `{{schemaDir}}/contract.json` — compiled contract, used at runtime
-  - `{{schemaDir}}/contract.d.ts` — TypeScript types for the contract, used for autocomplete and type checking
-
-## Commands
-
-- `{{pkgRun}} contract emit` — regenerate `contract.json` and `contract.d.ts` after changing the contract
-- `{{pkgRun}} db init` — bootstrap a database to match the contract (creates tables, indexes, constraints). Additive only — won't drop existing structures.
-- `{{pkgRun}} db update` — update the database to match the current contract. Prompts for confirmation on destructive changes. Use `--dry-run` to preview.
-- `{{pkgRun}} migration plan` — create a new migration from contract changes (offline, no database needed). Use `--name <slug>` to name it.
-- `{{pkgRun}} migration apply` — apply pending migrations to the database
-- `{{pkgRun}} migration status` — show which migrations are applied and which are pending
-- `{{pkgRun}} migration show <name>` — show details of a specific migration
-
-## How to write queries
-
-Always use the ORM (`db.orm`). Only fall back to `db.sql` if the user explicitly asks for raw SQL or the ORM doesn't support the operation.
-
-```typescript
-import { db } from '{{dbImportPath}}';
-
-// Find one record
-const user = await db.orm.User
-  .where(user => user.email.eq('alice@example.com'))
-  .first();
-// Returns { id: number; email: string; ... } | null
-
-// Find multiple records
-const users = await db.orm.User
-  .select('id', 'email')
-  .take(10)
-  .all();
-// Returns Array<{ id: number; email: string }>
-
-// Filter, order, limit
-const recentPosts = await db.orm.Post
-  .where(post => post.authorId.eq(userId))
-  .orderBy(post => post.createdAt.desc())
-  .select('id', 'title', 'createdAt')
-  .take(50)
-  .all();
-
-// Include relations
-const usersWithPosts = await db.orm.User
-  .select('id', 'email')
-  .include('posts', post =>
-    post.select('id', 'title').orderBy(p => p.createdAt.desc()).take(5)
-  )
-  .take(10)
-  .all();
-```
-
-### Key ORM methods
-
-- `.where(predicate)` — filter records. Predicate receives a model accessor with `.eq()`, `.neq()`, `.ilike()`, `.lt()`, `.gt()`, etc.
-- `.select('field1', 'field2', ...)` — pick which fields to return
-- `.orderBy(accessor => accessor.field.asc()` or `.desc())` — sort results
-- `.take(n)` — limit number of results
-- `.all()` — execute and return all matching records as an array
-- `.first()` — execute and return the first matching record, or `null`
-- `.first({ id: value })` — find a single record by primary key, or `null`
-- `.include('relation', builder => ...)` — eager-load a relation
-
-## Rules
-
-- **Never hand-edit** `contract.json` or `contract.d.ts`. Always regenerate them with `contract emit`.
-- **Always emit after contract changes.** When you modify `{{schemaPath}}`, run `{{pkgRun}} contract emit` before writing any code that depends on the new or changed models.
-- **Don't restructure `db.ts`.** It's scaffolded by init and works as-is.
-- **Use `db.orm` for queries**, not `db.sql`. The ORM is the primary query surface.
-- **Connection string** is `DATABASE_URL` in `.env`. If the user reports connection errors, check this value and the `.env` file.
-
-## Workflow for common tasks
-
-**User wants to add a new model or field:**
-1. Edit `{{schemaPath}}`
-2. Run `{{pkgRun}} contract emit`
-3. Write query code using `db.orm.ModelName`
-
-**User wants to query data:**
-1. Import `db` from `{{dbImportPath}}`
-2. Use `db.orm.ModelName` with `.where()`, `.select()`, `.all()`, `.first()`, etc.
-
-**User wants to set up or change the database connection:**
-1. Edit `DATABASE_URL` in `.env`
-2. The config file (`prisma-next.config.ts`) reads it automatically via `dotenv/config`
-
-**User wants to set up the database for the first time:**
-1. Run `{{pkgRun}} db init`
-
-**User wants to update the database after changing the contract:**
-1. Quick path: `{{pkgRun}} db update` — compares the database to the contract and applies changes directly
-2. Migration path (for production workflows):
-   - `{{pkgRun}} migration plan --name describe-the-change` — creates a migration
-   - `{{pkgRun}} migration apply` — applies pending migrations
-
-**User wants to check what migrations need to be applied:**
-1. Run `{{pkgRun}} migration status`

package/dist/client-BCnP7cHo.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"client-BCnP7cHo.mjs","names":["SPAN_IDS","emitContractArtifacts"],"sources":["../src/control-api/errors.ts","../src/control-api/operations/apply-aggregate.ts","../src/control-api/operations/migration-helpers.ts","../src/control-api/operations/db-apply-aggregate.ts","../src/control-api/operations/db-init.ts","../src/control-api/operations/db-update.ts","../src/control-api/operations/db-verify.ts","../src/control-api/operations/migration-apply.ts","../src/control-api/client.ts"],"sourcesContent":["export class ContractValidationError extends Error {\n  override readonly cause?: unknown;\n\n  constructor(message: string, cause?: unknown) {\n    super(message);\n    this.name = 'ContractValidationError';\n    this.cause = cause;\n  }\n}\n","import type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type {\n  ControlDriverInstance,\n  ControlFamilyInstance,\n  MigrationOperationPolicy,\n  MultiSpaceCapableRunner,\n  MultiSpaceRunnerPerSpaceOptions,\n  TargetMigrationsCapability,\n} from '@prisma-next/framework-components/control';\nimport { hasMultiSpaceRunner } from '@prisma-next/framework-components/control';\nimport type {\n  AggregatePerSpacePlan,\n  ContractSpaceAggregate,\n} from '@prisma-next/migration-tools/aggregate';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { errorRunnerFailed } from '../../utils/cli-errors';\nimport type { AggregatePerSpaceExecutionEntry, OnControlProgress } from '../types';\n\n/**\n * Span id emitted via `onProgress` for the apply phase. Stable\n * identifier consumed by the structured-output renderer and by tests.\n */\nconst APPLY_SPAN_ID = 'apply' as const;\n\n/**\n * Action that originated this apply call. Threaded into `OnControlProgress`\n * events so the parent CLI command can attribute the span correctly,\n * and used to compose action-specific summary phrasing.\n */\nexport type AggregateApplyAction = 'dbInit' | 'dbUpdate' | 'migrationApply';\n\n/**\n * Failure variant emitted by {@link applyAggregate} when the multi-space\n * runner itself rejects the apply. Mirrors the failure shape callers\n * already wrap into their own action-specific failure envelopes\n * (`DbInitFailure`, `DbUpdateFailure`, `MigrationApplyFailure`) so each\n * caller keeps owning its own discriminated failure code.\n */\nexport interface AggregateApplyRunnerFailure {\n  readonly summary: string;\n  readonly why?: string;\n  readonly meta: Record<string, unknown>;\n}\n\nexport interface ApplyAggregateInputs<TFamilyId extends string, TTargetId extends string> {\n  readonly aggregate: ContractSpaceAggregate;\n  /**\n   * Per-space plans, keyed by `spaceId`. Produced by either the full\n   * {@link planAggregate} pipeline (`db init` / `db update` — synth\n   * for the app, graph-walk for extensions) or by direct\n   * {@link graphWalkStrategy} calls (`migration apply` — graph-walk\n   * for every member). Either way, the runner consumes the same shape.\n   */\n  readonly perSpacePlans: ReadonlyMap<string, AggregatePerSpacePlan>;\n  /**\n   * Canonical schedule order — extensions alphabetically by `spaceId`,\n   * then app. Mirrors {@link import('@prisma-next/migration-tools/concatenate-space-apply-inputs').concatenateSpaceApplyInputs}'s\n   * convention so `MultiSpaceRunnerFailure.failingSpace` attribution\n   * stays byte-for-byte stable across callers.\n   */\n  readonly applyOrder: readonly string[];\n  readonly driver: ControlDriverInstance<TFamilyId, TTargetId>;\n  readonly familyInstance: ControlFamilyInstance<TFamilyId, unknown>;\n  readonly migrations: TargetMigrationsCapability<\n    TFamilyId,\n    TTargetId,\n    ControlFamilyInstance<TFamilyId, unknown>\n  >;\n  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>>;\n  readonly policy: MigrationOperationPolicy;\n  readonly action: AggregateApplyAction;\n  readonly onProgress?: OnControlProgress;\n}\n\n/**\n * Resolved per-space plan in canonical schedule order. Surfaced from\n * {@link applyAggregate} to callers so each one can build its own\n * action-specific success envelope (e.g. `DbInitSuccess` vs\n * `MigrationApplySuccess`) without re-deriving the ordering.\n */\nexport interface OrderedResolution {\n  readonly spaceId: string;\n  readonly entry: AggregatePerSpacePlan;\n}\n\nexport interface ApplyAggregateValue {\n  readonly orderedResolutions: readonly OrderedResolution[];\n  readonly totalOpsPlanned: number;\n  readonly totalOpsExecuted: number;\n  /**\n   * Per-space breakdown ready to thread into action-specific success\n   * envelopes. Each entry carries the post-apply marker (live storage hash\n   * plus invariants) so callers can render it directly without re-reading.\n   */\n  readonly perSpace: readonly AggregatePerSpaceExecutionEntry[];\n}\n\nexport type ApplyAggregateResult = Result<ApplyAggregateValue, AggregateApplyRunnerFailure>;\n\n/**\n * Runner-driving tail shared by every aggregate apply caller — `db init`,\n * `db update`, and `migration apply`. Consumes already-resolved per-space\n * plans (the planner-vs-replay distinction is owned by the caller) and\n * dispatches them to the multi-space runner in canonical order.\n *\n * Marker advancement is part of the runner's per-space transaction\n * (the SQL family runner writes the marker as the last step of each\n * space's transaction), so this primitive does not advance markers\n * separately — by the time `executeAcrossSpaces` returns ok, every\n * space's marker has been advanced to its plan's destination.\n *\n * Span emission (`spanStart 'apply'` / `spanEnd 'apply'`) is owned here\n * so callers don't have to duplicate it; the `action` field on each\n * progress event is taken from the caller's `action` argument.\n */\nexport async function applyAggregate<TFamilyId extends string, TTargetId extends string>(\n  inputs: ApplyAggregateInputs<TFamilyId, TTargetId>,\n): Promise<ApplyAggregateResult> {\n  const {\n    aggregate,\n    perSpacePlans,\n    applyOrder,\n    driver,\n    familyInstance,\n    migrations,\n    frameworkComponents,\n    policy,\n    action,\n    onProgress,\n  } = inputs;\n\n  const orderedResolutions = collectOrdered(applyOrder, perSpacePlans);\n\n  const runner = migrations.createRunner(familyInstance);\n  if (!hasMultiSpaceRunner(runner)) {\n    throw errorRunnerFailed(\n      `Runner for target \"${aggregate.targetId}\" does not implement \\`executeAcrossSpaces\\``,\n      {\n        why: `${labelForAction(action)} requires multi-space-capable runners (today: every SQL family runner).`,\n      },\n    );\n  }\n\n  onProgress?.({\n    action,\n    kind: 'spanStart',\n    spanId: APPLY_SPAN_ID,\n    label: progressLabelForAction(action),\n  });\n\n  const perSpaceOptions: MultiSpaceRunnerPerSpaceOptions<TFamilyId, TTargetId>[] =\n    orderedResolutions.map((r) => ({\n      space: r.spaceId,\n      plan: r.entry.plan,\n      driver,\n      destinationContract: r.entry.destinationContract,\n      policy,\n      frameworkComponents,\n      // Per-space post-apply schema verification is non-strict: each\n      // space's `destinationContract` describes only its own slice; a\n      // strict verifier would treat every other space's tables as\n      // `extras`. Tolerant mode still catches missing tables / columns.\n      // SQL family runners read `strictVerification` via structural\n      // typing.\n      strictVerification: false,\n    })) as MultiSpaceRunnerPerSpaceOptions<TFamilyId, TTargetId>[];\n\n  const runnerResult = await (\n    runner as MultiSpaceCapableRunner<TFamilyId, TTargetId>\n  ).executeAcrossSpaces({ driver, perSpaceOptions });\n\n  if (!runnerResult.ok) {\n    onProgress?.({ action, kind: 'spanEnd', spanId: APPLY_SPAN_ID, outcome: 'error' });\n    return notOk({\n      summary: runnerResult.failure.summary,\n      ...ifDefined('why', runnerResult.failure.why),\n      meta: {\n        ...(runnerResult.failure.meta ?? {}),\n        failingSpace: runnerResult.failure.failingSpace,\n      },\n    });\n  }\n  onProgress?.({ action, kind: 'spanEnd', spanId: APPLY_SPAN_ID, outcome: 'ok' });\n\n  const totalOpsPlanned = runnerResult.value.perSpaceResults.reduce(\n    (sum, r) => sum + r.value.operationsPlanned,\n    0,\n  );\n  const totalOpsExecuted = runnerResult.value.perSpaceResults.reduce(\n    (sum, r) => sum + r.value.operationsExecuted,\n    0,\n  );\n\n  const perSpace = buildPerSpaceBreakdown(orderedResolutions, aggregate.app.spaceId, {\n    includeMarkers: true,\n  });\n\n  return ok({\n    orderedResolutions,\n    totalOpsPlanned,\n    totalOpsExecuted,\n    perSpace,\n  });\n}\n\n/**\n * Project the planner's per-space resolutions into the\n * `AggregatePerSpaceExecutionEntry[]` shape the CLI surfaces.\n *\n * `includeMarkers` is `true` for apply-mode (each space's marker is\n * the `destination.storageHash` of its plan, which the runner\n * advances as the last step of each space's transaction) and `false`\n * for plan-mode (no marker has been written yet).\n *\n * Exported alongside {@link applyAggregate} so plan-mode callers can\n * assemble the same per-space block without going through the runner.\n */\nexport function buildPerSpaceBreakdown(\n  orderedResolutions: readonly OrderedResolution[],\n  appSpaceId: string,\n  options: { readonly includeMarkers: boolean },\n): readonly AggregatePerSpaceExecutionEntry[] {\n  return orderedResolutions.map((r) => {\n    const operations = r.entry.displayOps.map((op) => ({\n      id: op.id,\n      label: op.label,\n      operationClass: op.operationClass,\n    }));\n    const base: AggregatePerSpaceExecutionEntry = {\n      spaceId: r.spaceId,\n      kind: r.spaceId === appSpaceId ? 'app' : 'extension',\n      operations,\n    };\n    if (!options.includeMarkers) return base;\n    return {\n      ...base,\n      marker: { storageHash: r.entry.plan.destination.storageHash },\n    };\n  });\n}\n\n/**\n * Materialise the `applyOrder` ordering into resolved per-space\n * entries. Throws if the planner output is missing a member listed\n * in `applyOrder` — a wiring bug that should never reach runtime.\n *\n * Exported so callers building their own success envelopes after a\n * plan-mode dispatch can replay the same ordering.\n */\nexport function collectOrdered(\n  applyOrder: readonly string[],\n  perSpace: ReadonlyMap<string, AggregatePerSpacePlan>,\n): readonly OrderedResolution[] {\n  return applyOrder.map((spaceId) => {\n    const entry = perSpace.get(spaceId);\n    if (!entry) {\n      throw new Error(`Aggregate planner output missing per-space plan for \"${spaceId}\"`);\n    }\n    return { spaceId, entry };\n  });\n}\n\n/**\n * Action-appropriate label for the `spanStart` event the apply\n * primitive emits. `applyAggregate` is shared by `db init`, `db update`,\n * and `migration apply`; the span label tracks the user-visible action\n * so structured-progress output reads naturally for each surface.\n */\nexport function progressLabelForAction(action: AggregateApplyAction): string {\n  switch (action) {\n    case 'dbInit':\n      return 'Initialising database across spaces';\n    case 'dbUpdate':\n      return 'Updating database across spaces';\n    case 'migrationApply':\n      return 'Applying migration plan across spaces';\n  }\n}\n\nfunction labelForAction(action: AggregateApplyAction): string {\n  switch (action) {\n    case 'dbInit':\n      return 'db init';\n    case 'dbUpdate':\n      return 'db update';\n    case 'migrationApply':\n      return 'migration apply';\n  }\n}\n","import type { MigrationPlanOperation } from '@prisma-next/framework-components/control';\nimport type { ControlActionName, OnControlProgress } from '../types';\n\n/**\n * Strips operation objects to their public shape (id, label, operationClass).\n * Used at the API boundary to avoid leaking internal fields (precheck, execute, postcheck, etc.).\n */\nexport function stripOperations(\n  operations: readonly MigrationPlanOperation[],\n): ReadonlyArray<{ readonly id: string; readonly label: string; readonly operationClass: string }> {\n  return operations.map((op) => ({\n    id: op.id,\n    label: op.label,\n    operationClass: op.operationClass,\n  }));\n}\n\n/**\n * Creates per-operation progress callbacks for the runner.\n * Returns undefined when no onProgress callback is provided.\n */\nexport function createOperationCallbacks(\n  onProgress: OnControlProgress | undefined,\n  action: ControlActionName,\n  parentSpanId: string,\n) {\n  if (!onProgress) {\n    return undefined;\n  }\n  return {\n    onOperationStart: (op: MigrationPlanOperation) => {\n      onProgress({\n        action,\n        kind: 'spanStart',\n        spanId: `operation:${op.id}`,\n        parentSpanId,\n        label: op.label,\n      });\n    },\n    onOperationComplete: (op: MigrationPlanOperation) => {\n      onProgress({\n        action,\n        kind: 'spanEnd',\n        spanId: `operation:${op.id}`,\n        outcome: 'ok',\n      });\n    },\n  };\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type {\n  ControlDriverInstance,\n  ControlExtensionDescriptor,\n  ControlFamilyInstance,\n  MigrationOperationPolicy,\n  MigrationPlanOperation,\n  OperationPreview,\n  TargetMigrationsCapability,\n} from '@prisma-next/framework-components/control';\nimport { hasOperationPreview } from '@prisma-next/framework-components/control';\nimport {\n  type AggregatePlannerError,\n  type ContractSpaceAggregate,\n  planAggregate,\n} from '@prisma-next/migration-tools/aggregate';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { notOk, ok } from '@prisma-next/utils/result';\nimport { CliStructuredError } from '../../utils/cli-errors';\nimport {\n  type BuildAggregateInputs,\n  buildContractSpaceAggregate,\n} from '../../utils/contract-space-aggregate-loader';\nimport type {\n  AggregatePerSpaceExecutionEntry,\n  DbInitFailure,\n  DbInitResult,\n  DbInitSuccess,\n  DbUpdateFailure,\n  DbUpdateResult,\n  DbUpdateSuccess,\n  OnControlProgress,\n} from '../types';\nimport { applyAggregate, buildPerSpaceBreakdown, collectOrdered } from './apply-aggregate';\nimport { stripOperations } from './migration-helpers';\n\n/**\n * Span IDs emitted via `onProgress` during the aggregate apply flow.\n * Stable identifiers consumed by the structured-output renderer and by\n * tests asserting on span ids. The `apply` span itself is owned by\n * the {@link applyAggregate} primitive — only the introspect / plan\n * spans are emitted directly here.\n */\nconst SPAN_IDS = {\n  introspect: 'introspect',\n  plan: 'plan',\n} as const;\n\n/**\n * Inputs shared by `db init` and `db update` aggregate apply flows.\n *\n * Accepts the already-validated app contract + descriptor list — the\n * loader gathers the rest from disk + descriptors. The CLI is the\n * descriptor-import boundary; everything downstream is descriptor-free.\n */\nexport interface ExecuteAggregateApplyOptions<TFamilyId extends string, TTargetId extends string> {\n  readonly driver: ControlDriverInstance<TFamilyId, TTargetId>;\n  readonly familyInstance: ControlFamilyInstance<TFamilyId, unknown>;\n  readonly contract: Contract;\n  readonly mode: 'plan' | 'apply';\n  readonly migrations: TargetMigrationsCapability<\n    TFamilyId,\n    TTargetId,\n    ControlFamilyInstance<TFamilyId, unknown>\n  >;\n  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>>;\n  readonly migrationsDir: string;\n  readonly extensionPacks: ReadonlyArray<ControlExtensionDescriptor<TFamilyId, TTargetId>>;\n  readonly targetId: TTargetId;\n  readonly policy: MigrationOperationPolicy;\n  readonly action: 'dbInit' | 'dbUpdate';\n  readonly onProgress?: OnControlProgress;\n}\n\n/**\n * Loader → planner → runner pipeline shared by `db init` and `db update`.\n *\n * The pipeline:\n *\n * 1. **Load**: build a {@link ContractSpaceAggregate} from the descriptor\n *    set + on-disk on-disk artefacts. Any layout / drift / disjointness /\n *    integrity violation short-circuits with a structured error.\n * 2. **Read DB state**: marker rows (`familyInstance.readAllMarkers`)\n *    + introspected schema (`familyInstance.introspect`).\n * 3. **Plan**: {@link planAggregate} chooses graph-walk vs synth per\n *    member according to `callerPolicy.ignoreGraphFor`. The app member\n *    is forced through synth (today's daily-driver behaviour); every\n *    extension member walks its on-disk graph.\n * 4. **Apply** (when `mode === 'apply'`): every per-space `MigrationPlan`\n *    feeds into the runner's `executeAcrossSpaces` — one outer\n *    transaction across every space; failure on any space rolls back\n *    every space's writes.\n */\nexport async function executeAggregateApply<TFamilyId extends string, TTargetId extends string>(\n  options: ExecuteAggregateApplyOptions<TFamilyId, TTargetId>,\n): Promise<DbInitResult | DbUpdateResult> {\n  const {\n    driver,\n    familyInstance,\n    contract,\n    mode,\n    migrations,\n    frameworkComponents,\n    migrationsDir,\n    extensionPacks,\n    targetId,\n    policy,\n    action,\n    onProgress,\n  } = options;\n\n  // 1. Load aggregate from descriptors + on-disk state.\n  const loadInputs: BuildAggregateInputs<TFamilyId, TTargetId> = {\n    targetId,\n    migrationsDir,\n    appContract: contract,\n    extensionPacks,\n    validateContract: (json) => familyInstance.validateContract(json),\n  };\n  const loaded = await buildContractSpaceAggregate(loadInputs);\n  if (!loaded.ok) {\n    throw loaded.failure;\n  }\n  const aggregate = loaded.value;\n\n  // 2. Read live DB state (markers + schema).\n  const markerRows = await familyInstance.readAllMarkers({ driver });\n\n  // 2a. Orphan-marker pre-flight: refuse to *apply* when a marker row\n  // exists for a space that is not declared in the aggregate. Plan mode\n  // (`db init/update --dry-run`) must still be able to introspect the\n  // aggregate plan in this state — a retired extension whose marker\n  // happens to linger should not block the user from inspecting what a\n  // run would do. Apply mode tells the user to clean up the orphan\n  // before silently advancing the app's marker.\n  if (mode === 'apply') {\n    const orphanMarkerError = detectOrphanMarkers(aggregate, markerRows);\n    if (orphanMarkerError !== null) {\n      throw orphanMarkerError;\n    }\n  }\n\n  onProgress?.({\n    action,\n    kind: 'spanStart',\n    spanId: SPAN_IDS.introspect,\n    label: 'Introspecting database schema',\n  });\n  const schemaIR = await familyInstance.introspect({ driver });\n  onProgress?.({ action, kind: 'spanEnd', spanId: SPAN_IDS.introspect, outcome: 'ok' });\n\n  // 3. Plan via aggregate planner. App is forced through synth (today's\n  // `db init` / `db update` daily-driver behaviour); extensions walk\n  // their on-disk migration graphs.\n  onProgress?.({\n    action,\n    kind: 'spanStart',\n    spanId: SPAN_IDS.plan,\n    label: 'Planning migration',\n  });\n  const planResult = await planAggregate<TFamilyId, TTargetId>({\n    aggregate,\n    currentDBState: { markersBySpaceId: markerRows, schemaIntrospection: schemaIR },\n    familyInstance,\n    migrations,\n    frameworkComponents,\n    callerPolicy: { ignoreGraphFor: new Set([aggregate.app.spaceId]) },\n    operationPolicy: policy,\n  });\n  if (!planResult.ok) {\n    onProgress?.({ action, kind: 'spanEnd', spanId: SPAN_IDS.plan, outcome: 'error' });\n    return mapPlannerError(planResult.failure);\n  }\n  onProgress?.({ action, kind: 'spanEnd', spanId: SPAN_IDS.plan, outcome: 'ok' });\n\n  const orderedResolutions = collectOrdered(planResult.value.applyOrder, planResult.value.perSpace);\n\n  // The destination's structural shape comes from the app's plan — its\n  // `destination` is the storage hash users see in CLI output.\n  const appResolution = orderedResolutions.find((r) => r.spaceId === aggregate.app.spaceId);\n  if (!appResolution) {\n    throw new Error(\n      'Aggregate planner returned no plan for the app member — the planner is supposed to always emit one.',\n    );\n  }\n  const appPlan = appResolution.entry.plan;\n\n  // 4. Plan-mode: surface aggregate operations without applying.\n  if (mode === 'plan') {\n    const aggregateOps = orderedResolutions.flatMap((r) => r.entry.displayOps);\n    const preview = hasOperationPreview(familyInstance)\n      ? familyInstance.toOperationPreview(aggregateOps)\n      : undefined;\n    const perSpace = buildPerSpaceBreakdown(orderedResolutions, aggregate.app.spaceId, {\n      includeMarkers: false,\n    });\n    const summary = `Planned ${aggregateOps.length} operation(s) across ${orderedResolutions.length} space(s)`;\n    return wrapPlanResult({\n      operations: aggregateOps,\n      destination: appPlan.destination,\n      preview,\n      perSpace,\n      summary,\n    });\n  }\n\n  // 5. Apply mode: hand off to the shared `applyAggregate` primitive.\n  // The runner-driving tail is identical for `db init` / `db update` /\n  // `migration apply` — only how each caller produces `perSpacePlans`\n  // differs (synth + graph-walk via planAggregate here; graph-walk\n  // only for migration apply). See M6 sub-spec § Required changes 1.\n  const applied = await applyAggregate({\n    aggregate,\n    perSpacePlans: planResult.value.perSpace,\n    applyOrder: planResult.value.applyOrder,\n    driver,\n    familyInstance,\n    migrations,\n    frameworkComponents,\n    policy,\n    action,\n    ...ifDefined('onProgress', onProgress),\n  });\n  if (!applied.ok) {\n    return buildRunnerFailure({\n      summary: applied.failure.summary,\n      ...ifDefined('why', applied.failure.why),\n      meta: applied.failure.meta,\n    });\n  }\n\n  const aggregateOps = applied.value.orderedResolutions.flatMap((r) => r.entry.displayOps);\n  const summary =\n    action === 'dbInit'\n      ? `Applied ${applied.value.totalOpsExecuted} operation(s) across ${applied.value.orderedResolutions.length} space(s), database signed`\n      : applied.value.totalOpsExecuted === 0\n        ? `Database already matches contract across ${applied.value.orderedResolutions.length} space(s), signature updated`\n        : `Applied ${applied.value.totalOpsExecuted} operation(s) across ${applied.value.orderedResolutions.length} space(s), signature updated`;\n\n  return wrapApplyResult({\n    operations: aggregateOps,\n    destination: appPlan.destination,\n    operationsPlanned: applied.value.totalOpsPlanned,\n    operationsExecuted: applied.value.totalOpsExecuted,\n    perSpace: applied.value.perSpace,\n    summary,\n  });\n}\n\n/**\n * Compare the live `_prisma_marker` rows against the aggregate's\n * declared members. Any marker row whose `space` is not a member of\n * the aggregate is an \"orphan\" — typically a marker left behind by\n * an extension that was removed from `extensionPacks` without first\n * cleaning up its on-disk migrations / database tables.\n *\n * Returns a {@link CliStructuredError} envelope (code `5002`,\n * `kind: 'orphanMarker'`) for the first orphan it finds, or `null`\n * when every marker row maps to a declared member. Mirrors the M2\n * `runContractSpaceVerifierMarkerCheck` envelope so downstream\n * tooling (integration tests, JSON consumers) keeps asserting on the\n * same shape.\n */\nfunction detectOrphanMarkers(\n  aggregate: ContractSpaceAggregate,\n  markerRows: ReadonlyMap<string, unknown>,\n): CliStructuredError | null {\n  const memberSpaceIds = new Set<string>([\n    aggregate.app.spaceId,\n    ...aggregate.extensions.map((m) => m.spaceId),\n  ]);\n  const orphans: string[] = [];\n  for (const [spaceId, row] of markerRows) {\n    if (row !== null && row !== undefined && !memberSpaceIds.has(spaceId)) {\n      orphans.push(spaceId);\n    }\n  }\n  if (orphans.length === 0) return null;\n  orphans.sort((a, b) => a.localeCompare(b));\n  const summary =\n    orphans.length === 1\n      ? `Orphan contract-space marker detected for \"${orphans[0]}\"`\n      : `Orphan contract-space markers detected for ${orphans.length} spaces`;\n  return new CliStructuredError('5002', summary, {\n    domain: 'MIG',\n    why: `The database has \\`_prisma_marker\\` rows for spaces (${orphans\n      .map((s) => `\"${s}\"`)\n      .join(\n        ', ',\n      )}) that are not declared in the project's \\`extensionPacks\\`. The aggregate pipeline refuses to advance markers it cannot account for.`,\n    fix: 'Either re-declare the missing extension(s) in `extensionPacks` (so the aggregate owns them again), or remove the orphan marker row(s) from `_prisma_marker` once you have confirmed the corresponding tables can be safely retired.',\n    docsUrl: 'https://pris.ly/contract-spaces',\n    meta: {\n      violations: orphans.map((spaceId) => ({ kind: 'orphanMarker', spaceId })),\n    },\n  });\n}\n\nfunction mapPlannerError(error: AggregatePlannerError): DbInitResult | DbUpdateResult {\n  if (error.kind === 'appSynthFailure') {\n    const failure: DbInitFailure | DbUpdateFailure = {\n      code: 'PLANNING_FAILED',\n      summary: 'Migration planning failed due to conflicts',\n      conflicts: error.conflicts,\n      why: undefined,\n      meta: undefined,\n    };\n    return notOk(failure) as DbInitResult | DbUpdateResult;\n  }\n  if (error.kind === 'extensionPathUnreachable') {\n    return buildRunnerFailure({\n      summary: `Cannot resolve apply path for extension space \"${error.spaceId}\"`,\n      why: `No path in the on-disk migration graph for extension space \"${error.spaceId}\" reaches the on-disk head ref hash \"${error.target}\".`,\n      meta: { spaceId: error.spaceId, target: error.target },\n    });\n  }\n  if (error.kind === 'extensionPathUnsatisfiable') {\n    return buildRunnerFailure({\n      summary: `Cannot resolve apply path for extension space \"${error.spaceId}\"`,\n      why: `On-disk migration graph for extension space \"${error.spaceId}\" reaches the on-disk head ref but does not cover required invariants: ${error.missingInvariants.join(', ')}.`,\n      meta: { spaceId: error.spaceId, missingInvariants: error.missingInvariants },\n    });\n  }\n  // policyConflict — surfaces as a runner-style failure naming the\n  // space; conceptually a configuration bug, but mapping it onto the\n  // existing failure surface keeps callers untouched.\n  return buildRunnerFailure({\n    summary: `Aggregate planner policy conflict for space \"${error.spaceId}\"`,\n    why: error.detail,\n    meta: { spaceId: error.spaceId },\n  });\n}\n\nfunction wrapPlanResult(args: {\n  readonly operations: readonly MigrationPlanOperation[];\n  readonly destination: { readonly storageHash: string; readonly profileHash?: string };\n  readonly preview: OperationPreview | undefined;\n  readonly perSpace: readonly AggregatePerSpaceExecutionEntry[];\n  readonly summary: string;\n}): DbInitResult | DbUpdateResult {\n  const success: DbInitSuccess | DbUpdateSuccess = {\n    mode: 'plan',\n    plan: {\n      operations: stripOperations(args.operations),\n      ...ifDefined('preview', args.preview),\n    },\n    destination: {\n      storageHash: args.destination.storageHash,\n      ...ifDefined('profileHash', args.destination.profileHash),\n    },\n    perSpace: args.perSpace,\n    summary: args.summary,\n  };\n  return ok(success);\n}\n\nfunction wrapApplyResult(args: {\n  readonly operations: readonly MigrationPlanOperation[];\n  readonly destination: { readonly storageHash: string; readonly profileHash?: string };\n  readonly operationsPlanned: number;\n  readonly operationsExecuted: number;\n  readonly perSpace: readonly AggregatePerSpaceExecutionEntry[];\n  readonly summary: string;\n}): DbInitResult | DbUpdateResult {\n  const success: DbInitSuccess | DbUpdateSuccess = {\n    mode: 'apply',\n    plan: { operations: stripOperations(args.operations) },\n    destination: {\n      storageHash: args.destination.storageHash,\n      ...ifDefined('profileHash', args.destination.profileHash),\n    },\n    execution: {\n      operationsPlanned: args.operationsPlanned,\n      operationsExecuted: args.operationsExecuted,\n    },\n    marker: args.destination.profileHash\n      ? { storageHash: args.destination.storageHash, profileHash: args.destination.profileHash }\n      : { storageHash: args.destination.storageHash },\n    perSpace: args.perSpace,\n    summary: args.summary,\n  };\n  return ok(success);\n}\n\nfunction buildRunnerFailure(args: {\n  readonly summary: string;\n  readonly why?: string;\n  readonly meta: Record<string, unknown>;\n}): DbInitResult | DbUpdateResult {\n  const failure: DbInitFailure | DbUpdateFailure = {\n    code: 'RUNNER_FAILED',\n    summary: args.summary,\n    why: args.why,\n    meta: args.meta,\n    conflicts: undefined,\n  };\n  return notOk(failure) as DbInitResult | DbUpdateResult;\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type {\n  ControlDriverInstance,\n  ControlExtensionDescriptor,\n  ControlFamilyInstance,\n  TargetMigrationsCapability,\n} from '@prisma-next/framework-components/control';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { DbInitResult, OnControlProgress } from '../types';\nimport { executeAggregateApply } from './db-apply-aggregate';\n\n/**\n * Options for executing the `db init` operation.\n *\n * `db init` runs the loader → planner → runner pipeline:\n *\n * 1. {@link executeAggregateApply} loads a `ContractSpaceAggregate` via\n *    {@link import('@prisma-next/migration-tools/aggregate').loadContractSpaceAggregate}\n *    from the supplied descriptor set + on-disk on-disk artefacts.\n * 2. The aggregate planner runs with `callerPolicy.ignoreGraphFor`\n *    locked to the app member — synth strategy for the app, graph-walk\n *    for every extension.\n * 3. The runner's `executeAcrossSpaces` applies the per-space plans\n *    inside one outer transaction.\n *\n * `extensionPacks` mirrors `Config.extensionPacks` (descriptor list).\n * The loader (sub-spec § Loader) is the sole descriptor-import boundary.\n */\nexport interface ExecuteDbInitOptions<TFamilyId extends string, TTargetId extends string> {\n  readonly driver: ControlDriverInstance<TFamilyId, TTargetId>;\n  readonly familyInstance: ControlFamilyInstance<TFamilyId, unknown>;\n  readonly contract: Contract;\n  readonly mode: 'plan' | 'apply';\n  readonly migrations: TargetMigrationsCapability<\n    TFamilyId,\n    TTargetId,\n    ControlFamilyInstance<TFamilyId, unknown>\n  >;\n  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>>;\n  /**\n   * On-disk migrations directory the aggregate loader reads on-disk\n   * artefacts from. Required.\n   */\n  readonly migrationsDir: string;\n  /**\n   * Resolved adapter target id. Threaded through to the loader for\n   * target-consistency checks across descriptors and the app contract.\n   */\n  readonly targetId: TTargetId;\n  /**\n   * Declared extension descriptors. Defaults to an empty list, which\n   * routes through the same loader → planner → runner pipeline with no\n   * extension members in the aggregate.\n   */\n  readonly extensionPacks?: ReadonlyArray<ControlExtensionDescriptor<TFamilyId, TTargetId>>;\n  /** Optional progress callback for observing operation progress */\n  readonly onProgress?: OnControlProgress;\n}\n\n/**\n * Execute `db init` against the configured contract.\n *\n * Routes through the loader → planner → runner pipeline (sub-spec\n * \"Commit-by-commit § Commit 4\"). Always additive-only; destructive\n * changes belong to `db update`.\n */\nexport async function executeDbInit<TFamilyId extends string, TTargetId extends string>(\n  options: ExecuteDbInitOptions<TFamilyId, TTargetId>,\n): Promise<DbInitResult> {\n  const result = await executeAggregateApply<TFamilyId, TTargetId>({\n    driver: options.driver,\n    familyInstance: options.familyInstance,\n    contract: options.contract,\n    mode: options.mode,\n    migrations: options.migrations,\n    frameworkComponents: options.frameworkComponents,\n    migrationsDir: options.migrationsDir,\n    targetId: options.targetId,\n    extensionPacks: options.extensionPacks ?? [],\n    policy: { allowedOperationClasses: ['additive'] },\n    action: 'dbInit',\n    ...ifDefined('onProgress', options.onProgress),\n  });\n  return result as DbInitResult;\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type {\n  ControlDriverInstance,\n  ControlExtensionDescriptor,\n  ControlFamilyInstance,\n  TargetMigrationsCapability,\n} from '@prisma-next/framework-components/control';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { notOk } from '@prisma-next/utils/result';\nimport type { DbUpdateResult, OnControlProgress } from '../types';\nimport { executeAggregateApply } from './db-apply-aggregate';\n\nconst DB_UPDATE_POLICY = {\n  allowedOperationClasses: ['additive', 'widening', 'destructive'] as const,\n} as const;\n\n/**\n * Options for the `db update` operation.\n *\n * Same loader → planner → runner pipeline as `db init`, but with the\n * widened operation policy (additive + widening + destructive). The\n * destructive-change confirmation gate runs at this layer: when\n * `mode === 'apply'` and `acceptDataLoss` is `false`, the operation\n * pre-plans, surfaces destructive ops to the caller, and aborts.\n */\nexport interface ExecuteDbUpdateOptions<TFamilyId extends string, TTargetId extends string> {\n  readonly driver: ControlDriverInstance<TFamilyId, TTargetId>;\n  readonly familyInstance: ControlFamilyInstance<TFamilyId, unknown>;\n  readonly contract: Contract;\n  readonly mode: 'plan' | 'apply';\n  readonly migrations: TargetMigrationsCapability<\n    TFamilyId,\n    TTargetId,\n    ControlFamilyInstance<TFamilyId, unknown>\n  >;\n  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>>;\n  readonly acceptDataLoss?: boolean;\n  readonly migrationsDir: string;\n  readonly targetId: TTargetId;\n  readonly extensionPacks?: ReadonlyArray<ControlExtensionDescriptor<TFamilyId, TTargetId>>;\n  readonly onProgress?: OnControlProgress;\n}\n\n/**\n * Execute `db update` against the configured contract.\n *\n * Routes through the loader → planner → runner pipeline. Destructive\n * operations require either `acceptDataLoss: true` or a prior\n * `mode: 'plan'` invocation that surfaces the destructive ops; the\n * confirmation gate is implemented here so the lower-level applier\n * remains policy-agnostic.\n */\nexport async function executeDbUpdate<TFamilyId extends string, TTargetId extends string>(\n  options: ExecuteDbUpdateOptions<TFamilyId, TTargetId>,\n): Promise<DbUpdateResult> {\n  const sharedInputs = {\n    driver: options.driver,\n    familyInstance: options.familyInstance,\n    contract: options.contract,\n    migrations: options.migrations,\n    frameworkComponents: options.frameworkComponents,\n    migrationsDir: options.migrationsDir,\n    targetId: options.targetId,\n    extensionPacks: options.extensionPacks ?? [],\n    policy: DB_UPDATE_POLICY,\n    action: 'dbUpdate' as const,\n    ...ifDefined('onProgress', options.onProgress),\n  };\n  if (options.mode === 'apply' && !options.acceptDataLoss) {\n    const gate = await guardDestructiveChanges<TFamilyId, TTargetId>(sharedInputs);\n    if (gate !== null) return gate;\n  }\n  return (await executeAggregateApply<TFamilyId, TTargetId>({\n    ...sharedInputs,\n    mode: options.mode,\n  })) as DbUpdateResult;\n}\n\n/**\n * Pre-plan once when running `db update apply` without `acceptDataLoss`.\n * Surfaces destructive operations across every space; if any are\n * planned, returns a `DESTRUCTIVE_CHANGES` failure that the CLI shows\n * as a confirmation prompt. Returns `null` when the apply is safe to\n * run.\n */\nasync function guardDestructiveChanges<TFamilyId extends string, TTargetId extends string>(\n  sharedInputs: Omit<Parameters<typeof executeAggregateApply<TFamilyId, TTargetId>>[0], 'mode'>,\n): Promise<DbUpdateResult | null> {\n  const planResult = (await executeAggregateApply<TFamilyId, TTargetId>({\n    ...sharedInputs,\n    mode: 'plan',\n  })) as DbUpdateResult;\n  if (!planResult.ok) return planResult;\n  const destructiveOps = planResult.value.plan.operations\n    .filter((op) => op.operationClass === 'destructive')\n    .map((op) => ({ id: op.id, label: op.label }));\n  if (destructiveOps.length === 0) return null;\n  return notOk({\n    code: 'DESTRUCTIVE_CHANGES',\n    summary: `Planned ${destructiveOps.length} destructive operation(s) that require confirmation`,\n    why: 'Destructive operations require confirmation — re-run with -y to accept',\n    conflicts: undefined,\n    meta: { destructiveOperations: destructiveOps },\n  });\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type {\n  ControlDriverInstance,\n  ControlExtensionDescriptor,\n  ControlFamilyInstance,\n  VerifyDatabaseSchemaResult,\n} from '@prisma-next/framework-components/control';\nimport {\n  type AggregateVerifierOutput,\n  type ContractSpaceMember,\n  verifyAggregate,\n} from '@prisma-next/migration-tools/aggregate';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { CliStructuredError } from '../../utils/cli-errors';\nimport {\n  type BuildAggregateInputs,\n  buildContractSpaceAggregate,\n} from '../../utils/contract-space-aggregate-loader';\nimport type { OnControlProgress } from '../types';\n\n/**\n * Span IDs emitted via `onProgress` during the aggregate verify flow.\n * Mirrors the span identifiers used by the legacy precheck / marker-check\n * helpers so structured-output renderers and progress tests keep working.\n */\nconst SPAN_IDS = {\n  introspect: 'introspect',\n  verify: 'verify',\n} as const;\n\n/**\n * Inputs for the aggregate `db verify` operation.\n *\n * Loader → verifier pipeline. The loader (sole descriptor-import\n * boundary) builds a {@link import('@prisma-next/migration-tools/aggregate').ContractSpaceAggregate};\n * the aggregate verifier bundles `markerCheck` + per-space pre-projected\n * `schemaCheck`. `mode: 'strict' | 'lenient'` maps directly to the user\n * facing `--strict` flag.\n */\nexport interface ExecuteDbVerifyOptions<TFamilyId extends string, TTargetId extends string> {\n  readonly driver: ControlDriverInstance<TFamilyId, TTargetId>;\n  readonly familyInstance: ControlFamilyInstance<TFamilyId, unknown>;\n  readonly contract: Contract;\n  readonly migrationsDir: string;\n  readonly targetId: TTargetId;\n  readonly extensionPacks: ReadonlyArray<ControlExtensionDescriptor<TFamilyId, TTargetId>>;\n  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>>;\n  readonly mode: 'strict' | 'lenient';\n  readonly skipSchema: boolean;\n  readonly skipMarker: boolean;\n  readonly onProgress?: OnControlProgress;\n}\n\n/**\n * Result of the aggregate verify operation.\n *\n * Marker-check failures are surfaced as a {@link CliStructuredError}\n * (same envelope code `5002` the legacy `runContractSpaceVerifierMarkerCheck`\n * emitted, so downstream tooling and integration tests assert on the\n * same shape).\n *\n * On success, the per-space schema results are returned for the CLI to\n * render. When `skipSchema` is true (`--marker-only`), the schema map\n * is empty.\n */\nexport interface ExecuteDbVerifySuccess {\n  readonly schemaResults: ReadonlyMap<string, VerifyDatabaseSchemaResult>;\n  readonly memberOrder: readonly string[];\n  readonly appSpaceId: string;\n}\n\nexport type ExecuteDbVerifyResult = Result<ExecuteDbVerifySuccess, CliStructuredError>;\n\n/**\n * Loader → verifier pipeline shared by `db verify` modes (`full`,\n * `marker-only`, `schema-only`).\n *\n * 1. **Load**: build a {@link import('@prisma-next/migration-tools/aggregate').ContractSpaceAggregate}\n *    from descriptors + on-disk on-disk artefacts. Layout / drift /\n *    integrity / disjointness violations short-circuit with a\n *    structured CLI error.\n * 2. **Read DB state**: marker rows + (when `skipSchema` is `false`)\n *    schema introspection.\n * 3. **Verify**: {@link verifyAggregate} returns per-space\n *    `markerCheck` + per-space pre-projected `schemaCheck` (closes F23).\n *    Marker mismatches map to `CliStructuredError` (code `5002`) so\n *    callers (CLI command) can render and exit. Schema results are\n *    returned to the caller verbatim.\n */\nexport async function executeDbVerify<TFamilyId extends string, TTargetId extends string>(\n  options: ExecuteDbVerifyOptions<TFamilyId, TTargetId>,\n): Promise<ExecuteDbVerifyResult> {\n  const { driver, familyInstance, onProgress, skipSchema, skipMarker } = options;\n  const loaded = await buildContractSpaceAggregate(buildLoadInputs(options));\n  if (!loaded.ok) return notOk(loaded.failure);\n  const aggregate = loaded.value;\n\n  const markersBySpaceId = await familyInstance.readAllMarkers({ driver });\n  const schemaIntrospection = skipSchema\n    ? null\n    : await runIntrospection({ driver, familyInstance, onProgress });\n\n  emitVerifySpan(onProgress, 'spanStart');\n  const verifyResult = verifyAggregate({\n    aggregate,\n    markersBySpaceId,\n    schemaIntrospection,\n    mode: options.mode,\n    verifySchemaForMember: createPerMemberVerifier(options),\n  });\n  return finaliseVerifyResult({ verifyResult, aggregate, skipMarker, onProgress });\n}\n\nfunction buildLoadInputs<TFamilyId extends string, TTargetId extends string>(\n  options: ExecuteDbVerifyOptions<TFamilyId, TTargetId>,\n): BuildAggregateInputs<TFamilyId, TTargetId> {\n  return {\n    targetId: options.targetId,\n    migrationsDir: options.migrationsDir,\n    appContract: options.contract,\n    extensionPacks: options.extensionPacks,\n    validateContract: (json) => options.familyInstance.validateContract(json),\n  };\n}\n\nasync function runIntrospection<TFamilyId extends string, TTargetId extends string>(args: {\n  driver: ControlDriverInstance<TFamilyId, TTargetId>;\n  familyInstance: ControlFamilyInstance<TFamilyId, unknown>;\n  onProgress: OnControlProgress | undefined;\n}): Promise<unknown> {\n  const { driver, familyInstance, onProgress } = args;\n  onProgress?.({\n    action: 'dbVerify',\n    kind: 'spanStart',\n    spanId: SPAN_IDS.introspect,\n    label: 'Introspecting database schema',\n  });\n  try {\n    const result = await familyInstance.introspect({ driver });\n    onProgress?.({\n      action: 'dbVerify',\n      kind: 'spanEnd',\n      spanId: SPAN_IDS.introspect,\n      outcome: 'ok',\n    });\n    return result;\n  } catch (error) {\n    onProgress?.({\n      action: 'dbVerify',\n      kind: 'spanEnd',\n      spanId: SPAN_IDS.introspect,\n      outcome: 'error',\n    });\n    throw error;\n  }\n}\n\n/**\n * Build the per-member schema callback handed to the aggregate verifier.\n * When `skipSchema` is true the callback short-circuits with a synthetic\n * `ok` result so the verifier still runs the (cheap) schemaCheck loop\n * without invoking the family's verification path.\n */\nfunction createPerMemberVerifier<TFamilyId extends string, TTargetId extends string>(\n  options: ExecuteDbVerifyOptions<TFamilyId, TTargetId>,\n): (\n  projectedSchema: unknown,\n  member: ContractSpaceMember,\n  verifyMode: 'strict' | 'lenient',\n) => VerifyDatabaseSchemaResult {\n  const { skipSchema, familyInstance, frameworkComponents } = options;\n  return (projectedSchema, member, verifyMode) => {\n    if (skipSchema) return buildSkippedSchemaResult(member);\n    return familyInstance.schemaVerifyAgainstSchema({\n      contract: member.contract,\n      // The family's `TSchemaIR` is opaque to migration-tools; the\n      // aggregate verifier passes through whatever we hand it. The\n      // family expects its own IR shape on the way back.\n      schema: projectedSchema as never,\n      strict: verifyMode === 'strict',\n      frameworkComponents,\n    });\n  };\n}\n\nfunction emitVerifySpan(\n  onProgress: OnControlProgress | undefined,\n  kind: 'spanStart' | 'spanEndOk' | 'spanEndError',\n): void {\n  if (kind === 'spanStart') {\n    onProgress?.({\n      action: 'dbVerify',\n      kind: 'spanStart',\n      spanId: SPAN_IDS.verify,\n      label: 'Verifying contract spaces',\n    });\n    return;\n  }\n  onProgress?.({\n    action: 'dbVerify',\n    kind: 'spanEnd',\n    spanId: SPAN_IDS.verify,\n    outcome: kind === 'spanEndOk' ? 'ok' : 'error',\n  });\n}\n\n/**\n * Map an {@link AggregateVerifierOutput} to the operation's\n * {@link ExecuteDbVerifyResult}, applying the `skipMarker` policy used\n * by the CLI's `--schema-only` mode.\n */\nfunction finaliseVerifyResult(args: {\n  verifyResult: AggregateVerifierOutput<VerifyDatabaseSchemaResult>;\n  aggregate: {\n    readonly app: { readonly spaceId: string };\n    readonly extensions: ReadonlyArray<{ readonly spaceId: string }>;\n  };\n  skipMarker: boolean;\n  onProgress: OnControlProgress | undefined;\n}): ExecuteDbVerifyResult {\n  const { verifyResult, aggregate, skipMarker, onProgress } = args;\n  if (!verifyResult.ok) {\n    emitVerifySpan(onProgress, 'spanEndError');\n    return notOk(\n      new CliStructuredError('5002', 'Aggregate verifier introspection failed', {\n        domain: 'MIG',\n        why: verifyResult.failure.detail,\n        fix: 'Check database connectivity and the introspection tooling.',\n        docsUrl: 'https://pris.ly/contract-spaces',\n      }),\n    );\n  }\n  const markerError = skipMarker\n    ? null\n    : mapMarkerCheckFailures(aggregate.app.spaceId, verifyResult.value.markerCheck);\n  if (markerError !== null) {\n    emitVerifySpan(onProgress, 'spanEndError');\n    return notOk(markerError);\n  }\n  emitVerifySpan(onProgress, 'spanEndOk');\n  return ok({\n    schemaResults: verifyResult.value.schemaCheck.perSpace,\n    memberOrder: [aggregate.app.spaceId, ...aggregate.extensions.map((e) => e.spaceId)],\n    appSpaceId: aggregate.app.spaceId,\n  });\n}\n\nfunction buildSkippedSchemaResult(member: ContractSpaceMember): VerifyDatabaseSchemaResult {\n  const profileHash = (member.contract as { profileHash?: string }).profileHash;\n  return {\n    ok: true,\n    summary: 'Schema verification skipped',\n    contract: {\n      storageHash: member.headRef.hash,\n      ...(profileHash ? { profileHash } : {}),\n    },\n    target: { expected: member.contract.target },\n    schema: {\n      issues: [],\n      root: {\n        status: 'pass',\n        kind: 'skipped',\n        name: member.spaceId,\n        contractPath: '',\n        code: 'SKIPPED',\n        message: 'Schema verification skipped',\n        expected: undefined,\n        actual: undefined,\n        children: [],\n      },\n      counts: { pass: 0, warn: 0, fail: 0, totalNodes: 0 },\n    },\n    timings: { total: 0 },\n  };\n}\n\n/**\n * Translate per-space marker check failures and orphan markers into a\n * single CLI structured error envelope. Preserves the legacy code\n * `5002` (was emitted by `runContractSpaceVerifierMarkerCheck`).\n */\nfunction mapMarkerCheckFailures(\n  appSpaceId: string,\n  section: {\n    readonly perSpace: ReadonlyMap<\n      string,\n      | { readonly kind: 'ok' }\n      | { readonly kind: 'absent' }\n      | { readonly kind: 'hashMismatch'; readonly markerHash: string; readonly expected: string }\n      | { readonly kind: 'missingInvariants'; readonly missing: readonly string[] }\n    >;\n    readonly orphanMarkers: readonly { readonly spaceId: string; readonly row: unknown }[];\n  },\n): CliStructuredError | null {\n  const violations: Array<{\n    kind: string;\n    spaceId: string;\n    remediation: string;\n  }> = [];\n  for (const [spaceId, result] of section.perSpace) {\n    if (result.kind === 'ok' || result.kind === 'absent') continue;\n    if (result.kind === 'hashMismatch') {\n      violations.push({\n        kind: 'hashMismatch',\n        spaceId,\n        remediation:\n          spaceId === appSpaceId\n            ? 'Run `prisma-next db update` to advance the marker, or roll the database back to the recorded hash.'\n            : `Apply on-disk migrations under \\`migrations/${spaceId}/\\` to advance the marker, or remove the conflicting marker row.`,\n      });\n      continue;\n    }\n    if (result.kind === 'missingInvariants') {\n      violations.push({\n        kind: 'invariantsMismatch',\n        spaceId,\n        remediation: `Re-apply the migrations under \\`migrations/${spaceId}/\\` so the marker carries invariants: ${result.missing.join(', ')}.`,\n      });\n    }\n  }\n  for (const orphan of section.orphanMarkers) {\n    violations.push({\n      kind: 'orphanMarker',\n      spaceId: orphan.spaceId,\n      remediation: `Add the corresponding extension to \\`extensionPacks\\` in \\`prisma-next.config.ts\\`, or delete the orphan marker row for \"${orphan.spaceId}\".`,\n    });\n  }\n  if (violations.length === 0) return null;\n  const lines = violations.map((v) => `- [${v.kind}] ${v.spaceId}: ${v.remediation}`);\n  const summary =\n    violations.length === 1\n      ? 'Contract-space verifier found a violation'\n      : `Contract-space verifier found violations (${violations.length})`;\n  return new CliStructuredError('5002', summary, {\n    domain: 'MIG',\n    why: `The on-disk \\`migrations/\\` directory, the \\`extensionPacks\\` declaration, and the live database marker rows are not in agreement.\\n${lines.join('\\n')}`,\n    fix: violations[0]?.remediation ?? 'Review and reconcile the violations listed above.',\n    docsUrl: 'https://pris.ly/contract-spaces',\n    meta: { violations },\n  });\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type {\n  ControlDriverInstance,\n  ControlExtensionDescriptor,\n  ControlFamilyInstance,\n  TargetMigrationsCapability,\n} from '@prisma-next/framework-components/control';\nimport {\n  type AggregatePerSpacePlan,\n  type ContractMarkerRecordLike,\n  type ContractSpaceAggregate,\n  type ContractSpaceMember,\n  graphWalkStrategy,\n} from '@prisma-next/migration-tools/aggregate';\nimport { EMPTY_CONTRACT_HASH } from '@prisma-next/migration-tools/constants';\nimport { errorNoInvariantPath } from '@prisma-next/migration-tools/errors';\nimport { findPathWithDecision } from '@prisma-next/migration-tools/migration-graph';\nimport type { OnDiskMigrationPackage } from '@prisma-next/migration-tools/package';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { notOk, ok } from '@prisma-next/utils/result';\nimport {\n  type BuildAggregateInputs,\n  buildContractSpaceAggregate,\n} from '../../utils/contract-space-aggregate-loader';\nimport type {\n  AggregatePerSpaceExecutionEntry,\n  MigrationApplyFailure,\n  MigrationApplyPathDecision,\n  MigrationApplyResult,\n  MigrationApplySuccess,\n  OnControlProgress,\n} from '../types';\nimport { applyAggregate, buildPerSpaceBreakdown } from './apply-aggregate';\n\n/**\n * Inputs for the aggregate-walking `migration apply` control-api\n * operation.\n *\n * The CLI command resolves the descriptor surface (config, refs,\n * contract envelope) and hands a flat input through. The operation\n * is the single descriptor-free seam between the CLI and the\n * aggregate runtime.\n */\nexport interface ExecuteMigrationApplyOptions<TFamilyId extends string, TTargetId extends string> {\n  readonly driver: ControlDriverInstance<TFamilyId, TTargetId>;\n  readonly familyInstance: ControlFamilyInstance<TFamilyId, unknown>;\n  /** Already-validated app contract (the canonical \"where we are heading\" hash). */\n  readonly contract: Contract;\n  readonly migrations: TargetMigrationsCapability<\n    TFamilyId,\n    TTargetId,\n    ControlFamilyInstance<TFamilyId, unknown>\n  >;\n  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>>;\n  readonly migrationsDir: string;\n  readonly extensionPacks: ReadonlyArray<ControlExtensionDescriptor<TFamilyId, TTargetId>>;\n  readonly targetId: TTargetId;\n  /**\n   * Already-loaded app-space migration packages. The CLI command\n   * loads these via `loadMigrationPackages(appMigrationsDir)`; the\n   * operation hydrates the app member's graph with them. Required\n   * because the framework-neutral aggregate loader doesn't know how\n   * to read the user's `migrations/` directory layout (it's family-\n   * aware: ops.json shape, manifest keys, etc.).\n   */\n  readonly appMigrationPackages: ReadonlyArray<OnDiskMigrationPackage>;\n  /**\n   * Optional app-space ref override. When provided, the app member's\n   * graph-walk targets this hash instead of `member.headRef.hash`.\n   * Extensions are unaffected — they always walk to their own head.\n   *\n   * Sub-spec § `--ref <hash>` semantics under multi-space.\n   */\n  readonly refHash?: string;\n  /**\n   * Required invariants attached to the user-supplied app-space ref.\n   * Threaded into the graph-walk's `required` calculation so the\n   * planner picks an invariant-bearing path and surfaces the\n   * required/satisfied set on the success envelope. When `refHash`\n   * is absent the file's `member.headRef.invariants` are used.\n   */\n  readonly refInvariants?: readonly string[];\n  /**\n   * Resolved name of the user-supplied app-space ref. Surfaces in\n   * `pathDecision.refName` and in `MIGRATION.NO_INVARIANT_PATH`\n   * error envelopes so diagnostics name what the user actually\n   * passed (`--ref prod`) instead of a synthetic placeholder.\n   * Ignored when `refHash` is absent.\n   */\n  readonly refName?: string;\n  readonly onProgress?: OnControlProgress;\n}\n\n/**\n * Apply pending migrations across every contract space (app +\n * extensions). Replay-only: graph-walk against the on-disk graph for\n * every member; no synth, no introspection.\n *\n * Pipeline:\n *\n * 1. Load aggregate from disk (loader hydrates extension graphs;\n *    caller provides app-space packages).\n * 2. Read live marker rows per space (`familyInstance.readAllMarkers`).\n * 3. Per member: `graphWalkStrategy` plots the path from the live\n *    marker to `member.headRef.hash` (or `refHash` for the app\n *    member when provided). Empty-graph members fail loudly — a\n *    \"never planned\" space is a user-error condition for replay.\n * 4. Hand off to {@link applyAggregate} (the runner-driving tail\n *    shared with `db init` / `db update`). Marker advancement is\n *    inside the per-space transaction.\n *\n * Sub-spec § `migration apply` semantics + § Required changes 1.\n */\nexport async function executeMigrationApply<TFamilyId extends string, TTargetId extends string>(\n  options: ExecuteMigrationApplyOptions<TFamilyId, TTargetId>,\n): Promise<MigrationApplyResult> {\n  const {\n    driver,\n    familyInstance,\n    contract,\n    migrations,\n    frameworkComponents,\n    migrationsDir,\n    extensionPacks,\n    targetId,\n    appMigrationPackages,\n    refHash,\n    refInvariants,\n    refName,\n    onProgress,\n  } = options;\n\n  const loadInputs: BuildAggregateInputs<TFamilyId, TTargetId> = {\n    targetId,\n    migrationsDir,\n    appContract: contract,\n    extensionPacks,\n    validateContract: (json) => familyInstance.validateContract(json),\n    appMigrationPackages,\n  };\n  const loaded = await buildContractSpaceAggregate(loadInputs);\n  if (!loaded.ok) {\n    throw loaded.failure;\n  }\n  const aggregate = loaded.value;\n\n  const markerRows = await familyInstance.readAllMarkers({ driver });\n\n  // Plan every member via graph-walk. App member targets `refHash`\n  // when provided, otherwise its own head; extensions always walk\n  // to their own head ref.\n  const allMembers: ReadonlyArray<ContractSpaceMember> = [aggregate.app, ...aggregate.extensions];\n  const perSpacePlans = new Map<string, AggregatePerSpacePlan>();\n  // Already-at-head empty-graph members (typically extensions whose\n  // head ref is the empty sentinel, or whose live marker already\n  // matches the target). Kept out of the runner schedule so we don't\n  // write spurious markers for greenfield extensions, but merged back\n  // into the success envelope so every loaded member is represented.\n  const atHeadResolutions = new Map<string, AggregatePerSpacePlan>();\n  for (const member of allMembers) {\n    const isAppMember = member.spaceId === aggregate.app.spaceId;\n    const targetHash = isAppMember && refHash !== undefined ? refHash : member.headRef.hash;\n    const liveMarker = markerRows.get(member.spaceId) ?? null;\n\n    // Empty-graph members fail loudly: replay needs an on-disk path\n    // and an empty graph means the user has never planned this space.\n    if (member.migrations.graph.nodes.size === 0) {\n      // Edge case: target == EMPTY (greenfield, nothing to do) or\n      // the live marker already matches the target. Loader integrity\n      // allows this for extensions whose head ref is the empty\n      // sentinel. Record a zero-op resolution so the aggregate result\n      // still surfaces the member in `perSpace[]` as already-at-head;\n      // the runner is not invoked for these members because they have\n      // no authored ops and (for greenfield extensions) no marker to\n      // advance.\n      const liveHash = liveMarker?.storageHash;\n      if (\n        targetHash === liveHash ||\n        (liveHash === undefined && targetHash === EMPTY_CONTRACT_HASH)\n      ) {\n        atHeadResolutions.set(\n          member.spaceId,\n          buildAtHeadResolution({\n            aggregateTargetId: aggregate.targetId,\n            member,\n            targetHash,\n            liveMarker,\n          }),\n        );\n        continue;\n      }\n      return notOk(buildNeverPlannedFailure(member.spaceId, targetHash));\n    }\n\n    const targetInvariants =\n      isAppMember && refHash !== undefined && refInvariants !== undefined\n        ? refInvariants\n        : member.headRef.invariants;\n    const targetMember: ContractSpaceMember =\n      targetHash === member.headRef.hash && targetInvariants === member.headRef.invariants\n        ? member\n        : { ...member, headRef: { hash: targetHash, invariants: targetInvariants } };\n\n    const walked = graphWalkStrategy({\n      aggregateTargetId: aggregate.targetId,\n      member: targetMember,\n      currentMarker: liveMarker,\n      ...(isAppMember && refName !== undefined ? { refName } : {}),\n    });\n    if (walked.kind === 'unreachable') {\n      return notOk(buildPathNotFoundFailure(member.spaceId, liveMarker, targetHash));\n    }\n    if (walked.kind === 'unsatisfiable') {\n      // Surface the canonical MIGRATION.NO_INVARIANT_PATH envelope\n      // (the error rendering pipeline maps it to meta.code +\n      // meta.required + meta.missing + meta.structuralPath that the\n      // cli-journeys invariant suite asserts on).\n      // Greenfield runs (no marker yet) use the canonical empty-hash\n      // sentinel so the structural path stays attached to the\n      // `MIGRATION.NO_INVARIANT_PATH` error envelope. Using an empty\n      // string here would leave the structural lookup with a hash that\n      // is never a graph node, producing an empty `structuralPath` and\n      // a less actionable diagnostic.\n      const fromHash = liveMarker?.storageHash ?? EMPTY_CONTRACT_HASH;\n      const structural = findPathWithDecision(targetMember.migrations.graph, fromHash, targetHash, {\n        required: new Set<string>(),\n      });\n      const structuralPath =\n        structural.kind === 'ok'\n          ? structural.decision.selectedPath.map((edge) => ({\n              dirName: edge.dirName,\n              migrationHash: edge.migrationHash,\n              from: edge.from,\n              to: edge.to,\n              invariants: edge.invariants,\n            }))\n          : [];\n      throw errorNoInvariantPath({\n        ...(isAppMember && refName !== undefined ? { refName } : {}),\n        required: targetInvariants,\n        missing: walked.missing,\n        structuralPath,\n      });\n    }\n\n    perSpacePlans.set(member.spaceId, walked.result);\n  }\n\n  const canonicalOrder = [...aggregate.extensions.map((m) => m.spaceId), aggregate.app.spaceId];\n  const applyOrder = canonicalOrder.filter((spaceId) => perSpacePlans.has(spaceId));\n\n  // Short-circuit: nothing pending across any space (no runner-bound\n  // plans). Surfaces every loaded member — including at-head empty-\n  // graph extensions — in `perSpace[]` so the result reflects the\n  // full aggregate, not just the spaces the runner would have touched.\n  const totalPlannedOps = sumPlannedOps(applyOrder, perSpacePlans);\n  if (totalPlannedOps === 0) {\n    const ordered = canonicalOrder\n      .filter((spaceId) => perSpacePlans.has(spaceId) || atHeadResolutions.has(spaceId))\n      .map((spaceId) => {\n        const entry = perSpacePlans.get(spaceId) ?? atHeadResolutions.get(spaceId);\n        if (entry === undefined) {\n          throw new Error(`Unreachable: missing per-space plan for \"${spaceId}\"`);\n        }\n        return { spaceId, entry };\n      });\n    const perSpace = buildPerSpaceBreakdown(ordered, aggregate.app.spaceId, {\n      includeMarkers: true,\n    });\n    const totalSpaces = ordered.length;\n    return ok(\n      buildSuccess({\n        aggregate,\n        orderedResolutions: ordered,\n        perSpace,\n        totalOpsExecuted: 0,\n        summary:\n          totalSpaces === 0\n            ? 'Already up to date — no contract spaces are loaded'\n            : totalSpaces === 1\n              ? 'Already up to date'\n              : `Already up to date across ${totalSpaces} space(s)`,\n      }),\n    );\n  }\n\n  const applied = await applyAggregate({\n    aggregate,\n    perSpacePlans,\n    applyOrder,\n    driver,\n    familyInstance,\n    migrations,\n    frameworkComponents,\n    policy: { allowedOperationClasses: ['additive', 'widening', 'destructive', 'data'] },\n    action: 'migrationApply',\n    ...ifDefined('onProgress', onProgress),\n  });\n\n  if (!applied.ok) {\n    const failure: MigrationApplyFailure = {\n      code: 'RUNNER_FAILED',\n      summary: applied.failure.summary,\n      why: applied.failure.why,\n      meta: applied.failure.meta,\n    };\n    return notOk(failure);\n  }\n\n  // Merge at-head zero-op resolutions back into the canonical order\n  // so the success envelope surfaces every loaded member, not just\n  // those the runner executed.\n  const orderedAll = canonicalOrder\n    .filter((spaceId) => perSpacePlans.has(spaceId) || atHeadResolutions.has(spaceId))\n    .map((spaceId) => {\n      if (perSpacePlans.has(spaceId)) {\n        const fromRunner = applied.value.orderedResolutions.find((r) => r.spaceId === spaceId);\n        if (fromRunner !== undefined) return fromRunner;\n      }\n      const entry = atHeadResolutions.get(spaceId);\n      if (entry === undefined) {\n        throw new Error(`Unreachable: missing per-space plan for \"${spaceId}\"`);\n      }\n      return { spaceId, entry };\n    });\n  const perSpaceAll = buildPerSpaceBreakdown(orderedAll, aggregate.app.spaceId, {\n    includeMarkers: true,\n  });\n  const totalMigrationsApplied = applied.value.orderedResolutions.reduce(\n    (sum, r) => sum + (r.entry.migrationEdges?.length ?? 0),\n    0,\n  );\n  const summary = `Applied ${totalMigrationsApplied} migration(s) (${applied.value.totalOpsExecuted} operation(s)) across ${orderedAll.length} contract space(s)`;\n\n  return ok(\n    buildSuccess({\n      aggregate,\n      orderedResolutions: orderedAll,\n      perSpace: perSpaceAll,\n      totalOpsExecuted: applied.value.totalOpsExecuted,\n      summary,\n    }),\n  );\n}\n\n/**\n * Build a zero-op {@link AggregatePerSpacePlan} for an empty-graph\n * member whose live marker already matches the target. Lets the apply\n * pipeline thread the member through `perSpacePlans` -> `applyOrder`\n * -> the success envelope's `perSpace[]` block so the result reflects\n * every loaded space, even when there is nothing to execute.\n */\nfunction buildAtHeadResolution(args: {\n  readonly aggregateTargetId: string;\n  readonly member: ContractSpaceMember;\n  readonly targetHash: string;\n  readonly liveMarker: ContractMarkerRecordLike | null;\n}): AggregatePerSpacePlan {\n  const { aggregateTargetId, member, targetHash, liveMarker } = args;\n  return {\n    plan: {\n      targetId: aggregateTargetId,\n      spaceId: member.spaceId,\n      origin: liveMarker === null ? null : { storageHash: liveMarker.storageHash },\n      destination: { storageHash: targetHash },\n      operations: [],\n      providedInvariants: [],\n    },\n    displayOps: [],\n    destinationContract: member.contract,\n    strategy: 'graph-walk',\n    migrationEdges: [],\n  };\n}\n\nfunction sumPlannedOps(\n  applyOrder: readonly string[],\n  perSpacePlans: ReadonlyMap<string, AggregatePerSpacePlan>,\n): number {\n  let total = 0;\n  for (const spaceId of applyOrder) {\n    const entry = perSpacePlans.get(spaceId);\n    if (!entry) continue;\n    total += entry.plan.operations.length;\n  }\n  return total;\n}\n\ninterface BuildSuccessArgs {\n  readonly aggregate: ContractSpaceAggregate;\n  readonly orderedResolutions: ReadonlyArray<{\n    readonly spaceId: string;\n    readonly entry: AggregatePerSpacePlan;\n  }>;\n  readonly perSpace: ReadonlyArray<AggregatePerSpaceExecutionEntry>;\n  readonly totalOpsExecuted: number;\n  readonly summary: string;\n}\n\nfunction buildSuccess(args: BuildSuccessArgs): MigrationApplySuccess {\n  // The marker hash surfaced at the top level is the **app member's**\n  // post-apply marker (today's single-space `markerHash` field).\n  // Per-space markers live on `perSpace[].marker.storageHash`.\n  const appResolution = args.orderedResolutions.find(\n    (r) => r.spaceId === args.aggregate.app.spaceId,\n  );\n  const appMarkerHash =\n    appResolution?.entry.plan.destination.storageHash ?? args.aggregate.app.headRef.hash;\n\n  // Per-migration entries (one per authored edge) preserve the\n  // single-space `migrationsApplied` count semantics for back-compat\n  // with existing JSON-shape consumers (e.g. `parsed.applied.length`\n  // in integration tests). The aggregate per-space breakdown lives on\n  // `perSpace[]`.\n  const applied = args.orderedResolutions.flatMap((r) => {\n    const edges = r.entry.migrationEdges ?? [];\n    return edges.map((edge) => ({\n      spaceId: r.spaceId,\n      dirName: edge.dirName,\n      migrationHash: edge.migrationHash,\n      from: edge.from,\n      to: edge.to,\n      operationsExecuted: edge.operationCount,\n    }));\n  });\n\n  const appPlan = appResolution?.entry;\n  const pathDecision: MigrationApplyPathDecision | undefined = appPlan?.pathDecision\n    ? {\n        fromHash: appPlan.pathDecision.fromHash,\n        toHash: appPlan.pathDecision.toHash,\n        alternativeCount: appPlan.pathDecision.alternativeCount,\n        tieBreakReasons: appPlan.pathDecision.tieBreakReasons,\n        ...(appPlan.pathDecision.refName !== undefined\n          ? { refName: appPlan.pathDecision.refName }\n          : {}),\n        requiredInvariants: appPlan.pathDecision.requiredInvariants ?? [],\n        satisfiedInvariants: appPlan.pathDecision.satisfiedInvariants ?? [],\n        selectedPath: appPlan.pathDecision.selectedPath.map((entry) => ({\n          dirName: entry.dirName,\n          migrationHash: entry.migrationHash,\n          from: entry.from,\n          to: entry.to,\n          invariants: entry.invariants,\n        })),\n      }\n    : undefined;\n\n  return {\n    migrationsApplied: applied.length,\n    markerHash: appMarkerHash,\n    applied,\n    summary: args.summary,\n    perSpace: args.perSpace,\n    ...(pathDecision !== undefined ? { pathDecision } : {}),\n  };\n}\n\nfunction buildNeverPlannedFailure(spaceId: string, targetHash: string): MigrationApplyFailure {\n  return {\n    code: 'MIGRATION_PATH_NOT_FOUND',\n    summary: `No on-disk migrations for contract space \"${spaceId}\"`,\n    why: `migration apply is replay-only: every contract space must have an authored migration graph on disk. Space \"${spaceId}\" has no migrations under \\`migrations/${spaceId}/\\` but its head ref targets \"${targetHash}\". Run \\`prisma-next migration plan\\` first to materialise the path.`,\n    meta: { spaceId, target: targetHash, kind: 'neverPlanned' },\n  };\n}\n\nfunction buildPathNotFoundFailure(\n  spaceId: string,\n  marker: ContractMarkerRecordLike | null,\n  targetHash: string,\n): MigrationApplyFailure {\n  const fromHash = marker?.storageHash ?? '<empty>';\n  // The single-space-degenerate phrasing names the user-visible\n  // condition (a contract has been emitted that no on-disk\n  // migration reaches) so the error reads naturally for the\n  // single-space app case. Multi-space callers see the same\n  // condition expressed against the offending space.\n  const summary =\n    spaceId === 'app'\n      ? 'Current contract has no planned migration path'\n      : `Current contract has no planned migration path for contract space \"${spaceId}\"`;\n  return {\n    code: 'MIGRATION_PATH_NOT_FOUND',\n    summary,\n    why: `Cannot reach target \"${targetHash}\" from current marker \"${fromHash}\" in space \"${spaceId}\". The on-disk migration graph for this space does not connect the two states. Run \\`prisma-next migration plan\\` to materialise the path.`,\n    meta: { spaceId, fromHash, targetHash, kind: 'pathUnreachable' },\n  };\n}\n","import type { Contract, ContractMarkerRecord } from '@prisma-next/contract/types';\nimport { emit as emitContractArtifacts } from '@prisma-next/emitter';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type {\n  ControlDriverInstance,\n  ControlFamilyInstance,\n  ControlStack,\n  CoreSchemaView,\n  MigrationPlanOperation,\n  OperationPreview,\n  SignDatabaseResult,\n  VerifyDatabaseResult,\n  VerifyDatabaseSchemaResult,\n} from '@prisma-next/framework-components/control';\nimport {\n  APP_SPACE_ID,\n  createControlStack,\n  hasMigrations,\n  hasOperationPreview,\n  hasPslContractInfer,\n  hasSchemaView,\n} from '@prisma-next/framework-components/control';\nimport type { PslDocumentAst } from '@prisma-next/framework-components/psl-ast';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { notOk, ok } from '@prisma-next/utils/result';\nimport { assertFrameworkComponentsCompatible } from '../utils/framework-components';\nimport { enrichContract } from './contract-enrichment';\nimport { ContractValidationError } from './errors';\nimport { executeDbInit } from './operations/db-init';\nimport { executeDbUpdate } from './operations/db-update';\nimport { type ExecuteDbVerifyResult, executeDbVerify } from './operations/db-verify';\nimport { executeMigrationApply } from './operations/migration-apply';\n\nimport type {\n  ControlActionName,\n  ControlClient,\n  ControlClientOptions,\n  DbInitOptions,\n  DbInitResult,\n  DbUpdateOptions,\n  DbUpdateResult,\n  DbVerifyOptions,\n  EmitOptions,\n  EmitResult,\n  IntrospectOptions,\n  MigrationApplyOptions,\n  MigrationApplyResult,\n  OnControlProgress,\n  SchemaVerifyOptions,\n  SignOptions,\n  VerifyOptions,\n} from './types';\n\n/**\n * Creates a programmatic control client for Prisma Next operations.\n *\n * The client accepts framework component descriptors at creation time,\n * manages driver lifecycle via connect()/close(), and exposes domain\n * operations that delegate to the existing family instance methods.\n *\n * @see {@link ControlClient} for the client interface\n * @see README.md \"Programmatic Control API\" section for usage examples\n */\nexport function createControlClient(options: ControlClientOptions): ControlClient {\n  return new ControlClientImpl(options);\n}\n\n/**\n * Implementation of ControlClient.\n * Manages initialization and connection state, delegates operations to family instance.\n */\nclass ControlClientImpl implements ControlClient {\n  private readonly options: ControlClientOptions;\n  private stack: ControlStack | null = null;\n  private driver: ControlDriverInstance<string, string> | null = null;\n  private familyInstance: ControlFamilyInstance<string, unknown> | null = null;\n  private frameworkComponents: ReadonlyArray<\n    TargetBoundComponentDescriptor<string, string>\n  > | null = null;\n  private initialized = false;\n  private readonly defaultConnection: unknown;\n\n  constructor(options: ControlClientOptions) {\n    this.options = options;\n    this.defaultConnection = options.connection;\n  }\n\n  init(): void {\n    if (this.initialized) {\n      return; // Idempotent\n    }\n\n    this.stack = createControlStack({\n      family: this.options.family,\n      target: this.options.target,\n      adapter: this.options.adapter,\n      driver: this.options.driver,\n      extensionPacks: this.options.extensionPacks,\n    });\n\n    this.familyInstance = this.options.family.create(this.stack);\n\n    // Validate and type-narrow framework components\n    const rawComponents = [\n      this.options.target,\n      this.options.adapter,\n      ...(this.options.extensionPacks ?? []),\n    ];\n    this.frameworkComponents = assertFrameworkComponentsCompatible(\n      this.options.family.familyId,\n      this.options.target.targetId,\n      rawComponents,\n    );\n\n    this.initialized = true;\n  }\n\n  async connect(connection?: unknown): Promise<void> {\n    // Auto-init if needed\n    this.init();\n\n    if (this.driver) {\n      throw new Error('Already connected. Call close() before reconnecting.');\n    }\n\n    // Resolve connection: argument > default from options\n    const resolvedConnection = connection ?? this.defaultConnection;\n    if (resolvedConnection === undefined) {\n      throw new Error(\n        'No connection provided. Pass a connection to connect() or provide a default connection when creating the client.',\n      );\n    }\n\n    // Check for driver descriptor\n    if (!this.stack?.driver) {\n      throw new Error(\n        'Driver is not configured. Pass a driver descriptor when creating the control client to enable database operations.',\n      );\n    }\n\n    // biome-ignore lint/suspicious/noExplicitAny: required for runtime connection type flexibility\n    this.driver = await this.stack.driver.create(resolvedConnection as any);\n  }\n\n  async close(): Promise<void> {\n    if (this.driver) {\n      await this.driver.close();\n      this.driver = null;\n    }\n  }\n\n  private async ensureConnected(): Promise<{\n    driver: ControlDriverInstance<string, string>;\n    familyInstance: ControlFamilyInstance<string, unknown>;\n    frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<string, string>>;\n  }> {\n    // Auto-init if needed\n    this.init();\n\n    // Auto-connect if not connected and default connection is available\n    if (!this.driver && this.defaultConnection !== undefined) {\n      await this.connect(this.defaultConnection);\n    }\n\n    if (!this.driver || !this.familyInstance || !this.frameworkComponents) {\n      throw new Error('Not connected. Call connect(connection) first.');\n    }\n    return {\n      driver: this.driver,\n      familyInstance: this.familyInstance,\n      frameworkComponents: this.frameworkComponents,\n    };\n  }\n\n  private async connectWithProgress(\n    connection: unknown | undefined,\n    action: ControlActionName,\n    onProgress?: OnControlProgress,\n  ): Promise<void> {\n    if (connection === undefined) return;\n    onProgress?.({\n      action,\n      kind: 'spanStart',\n      spanId: 'connect',\n      label: 'Connecting to database...',\n    });\n    try {\n      await this.connect(connection);\n      onProgress?.({ action, kind: 'spanEnd', spanId: 'connect', outcome: 'ok' });\n    } catch (error) {\n      onProgress?.({ action, kind: 'spanEnd', spanId: 'connect', outcome: 'error' });\n      throw error;\n    }\n  }\n\n  async verify(options: VerifyOptions): Promise<VerifyDatabaseResult> {\n    const { onProgress } = options;\n    await this.connectWithProgress(options.connection, 'verify', onProgress);\n    const { driver, familyInstance } = await this.ensureConnected();\n\n    // Validate contract using family instance\n    let contract: Contract;\n    try {\n      contract = familyInstance.validateContract(options.contract);\n    } catch (error) {\n      const message = error instanceof Error ? error.message : String(error);\n      throw new ContractValidationError(message, error);\n    }\n\n    // Emit verify span\n    onProgress?.({\n      action: 'verify',\n      kind: 'spanStart',\n      spanId: 'verify',\n      label: 'Verifying database marker...',\n    });\n\n    try {\n      // Delegate to family instance verify method\n      // Note: We pass empty strings for contractPath/configPath since the programmatic\n      // API doesn't deal with file paths. The family instance accepts these as optional\n      // metadata for error reporting.\n      const result = await familyInstance.verify({\n        driver,\n        contract,\n        expectedTargetId: this.options.target.targetId,\n        contractPath: '',\n      });\n\n      onProgress?.({\n        action: 'verify',\n        kind: 'spanEnd',\n        spanId: 'verify',\n        outcome: result.ok ? 'ok' : 'error',\n      });\n\n      return result;\n    } catch (error) {\n      onProgress?.({\n        action: 'verify',\n        kind: 'spanEnd',\n        spanId: 'verify',\n        outcome: 'error',\n      });\n      throw error;\n    }\n  }\n\n  async schemaVerify(options: SchemaVerifyOptions): Promise<VerifyDatabaseSchemaResult> {\n    const { onProgress } = options;\n    await this.connectWithProgress(options.connection, 'schemaVerify', onProgress);\n    const { driver, familyInstance, frameworkComponents } = await this.ensureConnected();\n\n    // Validate contract using family instance\n    let contract: Contract;\n    try {\n      contract = familyInstance.validateContract(options.contract);\n    } catch (error) {\n      const message = error instanceof Error ? error.message : String(error);\n      throw new ContractValidationError(message, error);\n    }\n\n    // Emit schemaVerify span\n    onProgress?.({\n      action: 'schemaVerify',\n      kind: 'spanStart',\n      spanId: 'schemaVerify',\n      label: 'Verifying database schema...',\n    });\n\n    try {\n      // Delegate to family instance schemaVerify method\n      const result = await familyInstance.schemaVerify({\n        driver,\n        contract,\n        strict: options.strict ?? false,\n        contractPath: '',\n        frameworkComponents,\n      });\n\n      onProgress?.({\n        action: 'schemaVerify',\n        kind: 'spanEnd',\n        spanId: 'schemaVerify',\n        outcome: result.ok ? 'ok' : 'error',\n      });\n\n      return result;\n    } catch (error) {\n      onProgress?.({\n        action: 'schemaVerify',\n        kind: 'spanEnd',\n        spanId: 'schemaVerify',\n        outcome: 'error',\n      });\n      throw error;\n    }\n  }\n\n  async sign(options: SignOptions): Promise<SignDatabaseResult> {\n    const { onProgress } = options;\n    await this.connectWithProgress(options.connection, 'sign', onProgress);\n    const { driver, familyInstance } = await this.ensureConnected();\n\n    // Validate contract using family instance\n    let contract: Contract;\n    try {\n      contract = familyInstance.validateContract(options.contract);\n    } catch (error) {\n      const message = error instanceof Error ? error.message : String(error);\n      throw new ContractValidationError(message, error);\n    }\n\n    // Emit sign span\n    onProgress?.({\n      action: 'sign',\n      kind: 'spanStart',\n      spanId: 'sign',\n      label: 'Signing database...',\n    });\n\n    try {\n      // Delegate to family instance sign method\n      const result = await familyInstance.sign({\n        driver,\n        contract,\n        contractPath: options.contractPath ?? '',\n        ...ifDefined('configPath', options.configPath),\n      });\n\n      onProgress?.({\n        action: 'sign',\n        kind: 'spanEnd',\n        spanId: 'sign',\n        outcome: 'ok',\n      });\n\n      return result;\n    } catch (error) {\n      onProgress?.({\n        action: 'sign',\n        kind: 'spanEnd',\n        spanId: 'sign',\n        outcome: 'error',\n      });\n      throw error;\n    }\n  }\n\n  async dbInit(options: DbInitOptions): Promise<DbInitResult> {\n    const { onProgress } = options;\n    await this.connectWithProgress(options.connection, 'dbInit', onProgress);\n    const { driver, familyInstance, frameworkComponents } = await this.ensureConnected();\n\n    if (!hasMigrations(this.options.target)) {\n      throw new Error(`Target \"${this.options.target.targetId}\" does not support migrations`);\n    }\n\n    let contract: Contract;\n    try {\n      contract = familyInstance.validateContract(options.contract);\n    } catch (error) {\n      const message = error instanceof Error ? error.message : String(error);\n      throw new ContractValidationError(message, error);\n    }\n\n    return executeDbInit({\n      driver,\n      familyInstance,\n      contract,\n      mode: options.mode,\n      migrations: this.options.target.migrations,\n      frameworkComponents,\n      migrationsDir: options.migrationsDir,\n      targetId: this.options.target.targetId,\n      extensionPacks: this.options.extensionPacks ?? [],\n      ...ifDefined('onProgress', onProgress),\n    });\n  }\n\n  async dbUpdate(options: DbUpdateOptions): Promise<DbUpdateResult> {\n    const { onProgress } = options;\n    await this.connectWithProgress(options.connection, 'dbUpdate', onProgress);\n    const { driver, familyInstance, frameworkComponents } = await this.ensureConnected();\n\n    if (!hasMigrations(this.options.target)) {\n      throw new Error(`Target \"${this.options.target.targetId}\" does not support migrations`);\n    }\n\n    let contract: Contract;\n    try {\n      contract = familyInstance.validateContract(options.contract);\n    } catch (error) {\n      const message = error instanceof Error ? error.message : String(error);\n      throw new ContractValidationError(message, error);\n    }\n\n    return executeDbUpdate({\n      driver,\n      familyInstance,\n      contract,\n      mode: options.mode,\n      migrations: this.options.target.migrations,\n      frameworkComponents,\n      migrationsDir: options.migrationsDir,\n      targetId: this.options.target.targetId,\n      extensionPacks: this.options.extensionPacks ?? [],\n      ...ifDefined('acceptDataLoss', options.acceptDataLoss),\n      ...ifDefined('onProgress', onProgress),\n    });\n  }\n\n  async dbVerify(options: DbVerifyOptions): Promise<ExecuteDbVerifyResult> {\n    const { onProgress } = options;\n    await this.connectWithProgress(options.connection, 'dbVerify', onProgress);\n    const { driver, familyInstance, frameworkComponents } = await this.ensureConnected();\n\n    let contract: Contract;\n    try {\n      contract = familyInstance.validateContract(options.contract);\n    } catch (error) {\n      const message = error instanceof Error ? error.message : String(error);\n      throw new ContractValidationError(message, error);\n    }\n\n    return executeDbVerify({\n      driver,\n      familyInstance,\n      contract,\n      migrationsDir: options.migrationsDir,\n      targetId: this.options.target.targetId,\n      extensionPacks: this.options.extensionPacks ?? [],\n      frameworkComponents,\n      mode: options.strict ? 'strict' : 'lenient',\n      skipSchema: options.skipSchema,\n      skipMarker: options.skipMarker,\n      ...ifDefined('onProgress', onProgress),\n    });\n  }\n\n  async readMarker(): Promise<ContractMarkerRecord | null> {\n    const { driver, familyInstance } = await this.ensureConnected();\n    // The CLI client's readMarker reads the app's marker. Per-extension\n    // readers go through the orchestrator's per-space planner / runner\n    // boundary, which threads the extension's space id through the\n    // family interface explicitly.\n    return familyInstance.readMarker({ driver, space: APP_SPACE_ID });\n  }\n\n  async readAllMarkers(): Promise<ReadonlyMap<string, ContractMarkerRecord>> {\n    const { driver, familyInstance } = await this.ensureConnected();\n    return familyInstance.readAllMarkers({ driver });\n  }\n\n  async migrationApply(options: MigrationApplyOptions): Promise<MigrationApplyResult> {\n    const { onProgress } = options;\n    await this.connectWithProgress(options.connection, 'migrationApply', onProgress);\n    const { driver, familyInstance, frameworkComponents } = await this.ensureConnected();\n\n    if (!hasMigrations(this.options.target)) {\n      throw new Error(`Target \"${this.options.target.targetId}\" does not support migrations`);\n    }\n\n    let contract: Contract;\n    try {\n      contract = familyInstance.validateContract(options.contract);\n    } catch (error) {\n      const message = error instanceof Error ? error.message : String(error);\n      throw new ContractValidationError(message, error);\n    }\n\n    return executeMigrationApply({\n      driver,\n      familyInstance,\n      contract,\n      migrations: this.options.target.migrations,\n      frameworkComponents,\n      migrationsDir: options.migrationsDir,\n      extensionPacks: this.options.extensionPacks ?? [],\n      targetId: this.options.target.targetId,\n      appMigrationPackages: options.appMigrationPackages,\n      ...ifDefined('refHash', options.refHash),\n      ...ifDefined('refInvariants', options.refInvariants),\n      ...ifDefined('refName', options.refName),\n      ...ifDefined('onProgress', onProgress),\n    });\n  }\n\n  async introspect(options?: IntrospectOptions): Promise<unknown> {\n    const onProgress = options?.onProgress;\n    await this.connectWithProgress(options?.connection, 'introspect', onProgress);\n    const { driver, familyInstance } = await this.ensureConnected();\n\n    // TODO: Pass schema option to familyInstance.introspect when schema filtering is implemented\n    const _schema = options?.schema;\n    void _schema;\n\n    // Emit introspect span\n    onProgress?.({\n      action: 'introspect',\n      kind: 'spanStart',\n      spanId: 'introspect',\n      label: 'Introspecting database schema...',\n    });\n\n    try {\n      const result = await familyInstance.introspect({ driver });\n\n      onProgress?.({\n        action: 'introspect',\n        kind: 'spanEnd',\n        spanId: 'introspect',\n        outcome: 'ok',\n      });\n\n      return result;\n    } catch (error) {\n      onProgress?.({\n        action: 'introspect',\n        kind: 'spanEnd',\n        spanId: 'introspect',\n        outcome: 'error',\n      });\n      throw error;\n    }\n  }\n\n  toSchemaView(schemaIR: unknown): CoreSchemaView | undefined {\n    this.init();\n    if (this.familyInstance && hasSchemaView(this.familyInstance)) {\n      return this.familyInstance.toSchemaView(schemaIR);\n    }\n    return undefined;\n  }\n\n  inferPslContract(schemaIR: unknown): PslDocumentAst | undefined {\n    this.init();\n    if (this.familyInstance && hasPslContractInfer(this.familyInstance)) {\n      return this.familyInstance.inferPslContract(schemaIR);\n    }\n    return undefined;\n  }\n\n  toOperationPreview(operations: readonly MigrationPlanOperation[]): OperationPreview | undefined {\n    this.init();\n    if (this.familyInstance && hasOperationPreview(this.familyInstance)) {\n      return this.familyInstance.toOperationPreview(operations);\n    }\n    return undefined;\n  }\n\n  async emit(options: EmitOptions): Promise<EmitResult> {\n    const { onProgress, contractConfig } = options;\n\n    // Ensure initialized (creates stack and family instance)\n    // emit() does NOT require a database connection\n    this.init();\n\n    if (!this.familyInstance) {\n      throw new Error('Family instance was not initialized. This is a bug.');\n    }\n\n    let contractRaw: unknown;\n    onProgress?.({\n      action: 'emit',\n      kind: 'spanStart',\n      spanId: 'resolveSource',\n      label: 'Resolving contract source...',\n    });\n\n    try {\n      const stack = this.stack!;\n      const sourceContext = {\n        composedExtensionPacks: stack.extensionPacks.map((p) => p.id),\n        scalarTypeDescriptors: stack.scalarTypeDescriptors,\n        authoringContributions: stack.authoringContributions,\n        codecLookup: stack.codecLookup,\n        controlMutationDefaults: stack.controlMutationDefaults,\n        resolvedInputs: contractConfig.source.inputs ?? [],\n      };\n      const providerResult = await contractConfig.source.load(sourceContext);\n      if (!providerResult.ok) {\n        onProgress?.({\n          action: 'emit',\n          kind: 'spanEnd',\n          spanId: 'resolveSource',\n          outcome: 'error',\n        });\n\n        return notOk({\n          code: 'CONTRACT_SOURCE_INVALID',\n          summary: providerResult.failure.summary,\n          why: providerResult.failure.summary,\n          meta: providerResult.failure.meta,\n          diagnostics: providerResult.failure,\n        });\n      }\n      contractRaw = providerResult.value;\n\n      onProgress?.({\n        action: 'emit',\n        kind: 'spanEnd',\n        spanId: 'resolveSource',\n        outcome: 'ok',\n      });\n    } catch (error) {\n      onProgress?.({\n        action: 'emit',\n        kind: 'spanEnd',\n        spanId: 'resolveSource',\n        outcome: 'error',\n      });\n\n      const message = error instanceof Error ? error.message : String(error);\n      return notOk({\n        code: 'CONTRACT_SOURCE_INVALID',\n        summary: 'Failed to resolve contract source',\n        why: message,\n        diagnostics: {\n          summary: 'Contract source provider threw an exception',\n          diagnostics: [\n            {\n              code: 'PROVIDER_THROW',\n              message,\n            },\n          ],\n        },\n        meta: undefined,\n      });\n    }\n\n    // Emit contract\n    onProgress?.({\n      action: 'emit',\n      kind: 'spanStart',\n      spanId: 'emit',\n      label: 'Emitting contract...',\n    });\n\n    try {\n      const enrichedIR = enrichContract(contractRaw as Contract, this.frameworkComponents ?? []);\n\n      try {\n        this.familyInstance.validateContract(enrichedIR);\n      } catch (error) {\n        onProgress?.({\n          action: 'emit',\n          kind: 'spanEnd',\n          spanId: 'emit',\n          outcome: 'error',\n        });\n        const message = error instanceof Error ? error.message : String(error);\n        return notOk({\n          code: 'CONTRACT_VALIDATION_FAILED',\n          summary: 'Contract validation failed',\n          why: message,\n          meta: undefined,\n        });\n      }\n\n      const result = await emitContractArtifacts(\n        enrichedIR,\n        this.stack!,\n        this.options.family.emission,\n      );\n\n      onProgress?.({\n        action: 'emit',\n        kind: 'spanEnd',\n        spanId: 'emit',\n        outcome: 'ok',\n      });\n\n      return ok({\n        storageHash: result.storageHash,\n        ...ifDefined('executionHash', result.executionHash),\n        profileHash: result.profileHash,\n        contractJson: result.contractJson,\n        contractDts: result.contractDts,\n      });\n    } catch (error) {\n      onProgress?.({\n        action: 'emit',\n        kind: 'spanEnd',\n        spanId: 'emit',\n        outcome: 'error',\n      });\n\n      return notOk({\n        code: 'EMIT_FAILED',\n        summary: 'Failed to emit contract',\n        why: error instanceof Error ? error.message : String(error),\n        meta: undefined,\n      });\n    }\n  }\n}\n"],"mappings":";;;;;;;;;;;;;AAAA,IAAa,0BAAb,cAA6C,MAAM;CACjD;CAEA,YAAY,SAAiB,OAAiB;EAC5C,MAAM,QAAQ;EACd,KAAK,OAAO;EACZ,KAAK,QAAQ;;;;;;;;;ACiBjB,MAAM,gBAAgB;;;;;;;;;;;;;;;;;AA6FtB,eAAsB,eACpB,QAC+B;CAC/B,MAAM,EACJ,WACA,eACA,YACA,QACA,gBACA,YACA,qBACA,QACA,QACA,eACE;CAEJ,MAAM,qBAAqB,eAAe,YAAY,cAAc;CAEpE,MAAM,SAAS,WAAW,aAAa,eAAe;CACtD,IAAI,CAAC,oBAAoB,OAAO,EAC9B,MAAM,kBACJ,sBAAsB,UAAU,SAAS,+CACzC,EACE,KAAK,GAAG,eAAe,OAAO,CAAC,0EAChC,CACF;CAGH,aAAa;EACX;EACA,MAAM;EACN,QAAQ;EACR,OAAO,uBAAuB,OAAO;EACtC,CAAC;CAEF,MAAM,kBACJ,mBAAmB,KAAK,OAAO;EAC7B,OAAO,EAAE;EACT,MAAM,EAAE,MAAM;EACd;EACA,qBAAqB,EAAE,MAAM;EAC7B;EACA;EAOA,oBAAoB;EACrB,EAAE;CAEL,MAAM,eAAe,MACnB,OACA,oBAAoB;EAAE;EAAQ;EAAiB,CAAC;CAElD,IAAI,CAAC,aAAa,IAAI;EACpB,aAAa;GAAE;GAAQ,MAAM;GAAW,QAAQ;GAAe,SAAS;GAAS,CAAC;EAClF,OAAO,MAAM;GACX,SAAS,aAAa,QAAQ;GAC9B,GAAG,UAAU,OAAO,aAAa,QAAQ,IAAI;GAC7C,MAAM;IACJ,GAAI,aAAa,QAAQ,QAAQ,EAAE;IACnC,cAAc,aAAa,QAAQ;IACpC;GACF,CAAC;;CAEJ,aAAa;EAAE;EAAQ,MAAM;EAAW,QAAQ;EAAe,SAAS;EAAM,CAAC;CAe/E,OAAO,GAAG;EACR;EACA,iBAfsB,aAAa,MAAM,gBAAgB,QACxD,KAAK,MAAM,MAAM,EAAE,MAAM,mBAC1B,EAae;EACf,kBAZuB,aAAa,MAAM,gBAAgB,QACzD,KAAK,MAAM,MAAM,EAAE,MAAM,oBAC1B,EAUgB;EAChB,UARe,uBAAuB,oBAAoB,UAAU,IAAI,SAAS,EACjF,gBAAgB,MACjB,CAMS;EACT,CAAC;;;;;;;;;;;;;;AAeJ,SAAgB,uBACd,oBACA,YACA,SAC4C;CAC5C,OAAO,mBAAmB,KAAK,MAAM;EACnC,MAAM,aAAa,EAAE,MAAM,WAAW,KAAK,QAAQ;GACjD,IAAI,GAAG;GACP,OAAO,GAAG;GACV,gBAAgB,GAAG;GACpB,EAAE;EACH,MAAM,OAAwC;GAC5C,SAAS,EAAE;GACX,MAAM,EAAE,YAAY,aAAa,QAAQ;GACzC;GACD;EACD,IAAI,CAAC,QAAQ,gBAAgB,OAAO;EACpC,OAAO;GACL,GAAG;GACH,QAAQ,EAAE,aAAa,EAAE,MAAM,KAAK,YAAY,aAAa;GAC9D;GACD;;;;;;;;;;AAWJ,SAAgB,eACd,YACA,UAC8B;CAC9B,OAAO,WAAW,KAAK,YAAY;EACjC,MAAM,QAAQ,SAAS,IAAI,QAAQ;EACnC,IAAI,CAAC,OACH,MAAM,IAAI,MAAM,wDAAwD,QAAQ,GAAG;EAErF,OAAO;GAAE;GAAS;GAAO;GACzB;;;;;;;;AASJ,SAAgB,uBAAuB,QAAsC;CAC3E,QAAQ,QAAR;EACE,KAAK,UACH,OAAO;EACT,KAAK,YACH,OAAO;EACT,KAAK,kBACH,OAAO;;;AAIb,SAAS,eAAe,QAAsC;CAC5D,QAAQ,QAAR;EACE,KAAK,UACH,OAAO;EACT,KAAK,YACH,OAAO;EACT,KAAK,kBACH,OAAO;;;;;;;;;ACxRb,SAAgB,gBACd,YACiG;CACjG,OAAO,WAAW,KAAK,QAAQ;EAC7B,IAAI,GAAG;EACP,OAAO,GAAG;EACV,gBAAgB,GAAG;EACpB,EAAE;;;;;;;;;;;AC8BL,MAAMA,aAAW;CACf,YAAY;CACZ,MAAM;CACP;;;;;;;;;;;;;;;;;;;;AA+CD,eAAsB,sBACpB,SACwC;CACxC,MAAM,EACJ,QACA,gBACA,UACA,MACA,YACA,qBACA,eACA,gBACA,UACA,QACA,QACA,eACE;CAUJ,MAAM,SAAS,MAAM,4BAA4B;EAN/C;EACA;EACA,aAAa;EACb;EACA,mBAAmB,SAAS,eAAe,iBAAiB,KAAK;EAER,CAAC;CAC5D,IAAI,CAAC,OAAO,IACV,MAAM,OAAO;CAEf,MAAM,YAAY,OAAO;CAGzB,MAAM,aAAa,MAAM,eAAe,eAAe,EAAE,QAAQ,CAAC;CASlE,IAAI,SAAS,SAAS;EACpB,MAAM,oBAAoB,oBAAoB,WAAW,WAAW;EACpE,IAAI,sBAAsB,MACxB,MAAM;;CAIV,aAAa;EACX;EACA,MAAM;EACN,QAAQA,WAAS;EACjB,OAAO;EACR,CAAC;CACF,MAAM,WAAW,MAAM,eAAe,WAAW,EAAE,QAAQ,CAAC;CAC5D,aAAa;EAAE;EAAQ,MAAM;EAAW,QAAQA,WAAS;EAAY,SAAS;EAAM,CAAC;CAKrF,aAAa;EACX;EACA,MAAM;EACN,QAAQA,WAAS;EACjB,OAAO;EACR,CAAC;CACF,MAAM,aAAa,MAAM,cAAoC;EAC3D;EACA,gBAAgB;GAAE,kBAAkB;GAAY,qBAAqB;GAAU;EAC/E;EACA;EACA;EACA,cAAc,EAAE,gBAAgB,IAAI,IAAI,CAAC,UAAU,IAAI,QAAQ,CAAC,EAAE;EAClE,iBAAiB;EAClB,CAAC;CACF,IAAI,CAAC,WAAW,IAAI;EAClB,aAAa;GAAE;GAAQ,MAAM;GAAW,QAAQA,WAAS;GAAM,SAAS;GAAS,CAAC;EAClF,OAAO,gBAAgB,WAAW,QAAQ;;CAE5C,aAAa;EAAE;EAAQ,MAAM;EAAW,QAAQA,WAAS;EAAM,SAAS;EAAM,CAAC;CAE/E,MAAM,qBAAqB,eAAe,WAAW,MAAM,YAAY,WAAW,MAAM,SAAS;CAIjG,MAAM,gBAAgB,mBAAmB,MAAM,MAAM,EAAE,YAAY,UAAU,IAAI,QAAQ;CACzF,IAAI,CAAC,eACH,MAAM,IAAI,MACR,sGACD;CAEH,MAAM,UAAU,cAAc,MAAM;CAGpC,IAAI,SAAS,QAAQ;EACnB,MAAM,eAAe,mBAAmB,SAAS,MAAM,EAAE,MAAM,WAAW;EAC1E,MAAM,UAAU,oBAAoB,eAAe,GAC/C,eAAe,mBAAmB,aAAa,GAC/C,KAAA;EACJ,MAAM,WAAW,uBAAuB,oBAAoB,UAAU,IAAI,SAAS,EACjF,gBAAgB,OACjB,CAAC;EACF,MAAM,UAAU,WAAW,aAAa,OAAO,uBAAuB,mBAAmB,OAAO;EAChG,OAAO,eAAe;GACpB,YAAY;GACZ,aAAa,QAAQ;GACrB;GACA;GACA;GACD,CAAC;;CAQJ,MAAM,UAAU,MAAM,eAAe;EACnC;EACA,eAAe,WAAW,MAAM;EAChC,YAAY,WAAW,MAAM;EAC7B;EACA;EACA;EACA;EACA;EACA;EACA,GAAG,UAAU,cAAc,WAAW;EACvC,CAAC;CACF,IAAI,CAAC,QAAQ,IACX,OAAO,mBAAmB;EACxB,SAAS,QAAQ,QAAQ;EACzB,GAAG,UAAU,OAAO,QAAQ,QAAQ,IAAI;EACxC,MAAM,QAAQ,QAAQ;EACvB,CAAC;CAGJ,MAAM,eAAe,QAAQ,MAAM,mBAAmB,SAAS,MAAM,EAAE,MAAM,WAAW;CACxF,MAAM,UACJ,WAAW,WACP,WAAW,QAAQ,MAAM,iBAAiB,uBAAuB,QAAQ,MAAM,mBAAmB,OAAO,8BACzG,QAAQ,MAAM,qBAAqB,IACjC,4CAA4C,QAAQ,MAAM,mBAAmB,OAAO,gCACpF,WAAW,QAAQ,MAAM,iBAAiB,uBAAuB,QAAQ,MAAM,mBAAmB,OAAO;CAEjH,OAAO,gBAAgB;EACrB,YAAY;EACZ,aAAa,QAAQ;EACrB,mBAAmB,QAAQ,MAAM;EACjC,oBAAoB,QAAQ,MAAM;EAClC,UAAU,QAAQ,MAAM;EACxB;EACD,CAAC;;;;;;;;;;;;;;;;AAiBJ,SAAS,oBACP,WACA,YAC2B;CAC3B,MAAM,iBAAiB,IAAI,IAAY,CACrC,UAAU,IAAI,SACd,GAAG,UAAU,WAAW,KAAK,MAAM,EAAE,QAAQ,CAC9C,CAAC;CACF,MAAM,UAAoB,EAAE;CAC5B,KAAK,MAAM,CAAC,SAAS,QAAQ,YAC3B,IAAI,QAAQ,QAAQ,QAAQ,KAAA,KAAa,CAAC,eAAe,IAAI,QAAQ,EACnE,QAAQ,KAAK,QAAQ;CAGzB,IAAI,QAAQ,WAAW,GAAG,OAAO;CACjC,QAAQ,MAAM,GAAG,MAAM,EAAE,cAAc,EAAE,CAAC;CAK1C,OAAO,IAAI,mBAAmB,QAH5B,QAAQ,WAAW,IACf,8CAA8C,QAAQ,GAAG,KACzD,8CAA8C,QAAQ,OAAO,UACpB;EAC7C,QAAQ;EACR,KAAK,wDAAwD,QAC1D,KAAK,MAAM,IAAI,EAAE,GAAG,CACpB,KACC,KACD,CAAC;EACJ,KAAK;EACL,SAAS;EACT,MAAM,EACJ,YAAY,QAAQ,KAAK,aAAa;GAAE,MAAM;GAAgB;GAAS,EAAE,EAC1E;EACF,CAAC;;AAGJ,SAAS,gBAAgB,OAA6D;CACpF,IAAI,MAAM,SAAS,mBAQjB,OAAO,MAAM;EANX,MAAM;EACN,SAAS;EACT,WAAW,MAAM;EACjB,KAAK,KAAA;EACL,MAAM,KAAA;EAEY,CAAC;CAEvB,IAAI,MAAM,SAAS,4BACjB,OAAO,mBAAmB;EACxB,SAAS,kDAAkD,MAAM,QAAQ;EACzE,KAAK,+DAA+D,MAAM,QAAQ,uCAAuC,MAAM,OAAO;EACtI,MAAM;GAAE,SAAS,MAAM;GAAS,QAAQ,MAAM;GAAQ;EACvD,CAAC;CAEJ,IAAI,MAAM,SAAS,8BACjB,OAAO,mBAAmB;EACxB,SAAS,kDAAkD,MAAM,QAAQ;EACzE,KAAK,gDAAgD,MAAM,QAAQ,yEAAyE,MAAM,kBAAkB,KAAK,KAAK,CAAC;EAC/K,MAAM;GAAE,SAAS,MAAM;GAAS,mBAAmB,MAAM;GAAmB;EAC7E,CAAC;CAKJ,OAAO,mBAAmB;EACxB,SAAS,gDAAgD,MAAM,QAAQ;EACvE,KAAK,MAAM;EACX,MAAM,EAAE,SAAS,MAAM,SAAS;EACjC,CAAC;;AAGJ,SAAS,eAAe,MAMU;CAchC,OAAO,GAAG;EAZR,MAAM;EACN,MAAM;GACJ,YAAY,gBAAgB,KAAK,WAAW;GAC5C,GAAG,UAAU,WAAW,KAAK,QAAQ;GACtC;EACD,aAAa;GACX,aAAa,KAAK,YAAY;GAC9B,GAAG,UAAU,eAAe,KAAK,YAAY,YAAY;GAC1D;EACD,UAAU,KAAK;EACf,SAAS,KAAK;EAEC,CAAC;;AAGpB,SAAS,gBAAgB,MAOS;CAkBhC,OAAO,GAAG;EAhBR,MAAM;EACN,MAAM,EAAE,YAAY,gBAAgB,KAAK,WAAW,EAAE;EACtD,aAAa;GACX,aAAa,KAAK,YAAY;GAC9B,GAAG,UAAU,eAAe,KAAK,YAAY,YAAY;GAC1D;EACD,WAAW;GACT,mBAAmB,KAAK;GACxB,oBAAoB,KAAK;GAC1B;EACD,QAAQ,KAAK,YAAY,cACrB;GAAE,aAAa,KAAK,YAAY;GAAa,aAAa,KAAK,YAAY;GAAa,GACxF,EAAE,aAAa,KAAK,YAAY,aAAa;EACjD,UAAU,KAAK;EACf,SAAS,KAAK;EAEC,CAAC;;AAGpB,SAAS,mBAAmB,MAIM;CAQhC,OAAO,MAAM;EANX,MAAM;EACN,SAAS,KAAK;EACd,KAAK,KAAK;EACV,MAAM,KAAK;EACX,WAAW,KAAA;EAEO,CAAC;;;;;;;;;;;AC1UvB,eAAsB,cACpB,SACuB;CAevB,OAAO,MAdc,sBAA4C;EAC/D,QAAQ,QAAQ;EAChB,gBAAgB,QAAQ;EACxB,UAAU,QAAQ;EAClB,MAAM,QAAQ;EACd,YAAY,QAAQ;EACpB,qBAAqB,QAAQ;EAC7B,eAAe,QAAQ;EACvB,UAAU,QAAQ;EAClB,gBAAgB,QAAQ,kBAAkB,EAAE;EAC5C,QAAQ,EAAE,yBAAyB,CAAC,WAAW,EAAE;EACjD,QAAQ;EACR,GAAG,UAAU,cAAc,QAAQ,WAAW;EAC/C,CAAC;;;;ACtEJ,MAAM,mBAAmB,EACvB,yBAAyB;CAAC;CAAY;CAAY;CAAc,EACjE;;;;;;;;;;AAsCD,eAAsB,gBACpB,SACyB;CACzB,MAAM,eAAe;EACnB,QAAQ,QAAQ;EAChB,gBAAgB,QAAQ;EACxB,UAAU,QAAQ;EAClB,YAAY,QAAQ;EACpB,qBAAqB,QAAQ;EAC7B,eAAe,QAAQ;EACvB,UAAU,QAAQ;EAClB,gBAAgB,QAAQ,kBAAkB,EAAE;EAC5C,QAAQ;EACR,QAAQ;EACR,GAAG,UAAU,cAAc,QAAQ,WAAW;EAC/C;CACD,IAAI,QAAQ,SAAS,WAAW,CAAC,QAAQ,gBAAgB;EACvD,MAAM,OAAO,MAAM,wBAA8C,aAAa;EAC9E,IAAI,SAAS,MAAM,OAAO;;CAE5B,OAAQ,MAAM,sBAA4C;EACxD,GAAG;EACH,MAAM,QAAQ;EACf,CAAC;;;;;;;;;AAUJ,eAAe,wBACb,cACgC;CAChC,MAAM,aAAc,MAAM,sBAA4C;EACpE,GAAG;EACH,MAAM;EACP,CAAC;CACF,IAAI,CAAC,WAAW,IAAI,OAAO;CAC3B,MAAM,iBAAiB,WAAW,MAAM,KAAK,WAC1C,QAAQ,OAAO,GAAG,mBAAmB,cAAc,CACnD,KAAK,QAAQ;EAAE,IAAI,GAAG;EAAI,OAAO,GAAG;EAAO,EAAE;CAChD,IAAI,eAAe,WAAW,GAAG,OAAO;CACxC,OAAO,MAAM;EACX,MAAM;EACN,SAAS,WAAW,eAAe,OAAO;EAC1C,KAAK;EACL,WAAW,KAAA;EACX,MAAM,EAAE,uBAAuB,gBAAgB;EAChD,CAAC;;;;;;;;;AC9EJ,MAAM,WAAW;CACf,YAAY;CACZ,QAAQ;CACT;;;;;;;;;;;;;;;;;AA6DD,eAAsB,gBACpB,SACgC;CAChC,MAAM,EAAE,QAAQ,gBAAgB,YAAY,YAAY,eAAe;CACvE,MAAM,SAAS,MAAM,4BAA4B,gBAAgB,QAAQ,CAAC;CAC1E,IAAI,CAAC,OAAO,IAAI,OAAO,MAAM,OAAO,QAAQ;CAC5C,MAAM,YAAY,OAAO;CAEzB,MAAM,mBAAmB,MAAM,eAAe,eAAe,EAAE,QAAQ,CAAC;CACxE,MAAM,sBAAsB,aACxB,OACA,MAAM,iBAAiB;EAAE;EAAQ;EAAgB;EAAY,CAAC;CAElE,eAAe,YAAY,YAAY;CAQvC,OAAO,qBAAqB;EAAE,cAPT,gBAAgB;GACnC;GACA;GACA;GACA,MAAM,QAAQ;GACd,uBAAuB,wBAAwB,QAAQ;GACxD,CACyC;EAAE;EAAW;EAAY;EAAY,CAAC;;AAGlF,SAAS,gBACP,SAC4C;CAC5C,OAAO;EACL,UAAU,QAAQ;EAClB,eAAe,QAAQ;EACvB,aAAa,QAAQ;EACrB,gBAAgB,QAAQ;EACxB,mBAAmB,SAAS,QAAQ,eAAe,iBAAiB,KAAK;EAC1E;;AAGH,eAAe,iBAAqE,MAI/D;CACnB,MAAM,EAAE,QAAQ,gBAAgB,eAAe;CAC/C,aAAa;EACX,QAAQ;EACR,MAAM;EACN,QAAQ,SAAS;EACjB,OAAO;EACR,CAAC;CACF,IAAI;EACF,MAAM,SAAS,MAAM,eAAe,WAAW,EAAE,QAAQ,CAAC;EAC1D,aAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ,SAAS;GACjB,SAAS;GACV,CAAC;EACF,OAAO;UACA,OAAO;EACd,aAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ,SAAS;GACjB,SAAS;GACV,CAAC;EACF,MAAM;;;;;;;;;AAUV,SAAS,wBACP,SAK8B;CAC9B,MAAM,EAAE,YAAY,gBAAgB,wBAAwB;CAC5D,QAAQ,iBAAiB,QAAQ,eAAe;EAC9C,IAAI,YAAY,OAAO,yBAAyB,OAAO;EACvD,OAAO,eAAe,0BAA0B;GAC9C,UAAU,OAAO;GAIjB,QAAQ;GACR,QAAQ,eAAe;GACvB;GACD,CAAC;;;AAIN,SAAS,eACP,YACA,MACM;CACN,IAAI,SAAS,aAAa;EACxB,aAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ,SAAS;GACjB,OAAO;GACR,CAAC;EACF;;CAEF,aAAa;EACX,QAAQ;EACR,MAAM;EACN,QAAQ,SAAS;EACjB,SAAS,SAAS,cAAc,OAAO;EACxC,CAAC;;;;;;;AAQJ,SAAS,qBAAqB,MAQJ;CACxB,MAAM,EAAE,cAAc,WAAW,YAAY,eAAe;CAC5D,IAAI,CAAC,aAAa,IAAI;EACpB,eAAe,YAAY,eAAe;EAC1C,OAAO,MACL,IAAI,mBAAmB,QAAQ,2CAA2C;GACxE,QAAQ;GACR,KAAK,aAAa,QAAQ;GAC1B,KAAK;GACL,SAAS;GACV,CAAC,CACH;;CAEH,MAAM,cAAc,aAChB,OACA,uBAAuB,UAAU,IAAI,SAAS,aAAa,MAAM,YAAY;CACjF,IAAI,gBAAgB,MAAM;EACxB,eAAe,YAAY,eAAe;EAC1C,OAAO,MAAM,YAAY;;CAE3B,eAAe,YAAY,YAAY;CACvC,OAAO,GAAG;EACR,eAAe,aAAa,MAAM,YAAY;EAC9C,aAAa,CAAC,UAAU,IAAI,SAAS,GAAG,UAAU,WAAW,KAAK,MAAM,EAAE,QAAQ,CAAC;EACnF,YAAY,UAAU,IAAI;EAC3B,CAAC;;AAGJ,SAAS,yBAAyB,QAAyD;CACzF,MAAM,cAAe,OAAO,SAAsC;CAClE,OAAO;EACL,IAAI;EACJ,SAAS;EACT,UAAU;GACR,aAAa,OAAO,QAAQ;GAC5B,GAAI,cAAc,EAAE,aAAa,GAAG,EAAE;GACvC;EACD,QAAQ,EAAE,UAAU,OAAO,SAAS,QAAQ;EAC5C,QAAQ;GACN,QAAQ,EAAE;GACV,MAAM;IACJ,QAAQ;IACR,MAAM;IACN,MAAM,OAAO;IACb,cAAc;IACd,MAAM;IACN,SAAS;IACT,UAAU,KAAA;IACV,QAAQ,KAAA;IACR,UAAU,EAAE;IACb;GACD,QAAQ;IAAE,MAAM;IAAG,MAAM;IAAG,MAAM;IAAG,YAAY;IAAG;GACrD;EACD,SAAS,EAAE,OAAO,GAAG;EACtB;;;;;;;AAQH,SAAS,uBACP,YACA,SAU2B;CAC3B,MAAM,aAID,EAAE;CACP,KAAK,MAAM,CAAC,SAAS,WAAW,QAAQ,UAAU;EAChD,IAAI,OAAO,SAAS,QAAQ,OAAO,SAAS,UAAU;EACtD,IAAI,OAAO,SAAS,gBAAgB;GAClC,WAAW,KAAK;IACd,MAAM;IACN;IACA,aACE,YAAY,aACR,uGACA,+CAA+C,QAAQ;IAC9D,CAAC;GACF;;EAEF,IAAI,OAAO,SAAS,qBAClB,WAAW,KAAK;GACd,MAAM;GACN;GACA,aAAa,8CAA8C,QAAQ,wCAAwC,OAAO,QAAQ,KAAK,KAAK,CAAC;GACtI,CAAC;;CAGN,KAAK,MAAM,UAAU,QAAQ,eAC3B,WAAW,KAAK;EACd,MAAM;EACN,SAAS,OAAO;EAChB,aAAa,4HAA4H,OAAO,QAAQ;EACzJ,CAAC;CAEJ,IAAI,WAAW,WAAW,GAAG,OAAO;CACpC,MAAM,QAAQ,WAAW,KAAK,MAAM,MAAM,EAAE,KAAK,IAAI,EAAE,QAAQ,IAAI,EAAE,cAAc;CAKnF,OAAO,IAAI,mBAAmB,QAH5B,WAAW,WAAW,IAClB,8CACA,6CAA6C,WAAW,OAAO,IACtB;EAC7C,QAAQ;EACR,KAAK,uIAAuI,MAAM,KAAK,KAAK;EAC5J,KAAK,WAAW,IAAI,eAAe;EACnC,SAAS;EACT,MAAM,EAAE,YAAY;EACrB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;AClOJ,eAAsB,sBACpB,SAC+B;CAC/B,MAAM,EACJ,QACA,gBACA,UACA,YACA,qBACA,eACA,gBACA,UACA,sBACA,SACA,eACA,SACA,eACE;CAUJ,MAAM,SAAS,MAAM,4BAA4B;EAP/C;EACA;EACA,aAAa;EACb;EACA,mBAAmB,SAAS,eAAe,iBAAiB,KAAK;EACjE;EAEyD,CAAC;CAC5D,IAAI,CAAC,OAAO,IACV,MAAM,OAAO;CAEf,MAAM,YAAY,OAAO;CAEzB,MAAM,aAAa,MAAM,eAAe,eAAe,EAAE,QAAQ,CAAC;CAKlE,MAAM,aAAiD,CAAC,UAAU,KAAK,GAAG,UAAU,WAAW;CAC/F,MAAM,gCAAgB,IAAI,KAAoC;CAM9D,MAAM,oCAAoB,IAAI,KAAoC;CAClE,KAAK,MAAM,UAAU,YAAY;EAC/B,MAAM,cAAc,OAAO,YAAY,UAAU,IAAI;EACrD,MAAM,aAAa,eAAe,YAAY,KAAA,IAAY,UAAU,OAAO,QAAQ;EACnF,MAAM,aAAa,WAAW,IAAI,OAAO,QAAQ,IAAI;EAIrD,IAAI,OAAO,WAAW,MAAM,MAAM,SAAS,GAAG;GAS5C,MAAM,WAAW,YAAY;GAC7B,IACE,eAAe,YACd,aAAa,KAAA,KAAa,eAAe,qBAC1C;IACA,kBAAkB,IAChB,OAAO,SACP,sBAAsB;KACpB,mBAAmB,UAAU;KAC7B;KACA;KACA;KACD,CAAC,CACH;IACD;;GAEF,OAAO,MAAM,yBAAyB,OAAO,SAAS,WAAW,CAAC;;EAGpE,MAAM,mBACJ,eAAe,YAAY,KAAA,KAAa,kBAAkB,KAAA,IACtD,gBACA,OAAO,QAAQ;EACrB,MAAM,eACJ,eAAe,OAAO,QAAQ,QAAQ,qBAAqB,OAAO,QAAQ,aACtE,SACA;GAAE,GAAG;GAAQ,SAAS;IAAE,MAAM;IAAY,YAAY;IAAkB;GAAE;EAEhF,MAAM,SAAS,kBAAkB;GAC/B,mBAAmB,UAAU;GAC7B,QAAQ;GACR,eAAe;GACf,GAAI,eAAe,YAAY,KAAA,IAAY,EAAE,SAAS,GAAG,EAAE;GAC5D,CAAC;EACF,IAAI,OAAO,SAAS,eAClB,OAAO,MAAM,yBAAyB,OAAO,SAAS,YAAY,WAAW,CAAC;EAEhF,IAAI,OAAO,SAAS,iBAAiB;GAWnC,MAAM,WAAW,YAAY,eAAe;GAC5C,MAAM,aAAa,qBAAqB,aAAa,WAAW,OAAO,UAAU,YAAY,EAC3F,0BAAU,IAAI,KAAa,EAC5B,CAAC;GACF,MAAM,iBACJ,WAAW,SAAS,OAChB,WAAW,SAAS,aAAa,KAAK,UAAU;IAC9C,SAAS,KAAK;IACd,eAAe,KAAK;IACpB,MAAM,KAAK;IACX,IAAI,KAAK;IACT,YAAY,KAAK;IAClB,EAAE,GACH,EAAE;GACR,MAAM,qBAAqB;IACzB,GAAI,eAAe,YAAY,KAAA,IAAY,EAAE,SAAS,GAAG,EAAE;IAC3D,UAAU;IACV,SAAS,OAAO;IAChB;IACD,CAAC;;EAGJ,cAAc,IAAI,OAAO,SAAS,OAAO,OAAO;;CAGlD,MAAM,iBAAiB,CAAC,GAAG,UAAU,WAAW,KAAK,MAAM,EAAE,QAAQ,EAAE,UAAU,IAAI,QAAQ;CAC7F,MAAM,aAAa,eAAe,QAAQ,YAAY,cAAc,IAAI,QAAQ,CAAC;CAOjF,IADwB,cAAc,YAAY,cAC/B,KAAK,GAAG;EACzB,MAAM,UAAU,eACb,QAAQ,YAAY,cAAc,IAAI,QAAQ,IAAI,kBAAkB,IAAI,QAAQ,CAAC,CACjF,KAAK,YAAY;GAChB,MAAM,QAAQ,cAAc,IAAI,QAAQ,IAAI,kBAAkB,IAAI,QAAQ;GAC1E,IAAI,UAAU,KAAA,GACZ,MAAM,IAAI,MAAM,4CAA4C,QAAQ,GAAG;GAEzE,OAAO;IAAE;IAAS;IAAO;IACzB;EACJ,MAAM,WAAW,uBAAuB,SAAS,UAAU,IAAI,SAAS,EACtE,gBAAgB,MACjB,CAAC;EACF,MAAM,cAAc,QAAQ;EAC5B,OAAO,GACL,aAAa;GACX;GACA,oBAAoB;GACpB;GACA,kBAAkB;GAClB,SACE,gBAAgB,IACZ,uDACA,gBAAgB,IACd,uBACA,6BAA6B,YAAY;GAClD,CAAC,CACH;;CAGH,MAAM,UAAU,MAAM,eAAe;EACnC;EACA;EACA;EACA;EACA;EACA;EACA;EACA,QAAQ,EAAE,yBAAyB;GAAC;GAAY;GAAY;GAAe;GAAO,EAAE;EACpF,QAAQ;EACR,GAAG,UAAU,cAAc,WAAW;EACvC,CAAC;CAEF,IAAI,CAAC,QAAQ,IAOX,OAAO,MAAM;EALX,MAAM;EACN,SAAS,QAAQ,QAAQ;EACzB,KAAK,QAAQ,QAAQ;EACrB,MAAM,QAAQ,QAAQ;EAEJ,CAAC;CAMvB,MAAM,aAAa,eAChB,QAAQ,YAAY,cAAc,IAAI,QAAQ,IAAI,kBAAkB,IAAI,QAAQ,CAAC,CACjF,KAAK,YAAY;EAChB,IAAI,cAAc,IAAI,QAAQ,EAAE;GAC9B,MAAM,aAAa,QAAQ,MAAM,mBAAmB,MAAM,MAAM,EAAE,YAAY,QAAQ;GACtF,IAAI,eAAe,KAAA,GAAW,OAAO;;EAEvC,MAAM,QAAQ,kBAAkB,IAAI,QAAQ;EAC5C,IAAI,UAAU,KAAA,GACZ,MAAM,IAAI,MAAM,4CAA4C,QAAQ,GAAG;EAEzE,OAAO;GAAE;GAAS;GAAO;GACzB;CACJ,MAAM,cAAc,uBAAuB,YAAY,UAAU,IAAI,SAAS,EAC5E,gBAAgB,MACjB,CAAC;CAKF,MAAM,UAAU,WAJe,QAAQ,MAAM,mBAAmB,QAC7D,KAAK,MAAM,OAAO,EAAE,MAAM,gBAAgB,UAAU,IACrD,EAE+C,CAAC,iBAAiB,QAAQ,MAAM,iBAAiB,wBAAwB,WAAW,OAAO;CAE5I,OAAO,GACL,aAAa;EACX;EACA,oBAAoB;EACpB,UAAU;EACV,kBAAkB,QAAQ,MAAM;EAChC;EACD,CAAC,CACH;;;;;;;;;AAUH,SAAS,sBAAsB,MAKL;CACxB,MAAM,EAAE,mBAAmB,QAAQ,YAAY,eAAe;CAC9D,OAAO;EACL,MAAM;GACJ,UAAU;GACV,SAAS,OAAO;GAChB,QAAQ,eAAe,OAAO,OAAO,EAAE,aAAa,WAAW,aAAa;GAC5E,aAAa,EAAE,aAAa,YAAY;GACxC,YAAY,EAAE;GACd,oBAAoB,EAAE;GACvB;EACD,YAAY,EAAE;EACd,qBAAqB,OAAO;EAC5B,UAAU;EACV,gBAAgB,EAAE;EACnB;;AAGH,SAAS,cACP,YACA,eACQ;CACR,IAAI,QAAQ;CACZ,KAAK,MAAM,WAAW,YAAY;EAChC,MAAM,QAAQ,cAAc,IAAI,QAAQ;EACxC,IAAI,CAAC,OAAO;EACZ,SAAS,MAAM,KAAK,WAAW;;CAEjC,OAAO;;AAcT,SAAS,aAAa,MAA+C;CAInE,MAAM,gBAAgB,KAAK,mBAAmB,MAC3C,MAAM,EAAE,YAAY,KAAK,UAAU,IAAI,QACzC;CACD,MAAM,gBACJ,eAAe,MAAM,KAAK,YAAY,eAAe,KAAK,UAAU,IAAI,QAAQ;CAOlF,MAAM,UAAU,KAAK,mBAAmB,SAAS,MAAM;EAErD,QADc,EAAE,MAAM,kBAAkB,EAAE,EAC7B,KAAK,UAAU;GAC1B,SAAS,EAAE;GACX,SAAS,KAAK;GACd,eAAe,KAAK;GACpB,MAAM,KAAK;GACX,IAAI,KAAK;GACT,oBAAoB,KAAK;GAC1B,EAAE;GACH;CAEF,MAAM,UAAU,eAAe;CAC/B,MAAM,eAAuD,SAAS,eAClE;EACE,UAAU,QAAQ,aAAa;EAC/B,QAAQ,QAAQ,aAAa;EAC7B,kBAAkB,QAAQ,aAAa;EACvC,iBAAiB,QAAQ,aAAa;EACtC,GAAI,QAAQ,aAAa,YAAY,KAAA,IACjC,EAAE,SAAS,QAAQ,aAAa,SAAS,GACzC,EAAE;EACN,oBAAoB,QAAQ,aAAa,sBAAsB,EAAE;EACjE,qBAAqB,QAAQ,aAAa,uBAAuB,EAAE;EACnE,cAAc,QAAQ,aAAa,aAAa,KAAK,WAAW;GAC9D,SAAS,MAAM;GACf,eAAe,MAAM;GACrB,MAAM,MAAM;GACZ,IAAI,MAAM;GACV,YAAY,MAAM;GACnB,EAAE;EACJ,GACD,KAAA;CAEJ,OAAO;EACL,mBAAmB,QAAQ;EAC3B,YAAY;EACZ;EACA,SAAS,KAAK;EACd,UAAU,KAAK;EACf,GAAI,iBAAiB,KAAA,IAAY,EAAE,cAAc,GAAG,EAAE;EACvD;;AAGH,SAAS,yBAAyB,SAAiB,YAA2C;CAC5F,OAAO;EACL,MAAM;EACN,SAAS,6CAA6C,QAAQ;EAC9D,KAAK,8GAA8G,QAAQ,yCAAyC,QAAQ,gCAAgC,WAAW;EACvN,MAAM;GAAE;GAAS,QAAQ;GAAY,MAAM;GAAgB;EAC5D;;AAGH,SAAS,yBACP,SACA,QACA,YACuB;CACvB,MAAM,WAAW,QAAQ,eAAe;CAUxC,OAAO;EACL,MAAM;EACN,SALA,YAAY,QACR,mDACA,sEAAsE,QAAQ;EAIlF,KAAK,wBAAwB,WAAW,yBAAyB,SAAS,cAAc,QAAQ;EAChG,MAAM;GAAE;GAAS;GAAU;GAAY,MAAM;GAAmB;EACjE;;;;;;;;;;;;;;ACzaH,SAAgB,oBAAoB,SAA8C;CAChF,OAAO,IAAI,kBAAkB,QAAQ;;;;;;AAOvC,IAAM,oBAAN,MAAiD;CAC/C;CACA,QAAqC;CACrC,SAA+D;CAC/D,iBAAwE;CACxE,sBAEW;CACX,cAAsB;CACtB;CAEA,YAAY,SAA+B;EACzC,KAAK,UAAU;EACf,KAAK,oBAAoB,QAAQ;;CAGnC,OAAa;EACX,IAAI,KAAK,aACP;EAGF,KAAK,QAAQ,mBAAmB;GAC9B,QAAQ,KAAK,QAAQ;GACrB,QAAQ,KAAK,QAAQ;GACrB,SAAS,KAAK,QAAQ;GACtB,QAAQ,KAAK,QAAQ;GACrB,gBAAgB,KAAK,QAAQ;GAC9B,CAAC;EAEF,KAAK,iBAAiB,KAAK,QAAQ,OAAO,OAAO,KAAK,MAAM;EAG5D,MAAM,gBAAgB;GACpB,KAAK,QAAQ;GACb,KAAK,QAAQ;GACb,GAAI,KAAK,QAAQ,kBAAkB,EAAE;GACtC;EACD,KAAK,sBAAsB,oCACzB,KAAK,QAAQ,OAAO,UACpB,KAAK,QAAQ,OAAO,UACpB,cACD;EAED,KAAK,cAAc;;CAGrB,MAAM,QAAQ,YAAqC;EAEjD,KAAK,MAAM;EAEX,IAAI,KAAK,QACP,MAAM,IAAI,MAAM,uDAAuD;EAIzE,MAAM,qBAAqB,cAAc,KAAK;EAC9C,IAAI,uBAAuB,KAAA,GACzB,MAAM,IAAI,MACR,mHACD;EAIH,IAAI,CAAC,KAAK,OAAO,QACf,MAAM,IAAI,MACR,qHACD;EAIH,KAAK,SAAS,MAAM,KAAK,MAAM,OAAO,OAAO,mBAA0B;;CAGzE,MAAM,QAAuB;EAC3B,IAAI,KAAK,QAAQ;GACf,MAAM,KAAK,OAAO,OAAO;GACzB,KAAK,SAAS;;;CAIlB,MAAc,kBAIX;EAED,KAAK,MAAM;EAGX,IAAI,CAAC,KAAK,UAAU,KAAK,sBAAsB,KAAA,GAC7C,MAAM,KAAK,QAAQ,KAAK,kBAAkB;EAG5C,IAAI,CAAC,KAAK,UAAU,CAAC,KAAK,kBAAkB,CAAC,KAAK,qBAChD,MAAM,IAAI,MAAM,iDAAiD;EAEnE,OAAO;GACL,QAAQ,KAAK;GACb,gBAAgB,KAAK;GACrB,qBAAqB,KAAK;GAC3B;;CAGH,MAAc,oBACZ,YACA,QACA,YACe;EACf,IAAI,eAAe,KAAA,GAAW;EAC9B,aAAa;GACX;GACA,MAAM;GACN,QAAQ;GACR,OAAO;GACR,CAAC;EACF,IAAI;GACF,MAAM,KAAK,QAAQ,WAAW;GAC9B,aAAa;IAAE;IAAQ,MAAM;IAAW,QAAQ;IAAW,SAAS;IAAM,CAAC;WACpE,OAAO;GACd,aAAa;IAAE;IAAQ,MAAM;IAAW,QAAQ;IAAW,SAAS;IAAS,CAAC;GAC9E,MAAM;;;CAIV,MAAM,OAAO,SAAuD;EAClE,MAAM,EAAE,eAAe;EACvB,MAAM,KAAK,oBAAoB,QAAQ,YAAY,UAAU,WAAW;EACxE,MAAM,EAAE,QAAQ,mBAAmB,MAAM,KAAK,iBAAiB;EAG/D,IAAI;EACJ,IAAI;GACF,WAAW,eAAe,iBAAiB,QAAQ,SAAS;WACrD,OAAO;GAEd,MAAM,IAAI,wBADM,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAC3B,MAAM;;EAInD,aAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,OAAO;GACR,CAAC;EAEF,IAAI;GAKF,MAAM,SAAS,MAAM,eAAe,OAAO;IACzC;IACA;IACA,kBAAkB,KAAK,QAAQ,OAAO;IACtC,cAAc;IACf,CAAC;GAEF,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS,OAAO,KAAK,OAAO;IAC7B,CAAC;GAEF,OAAO;WACA,OAAO;GACd,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;GACF,MAAM;;;CAIV,MAAM,aAAa,SAAmE;EACpF,MAAM,EAAE,eAAe;EACvB,MAAM,KAAK,oBAAoB,QAAQ,YAAY,gBAAgB,WAAW;EAC9E,MAAM,EAAE,QAAQ,gBAAgB,wBAAwB,MAAM,KAAK,iBAAiB;EAGpF,IAAI;EACJ,IAAI;GACF,WAAW,eAAe,iBAAiB,QAAQ,SAAS;WACrD,OAAO;GAEd,MAAM,IAAI,wBADM,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAC3B,MAAM;;EAInD,aAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,OAAO;GACR,CAAC;EAEF,IAAI;GAEF,MAAM,SAAS,MAAM,eAAe,aAAa;IAC/C;IACA;IACA,QAAQ,QAAQ,UAAU;IAC1B,cAAc;IACd;IACD,CAAC;GAEF,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS,OAAO,KAAK,OAAO;IAC7B,CAAC;GAEF,OAAO;WACA,OAAO;GACd,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;GACF,MAAM;;;CAIV,MAAM,KAAK,SAAmD;EAC5D,MAAM,EAAE,eAAe;EACvB,MAAM,KAAK,oBAAoB,QAAQ,YAAY,QAAQ,WAAW;EACtE,MAAM,EAAE,QAAQ,mBAAmB,MAAM,KAAK,iBAAiB;EAG/D,IAAI;EACJ,IAAI;GACF,WAAW,eAAe,iBAAiB,QAAQ,SAAS;WACrD,OAAO;GAEd,MAAM,IAAI,wBADM,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAC3B,MAAM;;EAInD,aAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,OAAO;GACR,CAAC;EAEF,IAAI;GAEF,MAAM,SAAS,MAAM,eAAe,KAAK;IACvC;IACA;IACA,cAAc,QAAQ,gBAAgB;IACtC,GAAG,UAAU,cAAc,QAAQ,WAAW;IAC/C,CAAC;GAEF,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;GAEF,OAAO;WACA,OAAO;GACd,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;GACF,MAAM;;;CAIV,MAAM,OAAO,SAA+C;EAC1D,MAAM,EAAE,eAAe;EACvB,MAAM,KAAK,oBAAoB,QAAQ,YAAY,UAAU,WAAW;EACxE,MAAM,EAAE,QAAQ,gBAAgB,wBAAwB,MAAM,KAAK,iBAAiB;EAEpF,IAAI,CAAC,cAAc,KAAK,QAAQ,OAAO,EACrC,MAAM,IAAI,MAAM,WAAW,KAAK,QAAQ,OAAO,SAAS,+BAA+B;EAGzF,IAAI;EACJ,IAAI;GACF,WAAW,eAAe,iBAAiB,QAAQ,SAAS;WACrD,OAAO;GAEd,MAAM,IAAI,wBADM,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAC3B,MAAM;;EAGnD,OAAO,cAAc;GACnB;GACA;GACA;GACA,MAAM,QAAQ;GACd,YAAY,KAAK,QAAQ,OAAO;GAChC;GACA,eAAe,QAAQ;GACvB,UAAU,KAAK,QAAQ,OAAO;GAC9B,gBAAgB,KAAK,QAAQ,kBAAkB,EAAE;GACjD,GAAG,UAAU,cAAc,WAAW;GACvC,CAAC;;CAGJ,MAAM,SAAS,SAAmD;EAChE,MAAM,EAAE,eAAe;EACvB,MAAM,KAAK,oBAAoB,QAAQ,YAAY,YAAY,WAAW;EAC1E,MAAM,EAAE,QAAQ,gBAAgB,wBAAwB,MAAM,KAAK,iBAAiB;EAEpF,IAAI,CAAC,cAAc,KAAK,QAAQ,OAAO,EACrC,MAAM,IAAI,MAAM,WAAW,KAAK,QAAQ,OAAO,SAAS,+BAA+B;EAGzF,IAAI;EACJ,IAAI;GACF,WAAW,eAAe,iBAAiB,QAAQ,SAAS;WACrD,OAAO;GAEd,MAAM,IAAI,wBADM,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAC3B,MAAM;;EAGnD,OAAO,gBAAgB;GACrB;GACA;GACA;GACA,MAAM,QAAQ;GACd,YAAY,KAAK,QAAQ,OAAO;GAChC;GACA,eAAe,QAAQ;GACvB,UAAU,KAAK,QAAQ,OAAO;GAC9B,gBAAgB,KAAK,QAAQ,kBAAkB,EAAE;GACjD,GAAG,UAAU,kBAAkB,QAAQ,eAAe;GACtD,GAAG,UAAU,cAAc,WAAW;GACvC,CAAC;;CAGJ,MAAM,SAAS,SAA0D;EACvE,MAAM,EAAE,eAAe;EACvB,MAAM,KAAK,oBAAoB,QAAQ,YAAY,YAAY,WAAW;EAC1E,MAAM,EAAE,QAAQ,gBAAgB,wBAAwB,MAAM,KAAK,iBAAiB;EAEpF,IAAI;EACJ,IAAI;GACF,WAAW,eAAe,iBAAiB,QAAQ,SAAS;WACrD,OAAO;GAEd,MAAM,IAAI,wBADM,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAC3B,MAAM;;EAGnD,OAAO,gBAAgB;GACrB;GACA;GACA;GACA,eAAe,QAAQ;GACvB,UAAU,KAAK,QAAQ,OAAO;GAC9B,gBAAgB,KAAK,QAAQ,kBAAkB,EAAE;GACjD;GACA,MAAM,QAAQ,SAAS,WAAW;GAClC,YAAY,QAAQ;GACpB,YAAY,QAAQ;GACpB,GAAG,UAAU,cAAc,WAAW;GACvC,CAAC;;CAGJ,MAAM,aAAmD;EACvD,MAAM,EAAE,QAAQ,mBAAmB,MAAM,KAAK,iBAAiB;EAK/D,OAAO,eAAe,WAAW;GAAE;GAAQ,OAAO;GAAc,CAAC;;CAGnE,MAAM,iBAAqE;EACzE,MAAM,EAAE,QAAQ,mBAAmB,MAAM,KAAK,iBAAiB;EAC/D,OAAO,eAAe,eAAe,EAAE,QAAQ,CAAC;;CAGlD,MAAM,eAAe,SAA+D;EAClF,MAAM,EAAE,eAAe;EACvB,MAAM,KAAK,oBAAoB,QAAQ,YAAY,kBAAkB,WAAW;EAChF,MAAM,EAAE,QAAQ,gBAAgB,wBAAwB,MAAM,KAAK,iBAAiB;EAEpF,IAAI,CAAC,cAAc,KAAK,QAAQ,OAAO,EACrC,MAAM,IAAI,MAAM,WAAW,KAAK,QAAQ,OAAO,SAAS,+BAA+B;EAGzF,IAAI;EACJ,IAAI;GACF,WAAW,eAAe,iBAAiB,QAAQ,SAAS;WACrD,OAAO;GAEd,MAAM,IAAI,wBADM,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAC3B,MAAM;;EAGnD,OAAO,sBAAsB;GAC3B;GACA;GACA;GACA,YAAY,KAAK,QAAQ,OAAO;GAChC;GACA,eAAe,QAAQ;GACvB,gBAAgB,KAAK,QAAQ,kBAAkB,EAAE;GACjD,UAAU,KAAK,QAAQ,OAAO;GAC9B,sBAAsB,QAAQ;GAC9B,GAAG,UAAU,WAAW,QAAQ,QAAQ;GACxC,GAAG,UAAU,iBAAiB,QAAQ,cAAc;GACpD,GAAG,UAAU,WAAW,QAAQ,QAAQ;GACxC,GAAG,UAAU,cAAc,WAAW;GACvC,CAAC;;CAGJ,MAAM,WAAW,SAA+C;EAC9D,MAAM,aAAa,SAAS;EAC5B,MAAM,KAAK,oBAAoB,SAAS,YAAY,cAAc,WAAW;EAC7E,MAAM,EAAE,QAAQ,mBAAmB,MAAM,KAAK,iBAAiB;EAG/C,SAAS;EAIzB,aAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,OAAO;GACR,CAAC;EAEF,IAAI;GACF,MAAM,SAAS,MAAM,eAAe,WAAW,EAAE,QAAQ,CAAC;GAE1D,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;GAEF,OAAO;WACA,OAAO;GACd,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;GACF,MAAM;;;CAIV,aAAa,UAA+C;EAC1D,KAAK,MAAM;EACX,IAAI,KAAK,kBAAkB,cAAc,KAAK,eAAe,EAC3D,OAAO,KAAK,eAAe,aAAa,SAAS;;CAKrD,iBAAiB,UAA+C;EAC9D,KAAK,MAAM;EACX,IAAI,KAAK,kBAAkB,oBAAoB,KAAK,eAAe,EACjE,OAAO,KAAK,eAAe,iBAAiB,SAAS;;CAKzD,mBAAmB,YAA6E;EAC9F,KAAK,MAAM;EACX,IAAI,KAAK,kBAAkB,oBAAoB,KAAK,eAAe,EACjE,OAAO,KAAK,eAAe,mBAAmB,WAAW;;CAK7D,MAAM,KAAK,SAA2C;EACpD,MAAM,EAAE,YAAY,mBAAmB;EAIvC,KAAK,MAAM;EAEX,IAAI,CAAC,KAAK,gBACR,MAAM,IAAI,MAAM,sDAAsD;EAGxE,IAAI;EACJ,aAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,OAAO;GACR,CAAC;EAEF,IAAI;GACF,MAAM,QAAQ,KAAK;GACnB,MAAM,gBAAgB;IACpB,wBAAwB,MAAM,eAAe,KAAK,MAAM,EAAE,GAAG;IAC7D,uBAAuB,MAAM;IAC7B,wBAAwB,MAAM;IAC9B,aAAa,MAAM;IACnB,yBAAyB,MAAM;IAC/B,gBAAgB,eAAe,OAAO,UAAU,EAAE;IACnD;GACD,MAAM,iBAAiB,MAAM,eAAe,OAAO,KAAK,cAAc;GACtE,IAAI,CAAC,eAAe,IAAI;IACtB,aAAa;KACX,QAAQ;KACR,MAAM;KACN,QAAQ;KACR,SAAS;KACV,CAAC;IAEF,OAAO,MAAM;KACX,MAAM;KACN,SAAS,eAAe,QAAQ;KAChC,KAAK,eAAe,QAAQ;KAC5B,MAAM,eAAe,QAAQ;KAC7B,aAAa,eAAe;KAC7B,CAAC;;GAEJ,cAAc,eAAe;GAE7B,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;WACK,OAAO;GACd,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;GAEF,MAAM,UAAU,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM;GACtE,OAAO,MAAM;IACX,MAAM;IACN,SAAS;IACT,KAAK;IACL,aAAa;KACX,SAAS;KACT,aAAa,CACX;MACE,MAAM;MACN;MACD,CACF;KACF;IACD,MAAM,KAAA;IACP,CAAC;;EAIJ,aAAa;GACX,QAAQ;GACR,MAAM;GACN,QAAQ;GACR,OAAO;GACR,CAAC;EAEF,IAAI;GACF,MAAM,aAAa,eAAe,aAAyB,KAAK,uBAAuB,EAAE,CAAC;GAE1F,IAAI;IACF,KAAK,eAAe,iBAAiB,WAAW;YACzC,OAAO;IACd,aAAa;KACX,QAAQ;KACR,MAAM;KACN,QAAQ;KACR,SAAS;KACV,CAAC;IAEF,OAAO,MAAM;KACX,MAAM;KACN,SAAS;KACT,KAJc,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM;KAKpE,MAAM,KAAA;KACP,CAAC;;GAGJ,MAAM,SAAS,MAAMC,KACnB,YACA,KAAK,OACL,KAAK,QAAQ,OAAO,SACrB;GAED,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;GAEF,OAAO,GAAG;IACR,aAAa,OAAO;IACpB,GAAG,UAAU,iBAAiB,OAAO,cAAc;IACnD,aAAa,OAAO;IACpB,cAAc,OAAO;IACrB,aAAa,OAAO;IACrB,CAAC;WACK,OAAO;GACd,aAAa;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACV,CAAC;GAEF,OAAO,MAAM;IACX,MAAM;IACN,SAAS;IACT,KAAK,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM;IAC3D,MAAM,KAAA;IACP,CAAC"}