@prisma-next/sql-schema-ir 0.1.0-dev.3 → 0.1.0-dev.30

package/README.md

@@ -26,6 +26,7 @@ This package defines the core types for the SQL Schema IR, a target-agnostic rep
 
 **Dependents:**
 - **Migration Plane**:
+  - `@prisma-next/family-sql` - SQL family instance uses SqlSchemaIR for schema verification
   - `@prisma-next/core-control-plane` - Core verification logic
   - `@prisma-next/adapter-postgres` - Postgres introspection
   - `@prisma-next/extension-pgvector` - Extension verification hooks
@@ -106,23 +107,29 @@ const schemaIR: SqlSchemaIR = await controlAdapter.introspect(driver, contract);
 
 ### Schema Verification
 
-The core control plane compares contracts against `SqlSchemaIR`:
+Schema verification is performed via the `schemaVerify()` method on the SQL family instance:
 
 ```typescript
-// In core-control-plane
-import { verifyDatabaseSchema } from '@prisma-next/core-control-plane/verify-database-schema';
+// In SQL family instance
+import sql from '@prisma-next/family-sql/control';
 import type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';
 
-const result = await verifyDatabaseSchema({
+// Create family instance
+const familyInstance = sql.create({
+  target: postgresTargetDescriptor,
+  adapter: postgresAdapterDescriptor,
+  driver: postgresDriverDescriptor,
+  extensions: [],
+});
+
+// Schema verification is performed via family instance method
+const result = await familyInstance.schemaVerify({
   driver,
   contractIR,
-  schemaIR, // Produced by family.introspectSchema
-  family,
-  target,
-  adapter,
-  extensions,
   strict: false,
+  contractPath: './contract.json',
 });
+// schemaVerify internally calls adapter.introspect() to get schemaIR
 ```
 
 ## Architecture
@@ -140,6 +147,6 @@ This package sits at the core layer in the shared plane, making it accessible to
 
 - `docs/briefs/11-schema-ir.md` - Schema IR project brief
 - `docs/briefs/SQL Schema IR and Verification.md` - Detailed design document
-- `packages/framework/core-control-plane/src/actions/verify-database-schema.ts` - Core verification action
-- `packages/targets/postgres-adapter/src/exports/introspect.ts` - Postgres introspection implementation
+- `packages/2-sql/3-tooling/family/src/core/instance.ts` - SQL family instance with `schemaVerify()` method
+- `packages/3-targets/6-adapters/postgres/src/exports/control.ts` - Postgres introspection entrypoint
 

package/package.json

@@ -1,17 +1,18 @@
 {
   "name": "@prisma-next/sql-schema-ir",
-  "version": "0.1.0-dev.3",
+  "version": "0.1.0-dev.30",
   "type": "module",
   "sideEffects": false,
   "description": "SQL Schema IR types for schema introspection and verification",
   "dependencies": {
-    "@prisma-next/contract": "0.1.0-dev.3"
+    "@prisma-next/contract": "0.1.0-dev.30"
   },
   "devDependencies": {
-    "@vitest/coverage-v8": "^2.1.1",
+    "@vitest/coverage-v8": "^4.0.0",
     "tsup": "^8.3.0",
     "typescript": "^5.9.3",
-    "vitest": "^2.1.1"
+    "vitest": "^4.0.16",
+    "@prisma-next/test-utils": "0.0.1"
   },
   "files": [
     "dist"
@@ -27,7 +28,9 @@
     "test": "vitest run --passWithNoTests",
     "test:coverage": "vitest run --coverage --passWithNoTests",
     "typecheck": "tsc --project tsconfig.json --noEmit",
-    "lint": "biome check . --config-path ../../../biome.json --error-on-warnings",
+    "lint": "biome check . --config-path ../../../../biome.json --error-on-warnings",
+    "lint:fix": "biome check --write . --config-path ../../../biome.json",
+    "lint:fix:unsafe": "biome check --write --unsafe . --config-path ../../../biome.json",
     "clean": "node ../../../../scripts/clean.mjs"
   }
 }