@graphty/graph-io 0.3.42 → 0.3.44

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

@@ -0,0 +1 @@
+{"version":3,"file":"notes.d.ts","sourceRoot":"","sources":["../../../src/styles/notes.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AA0DxE;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC5B,gGAAgG;IAChG,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,iDAAiD;IACjD,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,iEAAiE;IACjE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED;;;GAGG;AACH,qBAAa,UAAU;;IAGnB;;;;;;OAMG;IACH,GAAG,CACC,IAAI,EAAE,aAAa,EACnB,MAAM,EAAE,WAAW,GAAG,OAAO,GAAG,IAAI,EACpC,QAAQ,EAAE,MAAM,GAAG,IAAI,EACvB,MAAM,GAAE,eAAoB,GAC7B,IAAI;IAqBP;;;;;;;OAOG;IACH,MAAM,CAAC,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO;IAInG;;;OAGG;IACH,IAAI,IAAI,SAAS,EAAE;CAatB"}

package/dist/src/styles/notes.js

@@ -0,0 +1,140 @@
+/**
+ * Style notes are aggregated, never one per element: one note per (code, target, property), with up to 8 distinct
+ * samples, a total count and the element indexes the note covers.
+ */
+var __classPrivateFieldGet = (this && this.__classPrivateFieldGet) || function (receiver, state, kind, f) {
+    if (kind === "a" && !f) throw new TypeError("Private accessor was defined without a getter");
+    if (typeof state === "function" ? receiver !== state || !f : !state.has(receiver)) throw new TypeError("Cannot read private member from an object whose class did not declare it");
+    return kind === "m" ? f : kind === "a" ? f.call(receiver) : f ? f.value : state.get(receiver);
+};
+var _StyleNotes_notes;
+/** At most this many samples per note. */
+const MAX_SAMPLES = 8;
+/** A sample is cut to this many characters. */
+const MAX_SAMPLE_LENGTH = 80;
+/** graph-io's English for each note, used only in its own report. */
+const PHRASES = new Map([
+    ["W_STYLE_VALUE_TOO_LONG", "values longer than 256 characters were not parsed"],
+    ["W_STYLE_BAD_VALUE", "values do not parse"],
+    ["W_STYLE_UNKNOWN_VALUE", "values have no name in the vocabulary and are kept as other:<value>"],
+    ["W_STYLE_ALPHA_DROPPED", "color alpha was dropped"],
+    ["W_STYLE_COLOR_LIST", "color lists are not read as one color"],
+    ["W_STYLE_GRADIENT", "gradients are read as their first color"],
+    ["W_STYLE_UNFILLED", "nodes with a fill color are drawn unfilled"],
+    ["W_STYLE_NO_FILL", "fills are marked transparent"],
+    ["W_STYLE_NO_STROKE", "strokes are marked absent"],
+    ["W_STYLE_SIZE_MINIMUM", "node sizes are minimums: the node grows to fit its label"],
+    ["W_STYLE_HTML_LABEL", "HTML-like labels keep their text; markup was dropped"],
+    ["W_STYLE_RECORD_LABEL", "record label fields were joined"],
+    ["W_STYLE_EXTRA_LABELS", "elements have more than one label; the first was kept"],
+    ["W_STYLE_INHERIT_COLOR", "inherited colors cannot be expressed"],
+    ["W_STYLE_NOT_CARRIED", "style properties have no counterpart and were not carried"],
+    ["W_STYLE_BAD_MAPPING", "mappings cannot be read"],
+    ["W_STYLE_MAPPING_COLUMN_MISSING", "mappings read a column the file does not have"],
+    ["W_STYLE_REFERENCE_CYCLE", "style references are circular or too deep"],
+    ["W_STYLE_UNRESOLVED", "style references name nothing"],
+    ["W_STYLE_NESTING", "style structures are nested too deep"],
+    ["W_STYLE_UNREADABLE", "a style section cannot be read"],
+    ["W_STYLE_NO_VIZMAP", "the session holds no visual styles"],
+    ["W_STYLE_VIEW_STYLE_MISSING", "the view names a style the file does not hold"],
+    ["W_STYLE_OTHER_STYLES", "other visual styles were not read"],
+    ["W_STYLE_OTHER_VIEWS", "other views were not read"],
+    ["W_STYLE_SELECTOR", "invalid selectors match every element"],
+    ["W_STYLE_SELECTOR_AS_COLUMN", "selectors were evaluated into per-element values"],
+    ["W_STYLE_STATE_ASSUMED", "selector states were evaluated as at load"],
+    ["W_STYLE_RAMP_ROUNDED", "continuous mappings match within the tool's rounding"],
+    ["W_STYLE_LAYER_CAP", "rules were folded into per-element copies"],
+    ["W_STYLE_BUDGET", "the work budget ran out; values were copied per element"],
+    ["W_STYLE_BLOCK_IGNORED", "the graphty.styles block was ignored"],
+    ["W_STYLE_NOT_WRITTEN", "the format cannot hold this style"],
+    ["W_STYLE_APPROXIMATED", "written as the nearest value the format allows"],
+    ["W_STYLE_RULES_NOT_KEPT", "per-element values were written but not the rules"],
+    ["W_STYLE_LAYER_FLATTENED", "a style was written as per-element values"],
+]);
+/**
+ * Collects style notes, aggregated per (code, target, property).
+ * @category Styles
+ */
+export class StyleNotes {
+    constructor() {
+        _StyleNotes_notes.set(this, new Map());
+    }
+    /**
+     * Records one occurrence (or `count` occurrences) of a condition.
+     * @param code - the condition
+     * @param target - nodes, edges, the graph, or null for the file as a whole
+     * @param property - the property or the file's name for the construct, or null
+     * @param report - a sample, the element index and a count
+     */
+    add(code, target, property, report = {}) {
+        const key = `${code}\u0000${target ?? ""}\u0000${property ?? ""}`;
+        let note = __classPrivateFieldGet(this, _StyleNotes_notes, "f").get(key);
+        if (note === undefined) {
+            note = { code, target, property, count: 0, samples: [], elements: new Set(), unindexed: false };
+            __classPrivateFieldGet(this, _StyleNotes_notes, "f").set(key, note);
+        }
+        note.count += report.count ?? 1;
+        if (report.element === undefined) {
+            note.unindexed = true;
+        }
+        else {
+            note.elements.add(report.element);
+        }
+        if (report.sample !== undefined && note.samples.length < MAX_SAMPLES) {
+            const sample = sampleText(report.sample);
+            if (!note.samples.includes(sample)) {
+                note.samples.push(sample);
+            }
+        }
+    }
+    /**
+     * Whether a note with this code, target and property covers an element.
+     * @param code - the condition
+     * @param target - nodes or edges
+     * @param property - the property
+     * @param element - the element index
+     * @returns true when such a note named the element
+     */
+    covers(code, target, property, element) {
+        return __classPrivateFieldGet(this, _StyleNotes_notes, "f").get(`${code}\u0000${target}\u0000${property ?? ""}`)?.elements.has(element) === true;
+    }
+    /**
+     * The collected notes, in the order their conditions first occurred.
+     * @returns one note per (code, target, property)
+     */
+    list() {
+        const out = [];
+        for (const n of __classPrivateFieldGet(this, _StyleNotes_notes, "f").values()) {
+            const where = n.property === null ? (n.target ?? "file") : `${n.target ?? "file"} ${n.property}`;
+            out.push({
+                code: n.code,
+                params: { property: n.property, target: n.target, count: n.count, samples: [...n.samples] },
+                elements: n.unindexed ? { count: n.count } : Array.from(n.elements).sort((a, b) => a - b),
+                message: `${where}: ${PHRASES.get(n.code) ?? n.code} (${n.count})`,
+            });
+        }
+        return out;
+    }
+}
+_StyleNotes_notes = new WeakMap();
+/**
+ * A sample as at most 80 characters of text.
+ * @param value - the sample
+ * @returns its text
+ */
+function sampleText(value) {
+    let text;
+    if (typeof value === "string") {
+        text = value;
+    }
+    else {
+        try {
+            text = JSON.stringify(value) ?? typeof value;
+        }
+        catch {
+            text = typeof value;
+        }
+    }
+    return text.slice(0, MAX_SAMPLE_LENGTH);
+}
+//# sourceMappingURL=notes.js.map

package/dist/src/styles/notes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"notes.js","sourceRoot":"","sources":["../../../src/styles/notes.ts"],"names":[],"mappings":"AAAA;;;GAGG;;;;;;;AAIH,0CAA0C;AAC1C,MAAM,WAAW,GAAG,CAAC,CAAC;AACtB,+CAA+C;AAC/C,MAAM,iBAAiB,GAAG,EAAE,CAAC;AAE7B,qEAAqE;AACrE,MAAM,OAAO,GAAuC,IAAI,GAAG,CAAwB;IAC/E,CAAC,wBAAwB,EAAE,mDAAmD,CAAC;IAC/E,CAAC,mBAAmB,EAAE,qBAAqB,CAAC;IAC5C,CAAC,uBAAuB,EAAE,qEAAqE,CAAC;IAChG,CAAC,uBAAuB,EAAE,yBAAyB,CAAC;IACpD,CAAC,oBAAoB,EAAE,uCAAuC,CAAC;IAC/D,CAAC,kBAAkB,EAAE,yCAAyC,CAAC;IAC/D,CAAC,kBAAkB,EAAE,4CAA4C,CAAC;IAClE,CAAC,iBAAiB,EAAE,8BAA8B,CAAC;IACnD,CAAC,mBAAmB,EAAE,2BAA2B,CAAC;IAClD,CAAC,sBAAsB,EAAE,0DAA0D,CAAC;IACpF,CAAC,oBAAoB,EAAE,sDAAsD,CAAC;IAC9E,CAAC,sBAAsB,EAAE,iCAAiC,CAAC;IAC3D,CAAC,sBAAsB,EAAE,uDAAuD,CAAC;IACjF,CAAC,uBAAuB,EAAE,sCAAsC,CAAC;IACjE,CAAC,qBAAqB,EAAE,2DAA2D,CAAC;IACpF,CAAC,qBAAqB,EAAE,yBAAyB,CAAC;IAClD,CAAC,gCAAgC,EAAE,+CAA+C,CAAC;IACnF,CAAC,yBAAyB,EAAE,2CAA2C,CAAC;IACxE,CAAC,oBAAoB,EAAE,+BAA+B,CAAC;IACvD,CAAC,iBAAiB,EAAE,sCAAsC,CAAC;IAC3D,CAAC,oBAAoB,EAAE,gCAAgC,CAAC;IACxD,CAAC,mBAAmB,EAAE,oCAAoC,CAAC;IAC3D,CAAC,4BAA4B,EAAE,+CAA+C,CAAC;IAC/E,CAAC,sBAAsB,EAAE,mCAAmC,CAAC;IAC7D,CAAC,qBAAqB,EAAE,2BAA2B,CAAC;IACpD,CAAC,kBAAkB,EAAE,uCAAuC,CAAC;IAC7D,CAAC,4BAA4B,EAAE,kDAAkD,CAAC;IAClF,CAAC,uBAAuB,EAAE,2CAA2C,CAAC;IACtE,CAAC,sBAAsB,EAAE,sDAAsD,CAAC;IAChF,CAAC,mBAAmB,EAAE,2CAA2C,CAAC;IAClE,CAAC,gBAAgB,EAAE,yDAAyD,CAAC;IAC7E,CAAC,uBAAuB,EAAE,sCAAsC,CAAC;IACjE,CAAC,qBAAqB,EAAE,mCAAmC,CAAC;IAC5D,CAAC,sBAAsB,EAAE,gDAAgD,CAAC;IAC1E,CAAC,wBAAwB,EAAE,mDAAmD,CAAC;IAC/E,CAAC,yBAAyB,EAAE,2CAA2C,CAAC;CAC3E,CAAC,CAAC;AA0BH;;;GAGG;AACH,MAAM,OAAO,UAAU;IAAvB;QACa,4BAAS,IAAI,GAAG,EAAsB,EAAC;IAgEpD,CAAC;IA9DG;;;;;;OAMG;IACH,GAAG,CACC,IAAmB,EACnB,MAAoC,EACpC,QAAuB,EACvB,SAA0B,EAAE;QAE5B,MAAM,GAAG,GAAG,GAAG,IAAI,SAAS,MAAM,IAAI,EAAE,SAAS,QAAQ,IAAI,EAAE,EAAE,CAAC;QAClE,IAAI,IAAI,GAAG,uBAAA,IAAI,yBAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACrB,IAAI,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;YAChG,uBAAA,IAAI,yBAAO,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC/B,CAAC;QACD,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC;QAChC,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC/B,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;QAC1B,CAAC;aAAM,CAAC;YACJ,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACtC,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,WAAW,EAAE,CAAC;YACnE,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACzC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBACjC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC9B,CAAC;QACL,CAAC;IACL,CAAC;IAED;;;;;;;OAOG;IACH,MAAM,CAAC,IAAmB,EAAE,MAAmB,EAAE,QAAuB,EAAE,OAAe;QACrF,OAAO,uBAAA,IAAI,yBAAO,CAAC,GAAG,CAAC,GAAG,IAAI,SAAS,MAAM,SAAS,QAAQ,IAAI,EAAE,EAAE,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC;IAC5G,CAAC;IAED;;;OAGG;IACH,IAAI;QACA,MAAM,GAAG,GAAgB,EAAE,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,uBAAA,IAAI,yBAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,MAAM,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACjG,GAAG,CAAC,IAAI,CAAC;gBACL,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE;gBAC3F,QAAQ,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;gBACzF,OAAO,EAAE,GAAG,KAAK,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,GAAG;aACrE,CAAC,CAAC;QACP,CAAC;QACD,OAAO,GAAG,CAAC;IACf,CAAC;CACJ;;AAED;;;;GAIG;AACH,SAAS,UAAU,CAAC,KAAc;IAC9B,IAAI,IAAY,CAAC;IACjB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC5B,IAAI,GAAG,KAAK,CAAC;IACjB,CAAC;SAAM,CAAC;QACJ,IAAI,CAAC;YACD,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC;QACjD,CAAC;QAAC,MAAM,CAAC;YACL,IAAI,GAAG,OAAO,KAAK,CAAC;QACxB,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC;AAC5C,CAAC"}

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

