@graphty/graph-io 0.3.43 → 0.3.44

package/dist/src/styles/plan/discrete.js

@@ -0,0 +1,127 @@
+/**
+ * A discrete mapping on one categorical feature: the feature's values fall inside the family's blocks, up to 20% of
+ * the styled elements excepted, and the elements missing the feature may form their own group.
+ */
+import { valueKey } from "./families.js";
+/** Below this many styled elements anything explains anything: no mapping is tried. */
+export const MIN_MAPPED = 8;
+/** The most keys a discrete table may hold. */
+const MAX_KEYS = 256;
+/** The share of styled elements a mapping may get wrong; the replay moves them into the exceptions. */
+const MAX_EXCEPTION_SHARE = 0.2;
+/**
+ * Tests a discrete mapping on one feature.
+ * @param fam - the family
+ * @param info - the feature
+ * @param n - the element count
+ * @param spend - spends work from the budget
+ * @returns the candidate, or null when the feature does not explain the family
+ */
+export function discreteCandidate(fam, info, n, spend) {
+    const nF = fam.styled.length;
+    if (!info.categorical || info.raw || nF < MIN_MAPPED) {
+        return null;
+    }
+    if (info.distinct < 2 || info.distinct > Math.min(MAX_KEYS, nF / 2) || info.distinct >= 0.9 * n) {
+        return null;
+    }
+    spend(n);
+    const { values } = info.feature;
+    const { votes, nullBlocks } = votesOf(fam, values);
+    const { table, exceptions: wrong } = tableOf(votes);
+    let exceptions = wrong;
+    // never paint an element the file left unstyled
+    const unstyledMissing = unstyledOf(fam, values, table, n);
+    if (unstyledMissing === null) {
+        return null;
+    }
+    // the elements missing the key form one group when they share one style (Gephi's "null" partition)
+    let bucket = null;
+    if (nullBlocks.size === 1 && !unstyledMissing) {
+        bucket = nullBlocks.keys().next().value ?? null;
+    }
+    else {
+        for (const c of nullBlocks.values()) {
+            exceptions += c;
+        }
+    }
+    if (exceptions > Math.max(2, MAX_EXCEPTION_SHARE * nF)) {
+        return null;
+    }
+    const cost = 50 + table.size * fam.props.length + (exceptions > 0 ? 50 + exceptions : 0) + (bucket === null ? 0 : 50);
+    return { type: "discrete", info, table, bucket, cost };
+}
+/**
+ * Counts, per key of the feature, the styled elements in each block; and per block, those missing the feature.
+ * @param fam - the family
+ * @param values - the feature's values
+ * @returns the votes, and the blocks of the elements missing the feature
+ */
+function votesOf(fam, values) {
+    const votes = new Map();
+    const nullBlocks = new Map();
+    for (const i of fam.styled) {
+        const b = fam.blocks[i];
+        const kv = values[i];
+        if (kv === null) {
+            nullBlocks.set(b, (nullBlocks.get(b) ?? 0) + 1);
+            continue;
+        }
+        const key = valueKey(kv);
+        let vote = votes.get(key);
+        if (vote === undefined) {
+            vote = { raw: kv, counts: new Map() };
+            votes.set(key, vote);
+        }
+        vote.counts.set(b, (vote.counts.get(b) ?? 0) + 1);
+    }
+    return { votes, nullBlocks };
+}
+/**
+ * The table: each key maps to the block most of its elements are in; the others are exceptions.
+ * @param votes - the votes
+ * @returns the table and how many elements it gets wrong
+ */
+function tableOf(votes) {
+    const table = new Map();
+    let exceptions = 0;
+    for (const [key, { raw, counts }] of votes) {
+        let best = -1;
+        let bestCount = -1;
+        let total = 0;
+        for (const [b, c] of counts) {
+            total += c;
+            if (c > bestCount) {
+                bestCount = c;
+                best = b;
+            }
+        }
+        table.set(key, { raw, block: best });
+        exceptions += total - bestCount;
+    }
+    return { table, exceptions };
+}
+/**
+ * Whether an element the file left unstyled misses the feature (or holds false, which a missing-key group's "not has"
+ * also matches).
+ * @param fam - the family
+ * @param values - the feature's values
+ * @param table - the table
+ * @param n - the element count
+ * @returns the answer, or null when the table would paint an unstyled element
+ */
+function unstyledOf(fam, values, table, n) {
+    let missing = false;
+    for (let i = 0; i < n; i++) {
+        const v = values[i];
+        if (fam.blocks[i] !== 0) {
+            continue;
+        }
+        if (v !== null && table.has(valueKey(v))) {
+            return null;
+        }
+        missing || (missing = v === null || v === false);
+    }
+    return missing;
+}
+//# sourceMappingURL=discrete.js.map

