@thomasfosterau/pulpit 0.0.0-stage → 0.1.0

package/dist/purge.js

@@ -0,0 +1,151 @@
+/**
+ * **Purge**: erasure, the one destructive path through a node's history
+ * (pulpit#58).
+ *
+ * A tombstone hides a node and keeps every version of its content, readable
+ * at the view-deleted rung. Where that content is personal data and the law
+ * requires it erased rather than hidden, {@link definePurge}'s `purge`
+ * hard-deletes it. It removes the node's whole chain, every row the kernel's
+ * other seams keep for the node, and the documents and file bytes no other
+ * version references any longer.
+ *
+ * ## The model (owner decision on pulpit#58, 2026-10-14)
+ *
+ * - **The whole chain goes.** Every version row on every level of the
+ *   node's chain is deleted, with its identity row. It is the one sanctioned
+ *   exception to the append-only chain (`VERSION-CHAIN-001/002`, SECURITY.md):
+ *   nothing else deletes or rewrites a version row. With the chain go the
+ *   node's working copies, proposals, publication facts, path claims, reports
+ *   and every edge with the node at an end: rows that name a node that no
+ *   longer exists.
+ * - **Shared content is deleted only when nothing else references it.**
+ *   Documents (`./documents`) and bytes (`./blobs`) are shared by hash. A
+ *   purge drops the node's references; a document or a blob is deleted only
+ *   when no version of any other node still references its hash, so
+ *   identical content another node uses survives. A deleted document is the
+ *   one exception to `DOC-001` (a stored document is never rewritten).
+ * - **Bytes are deleted after the commit**, as `./blobs` writes them after
+ *   the commit: the chain's erasure and the document deletes run in
+ *   `transact`, the caller's write boundary, and the blob store is told only
+ *   once it has returned. A failed byte delete never fails the purge, which
+ *   has committed: the report lists the bytes left behind
+ *   ({@link PurgeReport.bytesLeft}) for a retry through `BlobStore.delete`.
+ * - **A dedicated rung.** `purge` runs at the rung the definition's
+ *   `canPurge` names, checked before anything is read, so a caller below it
+ *   learns nothing about any id (`Unauthorized` / `Forbidden` for every id
+ *   alike). At the rung, an unknown or already purged id fails
+ *   `NodeNotFound`. A live node purges as a tombstoned one does: erasure is
+ *   one step, never "delete, then purge".
+ *
+ * ## The seam
+ *
+ * The erasure itself is the application's {@link PurgeStore}: it knows
+ * which tables hold rows keyed to a node and which columns carry a document
+ * or content hash. The contract is stated in the package README → Seams.
+ *
+ * @copyright Thomas Foster
+ * @module pulpit/purge
+ * @since 0.1.0
+ */
+import * as Arr from "effect/Array";
+import * as Effect from "effect/Effect";
+import * as Exit from "effect/Exit";
+import * as Option from "effect/Option";
+import { blobKey } from "./blobs.js";
+import { Forbidden, Unauthorized, } from "./subtype.js";
+import { NodeNotFound } from "./version-chain.js";
+/**
+ * Bind a leaf's purge. `purge(id)` checks the purge rung, then, inside
+ * `transact`, erases the node through the {@link PurgeStore}, deletes the
+ * documents nothing else references, and reads which of its bytes nothing
+ * else references; once `transact` has returned it evicts the cache and
+ * deletes those bytes. A failed byte delete is logged and reported in
+ * {@link PurgeReport.bytesLeft}, never a failure.
+ *
+ * @example
+ * ```ts
+ * import { deepStrictEqual } from "node:assert";
+ * import * as Effect from "effect/Effect";
+ * import * as HashMap from "effect/HashMap";
+ * import * as Option from "effect/Option";
+ * import { defineVersionChain } from "@thomasfosterau/pulpit/version-chain";
+ * import { definePurge } from "@thomasfosterau/pulpit/purge";
+ * import {
+ *   makeInMemoryChainStore,
+ *   makeInMemoryDocumentStore,
+ *   makeInMemoryPurgeStore,
+ * } from "@thomasfosterau/pulpit/testing";
+ *
+ * const chain = makeInMemoryChainStore();
+ * const documents = makeInMemoryDocumentStore();
+ * const notes = defineVersionChain("notes", chain);
+ * const purge = definePurge({
+ *   type: "notes",
+ *   chain,
+ *   store: makeInMemoryPurgeStore({ chains: [chain], documents, documentColumns: ["body"] }),
+ *   viewer: Effect.succeed(Option.some({ id: "u-admin", role: "admin" })),
+ *   canPurge: (account) => account.role === "admin",
+ *   transact: (effect) => effect,
+ * });
+ *
+ * const report = await Effect.runPromise(
+ *   Effect.gen(function* () {
+ *     const { hash } = yield* documents.put({ text: "personal data" });
+ *     const { id } = yield* notes.create({
+ *       id: Option.none(),
+ *       state: { body: hash },
+ *       actorId: Option.none(),
+ *     });
+ *     return yield* purge.purge(id);
+ *   }),
+ * );
+ *
+ * // The chain and its only document (a hash no other version references) are gone.
+ * deepStrictEqual(chain.rows(), []);
+ * deepStrictEqual(HashMap.size(documents.stored()), 0);
+ * deepStrictEqual(report.documents.length, 1);
+ * ```
+ *
+ * @since 0.1.0
+ */
+export const definePurge = (definition) => {
+    const { type, chain, store, transact } = definition;
+    /** The purge rung, checked before any row is read. */
+    const gate = Effect.flatMap(definition.viewer, (viewer) => Option.match(viewer, {
+        onNone: () => Effect.fail(new Unauthorized()),
+        onSome: (account) => definition.canPurge(account) ? Effect.succeed(account) : Effect.fail(new Forbidden()),
+    }));
+    /** The erasure, in the caller's transaction: what it deleted and which bytes it freed. */
+    const erase = (id) => Effect.gen(function* () {
+        const head = yield* chain.head(id);
+        if (Option.isNone(head))
+            return yield* new NodeNotFound({ type, id });
+        const erased = yield* store.eraseNode(id);
+        const documents = yield* store.deleteUnreferencedDocuments(Arr.dedupe(erased.documents));
+        const freed = yield* store.unreferencedBlobs(Arr.dedupe(erased.blobs));
+        return { head: head.value.version, documents, freed };
+    });
+    /** Delete one blob's bytes after the commit: whether they are gone. */
+    const deleteBytes = (hash) => definition.blobs === undefined
+        ? Effect.succeed(false)
+        : Effect.exit(definition.blobs.delete(blobKey(hash))).pipe(Effect.tap((exit) => Exit.isFailure(exit)
+            ? Effect.logWarning(`${type}: bytes ${hash} left after purge`, exit.cause)
+            : Effect.void), Effect.map(Exit.isSuccess));
+    const purge = Effect.fn(`${type}.purge`)(function* (id) {
+        yield* gate;
+        const erased = yield* transact(erase(id));
+        if (definition.cache !== undefined)
+            yield* definition.cache.delete(id, erased.head + 1n);
+        const deleted = yield* Effect.forEach(erased.freed, (hash) => Effect.map(deleteBytes(hash), (gone) => [hash, gone]), { concurrency: 1 });
+        const gone = (wanted) => Arr.map(Arr.filter(deleted, ([, deletedNow]) => deletedNow === wanted), ([hash]) => hash);
+        const report = {
+            id,
+            documents: erased.documents,
+            blobs: gone(true),
+            bytesLeft: gone(false),
+        };
+        return report;
+    });
+    return { type, purge };
+};
+//# sourceMappingURL=purge.js.map

