@algomotion/spec 0.0.0-stage → 1.0.0-alpha.1

package/dist/parse.js

@@ -0,0 +1,380 @@
+/**
+ * Parsing pipeline: untrusted input → canonical `Visualization`.
+ *
+ * 1. Reject versions this package cannot read with a dedicated error
+ *    (ADR 0021).
+ * 2. Check the document's shape (actions only by `target` and `type`).
+ * 3. Expand shorthands in structure declarations.
+ * 4. Validate each action against the schema of its target's kind, expand
+ *    its shorthands, and check that ids it introduces are new.
+ * 5. Check that steps point into the source code: `meta.line` into
+ *    `source`, or `meta.at` at an anchor of every entry of `sources`
+ *    (ADR 0017).
+ * 6. Check sections against the steps (ADR 0020), and that `version` holds
+ *    every feature the document uses (ADR 0021).
+ *
+ * Every kind-specific step goes through the kind registry (ADR 0012).
+ *
+ * Only static validity is checked here. Whether an action is valid at its
+ * point in the timeline (e.g. an index within the current length) depends
+ * on state and is checked by the core reducer.
+ */
+import { formatPath, fromZodIssues, } from "./errors.js";
+import { kinds, } from "./kinds/index.js";
+import { err, ok } from "./result.js";
+import { checkFeatures, checkVersion, upgradeDocument, listOf, PROTOCOL_FEATURES, } from "./version.js";
+import { Envelope, } from "./visualization.js";
+export function parseVisualization(input) {
+    const versionError = checkDocumentVersion(input);
+    if (versionError)
+        return err([versionError]);
+    return parseCurrent(upgradeDocument(input).document);
+}
+/** Parses a document of the current version. */
+function parseCurrent(input) {
+    const protoErrors = checkProtoKeys(input);
+    if (protoErrors.length > 0)
+        return err(protoErrors);
+    const envelope = Envelope.safeParse(input);
+    if (!envelope.success)
+        return err(fromZodIssues(envelope.error.issues, [], 'INVALID_SHAPE'));
+    const doc = envelope.data;
+    const errors = checkSources(doc.source, doc.sources);
+    const structures = {};
+    // Ids are unique per structure for the whole trace (ADR 0007), so an id
+    // removed earlier cannot be reused by a later action.
+    const usedIds = new Map();
+    for (const [name, input] of Object.entries(doc.structures)) {
+        const decl = normalizeDecl(input);
+        structures[name] = decl;
+        const ids = new Set();
+        for (const { id, path } of declIds(decl)) {
+            if (ids.has(id))
+                errors.push(duplicateId(id, name, ['structures', name, ...path]));
+            ids.add(id);
+        }
+        for (const issue of validateDecl(decl))
+            errors.push({
+                code: 'INVALID_STRUCTURE',
+                path: formatPath(['structures', name, ...issue.path]),
+                message: issue.message,
+                ...(issue.hint === undefined ? {} : { hint: issue.hint }),
+            });
+        usedIds.set(name, ids);
+    }
+    const code = codeOf(doc.source, doc.sources);
+    const steps = doc.steps.map((step, s) => {
+        if (step.meta !== undefined)
+            errors.push(...checkStepCode(step.meta, ['steps', s, 'meta'], code));
+        const actions = step.actions.flatMap((raw, a) => {
+            const path = ['steps', s, 'actions', a];
+            const result = parseAction(raw, structures, usedIds, path);
+            if (!result.ok) {
+                errors.push(...result.error);
+                return [];
+            }
+            return [result.value];
+        });
+        return step.meta === undefined ? { actions } : { actions, meta: step.meta };
+    });
+    if (doc.sections !== undefined)
+        errors.push(...checkSections(doc.sections, steps.length));
+    const vis = {
+        version: doc.version,
+        ...(doc.title === undefined ? {} : { title: doc.title }),
+        ...(doc.source === undefined ? {} : { source: doc.source }),
+        ...(doc.sources === undefined ? {} : { sources: doc.sources }),
+        structures,
+        steps,
+        ...(doc.sections === undefined ? {} : { sections: doc.sections }),
+    };
+    // The version is the first thing to fix, so it is reported first.
+    const tooOld = checkFeatures(vis, doc.version, PROTOCOL_FEATURES);
+    if (tooOld !== undefined)
+        errors.unshift(tooOld);
+    return errors.length > 0 ? err(errors) : ok(vis);
+}
+const lineCount = (code) => code.split('\n').length;
+/**
+ * Checks the source code itself: not both forms, one entry per language,
+ * and every anchor on a line of its code.
+ */
+function checkSources(source, sources) {
+    if (sources === undefined)
+        return [];
+    const errors = [];
+    if (source !== undefined)
+        errors.push({
+            code: 'MIXED_SOURCES',
+            path: '$.sources',
+            message: 'The document gives both `source` and `sources`',
+            hint: 'Keep only `sources`, with the code of `source` as one of its languages, or only `source`.',
+        });
+    const languages = new Map();
+    sources.forEach(({ language, code, anchors }, k) => {
+        const first = languages.get(language);
+        if (first !== undefined)
+            errors.push({
+                code: 'DUPLICATE_LANGUAGE',
+                path: formatPath(['sources', k, 'language']),
+                message: `Language "${language}" is already used by sources[${first}]`,
+                hint: 'Give each language once in `sources`.',
+            });
+        else
+            languages.set(language, k);
+        const lines = lineCount(code);
+        for (const [name, line] of Object.entries(anchors))
+            if (line > lines)
+                errors.push({
+                    code: 'LINE_OUT_OF_RANGE',
+                    path: formatPath(['sources', k, 'anchors', name]),
+                    message: `Anchor "${name}" is on line ${line}, past the end of the ${language} code`,
+                    hint: `The ${language} code has ${lines} lines.`,
+                });
+    });
+    return errors;
+}
+function codeOf(source, sources) {
+    // With both, `checkSources` reports the mix once; steps are checked
+    // against `sources`, which is what a reader shows.
+    if (sources !== undefined)
+        return { form: 'sources', sources };
+    if (source !== undefined)
+        return { form: 'source', lines: lineCount(source.code) };
+    return { form: 'none' };
+}
+/** At most this many names in a hint. */
+const HINT_NAMES = 12;
+const quoted = (names) => names.length === 0
+    ? ''
+    : `${names
+        .slice(0, HINT_NAMES)
+        .map((n) => `"${n}"`)
+        .join(', ')}${names.length > HINT_NAMES ? ', …' : ''}`;
+/** Checks a step's `meta.line` or `meta.at` against the document's code. */
+function checkStepCode({ line, at }, path, code) {
+    const errors = [];
+    if (line !== undefined) {
+        if (code.form === 'sources')
+            errors.push({
+                code: 'MIXED_SOURCES',
+                path: formatPath([...path, 'line']),
+                message: '`meta.line` cannot be used with `sources`, whose languages put the step on different lines',
+                hint: "Name the step's point in the code in `meta.at`, and give its line in each source's `anchors`.",
+            });
+        else if (code.form === 'source' && line > code.lines)
+            errors.push({
+                code: 'LINE_OUT_OF_RANGE',
+                path: formatPath([...path, 'line']),
+                message: `Line ${line} is past the end of the source code`,
+                hint: `The source code has ${code.lines} lines.`,
+            });
+    }
+    if (at !== undefined) {
+        const error = anchorError(at, code);
+        if (error !== undefined)
+            errors.push({ ...error, path: formatPath([...path, 'at']) });
+    }
+    return errors;
+}
+function anchorError(at, code) {
+    if (code.form === 'source')
+        return {
+            code: 'MIXED_SOURCES',
+            message: `\`meta.at\` ("${at}") needs \`sources\`, but the document gives \`source\``,
+            hint: 'Replace `source` with `sources`: [{ "language", "code", "anchors" }], or point at a line with `meta.line`.',
+        };
+    if (code.form === 'none')
+        return {
+            code: 'UNKNOWN_ANCHOR',
+            message: `Anchor "${at}" needs code in \`sources\`, but the document has none`,
+            hint: 'Give the code in `sources`, each language with an `anchors` map, or remove `meta.at`.',
+        };
+    const missing = code.sources.filter((s) => !Object.hasOwn(s.anchors, at));
+    if (missing.length === 0)
+        return undefined;
+    // Anchors that every source has, which `meta.at` could name instead.
+    const shared = Object.keys(code.sources[0].anchors).filter((name) => code.sources.every((s) => Object.hasOwn(s.anchors, name)));
+    const languages = listOf(missing.map((s) => s.language));
+    return {
+        code: 'UNKNOWN_ANCHOR',
+        message: `Anchor "${at}" is not in the ${languages} source${missing.length > 1 ? 's' : ''}`,
+        hint: `Every source must map "${at}" to a line in \`anchors\`. ${shared.length === 0
+            ? 'No anchor is in every source yet.'
+            : `Anchors in every source: ${quoted(shared)}.`}`,
+    };
+}
+/**
+ * Sections start at a step, each after the one before, and have distinct
+ * ids. Starting after the previous one also keeps every section non-empty.
+ */
+function checkSections(sections, stepCount) {
+    const errors = [];
+    const ids = new Set();
+    sections.forEach(({ id, start }, k) => {
+        if (ids.has(id))
+            errors.push({
+                code: 'DUPLICATE_SECTION',
+                path: formatPath(['sections', k, 'id']),
+                message: `Section id "${id}" is already used`,
+                hint: 'Section ids must be unique within a document.',
+            });
+        ids.add(id);
+        const previous = sections[k - 1];
+        if (start >= stepCount)
+            errors.push({
+                code: 'SECTION_OUT_OF_RANGE',
+                path: formatPath(['sections', k, 'start']),
+                message: `Section "${id}" starts at step ${start}, past the last step`,
+                hint: stepCount === 0
+                    ? 'The document has no steps, so it can have no sections.'
+                    : `Steps are numbered 0 to ${stepCount - 1}.`,
+            });
+        else if (previous !== undefined && start <= previous.start)
+            errors.push({
+                code: 'SECTION_OUT_OF_ORDER',
+                path: formatPath(['sections', k, 'start']),
+                message: `Section "${id}" starts at step ${start}, but must start after section "${previous.id}" (step ${previous.start})`,
+                hint: 'List sections in the order of their steps; each has at least one step.',
+            });
+    });
+    return errors;
+}
+/** A missing `version` is left to the shape check, which reports it. */
+function checkDocumentVersion(input) {
+    if (typeof input !== 'object' || input === null || !('version' in input))
+        return undefined;
+    return checkVersion(input.version);
+}
+const isRecord = (x) => typeof x === 'object' && x !== null && !Array.isArray(x);
+/**
+ * Reports `__proto__` keys where documents use names as keys. Zod silently
+ * drops such keys, which would turn a clear mistake into a confusing one
+ * (or lose data), so they are rejected up front.
+ */
+function checkProtoKeys(input) {
+    const errors = [];
+    const check = (obj, path) => {
+        if (isRecord(obj) && Object.hasOwn(obj, '__proto__'))
+            errors.push({
+                code: 'INVALID_SHAPE',
+                path: formatPath([...path, '__proto__']),
+                message: '"__proto__" cannot be used as a name',
+                hint: 'Choose another name.',
+            });
+    };
+    if (!isRecord(input))
+        return errors;
+    check(input['structures'], ['structures']);
+    const sources = input['sources'];
+    if (Array.isArray(sources))
+        sources.forEach((source, k) => {
+            check(isRecord(source) ? source['anchors'] : undefined, [
+                'sources',
+                k,
+                'anchors',
+            ]);
+        });
+    const steps = input['steps'];
+    if (Array.isArray(steps))
+        steps.forEach((step, s) => {
+            const meta = isRecord(step) ? step['meta'] : undefined;
+            check(isRecord(meta) ? meta['vars'] : undefined, [
+                'steps',
+                s,
+                'meta',
+                'vars',
+            ]);
+        });
+    return errors;
+}
+// Kind dispatch. Each helper is generic in the kind, so `kinds[kind]` has
+// the matching spec type; the casts restate what the discriminant guarantees.
+function normalizeDeclOf(kind, input) {
+    return kinds[kind].normalizeDecl(input);
+}
+function declIdsOf(kind, decl) {
+    return kinds[kind].declIds(decl);
+}
+function normalizeActionOf(kind, input, ctx) {
+    return kinds[kind].normalizeAction(input, ctx);
+}
+function introducedIdsOf(kind, action) {
+    return kinds[kind].introducedIds(action);
+}
+const normalizeDecl = (input) => normalizeDeclOf(input.kind, input);
+function validateDeclOf(kind, decl) {
+    return kinds[kind].validateDecl?.(decl) ?? [];
+}
+const validateDecl = (decl) => validateDeclOf(decl.kind, decl);
+const declIds = (decl) => declIdsOf(decl.kind, decl);
+function duplicateId(id, target, path) {
+    return {
+        code: 'DUPLICATE_ID',
+        path: formatPath(path),
+        message: `Id "${id}" is already used in "${target}"`,
+        hint: 'Ids must be unique within a structure for the whole trace, even after removal; choose a new id.',
+    };
+}
+function parseAction(raw, structures, usedIds, path) {
+    const { target, ...payload } = raw;
+    const decl = Object.hasOwn(structures, target)
+        ? structures[target]
+        : undefined;
+    if (decl === undefined) {
+        return fail('UNKNOWN_TARGET', [...path, 'target'], `No structure named "${target}"`, `Declared structures: ${Object.keys(structures).join(', ')}.`);
+    }
+    const kind = decl.kind;
+    const spec = kinds[kind];
+    if (!spec.actionTypes.includes(raw.type)) {
+        return fail('UNKNOWN_ACTION', [...path, 'type'], `"${raw.type}" is not an action of ${kind} "${target}"`, `Valid actions for ${kind}: ${spec.actionTypes.join(', ')}.`);
+    }
+    const parsed = spec.actionInput.safeParse(payload);
+    if (!parsed.success)
+        return err(fromZodIssues(parsed.error.issues, path, 'INVALID_ACTION'));
+    const ids = usedIds.get(target) ?? new Set();
+    // The payload was parsed with this kind's schema, so it is this kind's input.
+    const input = parsed.data;
+    const action = normalizeActionOf(kind, input, {
+        allocateId(prefix) {
+            let n = 0;
+            while (ids.has(`${prefix}${n}`))
+                n += 1;
+            const id = `${prefix}${n}`;
+            ids.add(id);
+            return id;
+        },
+    });
+    // Shorthands can produce values the canonical schema rejects, such as an
+    // id made from a node name with a space; check the result as well.
+    const canonical = spec.action.safeParse(action);
+    if (!canonical.success)
+        return err(fromZodIssues(canonical.error.issues, path, 'INVALID_ACTION'));
+    const errors = [];
+    for (const ref of introducedIdsOf(kind, action)) {
+        if (ids.has(ref.id) && !wasAllocated(input, ref)) {
+            errors.push(duplicateId(ref.id, target, [...path, ...ref.path]));
+        }
+        ids.add(ref.id);
+    }
+    if (errors.length > 0)
+        return err(errors);
+    return ok({ target, ...action });
+}
+/**
+ * Whether an introduced id was generated during normalisation (and so
+ * already reserved), rather than written in the input.
+ */
+function wasAllocated(input, ref) {
+    let node = input;
+    for (const key of ref.path) {
+        if (typeof node !== 'object' || node === null)
+            return true;
+        node = node[key];
+    }
+    return node === undefined;
+}
+function fail(code, path, message, hint) {
+    return err([{ code, path: formatPath(path), message, hint }]);
+}
+//# sourceMappingURL=parse.js.map

