@superbee/core 0.1.6 → 0.2.0-pre.10

package/dist/journaled-backend.js

@@ -0,0 +1,389 @@
+/**
+ * The journaled-backend seam: what a storage adapter must add to {@link StorageBackend} to host
+ * a browser-local working copy whose synchronization is a durable intent journal. The engine
+ * reads and writes through `StorageBackend`; the sync runtime reads and writes through this
+ * seam. Any adapter that implements it and passes the journal rows of the contract kit can hold
+ * the working copy, whatever it persists to.
+ *
+ * The contract a second adapter must meet:
+ *
+ * - {@link JournaledBackend.writeJournaled} is ONE transaction over documents, intents, and
+ *   meta: the document compare-and-swap of `write`, plus (optionally) deleting a superseded
+ *   intent, recording a new intent for the written bytes, and putting meta rows. Every step is
+ *   conditional on every other: a failed document CAS records no intent, and a superseded
+ *   intent whose state or attempts moved fails the whole write with {@link IntentStateConflict}
+ *   so the caller composes against fresh state. With `requireSettled`, an unsettled intent on
+ *   the target fails it with {@link IntentHoldConflict} before the document is touched; the
+ *   check runs inside the write's own transaction, so an intent committed while the caller was
+ *   awaiting the network still holds the target. A recorded intent starts `pending` with zero
+ *   attempts, carries the written bytes as `content` and their version as `local`, and takes
+ *   the next value of a monotonic per-store sequence. The sequence advances only for a write
+ *   that commits.
+ * - {@link JournaledBackend.deleteJournaled} is the deletion counterpart: ONE transaction that
+ *   removes the document record under the same compare-and-swap, puts and removes meta rows
+ *   with it, optionally supersedes an intent and records a deletion intent
+ *   ({@link DOCUMENT_DELETE_KIND}) exactly as `writeJournaled` does for a write, and honours
+ *   `requireSettled` the same way, so a document the authority deleted
+ *   leaves the working copy together with its shared base and never while a local edit holds
+ *   it. An absent target is not a conflict: the meta changes still apply and the result says
+ *   `absent`, as the plain `delete` answers absence with `false`. With `onHeld`, a hold is not a
+ *   rejection but the third outcome: the deletion and its own meta changes do not apply, the
+ *   `onHeld` meta rows apply instead, in the same transaction as the hold check, and the result
+ *   says `held` and names the holder. A caller that must rewrite a held document's shared base
+ *   (a pull reconciling a remote deletion) does it there, so no other realm can settle the
+ *   holding intent between the refusal and the rewrite.
+ * - `resolveIntents` on either journaled mutation requires document CAS and the exact complete
+ *   unsettled target journal. It retires those records atomically with the document, meta, and
+ *   optional replacement intent, leaving acknowledged history untouched. Recovery may retire a
+ *   chain whose head is a recorded conflict or refusal, with conflicted, refused, and
+ *   never-attempted pending successors behind it, never uncertain delivery. The caller
+ *   preserves recovery evidence in meta; retirement does not assert remote acceptance.
+ * - {@link JournaledBackend.retireAcknowledged}, when an adapter offers it, is ONE transaction
+ *   that removes named acknowledged intents of one target, and named meta rows, under the full
+ *   guard of that target. Every named intent must be acknowledged in the guard, and the guard is
+ *   compared in the same transaction, so an intent another realm moved since the caller's read is
+ *   never removed. Unsettled work is never retired this way. What a retained successor may
+ *   still need from a retired row is the caller's rule; the adapter only enforces the premise.
+ * - {@link JournaledBackend.readWithJournal} is ONE snapshot: the document, every intent
+ *   targeting it, and the named meta rows, read in one readonly transaction, so a write in
+ *   another realm between separate reads can never show a caller a document of one moment
+ *   beside a journal of another. Intents come back in local commit order (by `sequence`).
+ * - {@link JournaledBackend.readHeads} is that snapshot over every document at once: each
+ *   record's head (id, version, writer, time), its leading frontmatter parsed as `read` parses
+ *   it, its exact bytes, every intent targeting it, and the meta rows the caller names for it,
+ *   all from ONE readonly transaction, so every row describes the same moment. Bodies are
+ *   never parsed. A record whose leading block does not parse is a row with `frontmatter`
+ *   null and the parser's error, never a dropped row and never a failed listing. A caller that
+ *   keeps less than the row (a version and a provenance, say) passes `project`, which maps
+ *   each row as it is read so the listing over a large store never holds every document's
+ *   stored bytes at once; the journal is read whole before the walk, so intents and the
+ *   content they carry are held for its duration, as a single read holds them. Keys every row
+ *   needs go in `shared`, read once. Rows come back in the order `list` orders ids.
+ * - {@link JournaledBackend.updateIntent} is a compare-and-swap on the intent's `state`: the
+ *   patch applies only while the record is in `expectedState`, together with any meta rows, in
+ *   one transaction. A different state or a missing record rejects with
+ *   {@link IntentStateConflict} and writes nothing, so two realms (a stale tab, a worker) cannot
+ *   both settle or both replace one intent.
+ * - {@link JournaledBackend.listIntents} returns intents in local commit order (ascending
+ *   `sequence`), optionally restricted to one or more states.
+ * - {@link JournaledBackend.readMeta} and {@link JournaledBackend.writeMeta} are an opaque
+ *   key-value store; what the rows mean belongs to the sync component that writes them.
+ *
+ * This module imports no Node builtin so it bundles for the browser. The IndexedDB adapter is
+ * the shipping implementation; a test-only in-memory adapter proves the seam is not a
+ * description of that one class.
+ */
+import { assertSafeConceptId } from "./paths.js";
+import { versionOfBytes } from "./versioning.js";
+/**
+ * The intent kind of a journaled local deletion: the document leaves at exactly the intent's
+ * base. A deletion carries no bytes, so its `content` is {@link DELETION_CONTENT} and its `local`
+ * is {@link DELETION_VERSION}, the version of empty bytes, which no document can have (every
+ * document has frontmatter). A conflict can therefore never name a deletion's own `local` and
+ * read as its commit.
+ */
+export const DOCUMENT_DELETE_KIND = "document.delete";
+export const DELETION_CONTENT = "";
+export const DELETION_VERSION = versionOfBytes(DELETION_CONTENT);
+/** A full snapshot or metadata admission premise changed; nothing was written. */
+export class JournalGuardConflict extends Error {
+    name = "JournalGuardConflict";
+    target;
+    constructor(target) {
+        super(`journal guard for '${target}' does not match or is invalid`);
+        this.target = target;
+    }
+}
+/**
+ * Guard values are acyclic plain records, arrays, and primitive values (including undefined).
+ * Symbols, accessors, functions, and objects with other prototypes are refused. This restriction
+ * applies only to guarded operations; the unguarded metadata store remains opaque.
+ */
+export function captureJournalValue(value) {
+    const ancestors = new Set();
+    const check = (entry) => {
+        if (typeof entry === "function" || typeof entry === "symbol")
+            throw new JournalGuardConflict("value");
+        if (entry === null || typeof entry !== "object")
+            return;
+        if (ancestors.has(entry) || (!Array.isArray(entry) && Object.getPrototypeOf(entry) !== Object.prototype && Object.getPrototypeOf(entry) !== null))
+            throw new JournalGuardConflict("value");
+        ancestors.add(entry);
+        for (const key of Reflect.ownKeys(entry)) {
+            if (typeof key !== "string")
+                throw new JournalGuardConflict("value");
+            const descriptor = Object.getOwnPropertyDescriptor(entry, key);
+            if (!("value" in descriptor) || (!descriptor.enumerable && !(Array.isArray(entry) && key === "length")))
+                throw new JournalGuardConflict("value");
+            check(descriptor.value);
+        }
+        ancestors.delete(entry);
+    };
+    check(value);
+    return structuredClone(value);
+}
+function equalJournalValue(a, b) {
+    if (Object.is(a, b))
+        return true;
+    if (!a || !b || typeof a !== "object" || typeof b !== "object" || Array.isArray(a) !== Array.isArray(b))
+        return false;
+    if (Array.isArray(a) && a.length !== b.length)
+        return false;
+    const keys = Object.keys(a);
+    return keys.length === Object.keys(b).length && keys.every(key => Object.hasOwn(b, key) && equalJournalValue(a[key], b[key]));
+}
+function assertMetaExpectation(value) {
+    if (!value || typeof value !== "object" || typeof value.present !== "boolean" ||
+        !equalJournalValue(Object.keys(value).sort(), (value.present ? ["present", "value"] : ["present"]).sort()))
+        throw new JournalGuardConflict("meta");
+}
+export function captureJournalGuard(value, target) {
+    if (!value || typeof value !== "object" || Array.isArray(value))
+        throw new JournalGuardConflict(target ?? "guard");
+    const guard = captureJournalValue(value);
+    if (typeof guard.target !== "string")
+        throw new JournalGuardConflict(target ?? "guard");
+    target ??= guard.target;
+    assertSafeConceptId(guard.target);
+    if (guard.target !== target || !Array.isArray(guard.intents) || !Array.isArray(guard.meta) ||
+        (guard.document !== null && (!guard.document || typeof guard.document.version !== "string" || typeof guard.document.raw !== "string")))
+        throw new JournalGuardConflict(target);
+    const requests = new Set(), sequences = new Set(), keys = new Set();
+    for (const row of guard.intents) {
+        if (!row || row.target !== target || typeof row.requestId !== "string" || requests.has(row.requestId) || !Number.isSafeInteger(row.sequence) || sequences.has(row.sequence))
+            throw new JournalGuardConflict(target);
+        requests.add(row.requestId);
+        sequences.add(row.sequence);
+    }
+    for (const row of guard.meta) {
+        if (!row || typeof row.key !== "string" || keys.has(row.key))
+            throw new JournalGuardConflict(target);
+        keys.add(row.key);
+        assertMetaExpectation(row.expected);
+    }
+    return guard;
+}
+/** Only omission or undefined selects the unguarded compatibility path. */
+export function captureJournalGuardOption(options, target) {
+    const descriptor = Object.getOwnPropertyDescriptor(options, "guard");
+    if (!descriptor) {
+        if ("guard" in options)
+            throw new JournalGuardConflict(target ?? "guard");
+        return undefined;
+    }
+    if (!("value" in descriptor))
+        throw new JournalGuardConflict(target ?? "guard");
+    return descriptor.value === undefined ? undefined : captureJournalGuard(descriptor.value, target);
+}
+/** Compare all target records, including acknowledged history, and exact named row presence. */
+export function assertJournalGuard(expected, current) {
+    const a = captureJournalGuard(expected), b = captureJournalGuard(current, a.target);
+    a.intents.sort((x, y) => x.sequence - y.sequence);
+    b.intents.sort((x, y) => x.sequence - y.sequence);
+    a.meta.sort((x, y) => x.key.localeCompare(y.key));
+    b.meta.sort((x, y) => x.key.localeCompare(y.key));
+    if (!equalJournalValue(a, b))
+        throw new JournalGuardConflict(a.target);
+}
+/** Capture guarded updates before any asynchronous adapter work and protect original history. */
+export function captureIntentUpdate(patch, options) {
+    const guard = captureJournalGuardOption(options);
+    if (guard !== undefined)
+        captureJournalValue({ patch, options });
+    if (options.document && guard === undefined)
+        throw new JournalGuardConflict(options.document.id);
+    const captured = structuredClone({ patch, options });
+    if (guard !== undefined) {
+        captured.options.guard = guard;
+        const mutable = new Set(["state", "attempts", "acknowledgedVersion", "remote", "refusal", "finding", "updatedAt"]);
+        if (Object.keys(patch).some(key => !mutable.has(key)) || (captured.options.document && captured.options.document.id !== captured.options.guard.target))
+            throw new JournalGuardConflict(captured.options.guard.target);
+        assertJournalMetaChanges(captured.options.guard, captured.options.meta ?? [], undefined);
+    }
+    return captured;
+}
+export function captureMetaWrite(options) {
+    const result = captureJournalValue(options);
+    if (Object.hasOwn(result, "expected"))
+        assertMetaExpectation(result.expected);
+    if (result.requireEmptyJournal !== undefined && typeof result.requireEmptyJournal !== "boolean")
+        throw new JournalGuardConflict("meta");
+    return result;
+}
+export function assertMetaWrite(key, options, actual, intents) {
+    if (options.expected !== undefined && !equalJournalValue(captureJournalValue(options.expected), captureJournalValue(actual)))
+        throw new JournalGuardConflict(key);
+    if (options.requireEmptyJournal && intents.length !== 0)
+        throw new JournalGuardConflict(key);
+}
+/** Metadata removal is admitted only with an explicit full-snapshot premise. */
+export function assertJournalMetaChanges(guard, puts, removals) {
+    if (guard) {
+        captureJournalValue(puts);
+        if (puts.some(row => !guard.meta.some(expected => expected.key === row.key)))
+            throw new JournalGuardConflict(guard.target);
+    }
+    if (removals === undefined)
+        return;
+    if (!guard || !Array.isArray(removals) || removals.some(key => typeof key !== "string") || new Set(removals).size !== removals.length ||
+        removals.some(key => puts.some(row => row.key === key) || !guard.meta.some(expected => expected.key === key)))
+        throw new JournalGuardConflict(guard?.target ?? "meta");
+}
+/** A guarded write owns one target and creates a globally fresh journal identity. */
+export function assertJournalIntentChanges(guard, existingIdentity, superseded) {
+    if (guard && (existingIdentity !== undefined || (superseded !== undefined && superseded.target !== guard.target)))
+        throw new JournalGuardConflict(guard.target);
+}
+/**
+ * Capture a retirement before any adapter work: the guard is required and complete, every
+ * named intent is in it and acknowledged, and every removed meta row is one the guard names.
+ */
+export function captureRetireAcknowledged(target, options) {
+    if (!options || typeof options !== "object" || Array.isArray(options))
+        throw new JournalGuardConflict(target);
+    const guard = captureJournalGuardOption(options, target);
+    if (guard === undefined)
+        throw new JournalGuardConflict(target);
+    const captured = captureJournalValue({ requestIds: options.requestIds, removeMeta: options.removeMeta });
+    const ids = captured.requestIds;
+    if (!Array.isArray(ids) || ids.length === 0 || ids.some(id => typeof id !== "string") || new Set(ids).size !== ids.length ||
+        Object.keys(options).some(key => !["guard", "requestIds", "removeMeta"].includes(key)) ||
+        ids.some(id => guard.intents.find(row => row.requestId === id)?.state !== "acknowledged"))
+        throw new JournalGuardConflict(target);
+    assertJournalMetaChanges(guard, [], captured.removeMeta);
+    return { guard, requestIds: ids, ...(captured.removeMeta === undefined ? {} : { removeMeta: captured.removeMeta }) };
+}
+/** Capture write options while retaining the existing synchronous metadata producer. */
+export function captureJournalWriteOptions(options) {
+    const descriptors = Object.getOwnPropertyDescriptors(options);
+    const data = {};
+    let producer;
+    for (const key of Reflect.ownKeys(options)) {
+        if (typeof key !== "string")
+            throw new JournalGuardConflict("options");
+        const descriptor = descriptors[key];
+        if (!("value" in descriptor) || !descriptor.enumerable)
+            throw new JournalGuardConflict("options");
+        if (key === "meta" && typeof descriptor.value === "function")
+            producer = descriptor.value;
+        else
+            data[key] = descriptor.value;
+    }
+    const captured = captureJournalValue(data);
+    if (producer)
+        captured.meta = producer;
+    return captured;
+}
+/** Capture every guarded deletion branch before evaluating held or absent state. */
+export function captureJournalDeleteOptions(target, options) {
+    const guard = captureJournalGuardOption(options, target);
+    if (guard === undefined)
+        return options;
+    const captured = captureJournalValue(options);
+    captured.guard = guard;
+    assertJournalMetaChanges(guard, captured.meta ?? [], captured.removeMeta);
+    if (captured.onHeld !== undefined) {
+        if (!captured.onHeld || !Array.isArray(captured.onHeld.meta))
+            throw new JournalGuardConflict(target);
+        assertJournalMetaChanges(guard, captured.onHeld.meta, undefined);
+    }
+    return captured;
+}
+/**
+ * An intent's journal state was not the one the caller expected, or the intent is gone. Settling
+ * and superseding are compare-and-swap operations on the intent's own record so two realms (a
+ * stale tab, a worker) cannot both settle or both replace one intent.
+ */
+export class IntentStateConflict extends Error {
+    name = "IntentStateConflict";
+    requestId;
+    expected;
+    actual;
+    constructor(requestId, expected, actual) {
+        super(actual === null
+            ? `intent '${requestId}' does not exist (expected state '${expected}')`
+            : `intent '${requestId}' is '${actual}', not '${expected}'`);
+        this.requestId = requestId;
+        this.expected = expected;
+        this.actual = actual;
+    }
+}
+/**
+ * A journaled write required that no unsettled intent hold its target, and one does. The local
+ * edit that intent describes would otherwise be replaced while the authority has not accepted
+ * it. The check runs inside the write's own transaction, so an intent committed while the caller
+ * was awaiting the network still holds the target.
+ */
+export class IntentHoldConflict extends Error {
+    name = "IntentHoldConflict";
+    target;
+    requestId;
+    state;
+    constructor(target, requestId, state) {
+        super(`'${target}' is held by intent '${requestId}' in state '${state}'`);
+        this.target = target;
+        this.requestId = requestId;
+        this.state = state;
+    }
+}
+/** Recovery was composed against a different or unsafe unsettled journal snapshot. */
+export class JournalSnapshotConflict extends Error {
+    name = "JournalSnapshotConflict";
+    target;
+    constructor(target) {
+        super(`journal snapshot for '${target}' changed or cannot be resolved`);
+        this.target = target;
+    }
+}
+/**
+ * The deletion intent a journaled deletion records, refused before any adapter work when it is
+ * not one: another kind, another target, or combined with a guard (a guarded deletion journals
+ * nothing). The adapter fills content, local version, sequence and state.
+ */
+export function assertDeletionIntent(target, options) {
+    if (options.intent === undefined && options.supersede === undefined)
+        return;
+    if (options.guard !== undefined || (options.intent !== undefined && (options.intent.kind !== DOCUMENT_DELETE_KIND || options.intent.target !== target))) {
+        throw new JournalSnapshotConflict(target);
+    }
+}
+/** The record a journaled deletion adds for `intent`. */
+export function deletionIntentRecord(intent, sequence, now) {
+    return { ...intent, local: DELETION_VERSION, content: DELETION_CONTENT, sequence, attempts: 0, state: "pending", updatedAt: now };
+}
+export function assertJournalResolutionOptions(target, options) {
+    if (!options.resolveIntents)
+        return;
+    if (options.expectedVersion === undefined || options.requireSettled !== undefined ||
+        ("intent" in options && options.intent !== undefined && options.intent.target !== target) ||
+        ("supersede" in options && options.supersede !== undefined) || ("onHeld" in options && options.onHeld !== undefined)) {
+        throw new JournalSnapshotConflict(target);
+    }
+}
+/**
+ * Compare full records, not only state: a changed outcome or retry is new recovery evidence.
+ * The head of the set (its lowest sequence) must hold a recorded terminal answer, `conflict` or
+ * `refused`; every later row must be `conflict`, `refused` or never-attempted `pending`. An
+ * `unknown`, `in_flight` or attempted `pending` head is uncertain delivery and stays refused.
+ */
+export function assertJournalSnapshot(target, expected, current, freshRequestId) {
+    const equal = (a, b) => {
+        if (Object.is(a, b))
+            return true;
+        if (!a || !b || typeof a !== "object" || typeof b !== "object" || Array.isArray(a) !== Array.isArray(b))
+            return false;
+        const keys = Object.keys(a);
+        return keys.length === Object.keys(b).length && keys.every(key => Object.prototype.hasOwnProperty.call(b, key) &&
+            equal(a[key], b[key]));
+    };
+    const actual = current.filter(row => row.target === target && row.state !== "acknowledged");
+    const ids = new Set(expected.map(row => row.requestId));
+    const head = expected.reduce((lowest, row) => lowest === undefined || row.sequence < lowest.sequence ? row : lowest, undefined);
+    if ((freshRequestId !== undefined && current.some(row => row.requestId === freshRequestId)) ||
+        ids.size !== expected.length || actual.length !== expected.length || head === undefined || !(head.state === "conflict" || head.state === "refused") ||
+        expected.some(row => row.target !== target || !(row.state === "conflict" || row.state === "refused" || (row.state === "pending" && row.attempts === 0))) ||
+        expected.some(row => !equal(row, actual.find(candidate => candidate.requestId === row.requestId)))) {
+        throw new JournalSnapshotConflict(target);
+    }
+}
+//# sourceMappingURL=journaled-backend.js.map