package/dist/purge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"purge.js","sourceRoot":"","sources":["../src/purge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AAEH,OAAO,KAAK,GAAG,MAAM,cAAc,CAAC;AACpC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,IAAI,MAAM,aAAa,CAAC;AACpC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,OAAO,EAAoC,MAAM,YAAY,CAAC;AAEvE,OAAO,EACL,SAAS,EACT,YAAY,GAIb,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,YAAY,EAA0B,MAAM,oBAAoB,CAAC;AAqI1E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqDG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAW,UAAqC,EAAkB,EAAE;IAC7F,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,UAAU,CAAC;IAEpD,sDAAsD;IACtD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CACzB,UAAU,CAAC,MAAM,EACjB,CAAC,MAAM,EAA0D,EAAE,CACjE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE;QACnB,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,YAAY,EAAE,CAAC;QAC7C,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAClB,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;KACxF,CAAC,CACL,CAAC;IAEF,0FAA0F;IAC1F,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,EAAE,CAC3B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QACtE,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAC1C,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,2BAA2B,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;QACzF,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACvE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IACxD,CAAC,CAAC,CAAC;IAEL,uEAAuE;IACvE,MAAM,WAAW,GAAG,CAAC,IAAiB,EAAE,EAAE,CACxC,UAAU,CAAC,KAAK,KAAK,SAAS;QAC5B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CACtD,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAClB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;YAClB,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,IAAI,WAAW,IAAI,mBAAmB,EAAE,IAAI,CAAC,KAAK,CAAC;YAC1E,CAAC,CAAC,MAAM,CAAC,IAAI,CAChB,EACD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAC3B,CAAC;IAER,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,IAAI,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAU;QAC5D,KAAK,CAAC,CAAC,IAAI,CAAC;QACZ,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1C,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS;YAAE,KAAK,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;QACzF,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnC,MAAM,CAAC,KAAK,EACZ,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAU,CAAC,EACxE,EAAE,WAAW,EAAE,CAAC,EAAE,CACnB,CAAC;QACF,MAAM,IAAI,GAAG,CAAC,MAAe,EAAE,EAAE,CAC/B,GAAG,CAAC,GAAG,CACL,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,UAAU,KAAK,MAAM,CAAC,EAC9D,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CACjB,CAAC;QACJ,MAAM,MAAM,GAAgB;YAC1B,EAAE;YACF,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC;YACjB,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC;SACvB,CAAC;QACF,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACzB,CAAC,CAAC"}

