@graview/core 0.1.0 → 0.1.2

package/dist/document/views.js

@@ -0,0 +1,264 @@
+import { analyzeExpr } from "./expr/analyze.js";
+import { ExprSyntaxError, parseExpr } from "./expr/parse.js";
+import { error } from "./findings.js";
+import { parseTemplate, TemplateError } from "./template.js";
+/*
+ * VIEW SPECS — Tier 1 custom UI, as data (ADR 0004, docs/declaration-document.md).
+ *
+ *   "views": { "vendor": { "card": [ { "title": "{name}" }, { "badge": "{status}", "tone": … } ] } }
+ *
+ * A view spec is a short list of BLOCKS from a closed set, bound to the
+ * record by the same templates and rule-language expressions the rest of the
+ * document uses. There is no CSS, no HTML and no URL a block can carry: the
+ * only link a view ever draws is a `url` FIELD's own value, and only when it
+ * is http(s). The renderer (packages/client/src/views.tsx) styles blocks
+ * with the theme's tokens and a fixed set of classes.
+ *
+ * Checked here into findings with JSON paths, so a model that writes
+ * `{"badge": "{status}", "tone": "green"}` is told which tone set it meant.
+ *
+ * The document's view vocabulary is checked here; drawing it is FR-03's.
+ */
+export const VIEW_SLOTS = ["card", "row", "page"];
+export const VIEW_TONES = ["good", "warn", "bad", "neutral", "accent"];
+export const VIEW_FIELD_FORMATS = ["money", "percent", "date", "relative", "count"];
+/** Groups and conditions nest; four deep is more than any card needs. */
+export const MAX_VIEW_DEPTH = 4;
+/** Blocks in one view, counting nested ones. */
+export const MAX_VIEW_BLOCKS = 40;
+/** What each block may say besides the key that names it. */
+const BLOCK_KEYS = {
+    title: [],
+    text: ["tone"],
+    badge: ["tone"],
+    field: ["as", "label"],
+    progress: ["label"],
+    group: ["direction"],
+    when: ["show"],
+    divider: [],
+    figure: [],
+};
+const BLOCK_TYPES = Object.keys(BLOCK_KEYS);
+const SHAPES = '{"title": "{name}"}, {"text": "…", "tone"?}, {"badge": "{status}", "tone"?}, {"field": "quote", "as"?, "label"?}, {"progress": {"value": expr, "max": expr}, "label"?}, {"group": [blocks], "direction"?: "row"|"column"}, {"when": expr, "show": [blocks]}, {"divider": true}, {"figure": true}';
+/** The view specs of a document that has been read; empty when it has none. */
+export function viewsOf(document) {
+    return (document.views ?? {});
+}
+const isObject = (v) => typeof v === "object" && v !== null && !Array.isArray(v);
+function names(expr, path, scope) {
+    const shape = analyzeExpr(expr);
+    for (const fn of shape.unknownFunctions)
+        scope.findings.push(error("unknown-function", path, `"${fn}" is not a function the rule language knows`, "see docs/declaration-document.md#expression-language"));
+    for (const n of shape.names) {
+        if (n === "id" || scope.spec.field(n) || scope.spec.relation(n))
+            continue;
+        scope.findings.push(error("view-name", path, `${scope.kind} has no field or relation called "${n}"`));
+    }
+    for (const e of shape.edges)
+        if (!scope.edges.has(e))
+            scope.findings.push(error("view-edge", path, `"${e}" is not a relation any kind declares`));
+    for (const k of shape.sweeps)
+        if (!scope.kinds.has(k))
+            scope.findings.push(error("view-kind", path, `"${k}" is not a kind this document declares`));
+}
+function expression(source, path, scope) {
+    if (typeof source !== "string" || source.length === 0 || source.length > 2000) {
+        scope.findings.push(error("view-expression", path, "an expression is a line of the rule language, like \"status == 'booked'\""));
+        return;
+    }
+    try {
+        names(parseExpr(source), path, scope);
+    }
+    catch (e) {
+        if (!(e instanceof ExprSyntaxError))
+            throw e;
+        scope.findings.push(error("expression", path, `${e.sentence} (at character ${e.at + 1})`));
+    }
+}
+function template(source, path, scope) {
+    if (typeof source !== "string" || source.length === 0 || source.length > 300) {
+        scope.findings.push(error("view-template", path, 'a template is words with {field} in braces, like "{name}" or "{quote|money}", at most 300 characters'));
+        return;
+    }
+    let parts;
+    try {
+        parts = parseTemplate(source);
+    }
+    catch (e) {
+        if (e instanceof TemplateError || e instanceof ExprSyntaxError) {
+            scope.findings.push(error("template", path, e.sentence));
+            return;
+        }
+        throw e;
+    }
+    for (const part of parts)
+        if (part.expr)
+            names(part.expr, path, scope);
+}
+function tone(value, path, scope) {
+    if (typeof value === "string") {
+        if (!VIEW_TONES.includes(value))
+            scope.findings.push(error("view-tone", path, `"${value}" is not a tone`, `use one of ${VIEW_TONES.join(", ")}, or {"expr": "if(status == 'booked', 'good', 'neutral')"}`));
+        return;
+    }
+    if (isObject(value) && Object.keys(value).length === 1 && "expr" in value) {
+        expression(value["expr"], `${path}.expr`, scope);
+        return;
+    }
+    scope.findings.push(error("view-tone", path, "a tone is a word or {\"expr\": …}", `one of ${VIEW_TONES.join(", ")}`));
+}
+function blocks(list, path, depth, scope) {
+    if (!Array.isArray(list)) {
+        scope.findings.push(error("view-shape", path, "a view is a list of blocks"));
+        return;
+    }
+    if (depth > MAX_VIEW_DEPTH) {
+        scope.findings.push(error("view-depth", path, `blocks nest at most ${MAX_VIEW_DEPTH} deep`, "flatten a group or a condition"));
+        return;
+    }
+    list.forEach((block, i) => oneBlock(block, `${path}.${i}`, depth, scope));
+}
+function oneBlock(raw, path, depth, scope) {
+    scope.count++;
+    if (!isObject(raw)) {
+        scope.findings.push(error("view-block", path, "a block is an object naming what it shows", `one of ${SHAPES}`));
+        return;
+    }
+    const keys = Object.keys(raw);
+    const types = keys.filter((k) => BLOCK_TYPES.includes(k));
+    if (types.length === 0) {
+        scope.findings.push(error("view-block", path, `${keys.length > 0 ? keys.map((k) => `"${k}"`).join(", ") : "an empty object"} is not a block Graview knows`, `one of ${SHAPES}`));
+        return;
+    }
+    if (types.length > 1) {
+        scope.findings.push(error("view-block", path, `a block is one thing, and this says ${types.map((k) => `"${k}"`).join(" and ")}`, "split it into two blocks"));
+        return;
+    }
+    const type = types[0];
+    for (const k of keys)
+        if (k !== type && !BLOCK_KEYS[type].includes(k))
+            scope.findings.push(error("unknown-key", `${path}.${k}`, `"${k}" is not part of a ${type} block`, BLOCK_KEYS[type].length > 0 ? `a ${type} block may also say ${BLOCK_KEYS[type].map((x) => `"${x}"`).join(", ")}` : `a ${type} block says nothing else`));
+    const value = raw[type];
+    switch (type) {
+        case "title":
+        case "text":
+        case "badge":
+            template(value, `${path}.${type}`, scope);
+            if ("tone" in raw)
+                tone(raw["tone"], `${path}.tone`, scope);
+            return;
+        case "field": {
+            if (typeof value !== "string" || !scope.spec.field(value)) {
+                const edge = typeof value === "string" && scope.spec.relation(value);
+                scope.findings.push(error("view-field", `${path}.field`, `${scope.kind} has no field ${typeof value === "string" ? `"${value}"` : "by that name"}`, edge ? `"${value}" is a relation; show it with {"text": "{${value}.name}"}` : undefined));
+            }
+            if ("as" in raw && !VIEW_FIELD_FORMATS.includes(raw["as"]))
+                scope.findings.push(error("view-format", `${path}.as`, `"${String(raw["as"])}" is not a way to show a field`, `use one of ${VIEW_FIELD_FORMATS.join(", ")}`));
+            if ("label" in raw)
+                label(raw["label"], `${path}.label`, scope);
+            return;
+        }
+        case "progress": {
+            if (!isObject(value) || Object.keys(value).some((k) => k !== "value" && k !== "max") || !("value" in value) || !("max" in value)) {
+                scope.findings.push(error("view-progress", `${path}.progress`, 'progress is {"value": expression, "max": expression}'));
+            }
+            else {
+                expression(value["value"], `${path}.progress.value`, scope);
+                expression(value["max"], `${path}.progress.max`, scope);
+            }
+            if ("label" in raw)
+                label(raw["label"], `${path}.label`, scope);
+            return;
+        }
+        case "group":
+            if ("direction" in raw && raw["direction"] !== "row" && raw["direction"] !== "column")
+                scope.findings.push(error("view-direction", `${path}.direction`, `a group runs "row" or "column", not "${String(raw["direction"])}"`));
+            blocks(value, `${path}.group`, depth + 1, scope);
+            return;
+        case "when":
+            expression(value, `${path}.when`, scope);
+            if (!("show" in raw))
+                scope.findings.push(error("view-when", path, 'a condition says what it shows: {"when": expr, "show": [blocks]}'));
+            else
+                blocks(raw["show"], `${path}.show`, depth + 1, scope);
+            return;
+        case "divider":
+        case "figure":
+            if (value !== true)
+                scope.findings.push(error("view-block", `${path}.${type}`, `write {"${type}": true}`));
+            if (type === "figure" && !scope.spec.figure)
+                scope.findings.push(error("view-figure", `${path}.figure`, `${scope.kind} has no figure to show`, 'give the kind a "figure", or leave this block out'));
+            return;
+    }
+}
+function label(value, path, scope) {
+    if (typeof value !== "string" || value.length === 0 || value.length > 60)
+        scope.findings.push(error("view-label", path, "a label is a few words, at most 60 characters"));
+}
+/** Every kind's specs, checked against what each kind holds, at `<at>.<kind>.<slot>`. */
+function validateAll(specsByKind, at, namesOf, kinds, edges, declares) {
+    const findings = [];
+    if (!isObject(specsByKind)) {
+        findings.push(error("view-shape", at, 'views are an object of kinds, each with a "card", a "row" or a "page"'));
+        return findings;
+    }
+    for (const [kind, specs] of Object.entries(specsByKind)) {
+        const spec = namesOf(kind);
+        if (!spec) {
+            findings.push(error("view-kind", `${at}.${kind}`, `"${kind}" is not a kind this ${declares} declares`));
+            continue;
+        }
+        if (!isObject(specs)) {
+            findings.push(error("view-shape", `${at}.${kind}`, 'a kind\'s views are {"card": [blocks], "row": [blocks], "page": [blocks]}'));
+            continue;
+        }
+        for (const key of Object.keys(specs)) {
+            if (!VIEW_SLOTS.includes(key))
+                findings.push(error("view-slot", `${at}.${kind}.${key}`, `"${key}" is not a place a view is drawn`, `use ${VIEW_SLOTS.map((slot) => `"${slot}"`).join(", ")}`));
+        }
+        for (const slot of VIEW_SLOTS) {
+            const list = specs[slot];
+            if (list === undefined)
+                continue;
+            const scope = { kind, spec, kinds, edges, findings, count: 0 };
+            blocks(list, `${at}.${kind}.${slot}`, 1, scope);
+            if (scope.count > MAX_VIEW_BLOCKS)
+                findings.push(error("view-size", `${at}.${kind}.${slot}`, `this ${slot} has ${scope.count} blocks; a view has at most ${MAX_VIEW_BLOCKS}`, "show less, or move detail to the page"));
+        }
+    }
+    return findings;
+}
+/** Findings about a document's `views`, each at its JSON path. */
+export function validateViews(document) {
+    const kinds = new Set(Object.keys(document.kinds));
+    const edges = new Set(Object.values(document.kinds).flatMap((k) => Object.keys(k.edges ?? {})));
+    return validateAll(viewsOf(document), "views", (kind) => {
+        const spec = document.kinds[kind];
+        return spec ? { field: (n) => spec.fields[n] !== undefined, relation: (n) => spec.edges?.[n] !== undefined, figure: spec.figure !== undefined } : undefined;
+    }, kinds, edges, "document");
+}
+/**
+ * Findings about a declaration's view specs (FR-03), each at
+ * `viewSpecs.<kind>.<slot>.<block>`: the vocabulary a document's `views`
+ * is held to, read against the declared schema — its fields, its relations,
+ * and its figures (the kind's own, or the brand's).
+ */
+export function validateViewSpecs(schema, specs, options = {}) {
+    const declared = schema.kinds;
+    const kinds = new Set(declared);
+    const definitionOf = (kind) => schema.tryDefinition(kind);
+    const edges = new Set(declared.flatMap((kind) => Object.keys(definitionOf(kind)?.edges ?? {})));
+    return validateAll(specs, options.at ?? "viewSpecs", (kind) => {
+        if (!kinds.has(kind))
+            return undefined;
+        const definition = definitionOf(kind);
+        const fields = definition?.fields?.shape ?? {};
+        const relations = definition?.edges ?? {};
+        return {
+            field: (n) => n !== "id" && n !== "kind" && Object.prototype.hasOwnProperty.call(fields, n),
+            relation: (n) => Object.prototype.hasOwnProperty.call(relations, n),
+            figure: definition?.figure !== undefined || options.figures?.[kind] !== undefined,
+        };
+    }, kinds, edges, "app");
+}
+//# sourceMappingURL=views.js.map

