@appport/sdk 1.1.19 → 1.1.20

package/dist/index.d.ts

@@ -1,15 +1,20 @@
 /** The intentional, curated AppPort developer surface. */
-export * from "@appport/core/public";
-export { s, toSchema, toJSONSchema, fromJSONSchema, type Schema, type SchemaInput } from "@appport/schema";
-export { AppPortError, errors, type AppRequest, type AppResponse, type AppEventEnvelope, type AppStreamRequest, type JsonValue } from "@appport/protocol";
-export { AppPort, createClient, type AppPortClient, type AppTransport, type CallOptions, type TypedStream, type Unsubscribe } from "@appport/client";
-export { AppPortServer, createServer, type Identity } from "@appport/server";
-export { permissionAuthorizer, allowAllAuthorizer, authorizerFrom, combineAuthorizers, createAuthorizationContext, type Authorizer, type AuthorizationContext, type AuthorizationDecision } from "@appport/authorization";
-export { createInProcessTransport, type InProcessTransportOptions } from "@appport/transport-inprocess";
-export { createHttpTransport, type HttpTransportOptions } from "@appport/transport-http";
-export { createWebSocketTransport, type WebSocketTransportOptions } from "@appport/transport-websocket";
-export { createElectronTransport, serveElectronIpc, exposeAppPort } from "@appport/transport-electron";
-export { createTauriTransport, APPPORT_COMMAND, APPPORT_EVENT, type TauriTransportOptions } from "@appport/transport-tauri";
-export { MobileAppPortClient, type MobileAppPort, type MobileConnectOptions } from "@appport/mobile";
-export { createMcpBridge, fromToolName, toMcpTools, toToolName, type McpBridge, type McpBridgeOptions, type McpTool, type McpToolResult } from "@appport/mcp";
+export * from "../vendor/@appport/core/dist/public.d.ts";
+export { s, toSchema, toJSONSchema, fromJSONSchema, type Schema, type SchemaInput } from "../vendor/@appport/schema/dist/index.d.ts";
+export { AppPortError, errors, type AppRequest, type AppResponse, type AppEventEnvelope, type AppStreamRequest, type JsonValue } from "../vendor/@appport/protocol/dist/index.d.ts";
+export { AppPort, createClient, type AppPortClient, type AppTransport, type CallOptions, type TypedStream, type Unsubscribe } from "../vendor/@appport/client/dist/index.d.ts";
+export { AppPortServer, createServer, type Identity } from "../vendor/@appport/server/dist/index.d.ts";
+export { permissionAuthorizer, allowAllAuthorizer, authorizerFrom, combineAuthorizers, createAuthorizationContext, type Authorizer, type AuthorizationContext, type AuthorizationDecision } from "../vendor/@appport/authorization/dist/index.d.ts";
+export { createInProcessTransport, type InProcessTransportOptions } from "../vendor/@appport/transport-inprocess/dist/index.d.ts";
+export { createHttpTransport, type HttpTransportOptions } from "../vendor/@appport/transport-http/dist/index.d.ts";
+export { createWebSocketTransport, type WebSocketTransportOptions } from "../vendor/@appport/transport-websocket/dist/index.d.ts";
+export { createElectronTransport, serveElectronIpc, exposeAppPort } from "../vendor/@appport/transport-electron/dist/index.d.ts";
+export { createTauriTransport, APPPORT_COMMAND, APPPORT_EVENT, type TauriTransportOptions } from "../vendor/@appport/transport-tauri/dist/index.d.ts";
+export { MobileAppPortClient, type MobileAppPort, type MobileConnectOptions } from "../vendor/@appport/mobile/dist/index.d.ts";
+export { createMcpBridge, fromToolName, toMcpTools, toToolName, type McpBridge, type McpBridgeOptions, type McpTool, type McpToolResult } from "../vendor/@appport/mcp/dist/index.d.ts";
+export * from "./external-compatibility.js";
+export * from "./provider-lifecycle.js";
+export * from "./resolution-policy.js";
+export * from "./application-onboarding.js";
+export * from "./execution-topology.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,0DAA0D;AAC1D,cAAc,sBAAsB,CAAC;AACrC,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,KAAK,MAAM,EAAE,KAAK,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC3G,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,KAAK,UAAU,EAAE,KAAK,WAAW,EAAE,KAAK,gBAAgB,EAAE,KAAK,gBAAgB,EAAE,KAAK,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC1J,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,KAAK,aAAa,EAAE,KAAK,YAAY,EAAE,KAAK,WAAW,EAAE,KAAK,WAAW,EAAE,KAAK,WAAW,EAAE,MAAM,iBAAiB,CAAC;AACrJ,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,KAAK,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC7E,OAAO,EACL,oBAAoB,EACpB,kBAAkB,EAClB,cAAc,EACd,kBAAkB,EAClB,0BAA0B,EAC1B,KAAK,UAAU,EACf,KAAK,oBAAoB,EACzB,KAAK,qBAAqB,EAC3B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,wBAAwB,EAAE,KAAK,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACxG,OAAO,EAAE,mBAAmB,EAAE,KAAK,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AACzF,OAAO,EAAE,wBAAwB,EAAE,KAAK,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACxG,OAAO,EAAE,uBAAuB,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AACvG,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,aAAa,EAAE,KAAK,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAC5H,OAAO,EAAE,mBAAmB,EAAE,KAAK,aAAa,EAAE,KAAK,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACrG,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK,SAAS,EAAE,KAAK,gBAAgB,EAAE,KAAK,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,cAAc,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,0DAA0D;AAC1D,cAAc,sBAAsB,CAAC;AACrC,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,KAAK,MAAM,EAAE,KAAK,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC3G,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,KAAK,UAAU,EAAE,KAAK,WAAW,EAAE,KAAK,gBAAgB,EAAE,KAAK,gBAAgB,EAAE,KAAK,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC1J,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,KAAK,aAAa,EAAE,KAAK,YAAY,EAAE,KAAK,WAAW,EAAE,KAAK,WAAW,EAAE,KAAK,WAAW,EAAE,MAAM,iBAAiB,CAAC;AACrJ,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,KAAK,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC7E,OAAO,EACL,oBAAoB,EACpB,kBAAkB,EAClB,cAAc,EACd,kBAAkB,EAClB,0BAA0B,EAC1B,KAAK,UAAU,EACf,KAAK,oBAAoB,EACzB,KAAK,qBAAqB,EAC3B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,wBAAwB,EAAE,KAAK,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACxG,OAAO,EAAE,mBAAmB,EAAE,KAAK,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AACzF,OAAO,EAAE,wBAAwB,EAAE,KAAK,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACxG,OAAO,EAAE,uBAAuB,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AACvG,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,aAAa,EAAE,KAAK,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAC5H,OAAO,EAAE,mBAAmB,EAAE,KAAK,aAAa,EAAE,KAAK,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACrG,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK,SAAS,EAAE,KAAK,gBAAgB,EAAE,KAAK,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,cAAc,CAAC;AAC9J,cAAc,6BAA6B,CAAC;AAC5C,cAAc,yBAAyB,CAAC;AACxC,cAAc,wBAAwB,CAAC;AACvC,cAAc,6BAA6B,CAAC;AAC5C,cAAc,yBAAyB,CAAC"}