package/dist/reactions.d.ts

@@ -0,0 +1,246 @@
+/**
+ * **Reactions** (pulpit#196) — one reaction per account per node, a kind
+ * from the family's own vocabulary, behind the target's read gate, with a
+ * tally per kind for a page of nodes in one grouped read.
+ *
+ * The behavioural spec is gardeneria's `social.reactions` table
+ * (`packages/database/src/tables/reactions.ts`), its model
+ * (`packages/models/src/models/reactions.ts`) and its operations
+ * (`apps/api/src/operations/reactions.ts`), with their tests.
+ *
+ * ## The model (owner decision on pulpit#196)
+ *
+ * - **A reaction is a fact beside the node**, like an edge: no version
+ *   chain and no history. The store keys it `(node, account)`, so an
+ *   account has at most one reaction per node: reacting again with another
+ *   kind replaces it, and unreacting hard-deletes it.
+ * - **The kinds are the family's.** {@link defineReactions} takes the
+ *   vocabulary (gardeneria's `like | celebrate | helpful | curious |
+ *   sympathise`) and throws {@link ReactionDeclarationError} at import for a
+ *   malformed one; the kernel holds no list of kinds.
+ * - **The target's read gate applies to every operation**
+ *   (`SEC-AUTH-ENUM-001`): reacting to, or unreacting from, a node the
+ *   viewer can't read fails `NodeNotFound`, never `Forbidden`; a tally
+ *   counts only nodes the viewer can read; and the viewer's own list omits
+ *   a reaction whose node has since been hidden from them.
+ * - **Account erasure** (pulpit#207) deletes a member's reactions through
+ *   {@link ReactionStore.eraseAccount}, which the erasure operation calls;
+ *   no reaction operation exposes it.
+ *
+ * Mute and block (pulpit#195) suppress interaction only, which a family
+ * enforces with its own gate around `react` once the social graph lands;
+ * a tally counts every account's reactions.
+ *
+ * @copyright Thomas Foster
+ * @module pulpit/reactions
+ * @since 0.1.0
+ */
+import * as Effect from "effect/Effect";
+import * as HashMap from "effect/HashMap";
+import * as Option from "effect/Option";
+import * as Schema from "effect/Schema";
+import { type SubtypeOps, type Unauthorized, type Viewer } from "./subtype.ts";
+import type { NodeNotFound } from "./version-chain.ts";
+/**
+ * A family's reaction vocabulary, as {@link defineReactions} validated it.
+ *
+ * @since 0.1.0
+ */
+export interface ReactionKinds {
+    readonly kinds: ReadonlyArray<string>;
+}
+declare const ReactionDeclarationError_base: Schema.Class<ReactionDeclarationError, Schema.TaggedStruct<"ReactionDeclarationError", {
+    readonly message: Schema.String;
+}>, import("effect/Cause").YieldableError & {
+    readonly brand: unique symbol;
+}>;
+/**
+ * Thrown by {@link reactionKinds} at import for a malformed vocabulary: no
+ * kind, an empty kind or a kind named twice. Never an Effect failure: no
+ * runtime exists when a family is declared.
+ *
+ * @since 0.1.0
+ */
+export declare class ReactionDeclarationError extends ReactionDeclarationError_base {
+}
+/**
+ * Declare a family's reaction vocabulary. Throws
+ * {@link ReactionDeclarationError} for no kind, an empty kind or a repeated
+ * one.
+ *
+ * @example
+ * ```ts
+ * import { deepStrictEqual } from "node:assert";
+ * import { reactionKinds } from "@thomasfosterau/pulpit/reactions";
+ *
+ * const kinds = reactionKinds(["like", "celebrate", "helpful"]);
+ * deepStrictEqual(kinds.kinds, ["like", "celebrate", "helpful"]);
+ * ```
+ *
+ * @since 0.1.0
+ */
+export declare const reactionKinds: (kinds: ReadonlyArray<string>) => ReactionKinds;
+declare const InvalidReactionKind_base: Schema.Class<InvalidReactionKind, Schema.TaggedStruct<"InvalidReactionKind", {
+    readonly type: Schema.String;
+    readonly kind: Schema.String;
+}>, import("effect/Cause").YieldableError & {
+    readonly brand: unique symbol;
+}>;
+/**
+ * A kind the family doesn't declare: the wire's 422.
+ *
+ * @since 0.1.0
+ */
+export declare class InvalidReactionKind extends InvalidReactionKind_base {
+}
+/**
+ * One stored reaction.
+ *
+ * @since 0.1.0
+ */
+export interface ReactionRow {
+    readonly nodeId: string;
+    readonly accountId: string;
+    readonly kind: string;
+    readonly reactedAt: Date;
+}
+/**
+ * The reaction table an application supplies (gardeneria's
+ * `social.reactions`), keyed `(node_id, account_id)` with both foreign keys
+ * cascading. A store seam: no policy, never opens a transaction, fails only
+ * with its `E`. See the package README → Seams.
+ *
+ * @since 0.1.0
+ */
+export interface ReactionStore<E, R> {
+    /**
+     * Insert or replace the account's reaction to the node
+     * (`INSERT … ON CONFLICT (node_id, account_id) DO UPDATE`), returning the
+     * kind it replaced, or none for a first reaction.
+     */
+    readonly upsert: (row: ReactionRow) => Effect.Effect<Option.Option<string>, E, R>;
+    /** Delete the account's reaction to the node; whether a row went. */
+    readonly delete: (nodeId: string, accountId: string) => Effect.Effect<boolean, E, R>;
+    /**
+     * One `GROUP BY node_id, kind` read over `nodeIds` (never empty, no
+     * duplicate, at most `MAX_SET_VALUES`): each node's count per kind. A node
+     * with no reaction has no key.
+     */
+    readonly tally: (nodeIds: ReadonlyArray<string>) => Effect.Effect<HashMap.HashMap<string, {
+        readonly [kind: string]: number;
+    }>, E, R>;
+    /** The account's own reactions, newest first (`reacted_at DESC, node_id`), one page. */
+    readonly byAccount: (query: {
+        readonly accountId: string;
+        readonly limit: number;
+        readonly offset: number;
+    }) => Effect.Effect<ReadonlyArray<ReactionRow>, E, R>;
+    /** Delete every reaction the account made (account erasure, pulpit#207); how many went. */
+    readonly eraseAccount: (accountId: string) => Effect.Effect<number, E, R>;
+}
+/**
+ * One family's reactions: the kinds, the target leaf's read gate and the
+ * store.
+ *
+ * @since 0.1.0
+ */
+export interface ReactionsDefinition<Resource, E, R> {
+    /** The target leaf's wire type, named in failures. */
+    readonly type: string;
+    readonly kinds: ReactionKinds;
+    /** The target leaf's gated reads: `get` gates a reaction, `getMany` a tally and the viewer's list. */
+    readonly target: Pick<SubtypeOps<Resource, E, R>, "get" | "getMany">;
+    readonly reactions: ReactionStore<E, R>;
+    /** The request's viewer. */
+    readonly viewer: Effect.Effect<Viewer, never, R>;
+}
+/**
+ * A node's tally: its count per declared kind (an undeclared kind a store
+ * still holds is not counted), and the total.
+ *
+ * @since 0.1.0
+ */
+export interface Tally {
+    readonly counts: {
+        readonly [kind: string]: number;
+    };
+    readonly total: number;
+}
+/**
+ * The operations {@link defineReactions} produces.
+ *
+ * @since 0.1.0
+ */
+export interface ReactionOps<E, R> {
+    /**
+     * React to `nodeId` with `kind`, replacing the viewer's earlier reaction
+     * to it. Fails `Unauthorized` when anonymous, {@link InvalidReactionKind}
+     * for an undeclared kind, and `NodeNotFound` when the viewer can't read
+     * the node (`SEC-AUTH-ENUM-001`). Returns the kind it replaced, if any.
+     */
+    readonly react: (nodeId: string, kind: string) => Effect.Effect<{
+        readonly replaced: Option.Option<string>;
+    }, Unauthorized | InvalidReactionKind | NodeNotFound | E, R>;
+    /**
+     * Remove the viewer's reaction to `nodeId`; whether there was one. Fails
+     * `Unauthorized` when anonymous and `NodeNotFound` when the viewer can't
+     * read the node.
+     */
+    readonly unreact: (nodeId: string) => Effect.Effect<{
+        readonly removed: boolean;
+    }, Unauthorized | NodeNotFound | E, R>;
+    /**
+     * The tally of every node of `nodeIds` the viewer can read, in one
+     * `getMany` and one grouped store read (`PERF-DB-001`): each readable node
+     * has a key (a zero tally when unreacted), a hidden or missing one has
+     * none. More than `MAX_SET_VALUES` distinct ids reads nothing and answers
+     * an empty map (`SEC-INPUT-003`).
+     */
+    readonly tally: (nodeIds: ReadonlyArray<string>) => Effect.Effect<HashMap.HashMap<string, Tally>, E, R>;
+    /**
+     * One page of the viewer's own reactions, newest first, the limit clamped
+     * to `[1, MAX_PAGE_LIMIT]`; a reaction whose node the viewer can no
+     * longer read is omitted, so a page may hold fewer rows than the limit.
+     * Fails `Unauthorized` when anonymous.
+     */
+    readonly mine: (request: {
+        readonly limit: number;
+        readonly offset: number;
+    }) => Effect.Effect<ReadonlyArray<ReactionRow>, Unauthorized | E, R>;
+}
+/**
+ * Bind one family's reaction operations. Every operation is traced as
+ * `${type}.reactions.<operation>`, and the writes run in the caller's
+ * transaction.
+ *
+ * @example
+ * ```ts
+ * import { deepStrictEqual } from "node:assert";
+ * import * as Effect from "effect/Effect";
+ * import * as HashMap from "effect/HashMap";
+ * import * as Option from "effect/Option";
+ * import { defineReactions, reactionKinds } from "@thomasfosterau/pulpit/reactions";
+ * import { makeInMemoryReactionStore } from "@thomasfosterau/pulpit/testing";
+ *
+ * const reactions = defineReactions({
+ *   type: "posts",
+ *   kinds: reactionKinds(["like", "celebrate"]),
+ *   // A target leaf where every node is readable; in an application, its `defineSubtype` operations.
+ *   target: {
+ *     get: (id) => Effect.succeed(id),
+ *     getMany: (ids) => Effect.succeed(HashMap.fromIterable(ids.map((id) => [id, id] as const))),
+ *   },
+ *   reactions: makeInMemoryReactionStore(),
+ *   viewer: Effect.succeedSome({ id: "u-1", role: "user" }),
+ * });
+ * const tally = Effect.runSync(
+ *   Effect.andThen(reactions.react("post-1", "like"), reactions.tally(["post-1"])),
+ * );
+ * deepStrictEqual(Option.map(HashMap.get(tally, "post-1"), (t) => t.total), Option.some(1));
+ * ```
+ *
+ * @since 0.1.0
+ */
+export declare const defineReactions: <Resource, E, R>(definition: ReactionsDefinition<Resource, E, R>) => ReactionOps<E, R>;
+export {};
+//# sourceMappingURL=reactions.d.ts.map

