@prisma-next/family-sql 0.5.0-dev.9 → 0.5.1

package/dist/types-C6K4mxDM.d.mts

@@ -1,301 +0,0 @@
-import { ControlAdapterDescriptor, ControlDriverInstance, ControlExtensionDescriptor, ControlFamilyInstance, ControlStack, DataTransformOperation, MigratableTargetDescriptor, MigrationOperationPolicy, MigrationPlan, MigrationPlanOperation, MigrationPlannerConflict, MigrationPlannerFailureResult, MigrationPlannerSuccessResult, MigrationRunnerExecutionChecks, MigrationRunnerFailure, MigrationRunnerSuccessValue, OperationContext, SchemaIssue, SchemaViewCapable, SignDatabaseResult, VerifyDatabaseResult, VerifyDatabaseSchemaResult } from "@prisma-next/framework-components/control";
-import { Result } from "@prisma-next/utils/result";
-import { SqlSchemaIR } from "@prisma-next/sql-schema-ir/types";
-import { Contract } from "@prisma-next/contract/types";
-import { TargetBoundComponentDescriptor } from "@prisma-next/framework-components/components";
-import { SqlStorage, StorageTypeInstance } from "@prisma-next/sql-contract/types";
-import { TypesImportSpec } from "@prisma-next/framework-components/emission";
-import { SqlOperationDescriptor } from "@prisma-next/sql-operations";
-
-//#region src/core/control-instance.d.ts
-interface SqlTypeMetadata {
-  readonly typeId: string;
-  readonly familyId: 'sql';
-  readonly targetId: string;
-  readonly nativeType?: string;
-}
-type SqlTypeMetadataRegistry = Map<string, SqlTypeMetadata>;
-interface SqlFamilyInstanceState {
-  readonly codecTypeImports: ReadonlyArray<TypesImportSpec>;
-  readonly operationTypeImports: ReadonlyArray<TypesImportSpec>;
-  readonly extensionIds: ReadonlyArray<string>;
-  readonly typeMetadataRegistry: SqlTypeMetadataRegistry;
-}
-interface SchemaVerifyOptions {
-  readonly driver: ControlDriverInstance<'sql', string>;
-  readonly contract: unknown;
-  readonly strict: boolean;
-  readonly context?: OperationContext;
-  /**
-   * Active framework components participating in this composition.
-   * All components must have matching familyId ('sql') and targetId.
-   */
-  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;
-}
-interface SqlControlFamilyInstance extends ControlFamilyInstance<'sql', SqlSchemaIR>, SchemaViewCapable<SqlSchemaIR>, SqlFamilyInstanceState {
-  validateContract(contractJson: unknown): Contract;
-  verify(options: {
-    readonly driver: ControlDriverInstance<'sql', string>;
-    readonly contract: unknown;
-    readonly expectedTargetId: string;
-    readonly contractPath: string;
-    readonly configPath?: string;
-  }): Promise<VerifyDatabaseResult>;
-  schemaVerify(options: SchemaVerifyOptions): Promise<VerifyDatabaseSchemaResult>;
-  sign(options: {
-    readonly driver: ControlDriverInstance<'sql', string>;
-    readonly contract: unknown;
-    readonly contractPath: string;
-    readonly configPath?: string;
-  }): Promise<SignDatabaseResult>;
-  introspect(options: {
-    readonly driver: ControlDriverInstance<'sql', string>;
-    readonly contract?: unknown;
-  }): Promise<SqlSchemaIR>;
-}
-//#endregion
-//#region src/core/migrations/types.d.ts
-type AnyRecord = Readonly<Record<string, unknown>>;
-interface ComponentDatabaseDependency<TTargetDetails> {
-  readonly id: string;
-  readonly label: string;
-  readonly install: readonly SqlMigrationPlanOperation<TTargetDetails>[];
-}
-interface ComponentDatabaseDependencies<TTargetDetails> {
-  readonly init?: readonly ComponentDatabaseDependency<TTargetDetails>[];
-}
-interface DatabaseDependencyProvider {
-  readonly databaseDependencies?: ComponentDatabaseDependencies<unknown>;
-}
-declare function isDatabaseDependencyProvider(value: unknown): value is DatabaseDependencyProvider;
-declare function collectInitDependencies(components: ReadonlyArray<unknown>): readonly ComponentDatabaseDependency<unknown>[];
-interface StorageTypePlanResult<TTargetDetails> {
-  readonly operations: readonly SqlMigrationPlanOperation<TTargetDetails>[];
-}
-/**
- * Input for expanding parameterized native types.
- */
-interface ExpandNativeTypeInput {
-  readonly nativeType: string;
-  readonly codecId?: string;
-  readonly typeParams?: Record<string, unknown>;
-}
-/**
- * Input for resolving an identity-value SQL literal used to backfill existing rows when
- * adding a NOT NULL column without an explicit default.
- *
- * "Identity value" in the algebraic (monoid) sense: the neutral element for the type
- * (0 for numbers, '' for strings, false for booleans, etc.).
- */
-interface ResolveIdentityValueInput {
-  readonly nativeType: string;
-  readonly codecId?: string;
-  readonly typeParams?: Record<string, unknown>;
-}
-interface CodecControlHooks<TTargetDetails = unknown> {
-  planTypeOperations?: (options: {
-    readonly typeName: string;
-    readonly typeInstance: StorageTypeInstance;
-    readonly contract: Contract<SqlStorage>;
-    readonly schema: SqlSchemaIR;
-    readonly schemaName?: string;
-    readonly policy: MigrationOperationPolicy;
-  }) => StorageTypePlanResult<TTargetDetails>;
-  verifyType?: (options: {
-    readonly typeName: string;
-    readonly typeInstance: StorageTypeInstance;
-    readonly schema: SqlSchemaIR;
-    readonly schemaName?: string;
-  }) => readonly SchemaIssue[];
-  introspectTypes?: (options: {
-    readonly driver: ControlDriverInstance<'sql', string>;
-    readonly schemaName?: string;
-  }) => Promise<Record<string, StorageTypeInstance>>;
-  /**
-   * Expands a parameterized native type to its full SQL representation.
-   * Used by schema verification to compare contract types against database types.
-   *
-   * For example, expands:
-   * - { nativeType: 'character varying', typeParams: { length: 255 } } -> 'character varying(255)'
-   * - { nativeType: 'numeric', typeParams: { precision: 10, scale: 2 } } -> 'numeric(10,2)'
-   *
-   * Returns the expanded type string, or the original nativeType if no expansion is needed.
-   */
-  expandNativeType?: (input: ExpandNativeTypeInput) => string;
-  /**
-   * Resolves the identity value (monoid neutral element) as a SQL literal for safely adding
-   * a NOT NULL column without an explicit default to a non-empty table.
-   *
-   * Return semantics:
-   * - string: use this literal
-   * - null: explicitly no safe identity value is known; fall back to another strategy
-   * - undefined: no opinion; planner may use built-in fallbacks
-   */
-  resolveIdentityValue?: (input: ResolveIdentityValueInput) => string | null | undefined;
-}
-interface SqlControlExtensionDescriptor<TTargetId extends string> extends ControlExtensionDescriptor<'sql', TTargetId> {
-  readonly databaseDependencies?: ComponentDatabaseDependencies<unknown>;
-  readonly queryOperations?: () => ReadonlyArray<SqlOperationDescriptor>;
-}
-interface SqlControlAdapterDescriptor<TTargetId extends string> extends ControlAdapterDescriptor<'sql', TTargetId> {
-  readonly queryOperations?: () => ReadonlyArray<SqlOperationDescriptor>;
-}
-interface SqlMigrationPlanOperationStep {
-  readonly description: string;
-  readonly sql: string;
-  readonly meta?: AnyRecord;
-}
-/**
- * Minimal shape every SQL-family target must conform to for its per-operation
- * `target.details` payload. Each SQL operation addresses a named database
- * object in some schema; targets (Postgres, MySQL, SQLite, …) extend this
- * shape with their own fields (e.g. Postgres adds `objectType` and optional
- * `table`).
- */
-interface SqlPlanTargetDetails {
-  readonly schema: string;
-  readonly name: string;
-}
-interface SqlMigrationPlanOperationTarget<TTargetDetails> {
-  readonly id: string;
-  readonly details?: TTargetDetails;
-}
-interface SqlMigrationPlanOperation<TTargetDetails> extends MigrationPlanOperation {
-  readonly summary?: string;
-  readonly target: SqlMigrationPlanOperationTarget<TTargetDetails>;
-  readonly precheck: readonly SqlMigrationPlanOperationStep[];
-  readonly execute: readonly SqlMigrationPlanOperationStep[];
-  readonly postcheck: readonly SqlMigrationPlanOperationStep[];
-  readonly meta?: AnyRecord;
-}
-/**
- * Union of all operation shapes a SQL-family migration may emit: schema-facing
- * `SqlMigrationPlanOperation`s and family-agnostic `DataTransformOperation`s.
- *
- * Mirrors `AnyMongoMigrationOperation` in shape — the runner already handles
- * both branches via `isDataTransformOperation`, and authored `migration.ts`
- * files must be able to intermix `dataTransform(endContract, …)` calls with
- * DDL factory calls (e.g. `setNotNull(…)`) in a single `operations` array.
- */
-type AnySqlMigrationOperation<TTargetDetails> = SqlMigrationPlanOperation<TTargetDetails> | DataTransformOperation;
-interface SqlMigrationPlanContractInfo {
-  readonly storageHash: string;
-  readonly profileHash?: string;
-}
-interface SqlMigrationPlan<TTargetDetails> extends MigrationPlan {
-  /**
-   * Origin contract identity that the plan expects the database to currently be at.
-   * If omitted or null, the runner skips origin validation entirely.
-   */
-  readonly origin?: SqlMigrationPlanContractInfo | null;
-  /**
-   * Destination contract identity that the plan intends to reach.
-   */
-  readonly destination: SqlMigrationPlanContractInfo;
-  readonly operations: readonly SqlMigrationPlanOperation<TTargetDetails>[];
-  readonly meta?: AnyRecord;
-}
-type SqlPlannerConflictKind = 'typeMismatch' | 'nullabilityConflict' | 'indexIncompatible' | 'foreignKeyConflict' | 'missingButNonAdditive' | 'unsupportedOperation';
-interface SqlPlannerConflictLocation {
-  readonly table?: string;
-  readonly column?: string;
-  readonly index?: string;
-  readonly constraint?: string;
-  readonly type?: string;
-}
-interface SqlPlannerConflict extends MigrationPlannerConflict {
-  readonly kind: SqlPlannerConflictKind;
-  readonly location?: SqlPlannerConflictLocation;
-  readonly meta?: AnyRecord;
-}
-interface SqlPlannerSuccessResult<TTargetDetails> extends Omit<MigrationPlannerSuccessResult, 'plan'> {
-  readonly kind: 'success';
-  readonly plan: SqlMigrationPlan<TTargetDetails>;
-}
-interface SqlPlannerFailureResult extends Omit<MigrationPlannerFailureResult, 'conflicts'> {
-  readonly kind: 'failure';
-  readonly conflicts: readonly SqlPlannerConflict[];
-}
-type SqlPlannerResult<TTargetDetails> = SqlPlannerSuccessResult<TTargetDetails> | SqlPlannerFailureResult;
-interface SqlMigrationPlannerPlanOptions {
-  readonly contract: Contract<SqlStorage>;
-  readonly schema: SqlSchemaIR;
-  readonly policy: MigrationOperationPolicy;
-  readonly schemaName?: string;
-  /**
-   * The "from" contract (state the planner assumes the database starts at).
-   * Only `migration plan` supplies this; `db update` / `db init` reconcile
-   * against the live schema with no old contract. Strategies that need
-   * from/to column-shape comparisons (unsafe type change, nullability
-   * tightening) use this to decide whether to emit `dataTransform`
-   * placeholders.
-   */
-  readonly fromContract?: Contract<SqlStorage> | null;
-  /**
-   * Active framework components participating in this composition.
-   * SQL targets can interpret this list to derive database dependencies.
-   * All components must have matching familyId ('sql') and targetId.
-   */
-  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;
-}
-interface SqlMigrationPlanner<TTargetDetails> {
-  plan(options: SqlMigrationPlannerPlanOptions): SqlPlannerResult<TTargetDetails>;
-}
-interface SqlMigrationRunnerExecuteCallbacks<TTargetDetails> {
-  onOperationStart?(operation: SqlMigrationPlanOperation<TTargetDetails>): void;
-  onOperationComplete?(operation: SqlMigrationPlanOperation<TTargetDetails>): void;
-}
-interface SqlMigrationRunnerExecuteOptions<TTargetDetails> {
-  readonly plan: SqlMigrationPlan<TTargetDetails>;
-  readonly driver: ControlDriverInstance<'sql', string>;
-  /**
-   * Destination contract IR.
-   * Must correspond to `plan.destination` and is used for schema verification and marker/ledger writes.
-   */
-  readonly destinationContract: Contract<SqlStorage>;
-  /**
-   * Execution-time policy that defines which operation classes are allowed.
-   * The runner validates each operation against this policy before execution.
-   */
-  readonly policy: MigrationOperationPolicy;
-  readonly schemaName?: string;
-  readonly strictVerification?: boolean;
-  readonly callbacks?: SqlMigrationRunnerExecuteCallbacks<TTargetDetails>;
-  readonly context?: OperationContext;
-  /**
-   * Execution-time checks configuration.
-   * All checks default to `true` (enabled) when omitted.
-   */
-  readonly executionChecks?: MigrationRunnerExecutionChecks;
-  /**
-   * Active framework components participating in this composition.
-   * SQL targets can interpret this list to derive database dependencies.
-   * All components must have matching familyId ('sql') and targetId.
-   */
-  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;
-}
-type SqlMigrationRunnerErrorCode = 'DESTINATION_CONTRACT_MISMATCH' | 'MARKER_ORIGIN_MISMATCH' | 'POLICY_VIOLATION' | 'PRECHECK_FAILED' | 'POSTCHECK_FAILED' | 'SCHEMA_VERIFY_FAILED' | 'EXECUTION_FAILED';
-interface SqlMigrationRunnerFailure extends MigrationRunnerFailure {
-  readonly code: SqlMigrationRunnerErrorCode;
-  readonly meta?: AnyRecord;
-}
-interface SqlMigrationRunnerSuccessValue extends MigrationRunnerSuccessValue {}
-type SqlMigrationRunnerResult = Result<SqlMigrationRunnerSuccessValue, SqlMigrationRunnerFailure>;
-interface SqlMigrationRunner<TTargetDetails> {
-  execute(options: SqlMigrationRunnerExecuteOptions<TTargetDetails>): Promise<SqlMigrationRunnerResult>;
-}
-interface SqlControlTargetDescriptor<TTargetId extends string, TTargetDetails> extends MigratableTargetDescriptor<'sql', TTargetId, SqlControlFamilyInstance> {
-  readonly queryOperations?: () => ReadonlyArray<SqlOperationDescriptor>;
-  createPlanner(family: SqlControlFamilyInstance): SqlMigrationPlanner<TTargetDetails>;
-  createRunner(family: SqlControlFamilyInstance): SqlMigrationRunner<TTargetDetails>;
-}
-interface CreateSqlMigrationPlanOptions<TTargetDetails> {
-  readonly targetId: string;
-  readonly origin?: SqlMigrationPlanContractInfo | null;
-  readonly destination: SqlMigrationPlanContractInfo;
-  readonly operations: readonly SqlMigrationPlanOperation<TTargetDetails>[];
-  readonly meta?: AnyRecord;
-}
-//#endregion
-export { SqlPlannerFailureResult as A, SqlMigrationRunnerFailure as C, SqlPlannerConflict as D, SqlPlanTargetDetails as E, isDatabaseDependencyProvider as F, SchemaVerifyOptions as I, SqlControlFamilyInstance as L, SqlPlannerSuccessResult as M, StorageTypePlanResult as N, SqlPlannerConflictKind as O, collectInitDependencies as P, SqlMigrationRunnerExecuteOptions as S, SqlMigrationRunnerSuccessValue as T, SqlMigrationPlanner as _, ComponentDatabaseDependency as a, SqlMigrationRunnerErrorCode as b, ResolveIdentityValueInput as c, SqlControlTargetDescriptor as d, SqlMigrationPlan as f, SqlMigrationPlanOperationTarget as g, SqlMigrationPlanOperationStep as h, ComponentDatabaseDependencies as i, SqlPlannerResult as j, SqlPlannerConflictLocation as k, SqlControlAdapterDescriptor as l, SqlMigrationPlanOperation as m, AnySqlMigrationOperation as n, CreateSqlMigrationPlanOptions as o, SqlMigrationPlanContractInfo as p, CodecControlHooks as r, ExpandNativeTypeInput as s, AnyRecord as t, SqlControlExtensionDescriptor as u, SqlMigrationPlannerPlanOptions as v, SqlMigrationRunnerResult as w, SqlMigrationRunnerExecuteCallbacks as x, SqlMigrationRunner as y };
-//# sourceMappingURL=types-C6K4mxDM.d.mts.map