@@ -0,0 +1,31 @@
+/**
+ * The opaque pool: the families nothing explains. Over their non-text, non-size properties each distinct joint tuple
+ * of values is a style class, numbered 1..k by frequency in the style column `class`; a few classes become one group
+ * rule each, more become one table keyed by the class. What is left is copied per element.
+ */
+import type { StyleRule, StyleTarget, StyleValue } from "../types.js";
+/** The style column holding each element's class. */
+export declare const CLASS_COLUMN = "class";
+/**
+ * The style classes of an opaque pool.
+ */
+interface StyleClasses {
+    /** The properties the classes explain. */
+    readonly classed: readonly string[];
+    /** The class of each element, 1..k, or null. */
+    readonly column: (number | null)[];
+    /** One group rule per class, or one mapping rule keyed by the class. */
+    readonly rules: StyleRule[];
+}
+/**
+ * Finds the style classes of the opaque properties.
+ * @param target - nodes or edges
+ * @param props - the opaque properties
+ * @param truth - the values per property
+ * @param n - the element count
+ * @param spend - spends work from the budget
+ * @returns the classes, or null when the values have too many combinations
+ */
+export declare function styleClasses(target: StyleTarget, props: readonly string[], truth: ReadonlyMap<string, readonly (StyleValue | null)[]>, n: number, spend: (ops: number) => void): StyleClasses | null;
+export {};
+//# sourceMappingURL=classes.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"classes.d.ts","sourceRoot":"","sources":["../../../../src/styles/plan/classes.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAWtE,qDAAqD;AACrD,eAAO,MAAM,YAAY,UAAU,CAAC;AAEpC;;GAEG;AACH,UAAU,YAAY;IAClB,0CAA0C;IAC1C,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,gDAAgD;IAChD,QAAQ,CAAC,MAAM,EAAE,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;IACnC,wEAAwE;IACxE,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC;CAC/B;AAwCD;;;;;;;;GAQG;AACH,wBAAgB,YAAY,CACxB,MAAM,EAAE,WAAW,EACnB,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,UAAU,GAAG,IAAI,CAAC,EAAE,CAAC,EAC1D,CAAC,EAAE,MAAM,EACT,KAAK,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAI,GAC7B,YAAY,GAAG,IAAI,CAgFrB"}

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

