@graview/core 0.1.54 → 0.1.56

package/dist/job-findings.js

@@ -0,0 +1,171 @@
+import { listFieldsOf } from "./arrangement.js";
+import { documentRelationActOf } from "./document/relation-acts.js";
+import { error } from "./document/findings.js";
+import { PurposeSpec } from "./document/purpose-spec.js";
+import { documentListFields } from "./kind-list.js";
+import { derivedActOf, givenWhenNeverArchived } from "./mutations/derived-names.js";
+import { deriveMutations, subjectKindsOf } from "./mutations/derive-edits.js";
+import { linkedEdges, localEdges } from "./schema/linked.js";
+import { analyzeExpr } from "./document/expr/analyze.js";
+import { ExprSyntaxError, parseExpr } from "./document/expr/parse.js";
+import { gridSortOf } from "./grid-sort.js";
+import { MOST_JOBS } from "./job-shape.js";
+const quotedList = (names) => [...names].map((name) => `"${name}"`).join(", ") || "none";
+/** What is wrong with one job's `where`, said in sentences, or nothing. */
+function whereProblems(job, kind, world) {
+    if (job.where === undefined)
+        return [];
+    let shape;
+    try {
+        shape = analyzeExpr(parseExpr(job.where));
+    }
+    catch (e) {
+        if (!(e instanceof ExprSyntaxError))
+            throw e;
+        return [`its where does not read: ${e.sentence} (at character ${e.at + 1})`];
+    }
+    const problems = [];
+    for (const fn of shape.unknownFunctions)
+        problems.push(`its where calls "${fn}", which is not a function the rule language knows`);
+    const edges = new Set([...world.kinds.values()].flatMap((k) => [...k.edges]));
+    for (const name of shape.names) {
+        if (name.startsWith("$") || name === "id" || name === "label" || kind.fields[name] || kind.edges.has(name) || kind.computed.includes(name))
+            continue;
+        problems.push(`its where reads "${name}", and ${job.kind} has no field, relation or computed field called that`);
+    }
+    for (const edge of shape.edges)
+        if (!edges.has(edge))
+            problems.push(`its where walks "${edge}", which is not a relation any kind declares`);
+    for (const swept of shape.sweeps)
+        if (!world.kinds.has(swept))
+            problems.push(`its where reads all('${swept}'), and "${swept}" is not a kind of this app`);
+    return problems;
+}
+/** Every finding about an app's jobs, in the order they stand. */
+export function jobFindings(purpose, world) {
+    const jobs = purpose?.jobs ?? [];
+    const out = [];
+    if (jobs.length > MOST_JOBS) {
+        out.push({ code: "jobs-too-many", message: `The app declares ${jobs.length} jobs; at most ${MOST_JOBS} say what its people come to do.`, fix: `Keep the ${MOST_JOBS} that matter most, and fold the rest into them.` });
+    }
+    const named = new Map();
+    jobs.forEach((job, index) => {
+        const said = `The job "${job.name}"`;
+        const first = named.get(job.name);
+        if (first !== undefined)
+            out.push({ code: "job-name-taken", index, key: "name", message: `${said} is declared twice (jobs ${first} and ${index}).`, fix: "Give each job a name of its own." });
+        else
+            named.set(job.name, index);
+        const kind = world.kinds.get(job.kind);
+        if (!kind) {
+            out.push({ code: "job-kind", index, key: "kind", message: `${said} is answered by "${job.kind}", which is not a kind of this app.`, fix: `Name one of its kinds: ${quotedList(world.kinds.keys())}.` });
+        }
+        else {
+            for (const problem of whereProblems(job, kind, world))
+                out.push({ code: "job-where", index, key: "where", message: `${said} cannot be answered: ${problem}.`, fix: `Write it in the rule language over the fields of "${job.kind}" (${quotedList(Object.keys(kind.fields))}) and relations.` });
+            if (job.sort !== undefined) {
+                const sortable = ["label", ...Object.entries(kind.fields).filter(([, field]) => field.type !== "other").map(([name]) => name), ...kind.computed];
+                const by = gridSortOf(job.sort)?.by;
+                if (by === undefined || !sortable.includes(by)) {
+                    const field = by === undefined ? undefined : kind.fields[by];
+                    out.push({
+                        code: "job-sort",
+                        index,
+                        key: "sort",
+                        message: `${said} cannot be sorted by "${by ?? ""}": ${field ? "it is a field no list sorts by (a list, a file, a picture)" : `${job.kind} has no field or computed field called that`}.`,
+                        fix: `Sort by ${quotedList(sortable)}.`,
+                    });
+                }
+            }
+        }
+        if (job.act !== undefined) {
+            const on = world.actOn(job.act);
+            if (on === undefined)
+                out.push({ code: "job-act", index, key: "act", message: `${said} names "${job.act}" as what people do next, which is not an act of this app.`, fix: "Name an act whose subject is the job's kind, or leave act out." });
+            else if (kind && !on.includes(job.kind)) {
+                out.push({
+                    code: "job-act-kind",
+                    index,
+                    key: "act",
+                    message: `${said} names "${job.act}" as what people do next with its "${job.kind}" records, and "${job.act}" ${on.length === 0 ? "acts on no record" : `acts on ${quotedList(on)}`}.`,
+                    fix: `Name an act that acts on "${job.kind}" records, or leave act out.`,
+                });
+            }
+        }
+        for (const role of job.roles ?? []) {
+            if (world.roles.has(role))
+                continue;
+            out.push({ code: "job-role", index, key: "roles", message: `${said} is for "${role}", which is not one of the app's roles.`, fix: world.roles.size > 0 ? `Name one of ${quotedList(world.roles)}, or leave roles out for everybody.` : "The app declares no roles; leave roles out, and the job is everybody's." });
+        }
+    });
+    return out;
+}
+/** A job finding's place in a document: `purpose.jobs.2.where`, or `purpose.jobs` for the list. */
+export const documentJobPath = (finding) => `purpose.jobs${finding.index === undefined ? "" : `.${finding.index}${finding.key ? `.${finding.key}` : ""}`}`;
+/** A document's jobs, judged with its own sentences at its own paths: what `compileDocument` and `graview check` say of one. */
+export function documentJobFindings(document) {
+    if (document.purpose === undefined)
+        return [];
+    // The shape first, said as the compiler says a document's: a purpose that is not one is judged no further.
+    const parsed = PurposeSpec.safeParse(document.purpose);
+    if (!parsed.success) {
+        return parsed.error.issues.map((issue) => {
+            const path = ["purpose", ...issue.path.map(String)].join(".");
+            const keys = issue.keys;
+            return keys ? error("unknown-key", path, `${keys.map((k) => `"${k}"`).join(", ")} ${keys.length === 1 ? "is" : "are"} not part of a Graview document here`, "a purpose says for and jobs; a job says name, ask, kind, where, sort, act and roles") : error("shape", path, issue.message);
+        });
+    }
+    if (!document.purpose.jobs)
+        return [];
+    return jobFindings(document.purpose, jobWorldOfDocument(document)).map((finding) => error(finding.code, documentJobPath(finding), finding.message, finding.fix));
+}
+/** The roles a policy and its sights name, beside the ones declared. */
+function rolesNamed(declared, parts) {
+    return new Set([...(declared ?? []), ...parts.flatMap((part) => (part.roles === "*" ? [] : part.roles))]);
+}
+/** What a compiled or TypeScript app's jobs may name: its kinds, every act it has (derived ones too) and its roles. */
+export function jobWorldOfApp(app) {
+    const schema = app.schema;
+    const kinds = new Map();
+    for (const kind of schema.kinds) {
+        const definition = schema.tryDefinition(kind);
+        kinds.set(kind, { ...listFieldsOf(schema, kind), edges: new Set(Object.keys(definition?.edges ?? {})) });
+    }
+    const declared = app.mutations ?? [];
+    const acts = new Map([...declared, ...deriveMutations(schema, declared)].map((mutation) => [mutation.name, mutation]));
+    const policy = app.policy;
+    return {
+        kinds,
+        actOn: (name) => {
+            const mutation = acts.get(name);
+            return mutation ? subjectKindsOf(schema, mutation) : undefined;
+        },
+        roles: rolesNamed(policy?.roles, [...(policy?.grants ?? []), ...(policy?.sees ?? [])]),
+    };
+}
+/** What a document's jobs may name, read off the document alone: what an edit judges a job by before anything is compiled. */
+export function jobWorldOfDocument(document) {
+    const kinds = new Map();
+    for (const [kind, spec] of Object.entries(document.kinds)) {
+        const listed = documentListFields(spec);
+        // A relation to another app's kind is kept in a field of the record that links (FR-171): read like a relation, sorted by nothing.
+        const linked = Object.fromEntries([...linkedEdges(spec.edges).keys()].map((name) => [name, { type: "other" }]));
+        kinds.set(kind, { fields: { ...listed.fields, ...linked }, computed: listed.computed, edges: new Set(Object.keys(localEdges(spec.edges))) });
+    }
+    const acts = document.acts ?? {};
+    return {
+        kinds,
+        actOn: (name) => {
+            const act = acts[name];
+            if (act)
+                return [act.on ?? []].flat();
+            const derived = derivedActOf(name);
+            if (derived && document.kinds[derived.kind] && (document.kinds[derived.kind].archives !== false || givenWhenNeverArchived(derived.act)))
+                return [derived.kind];
+            const relation = documentRelationActOf(name, document.kinds);
+            return relation ? [relation.kind] : undefined;
+        },
+        roles: rolesNamed(document.roles, [...(document.policy?.grants ?? []), ...(document.policy?.sees ?? [])]),
+    };
+}
+//# sourceMappingURL=job-findings.js.map

