@qlever-llc/trellis 0.10.9 → 0.10.11

package/src/sdk/_generated/core/types.ts

@@ -3,31 +3,247 @@ import type { RpcHandlerFn } from "../../../index.js";
 import type { API } from "./api.js";
 
 export const CONTRACT_ID = "trellis.core@v1" as const;
-export const CONTRACT_DIGEST = "L4HW6uUIxDhK1Kpa_PUxpumoMberMgiCgJTNN5Qvje0" as const;
+export const CONTRACT_DIGEST =
+  "L4HW6uUIxDhK1Kpa_PUxpumoMberMgiCgJTNN5Qvje0" as const;
 
-export type TrellisBindingsGetInput = { contractId?: string; digest?: string; };
-export type TrellisBindingsGetOutput = { binding?: { contractId: string; digest: string; resources: { eventConsumers?: { [k: string]: { ackWaitMs: number; backoffMs: Array<number>; concurrency: number; consumerName: string; filterSubjects: Array<string>; maxDeliver: number; ordering: "strict"; replay: ("new" | "all"); stream: string; }; }; jobs?: { namespace: string; queues: { [k: string]: { ackWaitMs: number; backoffMs: Array<number>; concurrency: number; consumerName: string; defaultDeadlineMs?: number; dlq: boolean; logs: boolean; maxDeliver: number; payload: { schema: string; }; progress: boolean; publishPrefix: string; queueType: string; result?: { schema: string; }; workSubject: string; }; }; workStream?: string; }; kv?: { [k: string]: { bucket: string; history: number; maxValueBytes?: number; ttlMs: number; }; }; store?: { [k: string]: { maxObjectBytes?: number; maxTotalBytes?: number; name: string; ttlMs: number; }; }; }; }; eventConsumers?: { [k: string]: { ackWaitMs: number; backoffMs: Array<number>; concurrency: number; consumerName: string; filterSubjects: Array<string>; maxDeliver: number; ordering: "strict"; replay: ("new" | "all"); stream: string; }; }; };
+export type TrellisBindingsGetInput = { contractId?: string; digest?: string };
+export type TrellisBindingsGetOutput = {
+  binding?: {
+    contractId: string;
+    digest: string;
+    resources: {
+      eventConsumers?: {
+        [k: string]: {
+          ackWaitMs: number;
+          backoffMs: Array<number>;
+          concurrency: number;
+          consumerName: string;
+          filterSubjects: Array<string>;
+          maxDeliver: number;
+          ordering: "strict";
+          replay: "new" | "all";
+          stream: string;
+        };
+      };
+      jobs?: {
+        namespace: string;
+        queues: {
+          [k: string]: {
+            ackWaitMs: number;
+            backoffMs: Array<number>;
+            concurrency: number;
+            consumerName: string;
+            defaultDeadlineMs?: number;
+            dlq: boolean;
+            logs: boolean;
+            maxDeliver: number;
+            payload: { schema: string };
+            progress: boolean;
+            publishPrefix: string;
+            queueType: string;
+            result?: { schema: string };
+            workSubject: string;
+          };
+        };
+        workStream?: string;
+      };
+      kv?: {
+        [k: string]: {
+          bucket: string;
+          history: number;
+          maxValueBytes?: number;
+          ttlMs: number;
+        };
+      };
+      store?: {
+        [k: string]: {
+          maxObjectBytes?: number;
+          maxTotalBytes?: number;
+          name: string;
+          ttlMs: number;
+        };
+      };
+    };
+  };
+  eventConsumers?: {
+    [k: string]: {
+      ackWaitMs: number;
+      backoffMs: Array<number>;
+      concurrency: number;
+      consumerName: string;
+      filterSubjects: Array<string>;
+      maxDeliver: number;
+      ordering: "strict";
+      replay: "new" | "all";
+      stream: string;
+    };
+  };
+};
 