package/dist/src/styles/plan/discrete.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"discrete.js","sourceRoot":"","sources":["../../../../src/styles/plan/discrete.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAe,QAAQ,EAAE,MAAM,eAAe,CAAC;AAGtD,uFAAuF;AACvF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC;AAC5B,+CAA+C;AAC/C,MAAM,QAAQ,GAAG,GAAG,CAAC;AACrB,uGAAuG;AACvG,MAAM,mBAAmB,GAAG,GAAG,CAAC;AAqBhC;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAC7B,GAAW,EACX,IAAiB,EACjB,CAAS,EACT,KAA4B;IAE5B,MAAM,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;IAC7B,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,GAAG,IAAI,EAAE,GAAG,UAAU,EAAE,CAAC;QACnD,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;QAC9F,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,KAAK,CAAC,CAAC,CAAC,CAAC;IACT,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC;IAChC,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACnD,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IACpD,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,gDAAgD;IAChD,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAC1D,IAAI,eAAe,KAAK,IAAI,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,mGAAmG;IACnG,IAAI,MAAM,GAAkB,IAAI,CAAC;IACjC,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;QAC5C,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC;IACpD,CAAC;SAAM,CAAC;QACJ,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;YAClC,UAAU,IAAI,CAAC,CAAC;QACpB,CAAC;IACL,CAAC;IACD,IAAI,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,mBAAmB,GAAG,EAAE,CAAC,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,IAAI,GACN,EAAE,GAAG,KAAK,CAAC,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC7G,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAC3D,CAAC;AAKD;;;;;GAKG;AACH,SAAS,OAAO,CAAC,GAAW,EAAE,MAAoC;IAC9D,MAAM,KAAK,GAAU,IAAI,GAAG,EAAE,CAAC;IAC/B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YACd,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAChD,SAAS;QACb,CAAC;QACD,MAAM,GAAG,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;QACzB,IAAI,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACrB,IAAI,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;YACtC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACzB,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;AACjC,CAAC;AAED;;;;GAIG;AACH,SAAS,OAAO,CAAC,KAAY;IACzB,MAAM,KAAK,GAAG,IAAI,GAAG,EAA4C,CAAC;IAClE,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC;QACzC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC;QACd,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC;QACnB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,EAAE,CAAC;YAC1B,KAAK,IAAI,CAAC,CAAC;YACX,IAAI,CAAC,GAAG,SAAS,EAAE,CAAC;gBAChB,SAAS,GAAG,CAAC,CAAC;gBACd,IAAI,GAAG,CAAC,CAAC;YACb,CAAC;QACL,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACrC,UAAU,IAAI,KAAK,GAAG,SAAS,CAAC;IACpC,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;AACjC,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,UAAU,CACf,GAAW,EACX,MAAoC,EACpC,KAAmC,EACnC,CAAS;IAET,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACtB,SAAS;QACb,CAAC;QACD,IAAI,CAAC,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACvC,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,OAAO,KAAP,OAAO,GAAK,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,EAAC;IAC1C,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC"}

package/dist/src/styles/plan/families.d.ts

@@ -0,0 +1,31 @@
+/**
+ * Exact equivalence classes: every property's values partition the elements (null is a block of its own), and
+ * properties with identical partitions form one family, explained once.
+ */
+import type { StyleValue } from "../types.js";
+/**
+ * A group of properties that partition the elements the same way.
+ */
+export interface Family {
+    /** The properties, in the order they were given. */
+    readonly props: string[];
+    /** Each element's block: 0 for null, 1.. by first appearance. */
+    readonly blocks: Int32Array;
+    /** The number of non-null blocks. */
+    readonly k: number;
+    /** The elements with a value (block above 0), ascending. */
+    readonly styled: number[];
+}
+/**
+ * The text a value is compared by.
+ * @param v - the value
+ * @returns a key unique per value and type
+ */
+export declare function valueKey(v: string | number | boolean | null | undefined): string;
+/**
+ * Groups properties by identical partitions.
+ * @param props - the properties, each with its values
+ * @returns the families, in the order of their first property
+ */
+export declare function familiesOf(props: readonly (readonly [string, readonly (StyleValue | null)[]])[]): Family[];
+//# sourceMappingURL=families.d.ts.map