package/dist/types-C6K4mxDM.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"types-C6K4mxDM.d.mts","names":[],"sources":["../src/core/control-instance.ts","../src/core/migrations/types.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;UAyJU,eAAA;;;;;AAzHsE;AAyHvD,KAOpB,uBAAA,GAA0B,GAAH,CAAA,MAAA,EAAe,eAAA,CAAZ;AAAG,UAExB,sBAAA,CAAsB;EACW,SAAA,gBAAA,EAAd,aAAc,CAAA,eAAA,CAAA;EAAd,SAAA,oBAAA,EACI,aADJ,CACkB,eADlB,CAAA;EACkB,SAAA,YAAA,EACtB,aADsB,CAAA,MAAA,CAAA;EAAd,SAAA,oBAAA,EAEA,uBAFA;;AAEA,UAGhB,mBAAA,CAHgB;EAAuB,SAAA,MAAA,EAIrC,qBAJqC,CAAA,KAAA,EAAA,MAAA,CAAA;EAGvC,SAAA,QAAA,EAAA,OAAmB;EACjB,SAAA,MAAA,EAAA,OAAA;EAGE,SAAA,OAAA,CAAA,EAAA,gBAAA;EAKyB;;;AAG9C;EACuC,SAAA,mBAAA,EAJP,aAIO,CAJO,8BAIP,CAAA,KAAA,EAAA,MAAA,CAAA,CAAA;;AAGI,UAJ1B,wBAAA,SACP,qBAGiC,CAAA,KAAA,EAHJ,WAGI,CAAA,EAFvC,iBAEuC,CAFrB,WAEqB,CAAA,EADvC,sBACuC,CAAA;EAGtB,gBAAA,CAAA,YAAA,EAAA,OAAA,CAAA,EAHsB,QAGtB;EAKP,MAAA,CAAA,OAAA,EAAA;IAAR,SAAA,MAAA,EALe,qBAKf,CAAA,KAAA,EAAA,MAAA,CAAA;IAEkB,SAAA,QAAA,EAAA,OAAA;IAA8B,SAAA,gBAAA,EAAA,MAAA;IAAR,SAAA,YAAA,EAAA,MAAA;IAGzB,SAAA,UAAA,CAAA,EAAA,MAAA;EAIP,CAAA,CAAA,EATR,OASQ,CATA,oBASA,CAAA;EAAR,YAAA,CAAA,OAAA,EAPkB,mBAOlB,CAAA,EAPwC,OAOxC,CAPgD,0BAOhD,CAAA;EAGe,IAAA,CAAA,OAAA,EAAA;IAEP,SAAA,MAAA,EATO,qBASP,CAAA,KAAA,EAAA,MAAA,CAAA;IAAR,SAAA,QAAA,EAAA,OAAA;IAzBI,SAAA,YAAA,EAAA,MAAA;IACN,SAAA,UAAA,CAAA,EAAA,MAAA;EACA,CAAA,CAAA,EAkBE,OAlBF,CAkBU,kBAlBV,CAAA;EAAsB,UAAA,CAAA,OAAA,EAAA;qBAqBL;;MAEf,QAAQ;ACrLd;;;KAAY,SAAA,GAAY,SAAS;UAEhB;ED6HP,SAAA,EAAA,EAAA,MAAe;EAOpB,SAAA,KAAA,EAAA,MAAA;EAEK,SAAA,OAAA,EAAA,SCnImB,yBDmIG,CCnIuB,cDmIvB,CAAA,EAAA;;AACH,UCjIZ,6BDiIY,CAAA,cAAA,CAAA,CAAA;EACkB,SAAA,IAAA,CAAA,EAAA,SCjIpB,2BDiIoB,CCjIQ,cDiIR,CAAA,EAAA;;AACtB,UC/HR,0BAAA,CD+HQ;EACQ,SAAA,oBAAA,CAAA,EC/HC,6BD+HD,CAAA,OAAA,CAAA;;AAGhB,iBC/HD,4BAAA,CD+HoB,KAAA,EAAA,OAAA,CAAA,EAAA,KAAA,IC/HmC,0BD+HnC;AACjB,iBC5HH,uBAAA,CD4HG,UAAA,EC3HL,aD2HK,CAAA,OAAA,CAAA,CAAA,EAAA,SC1HP,2BD0HO,CAAA,OAAA,CAAA,EAAA;AAGE,UClHJ,qBDkHI,CAAA,cAAA,CAAA,CAAA;EAKyB,SAAA,UAAA,EAAA,SCtHd,yBDsHc,CCtHY,cDsHZ,CAAA,EAAA;;;AAG9C;;AAEsB,UCrHL,qBAAA,CDqHK;EAEqB,SAAA,UAAA,EAAA,MAAA;EAGtB,SAAA,OAAA,CAAA,EAAA,MAAA;EAKP,SAAA,UAAA,CAAA,EC5HU,MD4HV,CAAA,MAAA,EAAA,OAAA,CAAA;;;;;;;;;AAcA,UChIG,yBAAA,CDgIH;EAAR,SAAA,UAAA,EAAA,MAAA;EAzBI,SAAA,OAAA,CAAA,EAAA,MAAA;EACN,SAAA,UAAA,CAAA,ECrGoB,MDqGpB,CAAA,MAAA,EAAA,OAAA,CAAA;;AACsB,UCnGT,iBDmGS,CAAA,iBAAA,OAAA,CAAA,CAAA;;;2BChGC;IA9Df,SAAS,QAAA,EA+DE,QA/DU,CA+DD,UA/DA,CAAA;IAEf,SAAA,MAAA,EA8DI,WA9DuB;IAM3B,SAAA,UAAA,CAAA,EAAA,MAA6B;IAI7B,SAAA,MAAA,EAsDI,wBArDa;EAGlB,CAAA,EAAA,GAmDR,qBAnDQ,CAmDc,cAnDc,CAA2B;EAIvD,UAAA,CAAA,EAAA,CAAA,OAAA,EAAA;IAaC,SAAA,QAAA,EAAA,MAAqB;IAOrB,SAAA,YAAqB,EA8BX,mBA3BG;IAUb,SAAA,MAAA,EAkBI,WAlBqB;IAMzB,SAAA,UAAiB,CAAA,EAAA,MAAA;EAGP,CAAA,EAAA,GAAA,SAWV,WAXU,EAAA;EACK,eAAA,CAAA,EAAA,CAAA,OAAA,EAAA;IAAT,SAAA,MAAA,EAYF,qBAZE,CAAA,KAAA,EAAA,MAAA,CAAA;IACF,SAAA,UAAA,CAAA,EAAA,MAAA;EAEA,CAAA,EAAA,GAWb,OAXa,CAWL,MAXK,CAAA,MAAA,EAWU,mBAXV,CAAA,CAAA;EACS;;;;;;;;;;EA+BG,gBAAA,CAAA,EAAA,CAAA,KAAA,EAVJ,qBAUI,EAAA,GAAA,MAAA;EAAyB;AAG1D;;;;;;;AAMA;EAC0C,oBAAA,CAAA,EAAA,CAAA,KAAA,EAVT,yBAUS,EAAA,GAAA,MAAA,GAAA,IAAA,GAAA,SAAA;;AACP,UARlB,6BAQkB,CAAA,kBAAA,MAAA,CAAA,SAPzB,0BAOyB,CAAA,KAAA,EAPS,SAOT,CAAA,CAAA;EADzB,SAAA,oBAAA,CAAA,EALwB,6BAKxB,CAAA,OAAA,CAAA;EAAwB,SAAA,eAAA,CAAA,EAAA,GAAA,GAJC,aAID,CAJe,sBAIf,CAAA;AAIlC;AAaiB,UAlBA,2BAkBoB,CAAA,kBAAA,MAAA,CAAA,SAjB3B,wBAiB2B,CAAA,KAAA,EAjBK,SAiBL,CAAA,CAAA;EAKpB,SAAA,eAAA,CAAA,EAAA,GAAA,GArBkB,aAqBa,CArBC,sBAuB5B,CAAA;AAGrB;AAEmD,UAzBlC,6BAAA,CAyBkC;EAAhC,SAAA,WAAA,EAAA,MAAA;EACW,SAAA,GAAA,EAAA,MAAA;EACD,SAAA,IAAA,CAAA,EAxBX,SAwBW;;;;;AAc7B;;;;AAE0B,UA9BT,oBAAA,CA8BS;EAET,SAAA,MAAA,EAAA,MAAA;EAKA,SAAA,IAAA,EAAA,MAAgB;;AAST,UAzCP,+BAyCO,CAAA,cAAA,CAAA,CAAA;EACkC,SAAA,EAAA,EAAA,MAAA;EAA1B,SAAA,OAAA,CAAA,EAxCX,cAwCW;;AAV0B,UA3BzC,yBA2ByC,CAAA,cAAA,CAAA,SA3BS,sBA2BT,CAAA;EAAa,SAAA,OAAA,CAAA,EAAA,MAAA;EAc3D,SAAA,MAAA,EAvCO,+BAuCe,CAvCiB,cAuCjB,CAAA;EAQjB,SAAA,QAAA,EAAA,SA9Ca,6BA8Ca,EAAA;EAQ1B,SAAA,OAAA,EAAA,SArDY,6BAqDO,EAAA;EACnB,SAAA,SAAA,EAAA,SArDc,6BAqDd,EAAA;EACK,SAAA,IAAA,CAAA,EArDJ,SAqDI;;;;AAItB;;;;;;AAMA;AAAsD,KAnD1C,wBAmD0C,CAAA,cAAA,CAAA,GAlDlD,yBAkDkD,CAlDxB,cAkDwB,CAAA,GAjDlD,sBAiDkD;AAEvB,UAjDd,4BAAA,CAiDc;EAFkB,SAAA,WAAA,EAAA,MAAA;EAAI,SAAA,WAAA,CAAA,EAAA,MAAA;AAKrD;AAC4B,UAhDX,gBAgDW,CAAA,cAAA,CAAA,SAhD8B,aAgD9B,CAAA;EAAxB;;;AAGJ;EAC8B,SAAA,MAAA,CAAA,EA/CV,4BA+CU,GAAA,IAAA;EAAT;;;EAYc,SAAA,WAAA,EAvDX,4BAuDW;EAAT,SAAA,UAAA,EAAA,SAtDM,yBAsDN,CAtDgC,cAsDhC,CAAA,EAAA;EAMoB,SAAA,IAAA,CAAA,EA3D5B,SA2D4B;;AAAD,KAxDjC,sBAAA,GAwDiC,cAAA,GAAA,qBAAA,GAAA,mBAAA,GAAA,oBAAA,GAAA,uBAAA,GAAA,sBAAA;AAG5B,UAnDA,0BAAA,CAmDmB;EACpB,SAAA,KAAA,CAAA,EAAA,MAAA;EAAkD,SAAA,MAAA,CAAA,EAAA,MAAA;EAAjB,SAAA,KAAA,CAAA,EAAA,MAAA;EAAgB,SAAA,UAAA,CAAA,EAAA,MAAA;EAGhD,SAAA,IAAA,CAAA,EAAA,MAAA;;AACc,UAhDd,kBAAA,SAA2B,wBAgDb,CAAA;EAC6B,SAAA,IAAA,EAhD3C,sBAgD2C;EAA1B,SAAA,QAAA,CAAA,EA/CZ,0BA+CY;EAAyB,SAAA,IAAA,CAAA,EA9CzC,SA8CyC;AAG3D;AACkC,UA/CjB,uBA+CiB,CAAA,cAAA,CAAA,SA9CxB,IA8CwB,CA9CnB,6BA8CmB,EAAA,MAAA,CAAA,CAAA;EAAjB,SAAA,IAAA,EAAA,SAAA;EACE,SAAA,IAAA,EA7CF,gBA6CE,CA7Ce,cA6Cf,CAAA;;AAKa,UA/Cf,uBAAA,SAAgC,IA+CjB,CA/CsB,6BA+CtB,EAAA,WAAA,CAAA,CAAA;EAKb,SAAA,IAAA,EAAA,SAAA;EAGuC,SAAA,SAAA,EAAA,SArD3B,kBAqD2B,EAAA;;AACrC,KAnDT,gBAmDS,CAAA,cAAA,CAAA,GAlDjB,uBAkDiB,CAlDO,cAkDP,CAAA,GAjDjB,uBAiDiB;AAKQ,UApDZ,8BAAA,CAoDY;EAMiB,SAAA,QAAA,EAzDzB,QAyDyB,CAzDhB,UAyDgB,CAAA;EAAd,SAAA,MAAA,EAxDb,WAwDa;EAAa,SAAA,MAAA,EAvD1B,wBAuD0B;EAGjC,SAAA,UAAA,CAAA,EAAA,MAAA;EASK;;;;;AAKjB;AAEA;;EAEE,SAAA,YAAA,CAAA,EAlEwB,QAkExB,CAlEiC,UAkEjC,CAAA,GAAA,IAAA;EAFqC;;AAKvC;;;EAGa,SAAA,mBAAA,EAlEmB,aAkEnB,CAlEiC,8BAkEjC,CAAA,KAAA,EAAA,MAAA,CAAA,CAAA;;AAAD,UA/DK,mBA+DL,CAAA,cAAA,CAAA,CAAA;EAGK,IAAA,CAAA,OAAA,EAjED,8BAiE2B,CAAA,EAjEM,gBAiEN,CAjEuB,cAiEvB,CAAA;;AACY,UA/DtC,kCA+DsC,CAAA,cAAA,CAAA,CAAA;EACN,gBAAA,EAAA,SAAA,EA/DlB,yBA+DkB,CA/DQ,cA+DR,CAAA,CAAA,EAAA,IAAA;EAAd,mBAAA,EAAA,SAAA,EA9DD,yBA8DC,CA9DyB,cA8DzB,CAAA,CAAA,EAAA,IAAA;;AACoC,UA5DtD,gCA4DsD,CAAA,cAAA,CAAA,CAAA;EAApB,SAAA,IAAA,EA3DlC,gBA2DkC,CA3DjB,cA2DiB,CAAA;EAC5B,SAAA,MAAA,EA3DJ,qBA2DI,CAAA,KAAA,EAAA,MAAA,CAAA;EAA8C;;;;EAGpD,SAAA,mBAAA,EAzDe,QAyDc,CAzDL,UAyDK,CAAA;EAE1B;;;;EAGF,SAAA,MAAA,EAzDC,wBAyDD;EAAS,SAAA,UAAA,CAAA,EAAA,MAAA;;uBAtDJ,mCAAmC;qBACrC;;;;;6BAKQ;;;;;;gCAMG,cAAc;;KAGlC,2BAAA;UASK,yBAAA,SAAkC;iBAClC;kBACC;;UAGD,8BAAA,SAAuC;KAE5C,wBAAA,GAA2B,OACrC,gCACA;UAGe;mBAEJ,iCAAiC,kBACzC,QAAQ;;UAGI,6EACP,kCAAkC,WAAW;mCACpB,cAAc;wBACzB,2BAA2B,oBAAoB;uBAChD,2BAA2B,mBAAmB;;UAGpD;;oBAEG;wBACI;gCACQ,0BAA0B;kBACxC"}