package/dist/parse.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse.js","sourceRoot":"","sources":["../src/parse.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,EACL,UAAU,EACV,aAAa,GAGd,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,KAAK,GAMN,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,GAAG,EAAE,EAAE,EAAe,MAAM,aAAa,CAAC;AACnD,OAAO,EACL,aAAa,EACb,YAAY,EACZ,eAAe,EACf,MAAM,EACN,iBAAiB,GAElB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,QAAQ,GAKT,MAAM,oBAAoB,CAAC;AAE5B,MAAM,UAAU,kBAAkB,CAChC,KAAc;IAEd,MAAM,YAAY,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,YAAY;QAAE,OAAO,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;IAC7C,OAAO,YAAY,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC;AACvD,CAAC;AAED,gDAAgD;AAChD,SAAS,YAAY,CACnB,KAAc;IAEd,MAAM,WAAW,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC,WAAW,CAAC,CAAC;IAEpD,MAAM,QAAQ,GAAG,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,QAAQ,CAAC,OAAO;QACnB,OAAO,GAAG,CAAC,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,eAAe,CAAC,CAAC,CAAC;IACxE,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC;IAE1B,MAAM,MAAM,GAAoB,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IACtE,MAAM,UAAU,GAAkC,EAAE,CAAC;IACrD,wEAAwE;IACxE,sDAAsD;IACtD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;QAClC,UAAU,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;QACxB,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;QAC9B,KAAK,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACb,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,YAAY,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACpE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACd,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,IAAI,CAAC;YACpC,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EAAE,UAAU,CAAC,CAAC,YAAY,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;gBACrD,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;aAC1D,CAAC,CAAC;QACL,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACzB,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QACtC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YACzB,MAAM,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QACvE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAoB,EAAE;YAChE,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;YAC3D,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBACf,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;gBAC7B,OAAO,EAAE,CAAC;YACZ,CAAC;YACD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IAC9E,CAAC,CAAC,CAAC;IACH,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS;QAC5B,MAAM,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAE5D,MAAM,GAAG,GAAkB;QACzB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;QACxD,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;QAC3D,GAAG,CAAC,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;QAC9D,UAAU;QACV,KAAK;QACL,GAAG,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;KAClE,CAAC;IACF,kEAAkE;IAClE,MAAM,MAAM,GAAG,aAAa,CAC1B,GAAG,EACH,GAAG,CAAC,OAAO,EACX,iBAAiB,CAClB,CAAC;IACF,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACjD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;AACnD,CAAC;AAED,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;AAE5D;;;GAGG;AACH,SAAS,YAAY,CACnB,MAA0B,EAC1B,OAA8C;IAE9C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACrC,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,IAAI,MAAM,KAAK,SAAS;QACtB,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,WAAW;YACjB,OAAO,EAAE,gDAAgD;YACzD,IAAI,EAAE,2FAA2F;SAClG,CAAC,CAAC;IACL,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE;QACjD,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAI,KAAK,KAAK,SAAS;YACrB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,oBAAoB;gBAC1B,IAAI,EAAE,UAAU,CAAC,CAAC,SAAS,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;gBAC5C,OAAO,EAAE,aAAa,QAAQ,gCAAgC,KAAK,GAAG;gBACtE,IAAI,EAAE,uCAAuC;aAC9C,CAAC,CAAC;;YACA,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;YAChD,IAAI,IAAI,GAAG,KAAK;gBACd,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,UAAU,CAAC,CAAC,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;oBACjD,OAAO,EAAE,WAAW,IAAI,gBAAgB,IAAI,yBAAyB,QAAQ,OAAO;oBACpF,IAAI,EAAE,OAAO,QAAQ,aAAa,KAAK,SAAS;iBACjD,CAAC,CAAC;IACT,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAQD,SAAS,MAAM,CACb,MAA0B,EAC1B,OAA8C;IAE9C,oEAAoE;IACpE,mDAAmD;IACnD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;IAC/D,IAAI,MAAM,KAAK,SAAS;QACtB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;IAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC1B,CAAC;AAED,yCAAyC;AACzC,MAAM,UAAU,GAAG,EAAE,CAAC;AAEtB,MAAM,MAAM,GAAG,CAAC,KAAwB,EAAE,EAAE,CAC1C,KAAK,CAAC,MAAM,KAAK,CAAC;IAChB,CAAC,CAAC,EAAE;IACJ,CAAC,CAAC,GAAG,KAAK;SACL,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC;SACpB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;SACpB,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAE/D,4EAA4E;AAC5E,SAAS,aAAa,CACpB,EAAE,IAAI,EAAE,EAAE,EAAY,EACtB,IAA4B,EAC5B,IAAiB;IAEjB,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YACzB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,UAAU,CAAC,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC;gBACnC,OAAO,EACL,4FAA4F;gBAC9F,IAAI,EAAE,+FAA+F;aACtG,CAAC,CAAC;aACA,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK;YAClD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EAAE,UAAU,CAAC,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC;gBACnC,OAAO,EAAE,QAAQ,IAAI,qCAAqC;gBAC1D,IAAI,EAAE,uBAAuB,IAAI,CAAC,KAAK,SAAS;aACjD,CAAC,CAAC;IACP,CAAC;IACD,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACpC,IAAI,KAAK,KAAK,SAAS;YACrB,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,WAAW,CAClB,EAAU,EACV,IAAiB;IAEjB,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QACxB,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,iBAAiB,EAAE,yDAAyD;YACrF,IAAI,EAAE,4GAA4G;SACnH,CAAC;IACJ,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QACtB,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,WAAW,EAAE,wDAAwD;YAC9E,IAAI,EAAE,uFAAuF;SAC9F,CAAC;IACJ,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;IAC1E,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,qEAAqE;IACrE,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACnE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAC1D,CAAC;IACF,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACzD,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,OAAO,EAAE,WAAW,EAAE,mBAAmB,SAAS,UAAU,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC3F,IAAI,EAAE,0BAA0B,EAAE,+BAChC,MAAM,CAAC,MAAM,KAAK,CAAC;YACjB,CAAC,CAAC,mCAAmC;YACrC,CAAC,CAAC,4BAA4B,MAAM,CAAC,MAAM,CAAC,GAChD,EAAE;KACH,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CACpB,QAA4B,EAC5B,SAAiB;IAEjB,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,EAAE;QACpC,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACb,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EAAE,UAAU,CAAC,CAAC,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;gBACvC,OAAO,EAAE,eAAe,EAAE,mBAAmB;gBAC7C,IAAI,EAAE,+CAA+C;aACtD,CAAC,CAAC;QACL,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACZ,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,IAAI,KAAK,IAAI,SAAS;YACpB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,sBAAsB;gBAC5B,IAAI,EAAE,UAAU,CAAC,CAAC,UAAU,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC1C,OAAO,EAAE,YAAY,EAAE,oBAAoB,KAAK,sBAAsB;gBACtE,IAAI,EACF,SAAS,KAAK,CAAC;oBACb,CAAC,CAAC,wDAAwD;oBAC1D,CAAC,CAAC,2BAA2B,SAAS,GAAG,CAAC,GAAG;aAClD,CAAC,CAAC;aACA,IAAI,QAAQ,KAAK,SAAS,IAAI,KAAK,IAAI,QAAQ,CAAC,KAAK;YACxD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,sBAAsB;gBAC5B,IAAI,EAAE,UAAU,CAAC,CAAC,UAAU,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC1C,OAAO,EAAE,YAAY,EAAE,oBAAoB,KAAK,mCAAmC,QAAQ,CAAC,EAAE,WAAW,QAAQ,CAAC,KAAK,GAAG;gBAC1H,IAAI,EAAE,wEAAwE;aAC/E,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,wEAAwE;AACxE,SAAS,oBAAoB,CAAC,KAAc;IAC1C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,SAAS,IAAI,KAAK,CAAC;QACtE,OAAO,SAAS,CAAC;IACnB,OAAO,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AACrC,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAgC,EAAE,CAC5D,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAE3D;;;;GAIG;AACH,SAAS,cAAc,CAAC,KAAc;IACpC,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,CAAC,GAAY,EAAE,IAAmB,EAAE,EAAE;QAClD,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,WAAW,CAAC;YAClD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,UAAU,CAAC,CAAC,GAAG,IAAI,EAAE,WAAW,CAAC,CAAC;gBACxC,OAAO,EAAE,sCAAsC;gBAC/C,IAAI,EAAE,sBAAsB;aAC7B,CAAC,CAAC;IACP,CAAC,CAAC;IACF,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACpC,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QACxB,OAAO,CAAC,OAAO,CAAC,CAAC,MAAe,EAAE,CAAC,EAAE,EAAE;YACrC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE;gBACtD,SAAS;gBACT,CAAC;gBACD,SAAS;aACV,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACtB,KAAK,CAAC,OAAO,CAAC,CAAC,IAAa,EAAE,CAAC,EAAE,EAAE;YACjC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACvD,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE;gBAC/C,OAAO;gBACP,CAAC;gBACD,MAAM;gBACN,MAAM;aACP,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,0EAA0E;AAC1E,8EAA8E;AAE9E,SAAS,eAAe,CACtB,IAAO,EACP,KAAkC;IAElC,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,SAAS,CAChB,IAAO,EACP,IAA4B;IAE5B,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAO,EACP,KAAoC,EACpC,GAAkB;IAElB,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,eAAe,CACtB,IAAO,EACP,MAAgC;IAEhC,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;AAC3C,CAAC;AAED,MAAM,aAAa,GAAG,CAAC,KAAyB,EAAiB,EAAE,CACjE,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAErC,SAAS,cAAc,CACrB,IAAO,EACP,IAA4B;IAE5B,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,YAAY,GAAG,CAAC,IAAmB,EAAwB,EAAE,CACjE,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AAElC,MAAM,OAAO,GAAG,CAAC,IAAmB,EAAoB,EAAE,CACxD,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AAE7B,SAAS,WAAW,CAClB,EAAU,EACV,MAAc,EACd,IAA4B;IAE5B,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC;QACtB,OAAO,EAAE,OAAO,EAAE,yBAAyB,MAAM,GAAG;QACpD,IAAI,EAAE,iGAAiG;KACxG,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAClB,GAA6D,EAC7D,UAAmD,EACnD,OAAyC,EACzC,IAA4B;IAE5B,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,EAAE,GAAG,GAAG,CAAC;IACnC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5C,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC;QACpB,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,IAAI,CACT,gBAAgB,EAChB,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,EACnB,uBAAuB,MAAM,GAAG,EAChC,wBAAwB,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC9D,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAsB,IAAI,CAAC,IAAI,CAAC;IAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACzB,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,OAAO,IAAI,CACT,gBAAgB,EAChB,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,EACjB,IAAI,GAAG,CAAC,IAAI,yBAAyB,IAAI,KAAK,MAAM,GAAG,EACvD,qBAAqB,IAAI,KAAK,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC7D,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACnD,IAAI,CAAC,MAAM,CAAC,OAAO;QACjB,OAAO,GAAG,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAEzE,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;IACrD,8EAA8E;IAC9E,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC;IAC1B,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,EAAE;QAC5C,UAAU,CAAC,MAAM;YACf,IAAI,CAAC,GAAG,CAAC,CAAC;YACV,OAAO,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,GAAG,CAAC,EAAE,CAAC;gBAAE,CAAC,IAAI,CAAC,CAAC;YACxC,MAAM,EAAE,GAAG,GAAG,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACZ,OAAO,EAAE,CAAC;QACZ,CAAC;KACF,CAAC,CAAC;IACH,yEAAyE;IACzE,mEAAmE;IACnE,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,CAAC,SAAS,CAAC,OAAO;QACpB,OAAO,GAAG,CAAC,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAC5E,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;QAChD,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;YACjD,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnE,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1C,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;AACnC,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,KAAc,EAAE,GAAU;IAC9C,IAAI,IAAI,GAAY,KAAK,CAAC;IAC1B,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;QAC3B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC3D,IAAI,GAAI,IAAqC,CAAC,GAAG,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,IAAI,KAAK,SAAS,CAAC;AAC5B,CAAC;AAED,SAAS,IAAI,CACX,IAAuB,EACvB,IAA4B,EAC5B,OAAe,EACf,IAAY;IAEZ,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AAChE,CAAC"}

