agent-embassy 1.7.0 → 1.8.0

package/dist/src/gateway/delivery-machine.d.ts

@@ -1,235 +0,0 @@
-/**
- * Pure delivery lifecycle for one accepted Embassy message.
- *
- * This module deliberately owns no timers, I/O, message bodies, provider
- * handles, or reply correlation. Callers feed it observed events and execute
- * the returned effects. That keeps the terminal decision independently
- * testable while the service remains responsible for serialization.
- * Event timestamps are trusted, normalized controller inputs; untrusted wire
- * values must be validated before they reach this reducer.
- */
-export declare const deliveryPhases: readonly ["queued", "dispatching", "transport_written", "awaiting_terminal", "terminal"];
-export type DeliveryPhase = (typeof deliveryPhases)[number];
-export declare const deliveryTerminalOutcomes: readonly ["delivered", "unconfirmed", "expired", "failed", "ambiguous", "cancelled"];
-export type DeliveryTerminalOutcome = (typeof deliveryTerminalOutcomes)[number];
-export type DeliveryStallState = "pending" | "emitted";
-export type DeliveryApprovalProgress = "none" | "held";
-export type DeliveryWriteEvidence = "none" | "transport_uncertain" | "transport_written";
-export type NativeReceiptNotification = {
-    status: "delivered";
-} | {
-    status: "expired";
-    diagnosticCode: string;
-};
-export type NativeReceiptMachine = {
-    phase: "absent";
-} | {
-    phase: "open";
-    maxCleanPrewriteRetries: number;
-} | {
-    phase: "sending";
-    notification: NativeReceiptNotification;
-    attempt: number;
-    maxCleanPrewriteRetries: number;
-} | {
-    phase: "retry_wait";
-    notification: NativeReceiptNotification;
-    attempt: number;
-    retryAt: number;
-    maxCleanPrewriteRetries: number;
-} | {
-    phase: "confirmed";
-    notification: NativeReceiptNotification;
-    attempts: number;
-} | {
-    phase: "write_unconfirmed";
-    notification: NativeReceiptNotification;
-    attempts: number;
-    reason: "ambiguous_write" | "clean_prewrite_retries_exhausted";
-};
-type DeliveryCommonState = Readonly<{
-    enqueuedAt: number;
-    stallAt: number;
-    deadlineAt: number;
-    maxCleanPrewriteRetries: number;
-    dispatchAttempt: number;
-    dispatchRetryAt: number | null;
-    writeEvidence: DeliveryWriteEvidence;
-    uncertaintyCode: string | null;
-    approvalProgress: DeliveryApprovalProgress;
-    stall: DeliveryStallState;
-    nativeReceipt: NativeReceiptMachine;
-}>;
-export type ActiveDeliveryMachine = DeliveryCommonState & Readonly<{
-    phase: Exclude<DeliveryPhase, "terminal">;
-}>;
-export type TerminalDeliveryMachine = DeliveryCommonState & Readonly<{
-    phase: "terminal";
-    outcome: DeliveryTerminalOutcome;
-    terminalAt: number;
-    safeErrorCode?: string;
-}>;
-export type DeliveryMachine = ActiveDeliveryMachine | TerminalDeliveryMachine;
-export type CreateDeliveryMachineInput = Readonly<{
-    enqueuedAt: number;
-    stallAt: number;
-    deadlineAt: number;
-    maxCleanPrewriteRetries?: number;
-    nativeReceipt?: boolean;
-    maxNativeReceiptCleanPrewriteRetries?: number;
-}>;
-export declare const deliveryEventTypes: readonly ["dispatch_requested", "dispatch_retry_due", "dispatch_clean_prewrite_failed", "dispatch_ambiguous", "transport_written", "await_terminal", "provider_held", "provider_released", "provider_denied", "provider_expired", "provider_failed", "provider_unconfirmed", "route_terminated", "external_settlement", "stall_due", "deadline_due", "cancel", "shutdown", "native_receipt_confirmed", "native_receipt_clean_prewrite_failed", "native_receipt_retry_due", "native_receipt_ambiguous"];
-export type DeliveryEventType = (typeof deliveryEventTypes)[number];
-export type DeliveryEvent = {
-    type: "dispatch_requested";
-    at: number;
-} | {
-    type: "dispatch_retry_due";
-    at: number;
-} | {
-    type: "dispatch_clean_prewrite_failed";
-    at: number;
-    retryAt: number;
-    safeErrorCode: string;
-} | {
-    type: "dispatch_ambiguous";
-    at: number;
-    safeErrorCode: string;
-} | {
-    type: "transport_written";
-    observedAt: number;
-} | {
-    type: "await_terminal";
-    at: number;
-} | {
-    type: "provider_held";
-    observedAt: number;
-} | {
-    type: "provider_released";
-    observedAt: number;
-} | {
-    type: "provider_denied";
-    observedAt: number;
-    safeErrorCode: string;
-} | {
-    type: "provider_expired";
-    observedAt: number;
-    safeErrorCode: string;
-} | {
-    type: "provider_failed";
-    observedAt: number;
-    safeErrorCode: string;
-} | {
-    type: "provider_unconfirmed";
-    observedAt: number;
-    safeErrorCode: string;
-} | {
-    type: "route_terminated";
-    at: number;
-    unwrittenOutcome: "cancelled" | "failed";
-    safeErrorCode: string;
-} | {
-    type: "external_settlement";
-    at: number;
-    outcome: DeliveryTerminalOutcome;
-    safeErrorCode?: string;
-} | {
-    type: "stall_due";
-    at: number;
-} | {
-    type: "deadline_due";
-    at: number;
-} | {
-    type: "cancel";
-    at: number;
-    safeErrorCode: string;
-} | {
-    type: "shutdown";
-    at: number;
-} | {
-    type: "native_receipt_confirmed";
-    at: number;
-} | {
-    type: "native_receipt_clean_prewrite_failed";
-    at: number;
-    retryAt: number;
-} | {
-    type: "native_receipt_retry_due";
-    at: number;
-} | {
-    type: "native_receipt_ambiguous";
-    at: number;
-};
-export type DeliveryEffect = {
-    type: "dispatch";
-    attempt: number;
-} | {
-    type: "schedule_dispatch_retry";
-    attempt: number;
-    retryAt: number;
-} | {
-    type: "record_progress";
-    progress: "transport_written" | "transport_uncertain" | "held";
-} | {
-    type: "publish_stall";
-    pendingForMs: number;
-} | {
-    type: "settle_delivery";
-    outcome: DeliveryTerminalOutcome;
-    terminalAt: number;
-    safeErrorCode?: string;
-} | {
-    type: "send_native_receipt";
-    notification: NativeReceiptNotification;
-    attempt: number;
-} | {
-    type: "schedule_native_receipt_retry";
-    attempt: number;
-    retryAt: number;
-} | {
-    type: "release_native_receipt";
-    reason: "ambiguous_write" | "clean_prewrite_retries_exhausted";
-};
-export type DeliveryTransition = Readonly<{
-    state: DeliveryMachine;
-    effects: readonly DeliveryEffect[];
-}>;
-export type DeadlineArbitration = "provider_terminal_wins" | "deadline_wins";
-/** Provider terminal evidence must be observed strictly before the deadline. */
-export declare function arbitrateDeliveryDeadline(observedAt: number, deadlineAt: number): DeadlineArbitration;
-export declare function createDeliveryMachine(input: CreateDeliveryMachineInput): DeliveryMachine;
-export declare function isTerminalDeliveryMachine(state: DeliveryMachine): state is TerminalDeliveryMachine;
-export type DeliveryProjection = Readonly<{
-    phase: DeliveryPhase;
-    publicState: Exclude<DeliveryPhase, "terminal"> | "stalled" | DeliveryTerminalOutcome;
-    terminal: boolean;
-    stalled: boolean;
-    pendingForMs?: number;
-    outcome?: DeliveryTerminalOutcome;
-    approvalProgress: DeliveryApprovalProgress;
-    writeEvidence: DeliveryWriteEvidence;
-    nativeReceiptPhase: NativeReceiptMachine["phase"];
-}>;
-export declare function projectDelivery(state: DeliveryMachine, now: number): DeliveryProjection;
-export type DeliveryWakeups = Readonly<{
-    stallAt?: number;
-    deadlineAt?: number;
-    dispatchRetryAt?: number;
-    nativeReceiptRetryAt?: number;
-}>;
-/** Timer projection; scheduling remains a controller responsibility. */
-export declare function projectDeliveryWakeups(state: DeliveryMachine): DeliveryWakeups;
-export declare function transitionDelivery(state: DeliveryMachine, event: DeliveryEvent): DeliveryTransition;
-type NativeReceiptEvent = Extract<DeliveryEvent, {
-    type: "native_receipt_confirmed" | "native_receipt_clean_prewrite_failed" | "native_receipt_retry_due" | "native_receipt_ambiguous";
-}>;
-export type NativeReceiptTransition = Readonly<{
-    state: NativeReceiptMachine;
-    effects: readonly DeliveryEffect[];
-}>;
-/**
- * Child lifecycle for notifying a native sender about the already-decided
- * delivery outcome. It cannot alter the parent's terminal outcome.
- */
-export declare function transitionNativeReceipt(state: NativeReceiptMachine, event: NativeReceiptEvent): NativeReceiptTransition;
-export {};