vinext 0.0.50 → 0.0.51

package/dist/server/cache-proof.js

@@ -1,6 +1,7 @@
 import { fnv1a64 } from "../utils/hash.js";
+import { findSortedStringPosition } from "../utils/sorted-array.js";
 //#region src/server/cache-proof.ts
-const CACHE_PROOF_MODEL_SCHEMA_VERSION = 0;
+const CACHE_PROOF_MODEL_SCHEMA_VERSION = 1;
 const DEFAULT_CACHE_VARIANT_BUDGET = {
 	maxDimensionCount: 8,
 	maxDimensionNameLength: 64,
@@ -9,6 +10,14 @@ const DEFAULT_CACHE_VARIANT_BUDGET = {
 	maxValuesPerDimension: 8,
 	maxVariantsPerRoute: 64
 };
+const ALL_RENDER_REQUEST_API_KINDS = [
+	"connection",
+	"cookies",
+	"draftMode",
+	"headers",
+	"params",
+	"searchParams"
+];
 const PUBLIC_UNSAFE_DIMENSION_SOURCES = new Set([
 	"auth",
 	"cookie",
@@ -197,14 +206,6 @@ function buildCacheVariant(input) {
 		kind: "breakerFallback",
 		fallback: budgetFallback
 	};
-	if (input.existingVariantCount >= input.budget.maxVariantsPerRoute) return {
-		kind: "breakerFallback",
-		fallback: buildBreakerFallback("CP_ROUTE_VARIANT_CEILING_EXCEEDED", {
-			existingVariantCount: input.existingVariantCount,
-			maxVariantsPerRoute: input.budget.maxVariantsPerRoute,
-			routeId: input.output.routeId
-		}, "privateUncacheable", "route")
-	};
 	const dimensionInputs = mergeDimensionInputs(input.dimensions);
 	if (dimensionInputs.length > input.budget.maxDimensionCount) return {
 		kind: "breakerFallback",
@@ -225,7 +226,7 @@ function buildCacheVariant(input) {
 	}
 	dimensions.sort(compareDimensions);
 	const encoded = [
-		`schema:0`,
+		`schema:1`,
 		encodeOutputScope(input.output),
 		...dimensions.map((dimension) => dimension.encoded)
 	].join("|");
@@ -241,8 +242,8 @@ function buildCacheVariant(input) {
 	return {
 		kind: "variant",
 		variant: {
-			schemaVersion: 0,
-			cacheKey: `cp0:${fnv1a64(encoded)}`,
+			schemaVersion: 1,
+			cacheKey: `cp1:${fnv1a64(encoded)}`,
 			output: input.output,
 			dimensions,
 			encodedLength: encoded.length,
@@ -250,6 +251,80 @@ function buildCacheVariant(input) {
 		}
 	};
 }
+function normalizeRouteBudget(input) {
+	return {
+		routeId: input.routeId,
+		variantCacheKeys: sortedUnique(input.variantCacheKeys)
+	};
+}
+function buildRouteVariantCeilingFallback(variant, existingVariantCount) {
+	return buildBreakerFallback("CP_ROUTE_VARIANT_CEILING_EXCEEDED", {
+		existingVariantCount,
+		maxVariantsPerRoute: variant.budget.maxVariantsPerRoute,
+		routeId: variant.output.routeId
+	}, "privateUncacheable", "route");
+}
+function enforceCacheVariantRouteBudget(input) {
+	if (input.routeBudget && input.routeBudget.routeId !== input.variant.output.routeId) return {
+		kind: "breakerFallback",
+		routeBudget: normalizeRouteBudget(input.routeBudget),
+		fallback: buildBreakerFallback("CP_ROUTE_VARIANT_BUDGET_ROUTE_MISMATCH", {
+			budgetRouteId: input.routeBudget.routeId,
+			routeId: input.variant.output.routeId
+		}, "privateUncacheable", "route")
+	};
+	const routeBudget = normalizeRouteBudget(input.routeBudget ?? {
+		routeId: input.variant.output.routeId,
+		variantCacheKeys: []
+	});
+	const existingVariantCount = routeBudget.variantCacheKeys.length;
+	const variantKeyPosition = findSortedStringPosition(routeBudget.variantCacheKeys, input.variant.cacheKey);
+	if (existingVariantCount > input.variant.budget.maxVariantsPerRoute) return {
+		kind: "breakerFallback",
+		routeBudget,
+		fallback: buildRouteVariantCeilingFallback(input.variant, existingVariantCount)
+	};
+	if (variantKeyPosition.found) return {
+		kind: "variant",
+		variant: input.variant,
+		routeBudget,
+		didConsumeRouteVariantBudget: false
+	};
+	if (existingVariantCount >= input.variant.budget.maxVariantsPerRoute) return {
+		kind: "breakerFallback",
+		routeBudget,
+		fallback: buildRouteVariantCeilingFallback(input.variant, existingVariantCount)
+	};
+	return {
+		kind: "variant",
+		variant: input.variant,
+		routeBudget: {
+			routeId: routeBudget.routeId,
+			variantCacheKeys: [
+				...routeBudget.variantCacheKeys.slice(0, variantKeyPosition.index),
+				input.variant.cacheKey,
+				...routeBudget.variantCacheKeys.slice(variantKeyPosition.index)
+			]
+		},
+		didConsumeRouteVariantBudget: true
+	};
+}
+function buildCacheVariantWithRouteBudget(input) {
+	const variantResult = buildCacheVariant({
+		budget: input.budget,
+		dimensions: input.dimensions,
+		output: input.output
+	});
+	if (variantResult.kind === "breakerFallback") return {
+		kind: "breakerFallback",
+		routeBudget: input.routeBudget ? normalizeRouteBudget(input.routeBudget) : null,
+		fallback: variantResult.fallback
+	};
+	return enforceCacheVariantRouteBudget({
+		routeBudget: input.routeBudget,
+		variant: variantResult.variant
+	});
+}
 function boundaryOutcomesMatch(expected, candidate) {
 	switch (expected.kind) {
 		case "error": return candidate.kind === "error" && (expected.digest ?? "") === (candidate.digest ?? "");
@@ -307,36 +382,359 @@ function normalizeRequestApiObservations(observations) {
 		status
 	}));
 }
+function cacheProofDowngradeTargetRank(target) {
+	switch (target) {
+		case "public": return 0;
+		case "publicVariant": return 1;
+		case "private": return 2;
+		case "privateUncacheable": return 3;
+		case "freshRender": return 4;
+		default: return assertNever(target);
+	}
+}
+function maxCacheProofDowngradeTarget(current, candidate) {
+	return cacheProofDowngradeTargetRank(candidate) > cacheProofDowngradeTargetRank(current) ? candidate : current;
+}
+function createDowngradeFallback(target, reasons) {
+	switch (target) {
+		case "public":
+		case "publicVariant":
+		case "private": return null;
+		case "privateUncacheable": return buildBreakerFallback("CP_PRIVATE_DYNAMIC_DOWNGRADE", {
+			reasonCodes: reasons.map((reason) => reason.code),
+			target
+		}, "privateUncacheable");
+		case "freshRender": return buildBreakerFallback("CP_PRIVATE_DYNAMIC_DOWNGRADE", {
+			reasonCodes: reasons.map((reason) => reason.code),
+			target
+		});
+		default: return assertNever(target);
+	}
+}
+function classifyObservedRequestApiDowngrade(kind) {
+	switch (kind) {
+		case "connection": return {
+			code: "CP_DOWNGRADE_DYNAMIC_REQUEST_API",
+			requestApi: "connection",
+			target: "freshRender"
+		};
+		case "cookies": return {
+			code: "CP_DOWNGRADE_PRIVATE_REQUEST_API",
+			requestApi: "cookies",
+			target: "private"
+		};
+		case "draftMode": return {
+			code: "CP_DOWNGRADE_DRAFT_MODE",
+			requestApi: "draftMode",
+			target: "privateUncacheable"
+		};
+		case "headers": return {
+			code: "CP_DOWNGRADE_PRIVATE_REQUEST_API",
+			requestApi: "headers",
+			target: "private"
+		};
+		case "params": return {
+			code: "CP_DOWNGRADE_PUBLIC_REQUEST_API",
+			requestApi: "params",
+			target: "publicVariant"
+		};
+		case "searchParams": return {
+			code: "CP_DOWNGRADE_PUBLIC_REQUEST_API",
+			requestApi: "searchParams",
+			target: "publicVariant"
+		};
+		default: return assertNever(kind);
+	}
+}
+function classifyCacheVariantDimensionDowngrade(input) {
+	switch (input.source) {
+		case "auth": return {
+			code: "CP_DOWNGRADE_PRIVATE_DIMENSION",
+			inputClass: "auth",
+			source: "auth",
+			target: "private"
+		};
+		case "cookie": return {
+			code: "CP_DOWNGRADE_PRIVATE_DIMENSION",
+			inputClass: "private",
+			source: "cookie",
+			target: "private"
+		};
+		case "draft-mode": return {
+			code: "CP_DOWNGRADE_PRIVATE_DIMENSION",
+			inputClass: "draft",
+			source: "draft-mode",
+			target: "privateUncacheable"
+		};
+		case "header": return {
+			code: "CP_DOWNGRADE_PRIVATE_DIMENSION",
+			inputClass: "private",
+			source: "header",
+			target: "private"
+		};
+		case "session": return {
+			code: "CP_DOWNGRADE_PRIVATE_DIMENSION",
+			inputClass: "session",
+			source: "session",
+			target: "private"
+		};
+		case "custom":
+		case "interception":
+		case "mounted-slots":
+		case "params":
+		case "route":
+		case "search": return null;
+		default: return assertNever(input.source);
+	}
+}
+function classifyRenderObservationDowngrade(input) {
+	const reasons = [];
+	let target = "public";
+	switch (input.cacheability) {
+		case "public": break;
+		case "private": {
+			const reason = {
+				code: "CP_DOWNGRADE_CACHEABILITY_PRIVATE",
+				target: "private"
+			};
+			reasons.push(reason);
+			target = maxCacheProofDowngradeTarget(target, reason.target);
+			break;
+		}
+		case "uncacheable": {
+			const reason = {
+				code: "CP_DOWNGRADE_CACHEABILITY_UNCACHEABLE",
+				target: "privateUncacheable"
+			};
+			reasons.push(reason);
+			target = maxCacheProofDowngradeTarget(target, reason.target);
+			break;
+		}
+		case "unknown": {
+			const reason = {
+				code: "CP_DOWNGRADE_CACHEABILITY_UNKNOWN",
+				target: "freshRender"
+			};
+			reasons.push(reason);
+			target = maxCacheProofDowngradeTarget(target, reason.target);
+			break;
+		}
+		default: assertNever(input.cacheability);
+	}
+	if (input.completeness !== "complete") {
+		const reason = {
+			code: "CP_DOWNGRADE_INCOMPLETE_OBSERVATION",
+			completeness: input.completeness,
+			target: "freshRender"
+		};
+		reasons.push(reason);
+		target = maxCacheProofDowngradeTarget(target, reason.target);
+	}
+	if (input.dynamicFetches.length > 0) {
+		const reason = {
+			code: "CP_DOWNGRADE_DYNAMIC_FETCH",
+			dynamicFetchCount: input.dynamicFetches.length,
+			target: "freshRender"
+		};
+		reasons.push(reason);
+		target = maxCacheProofDowngradeTarget(target, reason.target);
+	}
+	const requestApis = normalizeRequestApiObservations(input.requestApis);
+	for (const requestApi of requestApis) {
+		if (requestApi.status === "notObserved") continue;
+		const reason = requestApi.status === "unknown" ? {
+			code: "CP_DOWNGRADE_UNKNOWN_REQUEST_API",
+			requestApi: requestApi.kind,
+			target: "freshRender"
+		} : classifyObservedRequestApiDowngrade(requestApi.kind);
+		reasons.push(reason);
+		target = maxCacheProofDowngradeTarget(target, reason.target);
+	}
+	return {
+		target,
+		reasons,
+		fallback: createDowngradeFallback(target, reasons),
+		isPublicCacheCandidate: target === "public" || target === "publicVariant"
+	};
+}
+function buildRenderRequestApiObservations(input) {
+	const observedKinds = new Set(input.observed);
+	const absentStatus = input.completeness === "complete" ? "notObserved" : "unknown";
+	return ALL_RENDER_REQUEST_API_KINDS.map((kind) => ({
+		kind,
+		status: observedKinds.has(kind) ? "observed" : absentStatus
+	}));
+}
 function buildRenderObservation(input) {
+	const requestApis = normalizeRequestApiObservations(input.requestApis);
+	const dynamicFetches = sortedUniqueRedacted(input.dynamicFetches);
 	return {
-		schemaVersion: 0,
+		schemaVersion: 1,
 		output: input.output,
 		completeness: input.completeness,
 		boundaryOutcome: input.boundaryOutcome,
-		requestApis: normalizeRequestApiObservations(input.requestApis),
-		dynamicFetches: sortedUniqueRedacted(input.dynamicFetches),
+		requestApis,
+		dynamicFetches,
 		cacheTags: sortedUnique(input.cacheTags),
 		pathTags: sortedUnique(input.pathTags),
-		cacheability: input.cacheability
+		cacheability: input.cacheability,
+		downgrade: classifyRenderObservationDowngrade({
+			cacheability: input.cacheability,
+			completeness: input.completeness,
+			dynamicFetches,
+			requestApis
+		})
 	};
 }
 function hasCompleteNegativeRequestApiProof(observation, requiredApis) {
 	if (observation.completeness !== "complete") return false;
 	const statuses = /* @__PURE__ */ new Map();
-	for (const requestApi of observation.requestApis) statuses.set(requestApi.kind, requestApi.status);
+	for (const requestApi of normalizeRequestApiObservations(observation.requestApis)) statuses.set(requestApi.kind, requestApi.status);
 	for (const api of requiredApis) if (statuses.get(api) !== "notObserved") return false;
 	return true;
 }
+function isStaticLayoutOutputScope(output) {
+	return output.kind === "layout";
+}
+function rejectStaticLayoutReuseProof(code, fields, mode = "renderFresh") {
+	return {
+		kind: "rejected",
+		fallback: buildBreakerFallback(code, fields, mode)
+	};
+}
+function getRequestApiStatus(observations, kind) {
+	let status = null;
+	for (const requestApi of observations) {
+		if (requestApi.kind !== kind) continue;
+		if (status === null || requestApiStatusRank(requestApi.status) > requestApiStatusRank(status)) status = requestApi.status;
+	}
+	return status ?? "missing";
+}
+function createStaticLayoutDowngradeFallback(downgrade) {
+	const mode = downgrade.target === "privateUncacheable" ? "privateUncacheable" : "renderFresh";
+	return buildBreakerFallback("CP_STATIC_LAYOUT_PRIVATE_DYNAMIC_DOWNGRADE", {
+		reasonCodes: downgrade.reasons.map((reason) => reason.code),
+		target: downgrade.target
+	}, mode);
+}
+function createPrivateVariantDimensionFallback(dimension) {
+	const downgrade = classifyCacheVariantDimensionDowngrade({ source: dimension.source });
+	if (!downgrade && dimension.privacy !== "private") return null;
+	const target = downgrade?.target ?? "private";
+	const mode = target === "privateUncacheable" ? "privateUncacheable" : "renderFresh";
+	return buildBreakerFallback("CP_STATIC_LAYOUT_PRIVATE_VARIANT_DIMENSION", {
+		dimension: dimension.name,
+		privacy: dimension.privacy,
+		reasonCode: downgrade?.code ?? null,
+		source: dimension.source,
+		target
+	}, mode);
+}
+function outputFieldMismatch(candidate, observation) {
+	if (candidate.layoutId !== observation.layoutId) return "layoutId";
+	if (candidate.rootBoundaryId !== observation.rootBoundaryId) return "rootBoundaryId";
+	if (candidate.routeId !== observation.routeId) return "routeId";
+	return null;
+}
+function buildStaticLayoutReuseProof(input) {
+	if (!isStaticLayoutOutputScope(input.currentOutput)) return rejectStaticLayoutReuseProof("CP_STATIC_LAYOUT_CURRENT_OUTPUT_KIND", { currentOutputKind: input.currentOutput.kind });
+	if (!isStaticLayoutOutputScope(input.candidateVariant.output)) return rejectStaticLayoutReuseProof("CP_STATIC_LAYOUT_CANDIDATE_OUTPUT_KIND", { candidateOutputKind: input.candidateVariant.output.kind });
+	if (!isStaticLayoutOutputScope(input.candidateObservation.output)) return rejectStaticLayoutReuseProof("CP_STATIC_LAYOUT_OBSERVATION_OUTPUT_KIND", { observationOutputKind: input.candidateObservation.output.kind });
+	const currentOutput = input.currentOutput;
+	const candidateOutput = input.candidateVariant.output;
+	const observationOutput = input.candidateObservation.output;
+	const requestApis = normalizeRequestApiObservations(input.candidateObservation.requestApis);
+	const candidateObservation = {
+		...input.candidateObservation,
+		requestApis,
+		downgrade: classifyRenderObservationDowngrade({
+			cacheability: input.candidateObservation.cacheability,
+			completeness: input.candidateObservation.completeness,
+			dynamicFetches: input.candidateObservation.dynamicFetches,
+			requestApis
+		})
+	};
+	const observedOutputMismatch = outputFieldMismatch(candidateOutput, observationOutput);
+	if (observedOutputMismatch) return rejectStaticLayoutReuseProof("CP_STATIC_LAYOUT_OBSERVATION_OUTPUT_MISMATCH", {
+		candidateLayoutId: candidateOutput.layoutId,
+		candidateRootBoundaryId: candidateOutput.rootBoundaryId,
+		candidateRouteId: candidateOutput.routeId,
+		field: observedOutputMismatch,
+		observationLayoutId: observationOutput.layoutId,
+		observationRootBoundaryId: observationOutput.rootBoundaryId,
+		observationRouteId: observationOutput.routeId
+	});
+	if (currentOutput.layoutId !== candidateOutput.layoutId) return rejectStaticLayoutReuseProof("CP_STATIC_LAYOUT_ID_MISMATCH", {
+		candidateLayoutId: candidateOutput.layoutId,
+		currentLayoutId: currentOutput.layoutId
+	});
+	if (currentOutput.rootBoundaryId === null || candidateOutput.rootBoundaryId === null) return rejectStaticLayoutReuseProof("CP_STATIC_LAYOUT_ROOT_BOUNDARY_UNKNOWN", {
+		candidateRootBoundaryId: candidateOutput.rootBoundaryId,
+		currentRootBoundaryId: currentOutput.rootBoundaryId
+	});
+	if (currentOutput.rootBoundaryId !== candidateOutput.rootBoundaryId) return rejectStaticLayoutReuseProof("CP_STATIC_LAYOUT_ROOT_BOUNDARY_MISMATCH", {
+		candidateRootBoundaryId: candidateOutput.rootBoundaryId,
+		currentRootBoundaryId: currentOutput.rootBoundaryId
+	});
+	const boundaryCompatibility = buildBoundaryOutcomeCompatibility({
+		candidate: candidateObservation.boundaryOutcome,
+		expected: { kind: "success" }
+	});
+	if (boundaryCompatibility.kind === "incompatible") return {
+		kind: "rejected",
+		fallback: boundaryCompatibility.fallback
+	};
+	for (const dimension of input.candidateVariant.dimensions) {
+		const fallback = createPrivateVariantDimensionFallback(dimension);
+		if (fallback) return {
+			kind: "rejected",
+			fallback
+		};
+	}
+	if (!candidateObservation.downgrade.isPublicCacheCandidate) return {
+		kind: "rejected",
+		fallback: createStaticLayoutDowngradeFallback(candidateObservation.downgrade)
+	};
+	const requiredNegativeRequestApis = ALL_RENDER_REQUEST_API_KINDS;
+	for (const api of requiredNegativeRequestApis) {
+		const status = getRequestApiStatus(candidateObservation.requestApis, api);
+		if (status === "notObserved") continue;
+		return rejectStaticLayoutReuseProof(status === "missing" ? "CP_STATIC_LAYOUT_REQUEST_API_UNKNOWN" : "CP_STATIC_LAYOUT_REQUEST_API_OBSERVED", {
+			requestApi: api,
+			status
+		});
+	}
+	return {
+		kind: "proof",
+		proof: {
+			authorizesRuntimeReuse: false,
+			candidateOutput,
+			code: "CP_STATIC_LAYOUT_REUSE_PROVEN",
+			currentOutput,
+			fields: {
+				candidateRouteId: candidateOutput.routeId,
+				currentRouteId: currentOutput.routeId,
+				layoutId: currentOutput.layoutId,
+				rootBoundaryId: currentOutput.rootBoundaryId
+			},
+			observation: candidateObservation,
+			requiredNegativeRequestApis: [...requiredNegativeRequestApis],
+			reuseClass: "static-layout",
+			variant: input.candidateVariant
+		}
+	};
+}
 function createDisabledCacheProofDecision(input) {
 	return {
 		kind: "disabled",
 		canReuse: false,
 		variant: input.variant,
 		observation: input.observation,
+		...input.staticLayoutProof ? { staticLayoutProof: input.staticLayoutProof } : {},
 		fallback: buildBreakerFallback("CP_MODEL_DISABLED")
 	};
 }
 //#endregion
-export { CACHE_PROOF_MODEL_SCHEMA_VERSION, DEFAULT_CACHE_VARIANT_BUDGET, buildBoundaryOutcomeCompatibility, buildCacheVariant, buildRenderObservation, createAppRouteCacheProofGraphScope, createDisabledCacheProofDecision, hasCompleteNegativeRequestApiProof };
+export { ALL_RENDER_REQUEST_API_KINDS, CACHE_PROOF_MODEL_SCHEMA_VERSION, DEFAULT_CACHE_VARIANT_BUDGET, buildBoundaryOutcomeCompatibility, buildCacheVariant, buildCacheVariantWithRouteBudget, buildRenderObservation, buildRenderRequestApiObservations, buildStaticLayoutReuseProof, classifyCacheVariantDimensionDowngrade, classifyRenderObservationDowngrade, createAppRouteCacheProofGraphScope, createDisabledCacheProofDecision, enforceCacheVariantRouteBudget, hasCompleteNegativeRequestApiProof };
 
 //# sourceMappingURL=cache-proof.js.map