package/dist/result.d.ts

@@ -0,0 +1,16 @@
+/**
+ * A value that is either a success or a failure.
+ *
+ * Validation of LLM-generated input fails routinely, so failures are values
+ * the caller must handle rather than exceptions it may forget to catch.
+ */
+export type Result<T, E> = {
+    readonly ok: true;
+    readonly value: T;
+} | {
+    readonly ok: false;
+    readonly error: E;
+};
+export declare const ok: <T>(value: T) => Result<T, never>;
+export declare const err: <E>(error: E) => Result<never, E>;
+//# sourceMappingURL=result.d.ts.map

package/dist/result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"result.d.ts","sourceRoot":"","sources":["../src/result.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,IACnB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GACxC;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AAE9C,eAAO,MAAM,EAAE,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,KAAK,CAA0B,CAAC;AAE3E,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,MAAM,CAAC,KAAK,EAAE,CAAC,CAA2B,CAAC"}

package/dist/result.js

@@ -0,0 +1,3 @@
+export const ok = (value) => ({ ok: true, value });
+export const err = (error) => ({ ok: false, error });
+//# sourceMappingURL=result.js.map

package/dist/result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"result.js","sourceRoot":"","sources":["../src/result.ts"],"names":[],"mappings":"AAUA,MAAM,CAAC,MAAM,EAAE,GAAG,CAAI,KAAQ,EAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAE3E,MAAM,CAAC,MAAM,GAAG,GAAG,CAAI,KAAQ,EAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC"}

