@domainkit/react 0.22.0 → 0.23.0

package/dist/index.d.mts

@@ -36,206 +36,35 @@ export type Event = Data.TaggedEnum<{
     readonly error: DomainKit.Error;
   };
 }>;
-export declare const Event: {
-  readonly $is: <Tag extends "Applied" | "Cleaned" | "Connected" | "Declined" | "Detached" | "Disconnected" | "Failed">(tag: Tag) => (u: unknown) => u is Extract<{
-    readonly _tag: "Applied";
-    readonly domain: string;
-    readonly receipt: Receipt.Model;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Cleaned";
-    readonly domain: string;
-    readonly receipt: Receipt.Model;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Connected";
-    readonly domain: string;
-    readonly connectionId: string;
-    readonly snapshot: Transport.Snapshot;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Declined";
-    readonly domain: string;
-    readonly attempt: Transport.Attempt;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Detached";
-    readonly domain: string;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Disconnected";
-    readonly domain: string;
-    readonly connectionId: string;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Failed";
-    readonly domain: string;
-    readonly error: DomainKit.Error;
-  }, {
-    readonly _tag: Tag;
-  }>;
-  readonly $match: {
-    <Cases extends { readonly [Tag in "Applied" | "Cleaned" | "Connected" | "Declined" | "Detached" | "Disconnected" | "Failed"]: (args: Extract<{
-      readonly _tag: "Applied";
-      readonly domain: string;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Cleaned";
-      readonly domain: string;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Connected";
-      readonly domain: string;
-      readonly connectionId: string;
-      readonly snapshot: Transport.Snapshot;
-    } | {
-      readonly _tag: "Declined";
-      readonly domain: string;
-      readonly attempt: Transport.Attempt;
-    } | {
-      readonly _tag: "Detached";
-      readonly domain: string;
-    } | {
-      readonly _tag: "Disconnected";
-      readonly domain: string;
-      readonly connectionId: string;
-    } | {
-      readonly _tag: "Failed";
-      readonly domain: string;
-      readonly error: DomainKit.Error;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(cases: Cases): (value: {
-      readonly _tag: "Applied";
-      readonly domain: string;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Cleaned";
-      readonly domain: string;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Connected";
-      readonly domain: string;
-      readonly connectionId: string;
-      readonly snapshot: Transport.Snapshot;
-    } | {
-      readonly _tag: "Declined";
-      readonly domain: string;
-      readonly attempt: Transport.Attempt;
-    } | {
-      readonly _tag: "Detached";
-      readonly domain: string;
-    } | {
-      readonly _tag: "Disconnected";
-      readonly domain: string;
-      readonly connectionId: string;
-    } | {
-      readonly _tag: "Failed";
-      readonly domain: string;
-      readonly error: DomainKit.Error;
-    }) => import("effect/Unify").Unify<ReturnType<Cases["Applied" | "Cleaned" | "Connected" | "Declined" | "Detached" | "Disconnected" | "Failed"]>>;
-    <Cases extends { readonly [Tag in "Applied" | "Cleaned" | "Connected" | "Declined" | "Detached" | "Disconnected" | "Failed"]: (args: Extract<{
-      readonly _tag: "Applied";
-      readonly domain: string;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Cleaned";
-      readonly domain: string;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Connected";
-      readonly domain: string;
-      readonly connectionId: string;
-      readonly snapshot: Transport.Snapshot;
-    } | {
-      readonly _tag: "Declined";
-      readonly domain: string;
-      readonly attempt: Transport.Attempt;
-    } | {
-      readonly _tag: "Detached";
-      readonly domain: string;
-    } | {
-      readonly _tag: "Disconnected";
-      readonly domain: string;
-      readonly connectionId: string;
-    } | {
-      readonly _tag: "Failed";
-      readonly domain: string;
-      readonly error: DomainKit.Error;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(value: {
-      readonly _tag: "Applied";
-      readonly domain: string;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Cleaned";
-      readonly domain: string;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Connected";
-      readonly domain: string;
-      readonly connectionId: string;
-      readonly snapshot: Transport.Snapshot;
-    } | {
-      readonly _tag: "Declined";
-      readonly domain: string;
-      readonly attempt: Transport.Attempt;
-    } | {
-      readonly _tag: "Detached";
-      readonly domain: string;
-    } | {
-      readonly _tag: "Disconnected";
-      readonly domain: string;
-      readonly connectionId: string;
-    } | {
-      readonly _tag: "Failed";
-      readonly domain: string;
-      readonly error: DomainKit.Error;
-    }, cases: Cases): import("effect/Unify").Unify<ReturnType<Cases["Applied" | "Cleaned" | "Connected" | "Declined" | "Detached" | "Disconnected" | "Failed"]>>;
-  };
-  readonly Applied: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Applied";
-    readonly domain: string;
-    readonly receipt: Receipt.Model;
-  }, "_tag">;
-  readonly Cleaned: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Cleaned";
-    readonly domain: string;
-    readonly receipt: Receipt.Model;
-  }, "_tag">;
-  readonly Connected: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Connected";
-    readonly domain: string;
-    readonly connectionId: string;
-    readonly snapshot: Transport.Snapshot;
-  }, "_tag">;
-  readonly Declined: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Declined";
-    readonly domain: string;
-    readonly attempt: Transport.Attempt;
-  }, "_tag">;
-  readonly Detached: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Detached";
-    readonly domain: string;
-  }, "_tag">;
-  readonly Disconnected: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Disconnected";
-    readonly domain: string;
-    readonly connectionId: string;
-  }, "_tag">;
-  readonly Failed: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Failed";
-    readonly domain: string;
-    readonly error: DomainKit.Error;
-  }, "_tag">;
-};
+export declare const Event: Data.TaggedEnum.Constructor<{
+  readonly _tag: "Applied";
+  readonly domain: string;
+  readonly receipt: Receipt.Model;
+} | {
+  readonly _tag: "Cleaned";
+  readonly domain: string;
+  readonly receipt: Receipt.Model;
+} | {
+  readonly _tag: "Connected";
+  readonly domain: string;
+  readonly connectionId: string;
+  readonly snapshot: Transport.Snapshot;
+} | {
+  readonly _tag: "Declined";
+  readonly domain: string;
+  readonly attempt: Transport.Attempt;
+} | {
+  readonly _tag: "Detached";
+  readonly domain: string;
+} | {
+  readonly _tag: "Disconnected";
+  readonly domain: string;
+  readonly connectionId: string;
+} | {
+  readonly _tag: "Failed";
+  readonly domain: string;
+  readonly error: DomainKit.Error;
+}>;
 type Listener = (event: Event) => void;
 //#endregion
 //#region src/attempt.d.ts