package/dist/document/views.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"views.js","sourceRoot":"","sources":["../../src/document/views.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,SAAS,EAAa,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,KAAK,EAAgB,MAAM,eAAe,CAAC;AAGpD,OAAO,EAAE,aAAa,EAAE,aAAa,EAAqB,MAAM,eAAe,CAAC;AAEhF;;;;;;;;;;;;;;;;GAgBG;AAEH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAU,CAAC;AAE3D,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,CAAU,CAAC;AAEhF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,CAAU,CAAC;AAE7F,yEAAyE;AACzE,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC;AAChC,gDAAgD;AAChD,MAAM,CAAC,MAAM,eAAe,GAAG,EAAE,CAAC;AAoBlC,6DAA6D;AAC7D,MAAM,UAAU,GAAgD;IAC9D,KAAK,EAAE,EAAE;IACT,IAAI,EAAE,CAAC,MAAM,CAAC;IACd,KAAK,EAAE,CAAC,MAAM,CAAC;IACf,KAAK,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC;IACtB,QAAQ,EAAE,CAAC,OAAO,CAAC;IACnB,KAAK,EAAE,CAAC,WAAW,CAAC;IACpB,IAAI,EAAE,CAAC,MAAM,CAAC;IACd,OAAO,EAAE,EAAE;IACX,MAAM,EAAE,EAAE;CACX,CAAC;AACF,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;AAC5C,MAAM,MAAM,GACV,kSAAkS,CAAC;AAErS,+EAA+E;AAC/E,MAAM,UAAU,OAAO,CAAC,QAAyB;IAC/C,OAAO,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAwC,CAAC;AACvE,CAAC;AAsBD,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAgC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAExH,SAAS,KAAK,CAAC,IAAU,EAAE,IAAY,EAAE,KAAY;IACnD,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAChC,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,gBAAgB;QAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,IAAI,EAAE,IAAI,EAAE,6CAA6C,EAAE,sDAAsD,CAAC,CAAC,CAAC;IAC3M,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC5B,IAAI,CAAC,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,SAAS;QAC1E,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,qCAAqC,CAAC,GAAG,CAAC,CAAC,CAAC;IACxG,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK;QAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,uCAAuC,CAAC,CAAC,CAAC;IAClJ,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM;QAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,wCAAwC,CAAC,CAAC,CAAC;AACtJ,CAAC;AAED,SAAS,UAAU,CAAC,MAAe,EAAE,IAAY,EAAE,KAAY;IAC7D,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,IAAI,EAAE,CAAC;QAC9E,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,IAAI,EAAE,2EAA2E,CAAC,CAAC,CAAC;QACjI,OAAO;IACT,CAAC;IACD,IAAI,CAAC;QACH,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,CAAC,CAAC,YAAY,eAAe,CAAC;YAAE,MAAM,CAAC,CAAC;QAC7C,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,QAAQ,kBAAkB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7F,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,MAAe,EAAE,IAAY,EAAE,KAAY;IAC3D,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;QAC7E,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,IAAI,EAAE,sGAAsG,CAAC,CAAC,CAAC;QAC1J,OAAO;IACT,CAAC;IACD,IAAI,KAA8B,CAAC;IACnC,IAAI,CAAC;QACH,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,aAAa,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YAC/D,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YACzD,OAAO;QACT,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,IAAI,IAAI,CAAC,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,IAAI,CAAC,KAAc,EAAE,IAAY,EAAE,KAAY;IACtD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAE,UAAgC,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,EAAE,IAAI,KAAK,iBAAiB,EAAE,cAAc,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC,CAAC;QACnO,OAAO;IACT,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;QAC1E,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,OAAO,EAAE,KAAK,CAAC,CAAC;QACjD,OAAO;IACT,CAAC;IACD,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,EAAE,mCAAmC,EAAE,UAAU,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;AACxH,CAAC;AAED,SAAS,MAAM,CAAC,IAAa,EAAE,IAAY,EAAE,KAAa,EAAE,KAAY;IACtE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,IAAI,EAAE,4BAA4B,CAAC,CAAC,CAAC;QAC7E,OAAO;IACT,CAAC;IACD,IAAI,KAAK,GAAG,cAAc,EAAE,CAAC;QAC3B,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,IAAI,EAAE,uBAAuB,cAAc,OAAO,EAAE,gCAAgC,CAAC,CAAC,CAAC;QAC/H,OAAO;IACT,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,QAAQ,CAAC,GAAY,EAAE,IAAY,EAAE,KAAa,EAAE,KAAY;IACvE,KAAK,CAAC,KAAK,EAAE,CAAC;IACd,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACnB,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,IAAI,EAAE,2CAA2C,EAAE,UAAU,MAAM,EAAE,CAAC,CAAC,CAAC;QAChH,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,iBAAiB,+BAA+B,EAAE,UAAU,MAAM,EAAE,CAAC,CAAC,CAAC;QACjL,OAAO;IACT,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,IAAI,EAAE,uCAAuC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,0BAA0B,CAAC,CAAC,CAAC;QAC9J,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;IACvB,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,sBAAsB,IAAI,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,uBAAuB,UAAU,CAAC,IAAI,CAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,0BAA0B,CAAC,CAAC,CAAC;IACrU,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;IACxB,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,OAAO,CAAC;QACb,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO;YACV,QAAQ,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC;YAC1C,IAAI,MAAM,IAAI,GAAG;gBAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,OAAO,EAAE,KAAK,CAAC,CAAC;YAC5D,OAAO;QACT,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1D,MAAM,IAAI,GAAG,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACrE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,GAAG,IAAI,QAAQ,EAAE,GAAG,KAAK,CAAC,IAAI,iBAAiB,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,cAAc,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,4CAA4C,KAAK,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;YAChP,CAAC;YACD,IAAI,IAAI,IAAI,GAAG,IAAI,CAAE,kBAAyC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,GAAG,IAAI,KAAK,EAAE,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,gCAAgC,EAAE,cAAc,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YAClP,IAAI,OAAO,IAAI,GAAG;gBAAE,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,QAAQ,EAAE,KAAK,CAAC,CAAC;YAChE,OAAO;QACT,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,OAAO,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,EAAE,CAAC;gBACjI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,GAAG,IAAI,WAAW,EAAE,sDAAsD,CAAC,CAAC,CAAC;YAC1H,CAAC;iBAAM,CAAC;gBACN,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,iBAAiB,EAAE,KAAK,CAAC,CAAC;gBAC5D,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,eAAe,EAAE,KAAK,CAAC,CAAC;YAC1D,CAAC;YACD,IAAI,OAAO,IAAI,GAAG;gBAAE,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,QAAQ,EAAE,KAAK,CAAC,CAAC;YAChE,OAAO;QACT,CAAC;QACD,KAAK,OAAO;YACV,IAAI,WAAW,IAAI,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,KAAK,KAAK,IAAI,GAAG,CAAC,WAAW,CAAC,KAAK,QAAQ;gBAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,EAAE,GAAG,IAAI,YAAY,EAAE,wCAAwC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9N,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,QAAQ,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YACjD,OAAO;QACT,KAAK,MAAM;YACT,UAAU,CAAC,KAAK,EAAE,GAAG,IAAI,OAAO,EAAE,KAAK,CAAC,CAAC;YACzC,IAAI,CAAC,CAAC,MAAM,IAAI,GAAG,CAAC;gBAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,EAAE,kEAAkE,CAAC,CAAC,CAAC;;gBACnI,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,OAAO,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAC3D,OAAO;QACT,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ;YACX,IAAI,KAAK,KAAK,IAAI;gBAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,GAAG,IAAI,IAAI,IAAI,EAAE,EAAE,WAAW,IAAI,UAAU,CAAC,CAAC,CAAC;YAC3G,IAAI,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM;gBAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,GAAG,IAAI,SAAS,EAAE,GAAG,KAAK,CAAC,IAAI,wBAAwB,EAAE,mDAAmD,CAAC,CAAC,CAAC;YACrM,OAAO;IACX,CAAC;AACH,CAAC;AAED,SAAS,KAAK,CAAC,KAAc,EAAE,IAAY,EAAE,KAAY;IACvD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,EAAE;QAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,IAAI,EAAE,+CAA+C,CAAC,CAAC,CAAC;AAC5K,CAAC;AAED,yFAAyF;AACzF,SAAS,WAAW,CAClB,WAAoB,EACpB,EAAU,EACV,OAAgD,EAChD,KAA0B,EAC1B,KAA0B,EAC1B,QAAgB;IAEhB,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3B,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,EAAE,uEAAuE,CAAC,CAAC,CAAC;QAChH,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,EAAE,IAAI,IAAI,EAAE,EAAE,IAAI,IAAI,wBAAwB,QAAQ,WAAW,CAAC,CAAC,CAAC;YACxG,SAAS;QACX,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,GAAG,EAAE,IAAI,IAAI,EAAE,EAAE,2EAA2E,CAAC,CAAC,CAAC;YACjI,SAAS;QACX,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACrC,IAAI,CAAE,UAAgC,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,EAAE,IAAI,IAAI,IAAI,GAAG,EAAE,EAAE,IAAI,GAAG,kCAAkC,EAAE,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QACxN,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;YACzB,IAAI,IAAI,KAAK,SAAS;gBAAE,SAAS;YACjC,MAAM,KAAK,GAAU,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACtE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,IAAI,IAAI,IAAI,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;YAChD,IAAI,KAAK,CAAC,KAAK,GAAG,eAAe;gBAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,EAAE,IAAI,IAAI,IAAI,IAAI,EAAE,EAAE,QAAQ,IAAI,QAAQ,KAAK,CAAC,KAAK,+BAA+B,eAAe,EAAE,EAAE,uCAAuC,CAAC,CAAC,CAAC;QAC1N,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,aAAa,CAAC,QAAyB;IACrD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAChG,OAAO,WAAW,CAChB,OAAO,CAAC,QAAQ,CAAC,EACjB,OAAO,EACP,CAAC,IAAI,EAAE,EAAE;QACP,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAClC,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9J,CAAC,EACD,KAAK,EACL,KAAK,EACL,UAAU,CACX,CAAC;AACJ,CAAC;AAID;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAC/B,MAAiB,EACjB,KAAc,EACd,UAAyF,EAAE;IAE3F,MAAM,QAAQ,GAAG,MAAM,CAAC,KAA0B,CAAC;IACnD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;IAChC,MAAM,YAAY,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAA6B,CAAC;IAC9F,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAChG,OAAO,WAAW,CAChB,KAAK,EACL,OAAO,CAAC,EAAE,IAAI,WAAW,EACzB,CAAC,IAAI,EAAE,EAAE;QACP,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;QACvC,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,UAAU,EAAE,MAAM,EAAE,KAAK,IAAI,EAAE,CAAC;QAC/C,MAAM,SAAS,GAAG,UAAU,EAAE,KAAK,IAAI,EAAE,CAAC;QAC1C,OAAO;YACL,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YAC3F,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;YACnE,MAAM,EAAE,UAAU,EAAE,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,SAAS;SAClF,CAAC;IACJ,CAAC,EACD,KAAK,EACL,KAAK,EACL,KAAK,CACN,CAAC;AACJ,CAAC"}

