@qlever-llc/trellis 0.10.2 → 0.10.3-rc.4

package/script/npm/src/contract_support/mod.d.ts

@@ -1,1188 +0,0 @@
-import Type, { type Static, type TObject, type TProperties, type TSchema } from "typebox";
-import type { BaseError } from "@qlever-llc/result";
-import type { AuthSessionsMeResponse } from "../auth/protocol.js";
-import { TrellisError } from "../errors/TrellisError.js";
-import type { AuthSessionsLogoutInput, AuthSessionsLogoutResponse } from "../models/auth/rpc/Logout.js";
-import type { StateDeleteInput, StateDeleteResponse } from "../models/trellis/rpc/StateDelete.js";
-import type { StateGetInput, StateGetResponse } from "../models/trellis/rpc/StateGet.js";
-import type { StateListInput, StateListResponse } from "../models/trellis/rpc/StateList.js";
-import type { StatePutInput, StatePutResponse } from "../models/trellis/rpc/StatePut.js";
-import { canonicalizeJson, digestJson, isJsonValue, type JsonValue } from "./canonical.js";
-import { type EventDesc, type FeedDesc, type InferRuntimeRpcError, type InferSchemaType, type OperationDesc, type RPCDesc, type RpcErrorClass, type RuntimeRpcErrorDesc, type Schema, schema, type SchemaLike, type SerializableErrorData, type TrellisAPI, unwrapSchema } from "./runtime.js";
-import { type SubjectParam } from "./schema_pointers.js";
-import { type ContractEventConsumers } from "./protocol.js";
-export { type ContractEventConsumerEvent, ContractEventConsumerEventSchema, type ContractEventConsumerGroup, ContractEventConsumerGroupSchema, type ContractEventConsumers, ContractEventConsumersSchema, ContractJobQueueSchema, ContractJobsSchema, ContractKvResourceSchema, ContractResourceBindingsSchema, ContractResourcesSchema, ContractSchemaRefSchema, ContractStateSchema, ContractStateStoreSchema, ContractStoreResourceSchema, type EventConsumerResourceBinding, EventConsumerResourceBindingSchema, type EventHeader, EventHeaderSchema, type InstalledServiceContract, InstalledServiceContractSchema, IsoDateSchema, type JobsQueueBinding, JobsQueueBindingSchema, type JobsResourceBinding, JobsResourceBindingSchema, type KvResourceBinding, KvResourceBindingSchema, type PageRequest, PageRequestSchema, type PageResponse, PageResponseSchema, type StoreResourceBinding, StoreResourceBindingSchema, } from "./protocol.js";
-export declare const CONTRACT_FORMAT_V1: "trellis.contract.v1";
-export declare const CATALOG_FORMAT_V1: "trellis.catalog.v1";
-export declare const ContractDocsSchema: Type.TObject<{
-    summary: Type.TOptional<Type.TString>;
-    markdown: Type.TString;
-}>;
-export declare const ContractCapabilityMetadataSchema: Type.TObject<{
-    displayName: Type.TString;
-    description: Type.TString;
-    consequence: Type.TOptional<Type.TString>;
-}>;
-export declare const ContractCapabilitiesSchema: Type.TRecord<"^.*$", Type.TObject<{
-    displayName: Type.TString;
-    description: Type.TString;
-    consequence: Type.TOptional<Type.TString>;
-}>>;
-export declare const ContractExportsSchema: Type.TObject<{
-    schemas: Type.TOptional<Type.TArray<Type.TString>>;
-}>;
-export declare const ContractUsesSchema: Type.TObject<{
-    required: Type.TOptional<Type.TRecord<"^.*$", Type.TObject<{
-        contract: Type.TString;
-        rpc: Type.TOptional<Type.TObject<{
-            call: Type.TOptional<Type.TArray<Type.TString>>;
-        }>>;
-        operations: Type.TOptional<Type.TObject<{
-            call: Type.TOptional<Type.TArray<Type.TString>>;
-        }>>;
-        events: Type.TOptional<Type.TObject<{
-            publish: Type.TOptional<Type.TArray<Type.TString>>;
-            subscribe: Type.TOptional<Type.TArray<Type.TString>>;
-        }>>;
-        feeds: Type.TOptional<Type.TObject<{
-            subscribe: Type.TOptional<Type.TArray<Type.TString>>;
-        }>>;
-    }>>>;
-    optional: Type.TOptional<Type.TRecord<"^.*$", Type.TObject<{
-        contract: Type.TString;
-        rpc: Type.TOptional<Type.TObject<{
-            call: Type.TOptional<Type.TArray<Type.TString>>;
-        }>>;
-        operations: Type.TOptional<Type.TObject<{
-            call: Type.TOptional<Type.TArray<Type.TString>>;
-        }>>;
-        events: Type.TOptional<Type.TObject<{
-            publish: Type.TOptional<Type.TArray<Type.TString>>;
-            subscribe: Type.TOptional<Type.TArray<Type.TString>>;
-        }>>;
-        feeds: Type.TOptional<Type.TObject<{
-            subscribe: Type.TOptional<Type.TArray<Type.TString>>;
-        }>>;
-    }>>>;
-}>;
-export declare const TrellisContractV1Schema: Type.TObject<{
-    format: Type.TLiteral<"trellis.contract.v1">;
-    id: Type.TString;
-    displayName: Type.TString;
-    description: Type.TString;
-    docs: Type.TOptional<Type.TObject<{
-        summary: Type.TOptional<Type.TString>;
-        markdown: Type.TString;
-    }>>;
-    kind: Type.TUnion<[Type.TLiteral<"service">, Type.TLiteral<"app">, Type.TLiteral<"device">, Type.TLiteral<"agent">]>;
-    capabilities: Type.TOptional<Type.TRecord<"^.*$", Type.TObject<{
-        displayName: Type.TString;
-        description: Type.TString;
-        consequence: Type.TOptional<Type.TString>;
-    }>>>;
-    schemas: Type.TOptional<Type.TRecord<"^.*$", Type.TUnion<[Type.TObject<{}>, Type.TBoolean]>>>;
-    exports: Type.TOptional<Type.TObject<{
-        schemas: Type.TOptional<Type.TArray<Type.TString>>;
-    }>>;
-    uses: Type.TOptional<Type.TObject<{
-        required: Type.TOptional<Type.TRecord<"^.*$", Type.TObject<{
-            contract: Type.TString;
-            rpc: Type.TOptional<Type.TObject<{
-                call: Type.TOptional<Type.TArray<Type.TString>>;
-            }>>;
-            operations: Type.TOptional<Type.TObject<{
-                call: Type.TOptional<Type.TArray<Type.TString>>;
-            }>>;
-            events: Type.TOptional<Type.TObject<{
-                publish: Type.TOptional<Type.TArray<Type.TString>>;
-                subscribe: Type.TOptional<Type.TArray<Type.TString>>;
-            }>>;
-            feeds: Type.TOptional<Type.TObject<{
-                subscribe: Type.TOptional<Type.TArray<Type.TString>>;
-            }>>;
-        }>>>;
-        optional: Type.TOptional<Type.TRecord<"^.*$", Type.TObject<{
-            contract: Type.TString;
-            rpc: Type.TOptional<Type.TObject<{
-                call: Type.TOptional<Type.TArray<Type.TString>>;
-            }>>;
-            operations: Type.TOptional<Type.TObject<{
-                call: Type.TOptional<Type.TArray<Type.TString>>;
-            }>>;
-            events: Type.TOptional<Type.TObject<{
-                publish: Type.TOptional<Type.TArray<Type.TString>>;
-                subscribe: Type.TOptional<Type.TArray<Type.TString>>;
-            }>>;
-            feeds: Type.TOptional<Type.TObject<{
-                subscribe: Type.TOptional<Type.TArray<Type.TString>>;
-            }>>;
-        }>>>;
-    }>>;
-    state: Type.TOptional<Type.TRecord<"^.*$", Type.TObject<{
-        kind: Type.TUnion<[Type.TLiteral<"value">, Type.TLiteral<"map">]>;
-        schema: Type.TObject<{
-            schema: Type.TString;
-        }>;
-        stateVersion: Type.TOptional<Type.TString>;
-        acceptedVersions: Type.TOptional<Type.TRecord<"^.*$", Type.TObject<{
-            schema: Type.TString;
-        }>>>;
-        docs: Type.TOptional<Type.TObject<{
-            summary: Type.TOptional<Type.TString>;
-            markdown: Type.TString;
-        }>>;
-    }>>>;
-    rpc: Type.TOptional<Type.TRecord<"^.*$", Type.TObject<{
-        version: Type.TString;
-        subject: Type.TString;
-        input: Type.TObject<{
-            schema: Type.TString;
-        }>;
-        output: Type.TObject<{
-            schema: Type.TString;
-        }>;
-        capabilities: Type.TOptional<Type.TObject<{
-            call: Type.TOptional<Type.TArray<Type.TString>>;
-        }>>;
-        errors: Type.TOptional<Type.TArray<Type.TObject<{
-            type: Type.TString;
-        }>>>;
-        transfer: Type.TOptional<Type.TObject<{
-            direction: Type.TLiteral<"receive">;
-        }>>;
-        internal: Type.TOptional<Type.TBoolean>;
-        docs: Type.TOptional<Type.TObject<{
-            summary: Type.TOptional<Type.TString>;
-            markdown: Type.TString;
-        }>>;
-    }>>>;
-    operations: Type.TOptional<Type.TRecord<"^.*$", Type.TObject<{
-        version: Type.TString;
-        subject: Type.TString;
-        input: Type.TObject<{
-            schema: Type.TString;
-        }>;
-        progress: Type.TOptional<Type.TObject<{
-            schema: Type.TString;
-        }>>;
-        output: Type.TObject<{
-            schema: Type.TString;
-        }>;
-        transfer: Type.TOptional<Type.TObject<{
-            direction: Type.TLiteral<"send">;
-            store: Type.TString;
-            key: Type.TString;
-            contentType: Type.TOptional<Type.TString>;
-            metadata: Type.TOptional<Type.TString>;
-            expiresInMs: Type.TOptional<Type.TInteger>;
-            maxBytes: Type.TOptional<Type.TInteger>;
-        }>>;
-        capabilities: Type.TOptional<Type.TObject<{
-            call: Type.TOptional<Type.TArray<Type.TString>>;
-            observe: Type.TOptional<Type.TArray<Type.TString>>;
-            cancel: Type.TOptional<Type.TArray<Type.TString>>;
-            control: Type.TOptional<Type.TArray<Type.TString>>;
-        }>>;
-        signals: Type.TOptional<Type.TRecord<"^.*$", Type.TObject<{
-            input: Type.TObject<{
-                schema: Type.TString;
-            }>;
-            docs: Type.TOptional<Type.TObject<{
-                summary: Type.TOptional<Type.TString>;
-                markdown: Type.TString;
-            }>>;
-        }>>>;
-        cancel: Type.TOptional<Type.TBoolean>;
-        docs: Type.TOptional<Type.TObject<{
-            summary: Type.TOptional<Type.TString>;
-            markdown: Type.TString;
-        }>>;
-    }>>>;
-    events: Type.TOptional<Type.TRecord<"^.*$", Type.TObject<{
-        version: Type.TString;
-        subject: Type.TString;
-        params: Type.TOptional<Type.TArray<Type.TString>>;
-        event: Type.TObject<{
-            schema: Type.TString;
-        }>;
-        capabilities: Type.TOptional<Type.TObject<{
-            publish: Type.TOptional<Type.TArray<Type.TString>>;
-            subscribe: Type.TOptional<Type.TArray<Type.TString>>;
-        }>>;
-        docs: Type.TOptional<Type.TObject<{
-            summary: Type.TOptional<Type.TString>;
-            markdown: Type.TString;
-        }>>;
-    }>>>;
-    feeds: Type.TOptional<Type.TRecord<"^.*$", Type.TObject<{
-        version: Type.TString;
-        subject: Type.TString;
-        input: Type.TObject<{
-            schema: Type.TString;
-        }>;
-        event: Type.TObject<{
-            schema: Type.TString;
-        }>;
-        capabilities: Type.TOptional<Type.TObject<{
-            subscribe: Type.TOptional<Type.TArray<Type.TString>>;
-        }>>;
-        docs: Type.TOptional<Type.TObject<{
-            summary: Type.TOptional<Type.TString>;
-            markdown: Type.TString;
-        }>>;
-    }>>>;
-    errors: Type.TOptional<Type.TRecord<"^.*$", Type.TObject<{
-        type: Type.TString;
-        schema: Type.TOptional<Type.TObject<{
-            schema: Type.TString;
-        }>>;
-    }>>>;
-    jobs: Type.TOptional<Type.TRecord<"^.*$", Type.TObject<{
-        payload: Type.TObject<{
-            schema: Type.TString;
-        }>;
-        result: Type.TOptional<Type.TObject<{
-            schema: Type.TString;
-        }>>;
-        maxDeliver: Type.TOptional<Type.TInteger>;
-        backoffMs: Type.TOptional<Type.TArray<Type.TInteger>>;
-        ackWaitMs: Type.TOptional<Type.TInteger>;
-        defaultDeadlineMs: Type.TOptional<Type.TInteger>;
-        progress: Type.TOptional<Type.TBoolean>;
-        logs: Type.TOptional<Type.TBoolean>;
-        dlq: Type.TOptional<Type.TBoolean>;
-        concurrency: Type.TOptional<Type.TInteger>;
-        docs: Type.TOptional<Type.TObject<{
-            summary: Type.TOptional<Type.TString>;
-            markdown: Type.TString;
-        }>>;
-    }>>>;
-    eventConsumers: Type.TOptional<Type.TRecord<"^.*$", Type.TObject<{
-        events: Type.TArray<Type.TObject<{
-            use: Type.TString;
-            event: Type.TString;
-        }>>;
-        replay: Type.TOptional<Type.TUnion<[Type.TLiteral<"new">, Type.TLiteral<"all">]>>;
-        ordering: Type.TOptional<Type.TLiteral<"strict">>;
-        concurrency: Type.TOptional<Type.TInteger>;
-        ackWaitMs: Type.TOptional<Type.TInteger>;
-        maxDeliver: Type.TOptional<Type.TInteger>;
-        backoffMs: Type.TOptional<Type.TArray<Type.TInteger>>;
-        docs: Type.TOptional<Type.TObject<{
-            summary: Type.TOptional<Type.TString>;
-            markdown: Type.TString;
-        }>>;
-    }>>>;
-    resources: Type.TOptional<Type.TObject<{
-        kv: Type.TOptional<Type.TRecord<"^.*$", Type.TObject<{
-            purpose: Type.TString;
-            schema: Type.TObject<{
-                schema: Type.TString;
-            }>;
-            required: Type.TOptional<Type.TBoolean>;
-            history: Type.TOptional<Type.TInteger>;
-            ttlMs: Type.TOptional<Type.TInteger>;
-            maxValueBytes: Type.TOptional<Type.TInteger>;
-            docs: Type.TOptional<Type.TObject<{
-                summary: Type.TOptional<Type.TString>;
-                markdown: Type.TString;
-            }>>;
-        }>>>;
-        store: Type.TOptional<Type.TRecord<"^.*$", Type.TObject<{
-            purpose: Type.TString;
-            required: Type.TOptional<Type.TBoolean>;
-            ttlMs: Type.TOptional<Type.TInteger>;
-            maxObjectBytes: Type.TOptional<Type.TInteger>;
-            maxTotalBytes: Type.TOptional<Type.TInteger>;
-            docs: Type.TOptional<Type.TObject<{
-                summary: Type.TOptional<Type.TString>;
-                markdown: Type.TString;
-            }>>;
-        }>>>;
-    }>>;
-}>;
-export declare const TrellisCatalogV1Schema: Type.TObject<{
-    format: Type.TLiteral<"trellis.catalog.v1">;
-    contracts: Type.TArray<Type.TObject<{
-        id: Type.TString;
-        digest: Type.TString;
-        displayName: Type.TString;
-        description: Type.TString;
-    }>>;
-}>;
-declare const CONTRACT_MODULE_METADATA: unique symbol;
-export declare const CONTRACT_JOBS_METADATA: unique symbol;
-export declare const CONTRACT_KV_METADATA: unique symbol;
-export declare const CONTRACT_STATE_METADATA: unique symbol;
-type UnionToIntersection<U> = (U extends unknown ? (value: U) => void : never) extends (value: infer I) => void ? I : never;
-type Simplify<T> = {
-    [K in keyof T]: T[K];
-} & {};
-type StringKeyOf<T> = Extract<keyof T, string>;
-type KeysFromList<T> = T extends readonly (infer K)[] ? Extract<K, string> : never;
-declare const DEFINED_ERROR_PAYLOAD: unique symbol;
-export type ContractManifestMetadata = {
-    displayName: string;
-    description: string;
-    docs?: ContractDocs;
-};
-export type ContractDocs = {
-    summary?: string;
-    markdown: string;
-};
-export type ContractKind = "service" | "app" | "device" | "agent";
-export type Capability = string;
-export type PlatformCapability = "admin" | "service";
-export type GlobalCapability = `${string}::${string}`;
-export type ContractCapabilityMetadata = {
-    displayName: string;
-    description: string;
-    consequence?: string;
-};
-export type ContractCapabilities = Record<string, ContractCapabilityMetadata>;
-type DeclaredCapabilityName<TCapabilities> = [TCapabilities] extends [undefined] ? never : Extract<keyof NonNullable<TCapabilities>, string>;
-type CapabilityRef<TCapabilities> = DeclaredCapabilityName<TCapabilities> | GlobalCapability | PlatformCapability;
-export type JsonSchema = JsonValue | boolean;
-export type ContractSchemaRef<TSchemaName extends string = string> = {
-    schema: TSchemaName;
-};
-export type BuiltinContractErrorName = "UnexpectedError" | "TransportError" | "AuthError" | "ValidationError" | "KVError" | "StoreError" | "TransferError";
-type ErrorNameOf<TErrors> = Extract<keyof NonNullable<TErrors>, string> | BuiltinContractErrorName;
-export type ContractRefBuilder<TSchemas extends Readonly<Record<string, TSchema>> | undefined = undefined, TErrors extends Readonly<Record<string, ErrorClass>> | undefined = undefined> = {
-    schema<const TName extends SchemaNameOf<TSchemas>>(schemaName: TName): ContractSchemaRef<TName>;
-    error<const TName extends ErrorNameOf<TErrors>>(errorName: TName): TName;
-    capability<const TName extends GlobalCapability | PlatformCapability>(capabilityName: TName): TName;
-};
-export type ContractSchemas = Record<string, JsonSchema>;
-export type ContractExports<TSchemaName extends string = string> = {
-    schemas?: TSchemaName[];
-};
-export type ContractStateKind = "value" | "map";
-export type ContractStateStore = {
-    kind: ContractStateKind;
-    schema: ContractSchemaRef;
-    stateVersion?: string;
-    acceptedVersions?: Record<string, ContractSchemaRef>;
-    docs?: ContractDocs;
-};
-export type ContractState = Record<string, ContractStateStore>;
-type ContractIdentityFields = {
-    id: string;
-    displayName: string;
-    description: string;
-    docs?: ContractDocs;
-};
-export type ContractErrorDecl = {
-    type: string;
-    schema?: ContractSchemaRef;
-};
-export type ContractErrorRef = {
-    type: string;
-};
-export type ContractRpcMethod = {
-    version: `v${number}`;
-    subject: string;
-    input: ContractSchemaRef;
-    output: ContractSchemaRef;
-    transfer?: {
-        direction: "receive";
-    };
-    capabilities?: {
-        call?: Capability[];
-    };
-    errors?: ContractErrorRef[];
-    internal?: boolean;
-    docs?: ContractDocs;
-};
-export type ContractOperationSignal = {
-    input: ContractSchemaRef;
-    docs?: ContractDocs;
-};
-export type ContractOperation = {
-    version: `v${number}`;
-    subject: string;
-    input: ContractSchemaRef;
-    progress?: ContractSchemaRef;
-    output: ContractSchemaRef;
-    transfer?: {
-        direction: "send";
-        store: string;
-        key: `/${string}`;
-        contentType?: `/${string}`;
-        metadata?: `/${string}`;
-        expiresInMs?: number;
-        maxBytes?: number;
-    };
-    capabilities?: {
-        call?: Capability[];
-        observe?: Capability[];
-        cancel?: Capability[];
-        control?: Capability[];
-    };
-    signals?: Record<string, ContractOperationSignal>;
-    cancel?: boolean;
-    docs?: ContractDocs;
-};
-export type ContractEvent = {
-    version: `v${number}`;
-    subject: string;
-    params?: string[];
-    event: ContractSchemaRef;
-    capabilities?: {
-        publish?: Capability[];
-        subscribe?: Capability[];
-    };
-    docs?: ContractDocs;
-};
-export type ContractFeed = {
-    version: `v${number}`;
-    subject: string;
-    input: ContractSchemaRef;
-    event: ContractSchemaRef;
-    capabilities?: {
-        subscribe?: Capability[];
-    };
-    docs?: ContractDocs;
-};
-export type ContractJobQueueResource = {
-    payload: ContractSchemaRef;
-    result?: ContractSchemaRef;
-    maxDeliver?: number;
-    backoffMs?: number[];
-    ackWaitMs?: number;
-    defaultDeadlineMs?: number;
-    progress?: boolean;
-    logs?: boolean;
-    dlq?: boolean;
-    concurrency?: number;
-    docs?: ContractDocs;
-};
-export type ContractJobQueue = ContractJobQueueResource;
-export type ContractJobs = Record<string, ContractJobQueue>;
-export type ContractKvResource = {
-    purpose: string;
-    schema: ContractSchemaRef;
-    required?: boolean;
-    history?: number;
-    ttlMs?: number;
-    maxValueBytes?: number;
-    docs?: ContractDocs;
-};
-export type ContractStoreResource = {
-    purpose: string;
-    required?: boolean;
-    ttlMs?: number;
-    maxObjectBytes?: number;
-    maxTotalBytes?: number;
-    docs?: ContractDocs;
-};
-export type ContractResources = {
-    kv?: Record<string, ContractKvResource>;
-    store?: Record<string, ContractStoreResource>;
-};
-export type ContractUsesRpc = {
-    call?: string[];
-};
-export type ContractUsesPubSub = {
-    publish?: string[];
-    subscribe?: string[];
-};
-export type ContractUse = {
-    contract: string;
-    rpc?: ContractUsesRpc;
-    operations?: ContractUsesRpc;
-    events?: ContractUsesPubSub;
-    feeds?: {
-        subscribe?: string[];
-    };
-};
-export type ContractUsesGrouped = {
-    required?: Record<string, ContractUse>;
-    optional?: Record<string, ContractUse>;
-};
-export type ContractUses = ContractUsesGrouped;
-export type TrellisContractV1 = {
-    format: typeof CONTRACT_FORMAT_V1;
-    id: string;
-    displayName: string;
-    description: string;
-    docs?: ContractDocs;
-    kind: ContractKind;
-    capabilities?: ContractCapabilities;
-    schemas?: ContractSchemas;
-    exports?: ContractExports;
-    state?: ContractState;
-    uses?: ContractUses;
-    rpc?: Record<string, ContractRpcMethod>;
-    operations?: Record<string, ContractOperation>;
-    events?: Record<string, ContractEvent>;
-    feeds?: Record<string, ContractFeed>;
-    errors?: Record<string, ContractErrorDecl>;
-    jobs?: ContractJobs;
-    eventConsumers?: ContractEventConsumers;
-    resources?: ContractResources;
-};
-export type TrellisCatalogEntry = {
-    id: string;
-    digest: string;
-    displayName: string;
-    description: string;
-};
-export type TrellisCatalogV1 = {
-    format: typeof CATALOG_FORMAT_V1;
-    contracts: TrellisCatalogEntry[];
-};
-export type ContractSourceErrorDecl<TSchemaName extends string = string> = {
-    type: string;
-    schema?: ContractSchemaRef<TSchemaName>;
-};
-type ExtractErrorClasses<TErrors> = TErrors extends Readonly<Record<string, unknown>> ? {
-    [K in keyof TErrors as TErrors[K] extends ErrorClass ? K : never]: Extract<TErrors[K], ErrorClass>;
-} : undefined;
-export type ErrorClass<TData extends SerializableErrorData = SerializableErrorData, TError extends BaseError = BaseError, TRuntimeSchema extends TSchema = TSchema> = RpcErrorClass<TData, TError> & {
-    readonly name: string;
-    readonly schema: TRuntimeSchema;
-    readonly type?: string;
-};
-type DefinedErrorPayload<TFields extends TProperties> = Static<TObject<TFields>> & object;
-type DefinedErrorData<TType extends string, TFields extends TProperties> = SerializableErrorData & {
-    type: TType;
-} & DefinedErrorPayload<TFields>;
-type DefinedErrorSchema = TObject<TProperties>;
-type DefinedErrorPayloadCarrier<TPayload extends object> = {
-    [DEFINED_ERROR_PAYLOAD]: Readonly<TPayload>;
-};
-export type DefineErrorOptions<TType extends string, TFields extends TProperties> = {
-    type: TType;
-    fields: TFields;
-    message: string | ((payload: Readonly<DefinedErrorPayload<TFields>>) => string);
-};
-export type DefinedErrorInit<TFields extends TProperties> = DefinedErrorPayload<TFields> & ErrorOptions & {
-    context?: Record<string, unknown>;
-    id?: string;
-    traceId?: string;
-};
-export type DefinedErrorInstance<TType extends string, TFields extends TProperties> = TrellisError<DefinedErrorData<TType, TFields>> & DefinedErrorPayloadCarrier<DefinedErrorPayload<TFields>> & Readonly<DefinedErrorPayload<TFields>>;
-export type DefinedErrorClass<TType extends string, TFields extends TProperties> = ErrorClass<DefinedErrorData<TType, TFields>, DefinedErrorInstance<TType, TFields>, DefinedErrorSchema> & {
-    new (options: DefinedErrorInit<TFields>): DefinedErrorInstance<TType, TFields>;
-    readonly type: TType;
-    readonly schema: DefinedErrorSchema;
-    fromSerializable(data: DefinedErrorData<TType, TFields>): DefinedErrorInstance<TType, TFields>;
-};
-export type ContractSourceSchemas = Record<string, TSchema>;
-export type ContractSourceExports<TSchemaName extends string = string> = {
-    schemas?: readonly TSchemaName[];
-};
-export type ContractSourceStateStore<TSchemaName extends string = string> = {
-    kind: ContractStateKind;
-    schema: ContractSchemaRef<TSchemaName>;
-    stateVersion?: string;
-    acceptedVersions?: Record<string, ContractSchemaRef<TSchemaName>>;
-    docs?: ContractDocs;
-};
-export type ContractSourceState<TSchemaName extends string = string> = Record<string, ContractSourceStateStore<TSchemaName>>;
-export type ContractSourceRpcMethod<TSchemaName extends string = string, TErrorName extends string = string, TCapability extends string = Capability> = {
-    version: `v${number}`;
-    input: ContractSchemaRef<TSchemaName>;
-    output: ContractSchemaRef<TSchemaName>;
-    capabilities?: {
-        call?: readonly TCapability[];
-    };
-    transfer?: {
-        direction: "receive";
-    };
-    errors?: readonly TErrorName[];
-    authRequired?: boolean;
-    subject?: string;
-    internal?: boolean;
-    docs?: ContractDocs;
-};
-export type ContractSourceOperationSignal<TSchemaName extends string = string> = {
-    input: ContractSchemaRef<TSchemaName>;
-    docs?: ContractDocs;
-};
-export type ContractSourceOperation<TSchemaName extends string = string, TCapability extends string = Capability> = {
-    version: `v${number}`;
-    input: ContractSchemaRef<TSchemaName>;
-    progress?: ContractSchemaRef<TSchemaName>;
-    output: ContractSchemaRef<TSchemaName>;
-    transfer?: {
-        direction: "send";
-        store: string;
-        key: `/${string}`;
-        contentType?: `/${string}`;
-        metadata?: `/${string}`;
-        expiresInMs?: number;
-        maxBytes?: number;
-    };
-    capabilities?: {
-        call?: readonly TCapability[];
-        observe?: readonly TCapability[];
-        cancel?: readonly TCapability[];
-        control?: readonly TCapability[];
-    };
-    signals?: Record<string, ContractSourceOperationSignal<TSchemaName>>;
-    cancel?: boolean;
-    subject?: string;
-    docs?: ContractDocs;
-};
-export type ContractSourceEvent<TSchemaName extends string = string, TCapability extends string = Capability> = {
-    version: `v${number}`;
-    event: ContractSchemaRef<TSchemaName>;
-    params?: readonly SubjectParam[];
-    capabilities?: {
-        publish?: readonly TCapability[];
-        subscribe?: readonly TCapability[];
-    };
-    subject?: string;
-    docs?: ContractDocs;
-};
-export type ContractSourceFeed<TSchemaName extends string = string, TCapability extends string = Capability> = {
-    version: `v${number}`;
-    input: ContractSchemaRef<TSchemaName>;
-    event: ContractSchemaRef<TSchemaName>;
-    capabilities?: {
-        subscribe?: readonly TCapability[];
-    };
-    subject?: string;
-    docs?: ContractDocs;
-};
-export type ContractSourceJobQueue<TSchemaName extends string = string> = {
-    payload: ContractSchemaRef<TSchemaName>;
-    result?: ContractSchemaRef<TSchemaName>;
-    maxDeliver?: number;
-    backoffMs?: readonly number[];
-    ackWaitMs?: number;
-    defaultDeadlineMs?: number;
-    progress?: boolean;
-    logs?: boolean;
-    dlq?: boolean;
-    concurrency?: number;
-    docs?: ContractDocs;
-};
-export type ContractSourceJobs<TSchemaName extends string = string> = Record<string, ContractSourceJobQueue<TSchemaName>>;
-export type ContractSourceEventConsumerEvent = {
-    use: string;
-    event: string;
-};
-export type ContractSourceEventConsumerGroup = {
-    events: readonly ContractSourceEventConsumerEvent[];
-    replay?: "new" | "all";
-    ordering?: "strict";
-    concurrency?: number;
-    ackWaitMs?: number;
-    maxDeliver?: number;
-    backoffMs?: readonly number[];
-    docs?: ContractDocs;
-};
-export type ContractSourceEventConsumers = Record<string, ContractSourceEventConsumerGroup>;
-export type ContractSourceKvResource<TSchemaName extends string = string> = {
-    purpose: string;
-    schema: ContractSchemaRef<TSchemaName>;
-    required?: boolean;
-    history?: number;
-    ttlMs?: number;
-    maxValueBytes?: number;
-    docs?: ContractDocs;
-};
-export type ContractSourceStoreResource = {
-    purpose: string;
-    required?: boolean;
-    ttlMs?: number;
-    maxObjectBytes?: number;
-    maxTotalBytes?: number;
-    docs?: ContractDocs;
-};
-export type ContractSourceResources<TSchemaName extends string = string> = {
-    kv?: Record<string, ContractSourceKvResource<TSchemaName>>;
-    store?: Record<string, ContractSourceStoreResource>;
-};
-export type ContractSourceUse = {
-    contract: string;
-    rpc?: {
-        call?: readonly string[];
-    };
-    operations?: {
-        call?: readonly string[];
-    };
-    events?: {
-        publish?: readonly string[];
-        subscribe?: readonly string[];
-    };
-    feeds?: {
-        subscribe?: readonly string[];
-    };
-};
-export type ContractSourceUsesGrouped = {
-    required?: Record<string, ContractSourceUse>;
-    optional?: Record<string, ContractSourceUse>;
-};
-export type ContractSourceUses = ContractSourceUsesGrouped;
-export type TrellisContractSource = {
-    id: string;
-    displayName: string;
-    description: string;
-    docs?: ContractDocs;
-    kind: ContractKind;
-    capabilities?: ContractCapabilities;
-    schemas?: ContractSourceSchemas;
-    exports?: ContractSourceExports;
-    state?: ContractSourceState;
-    uses?: ContractSourceUses;
-    rpc?: Record<string, ContractSourceRpcMethod>;
-    operations?: Record<string, ContractSourceOperation>;
-    events?: Record<string, ContractSourceEvent>;
-    feeds?: Record<string, ContractSourceFeed>;
-    errors?: Record<string, ContractSourceErrorDecl>;
-    jobs?: ContractSourceJobs;
-    eventConsumers?: ContractSourceEventConsumers;
-    resources?: ContractSourceResources;
-};
-export type TrellisApiLike = {
-    rpc: Record<string, RPCDesc>;
-    operations: Record<string, OperationDesc>;
-    events: Record<string, EventDesc>;
-    feeds?: Record<string, FeedDesc>;
-    subjects: Record<string, unknown>;
-};
-type ApiShape = {
-    rpc: Record<string, unknown>;
-    operations: Record<string, unknown>;
-    events: Record<string, unknown>;
-    feeds?: Record<string, unknown>;
-    subjects: Record<string, unknown>;
-};
-export type EmptyApi = {
-    rpc: {};
-    operations: {};
-    events: {};
-    feeds?: {};
-    subjects: {};
-};
-type BaselineAuthApi = {
-    rpc: {
-        "Auth.Sessions.Me": RPCDesc<Schema<Record<string, never>>, Schema<AuthSessionsMeResponse>>;
-        "Auth.Sessions.Logout": RPCDesc<Schema<AuthSessionsLogoutInput>, Schema<AuthSessionsLogoutResponse>>;
-    };
-    operations: {};
-    events: {};
-    feeds: {};
-    subjects: {};
-};
-type BaselineStateApi = {
-    rpc: {
-        "State.Get": RPCDesc<Schema<StateGetInput>, Schema<StateGetResponse>>;
-        "State.Put": RPCDesc<Schema<StatePutInput>, Schema<StatePutResponse>>;
-        "State.Delete": RPCDesc<Schema<StateDeleteInput>, Schema<StateDeleteResponse>>;
-        "State.List": RPCDesc<Schema<StateListInput>, Schema<StateListResponse>>;
-    };
-    operations: {};
-    events: {};
-    feeds: {};
-    subjects: {};
-};
-type BaselineHealthApi = {
-    rpc: {};
-    operations: {};
-    events: {
-        "Health.Heartbeat": EventDesc<Schema<Record<string, unknown>>>;
-    };
-    feeds: {};
-    subjects: {};
-};
-export type ContractApiViews<TOwnedApi extends ApiShape, TUsedApi extends ApiShape, TTrellisApi extends ApiShape> = {
-    owned: TOwnedApi;
-    used: TUsedApi;
-    trellis?: TTrellisApi;
-};
-export type UseSpec<TApi extends ApiShape> = {
-    rpc?: {
-        call?: readonly StringKeyOf<TApi["rpc"]>[];
-    };
-    operations?: {
-        call?: readonly StringKeyOf<TApi["operations"]>[];
-    };
-    events?: {
-        publish?: readonly StringKeyOf<TApi["events"]>[];
-        subscribe?: readonly StringKeyOf<TApi["events"]>[];
-    };
-    feeds?: {
-        subscribe?: readonly StringKeyOf<NonNullable<TApi["feeds"]>>[];
-    };
-};
-type UseRpcCall<TSpec> = NonNullable<TSpec extends {
-    rpc?: infer TRpc;
-} ? TRpc : never> extends {
-    call?: infer TCall extends readonly string[] | undefined;
-} ? TCall : never;
-type UseEventsPublish<TSpec> = NonNullable<TSpec extends {
-    events?: infer TEvents;
-} ? TEvents : never> extends {
-    publish?: infer TPublish extends readonly string[] | undefined;
-} ? TPublish : never;
-type UseOperationsCall<TSpec> = NonNullable<TSpec extends {
-    operations?: infer TOperations;
-} ? TOperations : never> extends {
-    call?: infer TCall extends readonly string[] | undefined;
-} ? TCall : never;
-type UseEventsSubscribe<TSpec> = NonNullable<TSpec extends {
-    events?: infer TEvents;
-} ? TEvents : never> extends {
-    subscribe?: infer TSubscribe extends readonly string[] | undefined;
-} ? TSubscribe : never;
-type UseFeedsSubscribe<TSpec> = NonNullable<TSpec extends {
-    feeds?: infer TFeeds;
-} ? TFeeds : never> extends {
-    subscribe?: infer TSubscribe extends readonly string[] | undefined;
-} ? TSubscribe : never;
-export type ContractDependencyUse<TContractId extends string, TApi extends ApiShape, TSpec extends UseSpec<TApi> = UseSpec<TApi>> = {
-    contract: TContractId;
-    readonly [CONTRACT_MODULE_METADATA]?: ContractModule<TContractId, TApi, ApiShape, ApiShape>;
-    rpc?: {
-        call?: UseRpcCall<TSpec>;
-    };
-    operations?: {
-        call?: UseOperationsCall<TSpec>;
-    };
-    events?: {
-        publish?: UseEventsPublish<TSpec>;
-        subscribe?: UseEventsSubscribe<TSpec>;
-    };
-    feeds?: {
-        subscribe?: UseFeedsSubscribe<TSpec>;
-    };
-};
-type AuthorContractDependencyUse = ContractDependencyUse<string, ApiShape, UseSpec<ApiShape>>;
-type AuthorContractUsesFlat = Readonly<Record<string, AuthorContractDependencyUse>>;
-type AuthorContractUsesGrouped = {
-    required?: AuthorContractUsesFlat;
-    optional?: AuthorContractUsesFlat;
-};
-type AuthorContractUses = AuthorContractUsesGrouped;
-export type ContractUseFn<TContractId extends string, TApi extends ApiShape> = <const TSpec extends UseSpec<TApi>>(spec: TSpec) => ContractDependencyUse<TContractId, TApi, TSpec>;
-type MergeRecordUnion<U> = [U] extends [never] ? {} : Simplify<UnionToIntersection<U>>;
-type SchemaNameOf<TSchemas> = Extract<keyof NonNullable<TSchemas>, string>;
-type ResolveSchemaFromMap<TSchemas, TRef> = TRef extends {
-    schema: infer TName;
-} ? TName extends SchemaNameOf<TSchemas> ? NonNullable<TSchemas>[TName] extends TSchema ? Schema<import("./runtime.js").InferSchemaType<NonNullable<TSchemas>[TName]>> : Schema<unknown> : Schema<unknown> : Schema<unknown>;
-type ResolveSchemaTypeFromMap<TSchemas, TRef> = TRef extends {
-    schema: infer TName;
-} ? TName extends SchemaNameOf<TSchemas> ? NonNullable<TSchemas>[TName] extends TSchema ? InferSchemaType<NonNullable<TSchemas>[TName]> : unknown : unknown : unknown;
-export type ContractJobsMetadata = Record<string, {
-    payload: unknown;
-    result: unknown;
-}>;
-export type ContractKvMetadata = Record<string, {
-    required: boolean;
-    value: unknown;
-    schema: TSchema;
-}>;
-export type ContractStateMetadata = Record<string, {
-    kind: ContractStateKind;
-    value: unknown;
-    schema: unknown;
-    stateVersion: string;
-    acceptedVersions: Record<string, unknown>;
-}>;
-type ResolveTypeBoxSchemaFromMap<TSchemas, TRef> = TRef extends {
-    schema: infer TName;
-} ? TName extends SchemaNameOf<TSchemas> ? NonNullable<TSchemas>[TName] extends TSchema ? NonNullable<TSchemas>[TName] : TSchema : TSchema : TSchema;
-type ProjectedJobs<T extends ContractSourceJobs<string> | undefined, TSchemas> = T extends ContractSourceJobs<string> ? {
-    [K in keyof T]: {
-        payload: ResolveSchemaTypeFromMap<TSchemas, T[K]["payload"]>;
-        result: ResolveSchemaTypeFromMap<TSchemas, T[K]["result"]>;
-    };
-} : {};
-type ProjectedState<T extends ContractSourceState<string> | undefined, TSchemas> = T extends ContractSourceState<string> ? {
-    [K in keyof T]: T[K] extends {
-        kind: infer TKind extends ContractStateKind;
-    } ? {
-        kind: TKind;
-        value: ResolveSchemaTypeFromMap<TSchemas, T[K]["schema"]>;
-        schema: unknown;
-        stateVersion: T[K] extends {
-            stateVersion: infer TVersion extends string;
-        } ? TVersion : "v1";
-        acceptedVersions: T[K] extends {
-            acceptedVersions: infer TVersions;
-        } ? TVersions : {};
-    } : never;
-} : {};
-type ProjectedKvResources<T extends ContractSourceResources<string> | undefined, TSchemas> = T extends {
-    kv?: infer TKv;
-} ? TKv extends Record<string, {
-    schema: ContractSchemaRef<string>;
-    required?: boolean;
-}> ? {
-    [K in keyof TKv]: {
-        required: TKv[K] extends {
-            required: infer TRequired extends boolean;
-        } ? TRequired : true;
-        value: ResolveSchemaTypeFromMap<TSchemas, TKv[K]["schema"]>;
-        schema: ResolveTypeBoxSchemaFromMap<TSchemas, TKv[K]["schema"]>;
-    };
-} : {} : {};
-type JobsFromSource<T> = T extends {
-    jobs?: infer TJobs;
-} ? Extract<TJobs, ContractSourceJobs<string> | undefined> : undefined;
-type ResourcesFromSource<T> = T extends {
-    resources?: infer TResources;
-} ? Extract<TResources, ContractSourceResources<string> | undefined> : undefined;
-type StateFromSource<T> = T extends {
-    state?: infer TState;
-} ? Extract<TState, ContractSourceState<string> | undefined> : undefined;
-type SchemasFromSource<T> = T extends {
-    schemas?: infer TSchemas;
-} ? TSchemas : undefined;
-type ProjectedRpcMethod<TMethod extends ContractSourceRpcMethod, TSchemas, _TErrors> = {
-    subject: string;
-    input: ResolveSchemaFromMap<TSchemas, TMethod["input"]>;
-    output: ResolveSchemaFromMap<TSchemas, TMethod["output"]>;
-    callerCapabilities: readonly string[];
-    authRequired?: boolean;
-    errors?: TMethod["errors"];
-    runtimeErrors?: readonly RuntimeRpcErrorDesc[];
-    declaredErrorTypes?: readonly string[];
-} & (TMethod extends {
-    transfer: infer TTransfer;
-} ? {
-    transfer: TTransfer;
-} : {});
-type ProjectedRpc<T, TSchemas, TErrors> = T extends Readonly<Record<string, ContractSourceRpcMethod>> ? {
-    [K in keyof T]: ProjectedRpcMethod<T[K], TSchemas, TErrors>;
-} : {};
-type ProjectedOperations<T, TSchemas> = T extends Readonly<Record<string, ContractSourceOperation>> ? {
-    [K in keyof T]: OperationDesc<ResolveSchemaFromMap<TSchemas, T[K]["input"]>, ResolveSchemaFromMap<TSchemas, T[K]["progress"]>, ResolveSchemaFromMap<TSchemas, T[K]["output"]>> & (T[K]["transfer"] extends undefined ? {} : {
-        transfer: T[K]["transfer"];
-    });
-} : {};
-type ProjectedEvents<T, TSchemas> = T extends Readonly<Record<string, ContractSourceEvent>> ? {
-    [K in keyof T]: EventDesc<ResolveSchemaFromMap<TSchemas, T[K]["event"]>>;
-} : {};
-type ProjectedFeeds<T, TSchemas> = T extends Readonly<Record<string, ContractSourceFeed>> ? {
-    [K in keyof T]: FeedDesc<ResolveSchemaFromMap<TSchemas, T[K]["input"]>, ResolveSchemaFromMap<TSchemas, T[K]["event"]>>;
-} : {};
-export type OwnedApiFromSource<T extends {
-    schemas?: Readonly<Record<string, TSchema>>;
-    errors?: unknown;
-    rpc?: unknown;
-    operations?: unknown;
-    events?: unknown;
-    feeds?: unknown;
-}> = {
-    rpc: ProjectedRpc<T["rpc"], T["schemas"], T["errors"]>;
-    operations: ProjectedOperations<T["operations"], T["schemas"]>;
-    events: ProjectedEvents<T["events"], T["schemas"]>;
-    feeds: ProjectedFeeds<T["feeds"], T["schemas"]>;
-    subjects: {};
-};
-type RpcKeysFromSpec<TSpec> = TSpec extends {
-    rpc?: {
-        call?: infer TCall;
-    };
-} ? KeysFromList<TCall> : never;
-type EventKeysFromSpec<TSpec> = (TSpec extends {
-    events?: {
-        publish?: infer TPublish;
-    };
-} ? KeysFromList<TPublish> : never) | (TSpec extends {
-    events?: {
-        subscribe?: infer TSubscribe;
-    };
-} ? KeysFromList<TSubscribe> : never);
-type OperationKeysFromSpec<TSpec> = TSpec extends {
-    operations?: {
-        call?: infer TCall;
-    };
-} ? KeysFromList<TCall> : never;
-type FeedKeysFromSpec<TSpec> = TSpec extends {
-    feeds?: {
-        subscribe?: infer TSubscribe;
-    };
-} ? KeysFromList<TSubscribe> : never;
-type ApiFromDependencyUse<TUse> = TUse extends ContractDependencyUse<string, infer TApi, infer TSpec> ? {
-    rpc: Pick<TApi["rpc"], RpcKeysFromSpec<TSpec>>;
-    operations: Pick<TApi["operations"], OperationKeysFromSpec<TSpec>>;
-    events: Pick<TApi["events"], EventKeysFromSpec<TSpec>>;
-    feeds: Pick<NonNullable<TApi["feeds"]>, FeedKeysFromSpec<TSpec>>;
-    subjects: {};
-} : EmptyApi;
-type DependencyUsesFromUses<TUses> = TUses extends {
-    required?: AuthorContractUsesFlat;
-    optional?: AuthorContractUsesFlat;
-} ? NonNullable<TUses["required"]>[keyof NonNullable<TUses["required"]>] | NonNullable<TUses["optional"]>[keyof NonNullable<TUses["optional"]>] : never;
-export type UsedApiFromUses<TUses> = [TUses] extends [undefined] ? EmptyApi : TUses extends Record<string, unknown> ? {
-    rpc: MergeRecordUnion<ApiFromDependencyUse<DependencyUsesFromUses<TUses>>["rpc"]>;
-    operations: MergeRecordUnion<ApiFromDependencyUse<DependencyUsesFromUses<TUses>>["operations"]>;
-    events: MergeRecordUnion<ApiFromDependencyUse<DependencyUsesFromUses<TUses>>["events"]>;
-    feeds: MergeRecordUnion<ApiFromDependencyUse<DependencyUsesFromUses<TUses>>["feeds"]>;
-    subjects: MergeRecordUnion<ApiFromDependencyUse<DependencyUsesFromUses<TUses>>["subjects"]>;
-} : EmptyApi;
-type ImplicitAuthApiForKind<TKind> = TKind extends "app" | "agent" | "device" ? BaselineAuthApi : EmptyApi;
-type ImplicitStateApiForSource<T> = [StateFromSource<T>] extends [undefined] ? EmptyApi : BaselineStateApi;
-type ImplicitHealthApiForSource<T> = T extends {
-    kind: infer TKind;
-    id: infer TId;
-} ? TId extends "trellis.health@v1" ? EmptyApi : TKind extends "service" | "device" ? BaselineHealthApi : EmptyApi : EmptyApi;
-type ImplicitTrellisApiFromSource<T> = T extends {
-    kind: infer TKind;
-} ? MergeApis<MergeApis<ImplicitAuthApiForKind<TKind>, ImplicitStateApiForSource<T>>, ImplicitHealthApiForSource<T>> : EmptyApi;
-export type UsedApiFromSource<T extends {
-    uses?: unknown;
-}> = MergeApis<UsedApiFromUses<T["uses"]>, ImplicitTrellisApiFromSource<T>>;
-export type MergeApis<TOwnedApi extends ApiShape, TUsedApi extends ApiShape> = {
-    rpc: Simplify<TUsedApi["rpc"] & TOwnedApi["rpc"]>;
-    operations: Simplify<TUsedApi["operations"] & TOwnedApi["operations"]>;
-    events: Simplify<TUsedApi["events"] & TOwnedApi["events"]>;
-    feeds: Simplify<TUsedApi["feeds"] & TOwnedApi["feeds"]>;
-    subjects: Simplify<TUsedApi["subjects"] & TOwnedApi["subjects"]>;
-};
-export type ContractModule<TContractId extends string, TOwnedApi extends ApiShape, TUsedApi extends ApiShape, TTrellisApi extends ApiShape, TJobs extends ContractJobsMetadata = {}, TState extends ContractStateMetadata = {}, TKv extends ContractKvMetadata = ContractKvMetadata> = {
-    CONTRACT_ID: TContractId;
-    CONTRACT: TrellisContractV1;
-    CONTRACT_DIGEST: string;
-    API: ContractApiViews<TOwnedApi, TUsedApi, TTrellisApi>;
-    use: ContractUseFn<TContractId, TOwnedApi>;
-    readonly [CONTRACT_JOBS_METADATA]?: TJobs;
-    readonly [CONTRACT_STATE_METADATA]?: TState;
-    readonly [CONTRACT_KV_METADATA]?: TKv;
-};
-export type SdkContractModule<TContractId extends string, TOwnedApi extends ApiShape, TJobs extends ContractJobsMetadata = {}, TState extends ContractStateMetadata = {}, TKv extends ContractKvMetadata = ContractKvMetadata> = Omit<ContractModule<TContractId, TOwnedApi, EmptyApi, TOwnedApi, TJobs, TState, TKv>, "use"> & {
-    use: ContractUseFn<TContractId, TOwnedApi>;
-};
-export type DefinedContract<TOwnedApi extends ApiShape, TUsedApi extends ApiShape, TTrellisApi extends ApiShape, TContractId extends string = string, TJobs extends ContractJobsMetadata = {}, TState extends ContractStateMetadata = {}, TKv extends ContractKvMetadata = ContractKvMetadata> = Omit<ContractModule<TContractId, TOwnedApi, TUsedApi, TTrellisApi, TJobs, TState, TKv>, "API"> & {
-    API: {
-        owned: TOwnedApi;
-        used: TUsedApi;
-        trellis: TTrellisApi;
-    };
-};
-export type DefineContractInput<TCapabilities extends ContractCapabilities | undefined = ContractCapabilities | undefined, TSchemas extends Readonly<Record<string, TSchema>> | undefined = undefined, TUses extends AuthorContractUses | undefined = undefined, TErrors extends Readonly<Record<string, ErrorClass>> | undefined = undefined, TRpc extends Readonly<Record<string, ContractSourceRpcMethod<SchemaNameOf<TSchemas>, ErrorNameOf<TErrors>, CapabilityRef<TCapabilities>>>> | undefined = undefined, TOperations extends Readonly<Record<string, ContractSourceOperation<SchemaNameOf<TSchemas>, CapabilityRef<TCapabilities>>>> | undefined = undefined, TEvents extends Readonly<Record<string, ContractSourceEvent<SchemaNameOf<TSchemas>, CapabilityRef<TCapabilities>>>> | undefined = undefined> = {
-    id: string;
-    displayName: string;
-    description: string;
-    docs?: ContractDocs;
-    kind: ContractKind;
-    capabilities?: ContractCapabilities;
-    schemas?: TSchemas;
-    exports?: ContractSourceExports<SchemaNameOf<TSchemas>>;
-    state?: ContractSourceState<SchemaNameOf<TSchemas>>;
-    uses?: TUses;
-    errors?: TErrors;
-    rpc?: TRpc;
-    operations?: TOperations;
-    events?: TEvents;
-    feeds?: Readonly<Record<string, ContractSourceFeed<SchemaNameOf<TSchemas>, CapabilityRef<TCapabilities>>>>;
-    jobs?: ContractSourceJobs<SchemaNameOf<TSchemas>>;
-    eventConsumers?: ContractSourceEventConsumers;
-    resources?: ContractSourceResources<SchemaNameOf<TSchemas>>;
-};
-type DefineContractRegistry<TSchemas extends Readonly<Record<string, TSchema>> | undefined = undefined, TErrors extends Readonly<Record<string, unknown>> | undefined = undefined> = {
-    schemas?: TSchemas;
-    errors?: TErrors;
-};
-type AnyDefineContractRegistry = DefineContractRegistry<Readonly<Record<string, TSchema>> | undefined, Readonly<Record<string, unknown>> | undefined>;
-type ClientContractRegistry<TSchemas extends Readonly<Record<string, TSchema>> | undefined = undefined> = {
-    schemas?: TSchemas;
-};
-type RegistrySchemas<TRegistry extends AnyDefineContractRegistry> = TRegistry extends {
-    schemas?: infer TSchemas;
-} ? TSchemas extends Readonly<Record<string, TSchema>> | undefined ? TSchemas : undefined : undefined;
-type RegistryErrors<TRegistry extends AnyDefineContractRegistry> = TRegistry extends {
-    errors?: infer TErrors;
-} ? TErrors extends Readonly<Record<string, unknown>> | undefined ? ExtractErrorClasses<TErrors> : undefined : undefined;
-type DefineContractBodyInput<TCapabilities extends ContractCapabilities | undefined = ContractCapabilities | undefined, TSchemas extends Readonly<Record<string, TSchema>> | undefined = undefined, TUses extends AuthorContractUses | undefined = undefined, TErrors extends Readonly<Record<string, ErrorClass>> | undefined = undefined, TRpc extends Readonly<Record<string, ContractSourceRpcMethod<SchemaNameOf<TSchemas>, ErrorNameOf<TErrors>, CapabilityRef<TCapabilities>>>> | undefined = undefined, TOperations extends Readonly<Record<string, ContractSourceOperation<SchemaNameOf<TSchemas>, CapabilityRef<TCapabilities>>>> | undefined = undefined, TEvents extends Readonly<Record<string, ContractSourceEvent<SchemaNameOf<TSchemas>, CapabilityRef<TCapabilities>>>> | undefined = undefined> = Omit<DefineContractInput<TCapabilities, TSchemas, TUses, TErrors, TRpc, TOperations, TEvents>, "schemas" | "errors"> & {
-    schemas?: never;
-    errors?: never;
-};
-type ServiceContractBodyInput<TCapabilities extends ContractCapabilities | undefined = ContractCapabilities | undefined, TSchemas extends Readonly<Record<string, TSchema>> | undefined = undefined, TUses extends AuthorContractUses | undefined = undefined, TErrors extends Readonly<Record<string, ErrorClass>> | undefined = undefined, TRpc extends Readonly<Record<string, ContractSourceRpcMethod<SchemaNameOf<TSchemas>, ErrorNameOf<TErrors>, CapabilityRef<TCapabilities>>>> | undefined = undefined, TOperations extends Readonly<Record<string, ContractSourceOperation<SchemaNameOf<TSchemas>, CapabilityRef<TCapabilities>>>> | undefined = undefined, TEvents extends Readonly<Record<string, ContractSourceEvent<SchemaNameOf<TSchemas>, CapabilityRef<TCapabilities>>>> | undefined = undefined> = Omit<DefineContractBodyInput<TCapabilities, TSchemas, TUses, TErrors, TRpc, TOperations, TEvents>, "kind"> & {
-    kind?: never;
-    subjects?: never;
-};
-type ClientContractBodyInput<TSchemas extends Readonly<Record<string, TSchema>> | undefined = undefined, TUses extends AuthorContractUses | undefined = undefined> = ContractIdentityFields & {
-    capabilities?: ContractCapabilities;
-    exports?: ContractSourceExports<SchemaNameOf<TSchemas>>;
-    state?: ContractSourceState<SchemaNameOf<TSchemas>>;
-    uses?: TUses;
-    eventConsumers?: ContractSourceEventConsumers;
-    kind?: never;
-    schemas?: never;
-    errors?: never;
-    rpc?: never;
-    operations?: never;
-    events?: never;
-    subjects?: never;
-    resources?: never;
-};
-type BuiltContractSource<TRegistry extends AnyDefineContractRegistry, TBody extends {
-    id: string;
-}> = Simplify<Omit<TBody, "schemas" | "errors"> & (TRegistry extends {
-    schemas?: infer TSchemas;
-} ? {
-    schemas?: TSchemas;
-} : {}) & (TRegistry extends {
-    errors?: infer TErrors;
-} ? {
-    errors?: TErrors;
-} : {})>;
-type WithKind<TBody extends {
-    id: string;
-}, TKind extends ContractKind> = Simplify<Omit<TBody, "kind"> & {
-    kind: TKind;
-}>;
-/** Return the global capability namespace for a contract id. */
-export declare function contractCapabilityNamespace(contractId: string): string;
-/** Return the globally qualified name for a contract-local capability. */
-export declare function globalCapabilityName(contractId: string, localCapability: string): string;
-/**
- * Return the canonical manifest shape used by Trellis runtimes before
- * validation, persistence, and digesting.
- *
- * This is not the digest projection: human-facing fields such as
- * `displayName` and `description` are preserved here even though they are not
- * part of contract identity. Unknown extension fields are intentionally omitted
- * until the runtime explicitly supports them.
- */
-export declare function normalizeContractManifest(contract: TrellisContractV1): TrellisContractV1;
-/**
- * Parse untrusted contract JSON into the current Trellis v1 manifest shape.
- *
- * Unknown extension fields are accepted for forward compatibility but are not
- * returned. Callers must use the returned value for persistence and digesting.
- */
-export declare function parseContractManifest(value: unknown): TrellisContractV1;
-/**
- * Build the normalized runtime/interface projection used for contract identity.
- */
-export declare function projectContractDigestManifest(contract: TrellisContractV1): JsonValue;
-/** Compute the v1 contract digest from the normalized digest projection. */
-export declare function digestContractManifest(contract: TrellisContractV1): string;
-/**
- * Define a transportable Trellis error class from a payload-object schema.
- *
- * The returned value is a real runtime error class that carries the wire schema
- * and reconstruction logic needed by `defineServiceContract(...)`.
- */
-export declare function defineError<const TType extends string, const TFields extends TProperties>(options: DefineErrorOptions<TType, TFields>): DefinedErrorClass<TType, TFields>;
-export declare function defineServiceContract<const TErrors extends Readonly<Record<string, unknown>> | undefined, const TRegistry extends DefineContractRegistry<Readonly<Record<string, TSchema>> | undefined, TErrors>, const TCapabilities extends ContractCapabilities | undefined, const TUses extends AuthorContractUses | undefined, const TRpc extends Readonly<Record<string, ContractSourceRpcMethod<SchemaNameOf<RegistrySchemas<TRegistry>>, ErrorNameOf<RegistryErrors<TRegistry>>, CapabilityRef<TCapabilities>>>> | undefined, const TOperations extends Readonly<Record<string, ContractSourceOperation<SchemaNameOf<RegistrySchemas<TRegistry>>, CapabilityRef<TCapabilities>>>> | undefined, const TEvents extends Readonly<Record<string, ContractSourceEvent<SchemaNameOf<RegistrySchemas<TRegistry>>, CapabilityRef<TCapabilities>>>> | undefined, const TBody extends ServiceContractBodyInput<TCapabilities, RegistrySchemas<TRegistry>, TUses, RegistryErrors<TRegistry>, TRpc, TOperations, TEvents>>(registry: TRegistry & {
-    capabilities?: never;
-    exports?: never;
-}, build: (ref: ContractRefBuilder<RegistrySchemas<TRegistry>, RegistryErrors<TRegistry>>) => TBody): DefinedContract<OwnedApiFromSource<BuiltContractSource<TRegistry, WithKind<TBody, "service">>>, UsedApiFromSource<BuiltContractSource<TRegistry, WithKind<TBody, "service">>>, MergeApis<OwnedApiFromSource<BuiltContractSource<TRegistry, WithKind<TBody, "service">>>, UsedApiFromSource<BuiltContractSource<TRegistry, WithKind<TBody, "service">>>>, TBody["id"], ProjectedJobs<JobsFromSource<BuiltContractSource<TRegistry, WithKind<TBody, "service">>>, SchemasFromSource<BuiltContractSource<TRegistry, WithKind<TBody, "service">>>>, ProjectedState<StateFromSource<BuiltContractSource<TRegistry, WithKind<TBody, "service">>>, SchemasFromSource<BuiltContractSource<TRegistry, WithKind<TBody, "service">>>>, ProjectedKvResources<ResourcesFromSource<BuiltContractSource<TRegistry, WithKind<TBody, "service">>>, SchemasFromSource<BuiltContractSource<TRegistry, WithKind<TBody, "service">>>>>;
-export declare function defineAppContract<const TSchemas extends Readonly<Record<string, TSchema>> | undefined, const TUses extends AuthorContractUses | undefined, const TBody extends ClientContractBodyInput<TSchemas, TUses>>(registry: ClientContractRegistry<TSchemas> & {
-    capabilities?: never;
-    exports?: never;
-}, build: (ref: ContractRefBuilder<TSchemas>) => TBody): DefinedContract<OwnedApiFromSource<BuiltContractSource<ClientContractRegistry<TSchemas>, WithKind<TBody, "app">>>, UsedApiFromSource<BuiltContractSource<ClientContractRegistry<TSchemas>, WithKind<TBody, "app">>>, MergeApis<OwnedApiFromSource<BuiltContractSource<ClientContractRegistry<TSchemas>, WithKind<TBody, "app">>>, UsedApiFromSource<BuiltContractSource<ClientContractRegistry<TSchemas>, WithKind<TBody, "app">>>>, TBody["id"], {}, ProjectedState<StateFromSource<BuiltContractSource<ClientContractRegistry<TSchemas>, WithKind<TBody, "app">>>, SchemasFromSource<BuiltContractSource<ClientContractRegistry<TSchemas>, WithKind<TBody, "app">>>>>;
-export declare function defineAppContract<const TUses extends AuthorContractUses | undefined, const TBody extends ClientContractBodyInput<undefined, TUses>>(build: () => TBody): DefinedContract<OwnedApiFromSource<WithKind<TBody, "app">>, UsedApiFromSource<WithKind<TBody, "app">>, MergeApis<OwnedApiFromSource<WithKind<TBody, "app">>, UsedApiFromSource<WithKind<TBody, "app">>>, TBody["id"], {}, ProjectedState<StateFromSource<WithKind<TBody, "app">>, SchemasFromSource<WithKind<TBody, "app">>>>;
-export declare function defineAgentContract<const TSchemas extends Readonly<Record<string, TSchema>> | undefined, const TUses extends AuthorContractUses | undefined, const TBody extends ClientContractBodyInput<TSchemas, TUses>>(registry: ClientContractRegistry<TSchemas> & {
-    capabilities?: never;
-    exports?: never;
-}, build: (ref: ContractRefBuilder<TSchemas>) => TBody): DefinedContract<OwnedApiFromSource<BuiltContractSource<ClientContractRegistry<TSchemas>, WithKind<TBody, "agent">>>, UsedApiFromSource<BuiltContractSource<ClientContractRegistry<TSchemas>, WithKind<TBody, "agent">>>, MergeApis<OwnedApiFromSource<BuiltContractSource<ClientContractRegistry<TSchemas>, WithKind<TBody, "agent">>>, UsedApiFromSource<BuiltContractSource<ClientContractRegistry<TSchemas>, WithKind<TBody, "agent">>>>, TBody["id"], {}, ProjectedState<StateFromSource<BuiltContractSource<ClientContractRegistry<TSchemas>, WithKind<TBody, "agent">>>, SchemasFromSource<BuiltContractSource<ClientContractRegistry<TSchemas>, WithKind<TBody, "agent">>>>>;
-export declare function defineAgentContract<const TUses extends AuthorContractUses | undefined, const TBody extends ClientContractBodyInput<undefined, TUses>>(build: () => TBody): DefinedContract<OwnedApiFromSource<WithKind<TBody, "agent">>, UsedApiFromSource<WithKind<TBody, "agent">>, MergeApis<OwnedApiFromSource<WithKind<TBody, "agent">>, UsedApiFromSource<WithKind<TBody, "agent">>>, TBody["id"], {}, ProjectedState<StateFromSource<WithKind<TBody, "agent">>, SchemasFromSource<WithKind<TBody, "agent">>>>;
-export declare function defineDeviceContract<const TSchemas extends Readonly<Record<string, TSchema>> | undefined, const TUses extends AuthorContractUses | undefined, const TBody extends ClientContractBodyInput<TSchemas, TUses>>(registry: ClientContractRegistry<TSchemas> & {
-    capabilities?: never;
-    exports?: never;
-}, build: (ref: ContractRefBuilder<TSchemas>) => TBody): DefinedContract<OwnedApiFromSource<BuiltContractSource<ClientContractRegistry<TSchemas>, WithKind<TBody, "device">>>, UsedApiFromSource<BuiltContractSource<ClientContractRegistry<TSchemas>, WithKind<TBody, "device">>>, MergeApis<OwnedApiFromSource<BuiltContractSource<ClientContractRegistry<TSchemas>, WithKind<TBody, "device">>>, UsedApiFromSource<BuiltContractSource<ClientContractRegistry<TSchemas>, WithKind<TBody, "device">>>>, TBody["id"], {}, ProjectedState<StateFromSource<BuiltContractSource<ClientContractRegistry<TSchemas>, WithKind<TBody, "device">>>, SchemasFromSource<BuiltContractSource<ClientContractRegistry<TSchemas>, WithKind<TBody, "device">>>>>;
-export declare function defineDeviceContract<const TUses extends AuthorContractUses | undefined, const TBody extends ClientContractBodyInput<undefined, TUses>>(build: () => TBody): DefinedContract<OwnedApiFromSource<WithKind<TBody, "device">>, UsedApiFromSource<WithKind<TBody, "device">>, MergeApis<OwnedApiFromSource<WithKind<TBody, "device">>, UsedApiFromSource<WithKind<TBody, "device">>>, TBody["id"], {}, ProjectedState<StateFromSource<WithKind<TBody, "device">>, SchemasFromSource<WithKind<TBody, "device">>>>;
-export type { EventDesc, FeedDesc, InferRuntimeRpcError, InferSchemaType, JsonValue, RPCDesc, RpcErrorClass, RuntimeRpcErrorDesc, Schema, SchemaLike, SerializableErrorData, TrellisAPI, };
-export { canonicalizeJson, digestJson, isJsonValue, schema, unwrapSchema };
-//# sourceMappingURL=mod.d.ts.map