ppef 1.0.0 → 1.1.0

package/dist/registry/sut-registry.d.ts

@@ -0,0 +1,96 @@
+/**
+ * SUT Registry
+ *
+ * Central registry for System Under Test definitions. SUTs are registered
+ * with their factories and metadata, enabling lazy instantiation during
+ * experiment execution.
+ */
+import type { SUT, SutDefinition, SutFactory, SutRegistration, SutRole } from "../types/sut.js";
+/**
+ * Registry for System Under Test definitions.
+ *
+ * @template TInputs - The algorithm inputs type
+ * @template TResult - The algorithm result type
+ */
+export declare class SUTRegistry<TInputs = unknown, TResult = unknown> {
+    private readonly definitions;
+    /**
+     * Register a new SUT.
+     *
+     * @param registration - SUT metadata
+     * @param factory - Factory for creating SUT instances
+     * @throws Error if SUT with same ID already registered
+     */
+    register(registration: SutRegistration, factory: SutFactory<TInputs, TResult>): this;
+    /**
+     * Get a SUT definition by ID.
+     *
+     * @param id - SUT identifier
+     * @returns SUT definition or undefined
+     */
+    get(id: string): SutDefinition<TInputs, TResult> | undefined;
+    /**
+     * Get a SUT definition by ID, throwing if not found.
+     *
+     * @param id - SUT identifier
+     * @returns SUT definition
+     * @throws Error if SUT not found
+     */
+    getOrThrow(id: string): SutDefinition<TInputs, TResult>;
+    /**
+     * Get all SUTs with a specific role.
+     *
+     * @param role - Role to filter by
+     * @returns Array of matching SUT definitions
+     */
+    getByRole(role: SutRole): SutDefinition<TInputs, TResult>[];
+    /**
+     * Get all SUTs with a specific tag.
+     *
+     * @param tag - Tag to filter by
+     * @returns Array of matching SUT definitions
+     */
+    getByTag(tag: string): SutDefinition<TInputs, TResult>[];
+    /**
+     * List all registered SUT IDs.
+     *
+     * @returns Array of SUT identifiers
+     */
+    list(): string[];
+    /**
+     * List all registered SUT registrations.
+     *
+     * @returns Array of SUT registrations
+     */
+    listRegistrations(): SutRegistration[];
+    /**
+     * Check if a SUT is registered.
+     *
+     * @param id - SUT identifier
+     * @returns true if registered
+     */
+    has(id: string): boolean;
+    /**
+     * Get the number of registered SUTs.
+     */
+    get size(): number;
+    /**
+     * Clear all registrations.
+     */
+    clear(): void;
+    /**
+     * Create a new SUT instance.
+     *
+     * @param id - SUT identifier
+     * @param config - Optional configuration overrides
+     * @returns SUT instance ready for execution
+     */
+    create(id: string, config?: Record<string, unknown>): SUT<TInputs, TResult>;
+}
+/**
+ * Global SUT registry instance.
+ *
+ * Use this for standard registration, or create instances for isolation.
+ */
+export declare const sutRegistry: SUTRegistry<unknown, unknown>;
+//# sourceMappingURL=sut-registry.d.ts.map

package/dist/registry/sut-registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sut-registry.d.ts","sourceRoot":"","sources":["../../src/registry/sut-registry.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,GAAG,EAAE,aAAa,EAAE,UAAU,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAEhG;;;;;GAKG;AACH,qBAAa,WAAW,CAAC,OAAO,GAAG,OAAO,EAAE,OAAO,GAAG,OAAO;IAC5D,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAsD;IAElF;;;;;;OAMG;IACH,QAAQ,CAAC,YAAY,EAAE,eAAe,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,IAAI;IASpF;;;;;OAKG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,SAAS;IAI5D;;;;;;OAMG;IACH,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC;IAQvD;;;;;OAKG;IACH,SAAS,CAAC,IAAI,EAAE,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE;IAI3D;;;;;OAKG;IACH,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE;IAIxD;;;;OAIG;IACH,IAAI,IAAI,MAAM,EAAE;IAIhB;;;;OAIG;IACH,iBAAiB,IAAI,eAAe,EAAE;IAItC;;;;;OAKG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IAIxB;;OAEG;IACH,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED;;OAEG;IACH,KAAK,IAAI,IAAI;IAIb;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC;CAI3E;AAED;;;;GAIG;AACH,eAAO,MAAM,WAAW,+BAAoB,CAAC"}

package/dist/registry/sut-registry.js

