@timber-js/app 0.2.0-alpha.186 → 0.2.0-alpha.188

package/dist/server/internal.js

@@ -1,14 +1,16 @@
+import { n as isRscRequest } from "../_chunks/rsc-media-type-DRqE_lD_.js";
 import { a as canonicalize, c as getMetadataRouteAutoLink, l as getMetadataRouteServePath, o as METADATA_ROUTE_CONVENTIONS, s as classifyMetadataRoute, t as computeSegmentTreePaths } from "../_chunks/segment-keys-BawYuNFO.js";
 import { n as classifyUrlSegment, r as effectiveUrlSegment } from "../_chunks/segment-classify-C539Pa2O.js";
-import { $ as timingAls, A as setMatchedSegmentPath, C as applyRequestHeaderOverlay, D as getSegmentParams, E as getSearchParams, F as getSetCookieHeaders, G as replaceTraceId, H as getOtelTraceId, I as getWaitUntil, J as withSpan, K as runWithTraceId, L as isDebug, M as setSegmentParams, N as getCookie, O as markResponseFlushed, V as generateTraceId, W as getTraceId, Y as earlyHintsSenderAls, Z as requestContextAls, _ as RedirectSignal, a as logProxyError, c as logRequestReceived, d as logSwrRefetchFailed, f as logWaitUntilRejected, g as DenySignal, h as swallow, i as logMiddlewareShortCircuit, j as setMutableCookieContext, k as runWithRequestContext, l as logRouteError, m as setLogger, n as logCacheMiss, o as logRenderError, p as logWaitUntilUnsupported, q as setSpanAttribute, r as logMiddlewareError, s as logRequestCompleted, t as getLogger, u as logSlowRequest, v as RenderError, w as getHeader } from "../_chunks/logger-N7e5auP0.js";
+import { a as timingAls, r as requestContextAls, t as earlyHintsSenderAls } from "../_chunks/als-registry-C6kcfprT.js";
+import { A as setMatchedSegmentPath, C as applyRequestHeaderOverlay, D as getSegmentParams, E as getSearchParams, F as getSetCookieHeaders, G as replaceTraceId, H as getOtelTraceId, I as getWaitUntil, J as withSpan, K as runWithTraceId, L as isDebug, M as setSegmentParams, N as getCookie, O as markResponseFlushed, V as generateTraceId, W as getTraceId, _ as RedirectSignal, a as logProxyError, c as logRequestReceived, d as logSwrRefetchFailed, f as logWaitUntilRejected, g as DenySignal, h as swallow, i as logMiddlewareShortCircuit, j as setMutableCookieContext, k as runWithRequestContext, l as logRouteError, m as setLogger, n as logCacheMiss, o as logRenderError, p as logWaitUntilUnsupported, q as setSpanAttribute, r as logMiddlewareError, s as logRequestCompleted, t as getLogger, u as logSlowRequest, v as RenderError, w as getHeader } from "../_chunks/logger-D8xJZXIN.js";
 import { i as isRscCacheKeyShape, n as RSC_KEY_PARAM, s as rscCacheKey, t as RSC_KEY_HEADERS } from "../_chunks/rsc-cache-key-DD0fl_-s.js";
+import { t as isMdxFilePath } from "../_chunks/mdx-file-C005ay-P.js";
 import { i as collectRouteModulepreloads, n as collectRouteCss, r as collectRouteFonts } from "../_chunks/build-manifest-DWppEdLB.js";
-import { i as coerce, t as executeAction } from "../_chunks/actions-C-Rw9vPc.js";
-import { a as getManifestEntry, b as wasInvalidatedSince, c as lookupPrebuiltPayload, d as checkVersionSkew, i as storeOverlayEntry, l as setPrebuiltPayloadSource, n as lookupOverlay, o as hasPrebuiltPayloadSource, r as overlayKey, s as isParamIndependent, u as applyReloadHeaders, v as currentInvalidationEpoch, x as createSingleflight, y as lastInvalidationEpochFor } from "../_chunks/cache-api-Cd0VZ_Pd.js";
-import "../_chunks/error-boundary-DpYRI_I1.js";
-import { n as toBracketKey } from "../_chunks/resolve-schema-Dz3fcFUo.js";
-import { t as normalizeParamValue } from "../_chunks/param-value-C8TNYchQ.js";
-import "../_chunks/segment-context-ZDnXDkbz.js";
+import { i as coerce, t as executeAction } from "../_chunks/actions-35jnMdeJ.js";
+import { a as getManifestEntry, b as wasInvalidatedSince, c as lookupPrebuiltPayload, d as checkVersionSkew, i as storeOverlayEntry, l as setPrebuiltPayloadSource, n as lookupOverlay, o as hasPrebuiltPayloadSource, r as overlayKey, s as isParamIndependent, u as applyReloadHeaders, v as currentInvalidationEpoch, x as createSingleflight, y as lastInvalidationEpochFor } from "../_chunks/cache-api-DjNrIWRR.js";
+import "../_chunks/error-boundary-D-ODYX41.js";
+import { n as toBracketKey } from "../_chunks/resolve-schema-5ma5pp1b.js";
+import { r as normalizeParamValue } from "../_chunks/segment-context-CjOlyB8Y.js";
 import { n as rscErrorEnvelope } from "../_chunks/rsc-error-envelope-tT5PJs4q.js";
 import { createHash } from "node:crypto";
 import { readFile } from "node:fs/promises";