package/dist/verify-4GshvY4p.mjs

@@ -1,122 +0,0 @@
-import { type } from "arktype";
-
-//#region src/core/verify.ts
-const MetaSchema = type({ "[string]": "unknown" });
-function parseMeta(meta) {
-	if (meta === null || meta === void 0) return {};
-	let parsed;
-	if (typeof meta === "string") try {
-		parsed = JSON.parse(meta);
-	} catch {
-		return {};
-	}
-	else parsed = meta;
-	const result = MetaSchema(parsed);
-	if (result instanceof type.errors) return {};
-	return result;
-}
-const ContractMarkerRowSchema = type({
-	core_hash: "string",
-	profile_hash: "string",
-	"contract_json?": "unknown | null",
-	"canonical_version?": "number | null",
-	"updated_at?": "Date | string",
-	"app_tag?": "string | null",
-	"meta?": "unknown | null"
-});
-/**
-* Parses a contract marker row from database query result.
-* This is SQL-specific parsing logic (handles SQL row structure with snake_case columns).
-*/
-function parseContractMarkerRow(row) {
-	const result = ContractMarkerRowSchema(row);
-	if (result instanceof type.errors) {
-		const messages = result.map((p) => p.message).join("; ");
-		throw new Error(`Invalid contract marker row: ${messages}`);
-	}
-	const validatedRow = result;
-	const updatedAt = validatedRow.updated_at ? validatedRow.updated_at instanceof Date ? validatedRow.updated_at : new Date(validatedRow.updated_at) : /* @__PURE__ */ new Date();
-	return {
-		storageHash: validatedRow.core_hash,
-		profileHash: validatedRow.profile_hash,
-		contractJson: validatedRow.contract_json ?? null,
-		canonicalVersion: validatedRow.canonical_version ?? null,
-		updatedAt,
-		appTag: validatedRow.app_tag ?? null,
-		meta: parseMeta(validatedRow.meta)
-	};
-}
-/**
-* Returns the SQL statement to read the contract marker.
-* This is a migration-plane helper (no runtime imports).
-* @internal - Used internally by readMarker(). Prefer readMarker() for Control Plane usage.
-*/
-function readMarkerSql() {
-	return {
-		sql: `select
-      core_hash,
-      profile_hash,
-      contract_json,
-      canonical_version,
-      updated_at,
-      app_tag,
-      meta
-    from prisma_contract.marker
-    where id = $1`,
-		params: [1]
-	};
-}
-/**
-* Returns the SQL statement that probes for the existence of the marker table.
-* Uses the SQL-standard `information_schema.tables` view so the query succeeds
-* (returning zero rows) when the table has not been created yet — avoiding a
-* `relation does not exist` error. Some Postgres wire-protocol implementations
-* (e.g. PGlite's TCP proxy) do not fully recover from an extended-protocol
-* parse error, so we probe first instead of relying on an error signal.
-* @internal - Used internally by readMarker().
-*/
-function markerTableExistsSql() {
-	return {
-		sql: `select 1
-    from information_schema.tables
-    where table_schema = $1 and table_name = $2`,
-		params: ["prisma_contract", "marker"]
-	};
-}
-/**
-* Reads the contract marker from the database using the provided driver.
-* Returns the parsed marker record or null if no marker is found.
-* This abstracts SQL-specific details from the Control Plane.
-*
-* @param driver - ControlDriverInstance instance for executing queries
-* @returns Promise resolving to ContractMarkerRecord or null if marker not found
-*/
-async function readMarker(driver) {
-	const existsStatement = markerTableExistsSql();
-	if ((await driver.query(existsStatement.sql, existsStatement.params)).rows.length === 0) return null;
-	const markerStatement = readMarkerSql();
-	const queryResult = await driver.query(markerStatement.sql, markerStatement.params);
-	if (queryResult.rows.length === 0) return null;
-	const markerRow = queryResult.rows[0];
-	if (!markerRow) throw new Error("Database query returned unexpected result structure");
-	return parseContractMarkerRow(markerRow);
-}
-/**
-* Collects supported codec type IDs from adapter and extension manifests.
-* Returns a sorted, unique array of type IDs that are declared in the manifests.
-* This enables coverage checks by comparing contract column types against supported types.
-*
-* Note: This extracts type IDs from manifest type imports, not from runtime codec registries.
-* The manifests declare which codec types are available, but the actual type IDs
-* are defined in the codec-types TypeScript modules that are imported.
-*
-* For MVP, we return an empty array since extracting type IDs from TypeScript modules
-* would require runtime evaluation or static analysis. This can be enhanced later.
-*/
-function collectSupportedCodecTypeIds(descriptors) {
-	return [];
-}
-
-//#endregion
-export { readMarkerSql as i, parseContractMarkerRow as n, readMarker as r, collectSupportedCodecTypeIds as t };
-//# sourceMappingURL=verify-4GshvY4p.mjs.map