package/dist/journaled-backend.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"journaled-backend.js","sourceRoot":"","sources":["../src/journaled-backend.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0EG;AAKH,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEjD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,iBAAiB,CAAC;AACtD,MAAM,CAAC,MAAM,gBAAgB,GAAG,EAAE,CAAC;AACnC,MAAM,CAAC,MAAM,gBAAgB,GAAY,cAAc,CAAC,gBAAgB,CAAC,CAAC;AAa1E,kFAAkF;AAClF,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC3B,IAAI,GAAG,sBAAsB,CAAC;IACvC,MAAM,CAAS;IACxB,YAAY,MAAc;QACxB,KAAK,CAAC,sBAAsB,MAAM,gCAAgC,CAAC,CAAC;QACpE,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAI,KAAQ;IAC7C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,KAAK,GAAG,CAAC,KAAc,EAAQ,EAAE;QACrC,IAAI,OAAO,KAAK,KAAK,UAAU,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,MAAM,IAAI,oBAAoB,CAAC,OAAO,CAAC,CAAC;QACtG,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO;QACxD,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC;YAAE,MAAM,IAAI,oBAAoB,CAAC,OAAO,CAAC,CAAC;QAC3L,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,IAAI,OAAO,GAAG,KAAK,QAAQ;gBAAE,MAAM,IAAI,oBAAoB,CAAC,OAAO,CAAC,CAAC;YACrE,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAE,CAAC;YAChE,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,UAAU,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,GAAG,KAAK,QAAQ,CAAC,CAAC;gBAAE,MAAM,IAAI,oBAAoB,CAAC,OAAO,CAAC,CAAC;YACjJ,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC;QACD,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC,CAAC;IACF,KAAK,CAAC,KAAK,CAAC,CAAC;IACb,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,iBAAiB,CAAC,CAAU,EAAE,CAAU;IAC/C,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACjC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACtH,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAM,CAAe,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC3E,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,OAAO,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,iBAAiB,CAAE,CAA6B,CAAC,GAAG,CAAC,EAAG,CAA6B,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAC1L,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAsB;IACnD,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,SAAS;QACzE,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAAE,MAAM,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAC;AACzJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAmB,EAAE,MAAkB;IACzE,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,oBAAoB,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC;IACnH,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ;QAAE,MAAM,IAAI,oBAAoB,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC;IACxF,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC;IACxB,mBAAmB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAClC,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;QACtF,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,IAAI,OAAO,KAAK,CAAC,QAAQ,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,QAAQ,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC;QAAE,MAAM,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACnL,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,EAAE,SAAS,GAAG,IAAI,GAAG,EAAU,EAAE,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5F,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAChC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM,IAAI,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAC;QACpN,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC3D,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,CAAC,GAAG,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAC;QACrG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAAC,qBAAqB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,yBAAyB,CAAC,OAAiC,EAAE,MAAkB;IAC7F,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACrE,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,IAAI,OAAO,IAAI,OAAO;YAAE,MAAM,IAAI,oBAAoB,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC;QAC1E,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC;QAAE,MAAM,IAAI,oBAAoB,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC;IAChF,OAAO,UAAU,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;AACpG,CAAC;AAED,gGAAgG;AAChG,MAAM,UAAU,kBAAkB,CAAC,QAAsB,EAAE,OAAqB;IAC9E,MAAM,CAAC,GAAG,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACpF,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;IAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;IACrG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACrG,IAAI,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC;QAAE,MAAM,IAAI,oBAAoB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AACzE,CAAC;AAeD,iGAAiG;AACjG,MAAM,UAAU,mBAAmB,CAAC,KAAkB,EAAE,OAA4B;IAClF,MAAM,KAAK,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAC;IACjD,IAAI,KAAK,KAAK,SAAS;QAAE,mBAAmB,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IACjE,IAAI,OAAO,CAAC,QAAQ,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,oBAAoB,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACjG,MAAM,QAAQ,GAAG,eAAe,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IACrD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,QAAQ,CAAC,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,qBAAqB,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC;QACnH,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,IAAI,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,KAAK,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;YAAE,MAAM,IAAI,oBAAoB,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACtN,wBAAwB,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,EAAE,SAAS,CAAC,CAAC;IAC3F,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,OAAyB;IACxD,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC;QAAE,qBAAqB,CAAC,MAAM,CAAC,QAAS,CAAC,CAAC;IAC/E,IAAI,MAAM,CAAC,mBAAmB,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,mBAAmB,KAAK,SAAS;QAAE,MAAM,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACxI,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,GAAW,EAAE,OAAyB,EAAE,MAAuB,EAAE,OAAgC;IAC/H,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,iBAAiB,CAAC,mBAAmB,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC;QAAE,MAAM,IAAI,oBAAoB,CAAC,GAAG,CAAC,CAAC;IAClK,IAAI,OAAO,CAAC,mBAAmB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,oBAAoB,CAAC,GAAG,CAAC,CAAC;AAC/F,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,wBAAwB,CAAC,KAA+B,EAAE,IAA2B,EAAE,QAAuC;IAC5I,IAAI,KAAK,EAAE,CAAC;QACV,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;YAAE,MAAM,IAAI,oBAAoB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7H,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO;IACnC,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM;QACjI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,oBAAoB,CAAC,KAAK,EAAE,MAAM,IAAI,MAAM,CAAC,CAAC;AAC7K,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,0BAA0B,CAAC,KAA+B,EAAE,gBAA0C,EAAE,UAAoC;IAC1J,IAAI,KAAK,IAAI,CAAC,gBAAgB,KAAK,SAAS,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC;QAAE,MAAM,IAAI,oBAAoB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AAClK,CAAC;AAYD;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CAAC,MAAiB,EAAE,OAAkC;IAC7F,IAAI,CAAC,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC9G,MAAM,KAAK,GAAG,yBAAyB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACzD,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAG,mBAAmB,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IACzG,MAAM,GAAG,GAAG,QAAQ,CAAC,UAAU,CAAC;IAChC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,QAAQ,CAAC,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,MAAM;QACrH,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACtF,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,SAAS,KAAK,EAAE,CAAC,EAAE,KAAK,KAAK,cAAc,CAAC;QAAE,MAAM,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACtI,wBAAwB,CAAC,KAAK,EAAE,EAAE,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;IACzD,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC;AACvH,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,0BAA0B,CAAC,OAA8B;IACvE,MAAM,WAAW,GAAG,MAAM,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC;IAC9D,MAAM,IAAI,GAA4B,EAAE,CAAC;IACzC,IAAI,QAAuC,CAAC;IAC5C,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3C,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,MAAM,IAAI,oBAAoB,CAAC,SAAS,CAAC,CAAC;QACvE,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAE,CAAC;QACrC,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU;YAAE,MAAM,IAAI,oBAAoB,CAAC,SAAS,CAAC,CAAC;QAClG,IAAI,GAAG,KAAK,MAAM,IAAI,OAAO,UAAU,CAAC,KAAK,KAAK,UAAU;YAAE,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC;;YACrF,IAAI,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC;IACpC,CAAC;IACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,CAA0B,CAAC;IACpE,IAAI,QAAQ;QAAE,QAAQ,CAAC,IAAI,GAAG,QAAQ,CAAC;IACvC,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,2BAA2B,CAAC,MAAiB,EAAE,OAA+B;IAC5F,MAAM,KAAK,GAAG,yBAAyB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACzD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IACxC,MAAM,QAAQ,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC9C,QAAQ,CAAC,KAAK,GAAG,KAAK,CAAC;IACvB,wBAAwB,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,IAAI,EAAE,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC1E,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAClC,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAC;QACrG,wBAAwB,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;GAIG;AACH,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IAC1B,IAAI,GAAG,qBAAqB,CAAC;IACtC,SAAS,CAAS;IAClB,QAAQ,CAAiB;IACzB,MAAM,CAAwB;IAEvC,YAAY,SAAiB,EAAE,QAAwB,EAAE,MAA6B;QACpF,KAAK,CACH,MAAM,KAAK,IAAI;YACb,CAAC,CAAC,WAAW,SAAS,qCAAqC,QAAQ,IAAI;YACvE,CAAC,CAAC,WAAW,SAAS,SAAS,MAAM,WAAW,QAAQ,GAAG,CAC9D,CAAC;QACF,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IACzB,IAAI,GAAG,oBAAoB,CAAC;IACrC,MAAM,CAAY;IAClB,SAAS,CAAS;IAClB,KAAK,CAAiB;IAE/B,YAAY,MAAiB,EAAE,SAAiB,EAAE,KAAqB;QACrE,KAAK,CAAC,IAAI,MAAM,wBAAwB,SAAS,eAAe,KAAK,GAAG,CAAC,CAAC;QAC1E,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;CACF;AAoCD,sFAAsF;AACtF,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IAC9B,IAAI,GAAG,yBAAyB,CAAC;IAC1C,MAAM,CAAY;IAC3B,YAAY,MAAiB;QAC3B,KAAK,CAAC,yBAAyB,MAAM,iCAAiC,CAAC,CAAC;QACxE,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAAiB,EAAE,OAA+B;IACrF,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS;QAAE,OAAO;IAC5E,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,oBAAoB,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC;QACxJ,MAAM,IAAI,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC5C,CAAC;AACH,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,oBAAoB,CAAC,MAAuB,EAAE,QAAgB,EAAE,GAAW;IACzF,OAAO,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,gBAAgB,EAAE,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;AACpI,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,MAAiB,EAAE,OAAuD;IACvH,IAAI,CAAC,OAAO,CAAC,cAAc;QAAE,OAAO;IACpC,IAAI,OAAO,CAAC,eAAe,KAAK,SAAS,IAAI,OAAO,CAAC,cAAc,KAAK,SAAS;QAC7E,CAAC,QAAQ,IAAI,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC;QACzF,CAAC,WAAW,IAAI,OAAO,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,IAAI,CAAC,QAAQ,IAAI,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,CAAC;QACzH,MAAM,IAAI,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC5C,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAiB,EAAE,QAAwB,EAAE,OAAuB,EAAE,cAAuB;IACjI,MAAM,KAAK,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE;QAChD,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QACjC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QACtH,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,OAAO,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC;YAC5G,KAAK,CAAE,CAA6B,CAAC,GAAG,CAAC,EAAG,CAA6B,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACrF,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,MAAM,IAAI,GAAG,CAAC,KAAK,KAAK,cAAc,CAAC,CAAC;IAC5F,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAA2B,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC1J,IAAI,CAAC,cAAc,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,SAAS,KAAK,cAAc,CAAC,CAAC;QACvF,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,UAAU,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC;QACnJ,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,UAAU,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,GAAG,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC;QACxJ,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,KAAK,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QACvG,MAAM,IAAI,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC5C,CAAC;AACH,CAAC"}