package/dist/src/styles/plan/families.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"families.d.ts","sourceRoot":"","sources":["../../../../src/styles/plan/families.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C;;GAEG;AACH,MAAM,WAAW,MAAM;IACnB,oDAAoD;IACpD,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC;IACzB,iEAAiE;IACjE,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,qCAAqC;IACrC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,4DAA4D;IAC5D,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;CAC7B;AAED;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,GAAG,MAAM,CAEhF;AAyDD;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,UAAU,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,CAwB1G"}

package/dist/src/styles/plan/families.js

@@ -0,0 +1,95 @@
+/**
+ * Exact equivalence classes: every property's values partition the elements (null is a block of its own), and
+ * properties with identical partitions form one family, explained once.
+ */
+/**
+ * The text a value is compared by.
+ * @param v - the value
+ * @returns a key unique per value and type
+ */
+export function valueKey(v) {
+    return v === null || v === undefined ? "\u0000null" : `${typeof v}:${String(v)}`;
+}
+/**
+ * The partition of the elements by a property's values.
+ * @param values - the values by element
+ * @returns each element's block (0 for null, then by first appearance) and the number of non-null blocks
+ */
+function partition(values) {
+    const ids = new Map();
+    const blocks = new Int32Array(values.length);
+    for (let i = 0; i < values.length; i++) {
+        const v = values[i];
+        if (v === null) {
+            continue;
+        }
+        const key = valueKey(v);
+        let id = ids.get(key);
+        if (id === undefined) {
+            id = ids.size + 1;
+            ids.set(key, id);
+        }
+        blocks[i] = id;
+    }
+    return { blocks, k: ids.size };
+}
+/**
+ * A hash of a block array.
+ * @param blocks - the blocks
+ * @returns its hash
+ */
+function hashBlocks(blocks) {
+    let h = 0x811c9dc5;
+    for (const b of blocks) {
+        h = Math.imul(h ^ b, 0x01000193);
+    }
+    return h >>> 0;
+}
+/**
+ * Whether two block arrays are equal.
+ * @param a - one
+ * @param b - the other
+ * @returns true when equal
+ */
+function sameBlocks(a, b) {
+    if (a.length !== b.length) {
+        return false;
+    }
+    for (let i = 0; i < a.length; i++) {
+        if (a[i] !== b[i]) {
+            return false;
+        }
+    }
+    return true;
+}
+/**
+ * Groups properties by identical partitions.
+ * @param props - the properties, each with its values
+ * @returns the families, in the order of their first property
+ */
+export function familiesOf(props) {
+    const byHash = new Map();
+    const out = [];
+    for (const [p, values] of props) {
+        const { blocks, k } = partition(values);
+        const h = hashBlocks(blocks);
+        const list = byHash.get(h) ?? [];
+        const hit = list.find((f) => sameBlocks(f.blocks, blocks));
+        if (hit !== undefined) {
+            hit.props.push(p);
+            continue;
+        }
+        const styled = [];
+        for (let i = 0; i < blocks.length; i++) {
+            if (blocks[i] !== 0) {
+                styled.push(i);
+            }
+        }
+        const fam = { props: [p], blocks, k, styled };
+        list.push(fam);
+        byHash.set(h, list);
+        out.push(fam);
+    }
+    return out;
+}
+//# sourceMappingURL=families.js.map

package/dist/src/styles/plan/families.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"families.js","sourceRoot":"","sources":["../../../../src/styles/plan/families.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAkBH;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,CAA+C;IACpE,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;AACrF,CAAC;AAED;;;;GAIG;AACH,SAAS,SAAS,CAAC,MAAsC;IACrD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACb,SAAS;QACb,CAAC;QACD,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtB,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACnB,EAAE,GAAG,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;YAClB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACrB,CAAC;QACD,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;AACnC,CAAC;AAED;;;;GAIG;AACH,SAAS,UAAU,CAAC,MAAkB;IAClC,IAAI,CAAC,GAAG,UAAU,CAAC;IACnB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACrB,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,CAAC,KAAK,CAAC,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,SAAS,UAAU,CAAC,CAAa,EAAE,CAAa;IAC5C,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QACxB,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAChC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAChB,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,KAAqE;IAC5F,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QAC9B,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QAC3D,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACpB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClB,SAAS;QACb,CAAC;QACD,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClB,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnB,CAAC;QACL,CAAC;QACD,MAAM,GAAG,GAAW,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;QACtD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACf,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACpB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC"}

package/dist/src/styles/plan/features.d.ts