@@ -0,0 +1,139 @@
+/**
+ * The opaque pool: the families nothing explains. Over their non-text, non-size properties each distinct joint tuple
+ * of values is a style class, numbered 1..k by frequency in the style column `class`; a few classes become one group
+ * rule each, more become one table keyed by the class. What is left is copied per element.
+ */
+import { STYLE_PROPERTIES } from "../vocabulary.js";
+import { MIN_MAPPED } from "./discrete.js";
+import { valueKey } from "./families.js";
+/** The most style classes; more distinct tuples are copied per element. */
+const MAX_CLASSES = 64;
+/** At most this many classes become one group rule each. */
+const MAX_CLASS_RULES = 4;
+/** Sizes vary per element by nature and are never joined into a class. */
+const SIZES = new Set(["width", "height"]);
+/** The style column holding each element's class. */
+export const CLASS_COLUMN = "class";
+/**
+ * Whether a property's values have few enough distinct values to be part of a class.
+ * @param values - the values
+ * @returns true when they do
+ */
+function fewValues(values) {
+    const seen = new Set();
+    for (const v of values) {
+        seen.add(valueKey(v));
+        if (seen.size > MAX_CLASSES + 1) {
+            return false;
+        }
+    }
+    return true;
+}
+/**
+ * One element's combination of values of the classable properties, as a key; null when it has none.
+ * @param classable - the properties
+ * @param truth - the values per property
+ * @param i - the element
+ * @returns the key
+ */
+function tupleKey(classable, truth, i) {
+    let key = "";
+    let any = false;
+    for (const p of classable) {
+        const v = (truth.get(p) ?? [])[i] ?? null;
+        any || (any = v !== null);
+        key += `${valueKey(v)}\u0001`;
+    }
+    return any ? key : null;
+}
+/**
+ * Finds the style classes of the opaque properties.
+ * @param target - nodes or edges
+ * @param props - the opaque properties
+ * @param truth - the values per property
+ * @param n - the element count
+ * @param spend - spends work from the budget
+ * @returns the classes, or null when the values have too many combinations
+ */
+export function styleClasses(target, props, truth, n, spend) {
+    const classable = props.filter((p) => STYLE_PROPERTIES[target].get(p) !== "text" && !SIZES.has(p) && fewValues(truth.get(p) ?? []));
+    if (classable.length === 0) {
+        return null;
+    }
+    spend(n * (classable.length + 1));
+    const counts = new Map();
+    const tupleOf = new Array(n).fill(null);
+    let withTuple = 0;
+    for (let i = 0; i < n; i++) {
+        const key = tupleKey(classable, truth, i);
+        if (key === null) {
+            continue;
+        }
+        withTuple++;
+        tupleOf[i] = key;
+        const c = counts.get(key);
+        if (c === undefined) {
+            counts.set(key, { count: 1, rep: i });
+            if (counts.size > MAX_CLASSES) {
+                return null;
+            }
+        }
+        else {
+            c.count++;
+        }
+    }
+    if (counts.size === 0 || withTuple < MIN_MAPPED || counts.size * 2 > withTuple) {
+        return null;
+    }
+    // classes by frequency, ties by first appearance (a stable sort)
+    const order = Array.from(counts.entries()).sort((a, b) => b[1].count - a[1].count);
+    const rank = new Map(order.map(([key], j) => [key, j + 1]));
+    const column = tupleOf.map((t) => (t === null ? null : (rank.get(t) ?? null)));
+    const ref = { style: CLASS_COLUMN };
+    const valueOf = (p, rep) => (truth.get(p) ?? [])[rep] ?? null;
+    const rules = [];
+    if (order.length <= Math.min(MAX_CLASS_RULES, Math.floor(withTuple / 4))) {
+        order.forEach(([, { count, rep }], j) => {
+            const set = {};
+            for (const p of classable) {
+                const v = valueOf(p, rep);
+                if (v !== null) {
+                    set[p] = v;
+                }
+            }
+            rules.push({
+                id: `${target}.class.${String(j + 1)}`,
+                target,
+                role: "group",
+                origin: "inferred",
+                where: { eq: [ref, j + 1] },
+                set,
+                facts: { elements: count, reason: "STYLE_CLASS" },
+            });
+        });
+    }
+    else {
+        const map = {};
+        for (const p of classable) {
+            const table = [];
+            order.forEach(([, { rep }], j) => {
+                const v = valueOf(p, rep);
+                if (v !== null) {
+                    table.push([j + 1, v]);
+                }
+            });
+            map[p] = { kind: "discrete", by: ref, table };
+        }
+        rules.push({
+            id: `${target}.classes`,
+            target,
+            role: "mapping",
+            origin: "inferred",
+            where: { all: true },
+            map,
+            facts: { classes: order.length, elements: withTuple, reason: "STYLE_CLASS" },
+        });
+    }
+    return { classed: classable, column, rules };
+}
+//# sourceMappingURL=classes.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"classes.js","sourceRoot":"","sources":["../../../../src/styles/plan/classes.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAEzC,2EAA2E;AAC3E,MAAM,WAAW,GAAG,EAAE,CAAC;AACvB,4DAA4D;AAC5D,MAAM,eAAe,GAAG,CAAC,CAAC;AAC1B,0EAA0E;AAC1E,MAAM,KAAK,GAAwB,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;AAChE,qDAAqD;AACrD,MAAM,CAAC,MAAM,YAAY,GAAG,OAAO,CAAC;AAcpC;;;;GAIG;AACH,SAAS,SAAS,CAAC,MAAsC;IACrD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACrB,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,IAAI,CAAC,IAAI,GAAG,WAAW,GAAG,CAAC,EAAE,CAAC;YAC9B,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,QAAQ,CACb,SAA4B,EAC5B,KAA0D,EAC1D,CAAS;IAET,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,IAAI,GAAG,GAAG,KAAK,CAAC;IAChB,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;QAC1C,GAAG,KAAH,GAAG,GAAK,CAAC,KAAK,IAAI,EAAC;QACnB,GAAG,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;IAClC,CAAC;IACD,OAAO,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5B,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,YAAY,CACxB,MAAmB,EACnB,KAAwB,EACxB,KAA0D,EAC1D,CAAS,EACT,KAA4B;IAE5B,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAC1B,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CACtG,CAAC;IACF,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,KAAK,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,IAAI,GAAG,EAA0C,CAAC;IACjE,MAAM,OAAO,GAAG,IAAI,KAAK,CAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAC1C,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACf,SAAS;QACb,CAAC;QACD,SAAS,EAAE,CAAC;QACZ,OAAO,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;QACjB,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YAClB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;YACtC,IAAI,MAAM,CAAC,IAAI,GAAG,WAAW,EAAE,CAAC;gBAC5B,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,CAAC,CAAC,KAAK,EAAE,CAAC;QACd,CAAC;IACL,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,SAAS,GAAG,UAAU,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,GAAG,SAAS,EAAE,CAAC;QAC7E,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,iEAAiE;IACjE,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACnF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,GAAG,GAAG,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;IACpC,MAAM,OAAO,GAAG,CAAC,CAAS,EAAE,GAAW,EAAqB,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;IACjG,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,IAAI,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;YACpC,MAAM,GAAG,GAA+B,EAAE,CAAC;YAC3C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBACxB,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBAC1B,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;oBACb,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBACf,CAAC;YACL,CAAC;YACD,KAAK,CAAC,IAAI,CAAC;gBACP,EAAE,EAAE,GAAG,MAAM,UAAU,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE;gBACtC,MAAM;gBACN,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,UAAU;gBAClB,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE;gBAC3B,GAAG;gBACH,KAAK,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE;aACpD,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;IACP,CAAC;SAAM,CAAC;QACJ,MAAM,GAAG,GAA+F,EAAE,CAAC;QAC3G,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YACxB,MAAM,KAAK,GAA2B,EAAE,CAAC;YACzC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC7B,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBAC1B,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;oBACb,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC3B,CAAC;YACL,CAAC,CAAC,CAAC;YACH,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;QAClD,CAAC;QACD,KAAK,CAAC,IAAI,CAAC;YACP,EAAE,EAAE,GAAG,MAAM,UAAU;YACvB,MAAM;YACN,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE;YACpB,GAAG;YACH,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,aAAa,EAAE;SAC/E,CAAC,CAAC;IACP,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AACjD,CAAC"}

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