package/dist/formats.d.ts

@@ -0,0 +1,50 @@
+import type { Operation } from "./ops/types.js";
+import type { GraphSnapshot } from "./graph/types.js";
+/**
+ * STORED FORMATS CARRY THEIR VERSION (FR-31).
+ *
+ * What a version writes, the version before it must read — or know not to.
+ * A snapshot and an op are stamped with the format they were written in;
+ * a reader meeting a NEWER format than it knows says so (`NewerFormatError`)
+ * rather than folding what it would misread, so a host refolds from the log
+ * or rolls forward. An older format is brought up by `upgradeSnapshot` and
+ * `upgradeOp`, one step per format change, each shipped with a test over
+ * the previous format's fixtures.
+ *
+ * Everything written before stamps existed is format 1: nothing has changed
+ * format yet. Ops and primitives are the stable contract — a format change
+ * within a major is additive and needs no step; a major brings its steps.
+ */
+export declare const FORMATS: {
+    readonly snapshot: 1;
+    readonly op: 1;
+};
+export type FormatName = keyof typeof FORMATS;
+/** What a stored thing says about who wrote it and in what shape. */
+export interface FormatStamp {
+    /** The framework version that wrote it (`FRAMEWORK_VERSION`). */
+    readonly framework: string;
+    readonly formats: {
+        readonly [K in FormatName]: number;
+    };
+}
+/** The stamp this build writes. */
+export declare function formatStamp(): FormatStamp;
+/** Something written in a format newer than this build reads. Fold the log, or upgrade the framework. */
+export declare class NewerFormatError extends Error {
+    readonly what: FormatName;
+    readonly found: number;
+    readonly supported: number;
+    readonly writtenBy?: string | undefined;
+    constructor(what: FormatName, found: number, supported: number, writtenBy?: string | undefined);
+}
+/** Throws `NewerFormatError` when a stamp says a format this build cannot read; absent formats are format 1. */
+export declare function assertReadable(stamp: {
+    readonly framework?: string;
+    readonly formats?: Partial<Record<FormatName, number>>;
+} | null | undefined): void;
+/** A snapshot written in format `from`, brought up to the format this build writes. */
+export declare function upgradeSnapshot(snapshot: GraphSnapshot, from: number): GraphSnapshot;
+/** An op written in format `from`, brought up to the format this build writes. */
+export declare function upgradeOp(op: Operation, from: number): Operation;
+//# sourceMappingURL=formats.d.ts.map

