@prisma-next/sql-runtime 0.11.0-dev.3 → 0.11.0-dev.5

package/README.md

@@ -27,7 +27,7 @@ Execute SQL query Plans with deterministic verification, guardrails, and feedbac
 - **Codec Encoding/Decoding**: Encode parameters and decode rows using SQL codec registries
 - **Codec Validation**: Validate that codec registries contain all required codecs
 - **SQL Family Adapter**: Implement `RuntimeFamilyAdapter` for SQL contracts (defined in `runtime-spi.ts`)
-- **Marker Verification**: Parse contract-marker rows from the database (`marker.ts`) and gate execution on hash equality
+- **Marker Verification**: Read contract-marker rows from the database (`marker.ts`) on first execute and compare storage/profile hashes against the contract. On the first `execute()` call, any drift — hash mismatch, absent row, or missing marker table — is reported via a single `warn`-level structured log line through the runtime's `Log` interface (payload includes `code`, `scope`, `expected`, `actual`, `message`) and the query proceeds normally. The check runs once per runtime lifetime; subsequent queries skip the marker read. Pass `verifyMarker: false` to skip the marker read entirely.
 - **Telemetry Fingerprinting**: Compute SQL fingerprints for telemetry events (`fingerprint.ts`)
 - **Raw-SQL Guardrails**: Heuristic safety checks for raw SQL plans (`guardrails/raw.ts`)
 - **`beforeCompile` Chain**: AST-rewrite middleware chain run pre-lowering (`middleware/before-compile-chain.ts`)
@@ -72,7 +72,6 @@ const runtime = createRuntime({
   stackInstance,
   context,
   driver,
-  verify: { mode: 'onFirstUse', requireMarker: false },
   middleware: [budgets()],
 });
 