@@ -267,212 +96,35 @@ type State$2 = Data.TaggedEnum<{
     readonly error: DomainKit.Error;
   };
 }>;
-declare const State$2: {
-  readonly $is: <Tag extends "Applied" | "Applying" | "Approving" | "Failure" | "Idle" | "Planned" | "Planning" | "Rejected" | "Rejecting">(tag: Tag) => (u: unknown) => u is Extract<{
-    readonly _tag: "Applied";
-    readonly plan: Plan.Model | null;
-    readonly receipt: Receipt.Model;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Applying";
-    readonly plan: Plan.Model;
-    readonly approval: Approval.Model;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Approving";
-    readonly plan: Plan.Model;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Idle";
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Planned";
-    readonly plan: Plan.Model;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Planning";
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Rejected";
-    readonly plan: Plan.Model;
-    readonly attempt: Transport.Attempt;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Rejecting";
-    readonly plan: Plan.Model;
-  }, {
-    readonly _tag: Tag;
-  }>;
-  readonly $match: {
-    <Cases extends { readonly [Tag in "Applied" | "Applying" | "Approving" | "Failure" | "Idle" | "Planned" | "Planning" | "Rejected" | "Rejecting"]: (args: Extract<{
-      readonly _tag: "Applied";
-      readonly plan: Plan.Model | null;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Applying";
-      readonly plan: Plan.Model;
-      readonly approval: Approval.Model;
-    } | {
-      readonly _tag: "Approving";
-      readonly plan: Plan.Model;
-    } | {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Idle";
-    } | {
-      readonly _tag: "Planned";
-      readonly plan: Plan.Model;
-    } | {
-      readonly _tag: "Planning";
-    } | {
-      readonly _tag: "Rejected";
-      readonly plan: Plan.Model;
-      readonly attempt: Transport.Attempt;
-    } | {
-      readonly _tag: "Rejecting";
-      readonly plan: Plan.Model;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(cases: Cases): (value: {
-      readonly _tag: "Applied";
-      readonly plan: Plan.Model | null;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Applying";
-      readonly plan: Plan.Model;
-      readonly approval: Approval.Model;
-    } | {
-      readonly _tag: "Approving";
-      readonly plan: Plan.Model;
-    } | {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Idle";
-    } | {
-      readonly _tag: "Planned";
-      readonly plan: Plan.Model;
-    } | {
-      readonly _tag: "Planning";
-    } | {
-      readonly _tag: "Rejected";
-      readonly plan: Plan.Model;
-      readonly attempt: Transport.Attempt;
-    } | {
-      readonly _tag: "Rejecting";
-      readonly plan: Plan.Model;
-    }) => import("effect/Unify").Unify<ReturnType<Cases["Applied" | "Applying" | "Approving" | "Failure" | "Idle" | "Planned" | "Planning" | "Rejected" | "Rejecting"]>>;
-    <Cases extends { readonly [Tag in "Applied" | "Applying" | "Approving" | "Failure" | "Idle" | "Planned" | "Planning" | "Rejected" | "Rejecting"]: (args: Extract<{
-      readonly _tag: "Applied";
-      readonly plan: Plan.Model | null;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Applying";
-      readonly plan: Plan.Model;
-      readonly approval: Approval.Model;
-    } | {
-      readonly _tag: "Approving";
-      readonly plan: Plan.Model;
-    } | {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Idle";
-    } | {
-      readonly _tag: "Planned";
-      readonly plan: Plan.Model;
-    } | {
-      readonly _tag: "Planning";
-    } | {
-      readonly _tag: "Rejected";
-      readonly plan: Plan.Model;
-      readonly attempt: Transport.Attempt;
-    } | {
-      readonly _tag: "Rejecting";
-      readonly plan: Plan.Model;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(value: {
-      readonly _tag: "Applied";
-      readonly plan: Plan.Model | null;
-      readonly receipt: Receipt.Model;
-    } | {
-      readonly _tag: "Applying";
-      readonly plan: Plan.Model;
-      readonly approval: Approval.Model;
-    } | {
-      readonly _tag: "Approving";
-      readonly plan: Plan.Model;
-    } | {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Idle";
-    } | {
-      readonly _tag: "Planned";
-      readonly plan: Plan.Model;
-    } | {
-      readonly _tag: "Planning";
-    } | {
-      readonly _tag: "Rejected";
-      readonly plan: Plan.Model;
-      readonly attempt: Transport.Attempt;
-    } | {
-      readonly _tag: "Rejecting";
-      readonly plan: Plan.Model;
-    }, cases: Cases): import("effect/Unify").Unify<ReturnType<Cases["Applied" | "Applying" | "Approving" | "Failure" | "Idle" | "Planned" | "Planning" | "Rejected" | "Rejecting"]>>;
-  };
-  readonly Applied: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Applied";
-    readonly plan: Plan.Model | null;
-    readonly receipt: Receipt.Model;
-  }, "_tag">;
-  readonly Applying: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Applying";
-    readonly plan: Plan.Model;
-    readonly approval: Approval.Model;
-  }, "_tag">;
-  readonly Approving: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Approving";
-    readonly plan: Plan.Model;
-  }, "_tag">;
-  readonly Failure: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-  }, "_tag">;
-  readonly Idle: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Idle";
-  }, "_tag">;
-  readonly Planned: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Planned";
-    readonly plan: Plan.Model;
-  }, "_tag">;
-  readonly Planning: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Planning";
-  }, "_tag">;
-  readonly Rejected: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Rejected";
-    readonly plan: Plan.Model;
-    readonly attempt: Transport.Attempt;
-  }, "_tag">;
-  readonly Rejecting: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Rejecting";
-    readonly plan: Plan.Model;
-  }, "_tag">;
-};
+declare const State$2: Data.TaggedEnum.Constructor<{
+  readonly _tag: "Applied";
+  readonly plan: Plan.Model | null;
+  readonly receipt: Receipt.Model;
+} | {
+  readonly _tag: "Applying";
+  readonly plan: Plan.Model;
+  readonly approval: Approval.Model;
+} | {
+  readonly _tag: "Approving";
+  readonly plan: Plan.Model;
+} | {
+  readonly _tag: "Failure";
+  readonly error: DomainKit.Error;
+} | {
+  readonly _tag: "Idle";
+} | {
+  readonly _tag: "Planned";
+  readonly plan: Plan.Model;
+} | {
+  readonly _tag: "Planning";
+} | {
+  readonly _tag: "Rejected";
+  readonly plan: Plan.Model;
+  readonly attempt: Transport.Attempt;
+} | {
+  readonly _tag: "Rejecting";
+  readonly plan: Plan.Model;
+}>;
 interface Controller$2 {
   readonly state: State$2;
   /** Build a plan. The plan itself rides on the state, from `Planned` through `Applied`. */
@@ -531,86 +183,17 @@ type ZonesState = Data.TaggedEnum<{
     readonly error: DomainKit.Error;
   };
 }>;