package/dist/formats.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"formats.d.ts","sourceRoot":"","sources":["../src/formats.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAGtD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,OAAO;;;CAAkC,CAAC;AACvD,MAAM,MAAM,UAAU,GAAG,MAAM,OAAO,OAAO,CAAC;AAE9C,qEAAqE;AACrE,MAAM,WAAW,WAAW;IAC1B,iEAAiE;IACjE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,EAAE,CAAC,IAAI,UAAU,GAAG,MAAM;KAAE,CAAC;CAC1D;AAED,mCAAmC;AACnC,wBAAgB,WAAW,IAAI,WAAW,CAEzC;AAED,yGAAyG;AACzG,qBAAa,gBAAiB,SAAQ,KAAK;IAEvC,QAAQ,CAAC,IAAI,EAAE,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM;IAC1B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM;gBAHlB,IAAI,EAAE,UAAU,EAChB,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,MAAM,EACjB,SAAS,CAAC,EAAE,MAAM,YAAA;CAQ9B;AAED,gHAAgH;AAChH,wBAAgB,cAAc,CAAC,KAAK,EAAE;IAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAA;CAAE,GAAG,IAAI,GAAG,SAAS,GAAG,IAAI,CAKtJ;AAuBD,uFAAuF;AACvF,wBAAgB,eAAe,CAAC,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,GAAG,aAAa,CAEpF;AAED,kFAAkF;AAClF,wBAAgB,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,CAEhE"}