package/dist/job-findings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"job-findings.js","sourceRoot":"","sources":["../src/job-findings.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAmB,MAAM,kBAAkB,CAAC;AAEjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AAEpE,OAAO,EAAE,KAAK,EAAgB,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACpF,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC9E,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAE7D,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AACtE,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAwC,MAAM,gBAAgB,CAAC;AAyCjF,MAAM,UAAU,GAAG,CAAC,KAAuB,EAAU,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC;AAEnH,2EAA2E;AAC3E,SAAS,aAAa,CAAC,GAAmB,EAAE,IAAa,EAAE,KAAe;IACxE,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACvC,IAAI,KAAqC,CAAC;IAC1C,IAAI,CAAC;QACH,KAAK,GAAG,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,CAAC,CAAC,YAAY,eAAe,CAAC;YAAE,MAAM,CAAC,CAAC;QAC7C,OAAO,CAAC,4BAA4B,CAAC,CAAC,QAAQ,kBAAkB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/E,CAAC;IACD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,gBAAgB;QAAE,QAAQ,CAAC,IAAI,CAAC,oBAAoB,EAAE,oDAAoD,CAAC,CAAC;IACnI,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9E,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,SAAS;QACrJ,QAAQ,CAAC,IAAI,CAAC,oBAAoB,IAAI,UAAU,GAAG,CAAC,IAAI,uDAAuD,CAAC,CAAC;IACnH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK;QAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,oBAAoB,IAAI,8CAA8C,CAAC,CAAC;IAC5I,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM;QAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,wBAAwB,KAAK,YAAY,KAAK,6BAA6B,CAAC,CAAC;IAC1J,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,WAAW,CAAC,OAA+B,EAAE,KAAe;IAC1E,MAAM,IAAI,GAAG,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC;IACjC,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,IAAI,IAAI,CAAC,MAAM,GAAG,SAAS,EAAE,CAAC;QAC5B,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,oBAAoB,IAAI,CAAC,MAAM,kBAAkB,SAAS,kCAAkC,EAAE,GAAG,EAAE,YAAY,SAAS,iDAAiD,EAAE,CAAC,CAAC;IAC1N,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;QAC1B,MAAM,IAAI,GAAG,YAAY,GAAG,CAAC,IAAI,GAAG,CAAC;QACrC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,KAAK,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,4BAA4B,KAAK,QAAQ,KAAK,IAAI,EAAE,GAAG,EAAE,kCAAkC,EAAE,CAAC,CAAC;;YAC1L,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAEhC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,oBAAoB,GAAG,CAAC,IAAI,qCAAqC,EAAE,GAAG,EAAE,0BAA0B,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QAC1M,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,OAAO,IAAI,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,IAAI,wBAAwB,OAAO,GAAG,EAAE,GAAG,EAAE,qDAAqD,GAAG,CAAC,IAAI,MAAM,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,kBAAkB,EAAE,CAAC,CAAC;YAChS,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC3B,MAAM,QAAQ,GAAG,CAAC,OAAO,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACjJ,MAAM,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;gBACpC,IAAI,EAAE,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC/C,MAAM,KAAK,GAAG,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;oBAC7D,GAAG,CAAC,IAAI,CAAC;wBACP,IAAI,EAAE,UAAU;wBAChB,KAAK;wBACL,GAAG,EAAE,MAAM;wBACX,OAAO,EAAE,GAAG,IAAI,yBAAyB,EAAE,IAAI,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,4DAA4D,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,6CAA6C,GAAG;wBACzL,GAAG,EAAE,WAAW,UAAU,CAAC,QAAQ,CAAC,GAAG;qBACxC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,GAAG,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChC,IAAI,EAAE,KAAK,SAAS;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,IAAI,WAAW,GAAG,CAAC,GAAG,4DAA4D,EAAE,GAAG,EAAE,gEAAgE,EAAE,CAAC,CAAC;iBACzO,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxC,GAAG,CAAC,IAAI,CAAC;oBACP,IAAI,EAAE,cAAc;oBACpB,KAAK;oBACL,GAAG,EAAE,KAAK;oBACV,OAAO,EAAE,GAAG,IAAI,WAAW,GAAG,CAAC,GAAG,sCAAsC,GAAG,CAAC,IAAI,mBAAmB,GAAG,CAAC,GAAG,KAAK,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,WAAW,UAAU,CAAC,EAAE,CAAC,EAAE,GAAG;oBACrL,GAAG,EAAE,6BAA6B,GAAG,CAAC,IAAI,8BAA8B;iBACzE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;YACnC,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YACpC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,IAAI,YAAY,IAAI,yCAAyC,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,qCAAqC,CAAC,CAAC,CAAC,yEAAyE,EAAE,CAAC,CAAC;QACtT,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC;AAED,mGAAmG;AACnG,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,OAA0C,EAAU,EAAE,CACpF,eAAe,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC;AAEjH,gIAAgI;AAChI,MAAM,UAAU,mBAAmB,CAAC,QAAyB;IAC3D,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAC9C,2GAA2G;IAC3G,MAAM,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACvD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;YACvC,MAAM,IAAI,GAAG,CAAC,SAAS,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC9D,MAAM,IAAI,GAAI,KAAsC,CAAC,IAAI,CAAC;YAC1D,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,sCAAsC,EAAE,qFAAqF,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QAC3R,CAAC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IACtC,OAAO,WAAW,CAAC,QAAQ,CAAC,OAAO,EAAE,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;AACnK,CAAC;AAED,wEAAwE;AACxE,SAAS,UAAU,CAAC,QAAuC,EAAE,KAA6D;IACxH,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5G,CAAC;AAED,uHAAuH;AACvH,MAAM,UAAU,aAAa,CAAsB,GAAkB;IACnE,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;IAC1B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmB,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAA0B,EAAE,CAAC;QACrD,MAAM,UAAU,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAoD,CAAC;QACjG,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAC3G,CAAC;IACD,MAAM,QAAQ,GAAG,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,EAAE,GAAG,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvH,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;IAC1B,OAAO;QACL,KAAK;QACL,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE;YACd,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChC,OAAO,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,EAAE,QAAiB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1E,CAAC;QACD,KAAK,EAAE,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;KACvF,CAAC;AACJ,CAAC;AAED,8HAA8H;AAC9H,MAAM,UAAU,kBAAkB,CAAC,QAAyB;IAC1D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmB,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1D,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QACxC,kIAAkI;QAClI,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAgB,EAAE,CAAC,CAAC,CAAC,CAAC;QACzH,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC/I,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,IAAI,EAAE,CAAC;IACjC,OAAO;QACL,KAAK;QACL,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE;YACd,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;YACvB,IAAI,GAAG;gBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACtC,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,OAAO,IAAI,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAE,CAAC,QAAQ,KAAK,KAAK,IAAI,sBAAsB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAChK,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC7D,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAChD,CAAC;QACD,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;KAC1G,CAAC;AACJ,CAAC"}

