@prisma-next/sql-relational-core 0.3.0-pr.99.5 → 0.3.0

package/src/errors.ts

@@ -1 +1,47 @@
-export { planInvalid, planUnsupported } from '@prisma-next/plan';
+import type { RuntimeError } from './types';
+
+export function planInvalid(
+  message: string,
+  details?: Record<string, unknown>,
+  hints?: readonly string[],
+  docs?: readonly string[],
+): RuntimeError {
+  const error = new Error(message) as RuntimeError;
+
+  Object.defineProperty(error, 'name', {
+    value: 'RuntimeError',
+    configurable: true,
+  });
+
+  return Object.assign(error, {
+    code: 'PLAN.INVALID',
+    category: 'PLAN' as const,
+    severity: 'error' as const,
+    details,
+    hints,
+    docs,
+  });
+}
+
+export function planUnsupported(
+  message: string,
+  details?: Record<string, unknown>,
+  hints?: readonly string[],
+  docs?: readonly string[],
+): RuntimeError {
+  const error = new Error(message) as RuntimeError;
+
+  Object.defineProperty(error, 'name', {
+    value: 'RuntimeError',
+    configurable: true,
+  });
+
+  return Object.assign(error, {
+    code: 'PLAN.UNSUPPORTED',
+    category: 'PLAN' as const,
+    severity: 'error' as const,
+    details,
+    hints,
+    docs,
+  });
+}

package/src/exports/ast.ts

@@ -1,13 +1,6 @@
 export * from '../ast/adapter-types';
 export * from '../ast/codec-types';
-export * from '../ast/common';
-export * from '../ast/delete';
 export * from '../ast/driver-types';
-export * from '../ast/insert';
-export * from '../ast/join';
-export * from '../ast/order';
-export * from '../ast/predicate';
-export * from '../ast/select';
+export * from '../ast/sql-codecs';
 export * from '../ast/types';
-export * from '../ast/update';
 export * from '../ast/util';

package/src/index.ts

@@ -1,8 +1,5 @@
 export * from './exports/ast';
 export * from './exports/errors';
-export * from './exports/operations-registry';
-export * from './exports/param';
 export * from './exports/plan';
 export * from './exports/query-lane-context';
-export * from './exports/schema';
 export * from './exports/types';

package/src/plan.ts

@@ -1,6 +1,6 @@
 import type { ExecutionPlan, ParamDescriptor } from '@prisma-next/contract/types';
 import type { StorageColumn } from '@prisma-next/sql-contract/types';
-import type { QueryAst } from './ast/types';
+import type { AnyQueryAst } from './ast/types';
 
 /**
  * SQL query plan produced by lanes before lowering.
@@ -8,13 +8,13 @@ import type { QueryAst } from './ast/types';
  * Lanes build ASTs and metadata but do not perform SQL lowering.
  * The `sql` field is absent - lowering happens in the runtime executor.
  *
- * Structurally aligns with ExecutionPlan<Row, QueryAst> (without sql field) to maintain
+ * Structurally aligns with ExecutionPlan<Row, AnyQueryAst> (without sql field) to maintain
  * compatibility with ExecutionPlan/Plan-based utilities.
  * The generic parameter `_Row` is preserved for type extraction via ResultType.
  */
 export interface SqlQueryPlan<_Row = unknown>