package/dist/share.d.ts

@@ -0,0 +1,68 @@
+/**
+ * Share links (ADR 0040): a document, or an algorithm and its input, in
+ * the fragment of a player page's URL, after a version marker:
+ *
+ *     #v=1&doc=<the document's JSON, raw DEFLATE, base64url>
+ *     #v=1&alg=dijkstra&in=A-B%204&frame=improve%233&theme=dark
+ *
+ * Compression uses the platform's `CompressionStream`, which browsers,
+ * Node.js and Workers have. The protocol stays free of DOM and Node.js
+ * types (ADR 0005), so the few web APIs used here are looked up on
+ * `globalThis` and typed locally; a runtime without them, such as the
+ * Typst plugin's, can still write and read algorithm links.
+ */
+import type { Diagnostic } from './errors.ts';
+import { type Result } from './result.ts';
+/** The version of the link format that this code writes and reads. */
+export declare const SHARE_LINK_VERSION = 1;
+export declare const SHARE_LIMITS: {
+    /** The longest link a writer makes. */
+    readonly linkLength: 16384;
+    /** The longest fragment a reader takes: Chrome's longest URL. */
+    readonly fragmentLength: 2097152;
+    /** The most bytes a document may inflate to (ADR 0041). */
+    readonly documentBytes: number;
+    /** The longest `alg`, `frame` or `theme`. */
+    readonly textLength: 200;
+    /** The longest `in` (ADR 0041). */
+    readonly inputLength: 65536;
+};
+export type ShareErrorCode = 
+/** The fragment, or a base URL, is not a share link's. */
+'INVALID_LINK'
+/** The link, or the document it holds, is over a limit. */
+ | 'LINK_TOO_LARGE';
+export type ShareDiagnostic = Diagnostic<ShareErrorCode>;
+/** How the player opens the content: as its `frame` and `theme`. */
+interface ShareView {
+    /** A frame number or a selector (ADR 0020); a reader gives it as text. */
+    readonly frame?: string | number;
+    /** A theme as the player's `theme` attribute takes it. */
+    readonly theme?: string;
+}
+/** What a share link carries: a document, or an algorithm and its input. */
+export type ShareContent = (ShareView & {
+    readonly document: unknown;
+}) | (ShareView & {
+    /** A registry id, such as `dijkstra`. */
+    readonly algorithm: string;
+    /** The input as text, read by `readInput` (ADR 0032). */
+    readonly input?: string;
+});
+type Shared<T> = Promise<Result<T, readonly ShareDiagnostic[]>>;
+/** The fragment of a link, without its `#`. */
+export declare function shareFragment(content: ShareContent): Shared<string>;
+/** A whole link: the page's address, then the fragment. */
+export declare function shareLink(base: string, content: ShareContent): Shared<string>;
+/**
+ * Checks the address of a share page: an absolute `http:` or `https:`
+ * URL without a fragment, such as `https://example.org/play/`.
+ */
+export declare function checkShareBase(base: string): Result<string, readonly ShareDiagnostic[]>;
+/**
+ * Reads a fragment, with or without its `#`: the content it carries, or
+ * undefined for an empty fragment. Keys it does not know are ignored.
+ */
+export declare function readShareFragment(fragment: string): Shared<ShareContent | undefined>;
+export {};
+//# sourceMappingURL=share.d.ts.map