@@ -0,0 +1,58 @@
+/**
+ * Candidate explaining columns: the snapshot's attributes and the graph's degrees, which the planner tests as
+ * explanations of a file's per-element style values, and the fingerprint that ties styles to their graph.
+ */
+import type { GraphSnapshot } from "@graphty/graph-format";
+import type { StyleFeature, StyleFingerprint, StyleTarget } from "../types.js";
+/**
+ * The candidate explaining columns of one target: every scalar attribute (the reserved `graphty.*` columns,
+ * coordinates and Cytoscape's selection state excepted), the group a node sits in as the style column `group`, and
+ * for nodes the degree (and the in- and out-degree of a directed graph) as `{ computed }` references, which follow
+ * later edits of the graph.
+ * @param snapshot - the graph
+ * @param target - nodes or edges
+ * @returns the features, in column order with the degrees last
+ * @category Styles
+ */
+export declare function featuresOf(snapshot: GraphSnapshot, target: StyleTarget): StyleFeature[];
+/**
+ * The fingerprint of a graph: its node and edge counts and a hash of its node ids' text, whatever their order (a
+ * format may read nodes back in another order). The id 7 and the id "7" hash alike, so a graph written to a format
+ * that reads its ids back as text (or as numbers) keeps its fingerprint.
+ * @param snapshot - the graph
+ * @returns the fingerprint
+ * @category Styles
+ */
+export declare function styleFingerprint(snapshot: GraphSnapshot): StyleFingerprint;
+/**
+ * The edge rows a file holds, in order: every row but the second half of an undirected edge in a directed graph,
+ * which every format writes once.
+ * @param snapshot - the graph
+ * @returns the rows
+ */
+export declare function heldEdgeRows(snapshot: GraphSnapshot): number[];
+/**
+ * What the planner knows about a feature.
+ */
+export interface FeatureInfo {
+    /** The feature. */
+    readonly feature: StyleFeature;
+    /** Its name in rule ids. */
+    readonly name: string;
+    /** Distinct non-null values. */
+    readonly distinct: number;
+    /** Whether a table on it may explain styles (strings, booleans, integers). */
+    readonly categorical: boolean;
+    /** Whether a ramp on it may explain styles (finite numbers that are not an index). */
+    readonly numeric: boolean;
+    /** Whether it is the file's own raw style column, which explains nothing. */
+    readonly raw: boolean;
+}
+/**
+ * Describes a feature for the planner.
+ * @param feature - the feature
+ * @param raw - whether it is the raw style column a reader read
+ * @returns what the planner knows about it
+ */
+export declare function describeFeature(feature: StyleFeature, raw: boolean): FeatureInfo;
+//# sourceMappingURL=features.d.ts.map

package/dist/src/styles/plan/features.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"features.d.ts","sourceRoot":"","sources":["../../../../src/styles/plan/features.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAE3D,OAAO,KAAK,EAAqB,YAAY,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAYlG;;;;;;;;;GASG;AACH,wBAAgB,UAAU,CAAC,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,WAAW,GAAG,YAAY,EAAE,CA4BvF;AAmBD;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,aAAa,GAAG,gBAAgB,CAuB1E;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,aAAa,GAAG,MAAM,EAAE,CAS9D;AAsED;;GAEG;AACH,MAAM,WAAW,WAAW;IACxB,mBAAmB;IACnB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,4BAA4B;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gCAAgC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,8EAA8E;IAC9E,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,sFAAsF;IACtF,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,6EAA6E;IAC7E,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;CACzB;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,EAAE,OAAO,GAAG,WAAW,CAehF"}

package/dist/src/styles/plan/features.js