package/dist/reactions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reactions.d.ts","sourceRoot":"","sources":["../src/reactions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAGxC,OAAO,EAAkB,KAAK,UAAU,EAAE,KAAK,YAAY,EAAE,KAAK,MAAM,EAAE,MAAM,cAAc,CAAC;AAC/F,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAIvD;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CACvC;;;;oBAWmB,OAAO,MAAM;;AATjC;;;;;;GAMG;AACH,qBAAa,wBAAyB,SAAQ,6BAGa;CAAG;AAE9D;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,aAAa,UAAW,aAAa,CAAC,MAAM,CAAC,KAAG,aAc5D,CAAC;;;;;oBAWkB,OAAO,MAAM;;AAPjC;;;;GAIG;AACH,qBAAa,mBAAoB,SAAQ,wBAG+B;CAAG;AAI3E;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;CAC1B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,aAAa,CAAC,CAAC,EAAE,CAAC;IACjC;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAClF,qEAAqE;IACrE,QAAQ,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACrF;;;;OAIG;IACH,QAAQ,CAAC,KAAK,EAAE,CACd,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,KAC3B,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACvF,wFAAwF;IACxF,QAAQ,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE;QAC1B,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,aAAa,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACtD,2FAA2F;IAC3F,QAAQ,CAAC,YAAY,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CAC3E;AAID;;;;;GAKG;AACH,MAAM,WAAW,mBAAmB,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC;IACjD,sDAAsD;IACtD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,sGAAsG;IACtG,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,GAAG,SAAS,CAAC,CAAC;IACrE,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACxC,4BAA4B;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;CAClD;AAED;;;;;GAKG;AACH,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,CAAC;IACrD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;GAIG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC,EAAE,CAAC;IAC/B;;;;;OAKG;IACH,QAAQ,CAAC,KAAK,EAAE,CACd,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,KACT,MAAM,CAAC,MAAM,CAChB;QAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;KAAE,EAC5C,YAAY,GAAG,mBAAmB,GAAG,YAAY,GAAG,CAAC,EACrD,CAAC,CACF,CAAC;IACF;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,CAChB,MAAM,EAAE,MAAM,KACX,MAAM,CAAC,MAAM,CAAC;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,EAAE,YAAY,GAAG,YAAY,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACtF;;;;;;OAMG;IACH,QAAQ,CAAC,KAAK,EAAE,CACd,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,KAC3B,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACzD;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE;QACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,EAAE,YAAY,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;CACtE;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,eAAO,MAAM,eAAe,GAAI,QAAQ,EAAE,CAAC,EAAE,CAAC,cAChC,mBAAmB,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,KAC9C,WAAW,CAAC,CAAC,EAAE,CAAC,CAkElB,CAAC"}

