@krak-stack/registry 0.1.18 → 0.1.19

package/README.md

@@ -33,6 +33,11 @@ import { Query } from "@krak-stack/registry/query";
 import { createSeo } from "@krak-stack/registry/seo";
 import { FileExtractionService } from "@krak-stack/registry/service-file-extraction";
 import { FileExtractedTextSchema } from "@krak-stack/registry/service-file-extraction/schema";
+import {
+  HealthApiGroup,
+  healthHandler,
+  HealthService,
+} from "@krak-stack/registry/service-health";
 import { NotificationService } from "@krak-stack/registry/service-notification";
 ```
 

package/dist/services/health/api.builder.d.ts

@@ -0,0 +1,66 @@
+import { HttpRouter } from "effect/unstable/http";
+import { HttpApiBuilder, HttpApiGroup } from "effect/unstable/httpapi";
+import { HealthApiGroup } from "./api.group.js";
+import { HealthService } from "./index.js";
+export declare const healthHandler: <const Prefix extends HttpRouter.PathInput>(handlers: HttpApiBuilder.Handlers.FromGroup<HttpApiGroup.AddPrefix<typeof HealthApiGroup, Prefix>>) => HttpApiBuilder.Handlers<HttpRouter.Request<"Requires", HealthService>, {
+    readonly getHealth: import("effect/unstable/httpapi/HttpApiEndpoint").HttpApiEndpoint<"getHealth", "GET", `${Prefix}/health`, never, never, never, never, import("effect/Schema").toCodecJson<import("effect/Schema").Struct<{
+        readonly status: import("effect/Schema").Literal<"UP">;
+        readonly checks: import("effect/Schema").$Array<import("effect/Schema").Struct<{
+            readonly name: import("effect/Schema").NonEmptyString;
+            readonly status: import("effect/Schema").Literals<readonly ["UP", "DOWN"]>;
+            readonly data: import("effect/Schema").optionalKey<import("effect/Schema").$Record<import("effect/Schema").String, import("effect/Schema").Union<readonly [import("effect/Schema").String, import("effect/Schema").Boolean, import("effect/Schema").Number]>>>;
+        }>>;
+    }>>, import("effect/Schema").toCodecJson<import("effect/Schema").Struct<{
+        readonly status: import("effect/Schema").Literal<"DOWN">;
+        readonly checks: import("effect/Schema").$Array<import("effect/Schema").Struct<{
+            readonly name: import("effect/Schema").NonEmptyString;
+            readonly status: import("effect/Schema").Literals<readonly ["UP", "DOWN"]>;
+            readonly data: import("effect/Schema").optionalKey<import("effect/Schema").$Record<import("effect/Schema").String, import("effect/Schema").Union<readonly [import("effect/Schema").String, import("effect/Schema").Boolean, import("effect/Schema").Number]>>>;
+        }>>;
+    }> | typeof import("effect/unstable/httpapi/HttpApiError").InternalServerError>, never, never>;
+    readonly getLiveness: import("effect/unstable/httpapi/HttpApiEndpoint").HttpApiEndpoint<"getLiveness", "GET", `${Prefix}/health/live`, never, never, never, never, import("effect/Schema").toCodecJson<import("effect/Schema").Struct<{
+        readonly status: import("effect/Schema").Literal<"UP">;
+        readonly checks: import("effect/Schema").$Array<import("effect/Schema").Struct<{
+            readonly name: import("effect/Schema").NonEmptyString;
+            readonly status: import("effect/Schema").Literals<readonly ["UP", "DOWN"]>;
+            readonly data: import("effect/Schema").optionalKey<import("effect/Schema").$Record<import("effect/Schema").String, import("effect/Schema").Union<readonly [import("effect/Schema").String, import("effect/Schema").Boolean, import("effect/Schema").Number]>>>;
+        }>>;
+    }>>, import("effect/Schema").toCodecJson<import("effect/Schema").Struct<{
+        readonly status: import("effect/Schema").Literal<"DOWN">;
+        readonly checks: import("effect/Schema").$Array<import("effect/Schema").Struct<{
+            readonly name: import("effect/Schema").NonEmptyString;
+            readonly status: import("effect/Schema").Literals<readonly ["UP", "DOWN"]>;
+            readonly data: import("effect/Schema").optionalKey<import("effect/Schema").$Record<import("effect/Schema").String, import("effect/Schema").Union<readonly [import("effect/Schema").String, import("effect/Schema").Boolean, import("effect/Schema").Number]>>>;
+        }>>;
+    }> | typeof import("effect/unstable/httpapi/HttpApiError").InternalServerError>, never, never>;
+    readonly getReadiness: import("effect/unstable/httpapi/HttpApiEndpoint").HttpApiEndpoint<"getReadiness", "GET", `${Prefix}/health/ready`, never, never, never, never, import("effect/Schema").toCodecJson<import("effect/Schema").Struct<{
+        readonly status: import("effect/Schema").Literal<"UP">;
+        readonly checks: import("effect/Schema").$Array<import("effect/Schema").Struct<{
+            readonly name: import("effect/Schema").NonEmptyString;
+            readonly status: import("effect/Schema").Literals<readonly ["UP", "DOWN"]>;
+            readonly data: import("effect/Schema").optionalKey<import("effect/Schema").$Record<import("effect/Schema").String, import("effect/Schema").Union<readonly [import("effect/Schema").String, import("effect/Schema").Boolean, import("effect/Schema").Number]>>>;
+        }>>;
+    }>>, import("effect/Schema").toCodecJson<import("effect/Schema").Struct<{
+        readonly status: import("effect/Schema").Literal<"DOWN">;
+        readonly checks: import("effect/Schema").$Array<import("effect/Schema").Struct<{
+            readonly name: import("effect/Schema").NonEmptyString;
+            readonly status: import("effect/Schema").Literals<readonly ["UP", "DOWN"]>;
+            readonly data: import("effect/Schema").optionalKey<import("effect/Schema").$Record<import("effect/Schema").String, import("effect/Schema").Union<readonly [import("effect/Schema").String, import("effect/Schema").Boolean, import("effect/Schema").Number]>>>;
+        }>>;
+    }> | typeof import("effect/unstable/httpapi/HttpApiError").InternalServerError>, never, never>;
+    readonly getStartup: import("effect/unstable/httpapi/HttpApiEndpoint").HttpApiEndpoint<"getStartup", "GET", `${Prefix}/health/started`, never, never, never, never, import("effect/Schema").toCodecJson<import("effect/Schema").Struct<{
+        readonly status: import("effect/Schema").Literal<"UP">;
+        readonly checks: import("effect/Schema").$Array<import("effect/Schema").Struct<{
+            readonly name: import("effect/Schema").NonEmptyString;
+            readonly status: import("effect/Schema").Literals<readonly ["UP", "DOWN"]>;
+            readonly data: import("effect/Schema").optionalKey<import("effect/Schema").$Record<import("effect/Schema").String, import("effect/Schema").Union<readonly [import("effect/Schema").String, import("effect/Schema").Boolean, import("effect/Schema").Number]>>>;
+        }>>;
+    }>>, import("effect/Schema").toCodecJson<import("effect/Schema").Struct<{
+        readonly status: import("effect/Schema").Literal<"DOWN">;
+        readonly checks: import("effect/Schema").$Array<import("effect/Schema").Struct<{
+            readonly name: import("effect/Schema").NonEmptyString;
+            readonly status: import("effect/Schema").Literals<readonly ["UP", "DOWN"]>;
+            readonly data: import("effect/Schema").optionalKey<import("effect/Schema").$Record<import("effect/Schema").String, import("effect/Schema").Union<readonly [import("effect/Schema").String, import("effect/Schema").Boolean, import("effect/Schema").Number]>>>;
+        }>>;
+    }> | typeof import("effect/unstable/httpapi/HttpApiError").InternalServerError>, never, never>;
+}, "getHealth" | "getLiveness" | "getReadiness" | "getStartup">;

package/dist/services/health/api.group.d.ts

@@ -0,0 +1,58 @@
+import { HttpApiEndpoint, HttpApiError, HttpApiGroup } from "effect/unstable/httpapi";
+export declare const HealthApiGroup: HttpApiGroup.HttpApiGroup<"health", HttpApiEndpoint.HttpApiEndpoint<"getHealth", "GET", "/health", never, never, never, never, import("effect/Schema").toCodecJson<import("effect/Schema").Struct<{
+    readonly status: import("effect/Schema").Literal<"UP">;
+    readonly checks: import("effect/Schema").$Array<import("effect/Schema").Struct<{
+        readonly name: import("effect/Schema").NonEmptyString;
+        readonly status: import("effect/Schema").Literals<readonly ["UP", "DOWN"]>;
+        readonly data: import("effect/Schema").optionalKey<import("effect/Schema").$Record<import("effect/Schema").String, import("effect/Schema").Union<readonly [import("effect/Schema").String, import("effect/Schema").Boolean, import("effect/Schema").Number]>>>;
+    }>>;
+}>>, import("effect/Schema").toCodecJson<import("effect/Schema").Struct<{
+    readonly status: import("effect/Schema").Literal<"DOWN">;
+    readonly checks: import("effect/Schema").$Array<import("effect/Schema").Struct<{
+        readonly name: import("effect/Schema").NonEmptyString;
+        readonly status: import("effect/Schema").Literals<readonly ["UP", "DOWN"]>;
+        readonly data: import("effect/Schema").optionalKey<import("effect/Schema").$Record<import("effect/Schema").String, import("effect/Schema").Union<readonly [import("effect/Schema").String, import("effect/Schema").Boolean, import("effect/Schema").Number]>>>;
+    }>>;
+}> | typeof HttpApiError.InternalServerError>, never, never> | HttpApiEndpoint.HttpApiEndpoint<"getLiveness", "GET", "/health/live", never, never, never, never, import("effect/Schema").toCodecJson<import("effect/Schema").Struct<{
+    readonly status: import("effect/Schema").Literal<"UP">;
+    readonly checks: import("effect/Schema").$Array<import("effect/Schema").Struct<{
+        readonly name: import("effect/Schema").NonEmptyString;
+        readonly status: import("effect/Schema").Literals<readonly ["UP", "DOWN"]>;
+        readonly data: import("effect/Schema").optionalKey<import("effect/Schema").$Record<import("effect/Schema").String, import("effect/Schema").Union<readonly [import("effect/Schema").String, import("effect/Schema").Boolean, import("effect/Schema").Number]>>>;
+    }>>;
+}>>, import("effect/Schema").toCodecJson<import("effect/Schema").Struct<{
+    readonly status: import("effect/Schema").Literal<"DOWN">;
+    readonly checks: import("effect/Schema").$Array<import("effect/Schema").Struct<{
+        readonly name: import("effect/Schema").NonEmptyString;
+        readonly status: import("effect/Schema").Literals<readonly ["UP", "DOWN"]>;
+        readonly data: import("effect/Schema").optionalKey<import("effect/Schema").$Record<import("effect/Schema").String, import("effect/Schema").Union<readonly [import("effect/Schema").String, import("effect/Schema").Boolean, import("effect/Schema").Number]>>>;
+    }>>;
+}> | typeof HttpApiError.InternalServerError>, never, never> | HttpApiEndpoint.HttpApiEndpoint<"getReadiness", "GET", "/health/ready", never, never, never, never, import("effect/Schema").toCodecJson<import("effect/Schema").Struct<{
+    readonly status: import("effect/Schema").Literal<"UP">;
+    readonly checks: import("effect/Schema").$Array<import("effect/Schema").Struct<{
+        readonly name: import("effect/Schema").NonEmptyString;
+        readonly status: import("effect/Schema").Literals<readonly ["UP", "DOWN"]>;
+        readonly data: import("effect/Schema").optionalKey<import("effect/Schema").$Record<import("effect/Schema").String, import("effect/Schema").Union<readonly [import("effect/Schema").String, import("effect/Schema").Boolean, import("effect/Schema").Number]>>>;
+    }>>;
+}>>, import("effect/Schema").toCodecJson<import("effect/Schema").Struct<{
+    readonly status: import("effect/Schema").Literal<"DOWN">;
+    readonly checks: import("effect/Schema").$Array<import("effect/Schema").Struct<{
+        readonly name: import("effect/Schema").NonEmptyString;
+        readonly status: import("effect/Schema").Literals<readonly ["UP", "DOWN"]>;
+        readonly data: import("effect/Schema").optionalKey<import("effect/Schema").$Record<import("effect/Schema").String, import("effect/Schema").Union<readonly [import("effect/Schema").String, import("effect/Schema").Boolean, import("effect/Schema").Number]>>>;
+    }>>;
+}> | typeof HttpApiError.InternalServerError>, never, never> | HttpApiEndpoint.HttpApiEndpoint<"getStartup", "GET", "/health/started", never, never, never, never, import("effect/Schema").toCodecJson<import("effect/Schema").Struct<{
+    readonly status: import("effect/Schema").Literal<"UP">;
+    readonly checks: import("effect/Schema").$Array<import("effect/Schema").Struct<{
+        readonly name: import("effect/Schema").NonEmptyString;
+        readonly status: import("effect/Schema").Literals<readonly ["UP", "DOWN"]>;
+        readonly data: import("effect/Schema").optionalKey<import("effect/Schema").$Record<import("effect/Schema").String, import("effect/Schema").Union<readonly [import("effect/Schema").String, import("effect/Schema").Boolean, import("effect/Schema").Number]>>>;
+    }>>;
+}>>, import("effect/Schema").toCodecJson<import("effect/Schema").Struct<{
+    readonly status: import("effect/Schema").Literal<"DOWN">;
+    readonly checks: import("effect/Schema").$Array<import("effect/Schema").Struct<{
+        readonly name: import("effect/Schema").NonEmptyString;
+        readonly status: import("effect/Schema").Literals<readonly ["UP", "DOWN"]>;
+        readonly data: import("effect/Schema").optionalKey<import("effect/Schema").$Record<import("effect/Schema").String, import("effect/Schema").Union<readonly [import("effect/Schema").String, import("effect/Schema").Boolean, import("effect/Schema").Number]>>>;
+    }>>;
+}> | typeof HttpApiError.InternalServerError>, never, never>, false>;

package/dist/services/health/index.d.ts

@@ -0,0 +1,253 @@
+import { Context, Effect, Layer } from "effect";
+import type { HealthCheckData, HealthCheckOutcome } from "./schema.js";
+export type HealthCheck<Requirements = never> = {
+    readonly name: string;
+    readonly check: Effect.Effect<HealthCheckOutcome, unknown, Requirements>;
+};
+export type HealthServiceChecks<Requirements = never> = {
+    readonly live?: ReadonlyArray<HealthCheck<Requirements>>;
+    readonly ready?: ReadonlyArray<HealthCheck<Requirements>>;
+    readonly started?: ReadonlyArray<HealthCheck<Requirements>>;
+};
+export type HealthServiceOptions<Requirements = never> = {
+    readonly checks?: HealthServiceChecks<Requirements>;
+};
+type RegisteredHealthChecks = {
+    readonly live: ReadonlyArray<HealthCheck>;
+    readonly ready: ReadonlyArray<HealthCheck>;
+    readonly started: ReadonlyArray<HealthCheck>;
+};
+declare const HealthServiceConfig_base: Context.ServiceClass<HealthServiceConfig, "@krak-stack/registry/HealthServiceConfig", RegisteredHealthChecks>;
+declare class HealthServiceConfig extends HealthServiceConfig_base {
+    static readonly layerWith: <Requirements = never>({ checks, }?: HealthServiceOptions<Requirements>) => Layer.Layer<HealthServiceConfig, never, Exclude<Requirements, import("effect/Scope").Scope>>;
+}
+declare const HealthService_base: Context.ServiceClass<HealthService, "@krak-stack/registry/HealthService", {
+    aggregate: () => Effect.Effect<{
+        status: "UP";
+        checks: ({
+            name: string;
+            status: "DOWN" | "UP";
+            data?: undefined;
+        } | {
+            name: string;
+            status: "DOWN" | "UP";
+            data: {
+                readonly [x: string]: string | number | boolean;
+            };
+        })[];
+    } | {
+        status: "DOWN";
+        checks: ({
+            name: string;
+            status: "DOWN" | "UP";
+            data?: undefined;
+        } | {
+            name: string;
+            status: "DOWN" | "UP";
+            data: {
+                readonly [x: string]: string | number | boolean;
+            };
+        })[];
+    }, never, never>;
+    live: () => Effect.Effect<{
+        status: "UP";
+        checks: ({
+            name: string;
+            status: "DOWN" | "UP";
+            data?: undefined;
+        } | {
+            name: string;
+            status: "DOWN" | "UP";
+            data: {
+                readonly [x: string]: string | number | boolean;
+            };
+        })[];
+    } | {
+        status: "DOWN";
+        checks: ({
+            name: string;
+            status: "DOWN" | "UP";
+            data?: undefined;
+        } | {
+            name: string;
+            status: "DOWN" | "UP";
+            data: {
+                readonly [x: string]: string | number | boolean;
+            };
+        })[];
+    }, never, never>;
+    ready: () => Effect.Effect<{
+        status: "UP";
+        checks: ({
+            name: string;
+            status: "DOWN" | "UP";
+            data?: undefined;
+        } | {
+            name: string;
+            status: "DOWN" | "UP";
+            data: {
+                readonly [x: string]: string | number | boolean;
+            };
+        })[];
+    } | {
+        status: "DOWN";
+        checks: ({
+            name: string;
+            status: "DOWN" | "UP";
+            data?: undefined;
+        } | {
+            name: string;
+            status: "DOWN" | "UP";
+            data: {
+                readonly [x: string]: string | number | boolean;
+            };
+        })[];
+    }, never, never>;
+    started: () => Effect.Effect<{
+        status: "UP";
+        checks: ({
+            name: string;
+            status: "DOWN" | "UP";
+            data?: undefined;
+        } | {
+            name: string;
+            status: "DOWN" | "UP";
+            data: {
+                readonly [x: string]: string | number | boolean;
+            };
+        })[];
+    } | {
+        status: "DOWN";
+        checks: ({
+            name: string;
+            status: "DOWN" | "UP";
+            data?: undefined;
+        } | {
+            name: string;
+            status: "DOWN" | "UP";
+            data: {
+                readonly [x: string]: string | number | boolean;
+            };
+        })[];
+    }, never, never>;
+}> & {
+    readonly make: Effect.Effect<{
+        aggregate: () => Effect.Effect<{
+            status: "UP";
+            checks: ({
+                name: string;
+                status: "DOWN" | "UP";
+                data?: undefined;
+            } | {
+                name: string;
+                status: "DOWN" | "UP";
+                data: {
+                    readonly [x: string]: string | number | boolean;
+                };
+            })[];
+        } | {
+            status: "DOWN";
+            checks: ({
+                name: string;
+                status: "DOWN" | "UP";
+                data?: undefined;
+            } | {
+                name: string;
+                status: "DOWN" | "UP";
+                data: {
+                    readonly [x: string]: string | number | boolean;
+                };
+            })[];
+        }, never, never>;
+        live: () => Effect.Effect<{
+            status: "UP";
+            checks: ({
+                name: string;
+                status: "DOWN" | "UP";
+                data?: undefined;
+            } | {
+                name: string;
+                status: "DOWN" | "UP";
+                data: {
+                    readonly [x: string]: string | number | boolean;
+                };
+            })[];
+        } | {
+            status: "DOWN";
+            checks: ({
+                name: string;
+                status: "DOWN" | "UP";
+                data?: undefined;
+            } | {
+                name: string;
+                status: "DOWN" | "UP";
+                data: {
+                    readonly [x: string]: string | number | boolean;
+                };
+            })[];
+        }, never, never>;
+        ready: () => Effect.Effect<{
+            status: "UP";
+            checks: ({
+                name: string;
+                status: "DOWN" | "UP";
+                data?: undefined;
+            } | {
+                name: string;
+                status: "DOWN" | "UP";
+                data: {
+                    readonly [x: string]: string | number | boolean;
+                };
+            })[];
+        } | {
+            status: "DOWN";
+            checks: ({
+                name: string;
+                status: "DOWN" | "UP";
+                data?: undefined;
+            } | {
+                name: string;
+                status: "DOWN" | "UP";
+                data: {
+                    readonly [x: string]: string | number | boolean;
+                };
+            })[];
+        }, never, never>;
+        started: () => Effect.Effect<{
+            status: "UP";
+            checks: ({
+                name: string;
+                status: "DOWN" | "UP";
+                data?: undefined;
+            } | {
+                name: string;
+                status: "DOWN" | "UP";
+                data: {
+                    readonly [x: string]: string | number | boolean;
+                };
+            })[];
+        } | {
+            status: "DOWN";
+            checks: ({
+                name: string;
+                status: "DOWN" | "UP";
+                data?: undefined;
+            } | {
+                name: string;
+                status: "DOWN" | "UP";
+                data: {
+                    readonly [x: string]: string | number | boolean;
+                };
+            })[];
+        }, never, never>;
+    }, never, HealthServiceConfig>;
+};
+export declare class HealthService extends HealthService_base {
+    static readonly up: (data?: HealthCheckData) => HealthCheckOutcome;
+    static readonly down: (data?: HealthCheckData) => HealthCheckOutcome;
+    static readonly layer: Layer.Layer<HealthService, never, never>;
+    static readonly layerWith: <Requirements = never>(options: HealthServiceOptions<Requirements>) => Layer.Layer<HealthService, never, Exclude<Requirements, import("effect/Scope").Scope>>;
+}
+export * from "./api.builder.js";
+export * from "./api.group.js";
+export * from "./schema.js";

package/dist/services/health/index.js

@@ -0,0 +1,186 @@
+// ../../src/services/health/index.ts
+import { Context, Effect as Effect2, Exit, Layer } from "effect";
+
+// ../../src/services/health/api.builder.ts
+import { Effect } from "effect";
+var respond = (check) => check.pipe(Effect.flatMap((response) => response.status === "UP" ? Effect.succeed(response) : Effect.fail(response)));
+var healthHandler = (handlers) => handlers.handle("getHealth", () => Effect.flatMap(HealthService, ({ aggregate }) => respond(aggregate()))).handle("getLiveness", () => Effect.flatMap(HealthService, ({ live }) => respond(live()))).handle("getReadiness", () => Effect.flatMap(HealthService, ({ ready }) => respond(ready()))).handle("getStartup", () => Effect.flatMap(HealthService, ({ started }) => respond(started())));
+// ../../src/services/health/api.group.ts
+import {
+  HttpApiEndpoint,
+  HttpApiError,
+  HttpApiGroup,
+  OpenApi
+} from "effect/unstable/httpapi";
+
+// ../../src/services/health/schema.ts
+import { Schema } from "effect";
+import { HttpApiSchema } from "effect/unstable/httpapi";
+var HealthStatus = Schema.Literals(["UP", "DOWN"]).annotate({
+  identifier: "HealthStatus",
+  title: "Health Status",
+  description: "Whether a health check is up or down"
+});
+var HealthCheckData = Schema.Record(Schema.String, Schema.Union([Schema.String, Schema.Boolean, Schema.Number])).annotate({
+  identifier: "HealthCheckData",
+  title: "Health Check Data",
+  description: "Non-sensitive diagnostic values for a health check"
+});
+var HealthCheckOutcome = Schema.Struct({
+  status: HealthStatus,
+  data: Schema.optionalKey(HealthCheckData)
+}).annotate({
+  identifier: "HealthCheckOutcome",
+  title: "Health Check Outcome",
+  description: "The status and optional diagnostic data returned by a check"
+});
+var HealthCheckResult = Schema.Struct({
+  name: Schema.NonEmptyString,
+  status: HealthStatus,
+  data: Schema.optionalKey(HealthCheckData)
+}).annotate({
+  identifier: "HealthCheckResult",
+  title: "Health Check Result",
+  description: "The outcome of a named health check"
+});
+var HealthUpResponse = Schema.Struct({
+  status: Schema.Literal("UP"),
+  checks: Schema.Array(HealthCheckResult)
+}).annotate({
+  identifier: "HealthUpResponse",
+  title: "Healthy Response",
+  description: "A response where all health checks are up",
+  examples: [{ status: "UP", checks: [] }]
+});
+var HealthDownResponse = Schema.Struct({
+  status: Schema.Literal("DOWN"),
+  checks: Schema.Array(HealthCheckResult)
+}).pipe(HttpApiSchema.status(503)).annotate({
+  identifier: "HealthDownResponse",
+  title: "Unhealthy Response",
+  description: "A response where one or more health checks are down",
+  examples: [
+    {
+      status: "DOWN",
+      checks: [{ name: "database", status: "DOWN" }]
+    }
+  ]
+});
+var HealthResponse = Schema.Union([
+  HealthUpResponse,
+  HealthDownResponse
+]).annotate({
+  identifier: "HealthResponse",
+  title: "Health Response",
+  description: "An aggregate health response"
+});
+
+// ../../src/services/health/api.group.ts
+var errors = [HealthDownResponse, HttpApiError.InternalServerError];
+var HealthApiGroup = HttpApiGroup.make("health").annotateMerge(OpenApi.annotations({
+  title: "Health",
+  description: "Application health checks"
+})).add(HttpApiEndpoint.get("getHealth", "/health", {
+  success: HealthUpResponse,
+  error: errors
+}).annotateMerge(OpenApi.annotations({
+  summary: "Get aggregate health",
+  description: "Runs all registered liveness, readiness, and startup checks."
+}))).add(HttpApiEndpoint.get("getLiveness", "/health/live", {
+  success: HealthUpResponse,
+  error: errors
+}).annotateMerge(OpenApi.annotations({
+  summary: "Get application liveness",
+  description: "Returns whether the application process is responsive."
+}))).add(HttpApiEndpoint.get("getReadiness", "/health/ready", {
+  success: HealthUpResponse,
+  error: errors
+}).annotateMerge(OpenApi.annotations({
+  summary: "Get application readiness",
+  description: "Returns whether the application is ready to serve traffic."
+}))).add(HttpApiEndpoint.get("getStartup", "/health/started", {
+  success: HealthUpResponse,
+  error: errors
+}).annotateMerge(OpenApi.annotations({
+  summary: "Get application startup status",
+  description: "Returns whether the application has completed startup."
+})));
+
+// ../../src/services/health/index.ts
+class HealthServiceConfig extends Context.Service()("@krak-stack/registry/HealthServiceConfig") {
+  static layerWith = ({
+    checks = {}
+  } = {}) => Layer.effect(this, Effect2.gen(function* () {
+    const services = yield* Effect2.context();
+    const resolve = (registered) => (registered ?? []).map(({ name, check }) => ({
+      name,
+      check: Effect2.provide(check, services)
+    }));
+    return {
+      live: resolve(checks.live),
+      ready: resolve(checks.ready),
+      started: resolve(checks.started)
+    };
+  }));
+}
+
+class HealthService extends Context.Service()("@krak-stack/registry/HealthService", {
+  make: Effect2.gen(function* () {
+    const checks = yield* HealthServiceConfig;
+    const allChecks = Array.from(new Set([...checks.live, ...checks.ready, ...checks.started]));
+    const execute = Effect2.fn("HealthService.execute")(function* (healthCheck) {
+      const exit = yield* Effect2.exit(healthCheck.check);
+      if (!Exit.isSuccess(exit)) {
+        return {
+          name: healthCheck.name,
+          status: "DOWN"
+        };
+      }
+      return exit.value.data === undefined ? {
+        name: healthCheck.name,
+        status: exit.value.status
+      } : {
+        name: healthCheck.name,
+        status: exit.value.status,
+        data: exit.value.data
+      };
+    });
+    const run = Effect2.fn("HealthService.run")(function* (registered) {
+      const results = yield* Effect2.forEach(registered, execute, {
+        concurrency: "unbounded"
+      });
+      if (results.every(({ status }) => status === "UP")) {
+        return {
+          status: "UP",
+          checks: results
+        };
+      }
+      return {
+        status: "DOWN",
+        checks: results
+      };
+    });
+    const aggregate = Effect2.fn("HealthService.aggregate")(() => run(allChecks));
+    const live = Effect2.fn("HealthService.live")(() => run(checks.live));
+    const ready = Effect2.fn("HealthService.ready")(() => run(checks.ready));
+    const started = Effect2.fn("HealthService.started")(() => run(checks.started));
+    return { aggregate, live, ready, started };
+  })
+}) {
+  static up = (data) => data === undefined ? { status: "UP" } : { status: "UP", data };
+  static down = (data) => data === undefined ? { status: "DOWN" } : { status: "DOWN", data };
+  static layer = Layer.effect(this, this.make).pipe(Layer.provide(HealthServiceConfig.layerWith()));
+  static layerWith = (options) => Layer.effect(this, this.make).pipe(Layer.provide(HealthServiceConfig.layerWith(options)));
+}
+export {
+  healthHandler,
+  HealthUpResponse,
+  HealthStatus,
+  HealthService,
+  HealthResponse,
+  HealthDownResponse,
+  HealthCheckResult,
+  HealthCheckOutcome,
+  HealthCheckData,
+  HealthApiGroup
+};

package/dist/services/health/schema.d.ts

@@ -0,0 +1,50 @@
+import { Schema } from "effect";
+export declare const HealthStatus: Schema.Literals<readonly ["UP", "DOWN"]>;
+export type HealthStatus = typeof HealthStatus.Type;
+export declare const HealthCheckData: Schema.$Record<Schema.String, Schema.Union<readonly [Schema.String, Schema.Boolean, Schema.Number]>>;
+export type HealthCheckData = typeof HealthCheckData.Type;
+export declare const HealthCheckOutcome: Schema.Struct<{
+    readonly status: Schema.Literals<readonly ["UP", "DOWN"]>;
+    readonly data: Schema.optionalKey<Schema.$Record<Schema.String, Schema.Union<readonly [Schema.String, Schema.Boolean, Schema.Number]>>>;
+}>;
+export type HealthCheckOutcome = typeof HealthCheckOutcome.Type;
+export declare const HealthCheckResult: Schema.Struct<{
+    readonly name: Schema.NonEmptyString;
+    readonly status: Schema.Literals<readonly ["UP", "DOWN"]>;
+    readonly data: Schema.optionalKey<Schema.$Record<Schema.String, Schema.Union<readonly [Schema.String, Schema.Boolean, Schema.Number]>>>;
+}>;
+export type HealthCheckResult = typeof HealthCheckResult.Type;
+export declare const HealthUpResponse: Schema.Struct<{
+    readonly status: Schema.Literal<"UP">;
+    readonly checks: Schema.$Array<Schema.Struct<{
+        readonly name: Schema.NonEmptyString;
+        readonly status: Schema.Literals<readonly ["UP", "DOWN"]>;
+        readonly data: Schema.optionalKey<Schema.$Record<Schema.String, Schema.Union<readonly [Schema.String, Schema.Boolean, Schema.Number]>>>;
+    }>>;
+}>;
+export type HealthUpResponse = typeof HealthUpResponse.Type;
+export declare const HealthDownResponse: Schema.Struct<{
+    readonly status: Schema.Literal<"DOWN">;
+    readonly checks: Schema.$Array<Schema.Struct<{
+        readonly name: Schema.NonEmptyString;
+        readonly status: Schema.Literals<readonly ["UP", "DOWN"]>;
+        readonly data: Schema.optionalKey<Schema.$Record<Schema.String, Schema.Union<readonly [Schema.String, Schema.Boolean, Schema.Number]>>>;
+    }>>;
+}>;
+export type HealthDownResponse = typeof HealthDownResponse.Type;
+export declare const HealthResponse: Schema.Union<readonly [Schema.Struct<{
+    readonly status: Schema.Literal<"UP">;
+    readonly checks: Schema.$Array<Schema.Struct<{
+        readonly name: Schema.NonEmptyString;
+        readonly status: Schema.Literals<readonly ["UP", "DOWN"]>;
+        readonly data: Schema.optionalKey<Schema.$Record<Schema.String, Schema.Union<readonly [Schema.String, Schema.Boolean, Schema.Number]>>>;
+    }>>;
+}>, Schema.Struct<{
+    readonly status: Schema.Literal<"DOWN">;
+    readonly checks: Schema.$Array<Schema.Struct<{
+        readonly name: Schema.NonEmptyString;
+        readonly status: Schema.Literals<readonly ["UP", "DOWN"]>;
+        readonly data: Schema.optionalKey<Schema.$Record<Schema.String, Schema.Union<readonly [Schema.String, Schema.Boolean, Schema.Number]>>>;
+    }>>;
+}>]>;
+export type HealthResponse = typeof HealthResponse.Type;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@krak-stack/registry",
-  "version": "0.1.18",
+  "version": "0.1.19",
   "description": "Tree-shakable KrakStack components and Effect services.",
   "license": "MIT",
   "repository": {
@@ -199,6 +199,10 @@
       "types": "./dist/services/file-extraction/schema.d.ts",
       "import": "./dist/services/file-extraction/schema.js"
     },
+    "./service-health": {
+      "types": "./dist/services/health/index.d.ts",
+      "import": "./dist/services/health/index.js"
+    },
     "./tailwind.css": "./tailwind.css",
     "./package.json": "./package.json"
   },