@graview/core 0.1.61 → 0.1.63

package/dist/document/rules.js

@@ -11,6 +11,7 @@ import { isoToday } from "../days.js";
 import { parseTemplate } from "./template-parse.js";
 import { parsedComputed } from "./computed.js";
 import { linkedRelations } from "../schema/linked.js";
+import { resolveCovers, uncovered } from "./covers.js";
 /**
  * What every kind of a COMPILED schema holds, for the rule language to read
  * names against: its fields, and its relations with their cardinality (a
@@ -111,4 +112,77 @@ kinds, options = {}) {
         ? defineInvariant(name, { scope: "graph", ...common, evaluate: ({ graph, today: day, context }) => judge(graph, null, day, context?.linked) })
         : defineInvariant(name, { scope: { kind: spec.over }, ...common, evaluate: ({ graph, subject, today: day, context }) => judge(graph, subject, day, context?.linked) }));
 }
+const PLANS = new WeakMap();
+/**
+ * A RULE THAT EACH RECORD IS LINKED TO EVERY RECORD OF A KIND (Roadmap
+ * f-rule-covers-every), the TypeScript twin of a document's `covers`.
+ * Written in the rule language — `every(all('issue'), …)` for every
+ * candidate — the checker says `rule-cost` of it; declared as a walk it is
+ * judged in one pass over the record's links, never through the evaluator,
+ * and each far record the subject does not reach is one problem naming
+ * both. The walk's directions are read from the schema of the graph being
+ * judged, once per schema; a relation that does not reach the kind is
+ * `could-not-judge`, in the words `graview check` would have said.
+ */
+export function coverageRule(name, spec, options = {}) {
+    const when = spec.when ? parseExpr(spec.when) : undefined;
+    const says = spec.says ? parseTemplate(spec.says) : undefined;
+    const title = spec.title ?? name.replace(/-/g, " ");
+    const today = options.today ?? isoToday;
+    const planOf = (graph) => {
+        const schema = graph.schema;
+        if (!schema)
+            throw new Error("a coverage rule needs the graph's kinds: judge a Graph, which carries its schema");
+        let plans = PLANS.get(schema);
+        if (!plans)
+            PLANS.set(schema, (plans = new Map()));
+        let plan = plans.get(name);
+        if (plan === undefined) {
+            const resolved = resolveCovers(spec.over, spec.covers, (relation) => schema.edge(relation), (kind) => schema.tryDefinition(kind) !== undefined);
+            plan = "plan" in resolved ? resolved.plan : `its "${resolved.problem.key}" cannot be followed: ${resolved.problem.message}`;
+            plans.set(name, plan);
+        }
+        if (typeof plan === "string")
+            throw new Error(plan);
+        return plan;
+    };
+    const judge = (graph, subject, day = today()) => {
+        const shapes = shapesOf(graph);
+        const ctx = { graph, subject, kinds: shapes, today: day };
+        try {
+            if (when && evaluateExpr(when, ctx) !== true)
+                return [];
+        }
+        catch (error) {
+            if (error instanceof ExprBudgetError)
+                throw new RuleBudgetError(error.sentence);
+            if (error instanceof ExprEvalError)
+                throw new Error(error.sentence);
+            throw error;
+        }
+        const label = (node) => {
+            const definition = graph.schema?.tryDefinition(node.kind);
+            return definition?.label?.(node) ?? node.id;
+        };
+        return uncovered(graph, subject, planOf(graph)).map((far) => ({
+            invariant: name,
+            subjectId: subject.id,
+            label: title,
+            message: says ? renderTemplate(says, { node: subject, kinds: shapes, graph, today: day, bindings: { [subject.kind]: subject, [far.kind]: far } }) : `${label(subject)}: ${title} — ${label(far)}`,
+            nodeIds: [subject.id, far.id],
+            repairs: (spec.repairs ?? []).map((mutation) => ({ mutation, label: mutation.replace(/-/g, " "), args: { id: subject.id } })),
+        }));
+    };
+    return defineInvariant(name, {
+        scope: { kind: spec.over },
+        label: title,
+        // What its line is said from (`@graview/core/lines`), once the graph's schema has resolved the walk; `covers` as declared until then.
+        shape: { over: spec.over, covers: { every: spec.covers.every, through: { relation: spec.covers.through, out: true }, ...(spec.covers.via ? { via: { relation: spec.covers.via, out: true } } : {}) }, when, says, today },
+        judgment: { covers: spec.covers, ...(spec.when ? { when: spec.when } : {}), ...(spec.says ? { says: spec.says } : {}) },
+        ...(spec.description ? { description: spec.description } : {}),
+        ...(spec.repairs && spec.repairs.length > 0 ? { repairs: [...spec.repairs] } : {}),
+        ...(spec.judgesPast ? { judgesPast: true } : {}),
+        evaluate: ({ graph, subject, today: day }) => judge(graph, subject, day),
+    });
+}
 //# sourceMappingURL=rules.js.map

package/dist/document/rules.js.map

