ppef 1.0.0 → 1.0.1

package/dist/renderers/latex-renderer.d.ts

@@ -0,0 +1,84 @@
+/**
+ * LaTeX Renderer
+ *
+ * Pure transformation from aggregated results to LaTeX tables.
+ * NO aggregation logic allowed here - only formatting and rendering.
+ */
+import type { AggregatedResult } from "../types/aggregate.js";
+import type { ClaimEvaluation } from "../types/claims.js";
+import type { ClaimStatusDisplay, Renderer, RenderOutput, TableRenderSpec } from "./types.js";
+/**
+ * Options for LaTeX rendering.
+ */
+export interface LaTeXRendererOptions {
+    /** Claim status symbols */
+    claimStatus?: ClaimStatusDisplay;
+    /** Whether to use booktabs package */
+    booktabs?: boolean;
+    /** Default number format decimals */
+    defaultDecimals?: number;
+}
+/**
+ * LaTeX table renderer.
+ */
+export declare class LaTeXRenderer implements Renderer {
+    private readonly options;
+    constructor(options?: Partial<LaTeXRendererOptions>);
+    /**
+     * Render a single table.
+     * @param aggregates
+     * @param spec
+     */
+    renderTable(aggregates: AggregatedResult[], spec: TableRenderSpec): RenderOutput;
+    /**
+     * Render all tables.
+     * @param aggregates
+     * @param specs
+     */
+    renderAll(aggregates: AggregatedResult[], specs: TableRenderSpec[]): RenderOutput[];
+    /**
+     * Render claim evaluation summary.
+     * @param evaluations
+     */
+    renderClaimSummary(evaluations: ClaimEvaluation[]): RenderOutput;
+    /**
+     * Build a LaTeX table from data.
+     * @param data
+     * @param columns
+     * @param caption
+     * @param label
+     */
+    private buildTable;
+    /**
+     * Format a value for LaTeX.
+     * @param value
+     */
+    private formatValue;
+    /**
+     * Format a number with configurable decimals.
+     * @param n
+     * @param decimals
+     */
+    formatNumber(n: number, decimals?: number): string;
+    /**
+     * Format a speedup ratio.
+     * @param ratio
+     */
+    formatSpeedup(ratio: number): string;
+    /**
+     * Format a percentage.
+     * @param n
+     */
+    formatPercentage(n: number): string;
+}
+/**
+ * Escape special LaTeX characters.
+ * @param text
+ */
+export declare const escapeLatex: (text: string) => string;
+/**
+ * Create a LaTeX renderer with default options.
+ * @param options
+ */
+export declare const createLatexRenderer: (options?: Partial<LaTeXRendererOptions>) => LaTeXRenderer;
+//# sourceMappingURL=latex-renderer.d.ts.map

package/dist/renderers/latex-renderer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"latex-renderer.d.ts","sourceRoot":"","sources":["../../src/renderers/latex-renderer.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,KAAK,EAAE,eAAe,EAAe,MAAM,oBAAoB,CAAC;AACvE,OAAO,KAAK,EACX,kBAAkB,EAElB,QAAQ,EACR,YAAY,EACZ,eAAe,EACf,MAAM,YAAY,CAAC;AAGpB;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACpC,2BAA2B;IAC3B,WAAW,CAAC,EAAE,kBAAkB,CAAC;IAEjC,sCAAsC;IACtC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAEnB,qCAAqC;IACrC,eAAe,CAAC,EAAE,MAAM,CAAC;CACzB;AAWD;;GAEG;AACH,qBAAa,aAAc,YAAW,QAAQ;IAC7C,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAuB;gBAEnC,OAAO,GAAE,OAAO,CAAC,oBAAoB,CAAM;IAIvD;;;;OAIG;IACH,WAAW,CAAC,UAAU,EAAE,gBAAgB,EAAE,EAAE,IAAI,EAAE,eAAe,GAAG,YAAY;IAgChF;;;;OAIG;IACH,SAAS,CAAC,UAAU,EAAE,gBAAgB,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,GAAG,YAAY,EAAE;IAInF;;;OAGG;IACH,kBAAkB,CAAC,WAAW,EAAE,eAAe,EAAE,GAAG,YAAY;IAmDhE;;;;;;OAMG;IACH,OAAO,CAAC,UAAU;IAwClB;;;OAGG;IACH,OAAO,CAAC,WAAW;IAanB;;;;OAIG;IACH,YAAY,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM;IAOlD;;;OAGG;IACH,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAOpC;;;OAGG;IACH,gBAAgB,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM;CAMnC;AAED;;;GAGG;AACH,eAAO,MAAM,WAAW,GAAI,MAAM,MAAM,KAAG,MAKO,CAAC;AAEnD;;;GAGG;AACH,eAAO,MAAM,mBAAmB,GAAI,UAAU,OAAO,CAAC,oBAAoB,CAAC,KAAG,aACnD,CAAC"}