-export type TrellisCatalogInput = {  };
-export type TrellisCatalogOutput = { catalog: { contracts: Array<{ description: string; digest: string; displayName: string; id: string; }>; format: "trellis.catalog.v1"; issues?: Array<{ actions: Array<{ action: ("keep-current" | "force-replace"); deploymentIds: Array<string>; description: string; digests: Array<string>; label: string; risk: ("recommended" | "dangerous"); }>; conflictingDeploymentIds?: Array<string>; conflictingDigest?: string; conflictingDigests?: Array<string>; contractId?: string; deploymentIds: Array<string>; digest?: string; effectiveDeploymentIds?: Array<string>; effectiveDigests?: Array<string>; issueId: string; kind: ("missing-active-contract" | "invalid-active-contract" | "incompatible-active-contract" | "invalid-active-contract-uses"); message: string; }>; }; };
+export type TrellisCatalogInput = {};
+export type TrellisCatalogOutput = {
+  catalog: {
+    contracts: Array<
+      { description: string; digest: string; displayName: string; id: string }
+    >;
+    format: "trellis.catalog.v1";
+    issues?: Array<
+      {
+        actions: Array<
+          {
+            action: "keep-current" | "force-replace";
+            deploymentIds: Array<string>;
+            description: string;
+            digests: Array<string>;
+            label: string;
+            risk: "recommended" | "dangerous";
+          }
+        >;
+        conflictingDeploymentIds?: Array<string>;
+        conflictingDigest?: string;
+        conflictingDigests?: Array<string>;
+        contractId?: string;
+        deploymentIds: Array<string>;
+        digest?: string;
+        effectiveDeploymentIds?: Array<string>;
+        effectiveDigests?: Array<string>;
+        issueId: string;
+        kind:
+          | "missing-active-contract"
+          | "invalid-active-contract"
+          | "incompatible-active-contract"
+          | "invalid-active-contract-uses";
+        message: string;
+      }
+    >;
+  };
+};
 
-export type TrellisContractGetInput = { digest: string; };
-export type TrellisContractGetOutput = { contract: { description: string; displayName: string; docs?: { markdown: string; summary?: string; }; errors?: { [k: string]: {  }; }; events?: { [k: string]: {  }; }; exports?: { schemas?: Array<string>; }; format: "trellis.contract.v1"; id: string; jobs?: { [k: string]: { ackWaitMs?: number; backoffMs?: Array<number>; concurrency?: number; defaultDeadlineMs?: number; dlq?: boolean; docs?: { markdown: string; summary?: string; }; logs?: boolean; maxDeliver?: number; payload: { schema: string; }; progress?: boolean; result?: { schema: string; }; }; }; kind: ("service" | "app" | "device" | "agent"); operations?: { [k: string]: {  }; }; resources?: { kv?: { [k: string]: { docs?: { markdown: string; summary?: string; }; history?: number; maxValueBytes?: number; purpose: string; required?: boolean; schema: { schema: string; }; ttlMs?: number; }; }; store?: { [k: string]: { docs?: { markdown: string; summary?: string; }; maxObjectBytes?: number; maxTotalBytes?: number; purpose: string; required?: boolean; ttlMs?: number; }; }; }; rpc?: { [k: string]: {  }; }; schemas?: { [k: string]: ({  } | boolean); }; state?: { [k: string]: { acceptedVersions?: { [k: string]: { schema: string; }; }; docs?: { markdown: string; summary?: string; }; kind: ("value" | "map"); schema: { schema: string; }; stateVersion?: string; }; }; uses?: { [k: string]: {  }; }; }; };
+export type TrellisContractGetInput = { digest: string };
+export type TrellisContractGetOutput = {
+  contract: {
+    description: string;
+    displayName: string;
+    docs?: { markdown: string; summary?: string };
+    errors?: { [k: string]: {} };
+    events?: { [k: string]: {} };
+    exports?: { schemas?: Array<string> };
+    format: "trellis.contract.v1";
+    id: string;
+    jobs?: {
+      [k: string]: {
+        ackWaitMs?: number;
+        backoffMs?: Array<number>;
+        concurrency?: number;
+        defaultDeadlineMs?: number;
+        dlq?: boolean;
+        docs?: { markdown: string; summary?: string };
+        logs?: boolean;
+        maxDeliver?: number;
+        payload: { schema: string };
+        progress?: boolean;
+        result?: { schema: string };
+      };
+    };
+    kind: "service" | "app" | "device" | "agent";
+    operations?: { [k: string]: {} };
+    resources?: {
+      kv?: {
+        [k: string]: {
+          docs?: { markdown: string; summary?: string };
+          history?: number;
+          maxValueBytes?: number;
+          purpose: string;
+          required?: boolean;
+          schema: { schema: string };
+          ttlMs?: number;
+        };
+      };
+      store?: {
+        [k: string]: {
+          docs?: { markdown: string; summary?: string };
+          maxObjectBytes?: number;
+          maxTotalBytes?: number;
+          purpose: string;
+          required?: boolean;
+          ttlMs?: number;
+        };
+      };
+    };
+    rpc?: { [k: string]: {} };
+    schemas?: { [k: string]: {} | boolean };
+    state?: {
+      [k: string]: {
+        acceptedVersions?: { [k: string]: { schema: string } };
+        docs?: { markdown: string; summary?: string };
+        kind: "value" | "map";
+        schema: { schema: string };
+        stateVersion?: string;
+      };
+    };
+    uses?: { [k: string]: {} };
+  };
+};
 
