@thomasfosterau/pulpit 0.0.0 → 0.1.0

package/dist/social.d.ts

@@ -0,0 +1,311 @@
+/**
+ * **The social graph** (pulpit#195) — follow, mute and block between
+ * accounts, as relationship facts with their own gates, the follower and
+ * following lists, a {@link FollowerSeam} built from the graph so
+ * `followers` rows work end to end, and an opt-in read filter over the
+ * accounts a viewer silenced.
+ *
+ * The behavioural spec is gardeneria's `social.follows` and its operations
+ * (`apps/api/src/operations/follows.ts`), with their tests.
+ *
+ * ## The model (owner decisions on pulpit#195)
+ *
+ * - **A relationship is a fact**, keyed `(kind, from, to)` for the kinds
+ *   `follow`, `mute` and `block`: no history; asserting one twice is a
+ *   no-op, removing it hard-deletes it. Only the actor writes their own
+ *   (`from` is always the viewer).
+ * - **Following is immediate.** There are no follow requests (a later
+ *   slice).
+ * - **A block suppresses interaction only.** Neither side may follow the
+ *   other while either blocks the other ({@link InteractionBlocked}), a
+ *   block removes both accounts' follows of each other, and other modules
+ *   gate an interaction (a reaction, a reply, a mention) on
+ *   {@link SocialOps.interactionAllowed}. It hides no content by itself:
+ *   {@link SocialOps.silencedFilter} is the opt-in read filter that drops
+ *   the authors a viewer muted or blocked from a feed or a thread.
+ * - **A mute is one-way and private**: it only feeds that read filter.
+ *
+ * Mute and block lists are their owner's alone; the follower and following
+ * lists are public, filtered through the application's account visibility
+ * ({@link AccountVisibility}).
+ *
+ * @copyright Thomas Foster
+ * @module pulpit/social
+ * @since 0.1.0
+ */
+import * as Effect from "effect/Effect";
+import * as HashSet from "effect/HashSet";
+import * as Option from "effect/Option";
+import * as Schema from "effect/Schema";
+import { type ListFilter } from "./filter.ts";
+import { type FollowerSeam, type Page, type Unauthorized, type Viewer } from "./subtype.ts";
+/**
+ * The relationship kinds.
+ *
+ * @since 0.1.0
+ */
+export declare const RelationshipKind: Schema.Literals<readonly ["follow", "mute", "block"]>;
+/**
+ * The {@link RelationshipKind} literal union.
+ *
+ * @since 0.1.0
+ */
+export type RelationshipKind = typeof RelationshipKind.Type;
+/**
+ * One stored relationship: `from` follows, mutes or blocks `to`.
+ *
+ * @since 0.1.0
+ */
+export interface Relationship {
+    readonly kind: RelationshipKind;
+    readonly from: string;
+    readonly to: string;
+    readonly at: Date;
+}
+declare const InteractionBlocked_base: Schema.Class<InteractionBlocked, Schema.TaggedStruct<"InteractionBlocked", {
+    readonly accountId: Schema.String;
+}>, import("effect/Cause").YieldableError & {
+    readonly brand: unique symbol;
+}>;
+/**
+ * Either account blocks the other, so the interaction is refused: the
+ * wire's 403. It tells the actor a block exists between the two, as every
+ * social network's refusal does.
+ *
+ * @since 0.1.0
+ */
+export declare class InteractionBlocked extends InteractionBlocked_base {
+}
+declare const SelfRelationship_base: Schema.Class<SelfRelationship, Schema.TaggedStruct<"SelfRelationship", {
+    readonly kind: Schema.Literals<readonly ["follow", "mute", "block"]>;
+}>, import("effect/Cause").YieldableError & {
+    readonly brand: unique symbol;
+}>;
+/**
+ * A relationship with oneself: the wire's 422.
+ *
+ * @since 0.1.0
+ */
+export declare class SelfRelationship extends SelfRelationship_base {
+}
+/**
+ * The relationship table an application supplies (gardeneria's
+ * `social.follows`, widened by a `kind` column), keyed
+ * `(kind, from_id, to_id)` with both account foreign keys cascading. A store
+ * seam: no policy, never opens a transaction, fails only with its `E`.
+ * `Following` is the follower seam's set (a subquery in SQL). See the
+ * package README → Seams.
+ *
+ * @since 0.1.0
+ */
+export interface SocialStore<Following, E, R> {
+    /** Insert the relationship (`ON CONFLICT DO NOTHING`); whether a row was written. Used for a mute. */
+    readonly add: (relationship: Relationship) => Effect.Effect<boolean, E, R>;
+    /**
+     * Insert a follow unless a block stands between the two accounts, either
+     * way: `"added"`, `"present"` (already following) or `"blocked"` (nothing
+     * written). The check and the insert must be **one atomic step against
+     * {@link SocialStore.addBlock} on the same pair**, so a concurrent block
+     * can never leave a follow standing: take a lock on the unordered pair
+     * that `addBlock` also takes (`pg_advisory_xact_lock` on it, in the
+     * caller's transaction), then `INSERT … SELECT … WHERE NOT EXISTS (a
+     * block either way) ON CONFLICT DO NOTHING`.
+     */
+    readonly addFollow: (relationship: Relationship) => Effect.Effect<"added" | "present" | "blocked", E, R>;
+    /**
+     * Insert a block and delete both follows between the two accounts, as one
+     * atomic step against {@link SocialStore.addFollow} on the same pair (the
+     * same pair lock); whether the block row was written.
+     */
+    readonly addBlock: (relationship: Relationship) => Effect.Effect<boolean, E, R>;
+    /** Delete the relationship; whether a row went. */
+    readonly remove: (kind: RelationshipKind, from: string, to: string) => Effect.Effect<boolean, E, R>;
+    /** Whether the relationship is stored. */
+    readonly has: (kind: RelationshipKind, from: string, to: string) => Effect.Effect<boolean, E, R>;
+    /**
+     * One page of an account's relationships of `kind`, newest first
+     * (`at DESC`, then the other account's id): by `from` (whom it follows,
+     * mutes or blocks) or by `to` (who follows it), with the unpaged total.
+     */
+    readonly list: (query: {
+        readonly kind: RelationshipKind;
+        readonly side: "from" | "to";
+        readonly accountId: string;
+        readonly limit: number;
+        readonly offset: number;
+    }) => Effect.Effect<Page<{
+        readonly accountId: string;
+        readonly at: Date;
+    }>, E, R>;
+    /** Whether `follower` follows `followed`, as the follower seam asks it (never fails). */
+    readonly isFollowing: (follower: string, followed: string) => Effect.Effect<boolean, never, R>;
+    /** The accounts `follower` follows, as the list filter's `in` set (a subquery, never an array). */
+    readonly followingOf: (follower: string) => Following;
+    /** The accounts `viewer` muted or blocked, as the list filter's set (a subquery). */
+    readonly silencedBy: (viewer: string) => Following;
+    /** Delete every relationship from or to the account (account erasure, pulpit#207); how many went. */
+    readonly eraseAccount: (accountId: string) => Effect.Effect<number, E, R>;
+}
+/**
+ * Which accounts a viewer may see in a follower or following list: the
+ * application's own account visibility (a private profile, a suspended
+ * account). Given a page's account ids, the ones to show.
+ *
+ * @since 0.1.0
+ */
+export interface AccountVisibility<R> {
+    readonly visible: (viewer: Viewer, accountIds: ReadonlyArray<string>) => Effect.Effect<HashSet.HashSet<string>, never, R>;
+}
+/**
+ * The follower seam a social store fills (`./subtype`'s
+ * {@link FollowerSeam}), so a `followers` row is readable by the accounts
+ * that follow its owner.
+ *
+ * @example
+ * ```ts
+ * import { strictEqual } from "node:assert";
+ * import * as Effect from "effect/Effect";
+ * import { socialFollowers } from "@thomasfosterau/pulpit/social";
+ * import { makeInMemorySocialStore } from "@thomasfosterau/pulpit/testing";
+ *
+ * const store = makeInMemorySocialStore();
+ * Effect.runSync(store.add({ kind: "follow", from: "u-1", to: "u-2", at: new Date(0) }));
+ * const followers = socialFollowers(store);
+ * strictEqual(Effect.runSync(followers.isFollower("u-1", "u-2")), true);
+ * strictEqual(Effect.runSync(followers.isFollower("u-2", "u-1")), false);
+ * ```
+ *
+ * @since 0.1.0
+ */
+export declare const socialFollowers: <Following, E, R>(store: Pick<SocialStore<Following, E, R>, "isFollowing" | "followingOf">) => FollowerSeam<Following, R>;
+/**
+ * The social graph's declaration.
+ *
+ * @since 0.1.0
+ */
+export interface SocialDefinition<Following, E, R> {
+    readonly store: SocialStore<Following, E, R>;
+    /** The request's viewer. */
+    readonly viewer: Effect.Effect<Viewer, never, R>;
+    /** Which accounts the follower and following lists show; omitted, every one. */
+    readonly accounts?: AccountVisibility<R> | undefined;
+}
+/**
+ * A page request: clamped to `[1, MAX_PAGE_LIMIT]` and an offset `≥ 0`.
+ *
+ * @since 0.1.0
+ */
+export interface SocialPageRequest {
+    readonly limit: number;
+    readonly offset: number;
+}
+/**
+ * One account on a list, and when the relationship began.
+ *
+ * @since 0.1.0
+ */
+export interface Related {
+    readonly accountId: string;
+    readonly at: Date;
+}
+/**
+ * The operations {@link defineSocial} produces. Every write is the
+ * viewer's own and fails `Unauthorized` when anonymous; asserting a
+ * relationship again, or removing one that isn't there, changes nothing
+ * (`changed: false`).
+ *
+ * @since 0.1.0
+ */
+export interface SocialOps<Following, E, R> {
+    /**
+     * Follow `accountId`. Fails {@link SelfRelationship} for oneself and
+     * {@link InteractionBlocked} when either account blocks the other.
+     */
+    readonly follow: (accountId: string) => Effect.Effect<{
+        readonly changed: boolean;
+    }, Unauthorized | SelfRelationship | InteractionBlocked | E, R>;
+    readonly unfollow: (accountId: string) => Effect.Effect<{
+        readonly changed: boolean;
+    }, Unauthorized | E, R>;
+    /** Mute `accountId` (one-way and private). Fails {@link SelfRelationship} for oneself. */
+    readonly mute: (accountId: string) => Effect.Effect<{
+        readonly changed: boolean;
+    }, Unauthorized | SelfRelationship | E, R>;
+    readonly unmute: (accountId: string) => Effect.Effect<{
+        readonly changed: boolean;
+    }, Unauthorized | E, R>;
+    /**
+     * Block `accountId`: also removes each account's follow of the other.
+     * Fails {@link SelfRelationship} for oneself.
+     */
+    readonly block: (accountId: string) => Effect.Effect<{
+        readonly changed: boolean;
+    }, Unauthorized | SelfRelationship | E, R>;
+    readonly unblock: (accountId: string) => Effect.Effect<{
+        readonly changed: boolean;
+    }, Unauthorized | E, R>;
+    /**
+     * The accounts following `accountId`, newest first, as the application's
+     * account visibility shows them. A subject the viewer can't see answers
+     * as an account with no followers.
+     */
+    readonly followers: (accountId: string, request: SocialPageRequest) => Effect.Effect<RelatedPage, E, R>;
+    /** The accounts `accountId` follows, as {@link SocialOps.followers} shows them. */
+    readonly following: (accountId: string, request: SocialPageRequest) => Effect.Effect<RelatedPage, E, R>;
+    /** The viewer's own mutes, newest first. Fails `Unauthorized` when anonymous. */
+    readonly muted: (request: SocialPageRequest) => Effect.Effect<Page<Related>, Unauthorized | E, R>;
+    /** The viewer's own blocks, newest first. Fails `Unauthorized` when anonymous. */
+    readonly blocked: (request: SocialPageRequest) => Effect.Effect<Page<Related>, Unauthorized | E, R>;
+    /** Whether `a` and `b` may interact: neither blocks the other. Always true for one account with itself. */
+    readonly interactionAllowed: (a: string, b: string) => Effect.Effect<boolean, E, R>;
+    /**
+     * The opt-in read filter that drops what the viewer silenced:
+     * `column` (an author column) not in the accounts the viewer muted or
+     * blocked, through `./filter`'s `notIn` (a `NULL` author is kept). The
+     * anonymous have silenced nobody: `always`.
+     */
+    readonly silencedFilter: (column: string) => Effect.Effect<ListFilter<Following>, never, R>;
+}
+/** A page request clamped as every list's is (`SEC-INPUT-003`). */
+/**
+ * One page of a public follower or following list. `total` counts only
+ * accounts the viewer may see: it is the store's total when the
+ * application declares no {@link AccountVisibility}, and none when it does
+ * (the store's count would include accounts the seam hides), so a filtered
+ * page may also hold fewer than `limit` rows.
+ *
+ * @since 0.1.0
+ */
+export interface RelatedPage {
+    readonly rows: ReadonlyArray<Related>;
+    readonly total: Option.Option<number>;
+}
+/**
+ * Bind the social graph's operations. Every operation is traced as
+ * `social.<operation>`, and the writes run in the caller's transaction.
+ *
+ * @example
+ * ```ts
+ * import { strictEqual } from "node:assert";
+ * import * as Effect from "effect/Effect";
+ * import * as Option from "effect/Option";
+ * import { defineSocial } from "@thomasfosterau/pulpit/social";
+ * import { makeInMemorySocialStore } from "@thomasfosterau/pulpit/testing";
+ *
+ * const social = defineSocial({
+ *   store: makeInMemorySocialStore(),
+ *   viewer: Effect.succeedSome({ id: "u-1", role: "user" }),
+ * });
+ * const program = Effect.gen(function* () {
+ *   yield* social.follow("u-2");
+ *   return yield* social.following("u-1", { limit: 10, offset: 0 });
+ * });
+ * // No AccountVisibility seam, so the total is the store's.
+ * strictEqual(Option.getOrElse(Effect.runSync(program).total, () => 0), 1);
+ * ```
+ *
+ * @since 0.1.0
+ */
+export declare const defineSocial: <Following, E, R>(definition: SocialDefinition<Following, E, R>) => SocialOps<Following, E, R>;
+export {};
+//# sourceMappingURL=social.d.ts.map