package/dist/job-shape.d.ts

@@ -0,0 +1,57 @@
+/**
+ * WHO AN APP IS FOR AND WHAT THEY COME TO DO (Roadmap f-app-jobs).
+ *
+ *   purpose: {
+ *     for: "The couple and their planner, mostly on phones",
+ *     jobs: [{ name: "unbooked-soon", ask: "What's still unbooked and due this month?",
+ *              kind: "vendor", where: "status != 'booked' and due <= today() + 30", sort: "due", act: "book" }],
+ *   }
+ *
+ * Until now nothing in a declaration said whom it served or what they come
+ * to it to find out, so every look was assembled field by field from a type
+ * table. A job is that question in the people's own words, and the answer as
+ * the framework can work it out: the records of one kind that a rule-language
+ * condition holds for (`where`, the record as its subject, as a computed field
+ * reads), in an order (`sort`, as a kind's list takes one), with the act
+ * people usually take next on one (`act`), for some roles or everybody.
+ *
+ * The same shape in a document (`purpose`) and in `defineApp({ purpose })`:
+ * `where` is the rule language's words in both, so a TypeScript app's jobs
+ * are judged and answered exactly as a document's are. `graview check` holds
+ * each to the declaration (`job-*`); `@graview/core/jobs` resolves them
+ * (`jobsOf`) and answers one as a seat may see it (`answerJob`).
+ */
+export interface AppPurpose {
+    /** Who uses the app and where, in words: "The couple and their planner, mostly on phones". 1–300 characters. */
+    readonly for?: string;
+    /** What they come to do, at most twelve. */
+    readonly jobs?: readonly JobDeclaration[];
+}
+/** A job's order: a field, a computed field or `label`, lowest first — or `{ by, direction }`. */
+export type JobSort = string | {
+    readonly by: string;
+    readonly direction?: "asc" | "desc";
+};
+export interface JobDeclaration {
+    /** Kebab-case, unique among the app's jobs, like an act's name: "unbooked-soon". */
+    readonly name: string;
+    /** The question in the people's own words: "What's still unbooked and due this month?" 1–200 characters. */
+    readonly ask: string;
+    /** The kind whose records answer it. */
+    readonly kind: string;
+    /** Which of them, in the rule language with the record as subject: "status != 'booked' and due <= today() + 30". Every one, unsaid. */
+    readonly where?: string;
+    /** The order the answer comes in. As they are stored, unsaid. */
+    readonly sort?: JobSort;
+    /** The act people usually take next on one: an act whose subject is the kind. */
+    readonly act?: string;
+    /** The roles the job is for. Everybody, unsaid. */
+    readonly roles?: readonly string[];
+}
+/** Whether a job is for a seat holding these roles: one that names no roles is everybody's. */
+export declare const jobIsFor: (job: {
+    readonly roles?: readonly string[];
+}, held: readonly string[] | undefined) => boolean;
+/** The most jobs an app declares: past a dozen, the app is no longer saying what matters most. */
+export declare const MOST_JOBS = 12;
+//# sourceMappingURL=job-shape.d.ts.map