@@ -0,0 +1,126 @@
+/**
+ * SUT Registry
+ *
+ * Central registry for System Under Test definitions. SUTs are registered
+ * with their factories and metadata, enabling lazy instantiation during
+ * experiment execution.
+ */
+/**
+ * Registry for System Under Test definitions.
+ *
+ * @template TInputs - The algorithm inputs type
+ * @template TResult - The algorithm result type
+ */
+export class SUTRegistry {
+    definitions = new Map();
+    /**
+     * Register a new SUT.
+     *
+     * @param registration - SUT metadata
+     * @param factory - Factory for creating SUT instances
+     * @throws Error if SUT with same ID already registered
+     */
+    register(registration, factory) {
+        if (this.definitions.has(registration.id)) {
+            throw new Error(`SUT already registered: ${registration.id}`);
+        }
+        this.definitions.set(registration.id, { registration, factory });
+        return this;
+    }
+    /**
+     * Get a SUT definition by ID.
+     *
+     * @param id - SUT identifier
+     * @returns SUT definition or undefined
+     */
+    get(id) {
+        return this.definitions.get(id);
+    }
+    /**
+     * Get a SUT definition by ID, throwing if not found.
+     *
+     * @param id - SUT identifier
+     * @returns SUT definition
+     * @throws Error if SUT not found
+     */
+    getOrThrow(id) {
+        const definition = this.definitions.get(id);
+        if (!definition) {
+            throw new Error(`SUT not found: ${id}`);
+        }
+        return definition;
+    }
+    /**
+     * Get all SUTs with a specific role.
+     *
+     * @param role - Role to filter by
+     * @returns Array of matching SUT definitions
+     */
+    getByRole(role) {
+        return [...this.definitions.values()].filter((d) => d.registration.role === role);
+    }
+    /**
+     * Get all SUTs with a specific tag.
+     *
+     * @param tag - Tag to filter by
+     * @returns Array of matching SUT definitions
+     */
+    getByTag(tag) {
+        return [...this.definitions.values()].filter((d) => d.registration.tags.includes(tag));
+    }
+    /**
+     * List all registered SUT IDs.
+     *
+     * @returns Array of SUT identifiers
+     */
+    list() {
+        return [...this.definitions.keys()];
+    }
+    /**
+     * List all registered SUT registrations.
+     *
+     * @returns Array of SUT registrations
+     */
+    listRegistrations() {
+        return [...this.definitions.values()].map((d) => d.registration);
+    }
+    /**
+     * Check if a SUT is registered.
+     *
+     * @param id - SUT identifier
+     * @returns true if registered
+     */
+    has(id) {
+        return this.definitions.has(id);
+    }
+    /**
+     * Get the number of registered SUTs.
+     */
+    get size() {
+        return this.definitions.size;
+    }
+    /**
+     * Clear all registrations.
+     */
+    clear() {
+        this.definitions.clear();
+    }
+    /**
+     * Create a new SUT instance.
+     *
+     * @param id - SUT identifier
+     * @param config - Optional configuration overrides
+     * @returns SUT instance ready for execution
+     */
+    create(id, config) {
+        const definition = this.getOrThrow(id);
+        return definition.factory(config);
+    }
+}
+/**
+ * Global SUT registry instance.
+ *
+ * Use this for standard registration, or create instances for isolation.
+ */
+export const sutRegistry = new SUTRegistry();
+//# sourceMappingURL=sut-registry.js.map

package/dist/registry/sut-registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sut-registry.js","sourceRoot":"","sources":["../../src/registry/sut-registry.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH;;;;;GAKG;AACH,MAAM,OAAO,WAAW;IACN,WAAW,GAAG,IAAI,GAAG,EAA2C,CAAC;IAElF;;;;;;OAMG;IACH,QAAQ,CAAC,YAA6B,EAAE,OAAqC;QAC5E,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CAAC,2BAA2B,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/D,CAAC;QAED,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,CAAC;QACjE,OAAO,IAAI,CAAC;IACb,CAAC;IAED;;;;;OAKG;IACH,GAAG,CAAC,EAAU;QACb,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC;IAED;;;;;;OAMG;IACH,UAAU,CAAC,EAAU;QACpB,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5C,IAAI,CAAC,UAAU,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC;QACzC,CAAC;QACD,OAAO,UAAU,CAAC;IACnB,CAAC;IAED;;;;;OAKG;IACH,SAAS,CAAC,IAAa;QACtB,OAAO,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACnF,CAAC;IAED;;;;;OAKG;IACH,QAAQ,CAAC,GAAW;QACnB,OAAO,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACxF,CAAC;IAED;;;;OAIG;IACH,IAAI;QACH,OAAO,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;IACrC,CAAC;IAED;;;;OAIG;IACH,iBAAiB;QAChB,OAAO,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IAClE,CAAC;IAED;;;;;OAKG;IACH,GAAG,CAAC,EAAU;QACb,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC;IAED;;OAEG;IACH,IAAI,IAAI;QACP,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;IAC9B,CAAC;IAED;;OAEG;IACH,KAAK;QACJ,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;IAC1B,CAAC;IAED;;;;;;OAMG;IACH,MAAM,CAAC,EAAU,EAAE,MAAgC;QAClD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QACvC,OAAO,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;CACD;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC"}

package/dist/renderers/index.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Renderers - Export module
+ *
+ * Pure transformation layer for converting aggregated results
+ * into human-readable output formats.
+ */
+export type { ColumnSpec, RenderOutput, Renderer, TableRenderSpec, ClaimStatusDisplay, } from "./types.js";
+export { LATEX_CLAIM_STATUS, UNICODE_CLAIM_STATUS } from "./types.js";
+export { LaTeXRenderer, createLatexRenderer, escapeLatex, type LaTeXRendererOptions, } from "./latex-renderer.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/renderers/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,YAAY,EACX,UAAU,EACV,YAAY,EACZ,QAAQ,EACR,eAAe,EACf,kBAAkB,GAClB,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAEtE,OAAO,EACN,aAAa,EACb,mBAAmB,EACnB,WAAW,EACX,KAAK,oBAAoB,GACzB,MAAM,qBAAqB,CAAC"}

package/dist/renderers/index.js

@@ -0,0 +1,9 @@
+/**
+ * Renderers - Export module
+ *
+ * Pure transformation layer for converting aggregated results
+ * into human-readable output formats.
+ */
+export { LATEX_CLAIM_STATUS, UNICODE_CLAIM_STATUS } from "./types.js";
+export { LaTeXRenderer, createLatexRenderer, escapeLatex, } from "./latex-renderer.js";
+//# sourceMappingURL=index.js.map

package/dist/renderers/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/renderers/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAUH,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAEtE,OAAO,EACN,aAAa,EACb,mBAAmB,EACnB,WAAW,GAEX,MAAM,qBAAqB,CAAC"}

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"}