package/dist/kind-coverage.d.ts

@@ -0,0 +1,99 @@
+import { type KindRegistry } from "./kinds.js";
+import type { OkfDocument } from "./types.js";
+/** All records are grouped by actual type; path prefixes never infer a Kind or hide nested records. */
+export declare function kindCoverage(registry: KindRegistry, documents: readonly OkfDocument[], options: {
+    now: Date;
+    okfVersion?: string;
+    kind?: string;
+}): {
+    now: string;
+    documents: number;
+    undeclared_kinds: string[];
+    kinds: {
+        governs: string;
+        records: number;
+        coverage: {
+            fields: {
+                present: number;
+                filled: number;
+                sentinel: number;
+                empty: number;
+                rate: number | null;
+                field: string;
+                required: boolean;
+            }[];
+            body_prose: {
+                filled: number;
+                rate: number | null;
+            };
+        };
+        drift: {
+            undeclared: {
+                key: string;
+                records: number;
+                rate: number | null;
+                examples: string[];
+                examples_total: number;
+            }[];
+            declared_unused: string[];
+            envelope: {
+                key: string;
+                records: number;
+            }[];
+        };
+        links: {
+            with_links: number;
+            typed: {
+                relation: string;
+                target_kind: string | null;
+                target_matches: boolean | null;
+                records: number;
+                links: number;
+                rate: number | null;
+            }[];
+            untyped_citations: number;
+            declared_never_used: string[];
+            dangling: number;
+            dangling_examples: string[];
+            no_inbound: number;
+        };
+        freshness: {
+            clock: string;
+            horizon: string | null;
+            horizon_ms: number | null;
+            missing: number;
+            invalid: number;
+            buckets: {
+                future: number;
+                "0-7d": number;
+                "8-30d": number;
+                "31-90d": number;
+                "91-180d": number;
+                "181-365d": number;
+                ">365d": number;
+            };
+            older_than_horizon: number | null;
+        };
+        sources: {
+            zero: number;
+            total: number;
+            invalid_entries: number;
+            non_url_resources: number;
+            per_record: {
+                "0": number;
+                "1": number;
+                "2": number;
+                "3": number;
+                "4": number;
+                "5+": number;
+            };
+            distinct_domains: number;
+            domains_shown: number;
+            top_domains: {
+                domain: string;
+                sources: number;
+            }[];
+        };
+    }[];
+};
+//# sourceMappingURL=kind-coverage.d.ts.map

package/dist/kind-coverage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"kind-coverage.d.ts","sourceRoot":"","sources":["../src/kind-coverage.ts"],"names":[],"mappings":"AAEA,OAAO,EAA+G,KAAK,YAAY,EAAE,MAAM,YAAY,CAAC;AAI5J,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AA4F9C,uGAAuG;AACvG,wBAAgB,YAAY,CAAC,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,SAAS,WAAW,EAAE,EAAE,OAAO,EAAE;IAAE,GAAG,EAAE,IAAI,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA+CjJ"}