package/dist/job-shape.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"job-shape.d.ts","sourceRoot":"","sources":["../src/job-shape.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,WAAW,UAAU;IACzB,gHAAgH;IAChH,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,4CAA4C;IAC5C,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;CAC3C;AAED,kGAAkG;AAClG,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,KAAK,GAAG,MAAM,CAAA;CAAE,CAAC;AAE5F,MAAM,WAAW,cAAc;IAC7B,oFAAoF;IACpF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,4GAA4G;IAC5G,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,wCAAwC;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,uIAAuI;IACvI,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,iEAAiE;IACjE,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;IACxB,iFAAiF;IACjF,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,mDAAmD;IACnD,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAED,+FAA+F;AAC/F,eAAO,MAAM,QAAQ,GAAI,KAAK;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,EAAE,MAAM,SAAS,MAAM,EAAE,GAAG,SAAS,KAAG,OACA,CAAC;AAE7G,kGAAkG;AAClG,eAAO,MAAM,SAAS,KAAK,CAAC"}

package/dist/job-shape.js

@@ -0,0 +1,5 @@
+/** Whether a job is for a seat holding these roles: one that names no roles is everybody's. */
+export const jobIsFor = (job, held) => job.roles === undefined || job.roles.length === 0 || job.roles.some((role) => (held ?? []).includes(role));
+/** The most jobs an app declares: past a dozen, the app is no longer saying what matters most. */
+export const MOST_JOBS = 12;
+//# sourceMappingURL=job-shape.js.map

package/dist/job-shape.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"job-shape.js","sourceRoot":"","sources":["../src/job-shape.ts"],"names":[],"mappings":"AAkDA,+FAA+F;AAC/F,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,GAA2C,EAAE,IAAmC,EAAW,EAAE,CACpH,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;AAE7G,kGAAkG;AAClG,MAAM,CAAC,MAAM,SAAS,GAAG,EAAE,CAAC"}

package/dist/jobs.d.ts