package/dist/formats.js

@@ -0,0 +1,75 @@
+import { FRAMEWORK_VERSION } from "./version.js";
+/**
+ * STORED FORMATS CARRY THEIR VERSION (FR-31).
+ *
+ * What a version writes, the version before it must read — or know not to.
+ * A snapshot and an op are stamped with the format they were written in;
+ * a reader meeting a NEWER format than it knows says so (`NewerFormatError`)
+ * rather than folding what it would misread, so a host refolds from the log
+ * or rolls forward. An older format is brought up by `upgradeSnapshot` and
+ * `upgradeOp`, one step per format change, each shipped with a test over
+ * the previous format's fixtures.
+ *
+ * Everything written before stamps existed is format 1: nothing has changed
+ * format yet. Ops and primitives are the stable contract — a format change
+ * within a major is additive and needs no step; a major brings its steps.
+ */
+export const FORMATS = { snapshot: 1, op: 1 };
+/** The stamp this build writes. */
+export function formatStamp() {
+    return { framework: FRAMEWORK_VERSION, formats: { ...FORMATS } };
+}
+/** Something written in a format newer than this build reads. Fold the log, or upgrade the framework. */
+export class NewerFormatError extends Error {
+    what;
+    found;
+    supported;
+    writtenBy;
+    constructor(what, found, supported, writtenBy) {
+        super(`This ${what} is in a newer format (${found}${writtenBy ? `, written by @graview ${writtenBy}` : ""}) than @graview ${FRAMEWORK_VERSION} reads (${supported}). ` +
+            (what === "snapshot" ? "Refold it from the log, or upgrade the framework." : "Upgrade the framework to read it."));
+        this.what = what;
+        this.found = found;
+        this.supported = supported;
+        this.writtenBy = writtenBy;
+        this.name = "NewerFormatError";
+    }
+}
+/** Throws `NewerFormatError` when a stamp says a format this build cannot read; absent formats are format 1. */
+export function assertReadable(stamp) {
+    for (const what of Object.keys(FORMATS)) {
+        const found = stamp?.formats?.[what] ?? 1;
+        if (found > FORMATS[what])
+            throw new NewerFormatError(what, found, FORMATS[what], stamp?.framework);
+    }
+}
+/**
+ * One step per format change, keyed by the format it upgrades FROM. Empty
+ * while nothing has changed format; the next format change adds its step
+ * here, and a fixture of the format before it under tests/fixtures/formats.
+ */
+const SNAPSHOT_STEPS = {};
+const OP_STEPS = {};
+function upgrade(what, value, from, steps) {
+    if (!Number.isInteger(from) || from < 1)
+        throw new Error(`No ${what} format ${from}: formats start at 1.`);
+    if (from > FORMATS[what])
+        throw new NewerFormatError(what, from, FORMATS[what]);
+    let current = value;
+    for (let at = from; at < FORMATS[what]; at++) {
+        const step = steps[at];
+        if (!step)
+            throw new Error(`No step upgrades a ${what} from format ${at} to ${at + 1}.`);
+        current = step(current);
+    }
+    return current;
+}
+/** A snapshot written in format `from`, brought up to the format this build writes. */
+export function upgradeSnapshot(snapshot, from) {
+    return upgrade("snapshot", snapshot, from, SNAPSHOT_STEPS);
+}
+/** An op written in format `from`, brought up to the format this build writes. */
+export function upgradeOp(op, from) {
+    return upgrade("op", op, from, OP_STEPS);
+}
+//# sourceMappingURL=formats.js.map

