refactor(sketch): tighten review feedback

- workspace-routing best-effort probe: catch ONLY SessionNotFound
  (was Effect.catch(() => undefined) which swallowed all E-channel
  errors, broader than the prior catchDefect-only behavior). Drop the
  now-redundant catchDefect since session.get fails typed instead of
  throwing.
- trace.ts: TODO(typed-errors) marker on the legacy Hono shim so it
  greps as a known retirement target.
- httpapi-parity.test.ts: drop stale FIXME comment above the now-
  passing reproducer.
This commit is contained in:
Kit Langton
2026-05-03 00:17:59 -04:00
parent a2bc535367
commit 4837bb8904
3 changed files with 14 additions and 19 deletions

View File

@@ -179,10 +179,12 @@ function routeHttpApiWorkspace<E>(
const sessionID = getWorkspaceRouteSessionID(requestURL(request))
const session = sessionID
? yield* Session.Service.use((svc) => svc.get(sessionID)).pipe(
// Sketch: also swallow the typed `SessionNotFound` so this routing
// probe stays best-effort (matches the previous defect-only catch).
Effect.catch(() => Effect.succeed(undefined)),
Effect.catchDefect(() => Effect.succeed(undefined)),
// Best-effort routing probe: swallow only the typed SessionNotFound;
// any other error must propagate.
Effect.catchIf(
(err): err is Session.SessionNotFound => err instanceof Session.SessionNotFound,
() => Effect.succeed(undefined),
),
)
: undefined
const plan = yield* planRequest(request, session?.workspaceID)

View File

@@ -42,11 +42,10 @@ export function requestAttributes(c: RequestLike): Record<string, string> {
return attributes
}
// Bridge typed service errors to the legacy Hono `NamedError` ErrorMiddleware.
// The HttpApi adapter consumes typed errors directly via schema annotations,
// but Hono's ErrorMiddleware switches on `instanceof NamedError`. Until the
// legacy adapter is retired, catch the new typed errors here and rethrow the
// equivalent NamedError so the existing 404 wiring keeps working.
// TODO(typed-errors): bridge typed service errors to the legacy Hono
// `NamedError` ErrorMiddleware. HttpApi consumes typed errors directly via
// schema annotations, but Hono's ErrorMiddleware switches on
// `instanceof NamedError`. Delete this shim once the legacy adapter retires.
const adaptTypedErrors = <A, E, R>(
self: Effect.Effect<A, E, R>,
): Effect.Effect<A, Exclude<E, Session.SessionNotFound>, R> =>

View File

@@ -105,18 +105,12 @@ describe("404 mapping for missing session", () => {
})
// ──────────────────────────────────────────────────────────────────────────────
// Reproducer 3: 404 response body shape should match Hono's NamedError
// envelope `{ name, data: { message } }`. HttpApi returns the typed-error
// shape `{ _tag }` instead. SDK consumers reading `error.data.message`
// see undefined.
//
// FIXME: unskip when error JSON shape policy is decided + applied (separate PR).
// Reproducer 3: 404 response body matches Hono's NamedError envelope
// `{ name, data: { message } }`. `Session.get` now fails with a typed
// `SessionNotFound` annotated `httpApiStatus: 404`. The endpoint declares the
// schema; HttpApi auto-routes status + body — no `mapNotFound` wrapper.
// ──────────────────────────────────────────────────────────────────────────────
describe("Error JSON shape parity", () => {
// Sketch: validates the typed-error pattern end-to-end on `session.get`. The
// service now fails with a typed `SessionNotFound` error annotated
// `httpApiStatus: 404`. The endpoint declares the schema, and HttpApi auto-
// routes the status + body — no `mapNotFound` wrapper required.
test("HttpApi 404 body matches NamedError shape (sketch: session.get)", async () => {
await using tmp = await tmpdir({ config: { formatter: false, lsp: false } })