@@ -0,0 +1,62 @@
+/**
+ * `@graview/core/jobs` — WHAT AN APP'S PEOPLE COME TO DO, ANSWERED
+ * (Roadmap f-app-jobs).
+ *
+ * `jobsOf(app)` reads the declaration's `purpose.jobs` in their whole form —
+ * each order said with its direction, the kind's plural beside it — and
+ * `jobsFor` narrows them to a seat's roles. `answerJob(store, job,
+ * principal)` answers one AS THAT SEAT SEES THE APP: the records of the
+ * job's kind its `where` holds for, read through `store.seenBy(principal)`,
+ * so a record kept from the seat is never counted, never sorted and never
+ * named, and a field kept from it reads as nothing.
+ *
+ * An entry of its own: a page that draws no job carries none of it, and the
+ * checker's sentences about jobs (`job-*`) are `graview check`'s.
+ */
+import type { GraviewApp } from "./app.js";
+import { type JobDeclaration } from "./job-shape.js";
+import type { Principal } from "./permissions/types.js";
+import type { AnySchema } from "./schema/schema.js";
+import type { Store } from "./store.js";
+export type { AppPurpose, JobDeclaration, JobSort } from "./job-shape.js";
+export { jobIsFor, MOST_JOBS } from "./job-shape.js";
+/** A job in its whole form: its order said with a direction, and what its kind is called. */
+export interface ResolvedJob {
+    readonly name: string;
+    readonly ask: string;
+    readonly kind: string;
+    /** The kind's records, as people say them: "Vendors". */
+    readonly plural: string;
+    readonly where?: string;
+    readonly sort?: {
+        readonly by: string;
+        readonly direction: "asc" | "desc";
+    };
+    readonly act?: string;
+    readonly roles?: readonly string[];
+}
+/** A job answered: how many records, and which, in its order. */
+export interface JobAnswer {
+    readonly count: number;
+    readonly ids: readonly string[];
+}
+/**
+ * THE APP'S JOBS, RESOLVED, in the order declared. A job over a kind the app
+ * does not have is left out: the checker says so (`job-kind`), and nothing
+ * could answer it.
+ */
+export declare function jobsOf<S extends AnySchema>(app: GraviewApp<S>): readonly ResolvedJob[];
+/** The jobs a seat holding these roles comes to do: the ones naming one of its roles, and the ones naming none. */
+export declare function jobsFor<J extends {
+    readonly roles?: readonly string[];
+}>(jobs: readonly J[], principal: Pick<Principal, "roles">): readonly J[];
+/**
+ * A JOB ANSWERED AS THIS SEAT SEES IT: the live records of its kind the seat
+ * may see, those its `where` holds for (each read under the language's
+ * budget; one it cannot be read for is not counted), in its order — by a
+ * field, a computed field or `label`, the ones with none last — and their
+ * ids. A kind kept from the seat answers nothing; so does a `where` that
+ * does not parse.
+ */
+export declare function answerJob<S extends AnySchema>(given: Store<S>, job: Pick<JobDeclaration, "kind" | "where" | "sort">, principal: Principal): JobAnswer;
+//# sourceMappingURL=jobs.d.ts.map

package/dist/jobs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"jobs.d.ts","sourceRoot":"","sources":["../src/jobs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAM3C,OAAO,EAAY,KAAK,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAExD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExC,YAAY,EAAE,UAAU,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAC1E,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAErD,6FAA6F;AAC7F,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yDAAyD;IACzD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,MAAM,CAAA;KAAE,CAAC;IAC5E,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAED,iEAAiE;AACjE,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC;AAED;;;;GAIG;AACH,wBAAgB,MAAM,CAAC,CAAC,SAAS,SAAS,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,WAAW,EAAE,CAoBtF;AAED,mHAAmH;AACnH,wBAAgB,OAAO,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC,EAAE,CAE/I;AAuBD;;;;;;;GAOG;AACH,wBAAgB,SAAS,CAAC,CAAC,SAAS,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,cAAc,EAAE,MAAM,GAAG,OAAO,GAAG,MAAM,CAAC,EAAE,SAAS,EAAE,SAAS,GAAG,SAAS,CAoCrJ"}

package/dist/jobs.js