@@ -0,0 +1,32 @@
+/**
+ * A continuous mapping on one numeric feature: the fewest linear pieces (at most 8, each explaining at least 3
+ * distinct inputs), exact first, else within the rounding the writing tool did per element.
+ */
+import type { ContinuousPoint, StyleValue } from "../types.js";
+import type { Family } from "./families.js";
+import type { FeatureInfo } from "./features.js";
+/**
+ * A continuous mapping that explains a family.
+ */
+export interface ContinuousCandidate {
+    /** The kind of candidate. */
+    readonly type: "continuous";
+    /** The feature the ramp reads. */
+    readonly info: FeatureInfo;
+    /** The points per property. */
+    readonly points: ReadonlyMap<string, ContinuousPoint[]>;
+    /** Whether the ramp matches only within the tool's rounding. */
+    readonly tolerant: boolean;
+    /** The description cost. */
+    readonly cost: number;
+}
+/**
+ * Tests a continuous mapping on one feature.
+ * @param fam - the family
+ * @param info - the feature
+ * @param truth - the values per property
+ * @param spend - spends work from the budget
+ * @returns the candidate, or null when the feature does not explain the family
+ */
+export declare function continuousCandidate(fam: Family, info: FeatureInfo, truth: ReadonlyMap<string, readonly (StyleValue | null)[]>, spend: (ops: number) => void): ContinuousCandidate | null;
+//# sourceMappingURL=continuous.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"continuous.d.ts","sourceRoot":"","sources":["../../../../src/styles/plan/continuous.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE/D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AASjD;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAChC,6BAA6B;IAC7B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,kCAAkC;IAClC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,+BAA+B;IAC/B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,EAAE,CAAC,CAAC;IACxD,gEAAgE;IAChE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,4BAA4B;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACzB;AAwFD;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CAC/B,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,WAAW,EACjB,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,UAAU,GAAG,IAAI,CAAC,EAAE,CAAC,EAC1D,KAAK,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAI,GAC7B,mBAAmB,GAAG,IAAI,CAkB5B"}

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