package/dist/index.js

@@ -1,15 +1,20 @@
 /** The intentional, curated AppPort developer surface. */
-export * from "@appport/core/public";
-export { s, toSchema, toJSONSchema, fromJSONSchema } from "@appport/schema";
-export { AppPortError, errors } from "@appport/protocol";
-export { AppPort, createClient } from "@appport/client";
-export { AppPortServer, createServer } from "@appport/server";
-export { permissionAuthorizer, allowAllAuthorizer, authorizerFrom, combineAuthorizers, createAuthorizationContext } from "@appport/authorization";
-export { createInProcessTransport } from "@appport/transport-inprocess";
-export { createHttpTransport } from "@appport/transport-http";
-export { createWebSocketTransport } from "@appport/transport-websocket";
-export { createElectronTransport, serveElectronIpc, exposeAppPort } from "@appport/transport-electron";
-export { createTauriTransport, APPPORT_COMMAND, APPPORT_EVENT } from "@appport/transport-tauri";
-export { MobileAppPortClient } from "@appport/mobile";
-export { createMcpBridge, fromToolName, toMcpTools, toToolName } from "@appport/mcp";
+export * from "../vendor/@appport/core/dist/public.js";
+export { s, toSchema, toJSONSchema, fromJSONSchema } from "../vendor/@appport/schema/dist/index.js";
+export { AppPortError, errors } from "../vendor/@appport/protocol/dist/index.js";
+export { AppPort, createClient } from "../vendor/@appport/client/dist/index.js";
+export { AppPortServer, createServer } from "../vendor/@appport/server/dist/index.js";
+export { permissionAuthorizer, allowAllAuthorizer, authorizerFrom, combineAuthorizers, createAuthorizationContext } from "../vendor/@appport/authorization/dist/index.js";
+export { createInProcessTransport } from "../vendor/@appport/transport-inprocess/dist/index.js";
+export { createHttpTransport } from "../vendor/@appport/transport-http/dist/index.js";
+export { createWebSocketTransport } from "../vendor/@appport/transport-websocket/dist/index.js";
+export { createElectronTransport, serveElectronIpc, exposeAppPort } from "../vendor/@appport/transport-electron/dist/index.js";
+export { createTauriTransport, APPPORT_COMMAND, APPPORT_EVENT } from "../vendor/@appport/transport-tauri/dist/index.js";
+export { MobileAppPortClient } from "../vendor/@appport/mobile/dist/index.js";
+export { createMcpBridge, fromToolName, toMcpTools, toToolName } from "../vendor/@appport/mcp/dist/index.js";
+export * from "./external-compatibility.js";
+export * from "./provider-lifecycle.js";
+export * from "./resolution-policy.js";
+export * from "./application-onboarding.js";
+export * from "./execution-topology.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,0DAA0D;AAC1D,cAAc,sBAAsB,CAAC;AACrC,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAiC,MAAM,iBAAiB,CAAC;AAC3G,OAAO,EAAE,YAAY,EAAE,MAAM,EAAmG,MAAM,mBAAmB,CAAC;AAC1J,OAAO,EAAE,OAAO,EAAE,YAAY,EAA+F,MAAM,iBAAiB,CAAC;AACrJ,OAAO,EAAE,aAAa,EAAE,YAAY,EAAiB,MAAM,iBAAiB,CAAC;AAC7E,OAAO,EACL,oBAAoB,EACpB,kBAAkB,EAClB,cAAc,EACd,kBAAkB,EAClB,0BAA0B,EAI3B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,wBAAwB,EAAkC,MAAM,8BAA8B,CAAC;AACxG,OAAO,EAAE,mBAAmB,EAA6B,MAAM,yBAAyB,CAAC;AACzF,OAAO,EAAE,wBAAwB,EAAkC,MAAM,8BAA8B,CAAC;AACxG,OAAO,EAAE,uBAAuB,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AACvG,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,aAAa,EAA8B,MAAM,0BAA0B,CAAC;AAC5H,OAAO,EAAE,mBAAmB,EAAiD,MAAM,iBAAiB,CAAC;AACrG,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,EAA2E,MAAM,cAAc,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,0DAA0D;AAC1D,cAAc,sBAAsB,CAAC;AACrC,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAiC,MAAM,iBAAiB,CAAC;AAC3G,OAAO,EAAE,YAAY,EAAE,MAAM,EAAmG,MAAM,mBAAmB,CAAC;AAC1J,OAAO,EAAE,OAAO,EAAE,YAAY,EAA+F,MAAM,iBAAiB,CAAC;AACrJ,OAAO,EAAE,aAAa,EAAE,YAAY,EAAiB,MAAM,iBAAiB,CAAC;AAC7E,OAAO,EACL,oBAAoB,EACpB,kBAAkB,EAClB,cAAc,EACd,kBAAkB,EAClB,0BAA0B,EAI3B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,wBAAwB,EAAkC,MAAM,8BAA8B,CAAC;AACxG,OAAO,EAAE,mBAAmB,EAA6B,MAAM,yBAAyB,CAAC;AACzF,OAAO,EAAE,wBAAwB,EAAkC,MAAM,8BAA8B,CAAC;AACxG,OAAO,EAAE,uBAAuB,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AACvG,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,aAAa,EAA8B,MAAM,0BAA0B,CAAC;AAC5H,OAAO,EAAE,mBAAmB,EAAiD,MAAM,iBAAiB,CAAC;AACrG,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,EAA2E,MAAM,cAAc,CAAC;AAC9J,cAAc,6BAA6B,CAAC;AAC5C,cAAc,yBAAyB,CAAC;AACxC,cAAc,wBAAwB,CAAC;AACvC,cAAc,6BAA6B,CAAC;AAC5C,cAAc,yBAAyB,CAAC"}