@@ -0,0 +1,112 @@
+import { shapesFor } from "./document/computed-values.js";
+import { evaluateExpr, ExprEvalError, NodeSet } from "./document/expr/evaluate.js";
+import { ExprSyntaxError, parseExpr } from "./document/expr/parse.js";
+import { gridSortOf, sortForGrid } from "./grid-sort.js";
+import { jobIsFor } from "./job-shape.js";
+import { labelOf, pluralOf } from "./schema/define-node.js";
+export { jobIsFor, MOST_JOBS } from "./job-shape.js";
+/**
+ * THE APP'S JOBS, RESOLVED, in the order declared. A job over a kind the app
+ * does not have is left out: the checker says so (`job-kind`), and nothing
+ * could answer it.
+ */
+export function jobsOf(app) {
+    const kinds = new Set(app.schema.kinds);
+    // A document compiled without the checker reads its purpose loosely: what is not a job is no job.
+    const declared = Array.isArray(app.purpose?.jobs) ? app.purpose.jobs : [];
+    return declared.flatMap((job) => {
+        if (typeof job !== "object" || job === null || typeof job.name !== "string" || typeof job.ask !== "string" || !kinds.has(job.kind))
+            return [];
+        const sort = gridSortOf(job.sort);
+        return [
+            {
+                name: job.name,
+                ask: job.ask,
+                kind: job.kind,
+                plural: pluralOf(app.schema, job.kind),
+                ...(job.where !== undefined ? { where: job.where } : {}),
+                ...(sort ? { sort } : {}),
+                ...(job.act !== undefined ? { act: job.act } : {}),
+                ...(job.roles && job.roles.length > 0 ? { roles: [...job.roles] } : {}),
+            },
+        ];
+    });
+}
+/** The jobs a seat holding these roles comes to do: the ones naming one of its roles, and the ones naming none. */
+export function jobsFor(jobs, principal) {
+    return jobs.filter((job) => jobIsFor(job, principal.roles));
+}
+const PARSED = new Map();
+/** An expression parsed once; one that does not parse is null (the checker said why). */
+function parsed(source) {
+    if (!PARSED.has(source)) {
+        try {
+            PARSED.set(source, parseExpr(source));
+        }
+        catch (e) {
+            if (!(e instanceof ExprSyntaxError))
+                throw e;
+            PARSED.set(source, null);
+        }
+    }
+    return PARSED.get(source);
+}
+/** Whether a value the language gives counts as yes. */
+const holds = (value) => (value instanceof NodeSet ? value.nodes.length > 0 : Array.isArray(value) ? value.length > 0 : Boolean(value));
+/** A value to order by: a record as its name, a set as how many. */
+const orderable = (schema, value) => value instanceof NodeSet ? value.nodes.length : value !== null && typeof value === "object" && !Array.isArray(value) ? labelOf(schema.tryDefinition(value.kind), value) : value;
+/**
+ * A JOB ANSWERED AS THIS SEAT SEES IT: the live records of its kind the seat
+ * may see, those its `where` holds for (each read under the language's
+ * budget; one it cannot be read for is not counted), in its order — by a
+ * field, a computed field or `label`, the ones with none last — and their
+ * ids. A kind kept from the seat answers nothing; so does a `where` that
+ * does not parse.
+ */
+export function answerJob(given, job, principal) {
+    const store = given;
+    if (store.kindsKeptFrom(principal).has(job.kind) || !store.schema.tryDefinition(job.kind))
+        return { count: 0, ids: [] };
+    const seen = store.seenBy(principal);
+    const graph = seen.graph;
+    const schema = seen.schema;
+    const kinds = shapesFor(schema);
+    const today = seen.today?.();
+    const read = (expr, node) => evaluateExpr(expr, { graph, subject: node, kinds, ...(today ? { today } : {}) });
+    const where = job.where === undefined ? undefined : parsed(job.where);
+    if (where === null)
+        return { count: 0, ids: [] };
+    const records = graph.nodesOfKind(job.kind).filter((node) => {
+        if (!where)
+            return true;
+        try {
+            return holds(read(where, node));
+        }
+        catch (e) {
+            if (!(e instanceof ExprEvalError))
+                throw e;
+            return false;
+        }
+    });
+    const sort = gridSortOf(job.sort);
+    const key = sort && sort.by !== "label" ? parsed(sort.by) : undefined;
+    const ordered = !sort
+        ? records
+        : sortForGrid(records, sort, (node) => {
+            if (sort.by === "label")
+                return labelOf(schema.tryDefinition(node.kind), node);
+            if (!key)
+                return undefined;
+            try {
+                return orderable(schema, read(key, node));
+            }
+            catch (e) {
+                if (!(e instanceof ExprEvalError))
+                    throw e;
+                return undefined;
+            }
+        });
+    const ids = ordered.map((node) => node.id);
+    return { count: ids.length, ids };
+}
+//# sourceMappingURL=jobs.js.map

package/dist/jobs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jobs.js","sourceRoot":"","sources":["../src/jobs.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAc,MAAM,6BAA6B,CAAC;AAC/F,OAAO,EAAE,eAAe,EAAE,SAAS,EAAa,MAAM,0BAA0B,CAAC;AAEjF,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAuB,MAAM,gBAAgB,CAAC;AAE/D,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAK5D,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAqBrD;;;;GAIG;AACH,MAAM,UAAU,MAAM,CAAsB,GAAkB;IAC5D,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,KAA0B,CAAC,CAAC;IAC7D,kGAAkG;IAClG,MAAM,QAAQ,GAA8B,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IACrG,OAAO,QAAQ,CAAC,OAAO,CAAC,CAAC,GAAG,EAAiB,EAAE;QAC7C,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,GAAG,CAAC,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,EAAE,CAAC;QAC9I,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClC,OAAO;YACL;gBACE,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,GAAG,EAAE,GAAG,CAAC,GAAG;gBACZ,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;gBACtC,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACzB,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClD,GAAG,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACxE;SACF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,mHAAmH;AACnH,MAAM,UAAU,OAAO,CAAmD,IAAkB,EAAE,SAAmC;IAC/H,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;AAC9C,yFAAyF;AACzF,SAAS,MAAM,CAAC,MAAc;IAC5B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACxB,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;QACxC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,CAAC,CAAC,YAAY,eAAe,CAAC;gBAAE,MAAM,CAAC,CAAC;YAC7C,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;AAC7B,CAAC;AAED,wDAAwD;AACxD,MAAM,KAAK,GAAG,CAAC,KAAY,EAAW,EAAE,CAAC,CAAC,KAAK,YAAY,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;AAExJ,oEAAoE;AACpE,MAAM,SAAS,GAAG,CAAC,MAAiB,EAAE,KAAY,EAAW,EAAE,CAC7D,KAAK,YAAY,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAE,KAAsB,CAAC,IAAI,CAAC,EAAE,KAAqB,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAEpN;;;;;;;GAOG;AACH,MAAM,UAAU,SAAS,CAAsB,KAAe,EAAE,GAAoD,EAAE,SAAoB;IACxI,MAAM,KAAK,GAAG,KAAoC,CAAC;IACnD,IAAI,KAAK,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC;IACxH,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,IAAI,CAAC,KAA+E,CAAC;IACnG,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,CAAC,IAAU,EAAE,IAAkB,EAAS,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACzI,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACtE,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC;IACjD,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QAC1D,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC;QACxB,IAAI,CAAC;YACH,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QAClC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,CAAC,CAAC,YAAY,aAAa,CAAC;gBAAE,MAAM,CAAC,CAAC;YAC3C,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,GAAG,GAAG,IAAI,IAAI,IAAI,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,MAAM,OAAO,GAAG,CAAC,IAAI;QACnB,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YAClC,IAAI,IAAI,CAAC,EAAE,KAAK,OAAO;gBAAE,OAAO,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YAC/E,IAAI,CAAC,GAAG;gBAAE,OAAO,SAAS,CAAC;YAC3B,IAAI,CAAC;gBACH,OAAO,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;YAC5C,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,IAAI,CAAC,CAAC,CAAC,YAAY,aAAa,CAAC;oBAAE,MAAM,CAAC,CAAC;gBAC3C,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC,CAAC,CAAC;IACP,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3C,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC;AACpC,CAAC"}