@@ -0,0 +1,185 @@
+/**
+ * Candidate explaining columns: the snapshot's attributes and the graph's degrees, which the planner tests as
+ * explanations of a file's per-element style values, and the fingerprint that ties styles to their graph.
+ */
+import { dataCell, degreeValues } from "./resolve.js";
+/** Column types whose values can be features: one scalar per element. */
+const SCALAR_DTYPES = new Set(["string", "dict", "bool", "i32", "u32", "u8", "f32", "f64"]);
+/** Coordinates say where the writer put a node, not what it is. */
+const COORDINATE = /^(?:x|y|z|_pos)$/i;
+/** The column holding the group a node sits in. */
+const PARENT_COLUMN = "graphty.parent";
+/** An integer column of at least this many values that fills a whole range is an index, not a quantity. */
+const MIN_INDEX = 8;
+/**
+ * The candidate explaining columns of one target: every scalar attribute (the reserved `graphty.*` columns,
+ * coordinates and Cytoscape's selection state excepted), the group a node sits in as the style column `group`, and
+ * for nodes the degree (and the in- and out-degree of a directed graph) as `{ computed }` references, which follow
+ * later edits of the graph.
+ * @param snapshot - the graph
+ * @param target - nodes or edges
+ * @returns the features, in column order with the degrees last
+ * @category Styles
+ */
+export function featuresOf(snapshot, target) {
+    const table = target === "node" ? snapshot.nodes : snapshot.edges;
+    const n = target === "node" ? snapshot.nodeCount : snapshot.edgeCount;
+    const out = [];
+    for (const name of table.names().filter((c) => isFeatureColumn(table, c))) {
+        const values = Array.from({ length: n }, (_, i) => {
+            const v = dataCell(table, name, i);
+            return typeof v === "string" || typeof v === "number" || typeof v === "boolean" ? v : null;
+        });
+        if (name !== PARENT_COLUMN) {
+            out.push({ ref: { data: name }, values });
+        }
+        else if (target === "node") {
+            // the group a node sits in, by the group's id: graphty-element keeps no graphty.* column in its records
+            const group = values.map((v) => typeof v === "number" && v >= 0 && v < snapshot.nodeCount ? String(snapshot.ids.idOf(v)) : null);
+            out.push({ ref: { style: "group" }, values: group });
+        }
+    }
+    if (target === "node" && n > 0) {
+        const kinds = snapshot.directed
+            ? ["degree", "indegree", "outdegree"]
+            : ["degree"];
+        for (const k of kinds) {
+            out.push({ ref: { computed: k }, values: degreeValues(snapshot, k) });
+        }
+    }
+    return out;
+}
+/**
+ * Whether a column may explain styles: one scalar component, neither a position nor a coordinate, nor graphty's own
+ * columns (the parent excepted) or Cytoscape's selection state.
+ * @param table - the node or edge table
+ * @param name - the column
+ * @returns true for a candidate
+ */
+function isFeatureColumn(table, name) {
+    if ((name.startsWith("graphty.") && name !== PARENT_COLUMN) || name === "selected" || COORDINATE.test(name)) {
+        return false;
+    }
+    const col = table.get(name);
+    return (col !== null && col.meta.role !== "position" && SCALAR_DTYPES.has(col.meta.dtype) && col.meta.components === 1);
+}
+/**
+ * The fingerprint of a graph: its node and edge counts and a hash of its node ids' text, whatever their order (a
+ * format may read nodes back in another order). The id 7 and the id "7" hash alike, so a graph written to a format
+ * that reads its ids back as text (or as numbers) keeps its fingerprint.
+ * @param snapshot - the graph
+ * @returns the fingerprint
+ * @category Styles
+ */
+export function styleFingerprint(snapshot) {
+    // two FNV-1a hashes with different seeds over each id's text, summed: the sum does not depend on the order
+    let h1 = 0;
+    let h2 = 0;
+    for (let i = 0; i < snapshot.nodeCount; i++) {
+        const text = String(snapshot.ids.idOf(i));
+        let a = 0x811c9dc5;
+        let b = 0x01000193 ^ 0x5bd1e995;
+        for (let c = 0; c < text.length; c++) {
+            const code = text.charCodeAt(c); // NOSONAR(S7758): hashes UTF-16 code units; code points would change every fingerprint
+            a = Math.imul(a ^ code, 0x01000193);
+            b = Math.imul(b ^ code, 0x01000193) ^ (b >>> 13);
+        }
+        h1 = (h1 + (a >>> 0)) >>> 0;
+        h2 = (h2 + (b >>> 0)) >>> 0;
+    }
+    const hex = (h) => (h >>> 0).toString(16).padStart(8, "0");
+    return {
+        nodes: snapshot.nodeCount,
+        edges: snapshot.edgeCount,
+        heldEdges: heldEdgeRows(snapshot).length,
+        ids: hex(h1) + hex(h2),
+    };
+}
+/**
+ * The edge rows a file holds, in order: every row but the second half of an undirected edge in a directed graph,
+ * which every format writes once.
+ * @param snapshot - the graph
+ * @returns the rows
+ */
+export function heldEdgeRows(snapshot) {
+    const pair = snapshot.edges.byRole("pair");
+    const rows = [];
+    for (let e = 0; e < snapshot.edgeCount; e++) {
+        if (!(pair?.isSet(e) === true && pair.value(e) < e)) {
+            rows.push(e);
+        }
+    }
+    return rows;
+}
+/**
+ * The statistics of a feature's values.
+ * @param values - the values
+ * @returns the statistics
+ */
+function valueStats(values) {
+    const seen = new Set();
+    let categorical = true;
+    let numeric = true;
+    let integers = true;
+    let lo = Infinity;
+    let hi = -Infinity;
+    let count = 0;
+    for (const v of values) {
+        if (v === null) {
+            continue;
+        }
+        count++;
+        seen.add(`${typeof v}:${String(v)}`);
+        if (typeof v !== "number") {
+            numeric = false;
+            integers = false;
+        }
+        else if (Number.isFinite(v)) {
+            integers && (integers = Number.isInteger(v));
+            categorical && (categorical = Number.isInteger(v));
+            lo = Math.min(lo, v);
+            hi = Math.max(hi, v);
+        }
+        else {
+            numeric = false;
+            categorical = false;
+        }
+    }
+    return { seen, categorical, numeric, integers, lo, hi, count };
+}
+/**
+ * A feature's name in rule ids: the column's name, the generated key or the degree's name.
+ * @param ref - the column
+ * @returns its name
+ */
+function featureName(ref) {
+    if ("style" in ref) {
+        return ref.style;
+    }
+    if ("computed" in ref) {
+        return ref.computed;
+    }
+    return ref.data;
+}
+/**
+ * Describes a feature for the planner.
+ * @param feature - the feature
+ * @param raw - whether it is the raw style column a reader read
+ * @returns what the planner knows about it
+ */
+export function describeFeature(feature, raw) {
+    const { seen, categorical, numeric, integers, lo, hi, count } = valueStats(feature.values);
+    const computed = "computed" in feature.ref;
+    // an integer column whose values are all different and fill a whole range (0..n-1, a z order) is an index:
+    // a ramp on it would only replay the order the writer stored the elements in
+    const index = !computed && numeric && integers && count >= MIN_INDEX && seen.size === count && hi - lo + 1 === count;
+    return {
+        feature,
+        name: featureName(feature.ref),
+        distinct: seen.size,
+        categorical: count > 0 && categorical,
+        numeric: count > 0 && numeric && !index,
+        raw,
+    };
+}
+//# sourceMappingURL=features.js.map