-  extends Pick<ExecutionPlan<_Row, QueryAst>, 'params' | 'meta'> {
-  readonly ast: QueryAst;
+  extends Pick<ExecutionPlan<_Row, AnyQueryAst>, 'params' | 'meta'> {
+  readonly ast: AnyQueryAst;
   // Phantom property to preserve generic parameter for type extraction
   // This allows ResultType to extract _Row for SqlQueryPlan values.
   readonly _Row?: _Row;

package/src/query-lane-context.ts

@@ -1,14 +1,69 @@
-import type { OperationRegistry } from '@prisma-next/operations';
-import type { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';
+import type { Contract } from '@prisma-next/contract/types';
+import type { SqlStorage } from '@prisma-next/sql-contract/types';
+import type { SqlOperationRegistry } from '@prisma-next/sql-operations';
 import type { CodecRegistry } from './ast/codec-types';
 
 /**
  * Registry of initialized type helpers from storage.types.
- * Each key is a type name from storage.types, and the value is the initialized helper
- * (or validated typeParams if no init hook was provided).
+ * Each key is a type name from storage.types, and the value is:
+ * - The result of the codec's init hook (if provided), or
+ * - The full StorageTypeInstance metadata (codecId, nativeType, typeParams) if no init hook
  */
 export type TypeHelperRegistry = Record<string, unknown>;
 
+// =============================================================================
+// JSON Schema Validation Types
+// =============================================================================
+
+/**
+ * A single validation error from JSON Schema validation.
+ */
+export interface JsonSchemaValidationError {
+  readonly path: string;
+  readonly message: string;
+  readonly keyword: string;
+}
+
+/**
+ * Result of a JSON Schema validation.
+ */
+export type JsonSchemaValidationResult =
+  | { readonly valid: true }
+  | { readonly valid: false; readonly errors: ReadonlyArray<JsonSchemaValidationError> };
+
+/**
+ * A compiled JSON Schema validate function.
+ * Returns a structured result indicating whether the value conforms to the schema.
+ */
+export type JsonSchemaValidateFn = (value: unknown) => JsonSchemaValidationResult;
+
+/**
+ * Registry of compiled JSON Schema validators for columns with typed JSON/JSONB.
+ *
+ * Built during context creation by scanning the contract for columns whose codec
+ * descriptor provides an `init` hook that returns a `{ validate }` helper.
+ * Keys are `"table.column"` (e.g., `"user.metadata"`).
+ */
+export interface JsonSchemaValidatorRegistry {
+  /** Get the compiled validator for a column. Key format: "table.column". */
+  get(key: string): JsonSchemaValidateFn | undefined;
+  /** Number of registered validators. */
+  readonly size: number;
+}
+
+export type MutationDefaultsOp = 'create' | 'update';
+
+export type AppliedMutationDefault = {
+  readonly column: string;
+  readonly value: unknown;
+};
+
+export type MutationDefaultsOptions = {
+  readonly op: MutationDefaultsOp;
+  readonly table: string;
+  readonly values: Record<string, unknown>;
+};
+
 /**
  * Minimal context interface for SQL query lanes.
  *
@@ -16,15 +71,23 @@ export type TypeHelperRegistry = Record<string, unknown>;
  * operation builders. This interface explicitly excludes runtime concerns like
  * adapters, connection management, and transaction state.
  */
-export interface QueryLaneContext<
-  TContract extends SqlContract<SqlStorage> = SqlContract<SqlStorage>,
-> {
+export interface ExecutionContext<TContract extends Contract<SqlStorage> = Contract<SqlStorage>> {
   readonly contract: TContract;
-  readonly operations: OperationRegistry;
   readonly codecs: CodecRegistry;
+  readonly queryOperations: SqlOperationRegistry;
+  /**
+   * Type helper registry for parameterized types.
+   * Schema builders expose these helpers via schema.types.
+   */
+  readonly types: TypeHelperRegistry;
+  /**
+   * Compiled JSON Schema validators for typed JSON/JSONB columns.
+   * Present only when the contract declares columns with JSON Schema typeParams.
+   */
+  readonly jsonSchemaValidators?: JsonSchemaValidatorRegistry;
   /**
-   * Optional type helper registry for parameterized types.
-   * When present, schema() will expose these helpers via schema.types.
+   * Applies execution-time mutation defaults for the given table.
+   * Returns the applied defaults (caller-provided values always win).
    */
-  readonly types?: TypeHelperRegistry;
+  applyMutationDefaults(options: MutationDefaultsOptions): ReadonlyArray<AppliedMutationDefault>;
 }