package/dist/share.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"share.d.ts","sourceRoot":"","sources":["../src/share.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AAEnD,sEAAsE;AACtE,eAAO,MAAM,kBAAkB,IAAI,CAAC;AAEpC,eAAO,MAAM,YAAY;IACvB,uCAAuC;;IAEvC,iEAAiE;;IAEjE,2DAA2D;;IAE3D,6CAA6C;;IAE7C,mCAAmC;;CAE3B,CAAC;AAEX,MAAM,MAAM,cAAc;AACxB,0DAA0D;AACxD,cAAc;AAChB,2DAA2D;GACzD,gBAAgB,CAAC;AAErB,MAAM,MAAM,eAAe,GAAG,UAAU,CAAC,cAAc,CAAC,CAAC;AAEzD,oEAAoE;AACpE,UAAU,SAAS;IACjB,0EAA0E;IAC1E,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACjC,0DAA0D;IAC1D,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,4EAA4E;AAC5E,MAAM,MAAM,YAAY,GACpB,CAAC,SAAS,GAAG;IAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,CAAC,GAC5C,CAAC,SAAS,GAAG;IACX,yCAAyC;IACzC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,yDAAyD;IACzD,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC,CAAC;AAEP,KAAK,MAAM,CAAC,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC,CAAC,CAAC;AAIhE,+CAA+C;AAC/C,wBAAgB,aAAa,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,CAEnE;AAwDD,2DAA2D;AAC3D,wBAAsB,SAAS,CAC7B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,YAAY,GACpB,MAAM,CAAC,MAAM,CAAC,CAUhB;AAUD;;;GAGG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,MAAM,GACX,MAAM,CAAC,MAAM,EAAE,SAAS,eAAe,EAAE,CAAC,CAsD5C;AAOD;;;GAGG;AACH,wBAAsB,iBAAiB,CACrC,QAAQ,EAAE,MAAM,GACf,MAAM,CAAC,YAAY,GAAG,SAAS,CAAC,CAmElC"}