package/dist/src/styles/plan/features.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"features.js","sourceRoot":"","sources":["../../../../src/styles/plan/features.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAKH,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEtD,yEAAyE;AACzE,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AACjH,mEAAmE;AACnE,MAAM,UAAU,GAAG,mBAAmB,CAAC;AACvC,mDAAmD;AACnD,MAAM,aAAa,GAAG,gBAAgB,CAAC;AACvC,2GAA2G;AAC3G,MAAM,SAAS,GAAG,CAAC,CAAC;AAEpB;;;;;;;;;GASG;AACH,MAAM,UAAU,UAAU,CAAC,QAAuB,EAAE,MAAmB;IACnE,MAAM,KAAK,GAAG,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;IAClE,MAAM,CAAC,GAAG,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC;IACtE,MAAM,GAAG,GAAmB,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxE,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAiB,EAAE;YAC7D,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YACnC,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC/F,CAAC,CAAC,CAAC;QACH,IAAI,IAAI,KAAK,aAAa,EAAE,CAAC;YACzB,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAC9C,CAAC;aAAM,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;YAC3B,wGAAwG;YACxG,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC3B,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAClG,CAAC;YACF,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;QACzD,CAAC;IACL,CAAC;IACD,IAAI,MAAM,KAAK,MAAM,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,KAAK,GAA4C,QAAQ,CAAC,QAAQ;YACpE,CAAC,CAAC,CAAC,QAAQ,EAAE,UAAU,EAAE,WAAW,CAAC;YACrC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACjB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACpB,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1E,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,SAAS,eAAe,CAAC,KAA6B,EAAE,IAAY;IAChE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,IAAI,KAAK,aAAa,CAAC,IAAI,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1G,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC5B,OAAO,CACH,GAAG,KAAK,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,UAAU,KAAK,CAAC,CACjH,CAAC;AACN,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,QAAuB;IACpD,2GAA2G;IAC3G,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAI,CAAC,GAAG,UAAU,CAAC;QACnB,IAAI,CAAC,GAAG,UAAU,GAAG,UAAU,CAAC;QAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,uFAAuF;YACxH,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,EAAE,UAAU,CAAC,CAAC;YACpC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QACrD,CAAC;QACD,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5B,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC3E,OAAO;QACH,KAAK,EAAE,QAAQ,CAAC,SAAS;QACzB,KAAK,EAAE,QAAQ,CAAC,SAAS;QACzB,SAAS,EAAE,YAAY,CAAC,QAAQ,CAAC,CAAC,MAAM;QACxC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;KACzB,CAAC;AACN,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,QAAuB;IAChD,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,IAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAY,GAAG,CAAC,CAAC,EAAE,CAAC;YAC9D,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAoBD;;;;GAIG;AACH,SAAS,UAAU,CAAC,MAAkC;IAClD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,WAAW,GAAG,IAAI,CAAC;IACvB,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,IAAI,QAAQ,GAAG,IAAI,CAAC;IACpB,IAAI,EAAE,GAAG,QAAQ,CAAC;IAClB,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC;IACnB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACrB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACb,SAAS;QACb,CAAC;QACD,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACrC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YACxB,OAAO,GAAG,KAAK,CAAC;YAChB,QAAQ,GAAG,KAAK,CAAC;QACrB,CAAC;aAAM,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5B,QAAQ,KAAR,QAAQ,GAAK,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAC;YACjC,WAAW,KAAX,WAAW,GAAK,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAC;YACpC,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YACrB,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACzB,CAAC;aAAM,CAAC;YACJ,OAAO,GAAG,KAAK,CAAC;YAChB,WAAW,GAAG,KAAK,CAAC;QACxB,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;AACnE,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAAC,GAAc;IAC/B,IAAI,OAAO,IAAI,GAAG,EAAE,CAAC;QACjB,OAAO,GAAG,CAAC,KAAK,CAAC;IACrB,CAAC;IACD,IAAI,UAAU,IAAI,GAAG,EAAE,CAAC;QACpB,OAAO,GAAG,CAAC,QAAQ,CAAC;IACxB,CAAC;IACD,OAAQ,GAAwB,CAAC,IAAI,CAAC;AAC1C,CAAC;AAoBD;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,OAAqB,EAAE,GAAY;IAC/D,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3F,MAAM,QAAQ,GAAG,UAAU,IAAI,OAAO,CAAC,GAAG,CAAC;IAC3C,2GAA2G;IAC3G,6EAA6E;IAC7E,MAAM,KAAK,GACP,CAAC,QAAQ,IAAI,OAAO,IAAI,QAAQ,IAAI,KAAK,IAAI,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,KAAK,CAAC;IAC3G,OAAO;QACH,OAAO;QACP,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC;QAC9B,QAAQ,EAAE,IAAI,CAAC,IAAI;QACnB,WAAW,EAAE,KAAK,GAAG,CAAC,IAAI,WAAW;QACrC,OAAO,EAAE,KAAK,GAAG,CAAC,IAAI,OAAO,IAAI,CAAC,KAAK;QACvC,GAAG;KACN,CAAC;AACN,CAAC"}