package/dist/learn.d.ts

@@ -0,0 +1,151 @@
+/**
+ * `@graview/core/learn` — APPS IMPROVE FROM USE (Roadmap f-learned-suggestions).
+ *
+ * The app's own actor ("Graview, tidying") suggests changes to records and
+ * a person accepts or declines each (`@graview/core/tidying`). This is the
+ * same actor suggesting changes to the APP — the declaration — from
+ * evidence of use: the words people searched with and found nothing
+ * (`@graview/core/friction`), the values a text field keeps repeating and
+ * the dates written into one (the records), the same two acts taken one
+ * after the other on one record (the op log), a place nobody opens (counts
+ * a host passes), and an agent's tool calls that went wrong.
+ *
+ * Each is offered only when at least `minPeople` distinct people show it —
+ * never one person's habit — and each is a suggestion, never a change:
+ * `learnFromUse` reads and writes nothing, `acceptAppSuggestion` applies a
+ * suggestion's edits through `editDocument` as one change with its lineage
+ * (`{ basis, suggestion }`), and `declineAppSuggestion` is a decision a host
+ * keeps (`LearnedStore`; `graview serve` keeps `learned.json` beside the
+ * store) and hands back as `declined`, so the same suggestion — by its
+ * `key`, stable across runs — is never offered again.
+ *
+ * Its own entry: a page draws nothing with it, and it reaches the editor.
+ */
+import { type DocumentEdit, type EditOptions, type Fill } from "./document/edit.js";
+import type { Finding } from "./document/findings.js";
+import type { GraviewDocument } from "./document/schema.js";
+import type { FrictionEvent } from "./friction.js";
+import { type Lineage } from "./ops/lineage.js";
+import type { Author, Operation } from "./ops/types.js";
+/** One change to the app the actor suggests: its edits, what it would do and why, and how many people showed it. */
+export interface AppSuggestion {
+    /** Who it is, the same on every run: a decline holds by it. At most 120 characters. */
+    readonly key: string;
+    /** The edits that make it, as `editDocument` takes them. */
+    readonly edits: readonly DocumentEdit[];
+    /** What it would change, in a sentence. */
+    readonly said: string;
+    /** What it is based on, in a sentence: the lineage's `basis` once accepted. */
+    readonly why: string;
+    /** How many distinct people showed it, and how many times. */
+    readonly evidence: {
+        readonly people: number;
+        readonly times: number;
+    };
+}
+/** A record, as the graph holds it. */
+export type LearnedRecord = {
+    readonly id: string;
+    readonly kind: string;
+} & Readonly<Record<string, unknown>>;
+/** A person's answer to a suggestion, kept where the host keeps the app's other state. */
+export interface LearnedDecision {
+    readonly key: string;
+    readonly answer: "accepted" | "declined";
+    readonly at: string;
+    readonly by?: Author;
+    /** What the suggestion would have changed, as it was said. */
+    readonly said?: string;
+}
+export interface LearnInput {
+    /** The app, as a document (`documentOf(app) ?? toDocument(app).document`). */
+    readonly document: GraviewDocument;
+    /** What people could not do, as the host keeps it (`friction.json` beside a served store). */
+    readonly friction?: readonly FrictionEvent[];
+    /** The store's op log: who wrote what, and the acts people take one after another. */
+    readonly log?: readonly Operation[];
+    /** The graph's records: the values a field keeps. Who wrote each is read from `log`. */
+    readonly records?: readonly LearnedRecord[];
+    /** What was answered before — decisions, or their keys alone — never offered again. */
+    readonly declined?: readonly (string | {
+        readonly key: string;
+    })[];
+    /**
+     * HOW MANY PEOPLE OPENED EACH PLACE, by its slug (`placeSlug(title)`), over
+     * a window the host chose. The framework does not see a place open; a host
+     * with analytics passes the counts. A declared place at 0 while another
+     * was opened by `minPeople` or more is suggested hidden.
+     */
+    readonly opens?: Readonly<Record<string, number>>;
+    /** The fewest distinct people a suggestion rests on: 3 unsaid, never fewer than 2. */
+    readonly minPeople?: number;
+}
+/** What the actor learned: the suggestions, and what it saw and could not suggest, with why. */
+export interface Learned {
+    readonly suggestions: readonly AppSuggestion[];
+    readonly skipped: readonly {
+        readonly key: string;
+        readonly why: string;
+    }[];
+}
+/** The judge's name on what it suggests and what an accepted suggestion changes (`lineage.actor`). */
+export declare const LEARNING_ACTOR = "learns from use";
+/** The suggestions, with what the actor saw and could not suggest, and why. */
+export declare function learningFrom(input: LearnInput): Learned;
+/**
+ * WHAT THE APP'S OWN ACTOR SUGGESTS CHANGING IN THE APP, from evidence of
+ * use. Reads and writes nothing; a person accepts each
+ * (`acceptAppSuggestion`) or declines it (`declineAppSuggestion`).
+ */
+export declare function learnFromUse(input: LearnInput): AppSuggestion[];
+export interface AnswerOptions {
+    /** Who answered. */
+    readonly by?: Author;
+    /** When, as an ISO time; now unsaid. */
+    readonly at?: string;
+}
+export type AcceptedSuggestion = {
+    readonly ok: true;
+    readonly document: GraviewDocument;
+    /** What the edits did, in the editor's words. */
+    readonly said: readonly string[];
+    /** Values for records already there, for the migration (`editDocument`'s). */
+    readonly fills: readonly Fill[];
+    /** What the change is based on: the suggestion's why, and its key. */
+    readonly lineage: Lineage;
+    /** The answer, for the host to keep beside its other decisions. */
+    readonly decision: LearnedDecision;
+} | {
+    readonly ok: false;
+    readonly findings: readonly Finding[];
+};
+/**
+ * ACCEPT A SUGGESTION: its edits applied to the document through
+ * `editDocument`, as one change, carrying its lineage — `{ basis: why,
+ * suggestion: key }` — and the decision the host keeps. The caller compiles,
+ * checks and keeps the document as it keeps any other change; an edit that
+ * no longer applies is refused with the editor's findings.
+ */
+export declare function acceptAppSuggestion(document: GraviewDocument, suggestion: AppSuggestion, options?: AnswerOptions & EditOptions): AcceptedSuggestion;
+/** DECLINE A SUGGESTION: the decision a host keeps and hands back as `declined`, so it is never offered again. Changes nothing. */
+export declare function declineAppSuggestion(suggestion: AppSuggestion | string, options?: AnswerOptions): LearnedDecision;
+/**
+ * WHERE A HOST KEEPS WHAT PEOPLE ANSWERED: append and read back.
+ * `memoryLearned` here; `fileLearned` (`learned.json` beside the store,
+ * where `graview serve` keeps the friction log) in `@graview/ship`; a host's
+ * own anywhere — Graview Cloud beside an app's document versions.
+ */
+export interface LearnedStore {
+    add(decision: LearnedDecision): void | Promise<void>;
+    list(): readonly LearnedDecision[] | Promise<readonly LearnedDecision[]>;
+}
+/** A store that answers at once. */
+export interface HeldLearned extends LearnedStore {
+    add(decision: LearnedDecision): void;
+    list(): readonly LearnedDecision[];
+}
+/** The decisions kept, one per key: the latest answer stands. */
+export declare function keptDecisions(decisions: readonly LearnedDecision[]): readonly LearnedDecision[];
+/** Answers kept in memory for as long as the process runs. */
+export declare function memoryLearned(): HeldLearned;
+//# sourceMappingURL=learn.d.ts.map