package/dist/verify-4GshvY4p.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"verify-4GshvY4p.mjs","names":["parsed: unknown"],"sources":["../src/core/verify.ts"],"sourcesContent":["import type { ContractMarkerRecord } from '@prisma-next/contract/types';\nimport type { ControlDriverInstance } from '@prisma-next/framework-components/control';\nimport { type } from 'arktype';\n\nconst MetaSchema = type({ '[string]': 'unknown' });\n\nfunction parseMeta(meta: unknown): Record<string, unknown> {\n  if (meta === null || meta === undefined) {\n    return {};\n  }\n\n  let parsed: unknown;\n  if (typeof meta === 'string') {\n    try {\n      parsed = JSON.parse(meta);\n    } catch {\n      return {};\n    }\n  } else {\n    parsed = meta;\n  }\n\n  const result = MetaSchema(parsed);\n  if (result instanceof type.errors) {\n    return {};\n  }\n\n  return result as Record<string, unknown>;\n}\n\nconst ContractMarkerRowSchema = type({\n  core_hash: 'string',\n  profile_hash: 'string',\n  'contract_json?': 'unknown | null',\n  'canonical_version?': 'number | null',\n  'updated_at?': 'Date | string',\n  'app_tag?': 'string | null',\n  'meta?': 'unknown | null',\n});\n\n/**\n * Parses a contract marker row from database query result.\n * This is SQL-specific parsing logic (handles SQL row structure with snake_case columns).\n */\nexport function parseContractMarkerRow(row: unknown): ContractMarkerRecord {\n  const result = ContractMarkerRowSchema(row);\n  if (result instanceof type.errors) {\n    const messages = result.map((p: { message: string }) => p.message).join('; ');\n    throw new Error(`Invalid contract marker row: ${messages}`);\n  }\n\n  const validatedRow = result as {\n    core_hash: string;\n    profile_hash: string;\n    contract_json?: unknown | null;\n    canonical_version?: number | null;\n    updated_at?: Date | string;\n    app_tag?: string | null;\n    meta?: unknown | null;\n  };\n\n  const updatedAt = validatedRow.updated_at\n    ? validatedRow.updated_at instanceof Date\n      ? validatedRow.updated_at\n      : new Date(validatedRow.updated_at)\n    : new Date();\n\n  return {\n    storageHash: validatedRow.core_hash,\n    profileHash: validatedRow.profile_hash,\n    contractJson: validatedRow.contract_json ?? null,\n    canonicalVersion: validatedRow.canonical_version ?? null,\n    updatedAt,\n    appTag: validatedRow.app_tag ?? null,\n    meta: parseMeta(validatedRow.meta),\n  };\n}\n\n/**\n * Returns the SQL statement to read the contract marker.\n * This is a migration-plane helper (no runtime imports).\n * @internal - Used internally by readMarker(). Prefer readMarker() for Control Plane usage.\n */\nexport function readMarkerSql(): { readonly sql: string; readonly params: readonly unknown[] } {\n  return {\n    sql: `select\n      core_hash,\n      profile_hash,\n      contract_json,\n      canonical_version,\n      updated_at,\n      app_tag,\n      meta\n    from prisma_contract.marker\n    where id = $1`,\n    params: [1],\n  };\n}\n\n/**\n * Returns the SQL statement that probes for the existence of the marker table.\n * Uses the SQL-standard `information_schema.tables` view so the query succeeds\n * (returning zero rows) when the table has not been created yet — avoiding a\n * `relation does not exist` error. Some Postgres wire-protocol implementations\n * (e.g. PGlite's TCP proxy) do not fully recover from an extended-protocol\n * parse error, so we probe first instead of relying on an error signal.\n * @internal - Used internally by readMarker().\n */\nexport function markerTableExistsSql(): {\n  readonly sql: string;\n  readonly params: readonly unknown[];\n} {\n  return {\n    sql: `select 1\n    from information_schema.tables\n    where table_schema = $1 and table_name = $2`,\n    params: ['prisma_contract', 'marker'],\n  };\n}\n\n/**\n * Reads the contract marker from the database using the provided driver.\n * Returns the parsed marker record or null if no marker is found.\n * This abstracts SQL-specific details from the Control Plane.\n *\n * @param driver - ControlDriverInstance instance for executing queries\n * @returns Promise resolving to ContractMarkerRecord or null if marker not found\n */\nexport async function readMarker(\n  driver: ControlDriverInstance<'sql', string>,\n): Promise<ContractMarkerRecord | null> {\n  // Probe for the marker table first so that a fresh database (no\n  // `prisma_contract` schema) returns null cleanly instead of surfacing a\n  // `relation does not exist` error. This keeps the control connection in a\n  // predictable state for driver implementations that are sensitive to\n  // extended-protocol parse errors.\n  const existsStatement = markerTableExistsSql();\n  const existsResult = await driver.query(existsStatement.sql, existsStatement.params);\n  if (existsResult.rows.length === 0) {\n    return null;\n  }\n\n  const markerStatement = readMarkerSql();\n  const queryResult = await driver.query<{\n    core_hash: string;\n    profile_hash: string;\n    contract_json: unknown | null;\n    canonical_version: number | null;\n    updated_at: Date | string;\n    app_tag: string | null;\n    meta: unknown | null;\n  }>(markerStatement.sql, markerStatement.params);\n\n  if (queryResult.rows.length === 0) {\n    return null;\n  }\n\n  const markerRow = queryResult.rows[0];\n  if (!markerRow) {\n    throw new Error('Database query returned unexpected result structure');\n  }\n\n  return parseContractMarkerRow(markerRow);\n}\n\n/**\n * Collects supported codec type IDs from adapter and extension manifests.\n * Returns a sorted, unique array of type IDs that are declared in the manifests.\n * This enables coverage checks by comparing contract column types against supported types.\n *\n * Note: This extracts type IDs from manifest type imports, not from runtime codec registries.\n * The manifests declare which codec types are available, but the actual type IDs\n * are defined in the codec-types TypeScript modules that are imported.\n *\n * For MVP, we return an empty array since extracting type IDs from TypeScript modules\n * would require runtime evaluation or static analysis. This can be enhanced later.\n */\nexport function collectSupportedCodecTypeIds(\n  descriptors: ReadonlyArray<{ readonly id: string }>,\n): readonly string[] {\n  // For MVP, return empty array\n  // Future enhancement: Extract type IDs from codec-types modules via static analysis\n  // or require manifests to explicitly list supported type IDs\n  void descriptors;\n  return [];\n}\n"],"mappings":";;;AAIA,MAAM,aAAa,KAAK,EAAE,YAAY,WAAW,CAAC;AAElD,SAAS,UAAU,MAAwC;AACzD,KAAI,SAAS,QAAQ,SAAS,OAC5B,QAAO,EAAE;CAGX,IAAIA;AACJ,KAAI,OAAO,SAAS,SAClB,KAAI;AACF,WAAS,KAAK,MAAM,KAAK;SACnB;AACN,SAAO,EAAE;;KAGX,UAAS;CAGX,MAAM,SAAS,WAAW,OAAO;AACjC,KAAI,kBAAkB,KAAK,OACzB,QAAO,EAAE;AAGX,QAAO;;AAGT,MAAM,0BAA0B,KAAK;CACnC,WAAW;CACX,cAAc;CACd,kBAAkB;CAClB,sBAAsB;CACtB,eAAe;CACf,YAAY;CACZ,SAAS;CACV,CAAC;;;;;AAMF,SAAgB,uBAAuB,KAAoC;CACzE,MAAM,SAAS,wBAAwB,IAAI;AAC3C,KAAI,kBAAkB,KAAK,QAAQ;EACjC,MAAM,WAAW,OAAO,KAAK,MAA2B,EAAE,QAAQ,CAAC,KAAK,KAAK;AAC7E,QAAM,IAAI,MAAM,gCAAgC,WAAW;;CAG7D,MAAM,eAAe;CAUrB,MAAM,YAAY,aAAa,aAC3B,aAAa,sBAAsB,OACjC,aAAa,aACb,IAAI,KAAK,aAAa,WAAW,mBACnC,IAAI,MAAM;AAEd,QAAO;EACL,aAAa,aAAa;EAC1B,aAAa,aAAa;EAC1B,cAAc,aAAa,iBAAiB;EAC5C,kBAAkB,aAAa,qBAAqB;EACpD;EACA,QAAQ,aAAa,WAAW;EAChC,MAAM,UAAU,aAAa,KAAK;EACnC;;;;;;;AAQH,SAAgB,gBAA+E;AAC7F,QAAO;EACL,KAAK;;;;;;;;;;EAUL,QAAQ,CAAC,EAAE;EACZ;;;;;;;;;;;AAYH,SAAgB,uBAGd;AACA,QAAO;EACL,KAAK;;;EAGL,QAAQ,CAAC,mBAAmB,SAAS;EACtC;;;;;;;;;;AAWH,eAAsB,WACpB,QACsC;CAMtC,MAAM,kBAAkB,sBAAsB;AAE9C,MADqB,MAAM,OAAO,MAAM,gBAAgB,KAAK,gBAAgB,OAAO,EACnE,KAAK,WAAW,EAC/B,QAAO;CAGT,MAAM,kBAAkB,eAAe;CACvC,MAAM,cAAc,MAAM,OAAO,MAQ9B,gBAAgB,KAAK,gBAAgB,OAAO;AAE/C,KAAI,YAAY,KAAK,WAAW,EAC9B,QAAO;CAGT,MAAM,YAAY,YAAY,KAAK;AACnC,KAAI,CAAC,UACH,OAAM,IAAI,MAAM,sDAAsD;AAGxE,QAAO,uBAAuB,UAAU;;;;;;;;;;;;;;AAe1C,SAAgB,6BACd,aACmB;AAKnB,QAAO,EAAE"}

package/dist/verify-sql-schema-BBhkqEDo.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"verify-sql-schema-BBhkqEDo.d.mts","names":[],"sources":["../src/core/schema-verify/verify-sql-schema.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;;AAqEgC,KA9BpB,iBAAA,GA8BoB,CAAA,UAAA,EAAA,MAAA,EAAA,UAAA,EAAA,MAAA,EAAA,GA3B3B,aA2B2B,GAAA,SAAA;;;;AAyBhC;;KA7CY,oBAAA;;;;UAKK,sBAAA;;qBAEI,SAAS;;mBAEX;;;;qBAIE;;iCAEY;;;;;;;gCAKD,cAAc;;;;;;8BAMhB;;;;;;iCAMG;;;;;;;;;;;;iBAajB,eAAA,UAAyB,yBAAyB"}