package/dist/reactions.js

@@ -0,0 +1,183 @@
+/**
+ * **Reactions** (pulpit#196) — one reaction per account per node, a kind
+ * from the family's own vocabulary, behind the target's read gate, with a
+ * tally per kind for a page of nodes in one grouped read.
+ *
+ * The behavioural spec is gardeneria's `social.reactions` table
+ * (`packages/database/src/tables/reactions.ts`), its model
+ * (`packages/models/src/models/reactions.ts`) and its operations
+ * (`apps/api/src/operations/reactions.ts`), with their tests.
+ *
+ * ## The model (owner decision on pulpit#196)
+ *
+ * - **A reaction is a fact beside the node**, like an edge: no version
+ *   chain and no history. The store keys it `(node, account)`, so an
+ *   account has at most one reaction per node: reacting again with another
+ *   kind replaces it, and unreacting hard-deletes it.
+ * - **The kinds are the family's.** {@link defineReactions} takes the
+ *   vocabulary (gardeneria's `like | celebrate | helpful | curious |
+ *   sympathise`) and throws {@link ReactionDeclarationError} at import for a
+ *   malformed one; the kernel holds no list of kinds.
+ * - **The target's read gate applies to every operation**
+ *   (`SEC-AUTH-ENUM-001`): reacting to, or unreacting from, a node the
+ *   viewer can't read fails `NodeNotFound`, never `Forbidden`; a tally
+ *   counts only nodes the viewer can read; and the viewer's own list omits
+ *   a reaction whose node has since been hidden from them.
+ * - **Account erasure** (pulpit#207) deletes a member's reactions through
+ *   {@link ReactionStore.eraseAccount}, which the erasure operation calls;
+ *   no reaction operation exposes it.
+ *
+ * Mute and block (pulpit#195) suppress interaction only, which a family
+ * enforces with its own gate around `react` once the social graph lands;
+ * a tally counts every account's reactions.
+ *
+ * @copyright Thomas Foster
+ * @module pulpit/reactions
+ * @since 0.1.0
+ */
+import * as Arr from "effect/Array";
+import * as Effect from "effect/Effect";
+import * as HashMap from "effect/HashMap";
+import * as Option from "effect/Option";
+import * as Record from "effect/Record";
+import * as Schema from "effect/Schema";
+import { MAX_SET_VALUES } from "./filter.js";
+import { nowDate, signedIn as signedInAs } from "./internal/plain-rows.js";
+import { MAX_PAGE_LIMIT } from "./subtype.js";
+/**
+ * Thrown by {@link reactionKinds} at import for a malformed vocabulary: no
+ * kind, an empty kind or a kind named twice. Never an Effect failure: no
+ * runtime exists when a family is declared.
+ *
+ * @since 0.1.0
+ */
+export class ReactionDeclarationError extends Schema.TaggedError()("ReactionDeclarationError", { message: Schema.String }) {
+}
+/**
+ * Declare a family's reaction vocabulary. Throws
+ * {@link ReactionDeclarationError} for no kind, an empty kind or a repeated
+ * one.
+ *
+ * @example
+ * ```ts
+ * import { deepStrictEqual } from "node:assert";
+ * import { reactionKinds } from "@thomasfosterau/pulpit/reactions";
+ *
+ * const kinds = reactionKinds(["like", "celebrate", "helpful"]);
+ * deepStrictEqual(kinds.kinds, ["like", "celebrate", "helpful"]);
+ * ```
+ *
+ * @since 0.1.0
+ */
+export const reactionKinds = (kinds) => {
+    if (!Arr.isReadonlyArrayNonEmpty(kinds)) {
+        throw new ReactionDeclarationError({ message: "reactions declare no kind" });
+    }
+    if (kinds.some((kind) => kind === "")) {
+        throw new ReactionDeclarationError({ message: "a reaction kind is empty" });
+    }
+    const repeated = Arr.findFirst(kinds, (kind, index) => kinds.slice(0, index).includes(kind));
+    if (Option.isSome(repeated)) {
+        throw new ReactionDeclarationError({
+            message: `the reaction kind '${repeated.value}' is named twice`,
+        });
+    }
+    return { kinds: [...kinds] };
+};
+// ── Errors ────────────────────────────────────────────────────────────
+/**
+ * A kind the family doesn't declare: the wire's 422.
+ *
+ * @since 0.1.0
+ */
+export class InvalidReactionKind extends Schema.TaggedError()("InvalidReactionKind", { type: Schema.String, kind: Schema.String }) {
+}
+/**
+ * Bind one family's reaction operations. Every operation is traced as
+ * `${type}.reactions.<operation>`, and the writes run in the caller's
+ * transaction.
+ *
+ * @example
+ * ```ts
+ * import { deepStrictEqual } from "node:assert";
+ * import * as Effect from "effect/Effect";
+ * import * as HashMap from "effect/HashMap";
+ * import * as Option from "effect/Option";
+ * import { defineReactions, reactionKinds } from "@thomasfosterau/pulpit/reactions";
+ * import { makeInMemoryReactionStore } from "@thomasfosterau/pulpit/testing";
+ *
+ * const reactions = defineReactions({
+ *   type: "posts",
+ *   kinds: reactionKinds(["like", "celebrate"]),
+ *   // A target leaf where every node is readable; in an application, its `defineSubtype` operations.
+ *   target: {
+ *     get: (id) => Effect.succeed(id),
+ *     getMany: (ids) => Effect.succeed(HashMap.fromIterable(ids.map((id) => [id, id] as const))),
+ *   },
+ *   reactions: makeInMemoryReactionStore(),
+ *   viewer: Effect.succeedSome({ id: "u-1", role: "user" }),
+ * });
+ * const tally = Effect.runSync(
+ *   Effect.andThen(reactions.react("post-1", "like"), reactions.tally(["post-1"])),
+ * );
+ * deepStrictEqual(Option.map(HashMap.get(tally, "post-1"), (t) => t.total), Option.some(1));
+ * ```
+ *
+ * @since 0.1.0
+ */
+export const defineReactions = (definition) => {
+    const { type, target, reactions } = definition;
+    const kinds = definition.kinds.kinds;
+    const signedIn = signedInAs(definition.viewer);
+    const react = Effect.fn(`${type}.reactions.react`)(function* (nodeId, kind) {
+        const account = yield* signedIn;
+        if (!kinds.includes(kind))
+            return yield* new InvalidReactionKind({ type, kind });
+        // A node the viewer can't read is missing to them (SEC-AUTH-ENUM-001).
+        yield* target.get(nodeId);
+        const replaced = yield* reactions.upsert({
+            nodeId,
+            accountId: account.id,
+            kind,
+            reactedAt: yield* nowDate,
+        });
+        return { replaced };
+    });
+    const unreact = Effect.fn(`${type}.reactions.unreact`)(function* (nodeId) {
+        const account = yield* signedIn;
+        yield* target.get(nodeId);
+        return { removed: yield* reactions.delete(nodeId, account.id) };
+    });
+    const zero = Record.fromEntries(Arr.map(kinds, (kind) => [kind, 0]));
+    const tally = Effect.fn(`${type}.reactions.tally`)(function* (nodeIds) {
+        const wanted = Arr.dedupe(nodeIds);
+        if (!Arr.isReadonlyArrayNonEmpty(wanted) || wanted.length > MAX_SET_VALUES) {
+            return HashMap.empty();
+        }
+        const readable = yield* target.getMany(wanted);
+        const shown = Arr.filter(wanted, (id) => HashMap.has(readable, id));
+        if (!Arr.isReadonlyArrayNonEmpty(shown))
+            return HashMap.empty();
+        const counted = yield* reactions.tally(shown);
+        return HashMap.fromIterable(Arr.map(shown, (id) => {
+            const stored = Option.getOrElse(HashMap.get(counted, id), () => ({}));
+            const counts = Record.map(zero, (_, kind) => Option.getOrElse(Record.get(stored, kind), () => 0));
+            const total = Arr.reduce(Record.values(counts), 0, (sum, count) => sum + count);
+            return [id, { counts, total }];
+        }));
+    });
+    const mine = Effect.fn(`${type}.reactions.mine`)(function* (request) {
+        const account = yield* signedIn;
+        const rows = yield* reactions.byAccount({
+            accountId: account.id,
+            limit: Math.max(1, Math.min(Math.trunc(request.limit), MAX_PAGE_LIMIT)),
+            offset: Math.max(0, Math.trunc(request.offset)),
+        });
+        if (!Arr.isReadonlyArrayNonEmpty(rows))
+            return rows;
+        const readable = yield* target.getMany(Arr.dedupe(Arr.map(rows, (row) => row.nodeId)));
+        return Arr.filter(rows, (row) => HashMap.has(readable, row.nodeId));
+    });
+    return { react, unreact, tally, mine };
+};
+//# sourceMappingURL=reactions.js.map