package/dist/learn.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"learn.d.ts","sourceRoot":"","sources":["../src/learn.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,EAAgB,KAAK,YAAY,EAAE,KAAK,WAAW,EAAE,KAAK,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAClG,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EAAa,KAAK,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAE3D,OAAO,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAMxD,oHAAoH;AACpH,MAAM,WAAW,aAAa;IAC5B,uFAAuF;IACvF,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,4DAA4D;IAC5D,QAAQ,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;IACxC,2CAA2C;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,+EAA+E;IAC/E,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,8DAA8D;IAC9D,QAAQ,CAAC,QAAQ,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;CACxE;AAED,uCAAuC;AACvC,MAAM,MAAM,aAAa,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAE/G,0FAA0F;AAC1F,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,UAAU,CAAC;IACzC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IACrB,8DAA8D;IAC9D,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,UAAU;IACzB,8EAA8E;IAC9E,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,8FAA8F;IAC9F,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC7C,sFAAsF;IACtF,QAAQ,CAAC,GAAG,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;IACpC,wFAAwF;IACxF,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC5C,uFAAuF;IACvF,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC,EAAE,CAAC;IACnE;;;;;OAKG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAClD,sFAAsF;IACtF,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,gGAAgG;AAChG,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,WAAW,EAAE,SAAS,aAAa,EAAE,CAAC;IAC/C,QAAQ,CAAC,OAAO,EAAE,SAAS;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAC7E;AAMD,sGAAsG;AACtG,eAAO,MAAM,cAAc,oBAAoB,CAAC;AAuahD,+EAA+E;AAC/E,wBAAgB,YAAY,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAgBvD;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,UAAU,GAAG,aAAa,EAAE,CAE/D;AAID,MAAM,WAAW,aAAa;IAC5B,oBAAoB;IACpB,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IACrB,wCAAwC;IACxC,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,MAAM,kBAAkB,GAC1B;IACE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,iDAAiD;IACjD,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,8EAA8E;IAC9E,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAChC,sEAAsE;IACtE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,mEAAmE;IACnE,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;CACpC,GACD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAA;CAAE,CAAC;AAElE;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,eAAe,EAAE,UAAU,EAAE,aAAa,EAAE,OAAO,GAAE,aAAa,GAAG,WAAgB,GAAG,kBAAkB,CAKvJ;AAED,mIAAmI;AACnI,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,aAAa,GAAG,MAAM,EAAE,OAAO,GAAE,aAAkB,GAAG,eAAe,CAErH;AASD;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,QAAQ,EAAE,eAAe,GAAG,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACrD,IAAI,IAAI,SAAS,eAAe,EAAE,GAAG,OAAO,CAAC,SAAS,eAAe,EAAE,CAAC,CAAC;CAC1E;AAED,oCAAoC;AACpC,MAAM,WAAW,WAAY,SAAQ,YAAY;IAC/C,GAAG,CAAC,QAAQ,EAAE,eAAe,GAAG,IAAI,CAAC;IACrC,IAAI,IAAI,SAAS,eAAe,EAAE,CAAC;CACpC;AAED,iEAAiE;AACjE,wBAAgB,aAAa,CAAC,SAAS,EAAE,SAAS,eAAe,EAAE,GAAG,SAAS,eAAe,EAAE,CAI/F;AAED,8DAA8D;AAC9D,wBAAgB,aAAa,IAAI,WAAW,CAQ3C"}