-export type TrellisSurfaceStatusInput = { action?: ("call" | "publish" | "subscribe" | "observe"); contractId: string; kind: ("rpc" | "operation" | "event" | "feed"); surface: string; };
-export type TrellisSurfaceStatusOutput = { status: ({ liveImplementer: boolean; runtime: ("live" | "no_live_implementer" | "disabled"); state: "available"; } | { reason: ("authority_unavailable"); state: "unavailable"; } | { missingCapabilities: Array<string>; state: "unauthorized"; } | { contractId: string; state: "unknown_contract"; } | { contractId: string; kind: string; state: "unknown_surface"; surface: string; }); };
+export type TrellisSurfaceStatusInput = {
+  action?: "call" | "publish" | "subscribe" | "observe";
+  contractId: string;
+  kind: "rpc" | "operation" | "event" | "feed";
+  surface: string;
+};
+export type TrellisSurfaceStatusOutput = {
+  status:
+    | {
+      liveImplementer: boolean;
+      runtime: "live" | "no_live_implementer" | "disabled";
+      state: "available";
+    }
+    | { reason: "authority_unavailable"; state: "unavailable" }
+    | { missingCapabilities: Array<string>; state: "unauthorized" }
+    | { contractId: string; state: "unknown_contract" }
+    | {
+      contractId: string;
+      kind: string;
+      state: "unknown_surface";
+      surface: string;
+    };
+};
 
 export interface RpcMap {
-  "Trellis.Bindings.Get": { input: TrellisBindingsGetInput; output: TrellisBindingsGetOutput; };
-  "Trellis.Catalog": { input: TrellisCatalogInput; output: TrellisCatalogOutput; };
-  "Trellis.Contract.Get": { input: TrellisContractGetInput; output: TrellisContractGetOutput; };
-  "Trellis.Surface.Status": { input: TrellisSurfaceStatusInput; output: TrellisSurfaceStatusOutput; };
+  "Trellis.Bindings.Get": {
+    input: TrellisBindingsGetInput;
+    output: TrellisBindingsGetOutput;
+  };
+  "Trellis.Catalog": {
+    input: TrellisCatalogInput;
+    output: TrellisCatalogOutput;
+  };
+  "Trellis.Contract.Get": {
+    input: TrellisContractGetInput;
+    output: TrellisContractGetOutput;
+  };
+  "Trellis.Surface.Status": {
+    input: TrellisSurfaceStatusInput;
+    output: TrellisSurfaceStatusOutput;
+  };
 }
 
