@inflexa-ai/harness 0.45.1 → 0.46.0

package/dist/report-render/design.d.ts

@@ -112,7 +112,7 @@ export declare const CHART_SLIDE_TEXT_PX = 24;
 export declare const CHART_PRINT_THEME_NAME = "inflexa-print";
 export declare const CHART_SLIDE_THEME_NAME = "inflexa-slide";
 /** The size of one chart export: the name of its theme, the CSS pixel box, and the millimeter box of a column. */
-export interface ChartExportSize {
+export type ChartExportSize = {
     readonly theme: string;
     readonly textPx: number;
     readonly widthPx: number;
@@ -121,7 +121,7 @@ export interface ChartExportSize {
     readonly heightMm?: number;
     readonly pixelRatio: number;
     readonly label: string;
-}
+};
 /**
  * The export sizes of a chart: the single journal column, the double journal column, and a 16:9 slide.
  *
@@ -293,197 +293,36 @@ export declare const CHART_INLINE_OPTION_BOUND = 100000;
  * style. The text size scales the text alone: the page, the print export, and the slide export each register
  * one theme.
  */
-export declare function chartTheme(textPx: number): {
-    color: ("#0072b2" | "#d55e00" | "#009e73" | "#e69f00" | "#cc79a7" | "#56b4e9" | "#f0e442" | "#000000")[];
-    backgroundColor: string;
-    textStyle: {
-        fontFamily: string;
-        fontSize: number;
-        color: string;
-    };
-    title: {
+type ChartAxisTheme = {
+    axisLine: {
         show: boolean;
-    };
-    legend: {
-        bottom: number;
-        borderWidth: number;
-        textStyle: {
-            fontFamily: string;
-            fontSize: number;
-            color: string;
-        };
-        itemGap: number;
-        itemWidth: number;
-        itemHeight: number;
-    };
-    grid: {
-        left: number;
-        right: number;
-        top: number;
-        bottom: number;
-        containLabel: boolean;
-    };
-    tooltip: {
-        backgroundColor: string;
-        borderColor: string;
-        textStyle: {
-            color: string;
-            fontSize: number;
-        };
-        extraCssText: string;
-    };
-    categoryAxis: {
-        axisLine: {
-            show: boolean;
-            lineStyle: {
-                color: string;
-                width: number;
-            };
-        };
-        axisTick: {
-            show: boolean;
-            inside: boolean;
-            lineStyle: {
-                color: string;
-                width: number;
-            };
-        };
-        axisLabel: {
-            color: string;
-            fontSize: number;
-        };
-        splitLine: {
-            show: boolean;
-        };
-        nameTextStyle: {
-            color: string;
-            fontSize: number;
-        };
-    };
-    valueAxis: {
-        axisLine: {
-            onZero: boolean;
-            show: boolean;
-            lineStyle: {
-                color: string;
-                width: number;
-            };
-        };
-        axisTick: {
-            show: boolean;
-            inside: boolean;
-            lineStyle: {
-                color: string;
-                width: number;
-            };
-        };
-        axisLabel: {
+        lineStyle: {
             color: string;
-            fontSize: number;
-        };
-        splitLine: {
-            show: boolean;
-        };
-        nameTextStyle: {
-            color: string;
-            fontSize: number;
+            width: number;
         };
     };
-    logAxis: {
-        axisLine: {
-            onZero: boolean;
-            show: boolean;
-            lineStyle: {
-                color: string;
-                width: number;
-            };
-        };
-        axisTick: {
-            show: boolean;
-            inside: boolean;
-            lineStyle: {
-                color: string;
-                width: number;
-            };
-        };
-        axisLabel: {
-            color: string;
-            fontSize: number;
-        };
-        splitLine: {
-            show: boolean;
-        };
-        nameTextStyle: {
+    axisTick: {
+        show: boolean;
+        inside: boolean;
+        lineStyle: {
             color: string;
-            fontSize: number;
+            width: number;
         };
     };
-    timeAxis: {
-        axisLine: {
-            onZero: boolean;
-            show: boolean;
-            lineStyle: {
-                color: string;
-                width: number;
-            };
-        };
-        axisTick: {
-            show: boolean;
-            inside: boolean;
-            lineStyle: {
-                color: string;
-                width: number;
-            };
-        };
-        axisLabel: {
-            color: string;
-            fontSize: number;
-        };
-        splitLine: {
-            show: boolean;
-        };
-        nameTextStyle: {
-            color: string;
-            fontSize: number;
-        };
+    axisLabel: {
+        color: string;
+        fontSize: number;
     };
-    visualMap: {
-        textStyle: {
-            fontFamily: string;
-            fontSize: number;
-            color: string;
-        };
+    splitLine: {
+        show: boolean;
     };
-    radar: {
-        axisName: {
-            color: string;
-            fontSize: number;
-        };
-        axisLine: {
-            lineStyle: {
-                color: string;
-            };
-        };
-        splitLine: {
-            lineStyle: {
-                color: string;
-            };
-        };
-        splitArea: {
-            show: boolean;
-        };
+    nameTextStyle: {
+        color: string;
+        fontSize: number;
     };
 };
-/**
- * The colors and the font of the toolbox of a page chart: a quiet icon, the primary accent on hover, and the mono
- * face of the card title for the title of an icon.
- */
-export declare const CHART_TOOLBOX_ICON_COLOR: "#64748b";
-export declare const CHART_TOOLBOX_ACTIVE_COLOR: "#576dea";
-export declare const CHART_TOOLBOX_FONT: "\"IBM Plex Mono\", ui-monospace, monospace";
-/** The theme that the page registers under `ECHARTS_THEME_NAME`, at the page text size. */
-export declare const ECHARTS_THEME: {
-    color: ("#0072b2" | "#d55e00" | "#009e73" | "#e69f00" | "#cc79a7" | "#56b4e9" | "#f0e442" | "#000000")[];
+type ChartTheme = {
+    color: string[];
     backgroundColor: string;
     textStyle: {
         fontFamily: string;
@@ -521,121 +360,10 @@ export declare const ECHARTS_THEME: {
         };
         extraCssText: string;
     };
-    categoryAxis: {
-        axisLine: {
-            show: boolean;
-            lineStyle: {
-                color: string;
-                width: number;
-            };
-        };
-        axisTick: {
-            show: boolean;
-            inside: boolean;
-            lineStyle: {
-                color: string;
-                width: number;
-            };
-        };
-        axisLabel: {
-            color: string;
-            fontSize: number;
-        };
-        splitLine: {
-            show: boolean;
-        };
-        nameTextStyle: {
-            color: string;
-            fontSize: number;
-        };
-    };
-    valueAxis: {
-        axisLine: {
-            onZero: boolean;
-            show: boolean;
-            lineStyle: {
-                color: string;
-                width: number;
-            };
-        };
-        axisTick: {
-            show: boolean;
-            inside: boolean;
-            lineStyle: {
-                color: string;
-                width: number;
-            };
-        };
-        axisLabel: {
-            color: string;
-            fontSize: number;
-        };
-        splitLine: {
-            show: boolean;
-        };
-        nameTextStyle: {
-            color: string;
-            fontSize: number;
-        };
-    };
-    logAxis: {
-        axisLine: {
-            onZero: boolean;
-            show: boolean;
-            lineStyle: {
-                color: string;
-                width: number;
-            };
-        };
-        axisTick: {
-            show: boolean;
-            inside: boolean;
-            lineStyle: {
-                color: string;
-                width: number;
-            };
-        };
-        axisLabel: {
-            color: string;
-            fontSize: number;
-        };
-        splitLine: {
-            show: boolean;
-        };
-        nameTextStyle: {
-            color: string;
-            fontSize: number;
-        };
-    };
-    timeAxis: {
-        axisLine: {
-            onZero: boolean;
-            show: boolean;
-            lineStyle: {
-                color: string;
-                width: number;
-            };
-        };
-        axisTick: {
-            show: boolean;
-            inside: boolean;
-            lineStyle: {
-                color: string;
-                width: number;
-            };
-        };
-        axisLabel: {
-            color: string;
-            fontSize: number;
-        };
-        splitLine: {
-            show: boolean;
-        };
-        nameTextStyle: {
-            color: string;
-            fontSize: number;
-        };
-    };
+    categoryAxis: ChartAxisTheme;
+    valueAxis: ChartAxisTheme;
+    logAxis: ChartAxisTheme;
+    timeAxis: ChartAxisTheme;
     visualMap: {
         textStyle: {
             fontFamily: string;
@@ -663,6 +391,16 @@ export declare const ECHARTS_THEME: {
         };
     };
 };
+export declare function chartTheme(textPx: number): ChartTheme;
+/**
+ * The colors and the font of the toolbox of a page chart: a quiet icon, the primary accent on hover, and the mono
+ * face of the card title for the title of an icon.
+ */
+export declare const CHART_TOOLBOX_ICON_COLOR: "#64748b";
+export declare const CHART_TOOLBOX_ACTIVE_COLOR: "#576dea";
+export declare const CHART_TOOLBOX_FONT: "\"IBM Plex Mono\", ui-monospace, monospace";
+/** The theme that the page registers under `ECHARTS_THEME_NAME`, at the page text size. */
+export declare const ECHARTS_THEME: ChartTheme;
 /**
  * The registered themes: the page theme, the print theme of the SVG and the column PNG, and the slide theme.
  * The registration script writes each one, and the export reads one by its name.
@@ -677,3 +415,4 @@ export declare const CHART_THEMES: readonly [{
     readonly name: "inflexa-slide";
     readonly textPx: 24;
 }];
+export {};

package/dist/report-render/design.js

@@ -1500,18 +1500,6 @@ export const SCATTER_CROWD_OPACITY = 0.5;
  * page. Past this bound the option carries no row, and the chart reads the columnar payload of its artifact.
  */
 export const CHART_INLINE_OPTION_BOUND = 100_000;
-/**
- * The publication theme of a chart, at one text size.
- *
- * The page and the export read one theme, thus a chart on the page is the chart that the paper gets. The
- * left and the bottom axis lines are strong and dark, with ticks outside the plot. There is no grid line, no
- * frame around the legend, and no toolbox, because the chart card adds the toolbox of the page and a file carries
- * none. The text reads in the journal sans stack and in the near-black ink.
- *
- * The chart runtime reads the style of an axis by its type, thus each of the four axis types carries the same
- * style. The text size scales the text alone: the page, the print export, and the slide export each register
- * one theme.
- */
 export function chartTheme(textPx) {
     const axis = {
         axisLine: { show: true, lineStyle: { color: CHART_INK, width: CHART_AXIS_LINE_PX } },

package/dist/report-render/figures/common.d.ts

@@ -29,7 +29,7 @@ export type ColumnMeanings = ArtifactTableReference["columnMeanings"];
 /** A typed `invalid-chart-input` problem that names the block and the cause. */
 export declare function chartProblem(blockId: string, detail: string): RenderProblem;
 /** Convert one cell to a finite number, or `null` when it is absent or not numeric. */
-export declare function toNumber(cell: Cell | null | undefined): number | null;
+export declare function toNumber(cell: unknown): number | null;
 /**
  * The legend text of one category value: the value with each underscore as a space.
  *
@@ -37,7 +37,7 @@ export declare function toNumber(cell: Cell | null | undefined): number | null;
  * person. The replacement reads no locale, thus the same value gives the same text on every host. The raw
  * value stays in the data rows, thus the provenance loses nothing.
  */
-export declare function categoryName(value: Cell): string;
+export declare function categoryName(value: unknown): string;
 /**
  * The lane of each span in turn, for at most `count` spans: the lowest lane whose last span ends under the start
  * of the next span, else a new lane under the others.
@@ -60,7 +60,7 @@ export declare function columnPresent(column: string, rows: readonly Record<stri
  *
  * The comparison never calls `localeCompare`, thus the order stays the same on every host.
  */
-export declare function compareCell(a: Cell, b: Cell): number;
+export declare function compareCell(a: Cell | undefined, b: Cell | undefined): number;
 /**
  * Sort the categories of one channel by the value of its order column.
  *
@@ -75,20 +75,20 @@ export declare function compareCell(a: Cell, b: Cell): number;
  * of strings and a column of numbers still meet. A row that lacks the order cell gives its category no place,
  * thus it refuses.
  */
-export declare function orderCategories<T extends Cell>(blockId: string, rowCount: number, categoryAt: (index: number) => Cell | null | undefined, categories: readonly T[], order: ChannelOrder | undefined, keyAt: (index: number) => Cell | undefined): Result<T[], RenderProblem>;
+export declare function orderCategories<T>(blockId: string, rowCount: number, categoryAt: (index: number) => Cell | null | undefined, categories: readonly T[], order: ChannelOrder | undefined, keyAt: (index: number) => Cell | undefined): Result<T[], RenderProblem>;
 /**
  * Sort the categories of one quick-path channel that reads a plain column, by the order of that channel.
  * The row of each category reads the category column and the order column of the same row.
  */
-export declare function orderQuickCategories(blockId: string, rows: readonly ChartRow[], column: string, order: ChannelOrder | undefined): Result<Cell[], RenderProblem>;
+export declare function orderQuickCategories(blockId: string, rows: readonly ChartRow[], column: string, order: ChannelOrder | undefined): Result<Array<Cell | undefined>, RenderProblem>;
 /** One channel of the quick-path encoding that names one column. */
 export type ColumnChannel = Exclude<keyof ChartEncoding, "label" | "tracks">;
 /** The table that a figure reads a channel from: the block, the rows, and the declared column order. */
-export interface ChannelSource {
+export type ChannelSource = {
     readonly blockId: string;
     readonly rows: readonly ChartRow[];
     readonly columns?: readonly string[];
-}
+};
 /**
  * The column of one channel that a figure reads as a plain column, or `undefined` where the block names no
  * such channel.
@@ -179,7 +179,7 @@ export declare function valueAxis(axis: "x" | "y", title: string, fields?: {
  * `topDown` inverts a y axis. The chart runtime draws the first category of a y axis at the origin, thus a
  * table that reads top-down needs the inverted axis to put its first row at the top.
  */
-export declare function categoryAxis(axis: "x" | "y", categories: readonly Cell[], fields?: {
+export declare function categoryAxis(axis: "x" | "y", categories: readonly (Cell | undefined)[], fields?: {
     title?: string;
     topDown?: boolean;
 }): EchartOption;
@@ -205,11 +205,11 @@ export declare function guideMarkLine(lines: readonly EchartOption[]): EchartOpt
  * One statistic that a figure prints: the label of the block, the resolved value, and the shown text of the
  * value.
  */
-export interface FigureStatistic {
+export type FigureStatistic = {
     readonly label: string;
     readonly value: string | number;
     readonly text: string;
-}
+};
 /**
  * The shown text of one statistic, in the number format of its column, with the power of ten of a figure, and
  * the unit of its reference after it.
@@ -244,11 +244,11 @@ export declare const STATISTICS_POINT_INSET_PX = 8;
  */
 export declare function statisticsSeries(statistics: readonly FigureStatistic[], point: readonly [number, number], corner: PlotCorner): EchartOption[];
 /** The range and the ramp of one continuous color. */
-export interface ContinuousScale {
+export type ContinuousScale = {
     readonly min: number;
     readonly max: number;
     readonly ramp: readonly string[];
-}
+};
 /**
  * The scale of one continuous color over its values.
  *

package/dist/report-render/figures/common.js

@@ -17,9 +17,12 @@
  *
  * Each helper gives plain data, because the option rides to the page as inline JSON.
  */
+import { textOf } from "../../lib/unknown-text.js";
 import { err, ok } from "neverthrow";
 import { channelColumn, channelOrder, channelTransform } from "../../contracts/report-blocks.js";
 import { declaredForColumn } from "../../contracts/report-reference.js";
+import { isUnknownArray } from "../../lib/unknown-array.js";
+import { parseUnknownRecord } from "../../lib/unknown-containers.js";
 import { CHART_BODY_MAX_PX, CHART_FONT_STACK, CHART_INK, CHART_PAGE_TEXT_PX, CHART_PALETTE, CHART_WIDE_PALETTE, DIVERGING_RAMP, GUIDE_LINE_COLOR, GUIDE_LINE_WIDTH_PX, MUTED_CHART_COLOR, SEQUENTIAL_RAMP, SIZE_CHANNEL_RANGE_PX, } from "../design.js";
 import { formatNumberCell, selectNumberKind, typographicExponent } from "../number-format.js";
 import { STEM_RENDERER } from "../chart-renderers.js";
@@ -49,7 +52,7 @@ export function toNumber(cell) {
  * value stays in the data rows, thus the provenance loses nothing.
  */
 export function categoryName(value) {
-    return String(value).replaceAll("_", " ");
+    return textOf(value).replaceAll("_", " ");
 }
 /**
  * The lane of each span in turn, for at most `count` spans: the lowest lane whose last span ends under the start
@@ -67,10 +70,10 @@ export function firstFreeLanes(count) {
     return (start, end) => {
         let node = 1;
         while (node < leaves)
-            node = least[2 * node] < start ? 2 * node : 2 * node + 1;
+            node = (least[2 * node] ?? Number.NEGATIVE_INFINITY) < start ? 2 * node : 2 * node + 1;
         least[node] = end;
         for (let parent = node >> 1; parent >= 1; parent >>= 1)
-            least[parent] = Math.min(least[2 * parent], least[2 * parent + 1]);
+            least[parent] = Math.min(least[2 * parent] ?? Number.NEGATIVE_INFINITY, least[2 * parent + 1] ?? Number.NEGATIVE_INFINITY);
         return node - leaves;
     };
 }
@@ -146,7 +149,7 @@ export function orderCategories(blockId, rowCount, categoryAt, categories, order
         if (key === undefined) {
             return err(chartProblem(blockId, `The category "${categoryName(category)}" holds no value in the "${order.by}" column, thus it has no place in the order.`));
         }
-        const held = keys.get(String(category));
+        const held = keys.get(textOf(category));
         if (held === undefined) {
             keys.set(String(category), key);
         }
@@ -156,7 +159,7 @@ export function orderCategories(blockId, rowCount, categoryAt, categories, order
     }
     const direction = order.order === "desc" ? -1 : 1;
     return ok(categories
-        .map((category, place) => ({ category, place, key: keys.get(String(category)) ?? "" }))
+        .map((category, place) => ({ category, place, key: keys.get(textOf(category)) ?? "" }))
         .sort((a, b) => direction * compareCell(a.key, b.key) || a.place - b.place)
         .map((entry) => entry.category));
 }
@@ -165,7 +168,7 @@ export function orderCategories(blockId, rowCount, categoryAt, categories, order
  * The row of each category reads the category column and the order column of the same row.
  */
 export function orderQuickCategories(blockId, rows, column, order) {
-    return orderCategories(blockId, rows.length, (index) => rows[index][column], firstAppearance(rows.map((row) => row[column])), order, (index) => (order === undefined ? undefined : rows[index][order.by]));
+    return orderCategories(blockId, rows.length, (index) => rows[index]?.[column], firstAppearance(rows.map((row) => row[column])), order, (index) => (order === undefined ? undefined : rows[index]?.[order.by]));
 }
 /**
  * The column of one channel that a figure reads as a plain column, or `undefined` where the block names no
@@ -333,13 +336,16 @@ export function categoryAxisTitle(labels, column, declared) {
  * the logarithmic axis type.
  */
 export function valueAxis(axis, title, fields = {}) {
-    return {
+    const option = {
         type: fields.log === true ? "log" : "value",
-        ...(fields.scale === true ? { scale: true } : {}),
-        ...(fields.min !== undefined ? { min: fields.min } : {}),
-        ...(fields.max !== undefined ? { max: fields.max } : {}),
-        ...axisNameFields(axis, title),
     };
+    if (fields.scale === true)
+        option.scale = true;
+    if (fields.min !== undefined)
+        option.min = fields.min;
+    if (fields.max !== undefined)
+        option.max = fields.max;
+    return { ...option, ...axisNameFields(axis, title) };
 }
 /**
  * One category axis: the categories in their order, the direction, and the declared title alone.
@@ -348,12 +354,14 @@ export function valueAxis(axis, title, fields = {}) {
  * table that reads top-down needs the inverted axis to put its first row at the top.
  */
 export function categoryAxis(axis, categories, fields = {}) {
-    return {
+    const option = {
         type: "category",
-        ...(axis === "y" && fields.topDown === true ? { inverse: true } : {}),
         data: [...categories],
         ...axisNameFields(axis, fields.title),
     };
+    if (axis === "y" && fields.topDown === true)
+        option.inverse = true;
+    return option;
 }
 // ── The guide lines ─────────────────────────────────────────────────────────
 /** The stroke of each guide line. */
@@ -482,17 +490,17 @@ export function statisticsSeries(statistics, point, corner) {
  * the call stack.
  */
 export function continuousScale(values) {
-    if (values.length === 0) {
-        return { min: 0, max: 1, ramp: SEQUENTIAL_RAMP };
-    }
-    let min = values[0];
-    let max = values[0];
+    let min;
+    let max;
     for (const value of values) {
-        if (value < min)
+        if (min === undefined || value < min)
             min = value;
-        if (value > max)
+        if (max === undefined || value > max)
             max = value;
     }
+    if (min === undefined || max === undefined) {
+        return { min: 0, max: 1, ramp: SEQUENTIAL_RAMP };
+    }
     if (min < 0 && max > 0) {
         const reach = Math.max(-min, max);
         return { min: -reach, max: reach, ramp: DIVERGING_RAMP };
@@ -623,7 +631,10 @@ function seriesOf(option) {
     const series = option.series;
     if (!Array.isArray(series))
         return [];
-    return series.filter((entry) => typeof entry === "object" && entry !== null);
+    return series.flatMap((entry) => {
+        const record = parseUnknownRecord(entry);
+        return record === undefined ? [] : [record];
+    });
 }
 /**
  * The icon of each series name: the form of the first series of that name that draws the data.
@@ -658,24 +669,24 @@ function iconsByName(option) {
  * series names in order, as the runtime does.
  */
 function iconLegend(option) {
-    const legend = option.legend;
-    if (typeof legend !== "object" || legend === null || Array.isArray(legend))
+    const fields = parseUnknownRecord(option.legend);
+    if (fields === undefined)
         return undefined;
-    const fields = legend;
     if (fields.show === false)
         return undefined;
     const icons = iconsByName(option);
     if (icons.size === 0)
         return undefined;
-    const declared = Array.isArray(fields.data) ? fields.data : [...icons.keys()];
+    const declared = isUnknownArray(fields.data) ? fields.data : [...icons.keys()];
     const data = declared.map((entry) => {
-        if (typeof entry === "object" && entry !== null && typeof entry.icon === "string")
+        const entryFields = parseUnknownRecord(entry);
+        if (entryFields !== undefined && typeof entryFields.icon === "string")
             return entry;
-        const name = typeof entry === "string" ? entry : typeof entry === "object" && entry !== null ? entry.name : undefined;
+        const name = typeof entry === "string" ? entry : entryFields?.name;
         const icon = typeof name === "string" ? icons.get(name) : undefined;
         if (icon === undefined || typeof name !== "string")
             return entry;
-        return typeof entry === "object" && entry !== null ? { ...entry, icon } : { name, icon };
+        return entryFields === undefined ? { name, icon } : { ...entryFields, icon };
     });
     return { ...fields, data };
 }
@@ -707,15 +718,15 @@ function paletteSlots(option) {
  * the title clears the labels on the page and in each export.
  */
 function movedTitle(axis) {
-    if (typeof axis !== "object" || axis === null)
+    const fields = parseUnknownRecord(axis);
+    if (fields === undefined)
         return axis;
-    const fields = axis;
     return typeof fields.name === "string" && fields.name !== "" ? { ...fields, nameMoveOverlap: true } : axis;
 }
 /** True when a grid, or one grid of a list, contains its labels. */
 function containsLabels(grid) {
     const grids = Array.isArray(grid) ? grid : [grid];
-    return grids.some((entry) => typeof entry === "object" && entry !== null && entry.containLabel === true);
+    return grids.some((entry) => parseUnknownRecord(entry)?.containLabel === true);
 }
 /** Each axis of one axis member with its title moved off its labels. */
 function movedTitles(axes) {