package/dist/social.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"social.d.ts","sourceRoot":"","sources":["../src/social.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAAmB,KAAK,UAAU,EAAE,MAAM,aAAa,CAAC;AAE/D,OAAO,EAEL,KAAK,YAAY,EACjB,KAAK,IAAI,EACT,KAAK,YAAY,EACjB,KAAK,MAAM,EAEZ,MAAM,cAAc,CAAC;AAItB;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,uDAA+C,CAAC;AAC7E;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAC;AAE5D;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;CACnB;;;;oBAamB,OAAO,MAAM;;AATjC;;;;;;GAMG;AACH,qBAAa,kBAAmB,SAAQ,uBAGe;CAAG;;;;oBAStC,OAAO,MAAM;;AAPjC;;;;GAIG;AACH,qBAAa,gBAAiB,SAAQ,qBAKpC;CAAG;AAIL;;;;;;;;;GASG;AACH,MAAM,WAAW,WAAW,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC;IAC1C,sGAAsG;IACtG,QAAQ,CAAC,GAAG,EAAE,CAAC,YAAY,EAAE,YAAY,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3E;;;;;;;;;OASG;IACH,QAAQ,CAAC,SAAS,EAAE,CAClB,YAAY,EAAE,YAAY,KACvB,MAAM,CAAC,MAAM,CAAC,OAAO,GAAG,SAAS,GAAG,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1D;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE,CAAC,YAAY,EAAE,YAAY,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAChF,mDAAmD;IACnD,QAAQ,CAAC,MAAM,EAAE,CACf,IAAI,EAAE,gBAAgB,EACtB,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,MAAM,KACP,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAClC,0CAA0C;IAC1C,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACjG;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE;QACrB,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;QAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;QAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAA;KAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACnF,yFAAyF;IACzF,QAAQ,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAC/F,mGAAmG;IACnG,QAAQ,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,SAAS,CAAC;IACtD,qFAAqF;IACrF,QAAQ,CAAC,UAAU,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,SAAS,CAAC;IACnD,qGAAqG;IACrG,QAAQ,CAAC,YAAY,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CAC3E;AAED;;;;;;GAMG;AACH,MAAM,WAAW,iBAAiB,CAAC,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,CAChB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,KAC9B,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;CACvD;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,eAAe,GAAI,SAAS,EAAE,CAAC,EAAE,CAAC,SACtC,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa,GAAG,aAAa,CAAC,KACvE,YAAY,CAAC,SAAS,EAAE,CAAC,CAG1B,CAAC;AAIH;;;;GAIG;AACH,MAAM,WAAW,gBAAgB,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC;IAC/C,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7C,4BAA4B;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACjD,gFAAgF;IAEhF,QAAQ,CAAC,QAAQ,CAAC,EAAE,iBAAiB,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC;CACtD;AAED;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;GAIG;AACH,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;CACnB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,SAAS,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC;IACxC;;;OAGG;IACH,QAAQ,CAAC,MAAM,EAAE,CACf,SAAS,EAAE,MAAM,KACd,MAAM,CAAC,MAAM,CAChB;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,EAC7B,YAAY,GAAG,gBAAgB,GAAG,kBAAkB,GAAG,CAAC,EACxD,CAAC,CACF,CAAC;IACF,QAAQ,CAAC,QAAQ,EAAE,CACjB,SAAS,EAAE,MAAM,KACd,MAAM,CAAC,MAAM,CAAC;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,EAAE,YAAY,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACvE,0FAA0F;IAC1F,QAAQ,CAAC,IAAI,EAAE,CACb,SAAS,EAAE,MAAM,KACd,MAAM,CAAC,MAAM,CAAC;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,EAAE,YAAY,GAAG,gBAAgB,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1F,QAAQ,CAAC,MAAM,EAAE,CACf,SAAS,EAAE,MAAM,KACd,MAAM,CAAC,MAAM,CAAC;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,EAAE,YAAY,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACvE;;;OAGG;IACH,QAAQ,CAAC,KAAK,EAAE,CACd,SAAS,EAAE,MAAM,KACd,MAAM,CAAC,MAAM,CAAC;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,EAAE,YAAY,GAAG,gBAAgB,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1F,QAAQ,CAAC,OAAO,EAAE,CAChB,SAAS,EAAE,MAAM,KACd,MAAM,CAAC,MAAM,CAAC;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,EAAE,YAAY,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACvE;;;;OAIG;IACH,QAAQ,CAAC,SAAS,EAAE,CAClB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,iBAAiB,KACvB,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACtC,mFAAmF;IACnF,QAAQ,CAAC,SAAS,EAAE,CAClB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,iBAAiB,KACvB,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACtC,iFAAiF;IACjF,QAAQ,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,iBAAiB,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,YAAY,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAClG,kFAAkF;IAClF,QAAQ,CAAC,OAAO,EAAE,CAChB,OAAO,EAAE,iBAAiB,KACvB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,YAAY,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACvD,2GAA2G;IAC3G,QAAQ,CAAC,kBAAkB,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACpF;;;;;OAKG;IACH,QAAQ,CAAC,cAAc,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;CAC7F;AAED,mEAAmE;AACnE;;;;;;;;GAQG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CACvC;AAOD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,eAAO,MAAM,YAAY,GAAI,SAAS,EAAE,CAAC,EAAE,CAAC,cAC9B,gBAAgB,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,KAC5C,SAAS,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,CAsG3B,CAAC"}