@@ -287,7 +289,7 @@ function cloneWithMutableHeaders(response) {
 * createFromFetch. See design/19-client-navigation.md.
 */
 function buildRedirectResponse(signal, req, headers) {
-	if ((req.headers.get("Accept") ?? "").includes("text/x-component")) {
+	if (isRscRequest(req)) {
 		headers.set("X-Timber-Redirect", signal.location);
 		return new Response(null, {
 			status: 204,
@@ -1136,6 +1138,42 @@ async function loadModule(loader) {
 	}
 }
 //#endregion
+//#region src/server/utils/element-type.ts
+var REACT_COMPONENT_TYPE_MARKERS = /* @__PURE__ */ new Set([
+	Symbol.for("react.forward_ref"),
+	Symbol.for("react.memo"),
+	Symbol.for("react.lazy"),
+	Symbol.for("react.provider"),
+	Symbol.for("react.context"),
+	Symbol.for("react.suspense"),
+	Symbol.for("react.suspense_list"),
+	Symbol.for("react.client.reference")
+]);
+/**
+* Validate that a loaded module's `default` export is something React
+* accepts as the first argument to `createElement` — i.e. a valid component
+* type. React doesn't export `isValidElementType` (only `isValidElement`,
+* which checks for *elements*, not *component types*), so this mirrors
+* React's internal check:
+*
+*   - functions  → function or class components
+*   - objects with a `$$typeof` matching one of React's known component
+*     markers → exotic components (`memo`, `forwardRef`, `lazy`, context,
+*     suspense, client references via `@vitejs/plugin-rsc`)
+*
+* Strings (HTML tag names) are valid for `createElement` but never appear
+* as a route module's default export, so they're not recognized here.
+*
+* Anything else (numbers, plain config objects, JSON, etc.) is rejected so
+* the boundary wrapper is skipped rather than crashing inside React.
+*/
+function isValidElementType(value) {
+	if (typeof value === "function") return true;
+	if (typeof value !== "object" || value === null) return false;
+	const marker = value.$$typeof;
+	return typeof marker === "symbol" && REACT_COMPONENT_TYPE_MARKERS.has(marker);
+}
+//#endregion
 //#region src/server/deny-boundary.ts
 /**
 * Deny boundary subsystem — the in-tree DenySignal flow.
@@ -1147,10 +1185,14 @@ async function loadModule(loader) {
 *    `DenyPageEntry` records ordered by specificity (specific status →
 *    category catch-all → `error.tsx`).
 *
-* 2. **Runtime matching** (`renderMatchingDenyPage`) — picks the first
-*    chain entry whose status filter matches the thrown DenySignal and
-*    returns a React element for the matching component. Used by
-*    `AccessGate` and `PageDenyBoundary` when they catch a deny.
+* 2. **Runtime matching and placement** (`matchDenyEntry`, `placeDenyPage`,
+*    `handleCaughtDeny`) — picks the first chain entry whose status filter
+*    matches the thrown DenySignal, then decides whether the catch site may
+*    render it where it stands. A chain spans the catcher outward to root,
+*    so a match may belong to an ancestor segment; rendering it in place
+*    would wrap it in every layout in between. Ancestor-owned matches are
+*    re-thrown with `ownerKey` stamped on the signal so the error boundary
+*    at the owning segment renders it. See TIM-1356.
 *
 * 3. **The page boundary itself** (`PageDenyBoundary`) — the async server
 *    component that wraps a server-component page, calls it, and catches
@@ -1168,19 +1210,86 @@ async function loadModule(loader) {
 * See design/04-authorization.md, design/10-error-handling.md, TIM-666.
 */
 /**
-* Find the first deny page in the chain that matches the given status code.
-* Returns a React element for the matching component, or null if no match.
+* Find the first deny page in the chain whose status filter matches.
+* Returns null when nothing in the chain accepts this status.
+*
+* For 4xx statuses, the chain's stored order is correct: every status file
+* across all segments (inner→outer) before any error.tsx — so a root
+* `404.tsx` beats a leaf `error.tsx`. This matches `resolve4xx`.
+*
+* For 5xx statuses, the match walks per-segment (inner→outer): at each
+* segment, status files (`503.tsx` → `5xx.tsx`) then `error.tsx`, before
+* moving to the next segment outward. A leaf `error.tsx` therefore beats a
+* root `5xx.tsx` — the intentional inverse of the 4xx chain, matching
+* `resolve5xx`. See TIM-1360.
 */
-function renderMatchingDenyPage(chain, status, data) {
+function matchDenyEntry(chain, status) {
+	if (status >= 500) return matchDenyEntry5xx(chain, status);
 	for (const entry of chain) {
-		if (entry.status === status) return renderDenyEntry(entry, status, data);
-		if (entry.status === 400 && status >= 400 && status <= 499) return renderDenyEntry(entry, status, data);
-		if (entry.status === 500 && status >= 500 && status <= 599) return renderDenyEntry(entry, status, data);
-		if (entry.status === null) return renderDenyEntry(entry, status, data);
+		if (entry.status === status) return entry;
+		if (entry.status === 400 && status >= 400 && status <= 499) return entry;
+		if (entry.status === null) return entry;
+	}
+	return null;
+}
+/**
+* 5xx per-segment walk: at each segment (inner→outer), check status files
+* then error.tsx before moving outward. Mirrors `resolve5xx`.
+*/
+function matchDenyEntry5xx(chain, status) {
+	const segmentIndices = [];
+	for (const entry of chain) if (!segmentIndices.includes(entry.segmentIndex)) segmentIndices.push(entry.segmentIndex);
+	segmentIndices.sort((a, b) => b - a);
+	for (const seg of segmentIndices) {
+		for (const entry of chain) {
+			if (entry.segmentIndex !== seg || entry.kind === "error") continue;
+			if (entry.status === status) return entry;
+			if (entry.status === 500 && status >= 500 && status <= 599) return entry;
+		}
+		for (const entry of chain) {
+			if (entry.segmentIndex !== seg || entry.kind !== "error") continue;
+			return entry;
+		}
 	}
 	return null;
 }
 /**
+* Decide where the deny page for `status` renders, from the perspective of
+* the catch site at `selfKey`.
+*
+* The match itself is unchanged — first entry in fallback order wins, so
+* every path picks the same file. What this adds is the position: a chain
+* built at segment i spans i outward to root, so a matched entry is owned
+* either by the catcher or by one of its ancestors.
+*
+* - Owned by the catcher → `render`. The catcher already sits at the
+*   owning segment's position.
+* - Owned by an ancestor → `hoist`. Rendering here would wrap the deny page
+*   in every layout between the owner and the catcher. The caller re-throws
+*   with `ownerKey` stamped on the signal so the boundary at that segment
+*   renders it instead — inside the owner's layout, outside the rest.
+*
+* Returns null when no entry matches; the caller re-throws unannotated and
+* the re-render fallback resolves it.
+*
+* See design/04-authorization.md §"Where a Deny Page Renders", TIM-1356.
+*/
+function placeDenyPage(chain, status, data, selfKey) {
+	const entry = matchDenyEntry(chain, status);
+	if (!entry) return null;
+	if (entry.ownerKey !== selfKey) {
+		if (entry.isMdx) return null;
+		return {
+			kind: "hoist",
+			ownerKey: entry.ownerKey
+		};
+	}
+	return {
+		kind: "render",
+		element: renderDenyEntry(entry, status, data)
+	};
+}
+/**
 * Build the element for a matched deny chain entry with the props contract
 * the file's convention documents:
 *
@@ -1211,6 +1320,37 @@ function renderDenyEntry(entry, status, data) {
 	});
 }
 /**
+* The whole of what an in-tree catch site does with a `DenySignal`, shared
+* by all three of them (`PageDenyBoundary`, `TracedLayout`, `AccessGate`).
+*
+* Returns the deny page element when this catch site owns the matched file.
+* Otherwise it throws — annotated with `ownerKey` when an ancestor owns the
+* file, bare when nothing matched at all.
+*
+* `setDenyStatus` runs on the hoist path too, and must run *before* the
+* throw: on the RSC payload path no boundary executes server-side, so the
+* ALS status is the only thing standing between the response and a 200
+* (`rsc-payload.ts` reads it after the stream settles).
+*
+* Either branch leaves part of the matched chain unmounted — hoisting sends
+* the render to a boundary that discards everything below it, and a layout
+* that denies returns the deny page instead of its own child outlet. What the
+* response then says about the tree is decided from the deny status alone in
+* `rsc-payload.ts`, not tracked here; see the note there for why.
+*/
+function handleCaughtDeny(chain, error, selfKey) {
+	const placement = chain ? placeDenyPage(chain, error.status, error.data, selfKey) : null;
+	if (placement?.kind === "render") {
+		setDenyStatus(error.status);
+		return placement.element;
+	}
+	if (placement?.kind === "hoist") {
+		setDenyStatus(error.status);
+		error.ownerKey = placement.ownerKey;
+	}
+	throw error;
+}
+/**
 * Set the deny status in the request context ALS.
 * Called from AccessGate / PageDenyBoundary when a DenySignal is caught.
 * The pipeline reads this after render to set the HTTP status code.
@@ -1222,6 +1362,17 @@ function setDenyStatus(status) {
 		store.onDenyStatus?.();
 	}
 }
+/**
+* Record the first denied segment index in the request context ALS.
+* Called from AccessGate when a DenySignal is caught during render.
+* Only the first (shallowest) denial is recorded — deeper denials are
+* unreachable because the gate short-circuits the subtree.
+* See TIM-1363.
+*/
+function setFirstDeniedSegmentIndex(index) {
+	const store = requestContextAls.getStore();
+	if (store && store._firstDeniedSegmentIndex === void 0) store._firstDeniedSegmentIndex = index;
+}
 //#endregion
 //#region src/server/access-gate.tsx
 /**
@@ -1241,37 +1392,37 @@ function setDenyStatus(status) {
 /**
 * Framework-injected access gate for segments.
 *
-* When a pre-computed `verdict` prop is provided (from the pre-render pass
-* in route-element-builder.ts), AccessGate replays it synchronously — no
-* async, no re-execution of access.ts, immune to Suspense timing. The OTEL
-* span was already emitted during the pre-render pass.
-*
-* When no verdict is provided (backward compat with tree-builder.ts),
-* AccessGate calls accessFn directly with OTEL instrumentation.
+* Calls accessFn during render — inside `renderToReadableStream`, sharing
+* the same `React.cache` scope as layouts and pages. A `requireUser()`
+* call in access.ts populates the cache; the same call in any layout is
+* a free hit. Access executes exactly once per request. See TIM-1363.
 *
 * access.ts is a pure gate — return values are discarded. The layout below
 * gets the same data by calling the same cached functions (React.cache dedup).
+*
+* On denial the gate renders the matching deny page only when this segment
+* owns it. Because the gate is wrapped OUTSIDE its own layout, that render
+* omits the denying segment's layout — deliberate, and the one place the
+* in-tree path diverges from `renderDenyPage`'s inclusive slice: a layout
+* whose access.ts denied must never run and serialize protected data into
+* the Flight stream (TIM-1074). An ancestor-owned page is hoisted instead,
+* because the gate also sits inside every layout above it and rendering
+* here would wrap the deny page in all of them (TIM-1356).
+*
+* For skipped segments (skippedSegment=true), deny pages are NOT rendered
+* in-tree — the client's cached layout chrome would wrap them incorrectly.
+* Instead, the deny is recorded in ALS and rethrown so the response path
+* can return rscErrorEnvelope for a client hard-navigate.
 */
 function AccessGate(props) {
-	const { accessFn, segmentName, verdict, denyPages, children } = props;
-	if (verdict !== void 0) {
-		if (verdict === "pass") return children;
-		if (verdict instanceof DenySignal && denyPages) {
-			const denyElement = renderMatchingDenyPage(denyPages, verdict.status, verdict.data);
-			if (denyElement) {
-				setDenyStatus(verdict.status);
-				return denyElement;
-			}
-		}
-		throw verdict;
-	}
-	return accessGateFallback(accessFn, segmentName, denyPages, children);
+	const { accessFn, segmentName, segmentKey, segmentIndex, denyPages, skippedSegment, onSettled, children } = props;
+	return accessGateFallback(accessFn, segmentName, segmentKey, segmentIndex, skippedSegment ? void 0 : denyPages, skippedSegment, onSettled, children);
 }
 /**
-* Async fallback for AccessGate when no pre-computed verdict is available.
-* Calls accessFn with OTEL instrumentation.
+* Calls accessFn during render with OTEL instrumentation.
+* Records the first denied segment index in ALS for post-render consumers.
 */
-async function accessGateFallback(accessFn, segmentName, denyPages, children) {
+async function accessGateFallback(accessFn, segmentName, segmentKey, segmentIndex, denyPages, skippedSegment, onSettled, children) {
 	try {
 		await withSpan("timber.access", { "timber.segment": segmentName ?? "unknown" }, async () => {
 			try {
@@ -1287,14 +1438,17 @@ async function accessGateFallback(accessFn, segmentName, denyPages, children) {
 			}
 		});
 	} catch (error) {
-		if (error instanceof DenySignal && denyPages) {
-			const denyElement = renderMatchingDenyPage(denyPages, error.status, error.data);
-			if (denyElement) {
-				setDenyStatus(error.status);
-				return denyElement;
+		if (error instanceof DenySignal) {
+			if (segmentIndex !== void 0) setFirstDeniedSegmentIndex(segmentIndex);
+			if (skippedSegment) {
+				error._hardNavigate = true;
+				throw error;
 			}
+			if (denyPages) return handleCaughtDeny(denyPages, error, segmentKey);
 		}
 		throw error;
+	} finally {
+		onSettled?.();
 	}
 	return children;
 }
@@ -1313,13 +1467,7 @@ async function accessGateFallback(accessFn, segmentName, denyPages, children) {
 * slot doesn't make architectural sense.
 */
 async function SlotAccessGate(props) {
-	const { accessFn, DeniedComponent, slotName, createElement, defaultFallback, children, verdict } = props;
-	if (verdict !== void 0) {
-		if (verdict === "pass") return children;
-		if (verdict instanceof DenySignal) return buildDeniedFallback(DeniedComponent, slotName, verdict.data, createElement) ?? defaultFallback ?? null;
-		if (isDebug()) console.error("[timber] redirect() is not allowed in slot access.ts. Slots use deny() for graceful degradation — denied.tsx → default.tsx → null. If you need to redirect, move the logic to the parent segment's access.ts.");
-		return buildDeniedFallback(DeniedComponent, slotName, void 0, createElement) ?? defaultFallback ?? null;
-	}
+	const { accessFn, DeniedComponent, slotName, createElement, defaultFallback, children } = props;
 	try {
 		await accessFn();
 	} catch (error) {
@@ -1716,75 +1864,131 @@ function wrapInSlotsProvider(shell, slotValues) {
 	});
 }
 //#endregion
+//#region src/server/error-boundary-wrapper.ts
+/**
+* Load a status/error file's component, or `null` if the boundary should be skipped.
+*
+* Two ways to get `null`, both deliberate:
+*   - the module fails to load (syntax error in the error page) — building an
+*     error boundary must not itself throw, so the boundary is skipped (TIM-584);
+*   - the default export is not a valid React component type, which would
+*     otherwise crash inside `createElement`.
+*/
+async function loadBoundaryComponent(file, loadModule) {
+	let mod;
+	try {
+		mod = await loadModule(file);
+	} catch {
+		return null;
+	}
+	return isValidElementType(mod?.default) ? mod.default : null;
+}
+/**
+* Wrap `element` in one error boundary rendering `Component` on failure.
+*
+* MDX status files are server components and cannot be passed as function
+* props to `TimberErrorBoundary` (a 'use client' component). They are
+* pre-rendered as elements and passed as `fallbackElement` instead. See TIM-503.
+*
+* @param status      boundary status filter — omitted entirely for `error.tsx`
+* @param fallbackProps props handed to an MDX fallback when it is pre-rendered
+*/
+function wrapInBoundary(element, Component, file, status, fallbackProps, config) {
+	const props = isMdxFilePath(file.filePath) ? {
+		fallbackElement: config.createElement(Component, fallbackProps),
+		children: element
+	} : {
+		fallbackComponent: Component,
+		children: element
+	};
+	if (status !== void 0) props.status = status;
+	if (config.segmentKey !== void 0) props.segmentKey = config.segmentKey;
+	return config.createElement(config.errorBoundaryComponent, props);
+}
+/**
+* Wrap an element in the error boundaries declared by a route segment.
+*
+* Wrapping is applied inside-out — the last wrap produces the outermost
+* boundary — so the processing order below is innermost to outermost:
+*
+* 1. Specific status files (e.g. `404.tsx`, `503.tsx`) — highest priority at runtime
+* 2. Category catch-alls (`4xx.tsx`, `5xx.tsx`)
+* 3. `error.tsx` — catches anything not matched by a status file
+*
+* The order is load-bearing: it decides which boundary catches a given throw.
+*
+* See design/10-error-handling.md §"Format-Aware Fallback Chains".
+*/
+async function wrapSegmentWithErrorBoundaries(segment, element, config) {
+	const { loadModule, skipDenyBoundaries = false } = config;
+	if (segment.statusFiles) {
+		for (const [key, file] of Object.entries(segment.statusFiles)) {
+			if (key === "4xx" || key === "5xx") continue;
+			const status = parseInt(key, 10);
+			if (isNaN(status)) continue;
+			if (skipDenyBoundaries && status >= 400 && status <= 499) continue;
+			const Component = await loadBoundaryComponent(file, loadModule);
+			if (Component) element = wrapInBoundary(element, Component, file, status, { status }, config);
+		}
+		for (const [key, file] of Object.entries(segment.statusFiles)) {
+			if (key !== "4xx" && key !== "5xx") continue;
+			if (skipDenyBoundaries && key === "4xx") continue;
+			const Component = await loadBoundaryComponent(file, loadModule);
+			if (Component) element = wrapInBoundary(element, Component, file, key === "4xx" ? 400 : 500, {}, config);
+		}
+	}
+	if (segment.error) {
+		const Component = await loadBoundaryComponent(segment.error, loadModule);
+		if (Component) element = wrapInBoundary(element, Component, segment.error, void 0, {}, config);
+	}
+	return element;
+}
+//#endregion
 //#region src/server/param-coercion.ts
 /** Global schema codecs, set once at startup from virtual:timber-schema. */
 var _globalCodecs = null;
 /**
 * Run segment param coercion on the matched route's segments.
 *
-* When `globalCodecs` is provided (from app/schema.ts), uses the global
-* codec map keyed by bare param name. Otherwise falls back to loading
-* per-segment params.ts modules.
+* Codecs come from `app/schema.ts` and nowhere else (TIM-1342 completed
+* design/41-global-params.md migration step 9). A route with no schema, or
+* a param the schema does not declare, keeps its raw string — which is the
+* honest type for an uninterpreted URL segment.
 *
 * Throws ParamCoercionError if any codec fails (→ 404).
 *
 * This runs BEFORE middleware, so ctx.segmentParams is already typed.
 * See design/07-routing.md §"Where Coercion Runs"
 * See design/41-global-params.md §"Pipeline Integration"
+*
+* Stays `async` with nothing to await: it is injected as a
+* `CoerceSegmentParamsFn` into the revalidation renderer and the action
+* middleware runner, both of which await it. Narrowing the return type to
+* `void` would break those contracts and remove a microtask boundary the
+* pipeline's ordering has always had, for no gain.
 */
 async function coerceSegmentParams(match) {
 	const globalCodecs = _globalCodecs;
 	const mergeTarget = Object.create(null);
 	for (const key of Object.keys(match.segmentParams)) if (key !== "__proto__") mergeTarget[key] = match.segmentParams[key];
 	match.segmentParams = mergeTarget;
-	if (globalCodecs) {
-		for (const node of match.segments) {
-			const segment = effectiveUrlSegment(node);
-			if (!segment.paramName) continue;
-			const bracketKey = toBracketKey(segment.segmentType, segment.paramName);
-			const codec = globalCodecs[bracketKey];
-			if (!codec) continue;
-			const key = segment.paramName;
-			if (!(key in mergeTarget)) continue;
-			let parsed;
-			try {
-				parsed = codec.parse(mergeTarget[key]);
-			} catch (err) {
-				const message = err instanceof Error ? err.message : String(err);
-				if (isDebug()) console.warn(`[timber] Global schema codec rejected value for param "${key}"\n  Error: ${message}\n  Raw value: ${JSON.stringify(mergeTarget[key])}\n  Hint: check the codec in app/schema.ts for key '${bracketKey}'.`);
-				throw new ParamCoercionError(message);
-			}
-			mergeTarget[key] = normalizeParamValue(parsed, key);
-		}
-		return;
-	}
-	for (const segment of match.segments) {
-		if (!segment.params) continue;
-		let mod;
-		try {
-			mod = await loadModule(segment.params);
-		} catch (err) {
-			const message = `Failed to load params module for segment "${segment.segmentName}": ${err instanceof Error ? err.message : String(err)}`;
-			if (isDebug()) console.warn(`[timber] Param coercion error: ${message}\n  Segment: ${segment.segmentName}\n  Params file: ${segment.params}`);
-			throw new ParamCoercionError(message);
-		}
-		const segmentParamsDef = mod.segmentParams;
-		if (!segmentParamsDef || typeof segmentParamsDef.parse !== "function") continue;
-		let coerced;
+	if (globalCodecs) for (const node of match.segments) {
+		const segment = effectiveUrlSegment(node);
+		if (!segment.paramName) continue;
+		const bracketKey = toBracketKey(segment.segmentType, segment.paramName);
+		const codec = globalCodecs[bracketKey];
+		if (!codec) continue;
+		const key = segment.paramName;
+		if (!(key in mergeTarget)) continue;
+		let parsed;
 		try {
-			coerced = segmentParamsDef.parse(match.segmentParams);
+			parsed = codec.parse(mergeTarget[key]);
 		} catch (err) {
 			const message = err instanceof Error ? err.message : String(err);
-			if (isDebug()) {
-				const rawKeys = Object.keys(match.segmentParams).join(", ");
-				console.warn(`[timber] Param codec rejected values for segment "${segment.segmentName}"\n  Error: ${message}\n  Available raw params: { ${rawKeys} }\n  Params file: ${segment.params}\n  Hint: this usually means a codec threw for the raw URL value.\n  Check that the regex/schema accepts the actual path segment string.`);
-			}
+			if (isDebug()) console.warn(`[timber] Global schema codec rejected value for param "${key}"\n  Error: ${message}\n  Raw value: ${JSON.stringify(mergeTarget[key])}\n  Hint: check the codec in app/schema.ts for key '${bracketKey}'.`);
 			throw new ParamCoercionError(message);
 		}
-		for (const key of Object.keys(coerced)) {
-			if (key === "__proto__") continue;
-			mergeTarget[key] = normalizeParamValue(coerced[key], key);
-		}
+		mergeTarget[key] = normalizeParamValue(parsed, key);
 	}
 }
 //#endregion
@@ -2007,7 +2211,7 @@ function parseClientStateTree(req) {
 //#endregion
 //#region src/server/route-element-builder.ts
 /**
-* Thrown when a defineSegmentParams codec's parse() fails.
+* Thrown when an app/schema.ts segment-param codec's parse() fails.
 * The pipeline catches this and responds with 404.
 */
 var ParamCoercionError = class extends Error {
@@ -2150,7 +2354,7 @@ async function outcomeToResponse(config, outcome, ctx) {
 			});
 		}
 		case "error": {
-			const isRsc = (ctx.req.headers.get("Accept") ?? "").includes("text/x-component");
+			const isRsc = isRscRequest(ctx.req);
 			if (outcome.phase === "proxy") {
 				logProxyError({ error: outcome.error });
 				await fireOnRequestError(outcome.error, ctx.req, "proxy");
@@ -2437,8 +2641,8 @@ async function handleRequest(config, req, method, path, pathIsCanonical) {
 		if (config.onPipelineError && error instanceof Error) config.onPipelineError(error, "auto-sitemap");
 		return new Response(null, { status: 500 });
 	}
-	const isRscRequest = (req.headers.get("Accept") ?? "").includes("text/x-component");
-	if (isRscRequest) {
+	const isRsc = isRscRequest(req);
+	if (isRsc) {
 		if (!checkVersionSkew(req).ok) {
 			const reloadHeaders = new Headers();
 			applyReloadHeaders(reloadHeaders);
@@ -2450,7 +2654,7 @@ async function handleRequest(config, req, method, path, pathIsCanonical) {
 	}
 	let match = config.matchRoute(canonicalPathname);
 	let interception;
-	if (isRscRequest && config.interceptionRewrites?.length) {
+	if (isRsc && config.interceptionRewrites?.length) {
 		const rawSourceUrl = req.headers.get("X-Timber-URL");
 		const validatedSourceUrl = rawSourceUrl ? validateInterceptionHeader(rawSourceUrl, stripTrailingSlash) : null;
 		if (validatedSourceUrl) {
@@ -2486,7 +2690,7 @@ async function handleRequest(config, req, method, path, pathIsCanonical) {
 	responseHeaders.set("Cache-Control", "private, no-cache, no-store, max-age=0, must-revalidate");
 	const leafSegment = match.segments[match.segments.length - 1];
 	const isApiRoute = leafSegment?.route && !leafSegment?.page;
-	if (config.earlyHints && !isRscRequest && !isApiRoute) try {
+	if (config.earlyHints && !isRsc && !isApiRoute) try {
 		await config.earlyHints(match, req, responseHeaders);
 	} catch (err) {
 		swallow(err, "early hints hook threw");
@@ -2498,7 +2702,7 @@ async function handleRequest(config, req, method, path, pathIsCanonical) {
 		if (error instanceof ParamCoercionError) {
 			if (isDebug()) {
 				const segmentChain = match.segments.map((s) => s.segmentName || "/").join(" → ");
-				console.warn(`[timber] Param coercion failed for ${method} ${canonicalPathname} — responding with 404\n  Matched segments: ${segmentChain}\n  Error: ${error.message}\n  This usually means a params.ts codec rejected the URL params.\n  Check that all fields in defineSegmentParams() are optional for params\n  that don't appear at every route depth (e.g. year, month, day).`);
+				console.warn(`[timber] Param coercion failed for ${method} ${canonicalPathname} — responding with 404\n  Matched segments: ${segmentChain}\n  Error: ${error.message}\n  This usually means a codec in app/schema.ts rejected the URL value.\n  Check the codec for the bracket key of the segment named above.`);
 			}
 			const leafSegment = match.segments[match.segments.length - 1];
 			if (leafSegment.route && !leafSegment.page) return new Response(null, { status: 404 });
@@ -2610,12 +2814,6 @@ async function hasValidRscCacheKey(req) {
 	return claims.every((claim) => claim === expected);
 }
 /**
-* Media type of a Flight payload. Also spelled in `rsc-entry/helpers.ts`,
-* `deny-renderer.ts`, `action-handler.ts`, and `client/rsc-fetch.ts` — that
-* duplication predates this module and is tracked separately.
-*/
-var RSC_MEDIA_TYPE = "text/x-component";
-/**
 * Ensure a Flight payload can never be interpreted as a document.
 *
 * Applied here, at the pipeline's single exit, rather than where each
@@ -2633,7 +2831,7 @@ var RSC_MEDIA_TYPE = "text/x-component";
 function hardenRscPayloadResponse(response) {
 	const contentType = response.headers.get("content-type");
 	if (!contentType) return;
-	if (contentType.split(";")[0].trim().toLowerCase() !== RSC_MEDIA_TYPE) return;
+	if (contentType.split(";")[0].trim().toLowerCase() !== "text/x-component") return;
 	response.headers.set("X-Content-Type-Options", "nosniff");
 }
 /**
@@ -2958,40 +3156,6 @@ function sendEarlyHints103(links) {
 }
 //#endregion
 //#region src/server/tree-builder.ts
-var REACT_COMPONENT_TYPE_MARKERS = /* @__PURE__ */ new Set([
-	Symbol.for("react.forward_ref"),
-	Symbol.for("react.memo"),
-	Symbol.for("react.lazy"),
-	Symbol.for("react.provider"),
-	Symbol.for("react.context"),
-	Symbol.for("react.suspense"),
-	Symbol.for("react.suspense_list"),
-	Symbol.for("react.client.reference")
-]);
-/**
-* Validate that a loaded module's `default` export is something React
-* accepts as the first argument to `createElement` — i.e. a valid component
-* type. React doesn't export `isValidElementType` (only `isValidElement`,
-* which checks for *elements*, not *component types*), so this mirrors
-* React's internal check:
-*
-*   - functions  → function or class components
-*   - objects with a `$$typeof` matching one of React's known component
-*     markers → exotic components (`memo`, `forwardRef`, `lazy`, context,
-*     suspense, client references via `@vitejs/plugin-rsc`)
-*
-* Strings (HTML tag names) are valid for `createElement` but never appear
-* as a route module's default export, so they're not recognized here.
-*
-* Anything else (numbers, plain config objects, JSON, etc.) is rejected so
-* the boundary wrapper is skipped rather than crashing inside React.
-*/
-function isValidElementType(value) {
-	if (typeof value === "function") return true;
-	if (typeof value !== "object" || value === null) return false;
-	const marker = value.$$typeof;
-	return typeof marker === "symbol" && REACT_COMPONENT_TYPE_MARKERS.has(marker);
-}
 /**
 * Build the unified element tree from a matched segment chain.
 *
@@ -3017,7 +3181,11 @@ async function buildElementTree(config) {
 	let element = createElement(PageComponent, {});
 	for (let i = segments.length - 1; i >= 0; i--) {
 		const segment = segments[i];
-		element = await wrapWithErrorBoundaries(segment, element, loadModule, createElement, errorBoundaryComponent);
+		element = await wrapSegmentWithErrorBoundaries(segment, element, {
+			loadModule,
+			createElement,
+			errorBoundaryComponent
+		});
 		if (segment.access) {
 			const accessFn = (await loadModule(segment.access)).default;
 			element = createElement("timber:access-gate", {
@@ -3058,7 +3226,11 @@ async function buildSlotElement(slotNode, loadModule, createElement, errorBounda
 	const DefaultComponent = (slotNode.default ? await loadModule(slotNode.default) : null)?.default;
 	if (!PageComponent) return DefaultComponent ? createElement(DefaultComponent, {}) : null;
 	let element = createElement(PageComponent, {});
-	element = await wrapWithErrorBoundaries(slotNode, element, loadModule, createElement, errorBoundaryComponent);
+	element = await wrapSegmentWithErrorBoundaries(slotNode, element, {
+		loadModule,
+		createElement,
+		errorBoundaryComponent
+	});
 	if (slotNode.access) {
 		const accessFn = (await loadModule(slotNode.access)).default;
 		const DeniedComponent = (slotNode.denied ? await loadModule(slotNode.denied) : null)?.default ?? null;
@@ -3074,81 +3246,6 @@ async function buildSlotElement(slotNode, loadModule, createElement, errorBounda
 	}
 	return element;
 }
-/** MDX/markdown extensions — these are server components that cannot be passed as function props. */
-var MDX_EXTENSIONS = /* @__PURE__ */ new Set(["mdx", "md"]);
-/**
-* Check if a route file is an MDX/markdown file based on its extension.
-* MDX components are server components by default and cannot cross the
-* RSC→client boundary as function props. They must be pre-rendered as
-* elements and passed as fallbackElement instead of fallbackComponent.
-*/
-function isMdxFile(file) {
-	return MDX_EXTENSIONS.has(file.extension);
-}
-/**
-* Wrap an element with error boundaries from a segment's status-code files.
-*
-* Wrapping order (innermost to outermost):
-*   1. Specific status files (503.tsx, 429.tsx, etc.)
-*   2. Category catch-alls (4xx.tsx, 5xx.tsx)
-*   3. error.tsx (general error boundary)
-*
-* This creates the fallback chain described in design/10-error-handling.md.
-*
-* MDX status files are server components and cannot be passed as function
-* props to TimberErrorBoundary (a 'use client' component). Instead, they
-* are pre-rendered as elements and passed as fallbackElement. The error
-* boundary renders the element directly when an error is caught.
-* See TIM-503.
-*/
-async function wrapWithErrorBoundaries(segment, element, loadModule, createElement, errorBoundaryComponent) {
-	if (segment.statusFiles) {
-		for (const [key, file] of Object.entries(segment.statusFiles)) if (key !== "4xx" && key !== "5xx") {
-			const status = parseInt(key, 10);
-			if (!isNaN(status)) {
-				const mod = await loadModule(file);
-				const Component = isValidElementType(mod.default) ? mod.default : null;
-				if (Component) element = createElement(errorBoundaryComponent, isMdxFile(file) ? {
-					fallbackElement: createElement(Component, { status }),
-					status,
-					children: element
-				} : {
-					fallbackComponent: Component,
-					status,
-					children: element
-				});
-			}
-		}
-		for (const [key, file] of Object.entries(segment.statusFiles)) if (key === "4xx" || key === "5xx") {
-			const mod = await loadModule(file);
-			const Component = isValidElementType(mod.default) ? mod.default : null;
-			if (Component) {
-				const categoryStatus = key === "4xx" ? 400 : 500;
-				element = createElement(errorBoundaryComponent, isMdxFile(file) ? {
-					fallbackElement: createElement(Component, {}),
-					status: categoryStatus,
-					children: element
-				} : {
-					fallbackComponent: Component,
-					status: categoryStatus,
-					children: element
-				});
-			}
-		}
-	}
-	if (segment.error) {
-		const errorModule = await loadModule(segment.error);
-		const ErrorComponent = isValidElementType(errorModule.default) ? errorModule.default : null;
-		if (ErrorComponent) element = createElement(errorBoundaryComponent, isMdxFile(segment.error) ? {
-			fallbackElement: createElement(ErrorComponent, {}),
-			children: element
-		} : {
-			fallbackComponent: ErrorComponent,
-			children: element
-		});
-	}
-	return element;
-}
 //#endregion
 //#region src/server/status-code-resolver.ts
 /**
@@ -3186,12 +3283,19 @@ function lookupInGroup(group, statusStr, categoryKey, segmentIndex, status) {
 * @param status - The HTTP status code (4xx or 5xx).
 * @param segments - The matched segment chain from root (index 0) to leaf (last).
 * @param format - The response format family ('component' or 'json'). Defaults to 'component'.
-*/
-function resolveStatusFile(status, segments, format = "component") {
+* @param maxIndex - Optional upper bound on the segment index to search.
+*   When set, the resolver only considers segments `0..maxIndex` (inclusive),
+*   skipping any segments deeper in the tree. Used by the deny renderers to
+*   prevent resolving a status file below a denied segment — matching
+*   `buildDenyPageChain`'s start-at-i semantics. The error renderers omit
+*   this parameter, so the full chain is searched — a 500 from a leaf page
+*   should use the leaf's own `5xx.tsx`. See TIM-1358.
+*/
+function resolveStatusFile(status, segments, format = "component", maxIndex) {
 	if (status < 400 || status > 599) return null;
-	if (format === "json") return resolveJson(status, segments);
-	if (status <= 499) return resolve4xx(status, segments);
-	return resolve5xx(status, segments);
+	if (format === "json") return resolveJson(status, segments, maxIndex);
+	if (status <= 499) return resolve4xx(status, segments, maxIndex);
+	return resolve5xx(status, segments, maxIndex);
 }
 /**
 * 4xx component fallback chain — two separate full passes leaf→root.
@@ -3205,13 +3309,14 @@ function resolveStatusFile(status, segments, format = "component") {
 *   Pass 1 — {status}.tsx → 4xx.tsx           (statusFiles)
 *   Pass 2 — error.tsx                         (error)
 */
-function resolve4xx(status, segments) {
+function resolve4xx(status, segments, maxIndex) {
 	const statusStr = String(status);
-	for (let i = segments.length - 1; i >= 0; i--) {
+	const start = maxIndex !== void 0 ? Math.min(segments.length - 1, maxIndex) : segments.length - 1;
+	for (let i = start; i >= 0; i--) {
 		const r = lookupInGroup(segments[i].statusFiles, statusStr, "4xx", i, status);
 		if (r) return r;
 	}
-	for (let i = segments.length - 1; i >= 0; i--) {
+	for (let i = start; i >= 0; i--) {
 		const errorFile = segments[i].error;
 		if (errorFile) return {
 			file: errorFile,
@@ -3229,9 +3334,10 @@ function resolve4xx(status, segments) {
 * `error.tsx` therefore beats a root's `5xx.tsx`, which is the
 * intentional inverse of the 4xx chain.
 */
-function resolve5xx(status, segments) {
+function resolve5xx(status, segments, maxIndex) {
 	const statusStr = String(status);
-	for (let i = segments.length - 1; i >= 0; i--) {
+	const start = maxIndex !== void 0 ? Math.min(segments.length - 1, maxIndex) : segments.length - 1;
+	for (let i = start; i >= 0; i--) {
 		const segment = segments[i];
 		const r = lookupInGroup(segment.statusFiles, statusStr, "5xx", i, status);
 		if (r) return r;
@@ -3251,10 +3357,11 @@ function resolve5xx(status, segments) {
 * no error.tsx — the JSON chain terminates at the category catch-all
 * and the caller falls back to a bare-JSON framework default.
 */
-function resolveJson(status, segments) {
+function resolveJson(status, segments, maxIndex) {
 	const statusStr = String(status);
 	const categoryKey = status >= 500 ? "5xx" : "4xx";
-	for (let i = segments.length - 1; i >= 0; i--) {
+	const start = maxIndex !== void 0 ? Math.min(segments.length - 1, maxIndex) : segments.length - 1;
+	for (let i = start; i >= 0; i--) {
 		const r = lookupInGroup(segments[i].jsonStatusFiles, statusStr, categoryKey, i, status);
 		if (r) return r;
 	}