@@ -0,0 +1,165 @@
+/**
+ * A continuous mapping on one numeric feature: the fewest linear pieces (at most 8, each explaining at least 3
+ * distinct inputs), exact first, else within the rounding the writing tool did per element.
+ */
+import { MIN_MAPPED } from "./discrete.js";
+import { interpolate, within } from "./resolve.js";
+/** The most linear pieces a ramp may have. */
+const MAX_PIECES = 8;
+/** The most distinct inputs a ramp is fitted over. */
+const MAX_DISTINCT_X = 4096;
+const HEX6 = /^#[0-9a-f]{6}$/;
+/**
+ * Whether a value can be interpolated: a number or a canonical color.
+ * @param v - the value
+ * @returns true when it can
+ */
+function interpolable(v) {
+    return typeof v === "number" || (typeof v === "string" && HEX6.test(v));
+}
+/**
+ * The fewest linear pieces over sorted distinct points, or null when more than `MAX_PIECES` are needed.
+ * @param xs - the inputs, ascending
+ * @param ys - the outputs
+ * @param tolerant - whether a piece may miss a point by the tool's rounding
+ * @param spend - spends work from the budget
+ * @returns each piece's first and last point index, or null
+ */
+function fitPieces(xs, ys, tolerant, spend) {
+    const pieces = [];
+    let a = 0;
+    while (a < xs.length) {
+        let b = a;
+        // extend while the line from a to b + 1 reproduces every point between
+        while (b + 1 < xs.length) {
+            const ok = lineFits(xs, ys, a, b + 1, tolerant);
+            spend(b + 1 - a);
+            if (!ok) {
+                break;
+            }
+            b++;
+        }
+        pieces.push([a, b]);
+        if (pieces.length > MAX_PIECES) {
+            return null;
+        }
+        a = b + 1;
+    }
+    return pieces;
+}
+/**
+ * Whether the line from point a to point c reproduces every point between.
+ * @param xs - the inputs, ascending
+ * @param ys - the outputs
+ * @param a - the first point
+ * @param c - the last point
+ * @param tolerant - whether the line may miss a point by the tool's rounding
+ * @returns true when it does
+ */
+function lineFits(xs, ys, a, c, tolerant) {
+    for (let j = a + 1; j < c; j++) {
+        const v = interpolate(ys[a], ys[c], (xs[j] - xs[a]) / (xs[c] - xs[a]));
+        if (tolerant ? !within(v, ys[j]) : v !== ys[j]) {
+            return false;
+        }
+    }
+    return true;
+}
+/**
+ * The points of a fitted ramp.
+ * @param xs - the inputs
+ * @param ys - the outputs
+ * @param pieces - the pieces
+ * @returns the points, ascending
+ */
+function piecesToPoints(xs, ys, pieces) {
+    const out = [];
+    for (const [a, b] of pieces) {
+        out.push({ at: xs[a], below: ys[a], value: ys[a], above: ys[a] });
+        if (b !== a) {
+            out.push({ at: xs[b], below: ys[b], value: ys[b], above: ys[b] });
+        }
+    }
+    return out;
+}
+/**
+ * Tests a continuous mapping on one feature.
+ * @param fam - the family
+ * @param info - the feature
+ * @param truth - the values per property
+ * @param spend - spends work from the budget
+ * @returns the candidate, or null when the feature does not explain the family
+ */
+export function continuousCandidate(fam, info, truth, spend) {
+    if (!info.numeric || info.raw || fam.styled.length < MIN_MAPPED) {
+        return null;
+    }
+    const { values } = info.feature;
+    spend(values.length);
+    // the feature must be a number exactly where the family has a value
+    if (values.some((v, i) => (fam.blocks[i] === 0) === (typeof v === "number"))) {
+        return null;
+    }
+    for (const tolerant of [false, true]) {
+        const points = rampsOf(fam, values, truth, tolerant, spend);
+        if (points !== null) {
+            const entries = Array.from(points.values()).reduce((sum, pts) => sum + pts.length, 0);
+            return { type: "continuous", info, points, tolerant, cost: 50 + entries + (tolerant ? 10 : 0) };
+        }
+    }
+    return null;
+}
+/**
+ * The ramp of every property of the family over the feature, or null when one has none.
+ * @param fam - the family
+ * @param values - the feature's values
+ * @param truth - the values per property
+ * @param tolerant - whether a ramp may miss a value by the tool's rounding
+ * @param spend - spends work from the budget
+ * @returns the points per property, or null
+ */
+function rampsOf(fam, values, truth, tolerant, spend) {
+    const points = new Map();
+    for (const p of fam.props) {
+        const pts = rampOf(fam, values, truth.get(p) ?? [], tolerant, spend);
+        if (pts === null) {
+            return null;
+        }
+        points.set(p, pts);
+    }
+    return points;
+}
+/**
+ * The ramp of one property over the feature, or null when none explains it.
+ * @param fam - the family
+ * @param values - the feature's values
+ * @param ys0 - the property's values
+ * @param tolerant - whether the ramp may miss a value by the tool's rounding
+ * @param spend - spends work from the budget
+ * @returns the points, or null
+ */
+function rampOf(fam, values, ys0, tolerant, spend) {
+    const byX = new Map();
+    let good = true;
+    for (const i of fam.styled) {
+        const y = ys0[i];
+        const x = values[i];
+        const seen = byX.get(x);
+        if (!interpolable(y) || (seen !== undefined && seen !== y)) {
+            good = false;
+            break;
+        }
+        byX.set(x, y);
+    }
+    spend(fam.styled.length);
+    // a ramp needs at least 3 distinct outputs: two values over a number are a threshold, not a mapping
+    if (!good || byX.size < 2 || byX.size > MAX_DISTINCT_X || new Set(byX.values()).size < 3) {
+        return null;
+    }
+    const xs = Array.from(byX.keys()).sort((a, b) => a - b);
+    const ys = xs.map((x) => byX.get(x));
+    const pieces = fitPieces(xs, ys, tolerant, spend);
+    // every piece must explain at least 3 distinct inputs, or a few points fit anything
+    return pieces === null || pieces.length * 3 > xs.length ? null : piecesToPoints(xs, ys, pieces);
+}
+//# sourceMappingURL=continuous.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"continuous.js","sourceRoot":"","sources":["../../../../src/styles/plan/continuous.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAG3C,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAEnD,8CAA8C;AAC9C,MAAM,UAAU,GAAG,CAAC,CAAC;AACrB,sDAAsD;AACtD,MAAM,cAAc,GAAG,IAAI,CAAC;AAC5B,MAAM,IAAI,GAAG,gBAAgB,CAAC;AAkB9B;;;;GAIG;AACH,SAAS,YAAY,CAAC,CAAoB;IACtC,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,SAAS,CACd,EAAqB,EACrB,EAAyB,EACzB,QAAiB,EACjB,KAA4B;IAE5B,MAAM,MAAM,GAAuB,EAAE,CAAC;IACtC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC;QACnB,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,uEAAuE;QACvE,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC;YACvB,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC;YAChD,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YACjB,IAAI,CAAC,EAAE,EAAE,CAAC;gBACN,MAAM;YACV,CAAC;YACD,CAAC,EAAE,CAAC;QACR,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,MAAM,CAAC,MAAM,GAAG,UAAU,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACd,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,QAAQ,CAAC,EAAqB,EAAE,EAAyB,EAAE,CAAS,EAAE,CAAS,EAAE,QAAiB;IACvG,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvE,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7C,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,cAAc,CACnB,EAAqB,EACrB,EAAyB,EACzB,MAA0B;IAE1B,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,EAAE,CAAC;QAC1B,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAClE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACV,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACtE,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CAC/B,GAAW,EACX,IAAiB,EACjB,KAA0D,EAC1D,KAA4B;IAE5B,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,UAAU,EAAE,CAAC;QAC9D,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC;IAChC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACrB,oEAAoE;IACpE,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC;QAC3E,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;QAC5D,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YAClB,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACtF,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACpG,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,OAAO,CACZ,GAAW,EACX,MAA0B,EAC1B,KAA0D,EAC1D,QAAiB,EACjB,KAA4B;IAE5B,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6B,CAAC;IACpD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;QACrE,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACf,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,MAAM,CACX,GAAW,EACX,MAA0B,EAC1B,GAAmC,EACnC,QAAiB,EACjB,KAA4B;IAE5B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC1C,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAW,CAAC;QAC9B,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC;YACzD,IAAI,GAAG,KAAK,CAAC;YACb,MAAM;QACV,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACzB,oGAAoG;IACpG,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,GAAG,cAAc,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACvF,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACxD,MAAM,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAe,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAClD,oFAAoF;IACpF,OAAO,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;AACpG,CAAC"}

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