-declare const ZonesState: {
-  readonly $is: <Tag extends "Failure" | "Loading" | "Ready">(tag: Tag) => (u: unknown) => u is Extract<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Loading";
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Ready";
-    readonly zones: ReadonlyArray<Zone>;
-    readonly connections: ReadonlyArray<Account>;
-    readonly providers: ReadonlyArray<Descriptor>;
-  }, {
-    readonly _tag: Tag;
-  }>;
-  readonly $match: {
-    <Cases extends { readonly [Tag in "Failure" | "Loading" | "Ready"]: (args: Extract<{
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Loading";
-    } | {
-      readonly _tag: "Ready";
-      readonly zones: ReadonlyArray<Zone>;
-      readonly connections: ReadonlyArray<Account>;
-      readonly providers: ReadonlyArray<Descriptor>;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(cases: Cases): (value: {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Loading";
-    } | {
-      readonly _tag: "Ready";
-      readonly zones: ReadonlyArray<Zone>;
-      readonly connections: ReadonlyArray<Account>;
-      readonly providers: ReadonlyArray<Descriptor>;
-    }) => import("effect/Unify").Unify<ReturnType<Cases["Failure" | "Loading" | "Ready"]>>;
-    <Cases extends { readonly [Tag in "Failure" | "Loading" | "Ready"]: (args: Extract<{
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Loading";
-    } | {
-      readonly _tag: "Ready";
-      readonly zones: ReadonlyArray<Zone>;
-      readonly connections: ReadonlyArray<Account>;
-      readonly providers: ReadonlyArray<Descriptor>;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(value: {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Loading";
-    } | {
-      readonly _tag: "Ready";
-      readonly zones: ReadonlyArray<Zone>;
-      readonly connections: ReadonlyArray<Account>;
-      readonly providers: ReadonlyArray<Descriptor>;
-    }, cases: Cases): import("effect/Unify").Unify<ReturnType<Cases["Failure" | "Loading" | "Ready"]>>;
-  };
-  readonly Failure: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-  }, "_tag">;
-  readonly Loading: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Loading";
-  }, "_tag">;
-  readonly Ready: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Ready";
-    readonly zones: ReadonlyArray<Zone>;
-    readonly connections: ReadonlyArray<Account>;
-    readonly providers: ReadonlyArray<Descriptor>;
-  }, "_tag">;
-};
+declare const ZonesState: Data.TaggedEnum.Constructor<{
+  readonly _tag: "Failure";
+  readonly error: DomainKit.Error;
+} | {
+  readonly _tag: "Loading";
+} | {
+  readonly _tag: "Ready";
+  readonly zones: ReadonlyArray<Zone>;
+  readonly connections: ReadonlyArray<Account>;
+  readonly providers: ReadonlyArray<Descriptor>;
+}>;
 interface ZonesController {
   readonly state: ZonesState;
   readonly zones: ReadonlyArray<Zone>;
@@ -647,110 +230,20 @@ type AccountsState = Data.TaggedEnum<{
     readonly error: DomainKit.Error;
   };
 }>;
-declare const AccountsState: {
-  readonly $is: <Tag extends "Failure" | "Loading" | "Ready" | "Redirecting" | "Submitting">(tag: Tag) => (u: unknown) => u is Extract<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Loading";
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Ready";
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Redirecting";
-    readonly url: string;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Submitting";
-    readonly provider: string;
-  }, {
-    readonly _tag: Tag;
-  }>;
-  readonly $match: {
-    <Cases extends { readonly [Tag in "Failure" | "Loading" | "Ready" | "Redirecting" | "Submitting"]: (args: Extract<{
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Loading";
-    } | {
-      readonly _tag: "Ready";
-    } | {
-      readonly _tag: "Redirecting";
-      readonly url: string;
-    } | {
-      readonly _tag: "Submitting";
-      readonly provider: string;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(cases: Cases): (value: {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Loading";
-    } | {
-      readonly _tag: "Ready";
-    } | {
-      readonly _tag: "Redirecting";
-      readonly url: string;
-    } | {
-      readonly _tag: "Submitting";
-      readonly provider: string;
-    }) => import("effect/Unify").Unify<ReturnType<Cases["Failure" | "Loading" | "Ready" | "Redirecting" | "Submitting"]>>;
-    <Cases extends { readonly [Tag in "Failure" | "Loading" | "Ready" | "Redirecting" | "Submitting"]: (args: Extract<{
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Loading";
-    } | {
-      readonly _tag: "Ready";
-    } | {
-      readonly _tag: "Redirecting";
-      readonly url: string;
-    } | {
-      readonly _tag: "Submitting";
-      readonly provider: string;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(value: {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    } | {
-      readonly _tag: "Loading";
-    } | {
-      readonly _tag: "Ready";
-    } | {
-      readonly _tag: "Redirecting";
-      readonly url: string;
-    } | {
-      readonly _tag: "Submitting";
-      readonly provider: string;
-    }, cases: Cases): import("effect/Unify").Unify<ReturnType<Cases["Failure" | "Loading" | "Ready" | "Redirecting" | "Submitting"]>>;
-  };
-  readonly Failure: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-  }, "_tag">;
-  readonly Loading: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Loading";
-  }, "_tag">;
-  readonly Ready: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Ready";
-  }, "_tag">;
-  readonly Redirecting: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Redirecting";
-    readonly url: string;
-  }, "_tag">;
-  readonly Submitting: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Submitting";
-    readonly provider: string;
-  }, "_tag">;
-};
+declare const AccountsState: Data.TaggedEnum.Constructor<{
+  readonly _tag: "Failure";
+  readonly error: DomainKit.Error;
+} | {
+  readonly _tag: "Loading";
+} | {
+  readonly _tag: "Ready";
+} | {
+  readonly _tag: "Redirecting";
+  readonly url: string;
+} | {
+  readonly _tag: "Submitting";
+  readonly provider: string;
+}>;
 interface AccountsController {
   readonly state: AccountsState;
   readonly zones: ReadonlyArray<Zone>;
@@ -788,7 +281,12 @@ declare const placementOf: (value: string, zones: ReadonlyArray<Zone>, preferred
   readonly zone: Zone;
   readonly placement: Placement;
 } | null;
-/** Zones the typed value is reaching for: a prefix of the zone, or a subdomain of one. */
+/**
+ * Zones the typed value is reaching for. A zone that already holds the name wins outright, the
+ * deepest first, so `probe.example.com` offers `example.com` and never a zone that only shares
+ * letters with it. Otherwise the value is still being typed: a zone it is a prefix of, or one whose
+ * start follows a subdomain.
+ */
 declare const suggestionsFor: (value: string, zones: ReadonlyArray<Zone>) => ReadonlyArray<Zone>;
 /** The value a suggestion completes to: whatever subdomain was typed, then the zone. */
 declare const completionOf: (value: string, zone: Zone) => string;
@@ -920,227 +418,38 @@ type State$1 = Data.TaggedEnum<{
     readonly attempt: Attempt | null;
   };
 }>;
-declare const State$1: {
-  readonly $is: <Tag extends "Connected" | "Disconnected" | "Failure" | "Loading" | "Reconnect" | "Redirecting" | "SelectionRequired" | "Submitting">(tag: Tag) => (u: unknown) => u is Extract<{
-    readonly _tag: "Connected";
-    readonly snapshot: Snapshot;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Disconnected";
-    readonly snapshot: Snapshot;
-    readonly discovery: Discovery | null;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-    readonly snapshot: Snapshot | null;
-    readonly discovery: Discovery | null;
-    readonly attempt: Attempt | null;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Loading";
-    readonly snapshot: Snapshot | null;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Reconnect";
-    readonly snapshot: Snapshot;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Redirecting";
-    readonly url: string;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "SelectionRequired";
-    readonly snapshot: Snapshot | null;
-    readonly connectionId: string;
-    readonly candidates: ReadonlyArray<Candidate>;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Submitting";
-    readonly snapshot: Snapshot | null;
-    readonly discovery: Discovery | null;
-  }, {
-    readonly _tag: Tag;
-  }>;
-  readonly $match: {
-    <Cases extends { readonly [Tag in "Connected" | "Disconnected" | "Failure" | "Loading" | "Reconnect" | "Redirecting" | "SelectionRequired" | "Submitting"]: (args: Extract<{
-      readonly _tag: "Connected";
-      readonly snapshot: Snapshot;
-    } | {
-      readonly _tag: "Disconnected";
-      readonly snapshot: Snapshot;
-      readonly discovery: Discovery | null;
-    } | {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-      readonly snapshot: Snapshot | null;
-      readonly discovery: Discovery | null;
-      readonly attempt: Attempt | null;
-    } | {
-      readonly _tag: "Loading";
-      readonly snapshot: Snapshot | null;
-    } | {
-      readonly _tag: "Reconnect";
-      readonly snapshot: Snapshot;
-    } | {
-      readonly _tag: "Redirecting";
-      readonly url: string;
-    } | {
-      readonly _tag: "SelectionRequired";
-      readonly snapshot: Snapshot | null;
-      readonly connectionId: string;
-      readonly candidates: ReadonlyArray<Candidate>;
-    } | {
-      readonly _tag: "Submitting";
-      readonly snapshot: Snapshot | null;
-      readonly discovery: Discovery | null;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(cases: Cases): (value: {
-      readonly _tag: "Connected";
-      readonly snapshot: Snapshot;
-    } | {
-      readonly _tag: "Disconnected";
-      readonly snapshot: Snapshot;
-      readonly discovery: Discovery | null;
-    } | {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-      readonly snapshot: Snapshot | null;
-      readonly discovery: Discovery | null;
-      readonly attempt: Attempt | null;
-    } | {
-      readonly _tag: "Loading";
-      readonly snapshot: Snapshot | null;
-    } | {
-      readonly _tag: "Reconnect";
-      readonly snapshot: Snapshot;
-    } | {
-      readonly _tag: "Redirecting";
-      readonly url: string;
-    } | {
-      readonly _tag: "SelectionRequired";
-      readonly snapshot: Snapshot | null;
-      readonly connectionId: string;
-      readonly candidates: ReadonlyArray<Candidate>;
-    } | {
-      readonly _tag: "Submitting";
-      readonly snapshot: Snapshot | null;
-      readonly discovery: Discovery | null;
-    }) => import("effect/Unify").Unify<ReturnType<Cases["Connected" | "Disconnected" | "Failure" | "Loading" | "Reconnect" | "Redirecting" | "SelectionRequired" | "Submitting"]>>;
-    <Cases extends { readonly [Tag in "Connected" | "Disconnected" | "Failure" | "Loading" | "Reconnect" | "Redirecting" | "SelectionRequired" | "Submitting"]: (args: Extract<{
-      readonly _tag: "Connected";
-      readonly snapshot: Snapshot;
-    } | {
-      readonly _tag: "Disconnected";
-      readonly snapshot: Snapshot;
-      readonly discovery: Discovery | null;
-    } | {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-      readonly snapshot: Snapshot | null;
-      readonly discovery: Discovery | null;
-      readonly attempt: Attempt | null;
-    } | {
-      readonly _tag: "Loading";
-      readonly snapshot: Snapshot | null;
-    } | {
-      readonly _tag: "Reconnect";
-      readonly snapshot: Snapshot;
-    } | {
-      readonly _tag: "Redirecting";
-      readonly url: string;
-    } | {
-      readonly _tag: "SelectionRequired";
-      readonly snapshot: Snapshot | null;
-      readonly connectionId: string;
-      readonly candidates: ReadonlyArray<Candidate>;
-    } | {
-      readonly _tag: "Submitting";
-      readonly snapshot: Snapshot | null;
-      readonly discovery: Discovery | null;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(value: {
-      readonly _tag: "Connected";
-      readonly snapshot: Snapshot;
-    } | {
-      readonly _tag: "Disconnected";
-      readonly snapshot: Snapshot;
-      readonly discovery: Discovery | null;
-    } | {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-      readonly snapshot: Snapshot | null;
-      readonly discovery: Discovery | null;
-      readonly attempt: Attempt | null;
-    } | {
-      readonly _tag: "Loading";
-      readonly snapshot: Snapshot | null;
-    } | {
-      readonly _tag: "Reconnect";
-      readonly snapshot: Snapshot;
-    } | {
-      readonly _tag: "Redirecting";
-      readonly url: string;
-    } | {
-      readonly _tag: "SelectionRequired";
-      readonly snapshot: Snapshot | null;
-      readonly connectionId: string;
-      readonly candidates: ReadonlyArray<Candidate>;
-    } | {
-      readonly _tag: "Submitting";
-      readonly snapshot: Snapshot | null;
-      readonly discovery: Discovery | null;
-    }, cases: Cases): import("effect/Unify").Unify<ReturnType<Cases["Connected" | "Disconnected" | "Failure" | "Loading" | "Reconnect" | "Redirecting" | "SelectionRequired" | "Submitting"]>>;
-  };
-  readonly Connected: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Connected";
-    readonly snapshot: Snapshot;
-  }, "_tag">;
-  readonly Disconnected: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Disconnected";
-    readonly snapshot: Snapshot;
-    readonly discovery: Discovery | null;
-  }, "_tag">;
-  readonly Failure: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-    readonly snapshot: Snapshot | null;
-    readonly discovery: Discovery | null;
-    readonly attempt: Attempt | null;
-  }, "_tag">;
-  readonly Loading: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Loading";
-    readonly snapshot: Snapshot | null;
-  }, "_tag">;
-  readonly Reconnect: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Reconnect";
-    readonly snapshot: Snapshot;
-  }, "_tag">;
-  readonly Redirecting: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Redirecting";
-    readonly url: string;
-  }, "_tag">;
-  readonly SelectionRequired: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "SelectionRequired";
-    readonly snapshot: Snapshot | null;
-    readonly connectionId: string;
-    readonly candidates: ReadonlyArray<Candidate>;
-  }, "_tag">;
-  readonly Submitting: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Submitting";
-    readonly snapshot: Snapshot | null;
-    readonly discovery: Discovery | null;
-  }, "_tag">;
-};
+declare const State$1: Data.TaggedEnum.Constructor<{
+  readonly _tag: "Connected";
+  readonly snapshot: Snapshot;
+} | {
+  readonly _tag: "Disconnected";
+  readonly snapshot: Snapshot;
+  readonly discovery: Discovery | null;
+} | {
+  readonly _tag: "Failure";
+  readonly error: DomainKit.Error;
+  readonly snapshot: Snapshot | null;
+  readonly discovery: Discovery | null;
+  readonly attempt: Attempt | null;
+} | {
+  readonly _tag: "Loading";
+  readonly snapshot: Snapshot | null;
+} | {
+  readonly _tag: "Reconnect";
+  readonly snapshot: Snapshot;
+} | {
+  readonly _tag: "Redirecting";
+  readonly url: string;
+} | {
+  readonly _tag: "SelectionRequired";
+  readonly snapshot: Snapshot | null;
+  readonly connectionId: string;
+  readonly candidates: ReadonlyArray<Candidate>;
+} | {
+  readonly _tag: "Submitting";
+  readonly snapshot: Snapshot | null;
+  readonly discovery: Discovery | null;
+}>;
 /** Which provider and method the failed command was for, so the form can answer beside it. */
 interface Attempt {
   readonly provider: string;
@@ -1346,101 +655,19 @@ type State = Data.TaggedEnum<{
     readonly readiness: Readiness$1 | null;
   };
 }>;
