@cruba/crubal 0.1.0 → 0.2.0

package/dist/src/lifecycle.js

@@ -0,0 +1,415 @@
+// lifecycle.ts: a record's life (spec 1.12), values down the levels with an optional parent (1.7), and
+// instructions (10.7). Folded keys are read from the record above; owned keys (the kind's `vary` steps and
+// the classes' `level::` lines) belong to the lower record. Attaching folds values up, detaching copies them
+// down, archiving snapshots them so history stays true, merging folds one record into another, and
+// instructions change which keys lower records hold, pending per record until applied.
+import { serialize } from "./canonical.js";
+import { MemoryRecords } from "./records.js";
+import { readUnder } from "./read-text.js";
+import { land } from "./store.js";
+import { CrubalError, readTree } from "./tree.js";
+const isObj = (v) => typeof v === "object" && v !== null && !Array.isArray(v);
+export function emptyStore() {
+    return { records: new MemoryRecords(), bindings: new Map(), instructions: new Map(), review: [] };
+}
+/** A record's values with everything above it read through (1.7); a record standing alone reads nothing. */
+export function effective(records, r) {
+    const up = r.of ? records.get(r.of) : undefined;
+    return { ...(up ? effective(records, up) : {}), ...r.values };
+}
+function classLines(dict, name, seen = new Set()) {
+    if (seen.has(name))
+        return [];
+    seen.add(name);
+    const c = dict.classes.get(name);
+    if (!c)
+        return [];
+    return [...c.uses.flatMap((u) => classLines(dict, u, seen)), ...c.lines];
+}
+/** The keys a record owns (1.7): its level's vary step, and the `level::` lines of the classes above and on it. */
+export function ownedKeys(dict, records, r) {
+    const keys = new Set(dict.vary.get(r.level) ?? []);
+    const up = r.of ? records.get(r.of) : undefined;
+    for (const w of [...(up?.wears ?? []), ...(r.wears ?? [])])
+        for (const l of classLines(dict, w))
+            if (l.level === r.level)
+                keys.add(l.facet);
+    return keys;
+}
+function sourceFor(r, key) {
+    return r.sources?.[key] ?? r.sources?.["*"];
+}
+function setValue(r, key, v, s) {
+    r.values = { ...r.values, [key]: v };
+    if (s)
+        r.sources = { ...(r.sources ?? {}), [key]: s };
+}
+function dropValue(r, key) {
+    const { [key]: _v, ...values } = r.values;
+    r.values = values;
+    if (r.sources?.[key]) {
+        const { [key]: _s, ...sources } = r.sources;
+        r.sources = sources;
+    }
+}
+function suggest(r, key, v, s) {
+    const bag = { ...(r.suggestions ?? {}) };
+    bag[key] = [...(bag[key] ?? []), { value: v, origin: s?.origin ?? "reported", via: s?.via ?? "" }];
+    r.suggestions = bag;
+}
+const empty = (v) => v === undefined || (isObj(v) && "$empty" in v);
+/**
+ * Fold a lower record's folded-key values up into the record above (1.7): the same value is dropped and
+ * read through; an empty above is filled; a different value is a conflict for the trust order. Without
+ * `edit` on the record above, what would move up lands there as a suggestion and the lower record keeps
+ * its value.
+ */
+export function foldUp(store, lowerId, dict, mayEditUpper = true) {
+    const lower = store.records.get(lowerId);
+    const upper = lower?.of ? store.records.get(lower.of) : undefined;
+    if (!lower || !upper)
+        return;
+    const owned = ownedKeys(dict, store.records, lower);
+    let up = { ...upper };
+    const low = { ...lower };
+    const upValues = effective(store.records, upper);
+    for (const [key, v] of Object.entries(lower.values)) {
+        if (owned.has(key))
+            continue;
+        const s = sourceFor(lower, key);
+        const above = upValues[key];
+        if (!empty(above) && serialize(above) === serialize(v)) {
+            dropValue(low, key);
+            continue;
+        }
+        if (!mayEditUpper) {
+            suggest(up, key, v, s);
+            continue;
+        }
+        if (empty(above)) {
+            setValue(up, key, v, s);
+            dropValue(low, key);
+            continue;
+        }
+        up = land(up, { outcomes: [{ from: key, to: key, outcome: "conflict", value: v }] }, s ?? { origin: "reported", via: "" }, dict.trust, dict.facetTrust);
+        dropValue(low, key);
+    }
+    store.records.set(up.id, up);
+    store.records.set(low.id, low);
+}
+/** Attach a standing-alone record to the record above it, then fold its values up. */
+export function attach(store, lowerId, upperId, dict, mayEditUpper = true) {
+    const lower = store.records.get(lowerId);
+    if (!lower)
+        throw new Error(`no record ${lowerId}`);
+    if (!store.records.has(upperId))
+        throw new Error(`no record ${upperId}`);
+    store.records.set(lowerId, { ...lower, of: upperId });
+    foldUp(store, lowerId, dict, mayEditUpper);
+}
+/** Copy every folded value onto the record, with its source, then clear `of`. */
+function copyDown(store, r, dict) {
+    const up = r.of ? store.records.get(r.of) : undefined;
+    if (!up)
+        return r;
+    const owned = ownedKeys(dict, store.records, r);
+    const out = { ...r, values: { ...r.values }, sources: { ...(r.sources ?? {}) } };
+    for (const [key, v] of Object.entries(effective(store.records, up))) {
+        if (owned.has(key) || out.values[key] !== undefined)
+            continue;
+        out.values[key] = v;
+        const s = sourceAbove(store, up, key);
+        if (s)
+            out.sources[key] = s;
+    }
+    if (!Object.keys(out.sources ?? {}).length)
+        delete out.sources;
+    return out;
+}
+function sourceAbove(store, r, key) {
+    if (r.values[key] !== undefined)
+        return sourceFor(r, key);
+    const up = r.of ? store.records.get(r.of) : undefined;
+    return up ? sourceAbove(store, up, key) : undefined;
+}
+/** Detach: the record keeps working as it was. */
+export function detach(store, lowerId, dict) {
+    const r = store.records.get(lowerId);
+    if (!r?.of)
+        return;
+    const copied = copyDown(store, r, dict);
+    delete copied.of;
+    store.records.set(lowerId, copied);
+}
+function childrenOf(store, id, along) {
+    return store.records.childrenOf(id, along);
+}
+/**
+ * Adopt a value (8.2): it stops following its rule or presenter; the source gains `adopted`. A `must`
+ * production refuses; a `should` one is flagged (the caller decides what to do with the flag).
+ */
+export function adopt(store, id, address, rules = []) {
+    const r = store.records.get(id);
+    if (!r)
+        throw new CrubalError(`no record ${id}`);
+    if (r.values[address] === undefined)
+        throw new CrubalError(`${id} has no value at ${address} to adopt`);
+    const rule = rules.find((x) => x.produces?.key === address);
+    if (rule?.strength === "must")
+        throw new CrubalError(`${address} is produced by ${rule.name}, a must rule: it can't be adopted`);
+    const was = (r.sources?.[address] ?? r.sources?.["*"] ?? { origin: "reported", via: "" });
+    store.records.set(id, { ...r, sources: { ...(r.sources ?? {}), [address]: { ...was, adopted: true } } });
+    return rule?.strength === "should" ? { flagged: rule.name } : {};
+}
+/**
+ * Split (1.12): a new record minted beside the origin, the named children moved under it (`of`), the
+ * named values written on it with the origin's sources where it has them, the named bindings moved. The
+ * reverse of a merge names what the merge brought; a version split names the instances that disagreed.
+ */
+export function split(store, fromId, into, what, source = { origin: "declared", via: "split" }) {
+    const origin = store.records.get(fromId);
+    if (!origin)
+        throw new CrubalError(`no record ${fromId}`);
+    if (store.records.has(into))
+        throw new CrubalError(`${into} exists`);
+    const values = {};
+    const sources = {};
+    for (const [k, v] of Object.entries(what.values ?? {})) {
+        values[k] = v;
+        const own = origin.sources?.[k] ?? origin.sources?.["*"];
+        sources[k] = origin.values[k] !== undefined && serialize(origin.values[k]) === serialize(v) && own ? { ...own } : { ...source };
+    }
+    const next = { id: into, kind: origin.kind, level: origin.level, owner: origin.owner, values, sources };
+    if (origin.of)
+        next.of = origin.of;
+    if (origin.within)
+        next.within = origin.within;
+    if (origin.wears)
+        next.wears = [...origin.wears];
+    store.records.set(into, next);
+    for (const id of what.children ?? []) {
+        const c = store.records.get(id);
+        if (!c)
+            throw new CrubalError(`no record ${id}`);
+        if (c.of !== fromId)
+            throw new CrubalError(`${id} isn't of ${fromId}`);
+        store.records.set(id, { ...c, of: into });
+    }
+    for (const key of what.bindings ?? []) {
+        if (store.bindings.get(key) !== fromId)
+            throw new CrubalError(`${key} isn't bound to ${fromId}`);
+        store.bindings.set(key, into);
+    }
+    return next;
+}
+/** Give an adopted value back (8.2): the mark goes, and the next rule run or update replaces it. */
+export function giveBack(store, id, address) {
+    const r = store.records.get(id);
+    if (!r)
+        throw new CrubalError(`no record ${id}`);
+    const s = r.sources?.[address];
+    if (!s?.adopted)
+        throw new CrubalError(`${id} hasn't adopted ${address}`);
+    const { adopted: _a, ...rest } = s;
+    store.records.set(id, { ...r, sources: { ...(r.sources ?? {}), [address]: rest } });
+}
+/** Adopt another owner's whole record (8.2): a new record of ours, every value with its source, linked by crubal:clonedFrom. */
+export function clone(store, fromId, newId, owner) {
+    const r = store.records.get(fromId);
+    if (!r)
+        throw new CrubalError(`no record ${fromId}`);
+    if (store.records.has(newId))
+        throw new CrubalError(`${newId} exists`);
+    const sources = {};
+    for (const k of Object.keys(r.values)) {
+        const s = (r.sources?.[k] ?? r.sources?.["*"] ?? { origin: "reported", via: "" });
+        sources[k] = { ...s, ...(s.owner || r.owner === owner ? {} : { owner: r.owner }) };
+    }
+    const link = `${r.owner === owner ? "" : `${r.owner}:`}${fromId}`;
+    const next = { id: newId, kind: r.kind, level: r.level, owner, values: { ...r.values, "crubal:clonedFrom": { $link: link } }, sources: { ...sources, "crubal:clonedFrom": { origin: "declared", via: "clone" } } };
+    if (r.wears)
+        next.wears = [...r.wears];
+    if (r.parts)
+        next.parts = structuredClone(r.parts);
+    store.records.set(newId, next);
+    return next;
+}
+export function archive(store, id, reason, dict, into) {
+    const r = store.records.get(id);
+    if (!r)
+        throw new Error(`no record ${id}`);
+    const snap = { ...copyDown(store, r, dict) };
+    snap.status = { state: "archived", reason, ...(into ? { into } : {}) };
+    store.records.set(id, snap);
+    const rule = dict.archive.get(r.kind) ?? "independent";
+    const along = rule === "cascade of" ? ["of"] : rule === "cascade within" ? ["within"] : rule === "cascade both" ? ["of", "within"] : [];
+    for (const a of along)
+        for (const c of childrenOf(store, id, a))
+            if (!c.status)
+                archive(store, c.id, "parent archived", dict);
+}
+/** Unarchive: back to active; an attached record's copied values fold up again; the cascade is undone. */
+export function unarchive(store, id, dict) {
+    const r = store.records.get(id);
+    if (!r?.status)
+        return;
+    const { status: _s, ...rest } = r;
+    store.records.set(id, rest);
+    if (rest.of)
+        foldUp(store, id, dict, true);
+    for (const along of ["of", "within"])
+        for (const c of childrenOf(store, id, along))
+            if (c.status?.reason === "parent archived")
+                unarchive(store, c.id, dict);
+}
+/** Merge: the loser's values fold into the survivor under the trust order; the loser is archived as merged. */
+export function merge(store, loserId, survivorId, dict) {
+    const loser = store.records.get(loserId);
+    let survivor = store.records.get(survivorId);
+    if (!loser || !survivor)
+        throw new Error(`merge needs both ${loserId} and ${survivorId}`);
+    for (const [key, v] of Object.entries(loser.values)) {
+        const s = sourceFor(loser, key) ?? { origin: "reported", via: "" };
+        const current = survivor.values[key];
+        const outcome = empty(current) ? "absorbed" : serialize(current) === serialize(v) ? "absorbed" : "conflict";
+        survivor = land(survivor, { outcomes: [{ from: key, to: key, outcome, value: v }] }, s, dict.trust, dict.facetTrust);
+    }
+    store.records.set(survivorId, survivor);
+    for (const c of childrenOf(store, loserId, "of"))
+        store.records.set(c.id, { ...c, of: survivorId });
+    for (const c of childrenOf(store, loserId, "within"))
+        store.records.set(c.id, { ...c, within: survivorId });
+    for (const [k, v] of store.bindings)
+        if (v === loserId)
+            store.bindings.set(k, survivorId);
+    store.records.set(loserId, { ...loser, status: { state: "archived", reason: "merged", into: survivorId } });
+}
+// ─── Instructions (10.7) ─────────────────────────────────────────────────────
+const unq = (s) => (s.trim().startsWith('"') ? JSON.parse(s.trim()) : s.trim());
+/** Read instruction lines (`+key`, `-key`, `-key -> other` with value maps below) for one issuer. */
+export function readInstructions(issuer, lines, from = 0) {
+    return lines.map((l, i) => {
+        const text = l.text.trim().replace(/^\d+:\s*/, "");
+        const op = text[0] === "+" ? "+" : text[0] === "-" ? "-" : null;
+        if (!op)
+            throw new Error(`an instruction is +key, -key or -key -> other: ${text}`);
+        const body = text.slice(1).trim();
+        const at = body.indexOf(" -> ");
+        const key = at < 0 ? body : body.slice(0, at).trim();
+        const to = at < 0 ? undefined : body.slice(at + 4).trim();
+        const map = l.children.map((c) => {
+            const m = c.text.indexOf(" -> ");
+            if (m < 0)
+                throw new Error(`a value map is "theirs -> ours": ${c.text}`);
+            return [unq(c.text.slice(0, m)), unq(c.text.slice(m + 4))];
+        });
+        return { issuer, n: from + i + 1, op, key, ...(to ? { to } : {}), map };
+    });
+}
+/** Read `instructions: <issuer>` blocks. */
+export function readInstructionBlocks(source) {
+    const out = new Map();
+    for (const n of readTree(source)) {
+        if (n.kind !== "pair" || n.key !== "instructions")
+            continue;
+        const issuer = n.value.trim();
+        out.set(issuer, [...(out.get(issuer) ?? []), ...readInstructions(issuer, n.children, out.get(issuer)?.length ?? 0)]);
+    }
+    return out;
+}
+/** Issue instructions from a record or a class version; they are numbered on from the issuer's last. */
+export function issue(store, issuer, lines) {
+    const have = store.instructions.get(issuer) ?? [];
+    const added = readInstructions(issuer, lines, have.length);
+    store.instructions.set(issuer, [...have, ...added]);
+    return added;
+}
+/**
+ * The issuers whose instructions reach a record, in the order they apply (10.7): the record above, then
+ * its kind's versions, then the class versions above and on it, each group by name then version.
+ */
+export function issuersFor(store, r) {
+    const out = [];
+    if (r.of)
+        out.push(r.of);
+    const up = r.of ? store.records.get(r.of) : undefined;
+    const worn = new Set([...(up?.wears ?? []), ...(r.wears ?? [])]);
+    const kinds = [];
+    const classes = [];
+    for (const issuer of store.instructions.keys()) {
+        const k = issuer.match(/^kind:([^/]+)\//);
+        if (k && k[1] === r.kind)
+            kinds.push(issuer);
+        const c = issuer.match(/^class:([^/]+)\//);
+        if (c && worn.has(c[1]))
+            classes.push(issuer);
+    }
+    return [...out, ...kinds.sort(), ...classes.sort()];
+}
+/** The instructions a record hasn't applied yet, in issuer order then number. */
+export function pending(store, r) {
+    return issuersFor(store, r).flatMap((issuer) => (store.instructions.get(issuer) ?? []).filter((i) => i.n > (r.applied?.[issuer] ?? 0)));
+}
+function plain(v) {
+    if (typeof v === "string")
+        return v;
+    if (typeof v === "boolean")
+        return v ? "yes" : "no";
+    if (isObj(v)) {
+        if ("$value" in v)
+            return plain(v.$value);
+        if ("$link" in v)
+            return `&${v.$link}`;
+        if ("$qty" in v)
+            return `${v.$qty}${v.unit}`;
+        if ("$money" in v)
+            return `${v.$money}${v.currency}`;
+        if ("$empty" in v)
+            return v.$empty === "unknown" ? "_" : "-";
+    }
+    return serialize(v);
+}
+/** Apply a record's pending instructions, in order; an archived record is skipped. */
+export function apply(store, id, dict) {
+    const r = store.records.get(id);
+    if (!r || r.status?.state === "archived")
+        return [];
+    const todo = pending(store, r);
+    const out = { ...r, values: { ...r.values }, sources: { ...(r.sources ?? {}) }, applied: { ...(r.applied ?? {}) } };
+    for (const i of todo) {
+        const via = `${i.issuer}#${i.n}`;
+        if (i.op === "+") {
+            if (out.values[i.key] === undefined)
+                setValue(out, i.key, { $empty: "unknown" }, { origin: "declared", via });
+        }
+        else {
+            const v = out.values[i.key];
+            const s = sourceFor(out, i.key);
+            dropValue(out, i.key);
+            if (i.to && v !== undefined) {
+                const f = dict.facets.get(i.to);
+                if (!i.map.length)
+                    setValue(out, i.to, v, s);
+                else {
+                    const hit = i.map.find(([theirs]) => theirs === plain(v));
+                    if (!hit) {
+                        store.review.push({ record: id, address: i.key, instruction: `${via} -${i.key} -> ${i.to}`, value: v, reason: "no value map for this value", held: true });
+                        out.held = { ...(out.held ?? {}), [i.key]: { value: v, instruction: via } };
+                    }
+                    else if (hit[1] === "-")
+                        setValue(out, i.to, { $empty: "n/a" }, s);
+                    else
+                        setValue(out, i.to, (f ? readUnder(f, hit[1], dict) : undefined) ?? hit[1], s);
+                }
+            }
+        }
+        out.applied[i.issuer] = i.n;
+    }
+    if (!Object.keys(out.sources ?? {}).length)
+        delete out.sources;
+    if (!Object.keys(out.applied ?? {}).length)
+        delete out.applied;
+    store.records.set(id, out);
+    return todo;
+}
+//# sourceMappingURL=lifecycle.js.map

package/dist/src/lifecycle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lifecycle.js","sourceRoot":"","sources":["../../src/lifecycle.ts"],"names":[],"mappings":"AAAA,uGAAuG;AACvG,2GAA2G;AAC3G,6GAA6G;AAC7G,mGAAmG;AACnG,uFAAuF;AAEvF,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAG3C,OAAO,EAAE,aAAa,EAAkB,MAAM,cAAc,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAClC,OAAO,EAAE,WAAW,EAAa,QAAQ,EAAE,MAAM,WAAW,CAAC;AAE7D,MAAM,KAAK,GAAG,CAAC,CAAmB,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAajH,MAAM,UAAU,UAAU;IACxB,OAAO,EAAE,OAAO,EAAE,IAAI,aAAa,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,YAAY,EAAE,IAAI,GAAG,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;AACpG,CAAC;AAED,4GAA4G;AAC5G,MAAM,UAAU,SAAS,CAAC,OAAkB,EAAE,CAAS;IACrD,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAChD,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;AAChE,CAAC;AAED,SAAS,UAAU,CAAC,IAAgB,EAAE,IAAY,EAAE,OAAO,IAAI,GAAG,EAAU;IAC1E,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC9B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACf,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IAClB,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;AAC3E,CAAC;AAED,mHAAmH;AACnH,MAAM,UAAU,SAAS,CAAC,IAAgB,EAAE,OAAkB,EAAE,CAAS;IACvE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACnD,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QAAE,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;YAAE,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK;gBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC5I,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,SAAS,CAAC,CAAS,EAAE,GAAW;IACvC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,QAAQ,CAAC,CAAQ,EAAE,GAAW,EAAE,CAAO,EAAE,CAAqB;IACrE,CAAC,CAAC,MAAM,GAAG,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;IACrC,IAAI,CAAC;QAAE,CAAC,CAAC,OAAO,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;AACxD,CAAC;AAED,SAAS,SAAS,CAAC,CAAQ,EAAE,GAAW;IACtC,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC;IAClB,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC;QAC5C,CAAC,CAAC,OAAO,GAAG,OAAO,CAAC;IACtB,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,CAAQ,EAAE,GAAW,EAAE,CAAO,EAAE,CAAqB;IACpE,MAAM,GAAG,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,CAAC;IACzC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,IAAI,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,EAAE,CAAC,CAAC;IACnG,CAAC,CAAC,WAAW,GAAG,GAAG,CAAC;AACtB,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,CAAmB,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,QAAQ,IAAI,CAAC,CAAC,CAAC;AAEtF;;;;;GAKG;AACH,MAAM,UAAU,MAAM,CAAC,KAAc,EAAE,OAAe,EAAE,IAAgB,EAAE,YAAY,GAAG,IAAI;IAC3F,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAsB,CAAC;IAC9D,MAAM,KAAK,GAAG,KAAK,EAAE,EAAE,CAAC,CAAC,CAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAuB,CAAC,CAAC,CAAC,SAAS,CAAC;IACzF,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK;QAAE,OAAO;IAC7B,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACpD,IAAI,EAAE,GAAU,EAAE,GAAG,KAAK,EAAE,CAAC;IAC7B,MAAM,GAAG,GAAU,EAAE,GAAG,KAAK,EAAE,CAAC;IAChC,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACjD,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QACpD,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC7B,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,KAAa,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/D,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACpB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACvB,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YACjB,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACxB,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACpB,SAAS;QACX,CAAC;QACD,EAAE,GAAG,IAAI,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAU,CAAC;QACjK,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACtB,CAAC;IACD,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC7B,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,MAAM,CAAC,KAAY,EAAE,OAAe,EAAE,OAAe,EAAE,IAAgB,EAAE,YAAY,GAAG,IAAI;IAC1G,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACzC,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,aAAa,OAAO,EAAE,CAAC,CAAC;IACpD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,aAAa,OAAO,EAAE,CAAC,CAAC;IACzE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,GAAG,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IACtD,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC;AAC7C,CAAC;AAED,iFAAiF;AACjF,SAAS,QAAQ,CAAC,KAAc,EAAE,CAAQ,EAAE,IAAgB;IAC1D,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtD,IAAI,CAAC,EAAE;QAAE,OAAO,CAAC,CAAC;IAClB,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAChD,MAAM,GAAG,GAAU,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;IACxF,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;QACpE,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS;YAAE,SAAS;QAC9D,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,WAAW,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;QACtC,IAAI,CAAC;YAAG,GAAG,CAAC,OAAmC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM;QAAE,OAAO,GAAG,CAAC,OAAO,CAAC;IAC/D,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,CAAS,EAAE,GAAW;IACzD,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC1D,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtD,OAAO,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACtD,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,MAAM,CAAC,KAAY,EAAE,OAAe,EAAE,IAAgB;IACpE,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAsB,CAAC;IAC1D,IAAI,CAAC,CAAC,EAAE,EAAE;QAAE,OAAO;IACnB,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACxC,OAAO,MAAM,CAAC,EAAE,CAAC;IACjB,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,EAAU,EAAE,KAAsB;IACpE,OAAO,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AAC7C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,KAAK,CAAC,KAAY,EAAE,EAAU,EAAE,OAAe,EAAE,QAA0E,EAAE;IAC3I,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChC,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,WAAW,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,SAAS;QAAE,MAAM,IAAI,WAAW,CAAC,GAAG,EAAE,oBAAoB,OAAO,WAAW,CAAC,CAAC;IACxG,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,KAAK,OAAO,CAAC,CAAC;IAC5D,IAAI,IAAI,EAAE,QAAQ,KAAK,MAAM;QAAE,MAAM,IAAI,WAAW,CAAC,GAAG,OAAO,mBAAmB,IAAI,CAAC,IAAI,oCAAoC,CAAC,CAAC;IACjI,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,EAAE,EAAE,CAAW,CAAC;IACpG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IACzG,OAAO,IAAI,EAAE,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AACnE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,KAAK,CAAC,KAAY,EAAE,MAAc,EAAE,IAAY,EAAE,IAAuE,EAAE,SAAiB,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE;IAC9L,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,WAAW,CAAC,aAAa,MAAM,EAAE,CAAC,CAAC;IAC1D,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,WAAW,CAAC,GAAG,IAAI,SAAS,CAAC,CAAC;IACrE,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,MAAM,OAAO,GAA4B,EAAE,CAAC;IAC5C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACd,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC;QACzD,OAAO,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAS,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC;IAC1I,CAAC;IACD,MAAM,IAAI,GAAW,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IAChH,IAAI,MAAM,CAAC,EAAE;QAAE,IAAI,CAAC,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC;IACnC,IAAI,MAAM,CAAC,MAAM;QAAE,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/C,IAAI,MAAM,CAAC,KAAK;QAAE,IAAI,CAAC,KAAK,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IACjD,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC9B,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,WAAW,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;QACjD,IAAI,CAAC,CAAC,EAAE,KAAK,MAAM;YAAE,MAAM,IAAI,WAAW,CAAC,GAAG,EAAE,aAAa,MAAM,EAAE,CAAC,CAAC;QACvE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5C,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,MAAM;YAAE,MAAM,IAAI,WAAW,CAAC,GAAG,GAAG,mBAAmB,MAAM,EAAE,CAAC,CAAC;QACjG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,QAAQ,CAAC,KAAY,EAAE,EAAU,EAAE,OAAe;IAChE,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChC,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,WAAW,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;IACjD,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC;IAC/B,IAAI,CAAC,CAAC,EAAE,OAAO;QAAE,MAAM,IAAI,WAAW,CAAC,GAAG,EAAE,mBAAmB,OAAO,EAAE,CAAC,CAAC;IAC1E,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;IACnC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,IAAc,EAAE,EAAE,CAAC,CAAC;AAChG,CAAC;AAED,gIAAgI;AAChI,MAAM,UAAU,KAAK,CAAC,KAAY,EAAE,MAAc,EAAE,KAAa,EAAE,KAAa;IAC9E,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,WAAW,CAAC,aAAa,MAAM,EAAE,CAAC,CAAC;IACrD,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,WAAW,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;IACvE,MAAM,OAAO,GAA4B,EAAE,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,EAAE,EAAE,CAAW,CAAC;QAC5F,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC;IACrF,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,GAAG,MAAM,EAAE,CAAC;IAClE,MAAM,IAAI,GAAW,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,mBAAmB,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,mBAAmB,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAC3N,IAAI,CAAC,CAAC,KAAK;QAAE,IAAI,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,CAAC,CAAC,KAAK;QAAE,IAAI,CAAC,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACnD,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC/B,OAAO,IAAI,CAAC;AACd,CAAC;AAMD,MAAM,UAAU,OAAO,CAAC,KAAc,EAAE,EAAU,EAAE,MAAc,EAAE,IAAgB,EAAE,IAAa;IACjG,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAsB,CAAC;IACrD,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAU,EAAE,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;IACpD,IAAI,CAAC,MAAM,GAAG,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IACvE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC;IACvD,MAAM,KAAK,GAAwB,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7J,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;YAAE,IAAI,CAAC,CAAC,CAAC,MAAM;gBAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,iBAAiB,EAAE,IAAI,CAAC,CAAC;AAChI,CAAC;AAED,0GAA0G;AAC1G,MAAM,UAAU,SAAS,CAAC,KAAc,EAAE,EAAU,EAAE,IAAgB;IACpE,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAsB,CAAC;IACrD,IAAI,CAAC,CAAC,EAAE,MAAM;QAAE,OAAO;IACvB,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;IAClC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,IAAa,CAAC,CAAC;IACrC,IAAI,IAAI,CAAC,EAAE;QAAE,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3C,KAAK,MAAM,KAAK,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAU;QAAE,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC;YAAE,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,KAAK,iBAAiB;gBAAE,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;AACxK,CAAC;AAED,+GAA+G;AAC/G,MAAM,UAAU,KAAK,CAAC,KAAY,EAAE,OAAe,EAAE,UAAkB,EAAE,IAAgB;IACvF,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAsB,CAAC;IAC9D,IAAI,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAsB,CAAC;IAClE,IAAI,CAAC,KAAK,IAAI,CAAC,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,OAAO,QAAQ,UAAU,EAAE,CAAC,CAAC;IAC1F,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QACpD,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC;QACnE,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,OAAe,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;QACpH,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAU,CAAC;IAChI,CAAC;IACD,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC;QAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;IACpG,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC;QAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;IAC5G,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,KAAK,CAAC,QAAQ;QAAE,IAAI,CAAC,KAAK,OAAO;YAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;IAC1F,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;AAC9G,CAAC;AAED,gFAAgF;AAEhF,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAEpG,qGAAqG;AACrG,MAAM,UAAU,gBAAgB,CAAC,MAAc,EAAE,KAAa,EAAE,IAAI,GAAG,CAAC;IACtE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACxB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACnD,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;QAChE,IAAI,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,IAAI,EAAE,CAAC,CAAC;QACnF,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAClC,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACrD,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1D,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAoB,EAAE;YACjD,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACjC,IAAI,CAAC,GAAG,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACzE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC;QACH,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;IAC1E,CAAC,CAAC,CAAC;AACL,CAAC;AAED,4CAA4C;AAC5C,MAAM,UAAU,qBAAqB,CAAC,MAAc;IAClD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACjC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,GAAG,KAAK,cAAc;YAAE,SAAS;QAC5D,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAC9B,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACvH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,wGAAwG;AACxG,MAAM,UAAU,KAAK,CAAC,KAAY,EAAE,MAAc,EAAE,KAAa;IAC/D,MAAM,IAAI,GAAG,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAClD,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3D,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC;IACpD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,KAAY,EAAE,CAAS;IAChD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,CAAC,CAAC,EAAE;QAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzB,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC;QAC/C,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;QAC1C,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC7C,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;QAC3C,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAW,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;AACtD,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,OAAO,CAAC,KAAY,EAAE,CAAS;IAC7C,OAAO,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1I,CAAC;AAED,SAAS,KAAK,CAAC,CAAO;IACpB,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IACpD,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACb,IAAI,QAAQ,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,CAAC,MAAc,CAAC,CAAC;QAClD,IAAI,OAAO,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QACvC,IAAI,MAAM,IAAI,CAAC;YAAE,OAAO,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7C,IAAI,QAAQ,IAAI,CAAC;YAAE,OAAO,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;QACrD,IAAI,QAAQ,IAAI,CAAC;YAAE,OAAO,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IAC/D,CAAC;IACD,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC;AACtB,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,KAAK,CAAC,KAAY,EAAE,EAAU,EAAE,IAAgB;IAC9D,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAsB,CAAC;IACrD,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,KAAK,UAAU;QAAE,OAAO,EAAE,CAAC;IACpD,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAU,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;IAC3H,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACjC,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;YACjB,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,SAAS;gBAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC;QAChH,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAC5B,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;YAChC,SAAS,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;YACtB,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBAC5B,MAAM,CAAC,GAAsB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACnD,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM;oBAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;qBACxC,CAAC;oBACJ,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC1D,IAAI,CAAC,GAAG,EAAE,CAAC;wBACT,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,GAAG,KAAK,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,6BAA6B,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;wBAC3J,GAAG,CAAC,IAAI,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,CAAC;oBAC9E,CAAC;yBAAM,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG;wBAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;;wBAChE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACtF,CAAC;YACH,CAAC;QACH,CAAC;QACA,GAAG,CAAC,OAAmC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM;QAAE,OAAO,GAAG,CAAC,OAAO,CAAC;IAC/D,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM;QAAE,OAAO,GAAG,CAAC,OAAO,CAAC;IAC/D,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/src/log.d.ts

@@ -0,0 +1,78 @@
+import type { Edge } from "./access.ts";
+import type { Json, JsonObject, Record } from "./model.ts";
+import { type RecordSet } from "./records.ts";
+export type Entry = JsonObject;
+/** Everything a store holds that the log carries. */
+export type State = {
+    records: RecordSet;
+    /** Every edge written, by id; the store's commit checks each (14.5, 14.12) before it lands here. */
+    edges: Map<string, Edge>;
+    /** `contract|ref` → record */
+    bindings: Map<string, string>;
+    /** issuer → its instructions, in order */
+    instructions: Map<string, JsonObject[]>;
+    observations: JsonObject[];
+    reviews: JsonObject[];
+    runs: Map<string, JsonObject>;
+    installed: JsonObject[];
+    reads: JsonObject[];
+    /** The owner's working package (11.4): `<member>:<name>` → the definition as it now stands. */
+    definitions: Map<string, JsonObject>;
+};
+export declare function emptyState(): State;
+/** Apply one entry's effects to the state. */
+export declare function applyEntry(state: State, entry: Entry): void;
+/** Rebuild a store's state from its log alone (8.5.3). */
+export declare function rebuild(entries: Entry[]): State;
+/** The state as JSON, for comparing and for a dump. */
+export declare function stateJson(state: State): JsonObject;
+/** What an operation works on: a scratch copy of the state. Nothing in it is the truth until it is logged. */
+export type Draft = {
+    records: RecordSet;
+    bindings: Map<string, string>;
+    instructions: Map<string, JsonObject[]>;
+    edges: Map<string, Edge>;
+    review: JsonObject[];
+};
+/** One write of an entry (8.5): a value at an address, an envelope field, a held value, an edge, a define, a review. */
+export type Write = JsonObject & {
+    record?: string;
+    address?: string;
+    value?: Json;
+    removed?: true;
+    envelope?: string;
+    as?: "held";
+    source?: JsonObject;
+    edge?: Edge;
+};
+/** The writes that take `before` to `after`: exactly the effects, nothing computed (8.5). */
+export declare function diffWrites(before: State, after: Draft): JsonObject[];
+/** Where a draft and a state disagree, or null. */
+export declare function differs(state: State, draft: Draft): string | null;
+/**
+ * The journal (8.5): operations work on a draft, every change becomes an entry, and the state is only ever
+ * what applying the entries gives. A commit whose entries don't describe the whole change is refused, so
+ * the log can never fall behind the state.
+ */
+export declare class Journal {
+    readonly state: State;
+    readonly entries: Entry[];
+    readonly draft: Draft;
+    readonly owner: string;
+    private n;
+    constructor(owner: string, records?: Record[], at?: string);
+    /**
+     * Run an operation on the draft, log what it changed, and apply the entry to the state. `extra` carries
+     * writes the diff can't see (a run's state, a read under an emergency edge, a define).
+     */
+    commit(by: JsonObject, mutate: (draft: Draft) => void, at?: string, extra?: JsonObject[]): Entry | null;
+}
+/**
+ * Can this whole entry be redacted (8.5.2)? Only when it holds nothing but value, observation and read
+ * writes and isn't witnessed; otherwise it is redacted write by write. Returns the reason it can't, or null.
+ */
+export declare function redactable(entry: Entry): string | null;
+/** Can this write be redacted (8.5.2)? Null when it can, else why not. */
+export declare function redactableWrite(entry: Entry, w: JsonObject): string | null;
+/** Redact one write of an entry (8.5.2): it becomes its own hash, and the entry's hash stays where it was. */
+export declare function redactWrite(entry: Entry, index: number): Entry;