@@ -81,6 +80,18 @@ for await (const row of runtime.execute(plan)) {
 }
 ```
 
+Use `verifyMarker: false` to skip the marker read entirely — e.g. during a known-skewed deploy window where contract drift is expected and tolerated.
+
+```typescript
+const runtime = createRuntime({
+  stackInstance,
+  context,
+  driver,
+  verifyMarker: false,
+  middleware: [budgets()],
+});
+```
+
 ## Exports
 
 ### Runtime
@@ -88,7 +99,7 @@ for await (const row of runtime.execute(plan)) {
 - `createRuntime` - Create a SQL runtime instance
 - `Runtime` - Runtime instance type
 - `CreateRuntimeOptions` - Options for `createRuntime`
-- `RuntimeVerifyOptions` - Verification mode configuration
+- `VerifyMarkerOption` - Marker-verification option (`'onFirstUse'` default; `false` to skip)
 - `RuntimeTelemetryEvent`, `TelemetryOutcome` - Telemetry event types
 
 ### Context

package/dist/{exports-BsRNNJxU.mjs → exports-pTQTXnEr.mjs}

@@ -1324,14 +1324,13 @@ var SqlRuntimeImpl = class extends RuntimeCore {
 	contractCodecs;
 	codecDescriptors;
 	sqlCtx;
-	verify;
+	verifyMarkerOption;
+	verifyMarkerPromise;
 	#preparedStatementHandles = /* @__PURE__ */ new WeakMap();
 	codecRegistryValidated;
-	verified;
-	startupVerified;
 	_telemetry;
 	constructor(options) {
-		const { context, adapter, driver, verify, middleware, mode, log } = options;
+		const { context, adapter, driver, verifyMarker, middleware, mode, log } = options;
 		if (middleware) for (const mw of middleware) checkMiddlewareCompatibility(mw, "sql", context.contract.target);
 		const sqlCtx = {
 			contract: context.contract,
@@ -1352,15 +1351,10 @@ var SqlRuntimeImpl = class extends RuntimeCore {
 		this.contractCodecs = context.contractCodecs;
 		this.codecDescriptors = context.codecDescriptors;
 		this.sqlCtx = sqlCtx;
-		this.verify = verify;
+		this.verifyMarkerOption = verifyMarker ?? "onFirstUse";
 		this.codecRegistryValidated = false;
-		this.verified = verify.mode === "startup" ? false : verify.mode === "always";
-		this.startupVerified = false;
+		this.verifyMarkerPromise = this.verifyMarkerOption === false ? Promise.resolve() : null;
 		this._telemetry = null;
-		if (verify.mode === "startup") {
-			validateCodecRegistryCompleteness(this.codecDescriptors, context.contract);
-			this.codecRegistryValidated = true;
-		}
 	}
 	/**
 	* Lower a `SqlQueryPlan` (AST + meta) into a `SqlExecutionPlan`
@@ -1442,12 +1436,11 @@ var SqlRuntimeImpl = class extends RuntimeCore {
 	async *streamRows(exec, decodeContext, driverCall, codecCtx, execMiddlewareCtx) {
 		this.familyAdapter.validatePlan(exec, this.contract);
 		this._telemetry = null;
-		if (!this.startupVerified && this.verify.mode === "startup") await this.verifyMarker();
-		if (!this.verified && this.verify.mode === "onFirstUse") await this.verifyMarker();
+		if (this.verifyMarkerPromise === null) this.verifyMarkerPromise = this.verifyMarker();
+		await this.verifyMarkerPromise;
 		const startedAt = Date.now();
 		let outcome = null;
 		try {
-			if (this.verify.mode === "always") await this.verifyMarker();
 			const iterator = runWithMiddleware(exec, this.middleware, execMiddlewareCtx, driverCall)[Symbol.asyncIterator]();
 			try {
 				while (true) {
@@ -1643,24 +1636,35 @@ var SqlRuntimeImpl = class extends RuntimeCore {
 	}
 	async verifyMarker() {
 		const readResult = await this.familyAdapter.markerReader.readMarker(this.driver);
+		const expectedStorageHash = this.contract.storage.storageHash;
+		const expectedProfileHash = this.contract.profileHash ?? null;
+		const expected = {
+			storageHash: expectedStorageHash,
+			profileHash: expectedProfileHash
+		};
 		if (readResult.kind !== "present") {
-			if (this.verify.requireMarker) throw runtimeError("CONTRACT.MARKER_MISSING", "Contract marker not found in database");
-			this.verified = true;
+			this.sqlCtx.log.warn({
+				code: "CONTRACT.MARKER_MISSING",
+				scope: "marker-verification",
+				expected,
+				actual: null,
+				message: "Contract marker not found in database"
+			});
 			return;
 		}
 		const marker = readResult.record;
-		const contract = this.contract;
-		if (marker.storageHash !== contract.storage.storageHash) throw runtimeError("CONTRACT.MARKER_MISMATCH", "Database storage hash does not match contract", {
-			expected: contract.storage.storageHash,
-			actual: marker.storageHash
-		});
-		const expectedProfile = contract.profileHash ?? null;
-		if (expectedProfile !== null && marker.profileHash !== expectedProfile) throw runtimeError("CONTRACT.MARKER_MISMATCH", "Database profile hash does not match contract", {
-			expectedProfile,
-			actualProfile: marker.profileHash
+		const storageHashMatch = marker.storageHash === expectedStorageHash;
+		const profileHashMatch = expectedProfileHash === null || marker.profileHash === expectedProfileHash;
+		if (!storageHashMatch || !profileHashMatch) this.sqlCtx.log.warn({
+			code: "CONTRACT.MARKER_MISMATCH",
+			scope: "marker-verification",
+			expected,
+			actual: {
+				storageHash: marker.storageHash,
+				profileHash: marker.profileHash ?? null
+			},
+			message: "Contract marker hash does not match runtime contract"
 		});
-		this.verified = true;
-		this.startupVerified = true;
 	}
 	recordTelemetry(plan, outcome, durationMs) {
 		const contract = this.contract;
@@ -1748,12 +1752,12 @@ async function withTransaction(runtime, fn) {
 	}
 }
 function createRuntime(options) {
-	const { stackInstance, context, driver, verify, middleware, mode, log } = options;
+	const { stackInstance, context, driver, verifyMarker, middleware, mode, log } = options;
 	return new SqlRuntimeImpl({
 		context,
 		adapter: stackInstance.adapter,
 		driver,
-		verify,
+		...ifDefined("verifyMarker", verifyMarker),
 		...ifDefined("middleware", middleware),
 		...ifDefined("mode", mode),
 		...ifDefined("log", log)
@@ -1762,4 +1766,4 @@ function createRuntime(options) {
 //#endregion
 export { ensureTableStatement as a, createExecutionContext as c, budgets as d, parseContractMarkerRow as f, validateContractCodecMappings as g, validateCodecRegistryCompleteness as h, ensureSchemaStatement as i, createSqlExecutionStack as l, extractCodecIds as m, withTransaction as n, readContractMarker as o, lowerSqlPlan as p, APP_SPACE_ID as r, writeContractMarker as s, createRuntime as t, lints as u };
 
-//# sourceMappingURL=exports-BsRNNJxU.mjs.map
+//# sourceMappingURL=exports-pTQTXnEr.mjs.map