-declare const State: {
-  readonly $is: <Tag extends "Failure" | "Idle" | "Observed" | "Observing">(tag: Tag) => (u: unknown) => u is Extract<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-    readonly readiness: Readiness$1 | null;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Idle";
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Observed";
-    readonly readiness: Readiness$1;
-  }, {
-    readonly _tag: Tag;
-  }> | Extract<{
-    readonly _tag: "Observing";
-    readonly readiness: Readiness$1 | null;
-  }, {
-    readonly _tag: Tag;
-  }>;
-  readonly $match: {
-    <Cases extends { readonly [Tag in "Failure" | "Idle" | "Observed" | "Observing"]: (args: Extract<{
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-      readonly readiness: Readiness$1 | null;
-    } | {
-      readonly _tag: "Idle";
-    } | {
-      readonly _tag: "Observed";
-      readonly readiness: Readiness$1;
-    } | {
-      readonly _tag: "Observing";
-      readonly readiness: Readiness$1 | null;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(cases: Cases): (value: {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-      readonly readiness: Readiness$1 | null;
-    } | {
-      readonly _tag: "Idle";
-    } | {
-      readonly _tag: "Observed";
-      readonly readiness: Readiness$1;
-    } | {
-      readonly _tag: "Observing";
-      readonly readiness: Readiness$1 | null;
-    }) => import("effect/Unify").Unify<ReturnType<Cases["Failure" | "Idle" | "Observed" | "Observing"]>>;
-    <Cases extends { readonly [Tag in "Failure" | "Idle" | "Observed" | "Observing"]: (args: Extract<{
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-      readonly readiness: Readiness$1 | null;
-    } | {
-      readonly _tag: "Idle";
-    } | {
-      readonly _tag: "Observed";
-      readonly readiness: Readiness$1;
-    } | {
-      readonly _tag: "Observing";
-      readonly readiness: Readiness$1 | null;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(value: {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-      readonly readiness: Readiness$1 | null;
-    } | {
-      readonly _tag: "Idle";
-    } | {
-      readonly _tag: "Observed";
-      readonly readiness: Readiness$1;
-    } | {
-      readonly _tag: "Observing";
-      readonly readiness: Readiness$1 | null;
-    }, cases: Cases): import("effect/Unify").Unify<ReturnType<Cases["Failure" | "Idle" | "Observed" | "Observing"]>>;
-  };
-  readonly Failure: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-    readonly readiness: Readiness$1 | null;
-  }, "_tag">;
-  readonly Idle: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Idle";
-  }, "_tag">;
-  readonly Observed: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Observed";
-    readonly readiness: Readiness$1;
-  }, "_tag">;
-  readonly Observing: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Observing";
-    readonly readiness: Readiness$1 | null;
-  }, "_tag">;
-};
+declare const State: Data.TaggedEnum.Constructor<{
+  readonly _tag: "Failure";
+  readonly error: DomainKit.Error;
+  readonly readiness: Readiness$1 | null;
+} | {
+  readonly _tag: "Idle";
+} | {
+  readonly _tag: "Observed";
+  readonly readiness: Readiness$1;
+} | {
+  readonly _tag: "Observing";
+  readonly readiness: Readiness$1 | null;
+}>;
 interface Controller {
   readonly state: State;
   /** The latest readiness, kept while a new observation runs. */
@@ -1908,38 +1135,10 @@ export type Failure = Data.TaggedEnum<{
     readonly error: DomainKit.Error;
   };
 }>;
-export declare const Failure: {
-  readonly $is: <Tag extends "Failure">(tag: Tag) => (u: unknown) => u is Extract<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-  }, {
-    readonly _tag: Tag;
-  }>;
-  readonly $match: {
-    <Cases extends { readonly [Tag in "Failure"]: (args: Extract<{
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(cases: Cases): (value: {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    }) => import("effect/Unify").Unify<ReturnType<Cases["Failure"]>>;
-    <Cases extends { readonly [Tag in "Failure"]: (args: Extract<{
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    }, {
-      readonly _tag: Tag;
-    }>) => any; }>(value: {
-      readonly _tag: "Failure";
-      readonly error: DomainKit.Error;
-    }, cases: Cases): import("effect/Unify").Unify<ReturnType<Cases["Failure"]>>;
-  };
-  readonly Failure: Data.TaggedEnum.ConstructorFrom<{
-    readonly _tag: "Failure";
-    readonly error: DomainKit.Error;
-  }, "_tag">;
-};
+export declare const Failure: Data.TaggedEnum.Constructor<{
+  readonly _tag: "Failure";
+  readonly error: DomainKit.Error;
+}>;
 //#endregion
 export { cleanup_d_exports as Cleanup, connect_d_exports as Connect, domain_d_exports as Domain, domain_kit_d_exports as DomainKit, type Listener, messages_d_exports as Messages, outcome_d_exports as Outcome, provision_d_exports as Provision, records_d_exports as Records, testing_d_exports as Testing, verify_d_exports as Verify };
 //# sourceMappingURL=index.d.mts.map