package/dist/reactions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reactions.js","sourceRoot":"","sources":["../src/reactions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;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,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,OAAO,EAAE,QAAQ,IAAI,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3E,OAAO,EAAE,cAAc,EAAmD,MAAM,cAAc,CAAC;AAc/F;;;;;;GAMG;AACH,MAAM,OAAO,wBAAyB,SAAQ,MAAM,CAAC,WAAW,EAG7D,CAAC,0BAA0B,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;CAAG;AAE9D;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAA4B,EAAiB,EAAE;IAC3E,IAAI,CAAC,GAAG,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,wBAAwB,CAAC,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,wBAAwB,CAAC,EAAE,OAAO,EAAE,0BAA0B,EAAE,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,QAAQ,GAAG,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7F,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,wBAAwB,CAAC;YACjC,OAAO,EAAE,sBAAsB,QAAQ,CAAC,KAAK,kBAAkB;SAChE,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC;AAC/B,CAAC,CAAC;AAEF,yEAAyE;AAEzE;;;;GAIG;AACH,MAAM,OAAO,mBAAoB,SAAQ,MAAM,CAAC,WAAW,EAGxD,CAAC,qBAAqB,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;CAAG;AAmI3E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,UAA+C,EAC5B,EAAE;IACrB,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,UAAU,CAAC;IAC/C,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC;IACrC,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAE/C,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,IAAI,kBAAkB,CAAC,CAAC,QAAQ,CAAC,EAAE,MAAc,EAAE,IAAY;QACxF,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC;QAChC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,IAAI,mBAAmB,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACjF,uEAAuE;QACvE,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC1B,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC;YACvC,MAAM;YACN,SAAS,EAAE,OAAO,CAAC,EAAE;YACrB,IAAI;YACJ,SAAS,EAAE,KAAK,CAAC,CAAC,OAAO;SAC1B,CAAC,CAAC;QACH,OAAO,EAAE,QAAQ,EAAE,CAAC;IACtB,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,IAAI,oBAAoB,CAAC,CAAC,QAAQ,CAAC,EAAE,MAAc;QAC9E,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC;QAChC,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC1B,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,MAAM,IAAI,GAAwC,MAAM,CAAC,WAAW,CAClE,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAU,CAAC,CAC7C,CAAC;IAEF,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,IAAI,kBAAkB,CAAC,CAAC,QAAQ,CAAC,EAAE,OAA8B;QAC1F,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACnC,IAAI,CAAC,GAAG,CAAC,uBAAuB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,cAAc,EAAE,CAAC;YAC3E,OAAO,OAAO,CAAC,KAAK,EAAiB,CAAC;QACxC,CAAC;QACD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC;QACpE,IAAI,CAAC,GAAG,CAAC,uBAAuB,CAAC,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC,KAAK,EAAiB,CAAC;QAC/E,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9C,OAAO,OAAO,CAAC,YAAY,CACzB,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE;YACpB,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACtE,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAC1C,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CACpD,CAAC;YACF,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,CAAC,CAAC;YAChF,OAAO,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAU,CAAC;QAC1C,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,IAAI,iBAAiB,CAAC,CAAC,QAAQ,CAAC,EAAE,OAG3D;QACC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC;QAChC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC;YACtC,SAAS,EAAE,OAAO,CAAC,EAAE;YACrB,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC,CAAC;YACvE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;SAChD,CAAC,CAAC;QACH,IAAI,CAAC,GAAG,CAAC,uBAAuB,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACpD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvF,OAAO,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACzC,CAAC,CAAC"}