package/dist/renderers/latex-renderer.js

@@ -0,0 +1,208 @@
+/**
+ * LaTeX Renderer
+ *
+ * Pure transformation from aggregated results to LaTeX tables.
+ * NO aggregation logic allowed here - only formatting and rendering.
+ */
+import { LATEX_CLAIM_STATUS } from "./types.js";
+/**
+ * Default LaTeX renderer options.
+ */
+const DEFAULT_OPTIONS = {
+    claimStatus: LATEX_CLAIM_STATUS,
+    booktabs: true,
+    defaultDecimals: 2,
+};
+/**
+ * LaTeX table renderer.
+ */
+export class LaTeXRenderer {
+    options;
+    constructor(options = {}) {
+        this.options = { ...DEFAULT_OPTIONS, ...options };
+    }
+    /**
+     * Render a single table.
+     * @param aggregates
+     * @param spec
+     */
+    renderTable(aggregates, spec) {
+        // Extract and transform data
+        let data = spec.extractData(aggregates);
+        // Apply filter if specified
+        // Note: filter is for aggregates, not extracted data
+        // This is handled in extractData
+        // Apply sort if specified
+        if (spec.sort) {
+            data = [...data].sort(spec.sort);
+        }
+        // Compute caption placeholders
+        let caption = spec.caption;
+        if (spec.captionPlaceholders) {
+            for (const [placeholder, compute] of Object.entries(spec.captionPlaceholders)) {
+                caption = caption.replace(`{${placeholder}}`, compute(aggregates));
+            }
+        }
+        // Build LaTeX
+        const content = this.buildTable(data, spec.columns, caption, spec.label);
+        return {
+            id: spec.id,
+            filename: spec.filename,
+            content,
+            format: "latex",
+        };
+    }
+    /**
+     * Render all tables.
+     * @param aggregates
+     * @param specs
+     */
+    renderAll(aggregates, specs) {
+        return specs.map((spec) => this.renderTable(aggregates, spec));
+    }
+    /**
+     * Render claim evaluation summary.
+     * @param evaluations
+     */
+    renderClaimSummary(evaluations) {
+        const statusSymbol = (status) => {
+            return this.options.claimStatus?.[status] ?? status;
+        };
+        // Build table rows
+        const rows = [];
+        for (const evaluation of evaluations) {
+            const symbol = statusSymbol(evaluation.status);
+            const delta = this.formatNumber(evaluation.evidence.delta, 3);
+            const pValue = evaluation.evidence.pValue === undefined
+                ? "--"
+                : this.formatNumber(evaluation.evidence.pValue, 4);
+            rows.push(`    ${escapeLatex(evaluation.claim.claimId)} & ` +
+                `${escapeLatex(evaluation.claim.description)} & ` +
+                `$${symbol}$ & ${delta} & ${pValue} \\\\`);
+        }
+        // Count summary
+        const satisfied = evaluations.filter((e) => e.status === "satisfied").length;
+        const violated = evaluations.filter((e) => e.status === "violated").length;
+        const inconclusive = evaluations.filter((e) => e.status === "inconclusive").length;
+        const caption = `Claim evaluation summary. ${satisfied} satisfied, ${violated} violated, ${inconclusive} inconclusive.`;
+        const content = String.raw `\begin{table}[htbp]
+  \centering
+  \caption{${caption}}
+  \label{tab:claim-summary}
+  \begin{tabular}{llccc}
+    \toprule
+    Claim & Description & Status & Delta & p-value \\
+    \midrule
+${rows.join("\n")}
+    \bottomrule
+  \end{tabular}
+\end{table}
+`;
+        return {
+            id: "claim-summary",
+            filename: "claim-summary.tex",
+            content,
+            format: "latex",
+        };
+    }
+    /**
+     * Build a LaTeX table from data.
+     * @param data
+     * @param columns
+     * @param caption
+     * @param label
+     */
+    buildTable(data, columns, caption, label) {
+        const columnSpec = columns.map((c) => c.align).join("");
+        const headers = columns.map((c) => c.header).join(" & ");
+        const rows = data.map((row) => {
+            const cells = columns.map((col) => {
+                const value = row[col.key];
+                let formatted = col.format ? col.format(value) : this.formatValue(value);
+                if (col.bold) {
+                    formatted = String.raw `\textbf{${formatted}}`;
+                }
+                return formatted;
+            });
+            return `    ${cells.join(" & ")} \\\\`;
+        });
+        const rules = this.options.booktabs
+            ? { top: String.raw `\toprule`, mid: String.raw `\midrule`, bottom: String.raw `\bottomrule` }
+            : { top: String.raw `\hline`, mid: String.raw `\hline`, bottom: String.raw `\hline` };
+        return String.raw `\begin{table}[htbp]
+  \centering
+  \caption{${caption}}
+  \label{${label}}
+  \begin{tabular}{${columnSpec}}
+    ${rules.top}
+    ${headers} \\
+    ${rules.mid}
+${rows.join("\n")}
+    ${rules.bottom}
+  \end{tabular}
+\end{table}
+`;
+    }
+    /**
+     * Format a value for LaTeX.
+     * @param value
+     */
+    formatValue(value) {
+        if (value === null || value === undefined) {
+            return "--";
+        }
+        if (typeof value === "number") {
+            return this.formatNumber(value);
+        }
+        if (typeof value === "string") {
+            return escapeLatex(value);
+        }
+        return escapeLatex(JSON.stringify(value));
+    }
+    /**
+     * Format a number with configurable decimals.
+     * @param n
+     * @param decimals
+     */
+    formatNumber(n, decimals) {
+        if (!Number.isFinite(n)) {
+            return "--";
+        }
+        return n.toFixed(decimals ?? this.options.defaultDecimals ?? 2);
+    }
+    /**
+     * Format a speedup ratio.
+     * @param ratio
+     */
+    formatSpeedup(ratio) {
+        if (!Number.isFinite(ratio)) {
+            return "--";
+        }
+        return String.raw `$${ratio.toFixed(2)}\times$`;
+    }
+    /**
+     * Format a percentage.
+     * @param n
+     */
+    formatPercentage(n) {
+        if (!Number.isFinite(n)) {
+            return "--";
+        }
+        return String.raw `${Math.round(n)}\%`;
+    }
+}
+/**
+ * Escape special LaTeX characters.
+ * @param text
+ */
+export const escapeLatex = (text) => text
+    .replaceAll("\\", String.raw `\textbackslash{}`)
+    .replaceAll(/[&%$#_{}]/g, String.raw `\$&`)
+    .replaceAll("~", String.raw `\textasciitilde{}`)
+    .replaceAll("^", String.raw `\textasciicircum{}`);
+/**
+ * Create a LaTeX renderer with default options.
+ * @param options
+ */
+export const createLatexRenderer = (options) => new LaTeXRenderer(options);
+//# sourceMappingURL=latex-renderer.js.map

package/dist/renderers/latex-renderer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"latex-renderer.js","sourceRoot":"","sources":["../../src/renderers/latex-renderer.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAWH,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAgBhD;;GAEG;AACH,MAAM,eAAe,GAAyB;IAC7C,WAAW,EAAE,kBAAkB;IAC/B,QAAQ,EAAE,IAAI;IACd,eAAe,EAAE,CAAC;CAClB,CAAC;AAEF;;GAEG;AACH,MAAM,OAAO,aAAa;IACR,OAAO,CAAuB;IAE/C,YAAY,UAAyC,EAAE;QACtD,IAAI,CAAC,OAAO,GAAG,EAAE,GAAG,eAAe,EAAE,GAAG,OAAO,EAAE,CAAC;IACnD,CAAC;IAED;;;;OAIG;IACH,WAAW,CAAC,UAA8B,EAAE,IAAqB;QAChE,6BAA6B;QAC7B,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QAExC,4BAA4B;QAC5B,qDAAqD;QACrD,iCAAiC;QAEjC,0BAA0B;QAC1B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACf,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC;QAED,+BAA+B;QAC/B,IAAI,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QAC3B,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC9B,KAAK,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC;gBAC/E,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,WAAW,GAAG,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;YACpE,CAAC;QACF,CAAC;QAED,cAAc;QACd,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAEzE,OAAO;YACN,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,OAAO;YACP,MAAM,EAAE,OAAO;SACf,CAAC;IACH,CAAC;IAED;;;;OAIG;IACH,SAAS,CAAC,UAA8B,EAAE,KAAwB;QACjE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;IAChE,CAAC;IAED;;;OAGG;IACH,kBAAkB,CAAC,WAA8B;QAChD,MAAM,YAAY,GAAG,CAAC,MAAmB,EAAU,EAAE;YACpD,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC;QACrD,CAAC,CAAC;QAEF,mBAAmB;QACnB,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,YAAY,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAC9D,MAAM,MAAM,GACX,UAAU,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS;gBACvC,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YAErD,IAAI,CAAC,IAAI,CACR,OAAO,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK;gBAChD,GAAG,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK;gBACjD,IAAI,MAAM,OAAO,KAAK,MAAM,MAAM,OAAO,CAC1C,CAAC;QACH,CAAC;QAED,gBAAgB;QAChB,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,MAAM,CAAC;QAC7E,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;QAC3E,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,MAAM,CAAC;QAEnF,MAAM,OAAO,GAAG,6BAA6B,SAAS,eAAe,QAAQ,cAAc,YAAY,gBAAgB,CAAC;QAExH,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAA;;aAEf,OAAO;;;;;;EAMlB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;;;;CAIhB,CAAC;QAEA,OAAO;YACN,EAAE,EAAE,eAAe;YACnB,QAAQ,EAAE,mBAAmB;YAC7B,OAAO;YACP,MAAM,EAAE,OAAO;SACf,CAAC;IACH,CAAC;IAED;;;;;;OAMG;IACK,UAAU,CACjB,IAA+B,EAC/B,OAAqB,EACrB,OAAe,EACf,KAAa;QAEb,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEzD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;YAC7B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;gBACjC,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC3B,IAAI,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;gBACzE,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;oBACd,SAAS,GAAG,MAAM,CAAC,GAAG,CAAA,WAAW,SAAS,GAAG,CAAC;gBAC/C,CAAC;gBACD,OAAO,SAAS,CAAC;YAClB,CAAC,CAAC,CAAC;YACH,OAAO,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ;YAClC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAA,UAAU,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAA,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAA,aAAa,EAAE;YAC3F,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAA,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAA,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAA,QAAQ,EAAE,CAAC;QAEpF,OAAO,MAAM,CAAC,GAAG,CAAA;;aAEN,OAAO;WACT,KAAK;oBACI,UAAU;MACxB,KAAK,CAAC,GAAG;MACT,OAAO;MACP,KAAK,CAAC,GAAG;EACb,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;MACX,KAAK,CAAC,MAAM;;;CAGjB,CAAC;IACD,CAAC;IAED;;;OAGG;IACK,WAAW,CAAC,KAAc;QACjC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YAC3C,OAAO,IAAI,CAAC;QACb,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACjC,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC/B,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC;QAC3B,CAAC;QACD,OAAO,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3C,CAAC;IAED;;;;OAIG;IACH,YAAY,CAAC,CAAS,EAAE,QAAiB;QACxC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACzB,OAAO,IAAI,CAAC;QACb,CAAC;QACD,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,IAAI,IAAI,CAAC,OAAO,CAAC,eAAe,IAAI,CAAC,CAAC,CAAC;IACjE,CAAC;IAED;;;OAGG;IACH,aAAa,CAAC,KAAa;QAC1B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAC;QACb,CAAC;QACD,OAAO,MAAM,CAAC,GAAG,CAAA,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IAChD,CAAC;IAED;;;OAGG;IACH,gBAAgB,CAAC,CAAS;QACzB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACzB,OAAO,IAAI,CAAC;QACb,CAAC;QACD,OAAO,MAAM,CAAC,GAAG,CAAA,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IACvC,CAAC;CACD;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAY,EAAU,EAAE,CACnD,IAAI;KACF,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAA,kBAAkB,CAAC;KAC9C,UAAU,CAAC,YAAY,EAAE,MAAM,CAAC,GAAG,CAAA,KAAK,CAAC;KACzC,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAA,mBAAmB,CAAC;KAC9C,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAA,oBAAoB,CAAC,CAAC;AAEnD;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,OAAuC,EAAiB,EAAE,CAC7F,IAAI,aAAa,CAAC,OAAO,CAAC,CAAC"}

package/dist/renderers/types.d.ts

@@ -0,0 +1,106 @@
+/**
+ * Renderer Type Definitions
+ *
+ * Types for the rendering layer that transforms aggregated results
+ * into human-readable output formats (LaTeX, Markdown, etc.).
+ */
+import type { AggregatedResult } from "../types/aggregate.js";
+import type { ClaimEvaluation } from "../types/claims.js";
+/**
+ * Column specification for a table.
+ */
+export interface ColumnSpec {
+    /** Column key (matches field in data) */
+    key: string;
+    /** Column header text */
+    header: string;
+    /** LaTeX column alignment (l, r, c) */
+    align: "l" | "r" | "c";
+    /** Format function for values */
+    format?: (value: unknown) => string;
+    /** Whether to bold this column's values */
+    bold?: boolean;
+    /** Whether this column is sortable */
+    sortable?: boolean;
+}
+/**
+ * Table render specification.
+ */
+export interface TableRenderSpec {
+    /** Table identifier */
+    id: string;
+    /** Output filename */
+    filename: string;
+    /** LaTeX label */
+    label: string;
+    /** Table caption (can include placeholders like {SPEEDUP}) */
+    caption: string;
+    /** Column specifications */
+    columns: ColumnSpec[];
+    /** Data extraction function */
+    extractData: (aggregates: AggregatedResult[]) => Record<string, unknown>[];
+    /** Optional filter predicate */
+    filter?: (aggregate: AggregatedResult) => boolean;
+    /** Optional sort function */
+    sort?: (a: Record<string, unknown>, b: Record<string, unknown>) => number;
+    /** Caption placeholders to compute */
+    captionPlaceholders?: Record<string, (aggregates: AggregatedResult[]) => string>;
+}
+/**
+ * Render output.
+ */
+export interface RenderOutput {
+    /** Table/document identifier */
+    id: string;
+    /** Filename for output */
+    filename: string;
+    /** Rendered content */
+    content: string;
+    /** Format type */
+    format: "latex" | "markdown" | "json";
+}
+/**
+ * Renderer interface.
+ */
+export interface Renderer {
+    /**
+     * Render a single table.
+     *
+     * @param aggregates - Aggregated results
+     * @param spec - Table specification
+     * @returns Rendered output
+     */
+    renderTable(aggregates: AggregatedResult[], spec: TableRenderSpec): RenderOutput;
+    /**
+     * Render all tables from specifications.
+     *
+     * @param aggregates - Aggregated results
+     * @param specs - Table specifications
+     * @returns Array of rendered outputs
+     */
+    renderAll(aggregates: AggregatedResult[], specs: TableRenderSpec[]): RenderOutput[];
+    /**
+     * Render claim evaluation summary.
+     *
+     * @param evaluations - Claim evaluations
+     * @returns Rendered output
+     */
+    renderClaimSummary(evaluations: ClaimEvaluation[]): RenderOutput;
+}
+/**
+ * Claim status display configuration.
+ */
+export interface ClaimStatusDisplay {
+    satisfied: string;
+    violated: string;
+    inconclusive: string;
+}
+/**
+ * Default claim status symbols for LaTeX.
+ */
+export declare const LATEX_CLAIM_STATUS: ClaimStatusDisplay;
+/**
+ * Default claim status symbols for Unicode.
+ */
+export declare const UNICODE_CLAIM_STATUS: ClaimStatusDisplay;
+//# sourceMappingURL=types.d.ts.map

package/dist/renderers/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/renderers/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAE1D;;GAEG;AACH,MAAM,WAAW,UAAU;IAC1B,yCAAyC;IACzC,GAAG,EAAE,MAAM,CAAC;IAEZ,yBAAyB;IACzB,MAAM,EAAE,MAAM,CAAC;IAEf,uCAAuC;IACvC,KAAK,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;IAEvB,iCAAiC;IACjC,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,MAAM,CAAC;IAEpC,2CAA2C;IAC3C,IAAI,CAAC,EAAE,OAAO,CAAC;IAEf,sCAAsC;IACtC,QAAQ,CAAC,EAAE,OAAO,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC/B,uBAAuB;IACvB,EAAE,EAAE,MAAM,CAAC;IAEX,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;IAEjB,kBAAkB;IAClB,KAAK,EAAE,MAAM,CAAC;IAEd,8DAA8D;IAC9D,OAAO,EAAE,MAAM,CAAC;IAEhB,4BAA4B;IAC5B,OAAO,EAAE,UAAU,EAAE,CAAC;IAEtB,+BAA+B;IAC/B,WAAW,EAAE,CAAC,UAAU,EAAE,gBAAgB,EAAE,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;IAE3E,gCAAgC;IAChC,MAAM,CAAC,EAAE,CAAC,SAAS,EAAE,gBAAgB,KAAK,OAAO,CAAC;IAElD,6BAA6B;IAC7B,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,MAAM,CAAC;IAE1E,sCAAsC;IACtC,mBAAmB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,UAAU,EAAE,gBAAgB,EAAE,KAAK,MAAM,CAAC,CAAC;CACjF;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC5B,gCAAgC;IAChC,EAAE,EAAE,MAAM,CAAC;IAEX,0BAA0B;IAC1B,QAAQ,EAAE,MAAM,CAAC;IAEjB,uBAAuB;IACvB,OAAO,EAAE,MAAM,CAAC;IAEhB,kBAAkB;IAClB,MAAM,EAAE,OAAO,GAAG,UAAU,GAAG,MAAM,CAAC;CACtC;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACxB;;;;;;OAMG;IACH,WAAW,CAAC,UAAU,EAAE,gBAAgB,EAAE,EAAE,IAAI,EAAE,eAAe,GAAG,YAAY,CAAC;IAEjF;;;;;;OAMG;IACH,SAAS,CAAC,UAAU,EAAE,gBAAgB,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,GAAG,YAAY,EAAE,CAAC;IAEpF;;;;;OAKG;IACH,kBAAkB,CAAC,WAAW,EAAE,eAAe,EAAE,GAAG,YAAY,CAAC;CACjE;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,eAAO,MAAM,kBAAkB,EAAE,kBAIhC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,oBAAoB,EAAE,kBAIlC,CAAC"}

package/dist/renderers/types.js

@@ -0,0 +1,23 @@
+/**
+ * Renderer Type Definitions
+ *
+ * Types for the rendering layer that transforms aggregated results
+ * into human-readable output formats (LaTeX, Markdown, etc.).
+ */
+/**
+ * Default claim status symbols for LaTeX.
+ */
+export const LATEX_CLAIM_STATUS = {
+    satisfied: String.raw `\checkmark`,
+    violated: String.raw `\times`,
+    inconclusive: "?",
+};
+/**
+ * Default claim status symbols for Unicode.
+ */
+export const UNICODE_CLAIM_STATUS = {
+    satisfied: "✓",
+    violated: "✗",
+    inconclusive: "?",
+};
+//# sourceMappingURL=types.js.map

package/dist/renderers/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/renderers/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAqHH;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAuB;IACrD,SAAS,EAAE,MAAM,CAAC,GAAG,CAAA,YAAY;IACjC,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAA,QAAQ;IAC5B,YAAY,EAAE,GAAG;CACjB,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAuB;IACvD,SAAS,EAAE,GAAG;IACd,QAAQ,EAAE,GAAG;IACb,YAAY,EAAE,GAAG;CACjB,CAAC"}

package/dist/robustness/analyzer.d.ts

@@ -0,0 +1,61 @@
+/**
+ * Robustness Analyzer
+ *
+ * Analyzes algorithm robustness under perturbations.
+ * Computes variance, stability, and degradation metrics.
+ */
+import type { RobustnessAnalysisOutput, RobustnessMetrics } from "../types/perturbation.js";
+import type { EvaluationResult } from "../types/result.js";
+/**
+ * Options for robustness analysis.
+ */
+export interface RobustnessAnalysisOptions {
+    /** Metrics to analyze */
+    metrics: string[];
+    /** Perturbations applied */
+    perturbations: string[];
+    /** Intensity levels tested (if applicable) */
+    intensityLevels?: number[];
+    /** Number of runs per perturbation level */
+    runsPerLevel?: number;
+}
+/**
+ * Analyze robustness of a SUT under perturbation.
+ *
+ * @param baseResults - Results without perturbation
+ * @param perturbedResults - Results with perturbation, keyed by perturbation name
+ * @param metric - Metric to analyze
+ * @returns Robustness metrics
+ */
+export declare const analyzeRobustnessForMetric: (baseResults: EvaluationResult[], perturbedResults: EvaluationResult[], metric: string) => RobustnessMetrics;
+/**
+ * Analyze robustness across multiple perturbation levels.
+ *
+ * @param results - All results including perturbed ones
+ * @param metric - Metric to analyze
+ * @param intensityLevels - Perturbation intensity levels
+ * @returns Robustness metrics with degradation curve
+ */
+export declare const analyzeRobustnessWithCurve: (results: EvaluationResult[], metric: string, intensityLevels: number[]) => RobustnessMetrics;
+/**
+ * Compare robustness between two SUTs.
+ *
+ * @param sutAResults - Results for SUT A (including perturbed)
+ * @param sutBResults - Results for SUT B (including perturbed)
+ * @param metric - Metric to compare
+ * @returns Object with comparison metrics
+ */
+export declare const compareRobustness: (sutAResults: EvaluationResult[], sutBResults: EvaluationResult[], metric: string) => {
+    sutAVariance: number;
+    sutBVariance: number;
+    relativeRobustness: number;
+};
+/**
+ * Create a full robustness analysis output.
+ *
+ * @param results - All evaluation results (base and perturbed)
+ * @param options - Analysis options
+ * @returns Complete robustness analysis output
+ */
+export declare const createRobustnessAnalysis: (results: EvaluationResult[], options: RobustnessAnalysisOptions) => RobustnessAnalysisOutput;
+//# sourceMappingURL=analyzer.d.ts.map

package/dist/robustness/analyzer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyzer.d.ts","sourceRoot":"","sources":["../../src/robustness/analyzer.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EACX,wBAAwB,EAExB,iBAAiB,EACjB,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAE3D;;GAEG;AACH,MAAM,WAAW,yBAAyB;IACzC,yBAAyB;IACzB,OAAO,EAAE,MAAM,EAAE,CAAC;IAElB,4BAA4B;IAC5B,aAAa,EAAE,MAAM,EAAE,CAAC;IAExB,8CAA8C;IAC9C,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAE3B,4CAA4C;IAC5C,YAAY,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,0BAA0B,GACtC,aAAa,gBAAgB,EAAE,EAC/B,kBAAkB,gBAAgB,EAAE,EACpC,QAAQ,MAAM,KACZ,iBAwCF,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,0BAA0B,GACtC,SAAS,gBAAgB,EAAE,EAC3B,QAAQ,MAAM,EACd,iBAAiB,MAAM,EAAE,KACvB,iBA2EF,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,iBAAiB,GAC7B,aAAa,gBAAgB,EAAE,EAC/B,aAAa,gBAAgB,EAAE,EAC/B,QAAQ,MAAM,KACZ;IACF,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,kBAAkB,EAAE,MAAM,CAAC;CAyB3B,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,wBAAwB,GACpC,SAAS,gBAAgB,EAAE,EAC3B,SAAS,yBAAyB,KAChC,wBAqDF,CAAC"}