@superbee/core 0.2.0-pre.1 → 0.2.0-pre.11

package/dist/journaled-backend.js

@@ -19,10 +19,46 @@
  *   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
@@ -37,6 +73,222 @@
  * 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
@@ -74,4 +326,64 @@ export class IntentHoldConflict extends Error {
         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

@@ -1 +1 @@
-{"version":3,"file":"journaled-backend.js","sourceRoot":"","sources":["../src/journaled-backend.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAKH;;;;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"}
+{"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"}

package/dist/kind-coverage.js

@@ -0,0 +1,186 @@
+/** Read-only measurements over canonical documents and the already-loaded Kind registry. */
+import { isStandardDocumentSetField } from "./document-field-actions.js";
+import { freshnessHorizonMs, projectKindForAuthoring, readKindField, resolveKindFieldCoordinate } from "./kinds.js";
+import { extractMarkdownLinks, parseLinksFromDoc } from "./links.js";
+import { isManagedDocumentMetadataField } from "./managed-document-metadata.js";
+import { parseTimestamp } from "./freshness.js";
+const SENTINELS = new Set(["unknown", "n/a", "na", "none", "tbd", "null", "-", "?"]);
+const EXAMPLES = 3;
+const DOMAIN_LIMIT = 15;
+const DAY = 86400000;
+const compare = (a, b) => a < b ? -1 : a > b ? 1 : 0;
+const ratio = (n, total) => total ? Math.round(n / total * 10000) / 10000 : null;
+const empty = (value) => value == null || (typeof value === "string" && value.trim() === "") ||
+    (Array.isArray(value) ? value.length === 0 : typeof value === "object" && Object.keys(value).length === 0);
+const sentinel = (value) => typeof value === "string" && SENTINELS.has(value.trim().toLowerCase());
+const filled = (value) => !empty(value) && !sentinel(value);
+const envelope = (key) => isManagedDocumentMetadataField(key) || isStandardDocumentSetField(key, "0.2") || key === "sources" || key === "tags";
+function bodyProse(body) {
+    // Lossless line measurement, not Markdown rendering: every ATX heading is ignored;
+    // a Related heading excludes its descendants until the next same/higher-level heading.
+    let relatedLevel;
+    for (const line of body.split("\n")) {
+        const text = line.trim();
+        const heading = /^(#{1,6})[ \t]+(.+?)\s*#*\s*$/.exec(text);
+        if (heading) {
+            const level = heading[1].length;
+            if (relatedLevel !== undefined && level <= relatedLevel)
+                relatedLevel = undefined;
+            if (heading[2].trim().toLowerCase() === "related" && relatedLevel === undefined)
+                relatedLevel = level;
+            continue;
+        }
+        if (relatedLevel !== undefined)
+            continue;
+        const prose = text.replace(/^[-*] +/, "");
+        if (!prose)
+            continue;
+        const links = extractMarkdownLinks(prose);
+        if (!(links.length === 1 && prose === `[${links[0].text}](${links[0].href})`))
+            return true;
+    }
+    return false;
+}
+function fieldStats(docs, value) {
+    let present = 0, sentinels = 0, used = 0;
+    for (const doc of docs) {
+        const v = value(doc);
+        if (v !== undefined)
+            used++;
+        if (filled(v))
+            present++;
+        else if (sentinel(v))
+            sentinels++;
+    }
+    return { present: used, filled: present, sentinel: sentinels, empty: docs.length - present - sentinels, rate: ratio(present, docs.length) };
+}
+function checkedOn(kind, docs, now) {
+    const buckets = { future: 0, "0-7d": 0, "8-30d": 0, "31-90d": 0, "91-180d": 0, "181-365d": 0, ">365d": 0 };
+    let missing = 0, invalid = 0, older = 0;
+    const horizon = freshnessHorizonMs(kind);
+    for (const doc of docs) {
+        const value = doc.frontmatter.checked_on;
+        if (!filled(value)) {
+            missing++;
+            continue;
+        }
+        // checked_on is domain date metadata, not the edition's meaningful-change clock.
+        const ms = typeof value === "string" ? parseTimestamp(/^\d{4}-\d{2}-\d{2}$/.test(value) ? `${value}T00:00:00Z` : value, "0.2") : null;
+        if (ms === null) {
+            invalid++;
+            continue;
+        }
+        const ageMs = now.getTime() - ms;
+        const days = Math.floor(ageMs / DAY);
+        const bucket = days < 0 ? "future" : days <= 7 ? "0-7d" : days <= 30 ? "8-30d" : days <= 90 ? "31-90d" : days <= 180 ? "91-180d" : days <= 365 ? "181-365d" : ">365d";
+        buckets[bucket]++;
+        if (horizon !== undefined && ageMs > horizon)
+            older++;
+    }
+    return { clock: "checked_on", horizon: kind.freshnessHorizon ?? null, horizon_ms: horizon ?? null, missing, invalid, buckets, older_than_horizon: horizon === undefined ? null : older };
+}
+function sourceStats(docs) {
+    const domains = new Map();
+    const distribution = { "0": 0, "1": 0, "2": 0, "3": 0, "4": 0, "5+": 0 };
+    let total = 0, zero = 0, invalid = 0, nonUrl = 0;
+    for (const doc of docs) {
+        const raw = doc.frontmatter.sources;
+        const list = Array.isArray(raw) ? raw : raw == null ? [] : [raw];
+        let count = 0;
+        for (const item of list) {
+            const resource = typeof item === "string" ? item : item && typeof item === "object" && !Array.isArray(item) ? item.resource : undefined;
+            if (typeof resource !== "string" || !filled(resource)) {
+                invalid++;
+                continue;
+            }
+            count++;
+            try {
+                const domain = new URL(resource).hostname.toLowerCase().replace(/^www\./, "");
+                if (!domain) {
+                    nonUrl++;
+                    continue;
+                }
+                domains.set(domain, (domains.get(domain) ?? 0) + 1);
+            }
+            catch {
+                nonUrl++;
+            }
+        }
+        if (!count)
+            zero++;
+        total += count;
+        distribution[count >= 5 ? "5+" : String(count)]++;
+    }
+    const ordered = [...domains].sort((a, b) => b[1] - a[1] || compare(a[0], b[0]));
+    return { zero, total, invalid_entries: invalid, non_url_resources: nonUrl, per_record: distribution, distinct_domains: domains.size, domains_shown: Math.min(domains.size, DOMAIN_LIMIT), top_domains: ordered.slice(0, DOMAIN_LIMIT).map(([domain, sources]) => ({ domain, sources })) };
+}
+/** All records are grouped by actual type; path prefixes never infer a Kind or hide nested records. */
+export function kindCoverage(registry, documents, options) {
+    if (!Number.isFinite(options.now.getTime()))
+        throw new TypeError("Coverage now must be a valid date");
+    const docs = [...documents].sort((a, b) => compare(a.id, b.id));
+    const index = new Map(docs.map((doc) => [doc.id, doc]));
+    const edges = new Map(docs.map((doc) => [doc.id, parseLinksFromDoc(doc)]));
+    const inbound = new Set([...edges.values()].flat().map((link) => link.to));
+    const groups = new Map();
+    for (const doc of docs) {
+        const type = doc.frontmatter.type;
+        const group = groups.get(type) ?? [];
+        group.push(doc);
+        groups.set(type, group);
+    }
+    const kinds = [...registry.kinds.values()].filter((kind) => options.kind === undefined || kind.governs === options.kind).map((kind) => {
+        const records = groups.get(kind.governs) ?? [];
+        const authoring = projectKindForAuthoring(options.okfVersion, kind);
+        const fields = [...new Set([...authoring.fields.required, ...authoring.fields.optional])].sort(compare);
+        const stats = fields.map((field) => ({ field, required: authoring.fields.required.includes(field), ...fieldStats(records, (doc) => readKindField(options.okfVersion, kind, doc.frontmatter, field)) }));
+        const declaredStorage = new Set(fields.map((field) => resolveKindFieldCoordinate(options.okfVersion, kind, field)?.storageField ?? field));
+        const undeclared = new Map(), envelopes = new Map();
+        for (const doc of records)
+            for (const key of Object.keys(doc.frontmatter)) {
+                if (envelope(key)) {
+                    envelopes.set(key, (envelopes.get(key) ?? 0) + 1);
+                    continue;
+                }
+                if (!declaredStorage.has(key)) {
+                    const ids = undeclared.get(key) ?? [];
+                    ids.push(doc.id);
+                    undeclared.set(key, ids);
+                }
+            }
+        const relations = new Map();
+        let citations = 0, dangling = 0, withLinks = 0;
+        const danglingExamples = [];
+        for (const doc of records) {
+            const links = edges.get(doc.id);
+            if (links.length)
+                withLinks++;
+            for (const link of links) {
+                const target = index.get(link.to);
+                if (!target) {
+                    dangling++;
+                    if (danglingExamples.length < EXAMPLES)
+                        danglingExamples.push(doc.id);
+                }
+                if (!Object.hasOwn(kind.links ?? {}, link.text)) {
+                    citations++;
+                    continue;
+                }
+                const targetKind = target?.frontmatter.type ?? null;
+                const key = JSON.stringify([link.text, targetKind]);
+                const row = relations.get(key) ?? { relation: link.text, target_kind: targetKind, target_matches: targetKind === null ? null : targetKind === kind.links[link.text], records: new Set(), links: 0 };
+                row.records.add(doc.id);
+                row.links++;
+                relations.set(key, row);
+            }
+        }
+        const used = new Set([...relations.values()].map((row) => row.relation));
+        return { governs: kind.governs, records: records.length,
+            coverage: { fields: stats, body_prose: { filled: records.filter((doc) => bodyProse(doc.body)).length, rate: ratio(records.filter((doc) => bodyProse(doc.body)).length, records.length) } },
+            drift: { undeclared: [...undeclared].sort(([a], [b]) => compare(a, b)).map(([key, ids]) => ({ key, records: ids.length, rate: ratio(ids.length, records.length), examples: ids.slice(0, EXAMPLES), examples_total: ids.length })), declared_unused: stats.filter((row) => row.present === 0).map((row) => row.field), envelope: [...envelopes].sort(([a], [b]) => compare(a, b)).map(([key, records]) => ({ key, records })) },
+            links: { with_links: withLinks, typed: [...relations.values()].sort((a, b) => compare(a.relation, b.relation) || compare(a.target_kind ?? "", b.target_kind ?? "")).map((row) => ({ relation: row.relation, target_kind: row.target_kind, target_matches: row.target_matches, records: row.records.size, links: row.links, rate: ratio(row.records.size, records.length) })), untyped_citations: citations, declared_never_used: Object.keys(kind.links ?? {}).filter((relation) => !used.has(relation)).sort(compare), dangling, dangling_examples: danglingExamples, no_inbound: records.filter((doc) => !inbound.has(doc.id)).length },
+            freshness: checkedOn(kind, records, options.now), sources: sourceStats(records) };
+    });
+    return { now: options.now.toISOString(), documents: docs.length, undeclared_kinds: [...groups.keys()].filter((type) => !registry.kinds.has(type)).sort(compare), kinds };
+}
+//# sourceMappingURL=kind-coverage.js.map