-export type TrellisBindingsGetHandler = RpcHandlerFn<typeof API.owned, "Trellis.Bindings.Get">;
-export type TrellisCatalogHandler = RpcHandlerFn<typeof API.owned, "Trellis.Catalog">;
-export type TrellisContractGetHandler = RpcHandlerFn<typeof API.owned, "Trellis.Contract.Get">;
-export type TrellisSurfaceStatusHandler = RpcHandlerFn<typeof API.owned, "Trellis.Surface.Status">;
+export type TrellisBindingsGetHandler = RpcHandlerFn<
+  typeof API.owned,
+  "Trellis.Bindings.Get"
+>;
+export type TrellisCatalogHandler = RpcHandlerFn<
+  typeof API.owned,
+  "Trellis.Catalog"
+>;
+export type TrellisContractGetHandler = RpcHandlerFn<
+  typeof API.owned,
+  "Trellis.Contract.Get"
+>;
+export type TrellisSurfaceStatusHandler = RpcHandlerFn<
+  typeof API.owned,
+  "Trellis.Surface.Status"
+>;
 
 export interface EventMap {
 }
@@ -37,4 +253,3 @@ export interface FeedMap {
 
 export interface SubjectMap {
 }
-

package/src/sdk/_generated/health/api.ts

@@ -4,29 +4,19 @@ import { OWNED_API } from "./owned_api.js";
 export { OWNED_API };
 
 export type UsedApi = {
-  rpc: {
-  };
-  operations: {
-  };
-  events: {
-  };
-  feeds: {
-  };
-  subjects: {
-  };
+  rpc: {};
+  operations: {};
+  events: {};
+  feeds: {};
+  subjects: {};
 };
 
 export const USED_API: UsedApi = {
-  rpc: {
-  },
-  operations: {
-  },
-  events: {
-  },
-  feeds: {
-  },
-  subjects: {
-  },
+  rpc: {},
+  operations: {},
+  events: {},
+  feeds: {},
+  subjects: {},
 };
 
 export type OwnedApi = typeof OWNED_API;
@@ -44,4 +34,3 @@ export const API = {
 } as const;
 
 export type ApiViews = typeof API;
-

package/src/sdk/_generated/health/client.ts

@@ -1,21 +1,87 @@
 // Generated from ./generated/contracts/manifests/trellis.health@v1.json
-import type { AcceptedOperation, AsyncResult, BaseError, EventListenerContext, EventOpts, FeedSubscribeOpts, FeedSubscription, HandlerTrellis, MapStateStoreClient, MaybeAsync, OperationInputBuilder, OperationObserverCallbacks, OperationRef, OperationRefData, OperationRuntimeHandle, OperationTransferHandle, PreparedTrellisEvent, ReceiveTransferGrant, ReceiveTransferHandle, RequestOpts, Result, RpcHandlerContext, SendTransferGrant, SendTransferHandle, TerminalOperation, TransferCapableOperationInputBuilder, TrellisConnection, UnexpectedError, ValidationError, ValueStateStoreClient } from "../../../index.js";
+import type {
+  AcceptedOperation,
+  AsyncResult,
+  BaseError,
+  EventListenerContext,
+  EventOpts,
+  FeedSubscribeOpts,
+  FeedSubscription,
+  HandlerTrellis,
+  MapStateStoreClient,
+  MaybeAsync,
+  OperationInputBuilder,
+  OperationObserverCallbacks,
+  OperationRef,
+  OperationRefData,
+  OperationRuntimeHandle,
+  OperationTransferHandle,
+  PreparedTrellisEvent,
+  ReceiveTransferGrant,
+  ReceiveTransferHandle,
+  RequestOpts,
+  Result,
+  RpcHandlerContext,
+  SendTransferGrant,
+  SendTransferHandle,
+  TerminalOperation,
+  TransferCapableOperationInputBuilder,
+  TrellisConnection,
+  UnexpectedError,
+  ValidationError,
+  ValueStateStoreClient,
+} from "../../../index.js";
 import type { API, Api } from "./api.js";
 import type * as Types from "./types.js";
 
 type WithDeps<TDeps> = [TDeps] extends [undefined] ? {} : { deps: TDeps };
 
 type EventCallback<TMessage> = {
-  bivarianceHack(message: TMessage, context: EventListenerContext): MaybeAsync<void, BaseError>;
+  bivarianceHack(
+    message: TMessage,
+    context: EventListenerContext,
+  ): MaybeAsync<void, BaseError>;
 }["bivarianceHack"];
 
-type ServiceEventHandler<TEvent, TDeps = undefined> = (args: { event: TEvent; context: EventListenerContext; client: HandlerClient } & WithDeps<TDeps>) => MaybeAsync<void, BaseError>;
+type ServiceEventHandler<TEvent, TDeps = undefined> = (
+  args:
+    & { event: TEvent; context: EventListenerContext; client: HandlerClient }
+    & WithDeps<TDeps>,
+) => MaybeAsync<void, BaseError>;
 
-type RpcHandler<TInput, TOutput, TDeps = undefined> = (args: { input: TInput; context: RpcHandlerContext; client: HandlerClient } & WithDeps<TDeps>) => MaybeAsync<TOutput, BaseError>;
+type RpcHandler<TInput, TOutput, TDeps = undefined> = (
+  args:
+    & { input: TInput; context: RpcHandlerContext; client: HandlerClient }
+    & WithDeps<TDeps>,
+) => MaybeAsync<TOutput, BaseError>;
 
-type FeedHandler<TInput, TEvent, TDeps = undefined> = (context: { input: TInput; caller: unknown; signal: AbortSignal; emit(event: TEvent): AsyncResult<void, ValidationError | UnexpectedError>; client: HandlerClient } & WithDeps<TDeps>) => unknown | Promise<unknown>;
+type FeedHandler<TInput, TEvent, TDeps = undefined> = (
+  context: {
+    input: TInput;
+    caller: unknown;
+    signal: AbortSignal;
+    emit(event: TEvent): AsyncResult<void, ValidationError | UnexpectedError>;
+    client: HandlerClient;
+  } & WithDeps<TDeps>,
+) => unknown | Promise<unknown>;
 
-type OperationHandler<TInput, TProgress, TOutput, TTransfer, TDeps = undefined> = (context: { input: TInput; op: OperationRuntimeHandle<TProgress, TOutput>; caller: unknown; client: HandlerClient } & TTransfer & WithDeps<TDeps>) => unknown | Promise<unknown>;
+type OperationHandler<
+  TInput,
+  TProgress,
+  TOutput,
+  TTransfer,
+  TDeps = undefined,
+> = (
+  context:
+    & {
+      input: TInput;
+      op: OperationRuntimeHandle<TProgress, TOutput>;
+      caller: unknown;
+      client: HandlerClient;
+    }
+    & TTransfer
+    & WithDeps<TDeps>,
+) => unknown | Promise<unknown>;
 
 export type TrellisHealthState = {};
 
@@ -31,7 +97,22 @@ export interface TrellisHealthClient {
   readonly rpc: {};
   readonly event: {
     readonly health: {
-      heartbeat: { publish(event: Omit<Types.HealthHeartbeatEvent, "header">): AsyncResult<void, ValidationError | UnexpectedError>; prepare(event: Omit<Types.HealthHeartbeatEvent, "header">): Result<PreparedTrellisEvent<Omit<Types.HealthHeartbeatEvent, "header">>, ValidationError | UnexpectedError>; listen(handler: EventCallback<Types.HealthHeartbeatEvent>, subjectData?: Record<string, unknown>, opts?: EventOpts): AsyncResult<void, ValidationError | UnexpectedError>; };
+      heartbeat: {
+        publish(
+          event: Omit<Types.HealthHeartbeatEvent, "header">,
+        ): AsyncResult<void, ValidationError | UnexpectedError>;
+        prepare(
+          event: Omit<Types.HealthHeartbeatEvent, "header">,
+        ): Result<
+          PreparedTrellisEvent<Omit<Types.HealthHeartbeatEvent, "header">>,
+          ValidationError | UnexpectedError
+        >;
+        listen(
+          handler: EventCallback<Types.HealthHeartbeatEvent>,
+          subjectData?: Record<string, unknown>,
+          opts?: EventOpts,
+        ): AsyncResult<void, ValidationError | UnexpectedError>;
+      };
     };
   };
   readonly feed: {};
@@ -52,7 +133,22 @@ export type ServiceWithDeps<TDeps> = Omit<TrellisHealthClient, "event"> & {
 
 export interface ServiceEventSurface<TDeps> {
   readonly health: {
-    heartbeat: { publish(event: Omit<Types.HealthHeartbeatEvent, "header">): AsyncResult<void, ValidationError | UnexpectedError>; prepare(event: Omit<Types.HealthHeartbeatEvent, "header">): Result<PreparedTrellisEvent<Omit<Types.HealthHeartbeatEvent, "header">>, ValidationError | UnexpectedError>; listen(handler: ServiceEventHandler<Types.HealthHeartbeatEvent, TDeps>, subjectData?: Record<string, unknown>, opts?: EventOpts): AsyncResult<void, ValidationError | UnexpectedError>; };
+    heartbeat: {
+      publish(
+        event: Omit<Types.HealthHeartbeatEvent, "header">,
+      ): AsyncResult<void, ValidationError | UnexpectedError>;
+      prepare(
+        event: Omit<Types.HealthHeartbeatEvent, "header">,
+      ): Result<
+        PreparedTrellisEvent<Omit<Types.HealthHeartbeatEvent, "header">>,
+        ValidationError | UnexpectedError
+      >;
+      listen(
+        handler: ServiceEventHandler<Types.HealthHeartbeatEvent, TDeps>,
+        subjectData?: Record<string, unknown>,
+        opts?: EventOpts,
+      ): AsyncResult<void, ValidationError | UnexpectedError>;
+    };
   };
 }
 

package/src/sdk/_generated/health/contract.ts

@@ -1,12 +1,125 @@
 // Generated from ./generated/contracts/manifests/trellis.health@v1.json
-import type { ContractDependencyUse, SdkContractModule, TrellisContractV1, UseSpec } from "../../../index.js";
+import type {
+  ContractDependencyUse,
+  SdkContractModule,
+  TrellisContractV1,
+  UseSpec,
+} from "../../../index.js";
 import { API } from "./api.js";
 
-const CONTRACT_MODULE_METADATA = Symbol.for("@qlever-llc/trellis/contracts/contract-module");
+const CONTRACT_MODULE_METADATA = Symbol.for(
+  "@qlever-llc/trellis/contracts/contract-module",
+);
 
 export const CONTRACT_ID = "trellis.health@v1" as const;
-export const CONTRACT_DIGEST = "RHDzeH2V6Nltzk6WklCLbTIK48hF0hNuO9Qk6-BosT4" as const;
-export const CONTRACT = {"description":"Expose shared Trellis heartbeat events for service observability.","displayName":"Trellis Health","docs":{"markdown":"Defines the heartbeat event services publish so operators can observe service liveness.","summary":"Service heartbeat events."},"events":{"Health.Heartbeat":{"docs":{"markdown":"Emitted by services to report runtime identity, uptime, and health metadata.","summary":"Publish service liveness."},"event":{"schema":"HealthHeartbeat"},"subject":"events.v1.Health.Heartbeat","version":"v1"}},"format":"trellis.contract.v1","id":"trellis.health@v1","kind":"service","schemas":{"HealthHeartbeat":{"properties":{"checks":{"items":{"properties":{"error":{"type":"string"},"info":{"patternProperties":{"^.*$":{}},"type":"object"},"latencyMs":{"type":"number"},"name":{"type":"string"},"status":{"anyOf":[{"const":"ok","type":"string"},{"const":"failed","type":"string"}]},"summary":{"type":"string"}},"required":["name","status","latencyMs"],"type":"object"},"type":"array"},"header":{"properties":{"id":{"type":"string"},"time":{"format":"date-time","type":"string"}},"required":["id","time"],"type":"object"},"service":{"properties":{"contractDigest":{"type":"string"},"contractId":{"type":"string"},"info":{"patternProperties":{"^.*$":{}},"type":"object"},"instanceId":{"type":"string"},"kind":{"anyOf":[{"const":"service","type":"string"},{"const":"device","type":"string"}]},"name":{"type":"string"},"publishIntervalMs":{"minimum":1,"type":"integer"},"runtime":{"anyOf":[{"const":"deno","type":"string"},{"const":"node","type":"string"},{"const":"rust","type":"string"},{"const":"unknown","type":"string"}]},"runtimeVersion":{"type":"string"},"startedAt":{"format":"date-time","type":"string"},"version":{"type":"string"}},"required":["name","kind","instanceId","contractId","contractDigest","startedAt","publishIntervalMs","runtime"],"type":"object"},"status":{"anyOf":[{"const":"healthy","type":"string"},{"const":"unhealthy","type":"string"},{"const":"degraded","type":"string"}]},"summary":{"type":"string"}},"required":["header","service","status","checks"],"type":"object"}}} as TrellisContractV1;
+export const CONTRACT_DIGEST =
+  "RHDzeH2V6Nltzk6WklCLbTIK48hF0hNuO9Qk6-BosT4" as const;
+export const CONTRACT = {
+  "description":
+    "Expose shared Trellis heartbeat events for service observability.",
+  "displayName": "Trellis Health",
+  "docs": {
+    "markdown":
+      "Defines the heartbeat event services publish so operators can observe service liveness.",
+    "summary": "Service heartbeat events.",
+  },
+  "events": {
+    "Health.Heartbeat": {
+      "docs": {
+        "markdown":
+          "Emitted by services to report runtime identity, uptime, and health metadata.",
+        "summary": "Publish service liveness.",
+      },
+      "event": { "schema": "HealthHeartbeat" },
+      "subject": "events.v1.Health.Heartbeat",
+      "version": "v1",
+    },
+  },
+  "format": "trellis.contract.v1",
+  "id": "trellis.health@v1",
+  "kind": "service",
+  "schemas": {
+    "HealthHeartbeat": {
+      "properties": {
+        "checks": {
+          "items": {
+            "properties": {
+              "error": { "type": "string" },
+              "info": { "patternProperties": { "^.*$": {} }, "type": "object" },
+              "latencyMs": { "type": "number" },
+              "name": { "type": "string" },
+              "status": {
+                "anyOf": [{ "const": "ok", "type": "string" }, {
+                  "const": "failed",
+                  "type": "string",
+                }],
+              },
+              "summary": { "type": "string" },
+            },
+            "required": ["name", "status", "latencyMs"],
+            "type": "object",
+          },
+          "type": "array",
+        },
+        "header": {
+          "properties": {
+            "id": { "type": "string" },
+            "time": { "format": "date-time", "type": "string" },
+          },
+          "required": ["id", "time"],
+          "type": "object",
+        },
+        "service": {
+          "properties": {
+            "contractDigest": { "type": "string" },
+            "contractId": { "type": "string" },
+            "info": { "patternProperties": { "^.*$": {} }, "type": "object" },
+            "instanceId": { "type": "string" },
+            "kind": {
+              "anyOf": [{ "const": "service", "type": "string" }, {
+                "const": "device",
+                "type": "string",
+              }],
+            },
+            "name": { "type": "string" },
+            "publishIntervalMs": { "minimum": 1, "type": "integer" },
+            "runtime": {
+              "anyOf": [
+                { "const": "deno", "type": "string" },
+                { "const": "node", "type": "string" },
+                { "const": "rust", "type": "string" },
+                { "const": "unknown", "type": "string" },
+              ],
+            },
+            "runtimeVersion": { "type": "string" },
+            "startedAt": { "format": "date-time", "type": "string" },
+            "version": { "type": "string" },
+          },
+          "required": [
+            "name",
+            "kind",
+            "instanceId",
+            "contractId",
+            "contractDigest",
+            "startedAt",
+            "publishIntervalMs",
+            "runtime",
+          ],
+          "type": "object",
+        },
+        "status": {
+          "anyOf": [{ "const": "healthy", "type": "string" }, {
+            "const": "unhealthy",
+            "type": "string",
+          }, { "const": "degraded", "type": "string" }],
+        },
+        "summary": { "type": "string" },
+      },
+      "required": ["header", "service", "status", "checks"],
+      "type": "object",
+    },
+  },
+} as TrellisContractV1;
 
 function assertSelectedKeysExist(
   kind: "rpc" | "operations" | "events" | "feeds",
@@ -19,14 +132,20 @@ function assertSelectedKeysExist(
 
   for (const key of keys) {
     if (!Object.hasOwn(api, key)) {
-      throw new Error(`Contract '${CONTRACT_ID}' does not expose ${kind} key '${key}'`);
+      throw new Error(
+        `Contract '${CONTRACT_ID}' does not expose ${kind} key '${key}'`,
+      );
     }
   }
 }
 
 function assertValidUseSpec(spec: UseSpec<typeof API.owned>) {
   assertSelectedKeysExist("rpc", spec.rpc?.call, API.owned.rpc);
-  assertSelectedKeysExist("operations", spec.operations?.call, API.owned.operations);
+  assertSelectedKeysExist(
+    "operations",
+    spec.operations?.call,
+    API.owned.operations,
+  );
   assertSelectedKeysExist("events", spec.events?.publish, API.owned.events);
   assertSelectedKeysExist("events", spec.events?.subscribe, API.owned.events);
   assertSelectedKeysExist("feeds", spec.feeds?.subscribe, API.owned.feeds);
@@ -37,22 +156,30 @@ export const sdk: SdkContractModule<typeof CONTRACT_ID, typeof API.owned> = {
   CONTRACT_DIGEST,
   CONTRACT,
   API,
-  use: (<const TSpec extends UseSpec<typeof API.owned>>(spec: TSpec) => {
+  use: <const TSpec extends UseSpec<typeof API.owned>>(spec: TSpec) => {
     assertValidUseSpec(spec);
 
     const dependencyUse = {
       contract: CONTRACT_ID,
       ...(spec.rpc?.call ? { rpc: { call: [...spec.rpc.call] } } : {}),
-      ...(spec.operations?.call ? { operations: { call: [...spec.operations.call] } } : {}),
+      ...(spec.operations?.call
+        ? { operations: { call: [...spec.operations.call] } }
+        : {}),
       ...((spec.events?.publish || spec.events?.subscribe)
         ? {
           events: {
-            ...(spec.events.publish ? { publish: [...spec.events.publish] } : {}),
-            ...(spec.events.subscribe ? { subscribe: [...spec.events.subscribe] } : {}),
+            ...(spec.events.publish
+              ? { publish: [...spec.events.publish] }
+              : {}),
+            ...(spec.events.subscribe
+              ? { subscribe: [...spec.events.subscribe] }
+              : {}),
           },
         }
         : {}),
-      ...(spec.feeds?.subscribe ? { feeds: { subscribe: [...spec.feeds.subscribe] } } : {}),
+      ...(spec.feeds?.subscribe
+        ? { feeds: { subscribe: [...spec.feeds.subscribe] } }
+        : {}),
     };
 
     Object.defineProperty(dependencyUse, CONTRACT_MODULE_METADATA, {
@@ -60,8 +187,12 @@ export const sdk: SdkContractModule<typeof CONTRACT_ID, typeof API.owned> = {
       enumerable: false,
     });
 
-    return dependencyUse as ContractDependencyUse<typeof CONTRACT_ID, typeof API.owned, TSpec>;
-  }),
+    return dependencyUse as ContractDependencyUse<
+      typeof CONTRACT_ID,
+      typeof API.owned,
+      TSpec
+    >;
+  },
 };
 
 export const use = sdk.use;