package/dist/social.js

@@ -0,0 +1,205 @@
+/**
+ * **The social graph** (pulpit#195) — follow, mute and block between
+ * accounts, as relationship facts with their own gates, the follower and
+ * following lists, a {@link FollowerSeam} built from the graph so
+ * `followers` rows work end to end, and an opt-in read filter over the
+ * accounts a viewer silenced.
+ *
+ * The behavioural spec is gardeneria's `social.follows` and its operations
+ * (`apps/api/src/operations/follows.ts`), with their tests.
+ *
+ * ## The model (owner decisions on pulpit#195)
+ *
+ * - **A relationship is a fact**, keyed `(kind, from, to)` for the kinds
+ *   `follow`, `mute` and `block`: no history; asserting one twice is a
+ *   no-op, removing it hard-deletes it. Only the actor writes their own
+ *   (`from` is always the viewer).
+ * - **Following is immediate.** There are no follow requests (a later
+ *   slice).
+ * - **A block suppresses interaction only.** Neither side may follow the
+ *   other while either blocks the other ({@link InteractionBlocked}), a
+ *   block removes both accounts' follows of each other, and other modules
+ *   gate an interaction (a reaction, a reply, a mention) on
+ *   {@link SocialOps.interactionAllowed}. It hides no content by itself:
+ *   {@link SocialOps.silencedFilter} is the opt-in read filter that drops
+ *   the authors a viewer muted or blocked from a feed or a thread.
+ * - **A mute is one-way and private**: it only feeds that read filter.
+ *
+ * Mute and block lists are their owner's alone; the follower and following
+ * lists are public, filtered through the application's account visibility
+ * ({@link AccountVisibility}).
+ *
+ * @copyright Thomas Foster
+ * @module pulpit/social
+ * @since 0.1.0
+ */
+import * as Arr from "effect/Array";
+import * as Effect from "effect/Effect";
+import * as HashSet from "effect/HashSet";
+import * as Option from "effect/Option";
+import * as Schema from "effect/Schema";
+import { always, isNotIn } from "./filter.js";
+import { nowDate, signedIn as signedInAs } from "./internal/plain-rows.js";
+import { MAX_PAGE_LIMIT, } from "./subtype.js";
+// ── Vocabulary ────────────────────────────────────────────────────────
+/**
+ * The relationship kinds.
+ *
+ * @since 0.1.0
+ */
+export const RelationshipKind = Schema.Literals(["follow", "mute", "block"]);
+// ── Errors ────────────────────────────────────────────────────────────
+/**
+ * Either account blocks the other, so the interaction is refused: the
+ * wire's 403. It tells the actor a block exists between the two, as every
+ * social network's refusal does.
+ *
+ * @since 0.1.0
+ */
+export class InteractionBlocked extends Schema.TaggedError()("InteractionBlocked", { accountId: Schema.String }) {
+}
+/**
+ * A relationship with oneself: the wire's 422.
+ *
+ * @since 0.1.0
+ */
+export class SelfRelationship extends Schema.TaggedError()("SelfRelationship", {
+    kind: RelationshipKind,
+}) {
+}
+/**
+ * The follower seam a social store fills (`./subtype`'s
+ * {@link FollowerSeam}), so a `followers` row is readable by the accounts
+ * that follow its owner.
+ *
+ * @example
+ * ```ts
+ * import { strictEqual } from "node:assert";
+ * import * as Effect from "effect/Effect";
+ * import { socialFollowers } from "@thomasfosterau/pulpit/social";
+ * import { makeInMemorySocialStore } from "@thomasfosterau/pulpit/testing";
+ *
+ * const store = makeInMemorySocialStore();
+ * Effect.runSync(store.add({ kind: "follow", from: "u-1", to: "u-2", at: new Date(0) }));
+ * const followers = socialFollowers(store);
+ * strictEqual(Effect.runSync(followers.isFollower("u-1", "u-2")), true);
+ * strictEqual(Effect.runSync(followers.isFollower("u-2", "u-1")), false);
+ * ```
+ *
+ * @since 0.1.0
+ */
+export const socialFollowers = (store) => ({
+    isFollower: store.isFollowing,
+    following: store.followingOf,
+});
+const window = (request) => ({
+    limit: Math.max(1, Math.min(Math.trunc(request.limit), MAX_PAGE_LIMIT)),
+    offset: Math.max(0, Math.trunc(request.offset)),
+});
+/**
+ * Bind the social graph's operations. Every operation is traced as
+ * `social.<operation>`, and the writes run in the caller's transaction.
+ *
+ * @example
+ * ```ts
+ * import { strictEqual } from "node:assert";
+ * import * as Effect from "effect/Effect";
+ * import * as Option from "effect/Option";
+ * import { defineSocial } from "@thomasfosterau/pulpit/social";
+ * import { makeInMemorySocialStore } from "@thomasfosterau/pulpit/testing";
+ *
+ * const social = defineSocial({
+ *   store: makeInMemorySocialStore(),
+ *   viewer: Effect.succeedSome({ id: "u-1", role: "user" }),
+ * });
+ * const program = Effect.gen(function* () {
+ *   yield* social.follow("u-2");
+ *   return yield* social.following("u-1", { limit: 10, offset: 0 });
+ * });
+ * // No AccountVisibility seam, so the total is the store's.
+ * strictEqual(Option.getOrElse(Effect.runSync(program).total, () => 0), 1);
+ * ```
+ *
+ * @since 0.1.0
+ */
+export const defineSocial = (definition) => {
+    const { store } = definition;
+    const signedIn = signedInAs(definition.viewer);
+    const assert = (kind, account, to) => Effect.flatMap(nowDate, (at) => Effect.map(store.add({ kind, from: account.id, to, at }), (changed) => ({ changed })));
+    const retract = (kind, operation) => Effect.fn(`social.${operation}`)(function* (to) {
+        const account = yield* signedIn;
+        return { changed: yield* store.remove(kind, account.id, to) };
+    });
+    const notSelf = (kind, account, to) => account.id === to ? Effect.fail(new SelfRelationship({ kind })) : Effect.void;
+    const interactionAllowed = Effect.fn("social.interactionAllowed")(function* (a, b) {
+        if (a === b)
+            return true;
+        return !(yield* store.has("block", a, b)) && !(yield* store.has("block", b, a));
+    });
+    const follow = Effect.fn("social.follow")(function* (to) {
+        const account = yield* signedIn;
+        yield* notSelf("follow", account, to);
+        // The block check is part of the store's insert, never a read before
+        // it, so a concurrent block can't land in between.
+        const at = yield* nowDate;
+        const outcome = yield* store.addFollow({ kind: "follow", from: account.id, to, at });
+        if (outcome === "blocked")
+            return yield* new InteractionBlocked({ accountId: to });
+        return { changed: outcome === "added" };
+    });
+    const mute = Effect.fn("social.mute")(function* (to) {
+        const account = yield* signedIn;
+        yield* notSelf("mute", account, to);
+        return yield* assert("mute", account, to);
+    });
+    const block = Effect.fn("social.block")(function* (to) {
+        const account = yield* signedIn;
+        yield* notSelf("block", account, to);
+        // A block ends both follows between the two accounts, in the same atomic step.
+        const at = yield* nowDate;
+        return { changed: yield* store.addBlock({ kind: "block", from: account.id, to, at }) };
+    });
+    const publicList = (side, operation) => Effect.fn(`social.${operation}`)(function* (accountId, request) {
+        const { accounts } = definition;
+        if (accounts === undefined) {
+            const page = yield* store.list({ kind: "follow", side, accountId, ...window(request) });
+            return { rows: page.rows, total: Option.some(page.total) };
+        }
+        const viewer = yield* definition.viewer;
+        // A subject the viewer can't see answers as one with no relationships.
+        if (!HashSet.has(yield* accounts.visible(viewer, [accountId]), accountId)) {
+            return { rows: [], total: Option.none() };
+        }
+        const page = yield* store.list({ kind: "follow", side, accountId, ...window(request) });
+        const shown = Arr.isReadonlyArrayNonEmpty(page.rows)
+            ? yield* accounts.visible(viewer, Arr.map(page.rows, (row) => row.accountId))
+            : HashSet.empty();
+        return {
+            rows: Arr.filter(page.rows, (row) => HashSet.has(shown, row.accountId)),
+            total: Option.none(),
+        };
+    });
+    const ownList = (kind, operation) => Effect.fn(`social.${operation}`)(function* (request) {
+        const account = yield* signedIn;
+        return yield* store.list({ kind, side: "from", accountId: account.id, ...window(request) });
+    });
+    const silencedFilter = (column) => Effect.map(definition.viewer, (viewer) => Option.match(viewer, {
+        onNone: () => always,
+        onSome: (account) => isNotIn(column, store.silencedBy(account.id)),
+    }));
+    return {
+        follow,
+        unfollow: retract("follow", "unfollow"),
+        mute,
+        unmute: retract("mute", "unmute"),
+        block,
+        unblock: retract("block", "unblock"),
+        followers: publicList("to", "followers"),
+        following: publicList("from", "following"),
+        muted: ownList("mute", "muted"),
+        blocked: ownList("block", "blocked"),
+        interactionAllowed,
+        silencedFilter,
+    };
+};
+//# sourceMappingURL=social.js.map