package/dist/node.d.ts

@@ -1,3 +1,3 @@
-export { serve, serveDesktopHost, type RunningServer } from "@appport/server/node";
+export { serve, serveDesktopHost, type RunningServer } from "../vendor/@appport/server/dist/node-entry.d.ts";
 export * from "./index.js";
 //# sourceMappingURL=node.d.ts.map

package/dist/node.js

@@ -1,3 +1,3 @@
-export { serve, serveDesktopHost } from "@appport/server/node";
+export { serve, serveDesktopHost } from "../vendor/@appport/server/dist/node-entry.js";
 export * from "./index.js";
 //# sourceMappingURL=node.js.map

package/dist/provider-lifecycle.d.ts

@@ -0,0 +1,247 @@
+/**
+ * Provider lifecycle and migration primitives.
+ *
+ * A capability contract is stable; the providers that fulfil it are not. These
+ * helpers make that difference executable: a provider is registered against a
+ * contract, becomes eligible, may be activated for resolution, and can be
+ * drained, revoked and retired without the consumer ever learning which
+ * implementation served it.
+ *
+ * The primitives are deliberately language, runtime and surface agnostic. A
+ * provider is a provider identifier plus the contract it declares; nothing here
+ * knows about COBOL, HTTP, Wasm or any other implementation detail. AppBoundry
+ * owns lifecycle and resolution, AppPort owns the capability contract.
+ */
+/**
+ * The externally observable lifecycle of one provider registration.
+ *
+ * ```
+ * registered → eligible → active ─┬→ draining → retired
+ *                                 └→ revoked  → retired
+ * ```
+ *
+ * - `registered`: the provider declared a contract. It is not resolvable.
+ * - `eligible`: the provider satisfies the contract requirements. Still not
+ *   resolvable: eligibility describes fitness, activation describes service.
+ * - `active`: the provider may be resolved for execution.
+ * - `draining`: the provider is leaving service. New resolution must not select
+ *   it; work already resolved against it may complete.
+ * - `revoked`: the provider is no longer eligible for new requests.
+ * - `retired`: the registration is removed from the provider set, permanently.
+ */
+export type ProviderLifecycleState = "registered" | "eligible" | "active" | "draining" | "revoked" | "retired";
+/** The only state in which a provider may be selected by resolution. */
+export declare const RESOLVABLE_PROVIDER_STATE: ProviderLifecycleState;
+/** Raised when a lifecycle operation is not permitted. */
+export declare class ProviderLifecycleError extends Error {
+    readonly providerId: string;
+    constructor(message: string, providerId: string);
+}
+/** Raised when a migration cannot be performed. No state changes when it is thrown. */
+export declare class ProviderMigrationRejected extends Error {
+    readonly reason: string;
+    constructor(message: string, reason: string);
+}
+/** A provider registration against one capability contract. */
+export interface ProviderRegistration {
+    /** Stable identifier of the provider application. */
+    readonly providerId: string;
+    /** Capability the provider declares, for example `account.get@1`. */
+    readonly capability: string;
+    /** Contract identifier the provider declares, for example `appport.contract.account-get.v1`. */
+    readonly contract: string;
+    /** Fingerprint of the declared contract, used to check contract equivalence. */
+    readonly contractFingerprint: string;
+    /** Where the provider runs. Free-form and presentation neutral. */
+    readonly environment?: string;
+}
+/** The current lifecycle record for one provider registration. */
+export interface ProviderLifecycleRecord extends ProviderRegistration {
+    readonly state: ProviderLifecycleState;
+    /** Changes whenever the provider is registered again after retirement. */
+    readonly registrationId: string;
+}
+/** AppBoundry evidence identifiers observed for one execution. */
+export interface ProviderExecutionObservation {
+    readonly authorization: string;
+    readonly eligibility: string;
+    readonly resolution: string;
+    readonly materialization: string;
+    readonly execution: string;
+}
+/** Structured evidence for one provider lifecycle transition. */
+export interface ProviderLifecycleEvidence {
+    readonly capability: string;
+    readonly contract: string;
+    readonly provider: string;
+    readonly providerState: ProviderLifecycleState;
+    readonly previousProviderState: ProviderLifecycleState;
+    readonly previousProvider?: string;
+    readonly replacementProvider?: string;
+    readonly migrationId?: string;
+    readonly authorization: string;
+    readonly eligibility: string;
+    readonly resolution: string;
+    readonly materialization: string;
+    readonly execution: string;
+    readonly environment: string;
+    readonly timestamp: string;
+    readonly evidenceId: string;
+}
+/** Recorded when a transition did not itself execute the capability. */
+export declare const NOT_OBSERVED: "not_observed";
+/** Optional context recorded alongside a transition. */
+export interface ProviderTransitionContext {
+    readonly previousProvider?: string;
+    readonly replacementProvider?: string;
+    readonly migrationId?: string;
+    readonly observed?: ProviderExecutionObservation;
+}
+/**
+ * The authority for provider lifecycle state.
+ *
+ * Resolution must consult {@link ProviderLifecycleRegistry.resolvable} so that
+ * eligibility, revocation and retirement affect real provider selection instead
+ * of being descriptive metadata.
+ */
+export declare class ProviderLifecycleRegistry {
+    #private;
+    private readonly now;
+    constructor(now?: () => Date);
+    /**
+     * Registers a provider in the `registered` state.
+     *
+     * Registering an identifier that is currently retired is the explicit new
+     * registration required to bring a retired provider back into service; it
+     * always produces a new `registrationId`.
+     */
+    register(registration: ProviderRegistration): ProviderLifecycleRecord;
+    /** The provider satisfies the contract requirements for its capability. */
+    markEligible(providerId: string, context?: ProviderTransitionContext): ProviderLifecycleRecord;
+    /** The provider may now be selected by resolution. */
+    activate(providerId: string, context?: ProviderTransitionContext): ProviderLifecycleRecord;
+    /** The provider is leaving service; new resolution must not select it. */
+    drain(providerId: string, context?: ProviderTransitionContext): ProviderLifecycleRecord;
+    /** The provider is no longer eligible for new requests. */
+    revoke(providerId: string, context?: ProviderTransitionContext): ProviderLifecycleRecord;
+    /** The provider registration is removed from the provider set, permanently. */
+    retire(providerId: string, context?: ProviderTransitionContext): ProviderLifecycleRecord;
+    /** The current record, or `undefined` when the provider was never registered. */
+    record(providerId: string): ProviderLifecycleRecord | undefined;
+    /** The current state, or `undefined` when the provider was never registered. */
+    state(providerId: string): ProviderLifecycleState | undefined;
+    /** Every known registration, in registration order. */
+    records(): readonly ProviderLifecycleRecord[];
+    /** Providers AppBoundry may currently select for `capability`. */
+    resolvable(capability: string): readonly ProviderLifecycleRecord[];
+    /** Whether resolution may currently select `providerId`. */
+    isResolvable(providerId: string): boolean;
+    /** Every transition recorded so far, oldest first. */
+    evidence(): readonly ProviderLifecycleEvidence[];
+    /** Records evidence for an execution that resolved to `providerId`. */
+    recordExecution(providerId: string, observed: ProviderExecutionObservation): ProviderLifecycleEvidence;
+}
+/** A migration request: retire one provider and put another into service. */
+export interface ProviderMigrationInput {
+    readonly capability: string;
+    readonly contract: string;
+    readonly retiringProvider: string;
+    readonly replacementProvider: string;
+    /** The capability contract the consumer requests. Must not change. */
+    readonly consumerContract: string;
+    /** Hash of the consumer source, recorded so migration cannot hide a rewrite. */
+    readonly consumerSourceHash: string;
+    readonly migrationId?: string;
+}
+/** The outcome of a completed migration. */
+export interface ProviderMigrationResult {
+    readonly migrationId: string;
+    readonly capability: string;
+    readonly contract: string;
+    readonly retiringProvider: string;
+    readonly replacementProvider: string;
+    readonly retiringProviderState: ProviderLifecycleState;
+    readonly replacementProviderState: ProviderLifecycleState;
+    readonly consumerContract: string;
+    readonly consumerSourceHash: string;
+    readonly evidence: readonly ProviderLifecycleEvidence[];
+}
+/**
+ * Moves a capability from one provider to another as a single platform
+ * operation.
+ *
+ * The migration is validated in full before any state changes, so a rejected
+ * migration leaves the currently active provider untouched. On success the
+ * retiring provider is drained, revoked and retired, and the replacement is
+ * activated. The consumer is never involved: it keeps requesting the same
+ * capability contract.
+ */
+export declare function migrateProvider(registry: ProviderLifecycleRegistry, input: ProviderMigrationInput): ProviderMigrationResult;
+/** One recorded capability request, used to prove resolution during migration. */
+export interface ProviderResolutionRecord {
+    readonly requestId: string;
+    readonly capability: string;
+    readonly contract: string;
+    readonly resolvedProvider: string;
+    readonly providerStateAtResolution: ProviderLifecycleState;
+    readonly executionResult: "success" | "failure" | "not_observed";
+    readonly evidenceId: string;
+    /** PR88 policy context. Optional for pre-policy PR87 evidence. */
+    readonly policyId?: string;
+    readonly policyVersion?: string;
+}
+/**
+ * Fails when a request resolved to a provider AppBoundry had already declared
+ * ineligible.
+ */
+export declare function assertResolutionInvariant(records: readonly ProviderResolutionRecord[]): void;
+/** A provider execution observed before or after migration. */
+export interface ProviderExecutionSummary {
+    readonly provider: string;
+    readonly state: ProviderLifecycleState;
+    readonly execution: "pass" | "fail" | "not_run" | "skip";
+    /** Where the implementation ran. Recorded for the trace, never for selection. */
+    readonly environment?: string;
+}
+/** What the harness observed while proving a migration. */
+export interface ProviderMigrationObservation {
+    readonly capability: string;
+    readonly contract: string;
+    readonly migration: ProviderMigrationResult;
+    readonly consumerContractUnchanged: boolean;
+    readonly consumerSourceUnchanged: boolean;
+    readonly before: ProviderExecutionSummary;
+    readonly after: ProviderExecutionSummary;
+    readonly retirement: {
+        readonly legacyProcessStopped: boolean;
+        readonly legacyArtifactUnavailable: boolean;
+        readonly directInvocationFailed: boolean;
+    };
+    readonly noEligibleProvider: {
+        readonly verified: boolean;
+        readonly code: string;
+    };
+    readonly restoration: {
+        readonly verified: boolean;
+        readonly provider: string;
+    };
+    readonly invalidMigration: {
+        readonly rejected: boolean;
+        readonly reason: string;
+        readonly provider: string;
+    };
+    readonly resolutions: readonly ProviderResolutionRecord[];
+    readonly providers: readonly ProviderLifecycleRecord[];
+    readonly evidence: readonly ProviderLifecycleEvidence[];
+}
+/** Machine-readable provider migration report. */
+export interface ProviderMigrationReport extends ProviderMigrationObservation {
+    readonly title: "AppBoundry Provider Migration Proof";
+    readonly generatedBy: "appport.providerMigrationHarness";
+    readonly result: "pass" | "fail";
+}
+/** Builds the machine-readable report from what the harness observed. */
+export declare function createProviderMigrationReport(observation: ProviderMigrationObservation): ProviderMigrationReport;
+/** Formats the human-readable migration proof trace. */
+export declare function formatProviderMigrationTrace(report: ProviderMigrationReport): string;
+//# sourceMappingURL=provider-lifecycle.d.ts.map