package/dist/formats.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formats.js","sourceRoot":"","sources":["../src/formats.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAEjD;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAW,CAAC;AAUvD,mCAAmC;AACnC,MAAM,UAAU,WAAW;IACzB,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,EAAE,CAAC;AACnE,CAAC;AAED,yGAAyG;AACzG,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IAE9B;IACA;IACA;IACA;IAJX,YACW,IAAgB,EAChB,KAAa,EACb,SAAiB,EACjB,SAAkB;QAE3B,KAAK,CACH,QAAQ,IAAI,0BAA0B,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,yBAAyB,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,mBAAmB,iBAAiB,WAAW,SAAS,KAAK;YAC9J,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,mDAAmD,CAAC,CAAC,CAAC,mCAAmC,CAAC,CACpH,CAAC;QARO,SAAI,GAAJ,IAAI,CAAY;QAChB,UAAK,GAAL,KAAK,CAAQ;QACb,cAAS,GAAT,SAAS,CAAQ;QACjB,cAAS,GAAT,SAAS,CAAS;QAM3B,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED,gHAAgH;AAChH,MAAM,UAAU,cAAc,CAAC,KAAiH;IAC9I,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAiB,EAAE,CAAC;QACxD,MAAM,KAAK,GAAG,KAAK,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IACtG,CAAC;AACH,CAAC;AAGD;;;;GAIG;AACH,MAAM,cAAc,GAAkD,EAAE,CAAC;AACzE,MAAM,QAAQ,GAA8C,EAAE,CAAC;AAE/D,SAAS,OAAO,CAAI,IAAgB,EAAE,KAAQ,EAAE,IAAY,EAAE,KAAwC;IACpG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,MAAM,IAAI,WAAW,IAAI,uBAAuB,CAAC,CAAC;IAC3G,IAAI,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAChF,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,IAAI,EAAE,GAAG,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;QAC7C,MAAM,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;QACvB,IAAI,CAAC,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,IAAI,gBAAgB,EAAE,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QACzF,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,eAAe,CAAC,QAAuB,EAAE,IAAY;IACnE,OAAO,OAAO,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;AAC7D,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,SAAS,CAAC,EAAa,EAAE,IAAY;IACnD,OAAO,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;AAC3C,CAAC"}