@@ -0,0 +1,39 @@
+/**
+ * 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 { type Family } from "./families.js";
+import type { FeatureInfo } from "./features.js";
+/** Below this many styled elements anything explains anything: no mapping is tried. */
+export declare const MIN_MAPPED = 8;
+/** A key of a discrete table, as the feature holds it. */
+type KeyValue = string | number | boolean;
+/**
+ * A discrete mapping that explains a family.
+ */
+export interface DiscreteCandidate {
+    /** The kind of candidate. */
+    readonly type: "discrete";
+    /** The feature the table reads. */
+    readonly info: FeatureInfo;
+    /** Each key (by its value key) with its raw value and the block it maps to. */
+    readonly table: Map<string, {
+        readonly raw: KeyValue;
+        readonly block: number;
+    }>;
+    /** The block the elements missing the feature share, or null. */
+    readonly bucket: number | null;
+    /** The description cost. */
+    readonly cost: number;
+}
+/**
+ * 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 declare function discreteCandidate(fam: Family, info: FeatureInfo, n: number, spend: (ops: number) => void): DiscreteCandidate | null;
+export {};
+//# sourceMappingURL=discrete.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"discrete.d.ts","sourceRoot":"","sources":["../../../../src/styles/plan/discrete.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,KAAK,MAAM,EAAY,MAAM,eAAe,CAAC;AACtD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAEjD,uFAAuF;AACvF,eAAO,MAAM,UAAU,IAAI,CAAC;AAM5B,0DAA0D;AAC1D,KAAK,QAAQ,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAE1C;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAC9B,6BAA6B;IAC7B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,mCAAmC;IACnC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,+EAA+E;IAC/E,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAChF,iEAAiE;IACjE,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,4BAA4B;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAC7B,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,WAAW,EACjB,CAAC,EAAE,MAAM,EACT,KAAK,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAI,GAC7B,iBAAiB,GAAG,IAAI,CAiC1B"}