package/dist/provider-lifecycle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"provider-lifecycle.d.ts","sourceRoot":"","sources":["../src/provider-lifecycle.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,sBAAsB,GAC9B,YAAY,GACZ,UAAU,GACV,QAAQ,GACR,UAAU,GACV,SAAS,GACT,SAAS,CAAC;AAEd,wEAAwE;AACxE,eAAO,MAAM,yBAAyB,EAAE,sBAAiC,CAAC;AAW1E,0DAA0D;AAC1D,qBAAa,sBAAuB,SAAQ,KAAK;IAG7C,QAAQ,CAAC,UAAU,EAAE,MAAM;gBAD3B,OAAO,EAAE,MAAM,EACN,UAAU,EAAE,MAAM;CAK9B;AAED,uFAAuF;AACvF,qBAAa,yBAA0B,SAAQ,KAAK;IAGhD,QAAQ,CAAC,MAAM,EAAE,MAAM;gBADvB,OAAO,EAAE,MAAM,EACN,MAAM,EAAE,MAAM;CAK1B;AAED,+DAA+D;AAC/D,MAAM,WAAW,oBAAoB;IACnC,qDAAqD;IACrD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,qEAAqE;IACrE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,gGAAgG;IAChG,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,gFAAgF;IAChF,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,mEAAmE;IACnE,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,kEAAkE;AAClE,MAAM,WAAW,uBAAwB,SAAQ,oBAAoB;IACnE,QAAQ,CAAC,KAAK,EAAE,sBAAsB,CAAC;IACvC,0EAA0E;IAC1E,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED,kEAAkE;AAClE,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,iEAAiE;AACjE,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,sBAAsB,CAAC;IAC/C,QAAQ,CAAC,qBAAqB,EAAE,sBAAsB,CAAC;IACvD,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,wEAAwE;AACxE,eAAO,MAAM,YAAY,EAAG,cAAuB,CAAC;AAcpD,wDAAwD;AACxD,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,CAAC,EAAE,4BAA4B,CAAC;CAClD;AAED;;;;;;GAMG;AACH,qBAAa,yBAAyB;;IAKxB,OAAO,CAAC,QAAQ,CAAC,GAAG;gBAAH,GAAG,GAAE,MAAM,IAAuB;IAE/D;;;;;;OAMG;IACH,QAAQ,CAAC,YAAY,EAAE,oBAAoB,GAAG,uBAAuB;IAkBrE,2EAA2E;IAC3E,YAAY,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,GAAE,yBAA8B,GAAG,uBAAuB;IAIlG,sDAAsD;IACtD,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,GAAE,yBAA8B,GAAG,uBAAuB;IAI9F,0EAA0E;IAC1E,KAAK,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,GAAE,yBAA8B,GAAG,uBAAuB;IAI3F,2DAA2D;IAC3D,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,GAAE,yBAA8B,GAAG,uBAAuB;IAI5F,+EAA+E;IAC/E,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,GAAE,yBAA8B,GAAG,uBAAuB;IAI5F,iFAAiF;IACjF,MAAM,CAAC,UAAU,EAAE,MAAM,GAAG,uBAAuB,GAAG,SAAS;IAI/D,gFAAgF;IAChF,KAAK,CAAC,UAAU,EAAE,MAAM,GAAG,sBAAsB,GAAG,SAAS;IAI7D,uDAAuD;IACvD,OAAO,IAAI,SAAS,uBAAuB,EAAE;IAI7C,kEAAkE;IAClE,UAAU,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,uBAAuB,EAAE;IAMlE,4DAA4D;IAC5D,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;IAIzC,sDAAsD;IACtD,QAAQ,IAAI,SAAS,yBAAyB,EAAE;IAIhD,uEAAuE;IACvE,eAAe,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,4BAA4B,GAAG,yBAAyB;CAoDvG;AAED,6EAA6E;AAC7E,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,sEAAsE;IACtE,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,gFAAgF;IAChF,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,4CAA4C;AAC5C,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,qBAAqB,EAAE,sBAAsB,CAAC;IACvD,QAAQ,CAAC,wBAAwB,EAAE,sBAAsB,CAAC;IAC1D,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,SAAS,yBAAyB,EAAE,CAAC;CACzD;AAID;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAC7B,QAAQ,EAAE,yBAAyB,EACnC,KAAK,EAAE,sBAAsB,GAC5B,uBAAuB,CA6EzB;AAED,kFAAkF;AAClF,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,yBAAyB,EAAE,sBAAsB,CAAC;IAC3D,QAAQ,CAAC,eAAe,EAAE,SAAS,GAAG,SAAS,GAAG,cAAc,CAAC;IACjE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,kEAAkE;IAClE,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,SAAS,wBAAwB,EAAE,GAAG,IAAI,CAQ5F;AAED,+DAA+D;AAC/D,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,sBAAsB,CAAC;IACvC,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;IACzD,iFAAiF;IACjF,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,2DAA2D;AAC3D,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,uBAAuB,CAAC;IAC5C,QAAQ,CAAC,yBAAyB,EAAE,OAAO,CAAC;IAC5C,QAAQ,CAAC,uBAAuB,EAAE,OAAO,CAAC;IAC1C,QAAQ,CAAC,MAAM,EAAE,wBAAwB,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,wBAAwB,CAAC;IACzC,QAAQ,CAAC,UAAU,EAAE;QACnB,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;QACvC,QAAQ,CAAC,yBAAyB,EAAE,OAAO,CAAC;QAC5C,QAAQ,CAAC,sBAAsB,EAAE,OAAO,CAAC;KAC1C,CAAC;IACF,QAAQ,CAAC,kBAAkB,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACnF,QAAQ,CAAC,WAAW,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IAChF,QAAQ,CAAC,gBAAgB,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9G,QAAQ,CAAC,WAAW,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAC1D,QAAQ,CAAC,SAAS,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACvD,QAAQ,CAAC,QAAQ,EAAE,SAAS,yBAAyB,EAAE,CAAC;CACzD;AAED,kDAAkD;AAClD,MAAM,WAAW,uBAAwB,SAAQ,4BAA4B;IAC3E,QAAQ,CAAC,KAAK,EAAE,qCAAqC,CAAC;IACtD,QAAQ,CAAC,WAAW,EAAE,kCAAkC,CAAC;IACzD,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;CAClC;AAED,yEAAyE;AACzE,wBAAgB,6BAA6B,CAC3C,WAAW,EAAE,4BAA4B,GACxC,uBAAuB,CAuBzB;AAMD,wDAAwD;AACxD,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,uBAAuB,GAAG,MAAM,CA2CpF"}