@@ -1 +1 @@
-{"version":3,"file":"rules.js","sourceRoot":"","sources":["../../src/document/rules.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,eAAe,EAAE,eAAe,EAAiG,MAAM,aAAa,CAAC;AAE9J,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,WAAW,EAAE,UAAU,EAAmC,MAAM,oBAAoB,CAAC;AAC5I,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAqB,MAAM,qBAAqB,CAAC;AAEzE;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,MAAiB;IAC9C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAA0B,EAAE,CAAC;QACrD,MAAM,UAAU,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAoK,CAAC;QACjN,MAAM,QAAQ,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;QAC5C,uGAAuG;QACvG,MAAM,MAAM,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE;YACf,MAAM,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;YAC7D,KAAK,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,IAAI,MAAM,CAAC,CAAC,CAAC;YACjH,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjC,GAAG,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACvC,CAAC,CAAC;IACL,CAAC;IACD,yFAAyF;IACzF,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,KAAK;QAAE,MAAM,CAAC,GAAG,CAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAe,CAAC,CAAC;IACrE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,MAAM,GAAG,IAAI,OAAO,EAAkC,CAAC;AAC7D,4EAA4E;AAC5E,SAAS,QAAQ,CAAC,KAAkB;IAClC,MAAM,MAAM,GAAI,KAAyC,CAAC,MAAM,CAAC;IACjE,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,+FAA+F,CAAC,CAAC;IAC9H,IAAI,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAChC,IAAI,CAAC,MAAM;QAAE,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACnE,OAAO,MAAM,CAAC;AAChB,CAAC;AAmBD;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAC5B,IAAY,EACZ,IAAwB;AACxB,qGAAqG;AACrG,KAAsC,EACtC,UAA6C,EAAE;IAE/C,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,QAAQ,CAAC;IACxC,iFAAiF;IACjF,MAAM,KAAK,GAAG,CAAC,KAAkB,EAAE,OAA4B,EAAE,GAAG,GAAG,KAAK,EAAE,EAAE,MAAqB,EAAe,EAAE;QACpH,MAAM,MAAM,GAAG,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC,CAA2B,CAAC;QACpE,8HAA8H;QAC9H,MAAM,MAAM,GAAiB,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAa,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACtI,IAAI,CAAC;YACH,IAAI,IAAI,IAAI,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,IAAI;gBAAE,OAAO,EAAE,CAAC;YACxD,IAAI,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC,KAAK,IAAI;gBAAE,OAAO,EAAE,CAAC;YACnD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,MAAM,IAAI,aAAa,CAAC,YAAY,UAAU,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC1F,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,eAAe;gBAAE,MAAM,IAAI,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAChF,IAAI,KAAK,YAAY,aAAa;gBAAE,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACpE,MAAM,KAAK,CAAC;QACd,CAAC;QACD,OAAO;YACL;gBACE,SAAS,EAAE,IAAI;gBACf,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7C,KAAK,EAAE,KAAK;gBACZ,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK;gBACjG,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;gBACpC,OAAO,EAAE,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;aAC7I;SACF,CAAC;IACJ,CAAC,CAAC;IACF,MAAM,MAAM,GAAG;QACb,KAAK,EAAE,KAAK;QACZ,4FAA4F;QAC5F,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE;QACnF,QAAQ,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;QACzH,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClF,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACjD,CAAC;IACF,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,OAAO;QACnB,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAA2E,EAAE,EAAE,CAAC,KAAK,CAAC,KAAoB,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,EAAW,CAAC;QAC/O,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAA6F,EAAE,EAAE,CAAC,KAAK,CAAC,KAAoB,EAAE,OAAuB,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,EAAW,CAAC,CACrR,CAAC;AAC3B,CAAC"}
+{"version":3,"file":"rules.js","sourceRoot":"","sources":["../../src/document/rules.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,eAAe,EAAE,eAAe,EAAiG,MAAM,aAAa,CAAC;AAE9J,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,WAAW,EAAE,UAAU,EAAmC,MAAM,oBAAoB,CAAC;AAC5I,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAqB,MAAM,qBAAqB,CAAC;AACzE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAkC,MAAM,aAAa,CAAC;AAEvF;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,MAAiB;IAC9C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAA0B,EAAE,CAAC;QACrD,MAAM,UAAU,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAoK,CAAC;QACjN,MAAM,QAAQ,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;QAC5C,uGAAuG;QACvG,MAAM,MAAM,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE;YACf,MAAM,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;YAC7D,KAAK,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,IAAI,MAAM,CAAC,CAAC,CAAC;YACjH,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjC,GAAG,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACvC,CAAC,CAAC;IACL,CAAC;IACD,yFAAyF;IACzF,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,KAAK;QAAE,MAAM,CAAC,GAAG,CAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAe,CAAC,CAAC;IACrE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,MAAM,GAAG,IAAI,OAAO,EAAkC,CAAC;AAC7D,4EAA4E;AAC5E,SAAS,QAAQ,CAAC,KAAkB;IAClC,MAAM,MAAM,GAAI,KAAyC,CAAC,MAAM,CAAC;IACjE,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,+FAA+F,CAAC,CAAC;IAC9H,IAAI,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAChC,IAAI,CAAC,MAAM;QAAE,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACnE,OAAO,MAAM,CAAC;AAChB,CAAC;AAmBD;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAC5B,IAAY,EACZ,IAAwB;AACxB,qGAAqG;AACrG,KAAsC,EACtC,UAA6C,EAAE;IAE/C,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,QAAQ,CAAC;IACxC,iFAAiF;IACjF,MAAM,KAAK,GAAG,CAAC,KAAkB,EAAE,OAA4B,EAAE,GAAG,GAAG,KAAK,EAAE,EAAE,MAAqB,EAAe,EAAE;QACpH,MAAM,MAAM,GAAG,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC,CAA2B,CAAC;QACpE,8HAA8H;QAC9H,MAAM,MAAM,GAAiB,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAa,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACtI,IAAI,CAAC;YACH,IAAI,IAAI,IAAI,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,IAAI;gBAAE,OAAO,EAAE,CAAC;YACxD,IAAI,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC,KAAK,IAAI;gBAAE,OAAO,EAAE,CAAC;YACnD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,MAAM,IAAI,aAAa,CAAC,YAAY,UAAU,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC1F,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,eAAe;gBAAE,MAAM,IAAI,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAChF,IAAI,KAAK,YAAY,aAAa;gBAAE,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACpE,MAAM,KAAK,CAAC;QACd,CAAC;QACD,OAAO;YACL;gBACE,SAAS,EAAE,IAAI;gBACf,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7C,KAAK,EAAE,KAAK;gBACZ,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK;gBACjG,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;gBACpC,OAAO,EAAE,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;aAC7I;SACF,CAAC;IACJ,CAAC,CAAC;IACF,MAAM,MAAM,GAAG;QACb,KAAK,EAAE,KAAK;QACZ,4FAA4F;QAC5F,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE;QACnF,QAAQ,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;QACzH,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClF,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACjD,CAAC;IACF,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,OAAO;QACnB,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAA2E,EAAE,EAAE,CAAC,KAAK,CAAC,KAAoB,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,EAAW,CAAC;QAC/O,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAA6F,EAAE,EAAE,CAAC,KAAK,CAAC,KAAoB,EAAE,OAAuB,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,EAAW,CAAC,CACrR,CAAC;AAC3B,CAAC;AAkBD,MAAM,KAAK,GAAG,IAAI,OAAO,EAA2C,CAAC;AAErE;;;;;;;;;;GAUG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,IAAsB,EAAE,UAA6C,EAAE;IAChH,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,QAAQ,CAAC;IACxC,MAAM,MAAM,GAAG,CAAC,KAAkB,EAAa,EAAE;QAC/C,MAAM,MAAM,GAAI,KAAyC,CAAC,MAAM,CAAC;QACjE,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,kFAAkF,CAAC,CAAC;QACjH,IAAI,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC9B,IAAI,CAAC,KAAK;YAAE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;QACnD,IAAI,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC;YAChJ,IAAI,GAAG,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,QAAQ,CAAC,OAAO,CAAC,GAAG,yBAAyB,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YAC5H,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACxB,CAAC;QACD,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC;QACpD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,KAAkB,EAAE,OAAqB,EAAE,GAAG,GAAG,KAAK,EAAE,EAAe,EAAE;QACtF,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QAC1D,IAAI,CAAC;YACH,IAAI,IAAI,IAAI,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,IAAI;gBAAE,OAAO,EAAE,CAAC;QAC1D,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,eAAe;gBAAE,MAAM,IAAI,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAChF,IAAI,KAAK,YAAY,aAAa;gBAAE,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACpE,MAAM,KAAK,CAAC;QACd,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,IAAkB,EAAU,EAAE;YAC3C,MAAM,UAAU,GAAI,KAAyC,CAAC,MAAM,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,CAAwD,CAAC;YACtJ,OAAO,UAAU,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC;QAC9C,CAAC,CAAC;QACF,OAAO,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC5D,SAAS,EAAE,IAAI;YACf,SAAS,EAAE,OAAO,CAAC,EAAE;YACrB,KAAK,EAAE,KAAK;YACZ,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,KAAK,MAAM,KAAK,CAAC,GAAG,CAAC,EAAE;YACjM,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC;YAC7B,OAAO,EAAE,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;SAC9H,CAAC,CAAC,CAAC;IACN,CAAC,CAAC;IACF,OAAO,eAAe,CAAC,IAAI,EAAE;QAC3B,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;QAC1B,KAAK,EAAE,KAAK;QACZ,sIAAsI;QACtI,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE;QACzN,QAAQ,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;QACvH,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClF,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChD,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAwD,EAAE,EAAE,CAAC,KAAK,CAAC,KAAoB,EAAE,OAAuB,EAAE,GAAG,CAAC;KACrJ,CAAwB,CAAC;AACrC,CAAC"}

package/dist/document/schema.d.ts

@@ -3,6 +3,16 @@ import type { AppPurpose } from "../job-shape.js";
 export declare const FORMAT = "graview-document";
 export declare const FORMAT_VERSION = 1;
 export declare const MAX_DOCUMENT_BYTES: number;
+/**
+ * HOW AN APP'S PAGE OPENS (Roadmap f-splash-in-document): the styles an
+ * opening screen draws in, and the shaders `@graview/pages/splash` ships
+ * for the `shader` style — named, never written into a document, since
+ * data is never code. The renderer keeps the same two lists.
+ */
+export declare const SPLASH_STYLES: readonly ["plain", "editorial", "shader", "ascii"];
+export type SplashStyle = (typeof SPLASH_STYLES)[number];
+export declare const SPLASH_SHADERS: readonly ["drift", "ripple", "veil", "caustics"];
+export type SplashShader = (typeof SPLASH_SHADERS)[number];
 /** kebab-case: kinds, acts, rules, edges, roles, modules. */
 export declare const NAME: RegExp;
 /** Field names are identifiers so a rule can say them bare: `quote != null`. */
@@ -11,6 +21,14 @@ export declare const FIELD_NAME: RegExp;
 export declare const ALIAS: RegExp;
 /** The most aliases a kind or a field keeps. */
 export declare const MOST_ALIASES = 12;
+/**
+ * How many values a kind may work out (FR-83): each is worked out for every
+ * record a card, a row or a page draws, from a budget of steps of its own,
+ * so the cap bounds what one record costs to read — sixty expressions, not
+ * a price breakdown's worth less (Roadmap f-lifelogics-findings, which met
+ * the twenty it was).
+ */
+export declare const MOST_COMPUTED = 60;
 /**
  * A RELATION'S NAME may be kebab-case or one camelCase word. camelCase is
  * recommended: a rule can then walk it bare (`tendedBy.name`), where
@@ -68,6 +86,7 @@ export declare const FieldSpec: z.ZodMiniLazy<z.ZodMiniObject<{
         percent: "percent";
         markdown: "markdown";
     }>>;
+    places: z.ZodMiniOptional<z.ZodMiniLiteral<0>>;
     min: z.ZodMiniOptional<z.ZodMiniNumber<number>>;
     max: z.ZodMiniOptional<z.ZodMiniNumber<number>>;
     step: z.ZodMiniOptional<z.ZodMiniNumber<number>>;
@@ -97,6 +116,7 @@ export declare const ComputedSpec: z.ZodMiniLazy<z.ZodMiniUnion<readonly [z.ZodM
         percent: "percent";
     }>>;
     unit: z.ZodMiniOptional<z.ZodMiniString<string>>;
+    places: z.ZodMiniOptional<z.ZodMiniLiteral<0>>;
     hidden: z.ZodMiniOptional<z.ZodMiniBoolean<boolean>>;
 }, z.core.$strict>]>>;
 export declare const KindSpec: z.ZodMiniLazy<z.ZodMiniObject<{
@@ -148,6 +168,7 @@ export declare const KindSpec: z.ZodMiniLazy<z.ZodMiniObject<{
             percent: "percent";
             markdown: "markdown";
         }>>;
+        places: z.ZodMiniOptional<z.ZodMiniLiteral<0>>;
         min: z.ZodMiniOptional<z.ZodMiniNumber<number>>;
         max: z.ZodMiniOptional<z.ZodMiniNumber<number>>;
         step: z.ZodMiniOptional<z.ZodMiniNumber<number>>;
@@ -192,6 +213,7 @@ export declare const KindSpec: z.ZodMiniLazy<z.ZodMiniObject<{
             percent: "percent";
         }>>;
         unit: z.ZodMiniOptional<z.ZodMiniString<string>>;
+        places: z.ZodMiniOptional<z.ZodMiniLiteral<0>>;
         hidden: z.ZodMiniOptional<z.ZodMiniBoolean<boolean>>;
     }, z.core.$strict>]>>>;
     fieldRoles: z.ZodMiniOptional<z.ZodMiniRecord<z.ZodMiniString<string>, z.ZodMiniString<string>>>;
@@ -202,6 +224,13 @@ export declare const KindSpec: z.ZodMiniLazy<z.ZodMiniObject<{
         never: "never";
         "no-links": "no-links";
     }>>;
+    derives: z.ZodMiniOptional<z.ZodMiniObject<{
+        from: z.ZodMiniString<string>;
+        via: z.ZodMiniString<string>;
+        set: z.ZodMiniRecord<z.ZodMiniString<string>, z.ZodMiniUnion<readonly [z.ZodMiniString<string>, z.ZodMiniNumber<number>, z.ZodMiniBoolean<boolean>, z.ZodMiniNull, z.ZodMiniArray<z.ZodMiniUnknown>, z.ZodMiniObject<{
+            expr: z.ZodMiniString<string>;
+        }, z.core.$strict>]>>;
+    }, z.core.$strict>>;
 }, z.core.$strict>>;
 export declare const ValueSpec: z.ZodMiniLazy<z.ZodMiniUnion<readonly [z.ZodMiniString<string>, z.ZodMiniNumber<number>, z.ZodMiniBoolean<boolean>, z.ZodMiniNull, z.ZodMiniArray<z.ZodMiniUnknown>, z.ZodMiniObject<{
     expr: z.ZodMiniString<string>;
@@ -243,6 +272,9 @@ export declare const ActSpec: z.ZodMiniLazy<z.ZodMiniObject<{
     setsOther: z.ZodMiniOptional<z.ZodMiniRecord<z.ZodMiniString<string>, z.ZodMiniUnion<readonly [z.ZodMiniString<string>, z.ZodMiniNumber<number>, z.ZodMiniBoolean<boolean>, z.ZodMiniNull, z.ZodMiniArray<z.ZodMiniUnknown>, z.ZodMiniObject<{
         expr: z.ZodMiniString<string>;
     }, z.core.$strict>]>>>;
+    setsLinked: z.ZodMiniOptional<z.ZodMiniRecord<z.ZodMiniString<string>, z.ZodMiniRecord<z.ZodMiniString<string>, z.ZodMiniUnion<readonly [z.ZodMiniString<string>, z.ZodMiniNumber<number>, z.ZodMiniBoolean<boolean>, z.ZodMiniNull, z.ZodMiniArray<z.ZodMiniUnknown>, z.ZodMiniObject<{
+        expr: z.ZodMiniString<string>;
+    }, z.core.$strict>]>>>>;
     replaces: z.ZodMiniOptional<z.ZodMiniUnion<readonly [z.ZodMiniLiteral<true>, z.ZodMiniArray<z.ZodMiniString<string>>]>>;
     removes: z.ZodMiniOptional<z.ZodMiniLiteral<true>>;
     args: z.ZodMiniOptional<z.ZodMiniRecord<z.ZodMiniString<string>, z.ZodMiniObject<{
@@ -289,6 +321,7 @@ export declare const ActSpec: z.ZodMiniLazy<z.ZodMiniObject<{
             percent: "percent";
             markdown: "markdown";
         }>>;
+        places: z.ZodMiniOptional<z.ZodMiniLiteral<0>>;
         min: z.ZodMiniOptional<z.ZodMiniNumber<number>>;
         max: z.ZodMiniOptional<z.ZodMiniNumber<number>>;
         step: z.ZodMiniOptional<z.ZodMiniNumber<number>>;
@@ -329,12 +362,22 @@ export declare const RepairSpec: z.ZodMiniLazy<z.ZodMiniObject<{
         expr: z.ZodMiniString<string>;
     }, z.core.$strict>]>>>;
 }, z.core.$strict>>;
+export declare const CoverSpec: z.ZodMiniLazy<z.ZodMiniObject<{
+    every: z.ZodMiniString<string>;
+    through: z.ZodMiniString<string>;
+    via: z.ZodMiniOptional<z.ZodMiniString<string>>;
+}, z.core.$strict>>;
 export declare const RuleSpec: z.ZodMiniLazy<z.ZodMiniObject<{
     title: z.ZodMiniOptional<z.ZodMiniString<string>>;
     description: z.ZodMiniOptional<z.ZodMiniString<string>>;
     over: z.ZodMiniUnion<readonly [z.ZodMiniLiteral<"graph">, z.ZodMiniString<string>]>;
     when: z.ZodMiniOptional<z.ZodMiniString<string>>;
-    require: z.ZodMiniString<string>;
+    require: z.ZodMiniOptional<z.ZodMiniString<string>>;
+    covers: z.ZodMiniOptional<z.ZodMiniObject<{
+        every: z.ZodMiniString<string>;
+        through: z.ZodMiniString<string>;
+        via: z.ZodMiniOptional<z.ZodMiniString<string>>;
+    }, z.core.$strict>>;
     says: z.ZodMiniOptional<z.ZodMiniString<string>>;
     repairs: z.ZodMiniOptional<z.ZodMiniArray<z.ZodMiniObject<{
         act: z.ZodMiniString<string>;
@@ -351,6 +394,7 @@ export declare const GrantSpec: z.ZodMiniLazy<z.ZodMiniObject<{
     describe: z.ZodMiniOptional<z.ZodMiniString<string>>;
     self: z.ZodMiniOptional<z.ZodMiniBoolean<boolean>>;
     ownEnd: z.ZodMiniOptional<z.ZodMiniBoolean<boolean>>;
+    propose: z.ZodMiniOptional<z.ZodMiniUnion<readonly [z.ZodMiniArray<z.ZodMiniString<string>>, z.ZodMiniLiteral<"*">]>>;
 }, z.core.$strict>>;
 export declare const SightSpec: z.ZodMiniLazy<z.ZodMiniObject<{
     roles: z.ZodMiniUnion<readonly [z.ZodMiniArray<z.ZodMiniString<string>>, z.ZodMiniLiteral<"*">]>;
@@ -368,6 +412,7 @@ export declare const PolicySpec: z.ZodMiniLazy<z.ZodMiniObject<{
         describe: z.ZodMiniOptional<z.ZodMiniString<string>>;
         self: z.ZodMiniOptional<z.ZodMiniBoolean<boolean>>;
         ownEnd: z.ZodMiniOptional<z.ZodMiniBoolean<boolean>>;
+        propose: z.ZodMiniOptional<z.ZodMiniUnion<readonly [z.ZodMiniArray<z.ZodMiniString<string>>, z.ZodMiniLiteral<"*">]>>;
     }, z.core.$strict>>;
     sees: z.ZodMiniOptional<z.ZodMiniArray<z.ZodMiniObject<{
         roles: z.ZodMiniUnion<readonly [z.ZodMiniArray<z.ZodMiniString<string>>, z.ZodMiniLiteral<"*">]>;
@@ -416,6 +461,25 @@ export declare const BrandSpec: z.ZodMiniLazy<z.ZodMiniObject<{
         auto: "auto";
     }>>;
     subtitle: z.ZodMiniOptional<z.ZodMiniLiteral<false>>;
+    splash: z.ZodMiniOptional<z.ZodMiniObject<{
+        style: z.ZodMiniEnum<{
+            plain: "plain";
+            editorial: "editorial";
+            shader: "shader";
+            ascii: "ascii";
+        }>;
+        image: z.ZodMiniOptional<z.ZodMiniString<string>>;
+        title: z.ZodMiniOptional<z.ZodMiniString<string>>;
+        kicker: z.ZodMiniOptional<z.ZodMiniString<string>>;
+        shader: z.ZodMiniOptional<z.ZodMiniString<string>>;
+    }, z.core.$strict>>;
+    views: z.ZodMiniOptional<z.ZodMiniObject<{
+        css: z.ZodMiniOptional<z.ZodMiniString<string>>;
+        motion: z.ZodMiniOptional<z.ZodMiniEnum<{
+            none: "none";
+            fade: "fade";
+        }>>;
+    }, z.core.$strict>>;
 }, z.core.$strict>>;
 export declare const PagesSpec: z.ZodMiniLazy<z.ZodMiniObject<{
     order: z.ZodMiniOptional<z.ZodMiniArray<z.ZodMiniString<string>>>;
@@ -504,6 +568,7 @@ export declare const DocumentSpec: z.ZodMiniLazy<z.ZodMiniObject<{
                 percent: "percent";
                 markdown: "markdown";
             }>>;
+            places: z.ZodMiniOptional<z.ZodMiniLiteral<0>>;
             min: z.ZodMiniOptional<z.ZodMiniNumber<number>>;
             max: z.ZodMiniOptional<z.ZodMiniNumber<number>>;
             step: z.ZodMiniOptional<z.ZodMiniNumber<number>>;
@@ -548,6 +613,7 @@ export declare const DocumentSpec: z.ZodMiniLazy<z.ZodMiniObject<{
                 percent: "percent";
             }>>;
             unit: z.ZodMiniOptional<z.ZodMiniString<string>>;
+            places: z.ZodMiniOptional<z.ZodMiniLiteral<0>>;
             hidden: z.ZodMiniOptional<z.ZodMiniBoolean<boolean>>;
         }, z.core.$strict>]>>>;
         fieldRoles: z.ZodMiniOptional<z.ZodMiniRecord<z.ZodMiniString<string>, z.ZodMiniString<string>>>;
@@ -558,6 +624,13 @@ export declare const DocumentSpec: z.ZodMiniLazy<z.ZodMiniObject<{
             never: "never";
             "no-links": "no-links";
         }>>;
+        derives: z.ZodMiniOptional<z.ZodMiniObject<{
+            from: z.ZodMiniString<string>;
+            via: z.ZodMiniString<string>;
+            set: z.ZodMiniRecord<z.ZodMiniString<string>, z.ZodMiniUnion<readonly [z.ZodMiniString<string>, z.ZodMiniNumber<number>, z.ZodMiniBoolean<boolean>, z.ZodMiniNull, z.ZodMiniArray<z.ZodMiniUnknown>, z.ZodMiniObject<{
+                expr: z.ZodMiniString<string>;
+            }, z.core.$strict>]>>;
+        }, z.core.$strict>>;
     }, z.core.$strict>>;
     computed: z.ZodMiniOptional<z.ZodMiniRecord<z.ZodMiniString<string>, z.ZodMiniUnion<readonly [z.ZodMiniString<string>, z.ZodMiniObject<{
         expr: z.ZodMiniString<string>;
@@ -569,6 +642,7 @@ export declare const DocumentSpec: z.ZodMiniLazy<z.ZodMiniObject<{
             percent: "percent";
         }>>;
         unit: z.ZodMiniOptional<z.ZodMiniString<string>>;
+        places: z.ZodMiniOptional<z.ZodMiniLiteral<0>>;
         hidden: z.ZodMiniOptional<z.ZodMiniBoolean<boolean>>;
     }, z.core.$strict>]>>>;
     acts: z.ZodMiniOptional<z.ZodMiniRecord<z.ZodMiniString<string>, z.ZodMiniObject<{
@@ -586,6 +660,9 @@ export declare const DocumentSpec: z.ZodMiniLazy<z.ZodMiniObject<{
         setsOther: z.ZodMiniOptional<z.ZodMiniRecord<z.ZodMiniString<string>, z.ZodMiniUnion<readonly [z.ZodMiniString<string>, z.ZodMiniNumber<number>, z.ZodMiniBoolean<boolean>, z.ZodMiniNull, z.ZodMiniArray<z.ZodMiniUnknown>, z.ZodMiniObject<{
             expr: z.ZodMiniString<string>;
         }, z.core.$strict>]>>>;
+        setsLinked: z.ZodMiniOptional<z.ZodMiniRecord<z.ZodMiniString<string>, z.ZodMiniRecord<z.ZodMiniString<string>, z.ZodMiniUnion<readonly [z.ZodMiniString<string>, z.ZodMiniNumber<number>, z.ZodMiniBoolean<boolean>, z.ZodMiniNull, z.ZodMiniArray<z.ZodMiniUnknown>, z.ZodMiniObject<{
+            expr: z.ZodMiniString<string>;
+        }, z.core.$strict>]>>>>;
         replaces: z.ZodMiniOptional<z.ZodMiniUnion<readonly [z.ZodMiniLiteral<true>, z.ZodMiniArray<z.ZodMiniString<string>>]>>;
         removes: z.ZodMiniOptional<z.ZodMiniLiteral<true>>;
         args: z.ZodMiniOptional<z.ZodMiniRecord<z.ZodMiniString<string>, z.ZodMiniObject<{
@@ -632,6 +709,7 @@ export declare const DocumentSpec: z.ZodMiniLazy<z.ZodMiniObject<{
                 percent: "percent";
                 markdown: "markdown";
             }>>;
+            places: z.ZodMiniOptional<z.ZodMiniLiteral<0>>;
             min: z.ZodMiniOptional<z.ZodMiniNumber<number>>;
             max: z.ZodMiniOptional<z.ZodMiniNumber<number>>;
             step: z.ZodMiniOptional<z.ZodMiniNumber<number>>;
@@ -670,7 +748,12 @@ export declare const DocumentSpec: z.ZodMiniLazy<z.ZodMiniObject<{
         description: z.ZodMiniOptional<z.ZodMiniString<string>>;
         over: z.ZodMiniUnion<readonly [z.ZodMiniLiteral<"graph">, z.ZodMiniString<string>]>;
         when: z.ZodMiniOptional<z.ZodMiniString<string>>;
-        require: z.ZodMiniString<string>;
+        require: z.ZodMiniOptional<z.ZodMiniString<string>>;
+        covers: z.ZodMiniOptional<z.ZodMiniObject<{
+            every: z.ZodMiniString<string>;
+            through: z.ZodMiniString<string>;
+            via: z.ZodMiniOptional<z.ZodMiniString<string>>;
+        }, z.core.$strict>>;
         says: z.ZodMiniOptional<z.ZodMiniString<string>>;
         repairs: z.ZodMiniOptional<z.ZodMiniArray<z.ZodMiniObject<{
             act: z.ZodMiniString<string>;
@@ -689,6 +772,7 @@ export declare const DocumentSpec: z.ZodMiniLazy<z.ZodMiniObject<{
             describe: z.ZodMiniOptional<z.ZodMiniString<string>>;
             self: z.ZodMiniOptional<z.ZodMiniBoolean<boolean>>;
             ownEnd: z.ZodMiniOptional<z.ZodMiniBoolean<boolean>>;
+            propose: z.ZodMiniOptional<z.ZodMiniUnion<readonly [z.ZodMiniArray<z.ZodMiniString<string>>, z.ZodMiniLiteral<"*">]>>;
         }, z.core.$strict>>;
         sees: z.ZodMiniOptional<z.ZodMiniArray<z.ZodMiniObject<{
             roles: z.ZodMiniUnion<readonly [z.ZodMiniArray<z.ZodMiniString<string>>, z.ZodMiniLiteral<"*">]>;
@@ -801,11 +885,31 @@ export declare const DocumentSpec: z.ZodMiniLazy<z.ZodMiniObject<{
             auto: "auto";
         }>>;
         subtitle: z.ZodMiniOptional<z.ZodMiniLiteral<false>>;
+        splash: z.ZodMiniOptional<z.ZodMiniObject<{
+            style: z.ZodMiniEnum<{
+                plain: "plain";
+                editorial: "editorial";
+                shader: "shader";
+                ascii: "ascii";
+            }>;
+            image: z.ZodMiniOptional<z.ZodMiniString<string>>;
+            title: z.ZodMiniOptional<z.ZodMiniString<string>>;
+            kicker: z.ZodMiniOptional<z.ZodMiniString<string>>;
+            shader: z.ZodMiniOptional<z.ZodMiniString<string>>;
+        }, z.core.$strict>>;
+        views: z.ZodMiniOptional<z.ZodMiniObject<{
+            css: z.ZodMiniOptional<z.ZodMiniString<string>>;
+            motion: z.ZodMiniOptional<z.ZodMiniEnum<{
+                none: "none";
+                fade: "fade";
+            }>>;
+        }, z.core.$strict>>;
     }, z.core.$strict>>;
     settings: z.ZodMiniOptional<z.ZodMiniArray<z.ZodMiniRecord<z.ZodMiniString<string>, z.ZodMiniUnknown>>>;
     migrations: z.ZodMiniOptional<z.ZodMiniArray<z.ZodMiniRecord<z.ZodMiniString<string>, z.ZodMiniUnknown>>>;
     connections: z.ZodMiniOptional<z.ZodMiniRecord<z.ZodMiniString<string>, z.ZodMiniRecord<z.ZodMiniString<string>, z.ZodMiniUnknown>>>;
     purpose: z.ZodMiniOptional<z.ZodMiniType<AppPurpose, unknown, z.core.$ZodTypeInternals<AppPurpose, unknown>>>;
+    workflows: z.ZodMiniOptional<z.ZodMiniType<Readonly<Record<string, import("../workflow-shape.js").WorkflowDeclaration>>, unknown, z.core.$ZodTypeInternals<Readonly<Record<string, import("../workflow-shape.js").WorkflowDeclaration>>, unknown>>>;
     forms: z.ZodMiniOptional<z.ZodMiniRecord<z.ZodMiniString<string>, z.ZodMiniObject<{
         act: z.ZodMiniString<string>;
         title: z.ZodMiniOptional<z.ZodMiniString<string>>;
@@ -823,6 +927,9 @@ export declare const DocumentSpec: z.ZodMiniLazy<z.ZodMiniObject<{
         working: z.ZodMiniArray<z.ZodMiniString<string>>;
         publishers: z.ZodMiniOptional<z.ZodMiniArray<z.ZodMiniString<string>>>;
     }, z.core.$strict>>;
+    tidying: z.ZodMiniOptional<z.ZodMiniObject<{
+        autoAcceptAt: z.ZodMiniOptional<z.ZodMiniNumber<number>>;
+    }, z.core.$strict>>;
 }, z.core.$strict>>;
 export type FieldSpec = z.infer<typeof FieldSpec>;
 export type EdgeSpec = z.infer<typeof EdgeSpec>;
@@ -832,6 +939,7 @@ export type ValueSpec = z.infer<typeof ValueSpec>;
 export type EffectSpec = z.infer<typeof EffectSpec>;
 export type ActSpec = z.infer<typeof ActSpec>;
 export type RuleSpec = z.infer<typeof RuleSpec>;
+export type CoverSpec = z.infer<typeof CoverSpec>;
 export type SightSpec = z.infer<typeof SightSpec>;
 export type PolicySpec = z.infer<typeof PolicySpec>;
 export type BrandSpec = z.infer<typeof BrandSpec>;

package/dist/document/schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/document/schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,kBAAkB,CAAC;AAEtC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAclD,eAAO,MAAM,MAAM,qBAAqB,CAAC;AACzC,eAAO,MAAM,cAAc,IAAI,CAAC;AAChC,eAAO,MAAM,kBAAkB,QAAa,CAAC;AAI7C,6DAA6D;AAC7D,eAAO,MAAM,IAAI,QAAoC,CAAC;AACtD,gFAAgF;AAChF,eAAO,MAAM,UAAU,QAAwB,CAAC;AAChD,gKAAgK;AAChK,eAAO,MAAM,KAAK,QAA+D,CAAC;AAClF,gDAAgD;AAChD,eAAO,MAAM,YAAY,KAAK,CAAC;AAG/B;;;;GAIG;AACH,eAAO,MAAM,SAAS,QAA0D,CAAC;AAEjF;;;;GAIG;AACH,eAAO,MAAM,WAAW,qLAAsL,CAAC;AAC/M,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC;AAsgBrD,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBAAmC,CAAC;AAC1D,eAAO,MAAM,QAAQ;;;;;;;;;;;mBAAkC,CAAC;AACxD,eAAO,MAAM,YAAY;;;;;;;;;;;qBAAsC,CAAC;AAChE,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBAAkC,CAAC;AACxD,eAAO,MAAM,SAAS;;qBAAmC,CAAC;AAC1D,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;;qBAAoC,CAAC;AAC5D,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBAAiC,CAAC;AACtD,eAAO,MAAM,UAAU;;;;;;mBAAoC,CAAC;AAC5D,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;mBAAkC,CAAC;AACxD,eAAO,MAAM,SAAS;;;;;;;mBAAmC,CAAC;AAC1D,eAAO,MAAM,SAAS;;;;;;;mBAAmC,CAAC;AAC1D,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;mBAAoC,CAAC;AAC5D,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBAAmC,CAAC;AAC1D,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAAmC,CAAC;AAC1D,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBAAsC,CAAC;AAEhE,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAClD,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;AAChD,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AACxD,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;AAChD,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAClD,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AACpD,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;AAC9C,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;AAChD,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAClD,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AACpD,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAClD,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC"}
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/document/schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,kBAAkB,CAAC;AAEtC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAelD,eAAO,MAAM,MAAM,qBAAqB,CAAC;AACzC,eAAO,MAAM,cAAc,IAAI,CAAC;AAChC,eAAO,MAAM,kBAAkB,QAAa,CAAC;AAI7C;;;;;GAKG;AACH,eAAO,MAAM,aAAa,oDAAqD,CAAC;AAChF,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;AACzD,eAAO,MAAM,cAAc,kDAAmD,CAAC;AAC/E,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;AAE3D,6DAA6D;AAC7D,eAAO,MAAM,IAAI,QAAoC,CAAC;AACtD,gFAAgF;AAChF,eAAO,MAAM,UAAU,QAAwB,CAAC;AAChD,gKAAgK;AAChK,eAAO,MAAM,KAAK,QAA+D,CAAC;AAClF,gDAAgD;AAChD,eAAO,MAAM,YAAY,KAAK,CAAC;AAC/B;;;;;;GAMG;AACH,eAAO,MAAM,aAAa,KAAK,CAAC;AAGhC;;;;GAIG;AACH,eAAO,MAAM,SAAS,QAA0D,CAAC;AAEjF;;;;GAIG;AACH,eAAO,MAAM,WAAW,qLAAsL,CAAC;AAC/M,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC;AA6mBrD,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBAAmC,CAAC;AAC1D,eAAO,MAAM,QAAQ;;;;;;;;;;;mBAAkC,CAAC;AACxD,eAAO,MAAM,YAAY;;;;;;;;;;;;qBAAsC,CAAC;AAChE,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBAAkC,CAAC;AACxD,eAAO,MAAM,SAAS;;qBAAmC,CAAC;AAC1D,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;;qBAAoC,CAAC;AAC5D,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBAAiC,CAAC;AACtD,eAAO,MAAM,UAAU;;;;;;mBAAoC,CAAC;AAC5D,eAAO,MAAM,SAAS;;;;mBAAmC,CAAC;AAC1D,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;mBAAkC,CAAC;AACxD,eAAO,MAAM,SAAS;;;;;;;;mBAAmC,CAAC;AAC1D,eAAO,MAAM,SAAS;;;;;;;mBAAmC,CAAC;AAC1D,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;;mBAAoC,CAAC;AAC5D,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBAAmC,CAAC;AAC1D,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAAmC,CAAC;AAC1D,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBAAsC,CAAC;AAEhE,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAClD,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;AAChD,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AACxD,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;AAChD,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAClD,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AACpD,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;AAC9C,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;AAChD,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAClD,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAClD,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AACpD,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAClD,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC"}