package/dist/graph/graph.d.ts

@@ -3,9 +3,30 @@ import { type GraphDiff } from "./diff.js";
 import { type Primitive } from "./primitives.js";
 import { type GraphEdge, type GraphReader, type GraphSnapshot } from "./types.js";
 export interface GraphOptions {
-    /** Validate every node against its declared fields on the way in. */
+    /**
+     * Hold every WRITE to the declaration: a node added or patched must fit
+     * its kind, an edge must be declared between its ends. What is LOADED is
+     * held as it is (FR-28): a graph opens over records an older declaration
+     * wrote, and `validateGraph` says what no longer fits.
+     */
     readonly validate?: boolean;
 }
+export interface ApplyPrimitivesOptions {
+    /**
+     * The primitives put back what was there — an undo, or history folded
+     * again — rather than write something new. Records are then held as they
+     * are, as a load holds them: an undo of a repair puts back the misfit it
+     * repaired. A node still has to be there to be patched or removed.
+     */
+    readonly restoring?: boolean;
+    /**
+     * What is put back goes back WHERE IT STOOD, not at the end: a rollback
+     * (`Store.rebase`) undoing ops this graph applied is exact, order and all.
+     * An undo is not a rollback — it adds at the end, as a client that loaded
+     * after the removal would, so every copy of the graph agrees.
+     */
+    readonly inPlace?: boolean;
+}
 export type GraphListener<S extends AnySchema> = (diff: GraphDiff<NodeOfSchema<S>>) => void;
 export declare class GraphError extends Error {
     readonly hint?: string | undefined;
@@ -22,6 +43,10 @@ export declare class Graph<S extends AnySchema> implements GraphReader<NodeOfSch
     private readonly edges;
     private readonly outIndex;
     private readonly inIndex;
+    private rank;
+    private readonly ranks;
+    private readonly lapsed;
+    private reordered;
     private readonly listeners;
     private readonly validate;
     constructor(schema: S, options?: GraphOptions);
@@ -52,13 +77,37 @@ export declare class Graph<S extends AnySchema> implements GraphReader<NodeOfSch
      * Applies primitives as one batch and emits a single diff. Nothing outside
      * the op log should call this directly — attribution lives in the log.
      */
-    applyPrimitives(primitives: readonly Primitive[]): GraphDiff<NodeOfSchema<S>>;
+    applyPrimitives(primitives: readonly Primitive[], options?: ApplyPrimitivesOptions): GraphDiff<NodeOfSchema<S>>;
     /** Applies primitives to a throwaway copy — used for previewing a diff. */
-    preview(primitives: readonly Primitive[]): GraphDiff<NodeOfSchema<S>>;
+    preview(primitives: readonly Primitive[], options?: ApplyPrimitivesOptions): GraphDiff<NodeOfSchema<S>>;
     subscribe(listener: GraphListener<S>): () => void;
+    /** Puts the graph back to a snapshot it held, silently: nothing a listener saw ever changed. */
+    private restore;
+    private forgetRanks;
+    /** A rank for what just went in: the one it had, when it is being put back in place; the next one otherwise. */
+    private place;
+    /** What was taken out keeps its rank, for a while: a rollback only ever reaches the recent past. */
+    private lapse;
+    /** After an in-place put-back, the maps in rank order again. */
+    private settleOrder;
     private emit;
     private applyOne;
     private check;
+    /**
+     * A PATCH IS JUDGED ON WHAT IT WRITES (FR-28). The fields it writes must
+     * fit, and are taken as the declaration reads them (a cleared field with
+     * a default takes it). The record as a whole may not come out fitting
+     * less than it went in — but a misfit it already held, in a field the
+     * patch does not touch, stays as stored: renaming a person is not refused
+     * because of an address an older declaration accepted, and nothing the
+     * patch did not write is parsed into something else.
+     */
+    private checkPatch;
+    /** What about a node does not fit: undefined when it fits; `""` stands for a failure that names no field. */
+    private failing;
+    /** Why a node was refused, in the app's own words. */
+    private refusal;
+    /** `held`: put in as it is (a load, a restore), not judged as a write. */
     private insertNode;
     private insertEdge;
     private deleteEdge;

package/dist/graph/graph.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"graph.d.ts","sourceRoot":"","sources":["../../src/graph/graph.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnE,OAAO,EAAiB,KAAK,SAAS,EAAE,MAAM,WAAW,CAAC;AAC1D,OAAO,EAAW,KAAK,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC1D,OAAO,EAAU,KAAK,SAAS,EAAE,KAAK,WAAW,EAAE,KAAK,aAAa,EAAE,MAAM,YAAY,CAAC;AAE1F,MAAM,WAAW,YAAY;IAC3B,qEAAqE;IACrE,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,SAAS,IAAI,CAC/C,IAAI,EAAE,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAC7B,IAAI,CAAC;AAyBV,qBAAa,UAAW,SAAQ,KAAK;IAGjC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM;gBADtB,OAAO,EAAE,MAAM,EACN,IAAI,CAAC,EAAE,MAAM,YAAA;CAKzB;AAED;;;;GAIG;AACH,qBAAa,KAAK,CAAC,CAAC,SAAS,SAAS,CAAE,YAAW,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAS3E,QAAQ,CAAC,MAAM,EAAE,CAAC;IARpB,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAsC;IAC5D,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAgC;IACtD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAkC;IAC3D,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAkC;IAC1D,OAAO,CAAC,QAAQ,CAAC,SAAS,CAA+B;IACzD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAU;gBAGxB,MAAM,EAAE,CAAC,EAClB,OAAO,GAAE,YAAiB;IAK5B,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,SAAS,EAC7B,MAAM,EAAE,CAAC,EACT,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EACxC,OAAO,GAAE,YAAiB,GACzB,KAAK,CAAC,CAAC,CAAC;IAMX,uEAAuE;IACvE,IAAI,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAe1E,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,SAAS;IAIhD,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IAIxB,QAAQ,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE;IAI7B,QAAQ,IAAI,SAAS,EAAE;IAIvB,WAAW,CAAC,CAAC,SAAS,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAC3C,IAAI,EAAE,CAAC,GACN,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE;QAAE,IAAI,EAAE,CAAC,CAAA;KAAE,CAAC,EAAE;IAM1C,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,EAAE;IAItC,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,EAAE;IAIjD,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,EAAE;IAIhD,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,EAAE;IAMxC,kDAAkD;IAClD,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,EAAE;IAIhD,sDAAsD;IACtD,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,EAAE;IAI/C,QAAQ,IAAI,aAAa,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAI1C,IAAI,IAAI,IAAI;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAE3C;IAID;;;OAGG;IACH,eAAe,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAQ7E,2EAA2E;IAC3E,OAAO,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAKrE,SAAS,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI;IAOjD,OAAO,CAAC,IAAI;IAaZ,OAAO,CAAC,QAAQ;IAgDhB,OAAO,CAAC,KAAK;IA4Bb,OAAO,CAAC,UAAU;IAOlB,OAAO,CAAC,UAAU;IA0BlB,OAAO,CAAC,UAAU;IAOlB,OAAO,CAAC,KAAK;IAMb,OAAO,CAAC,SAAS;IAUjB,OAAO,CAAC,OAAO;CAYhB"}
+{"version":3,"file":"graph.d.ts","sourceRoot":"","sources":["../../src/graph/graph.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnE,OAAO,EAAiB,KAAK,SAAS,EAAE,MAAM,WAAW,CAAC;AAC1D,OAAO,EAAW,KAAK,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC1D,OAAO,EAAU,KAAK,SAAS,EAAE,KAAK,WAAW,EAAE,KAAK,aAAa,EAAE,MAAM,YAAY,CAAC;AAE1F,MAAM,WAAW,YAAY;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED,MAAM,WAAW,sBAAsB;IACrC;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,SAAS,IAAI,CAC/C,IAAI,EAAE,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAC7B,IAAI,CAAC;AAyBV,qBAAa,UAAW,SAAQ,KAAK;IAGjC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM;gBADtB,OAAO,EAAE,MAAM,EACN,IAAI,CAAC,EAAE,MAAM,YAAA;CAKzB;AAOD;;;;GAIG;AACH,qBAAa,KAAK,CAAC,CAAC,SAAS,SAAS,CAAE,YAAW,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAmB3E,QAAQ,CAAC,MAAM,EAAE,CAAC;IAlBpB,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAsC;IAC5D,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAgC;IACtD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAkC;IAC3D,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAkC;IAO1D,OAAO,CAAC,IAAI,CAAK;IACjB,OAAO,CAAC,QAAQ,CAAC,KAAK,CAA6B;IACnD,OAAO,CAAC,QAAQ,CAAC,MAAM,CAA6B;IACpD,OAAO,CAAC,SAAS,CAAS;IAC1B,OAAO,CAAC,QAAQ,CAAC,SAAS,CAA+B;IACzD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAU;gBAGxB,MAAM,EAAE,CAAC,EAClB,OAAO,GAAE,YAAiB;IAK5B,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,SAAS,EAC7B,MAAM,EAAE,CAAC,EACT,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EACxC,OAAO,GAAE,YAAiB,GACzB,KAAK,CAAC,CAAC,CAAC;IAMX,uEAAuE;IACvE,IAAI,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAsB1E,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,SAAS;IAIhD,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IAIxB,QAAQ,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE;IAI7B,QAAQ,IAAI,SAAS,EAAE;IAIvB,WAAW,CAAC,CAAC,SAAS,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAC3C,IAAI,EAAE,CAAC,GACN,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE;QAAE,IAAI,EAAE,CAAC,CAAA;KAAE,CAAC,EAAE;IAM1C,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,EAAE;IAItC,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,EAAE;IAIjD,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,EAAE;IAIhD,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,EAAE;IAMxC,kDAAkD;IAClD,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,EAAE;IAIhD,sDAAsD;IACtD,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,EAAE;IAI/C,QAAQ,IAAI,aAAa,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAI1C,IAAI,IAAI,IAAI;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAE3C;IAID;;;OAGG;IACH,eAAe,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,EAAE,OAAO,GAAE,sBAA2B,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAqBnH,2EAA2E;IAC3E,OAAO,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,EAAE,OAAO,GAAE,sBAA2B,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAK3G,SAAS,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI;IAOjD,gGAAgG;IAChG,OAAO,CAAC,OAAO;IAUf,OAAO,CAAC,WAAW;IAMnB,gHAAgH;IAChH,OAAO,CAAC,KAAK;IAWb,oGAAoG;IACpG,OAAO,CAAC,KAAK;IAQb,gEAAgE;IAChE,OAAO,CAAC,WAAW;IAYnB,OAAO,CAAC,IAAI;IAaZ,OAAO,CAAC,QAAQ;IAiDhB,OAAO,CAAC,KAAK;IASb;;;;;;;;OAQG;IACH,OAAO,CAAC,UAAU;IA0BlB,6GAA6G;IAC7G,OAAO,CAAC,OAAO;IAgBf,sDAAsD;IACtD,OAAO,CAAC,OAAO;IAyBf,0EAA0E;IAC1E,OAAO,CAAC,UAAU;IAQlB,OAAO,CAAC,UAAU;IA2BlB,OAAO,CAAC,UAAU;IAQlB,OAAO,CAAC,KAAK;IAMb,OAAO,CAAC,SAAS;IAUjB,OAAO,CAAC,OAAO;CAYhB"}