package/dist/src/styles/plan/index.d.ts

@@ -0,0 +1,7 @@
+/**
+ * The planner, the candidate features and the reference resolver of a file's styles.
+ */
+export { featuresOf, styleFingerprint } from "./features.js";
+export { MAX_STYLE_RULES, type PlanOptions, planStyles, type StyleValues } from "./plan.js";
+export { resolveStyles } from "./resolve.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/src/styles/plan/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/styles/plan/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,KAAK,WAAW,EAAE,UAAU,EAAE,KAAK,WAAW,EAAE,MAAM,WAAW,CAAC;AAC5F,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC"}

package/dist/src/styles/plan/index.js

@@ -0,0 +1,7 @@
+/**
+ * The planner, the candidate features and the reference resolver of a file's styles.
+ */
+export { featuresOf, styleFingerprint } from "./features.js";
+export { MAX_STYLE_RULES, planStyles } from "./plan.js";
+export { resolveStyles } from "./resolve.js";
+//# sourceMappingURL=index.js.map

package/dist/src/styles/plan/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/styles/plan/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAoB,UAAU,EAAoB,MAAM,WAAW,CAAC;AAC5F,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC"}

package/dist/src/styles/plan/plan.d.ts

@@ -0,0 +1,71 @@
+/**
+ * The planner: turns a file's per-element style values into a few readable rules that reproduce them exactly. It
+ * groups properties into families, explains each family by a discrete or continuous mapping on one feature, a
+ * passthrough on an existing column, style classes or a copy, orders the rules, caps them at 15 per target and
+ * replays them: every element whose resolved value differs from the file's goes into one sparse exceptions column
+ * per property on top. One counted budget bounds the work; when it runs out the rest is copied.
+ */
+import { StyleNotes } from "../notes.js";
+import type { ExtractedStyles, GraphStyle, ReaderOutput, StyleDialect, StyleFeatures, StyleFingerprint, StyleTool, StyleWorkBudget } from "../types.js";
+/**
+ * The most rules per target: the planner keeps at most 15 plus the exceptions rule.
+ * @category Styles
+ */
+export declare const MAX_STYLE_RULES = 16;
+/**
+ * What the planner is given: the canonical per-element values a style reader produced, the rules the file declares,
+ * and the graph they belong to.
+ * @category Styles
+ */
+export interface StyleValues {
+    /** The graph-io format id. */
+    readonly format: string;
+    /** How the file spelled its values. */
+    readonly dialect?: StyleDialect | null;
+    /** The program that wrote the file, whose defaults fill in what the file leaves unset; null when unknown. */
+    readonly tool?: StyleTool | null;
+    /** The unit of every length; defaults to pixels. */
+    readonly units?: "px" | "relative";
+    /** The graph's own style. */
+    readonly graph?: GraphStyle;
+    /** Node values, declared rules, reader columns and extra features. */
+    readonly node?: ReaderOutput;
+    /** Edge values, declared rules, reader columns and extra features. */
+    readonly edge?: ReaderOutput;
+    /** The graph the values belong to; its counts give the number of elements. */
+    readonly fingerprint: StyleFingerprint;
+}
+/**
+ * Options of `planStyles()`.
+ * @category Styles
+ */
+export interface PlanOptions {
+    /** Whether to add the writing tool's defaults as a rule at the bottom; defaults to true. */
+    readonly toolDefaults?: boolean;
+    /** The counted work budget; defaults to a fresh `StyleBudget`. */
+    readonly budget?: StyleWorkBudget;
+    /**
+     * Where notes are collected; the reader's notes, when it used the same collector, are kept.
+     * @internal
+     */
+    readonly notes?: StyleNotes;
+    /** Data columns the reader read the values from: they are never offered as explanations of themselves. */
+    readonly rawColumns?: {
+        /** Node columns. */
+        readonly node?: readonly string[];
+        /** Edge columns. */
+        readonly edge?: readonly string[];
+    };
+    /** Cancels the planning. */
+    readonly signal?: AbortSignal;
+}
+/**
+ * Plans a file's styles: the rules that reproduce its per-element values, with the columns they read.
+ * @param values - the canonical values, the declared rules and the graph they belong to
+ * @param features - the candidate explaining columns per target (`featuresOf()` of the snapshot)
+ * @param options - tool defaults, the budget, the notes collector, the raw columns and a cancel signal
+ * @returns the styles, exact for every element
+ * @category Styles
+ */
+export declare function planStyles(values: StyleValues, features: StyleFeatures, options?: PlanOptions): ExtractedStyles;
+//# sourceMappingURL=plan.d.ts.map

