diff --git a/packages/core-shared/package.json b/packages/core-shared/package.json
index e97ca19..9843220 100644
--- a/packages/core-shared/package.json
+++ b/packages/core-shared/package.json
@@ -6,6 +6,7 @@
   "exports": {
     ".": "./src/index.ts",
     "./audit": "./src/audit/index.ts",
+    "./conformance": "./src/conformance/index.ts",
     "./di": "./src/di/index.ts",
     "./di/bind-protocols": "./src/di/bind-protocols.ts",
     "./di/bind-context": "./src/di/bind-context.ts",
diff --git a/packages/core-shared/src/conformance/index.ts b/packages/core-shared/src/conformance/index.ts
new file mode 100644
index 0000000..773dc64
--- /dev/null
+++ b/packages/core-shared/src/conformance/index.ts
@@ -0,0 +1,4 @@
+export type { Instrumented, Captured } from "./brands";
+export type { FeatureManifest, UseCaseManifest } from "./define-feature";
+export { defineFeature } from "./define-feature";
+export type { ProductionUseCase } from "./production-use-case";
diff --git a/packages/core-shared/src/instrumentation/index.ts b/packages/core-shared/src/instrumentation/index.ts
index 1951bc8..4b3618c 100644
--- a/packages/core-shared/src/instrumentation/index.ts
+++ b/packages/core-shared/src/instrumentation/index.ts
@@ -29,3 +29,7 @@ export type { BindOtelOpts as BindSentryOpts } from "./di/bind-otel-instrumentat
 
 export { initSentryClientReact } from "./sentry/init-client-react";
 export { currentTraceId } from "./otel/current-trace-id";
+
+// Re-export brand types alongside the wrappers that attach them, so callers
+// can `import { withSpan, type Instrumented } from "@repo/core-shared/instrumentation"`.
+export type { Instrumented, Captured } from "../conformance/brands";