@loomwork/ui-changes 0.0.0-stage → 0.1.0

package/LICENSE

@@ -0,0 +1,202 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.
+

package/NOTICE

@@ -0,0 +1,8 @@
+loom-ui
+Copyright 2026 Sushil Chhetri
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this project except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0

package/README.md

@@ -1,3 +1,135 @@
-# Temporary Holding Version
+# @loomwork/ui-changes
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+**Ambient change delivery.** When an experience changes while nobody is looking, the people it
+concerns should hear about it at the right volume, and never about content they may not see.
+This package is the server-side half: a feed over the lineage log, a per-viewer unread cursor, and
+signals that say "this experience has a new head". It is **optional** and **server-side** (it reads
+the lineage and content stores; `hydration`'s client guards name it among the packages a client
+graph must not reach). The pure half is in `@loomwork/ui-core`: `describeChange`, `boundSummary`,
+the attention vocabulary and the `HeadSignal` types (types only, so a browser can implement one
+with a `fetch` loop).
+
+## Install / import
+
+```jsonc
+// package.json of a consumer checked out beside this repo (the packages are not published)
+"@loomwork/ui-changes": "link:../loom-ui/packages/changes"
+```
+
+Entry point: `@loomwork/ui-changes` (server-side only; Node, CommonJS and ESM).
+
+## Usage
+
+```ts
+import { describeChange } from "@loomwork/ui-core";
+import { LineageChangeFeed, pollingHeadSignal, InMemoryUnreadStore, unreadChanges, markRead } from "@loomwork/ui-changes";
+
+const feed = new LineageChangeFeed({ lineage, events, signal: pollingHeadSignal(events) });
+// The feed inherits `lineage.readPolicy`; pass `readPolicy` here to bind more. `describe`'s per-call
+// `declaredToolClasses` / `undeclared` only ADD to it, and a bound `projections` catalogue is not replaced.
+feed.subscribe("exp-1", async (event) => {
+  const d = await feed.describe(event, { viewer });   // viewer-safe; see below
+  if (d.ok && d.description.attention !== "none") notify(viewer, d.description);
+}, { after: savedCursor });
+```
+
+## Design
+
+**A change event says THAT, never WHAT.** `ChangeEvent` is `{ id, experienceId, sequence, at, kind,
+versionHash, base }` (`kind`: composed / reverted / branched / promoted; `base`: what it replaced).
+No node, no data, no text: the log holds content some viewer may not see, and what a change *means*
+is per viewer. `feed.describe(event, { viewer })` loads the two artifacts and runs `describeChange`.
+The event is a CLAIM, not the log: `describe` looks the record up by (experience, sequence) and
+refuses an event whose `kind`, `versionHash` or `base` differs from it (`event-mismatch`; a forged
+`base` cannot make it describe another line). It takes `projections` (the same `ProjectionCatalog`
+`compile` takes) at construction: absent, every projection-bound node is hidden from every viewer;
+an unknown id or a drifted version pin hides it too.
+
+**Delivery.** The cursor is the log's own dense sequence, so it survives a restart. `id` is
+`<experienceId>#<sequence>`, a pure function of the log position: re-reading a range, or
+resubscribing from an older cursor, yields the same ids, so at-least-once delivery is made
+idempotent by deduping on `id`. `subscribe` catches up from `after`, then follows; events arrive in
+order, one at a time. A handler that throws (or a read that fails) is reported (`onError`) and the
+event is NOT advanced past: it is retried on a bounded, jittered exponential backoff (`retry: {
+baseMs, maxMs }`, default 250ms to 30s; `unref`'d, cleared on unsubscribe), WITHOUT waiting for a
+new append, so a quiet line is never stuck. A poison event (one that fails every time) stalls only
+its own subscription. Two ways out: `onPoison(event, attempts)` returns `true` to skip it (a host
+dead-letters there), or the host resubscribes with `after: <poison sequence>`. `read` folds and
+validates the whole line, so it costs O(log length) per call; cache above the seam. A malformed log
+is a finding, never partial events. `checkChangeFeedConformance(make)` is the kit any feed must
+pass.
+
+**Unread.** `unreadChanges` counts every event past the cursor, including ones that are
+all-restricted for the viewer: that is the same existence signal `restricted-changed` gives, by
+design. `UnreadStore` holds one cursor per (viewer, experience) and only moves it forward (`advance`
+= max; a replayed acknowledgement is harmless). `markRead` clamps to the log's tip, so a viewer
+cannot pre-read the future. `viewerId` is the caller's claim: no authentication here.
+`checkUnreadStoreConformance(make)` is the kit; `InMemoryUnreadStore` is the reference.
+
+**Describing a change (`describeChange(prev, next, opts)`, core).** Pure and deterministic, bounded
+(`maxEntries`, default 50, hard cap 500; `omitted` says how many were left out). Kinds: node added /
+removed / moved / rebound / reclassified / edited, provider added / removed / changed, intent
+changed, and `restricted-changed`. `ops`, when the caller has them, add whether a prompt produced
+it.
+
+*Viewer-safe, fail-closed.* A node is restricted if the viewer may not see its class in EITHER
+version (a node that became classified counts; so does one that was declassified); a provider by its
+effective handle class; the intent by its own class. Every change touching restricted content
+collapses into **one bare `restricted-changed` entry** (no id, type, handle, kind-of-change or
+count), so "a restricted node was edited" and "a different restricted node was removed" are
+byte-identical: no existence oracle, consistent with the restricted placeholder `compile` draws. No
+viewer is the most restrictive viewer. The identity report covers only visible nodes. Unreadable
+input yields `restricted-changed`, never a throw and never a clean "nothing changed".
+
+**Attention.** `none | info | attention | urgent`. The default classifier maps change kinds to
+levels (edits and moves are `info`; add/remove/rebind/provider/intent changes are `attention`;
+restricted content is `info`, pinned by a test; a truncated description is at least `attention`). A
+host passes `classify(description)` to decide for itself; it receives the REDACTED description, so
+it cannot leak what the viewer may not see, and a throwing or out-of-vocabulary answer falls back to
+the default.
+
+**The summary is model text.** `PlanResult.summary` (planner) is bounded and stripped of control and
+bidi characters, handed to `lineage.compose({ summary, summaryClass })` (stored on the
+`EXPERIENCE_COMPOSED` event, bounded again when read, since the log is untrusted), and surfaces on a
+description as `UntrustedText { untrusted: true, text }`: display it as text, never act on it, never
+trust it as a statement of what the ops do. **It is written from the WHOLE experience, not the
+diff**, so it is shown only when the viewer may see the strictest class of everything either version
+carries (every node, effective handle/tool/projection class, both intents: `experienceClassFloor`)
+AND of what the planner read (`summaryClass`, host-stamped on the event, off the content address).
+It is also dropped when restricted content changed or a projection node is hidden from everyone. The
+reference planner stamps `PlanResult.summaryClass` from the experience it saw and `contextClass`
+(`ComposeInput` / `ReviseInput`); **a host whose planner read classified context or tool samples
+MUST pass `contextClass`** (the planner cannot classify them), else only the floor gates the
+summary. To hand a summary to another model, use `summaryAsTainted(summary)` (loom's ADR 0085
+`TaintedValue`, server-side only) and NEVER put it in a prompt's instruction position.
+
+**Refresh / push providers.** `HeadSignal.watch(experienceId, onChange)` tells a reader "the log
+moved past what you last saw" with `{ sequence, head, promoted }` (at-least-once; `sequence` is the
+idempotency key; the first call reports the current state of a non-empty line).
+- `pollingHeadSignal(store, { intervalMs })`: a timer, one read per tick per watcher. Works over any
+  `LineageStore`. A missed beat is only latency.
+- `eventStoreHeadSignal(eventStore, store, { fallbackIntervalMs? })`: push (plus an optional
+  safety-net poll), via `EventStore.subscribe` on the line's stream. `@loomwork/live-query` was checked
+  and does not fit (it folds an *execution's* state, not a lineage stream); the push primitive
+  underneath it is used directly. A host with its own transport (websocket, SSE, a database notify)
+  implements `HeadSignal`, one method.
+
+**Sealed lines.** Over a lineage sealed per owner (see the lineage README, "Erasure") the feed
+INHERITS the lineage's `confirmErased` hook: `read`/`describe` refuse `line-erased` (confirmed) or
+`line-unreadable` (not confirmed), and a subscription on a confirmed-erased line reports it once and
+stops (no retry timer, no further wakes). An unconfirmed `line-unreadable` line keeps retrying, since
+the key may come back to this node. A head signal is built over a store, so it takes its own
+`confirmErased` option; it reports `LineErasedError` once and goes terminal, or
+`LineUnreadableError` on every check.
+
+## Not in this package
+
+Authorization (who may see an experience at all), delivery transport (email, push, a toast), and
+digesting/throttling notifications: those are the host's, built on the events and descriptions here.
+
+## See also
+
+- [../lineage/README.md](../lineage/README.md) — the event log this feed reads.
+- [../core/README.md](../core/README.md) — `describeChange`, `boundSummary` and the `HeadSignal`
+  types.
+- [../../README.md](../../README.md) — root overview.

package/dist/conformance.d.ts

@@ -0,0 +1,18 @@
+import type { Finding } from "@loomwork/ui-core";
+import type { UnreadStore } from "./cursor";
+import type { ChangeFeed } from "./feed";
+export interface FeedHarness {
+    readonly feed: ChangeFeed;
+    /** Append one new version to `experienceId`'s line (the first call starts the line). */
+    compose(experienceId: string): Promise<void>;
+    /**
+     * Force one wake of the feed's signal, for a deterministic harness (a manual-tick signal). Omit
+     * for a real timer/push signal: the kit then waits (up to `waitMs`) for delivery.
+     */
+    tick?(): Promise<void>;
+}
+export declare function checkChangeFeedConformance(make: () => FeedHarness | Promise<FeedHarness>, opts?: {
+    waitMs?: number;
+}): Promise<Finding[]>;
+export declare function checkUnreadStoreConformance(make: () => UnreadStore | Promise<UnreadStore>): Promise<Finding[]>;
+//# sourceMappingURL=conformance.d.ts.map

package/dist/conformance.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conformance.d.ts","sourceRoot":"","sources":["../src/conformance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAC5C,OAAO,KAAK,EAAe,UAAU,EAAE,MAAM,QAAQ,CAAC;AAMtD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,wFAAwF;IACxF,OAAO,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC7C;;;OAGG;IACH,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACxB;AAcD,wBAAsB,0BAA0B,CAC9C,IAAI,EAAE,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,EAC9C,IAAI,GAAE;IAAE,MAAM,CAAC,EAAE,MAAM,CAAA;CAAO,GAC7B,OAAO,CAAC,OAAO,EAAE,CAAC,CA6IpB;AAED,wBAAsB,2BAA2B,CAC/C,IAAI,EAAE,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,GAC7C,OAAO,CAAC,OAAO,EAAE,CAAC,CAoEpB"}

package/dist/conformance.js

@@ -0,0 +1,243 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.checkChangeFeedConformance = checkChangeFeedConformance;
+exports.checkUnreadStoreConformance = checkUnreadStoreConformance;
+const sleep = (ms) => new Promise((r) => setTimeout(r, ms));
+async function until(cond, tick, waitMs) {
+    const end = Date.now() + waitMs;
+    for (;;) {
+        if (tick !== undefined)
+            await tick();
+        if (cond())
+            return true;
+        if (Date.now() > end)
+            return false;
+        await sleep(5);
+    }
+}
+async function checkChangeFeedConformance(make, opts = {}) {
+    const findings = [];
+    const fail = (code, message) => findings.push({ code, severity: "error", message });
+    const waitMs = opts.waitMs ?? 1500;
+    const h = await make();
+    const read = async (id, o) => {
+        const r = await h.feed.read(id, o);
+        if (!r.ok)
+            throw new Error(`read failed: ${r.finding.message}`);
+        return r;
+    };
+    const cases = [
+        [
+            "an unknown line reads empty with tip 0",
+            async () => {
+                const r = await read("f-empty");
+                if (r.events.length !== 0 || r.cursor !== 0 || r.tip !== 0 || r.more)
+                    fail("read-empty", `an unknown line read ${JSON.stringify(r)}`);
+            },
+        ],
+        [
+            "events are dense, ordered, with unique ids that are stable across reads",
+            async () => {
+                for (let i = 0; i < 3; i++)
+                    await h.compose("f-ids");
+                const a = await read("f-ids");
+                const b = await read("f-ids");
+                if (a.events.map((e) => e.sequence).join() !== "1,2,3")
+                    fail("sequence", `sequences ${a.events.map((e) => e.sequence).join()} are not 1,2,3`);
+                if (new Set(a.events.map((e) => e.id)).size !== a.events.length)
+                    fail("ids-unique", "two events share an id");
+                if (a.events.map((e) => e.id).join() !== b.events.map((e) => e.id).join())
+                    fail("ids-stable", "re-reading the same range changed an id");
+                if (a.cursor !== 3 || a.tip !== 3)
+                    fail("cursor", `cursor/tip were ${a.cursor}/${a.tip}`);
+            },
+        ],
+        [
+            "reading after a cursor returns only later events",
+            async () => {
+                for (let i = 0; i < 3; i++)
+                    await h.compose("f-resume");
+                const r = await read("f-resume", { after: 1 });
+                if (r.events.map((e) => e.sequence).join() !== "2,3")
+                    fail("resume", `after 1 returned ${r.events.map((e) => e.sequence).join()}`);
+                const none = await read("f-resume", { after: 3 });
+                if (none.events.length !== 0 || none.cursor !== 3)
+                    fail("resume-end", `after the tip returned ${JSON.stringify(none)}`);
+            },
+        ],
+        [
+            "paging by limit visits every event once, in order",
+            async () => {
+                for (let i = 0; i < 5; i++)
+                    await h.compose("f-page");
+                const seen = [];
+                let cursor = 0;
+                for (let guard = 0; guard < 10; guard++) {
+                    const r = await read("f-page", { after: cursor, limit: 2 });
+                    if (r.events.length > 2)
+                        fail("limit", `limit 2 returned ${r.events.length}`);
+                    seen.push(...r.events.map((e) => e.sequence));
+                    cursor = r.cursor;
+                    if (!r.more)
+                        break;
+                }
+                if (seen.join() !== "1,2,3,4,5")
+                    fail("paging", `paging saw ${seen.join()}`);
+                const bad = await h.feed.read("f-page", { after: -1 });
+                if (bad.ok)
+                    fail("cursor-invalid", "a negative cursor was accepted");
+                const badLimit = await h.feed.read("f-page", { limit: 0 });
+                if (badLimit.ok)
+                    fail("limit-invalid", "a zero limit was accepted");
+            },
+        ],
+        [
+            "subscribe catches up from a cursor, then follows live, in order",
+            async () => {
+                await h.compose("f-sub");
+                await h.compose("f-sub");
+                const got = [];
+                const off = h.feed.subscribe("f-sub", (e) => void got.push(e), { after: 1 });
+                const caught = await until(() => got.length >= 1, h.tick, waitMs);
+                if (!caught || got[0]?.sequence !== 2)
+                    fail("sub-catchup", `catch-up from 1 delivered ${got.map((e) => e.sequence).join()}`);
+                await h.compose("f-sub");
+                const live = await until(() => got.length >= 2, h.tick, waitMs);
+                if (!live || got.map((e) => e.sequence).join() !== "2,3")
+                    fail("sub-live", `live delivery gave ${got.map((e) => e.sequence).join()}`);
+                off();
+                await h.compose("f-sub");
+                await sleep(40);
+                if (h.tick)
+                    await h.tick();
+                await sleep(20);
+                if (got.length !== 2)
+                    fail("sub-off", "an event was delivered after unsubscribe");
+            },
+        ],
+        [
+            "resubscribing from an older cursor redelivers the SAME ids (at-least-once, idempotent)",
+            async () => {
+                await h.compose("f-redo");
+                await h.compose("f-redo");
+                const first = [];
+                const offA = h.feed.subscribe("f-redo", (e) => void first.push(e.id));
+                await until(() => first.length >= 2, h.tick, waitMs);
+                offA();
+                const again = [];
+                const offB = h.feed.subscribe("f-redo", (e) => void again.push(e.id), { after: 0 });
+                await until(() => again.length >= 2, h.tick, waitMs);
+                offB();
+                if (first.join() !== again.join() || first.length !== 2)
+                    fail("redelivery", `first ${first.join()} vs again ${again.join()}`);
+            },
+        ],
+        [
+            "a throwing handler is reported, not advanced past, and the event is delivered again",
+            async () => {
+                await h.compose("f-throw");
+                const errors = [];
+                const ids = [];
+                let attempts = 0;
+                const off = h.feed.subscribe("f-throw", (e) => {
+                    attempts += 1;
+                    if (attempts === 1)
+                        throw new Error("handler down");
+                    ids.push(e.id);
+                }, { onError: (e) => void errors.push(e), retry: { baseMs: 5, maxMs: 20 } });
+                await until(() => errors.length >= 1, h.tick, waitMs);
+                if (errors.length < 1)
+                    fail("handler-error", "a throwing handler was not reported");
+                // NO append and NO signal from here: a quiet line must still redeliver the failed event
+                // (a feed that retries only when the head moves leaves it stuck).
+                await until(() => ids.length >= 1, undefined, waitMs);
+                off();
+                if (ids.join() !== "f-throw#1")
+                    fail("handler-retry", `after a throw on a quiet line the handler saw ${ids.join()}`);
+            },
+        ],
+    ];
+    for (const [name, run] of cases) {
+        try {
+            await run();
+        }
+        catch (e) {
+            fail("feed-threw", `${name}: ${e instanceof Error ? e.message : String(e)}`);
+        }
+    }
+    return findings;
+}
+async function checkUnreadStoreConformance(make) {
+    const findings = [];
+    const fail = (code, message) => findings.push({ code, severity: "error", message });
+    const s = await make();
+    const cases = [
+        [
+            "an unseen (viewer, line) is 0",
+            async () => {
+                if ((await s.get("u-none", "e")) !== 0)
+                    fail("default", "an unseen cursor was not 0");
+            },
+        ],
+        [
+            "advance moves forward, never back, and is idempotent",
+            async () => {
+                const a = await s.advance("u-fwd", "e", 5);
+                const b = await s.advance("u-fwd", "e", 3);
+                const c = await s.advance("u-fwd", "e", 5);
+                if (a !== 5 || b !== 5 || c !== 5 || (await s.get("u-fwd", "e")) !== 5)
+                    fail("monotone", `advance returned ${[a, b, c].join()}`);
+            },
+        ],
+        [
+            "invalid positions change nothing",
+            async () => {
+                await s.advance("u-bad", "e", 2);
+                for (const bad of [
+                    -1,
+                    1.5,
+                    Number.NaN,
+                    Number.POSITIVE_INFINITY,
+                    "9",
+                ]) {
+                    const r = await s.advance("u-bad", "e", bad);
+                    if (r !== 2)
+                        fail("invalid", `advance(${String(bad)}) returned ${r}`);
+                }
+            },
+        ],
+        [
+            "cursors are per viewer and per line, with no id collisions",
+            async () => {
+                await s.advance("u-a", "e1", 4);
+                await s.advance("u-c", "a:b", 9);
+                if ((await s.get("u-c:a", "b")) !== 0)
+                    fail("collision", "ids that join to the same string share a cursor");
+                if ((await s.get("u-a", "e2")) !== 0)
+                    fail("per-line", "another line shared a cursor");
+                if ((await s.get("u-b", "e1")) !== 0)
+                    fail("per-viewer", "another viewer shared a cursor");
+                if ((await s.get("u-a", "e1")) !== 4)
+                    fail("collision", "a joined-looking id disturbed a cursor");
+            },
+        ],
+        [
+            "concurrent advances land on the maximum",
+            async () => {
+                await Promise.all([1, 7, 3, 5, 2].map((n) => s.advance("u-race", "e", n)));
+                if ((await s.get("u-race", "e")) !== 7)
+                    fail("race", "concurrent advances did not end at the max");
+            },
+        ],
+    ];
+    for (const [name, run] of cases) {
+        try {
+            await run();
+        }
+        catch (e) {
+            fail("store-threw", `${name}: ${e instanceof Error ? e.message : String(e)}`);
+        }
+    }
+    return findings;
+}
+//# sourceMappingURL=conformance.js.map

package/dist/conformance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conformance.js","sourceRoot":"","sources":["../src/conformance.ts"],"names":[],"mappings":";;AA+BA,gEAgJC;AAED,kEAsEC;AApOD,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;AAEpE,KAAK,UAAU,KAAK,CAAC,IAAmB,EAAE,IAAuC,EAAE,MAAc;IAC/F,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC;IAChC,SAAS,CAAC;QACR,IAAI,IAAI,KAAK,SAAS;YAAE,MAAM,IAAI,EAAE,CAAC;QACrC,IAAI,IAAI,EAAE;YAAE,OAAO,IAAI,CAAC;QACxB,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC;QACnC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC;IACjB,CAAC;AACH,CAAC;AAEM,KAAK,UAAU,0BAA0B,CAC9C,IAA8C,EAC9C,OAA4B,EAAE;IAE9B,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,OAAe,EAAE,EAAE,CAC7C,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC;IACnC,MAAM,CAAC,GAAG,MAAM,IAAI,EAAE,CAAC;IACvB,MAAM,IAAI,GAAG,KAAK,EAAE,EAAU,EAAE,CAAsC,EAAE,EAAE;QACxE,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;QAChE,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,MAAM,KAAK,GAAyC;QAClD;YACE,wCAAwC;YACxC,KAAK,IAAI,EAAE;gBACT,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,CAAC;gBAChC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI;oBAClE,IAAI,CAAC,YAAY,EAAE,wBAAwB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACpE,CAAC;SACF;QACD;YACE,yEAAyE;YACzE,KAAK,IAAI,EAAE;gBACT,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;oBAAE,MAAM,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;gBACrD,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC9B,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC9B,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,KAAK,OAAO;oBACpD,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;gBACxF,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM;oBAC7D,IAAI,CAAC,YAAY,EAAE,wBAAwB,CAAC,CAAC;gBAC/C,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE;oBACvE,IAAI,CAAC,YAAY,EAAE,yCAAyC,CAAC,CAAC;gBAChE,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC;oBAAE,IAAI,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;YAC5F,CAAC;SACF;QACD;YACE,kDAAkD;YAClD,KAAK,IAAI,EAAE;gBACT,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;oBAAE,MAAM,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;gBACxD,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,UAAU,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC/C,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,KAAK,KAAK;oBAClD,IAAI,CAAC,QAAQ,EAAE,oBAAoB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC/E,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,UAAU,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;gBAClD,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;oBAC/C,IAAI,CAAC,YAAY,EAAE,0BAA0B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACzE,CAAC;SACF;QACD;YACE,mDAAmD;YACnD,KAAK,IAAI,EAAE;gBACT,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;oBAAE,MAAM,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;gBACtD,MAAM,IAAI,GAAa,EAAE,CAAC;gBAC1B,IAAI,MAAM,GAAG,CAAC,CAAC;gBACf,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;oBACxC,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;oBAC5D,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;wBAAE,IAAI,CAAC,OAAO,EAAE,oBAAoB,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;oBAC9E,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAC9C,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;oBAClB,IAAI,CAAC,CAAC,CAAC,IAAI;wBAAE,MAAM;gBACrB,CAAC;gBACD,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,WAAW;oBAAE,IAAI,CAAC,QAAQ,EAAE,cAAc,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC7E,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBACvD,IAAI,GAAG,CAAC,EAAE;oBAAE,IAAI,CAAC,gBAAgB,EAAE,gCAAgC,CAAC,CAAC;gBACrE,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC3D,IAAI,QAAQ,CAAC,EAAE;oBAAE,IAAI,CAAC,eAAe,EAAE,2BAA2B,CAAC,CAAC;YACtE,CAAC;SACF;QACD;YACE,iEAAiE;YACjE,KAAK,IAAI,EAAE;gBACT,MAAM,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;gBACzB,MAAM,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;gBACzB,MAAM,GAAG,GAAkB,EAAE,CAAC;gBAC9B,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC7E,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBAClE,IAAI,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ,KAAK,CAAC;oBACnC,IAAI,CAAC,aAAa,EAAE,6BAA6B,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACxF,MAAM,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;gBACzB,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBAChE,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,KAAK,KAAK;oBACtD,IAAI,CAAC,UAAU,EAAE,sBAAsB,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC9E,GAAG,EAAE,CAAC;gBACN,MAAM,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;gBACzB,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC;gBAChB,IAAI,CAAC,CAAC,IAAI;oBAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC3B,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC;gBAChB,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;oBAAE,IAAI,CAAC,SAAS,EAAE,0CAA0C,CAAC,CAAC;YACpF,CAAC;SACF;QACD;YACE,wFAAwF;YACxF,KAAK,IAAI,EAAE;gBACT,MAAM,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;gBAC1B,MAAM,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;gBAC1B,MAAM,KAAK,GAAa,EAAE,CAAC;gBAC3B,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACtE,MAAM,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBACrD,IAAI,EAAE,CAAC;gBACP,MAAM,KAAK,GAAa,EAAE,CAAC;gBAC3B,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;gBACpF,MAAM,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBACrD,IAAI,EAAE,CAAC;gBACP,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,KAAK,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;oBACrD,IAAI,CAAC,YAAY,EAAE,SAAS,KAAK,CAAC,IAAI,EAAE,aAAa,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACzE,CAAC;SACF;QACD;YACE,qFAAqF;YACrF,KAAK,IAAI,EAAE;gBACT,MAAM,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;gBAC3B,MAAM,MAAM,GAAc,EAAE,CAAC;gBAC7B,MAAM,GAAG,GAAa,EAAE,CAAC;gBACzB,IAAI,QAAQ,GAAG,CAAC,CAAC;gBACjB,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,SAAS,CAC1B,SAAS,EACT,CAAC,CAAC,EAAE,EAAE;oBACJ,QAAQ,IAAI,CAAC,CAAC;oBACd,IAAI,QAAQ,KAAK,CAAC;wBAAE,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC;oBACpD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACjB,CAAC,EACD,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CACzE,CAAC;gBACF,MAAM,KAAK,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBACtD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;oBAAE,IAAI,CAAC,eAAe,EAAE,qCAAqC,CAAC,CAAC;gBACpF,wFAAwF;gBACxF,kEAAkE;gBAClE,MAAM,KAAK,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;gBACtD,GAAG,EAAE,CAAC;gBACN,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,WAAW;oBAC5B,IAAI,CAAC,eAAe,EAAE,iDAAiD,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACzF,CAAC;SACF;KACF,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC;YACH,MAAM,GAAG,EAAE,CAAC;QACd,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,YAAY,EAAE,GAAG,IAAI,KAAK,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAEM,KAAK,UAAU,2BAA2B,CAC/C,IAA8C;IAE9C,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,OAAe,EAAE,EAAE,CAC7C,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;IACtD,MAAM,CAAC,GAAG,MAAM,IAAI,EAAE,CAAC;IACvB,MAAM,KAAK,GAAyC;QAClD;YACE,+BAA+B;YAC/B,KAAK,IAAI,EAAE;gBACT,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC;oBAAE,IAAI,CAAC,SAAS,EAAE,4BAA4B,CAAC,CAAC;YACxF,CAAC;SACF;QACD;YACE,sDAAsD;YACtD,KAAK,IAAI,EAAE;gBACT,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;gBAC3C,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;gBAC3C,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;gBAC3C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC;oBACpE,IAAI,CAAC,UAAU,EAAE,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC7D,CAAC;SACF;QACD;YACE,kCAAkC;YAClC,KAAK,IAAI,EAAE;gBACT,MAAM,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;gBACjC,KAAK,MAAM,GAAG,IAAI;oBAChB,CAAC,CAAC;oBACF,GAAG;oBACH,MAAM,CAAC,GAAG;oBACV,MAAM,CAAC,iBAAiB;oBACxB,GAAwB;iBACzB,EAAE,CAAC;oBACF,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;oBAC7C,IAAI,CAAC,KAAK,CAAC;wBAAE,IAAI,CAAC,SAAS,EAAE,WAAW,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;gBACxE,CAAC;YACH,CAAC;SACF;QACD;YACE,4DAA4D;YAC5D,KAAK,IAAI,EAAE;gBACT,MAAM,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;gBAChC,MAAM,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;gBACjC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC;oBACnC,IAAI,CAAC,WAAW,EAAE,iDAAiD,CAAC,CAAC;gBACvE,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC;oBAAE,IAAI,CAAC,UAAU,EAAE,8BAA8B,CAAC,CAAC;gBACvF,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC;oBAAE,IAAI,CAAC,YAAY,EAAE,gCAAgC,CAAC,CAAC;gBAC3F,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC;oBAClC,IAAI,CAAC,WAAW,EAAE,wCAAwC,CAAC,CAAC;YAChE,CAAC;SACF;QACD;YACE,yCAAyC;YACzC,KAAK,IAAI,EAAE;gBACT,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC3E,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC;oBACpC,IAAI,CAAC,MAAM,EAAE,4CAA4C,CAAC,CAAC;YAC/D,CAAC;SACF;KACF,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC;YACH,MAAM,GAAG,EAAE,CAAC;QACd,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,aAAa,EAAE,GAAG,IAAI,KAAK,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAChF,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}