package/dist/social.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"social.js","sourceRoot":"","sources":["../src/social.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,KAAK,GAAG,MAAM,cAAc,CAAC;AACpC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAmB,MAAM,aAAa,CAAC;AAC/D,OAAO,EAAE,OAAO,EAAE,QAAQ,IAAI,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3E,OAAO,EACL,cAAc,GAMf,MAAM,cAAc,CAAC;AAEtB,yEAAyE;AAEzE;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAoB7E,yEAAyE;AAEzE;;;;;;GAMG;AACH,MAAM,OAAO,kBAAmB,SAAQ,MAAM,CAAC,WAAW,EAGvD,CAAC,oBAAoB,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;CAAG;AAE1D;;;;GAIG;AACH,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,WAAW,EAGrD,CAAC,kBAAkB,EAAE;IACtB,IAAI,EAAE,gBAAgB;CACvB,CAAC;CAAG;AAgFL;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,KAAwE,EAC5C,EAAE,CAAC,CAAC;IAChC,UAAU,EAAE,KAAK,CAAC,WAAW;IAC7B,SAAS,EAAE,KAAK,CAAC,WAAW;CAC7B,CAAC,CAAC;AA4HH,MAAM,MAAM,GAAG,CAAC,OAA0B,EAAE,EAAE,CAAC,CAAC;IAC9C,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC,CAAC;IACvE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;CAChD,CAAC,CAAC;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,UAA6C,EACjB,EAAE;IAC9B,MAAM,EAAE,KAAK,EAAE,GAAG,UAAU,CAAC;IAC7B,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAE/C,MAAM,MAAM,GAAG,CAAC,IAAsB,EAAE,OAAsB,EAAE,EAAU,EAAE,EAAE,CAC5E,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,CAC7B,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CACtF,CAAC;IACJ,MAAM,OAAO,GAAG,CAAC,IAAsB,EAAE,SAAiB,EAAE,EAAE,CAC5D,MAAM,CAAC,EAAE,CAAC,UAAU,SAAS,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAU;QACpD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC;QAChC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;IAChE,CAAC,CAAC,CAAC;IACL,MAAM,OAAO,GAAG,CAAC,IAAsB,EAAE,OAAsB,EAAE,EAAU,EAAE,EAAE,CAC7E,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;IAEhF,MAAM,kBAAkB,GAAG,MAAM,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC,QAAQ,CAAC,EACzE,CAAS,EACT,CAAS;QAET,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACzB,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAU;QAC7D,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC;QAChC,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QACtC,qEAAqE;QACrE,mDAAmD;QACnD,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC;QAC1B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QACrF,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC,CAAC,IAAI,kBAAkB,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC;QACnF,OAAO,EAAE,OAAO,EAAE,OAAO,KAAK,OAAO,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAU;QACzD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC;QAChC,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QACpC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAU;QAC3D,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC;QAChC,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QACrC,+EAA+E;QAC/E,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC;QAC1B,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,MAAM,UAAU,GAAG,CAAC,IAAmB,EAAE,SAAiB,EAAE,EAAE,CAC5D,MAAM,CAAC,EAAE,CAAC,UAAU,SAAS,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,SAAiB,EAAE,OAA0B;QACvF,MAAM,EAAE,QAAQ,EAAE,GAAG,UAAU,CAAC;QAChC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACxF,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7D,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC;QACxC,uEAAuE;QACvE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC;YAC1E,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;QAC5C,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACxF,MAAM,KAAK,GAAG,GAAG,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC;YAClD,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CACrB,MAAM,EACN,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAC3C;YACH,CAAC,CAAC,OAAO,CAAC,KAAK,EAAU,CAAC;QAC5B,OAAO;YACL,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;YACvE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE;SACrB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEL,MAAM,OAAO,GAAG,CAAC,IAAsB,EAAE,SAAiB,EAAE,EAAE,CAC5D,MAAM,CAAC,EAAE,CAAC,UAAU,SAAS,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,OAA0B;QACpE,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC;QAChC,OAAO,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9F,CAAC,CAAC,CAAC;IAEL,MAAM,cAAc,GAAG,CAAC,MAAc,EAAE,EAAE,CACxC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CACvC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE;QACnB,MAAM,EAAE,GAA0B,EAAE,CAAC,MAAM;QAC3C,MAAM,EAAE,CAAC,OAAO,EAAyB,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;KAC1F,CAAC,CACH,CAAC;IAEJ,OAAO;QACL,MAAM;QACN,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,UAAU,CAAC;QACvC,IAAI;QACJ,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC;QACjC,KAAK;QACL,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC;QACpC,SAAS,EAAE,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC;QACxC,SAAS,EAAE,UAAU,CAAC,MAAM,EAAE,WAAW,CAAC;QAC1C,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC;QAC/B,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC;QACpC,kBAAkB;QAClB,cAAc;KACf,CAAC;AACJ,CAAC,CAAC"}