package/dist/src/styles/plan/plan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../../../../src/styles/plan/plan.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAKH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,EACR,eAAe,EACf,UAAU,EAEV,YAAY,EAEZ,YAAY,EAEZ,aAAa,EACb,gBAAgB,EAIhB,SAAS,EAET,eAAe,EAClB,MAAM,aAAa,CAAC;AAkBrB;;;GAGG;AACH,eAAO,MAAM,eAAe,KAAK,CAAC;AAMlC;;;;GAIG;AACH,MAAM,WAAW,WAAW;IACxB,8BAA8B;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,uCAAuC;IACvC,QAAQ,CAAC,OAAO,CAAC,EAAE,YAAY,GAAG,IAAI,CAAC;IACvC,6GAA6G;IAC7G,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC;IACjC,oDAAoD;IACpD,QAAQ,CAAC,KAAK,CAAC,EAAE,IAAI,GAAG,UAAU,CAAC;IACnC,6BAA6B;IAC7B,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;IAC5B,sEAAsE;IACtE,QAAQ,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC;IAC7B,sEAAsE;IACtE,QAAQ,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC;IAC7B,8EAA8E;IAC9E,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC;CAC1C;AAED;;;GAGG;AACH,MAAM,WAAW,WAAW;IACxB,4FAA4F;IAC5F,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,kEAAkE;IAClE,QAAQ,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC;IAClC;;;OAGG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;IAC5B,0GAA0G;IAC1G,QAAQ,CAAC,UAAU,CAAC,EAAE;QAClB,oBAAoB;QACpB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;QAClC,oBAAoB;QACpB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;KACrC,CAAC;IACF,4BAA4B;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;CACjC;AA0BD;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,EAAE,OAAO,GAAE,WAAgB,GAAG,eAAe,CA4DnH"}