universal-physics-tensor 0.44.1 → 0.44.3

package/dist/composition/probe/dataset.js

@@ -0,0 +1,154 @@
+/**
+ * Observation adapters for Product B.
+ *
+ * In-memory / JSON / CSV. Does not live in `src/bridges/observations/` —
+ * that tree is Product A's confrontation ledger and must stay cycle-free
+ * from probe.
+ *
+ * @internal
+ */
+import { readFileSync } from 'node:fs';
+import { SCHEMA_VERSION } from './types.js';
+/** Build an in-memory dataset. @internal */
+export function datasetFromRows(rows, observable, role, id = 'inline', sigma) {
+    return { id, role, rows, observable, ...(sigma !== undefined ? { sigma } : {}), schemaVersion: SCHEMA_VERSION };
+}
+/** Coerce unknown JSON into a ProbeDataset. @internal */
+export function asDatasetSafe(raw, fallbackId, fallbackRole) {
+    if (!raw || typeof raw !== 'object') {
+        throw new Error(`dataset JSON is not an object (${fallbackId})`);
+    }
+    const obj = raw;
+    if (!Array.isArray(obj.rows)) {
+        throw new Error(`dataset at ${fallbackId} is missing rows[]`);
+    }
+    if (typeof obj.observable !== 'string' || obj.observable.length === 0) {
+        throw new Error(`dataset at ${fallbackId} is missing observable`);
+    }
+    const role = (typeof obj.role === 'string' ? obj.role : fallbackRole);
+    if (role !== 'exploratory-fit' &&
+        role !== 'validation-holdout' &&
+        role !== 'external-replication' &&
+        role !== 'falsification-only') {
+        throw new Error(`dataset at ${fallbackId} has invalid role '${String(obj.role)}'`);
+    }
+    const rows = obj.rows.map((row, i) => {
+        if (!row || typeof row !== 'object' || Array.isArray(row)) {
+            throw new Error(`dataset ${fallbackId} row ${i} is not an object`);
+        }
+        const out = {};
+        for (const [k, v] of Object.entries(row)) {
+            const n = typeof v === 'number' ? v : Number(v);
+            if (!Number.isFinite(n)) {
+                throw new Error(`dataset ${fallbackId} row ${i} column ${k}: not a finite number`);
+            }
+            out[k] = n;
+        }
+        return out;
+    });
+    return {
+        id: typeof obj.id === 'string' ? obj.id : fallbackId,
+        role,
+        rows,
+        observable: obj.observable,
+        ...(typeof obj.sigma === 'number' && Number.isFinite(obj.sigma) ? { sigma: obj.sigma } : {}),
+        schemaVersion: typeof obj.schemaVersion === 'string' ? obj.schemaVersion : SCHEMA_VERSION,
+    };
+}
+/** Load a single ProbeDataset JSON object. @internal */
+export function loadDatasetFromJson(path, fallbackRole) {
+    const raw = JSON.parse(readFileSync(path, 'utf8'));
+    return asDatasetSafe(raw, path, fallbackRole);
+}
+/** Load `{ exploratory, holdout }` JSON. @internal */
+export function loadSplitDatasetsFromJson(path) {
+    const raw = JSON.parse(readFileSync(path, 'utf8'));
+    if (raw.exploratory || raw.holdout) {
+        return {
+            exploratory: raw.exploratory
+                ? asDatasetSafe(raw.exploratory, `${path}#exploratory`, 'exploratory-fit')
+                : undefined,
+            holdout: raw.holdout
+                ? asDatasetSafe(raw.holdout, `${path}#holdout`, 'validation-holdout')
+                : undefined,
+        };
+    }
+    if (raw.observations) {
+        return {
+            exploratory: asDatasetSafe({ ...raw.observations, role: 'exploratory-fit' }, `${path}#observations`, 'exploratory-fit'),
+        };
+    }
+    throw new Error(`JSON at ${path} needs exploratory/holdout or observations`);
+}
+/**
+ * Minimal CSV: first row headers, remaining rows numeric values.
+ * Optional `split` column (`exploratory`/`holdout`/`blind`).
+ *
+ * @internal
+ */
+export function loadDatasetFromCsv(path, observable, role, id = path) {
+    const text = readFileSync(path, 'utf8').trim();
+    const lines = text.split(/\r?\n/).filter((l) => l.length > 0);
+    if (lines.length < 2) {
+        throw new Error(`CSV dataset at ${path} needs a header and at least one row`);
+    }
+    const headers = lines[0].split(',').map((h) => h.trim());
+    const rows = [];
+    for (let i = 1; i < lines.length; i++) {
+        const cells = lines[i].split(',').map((c) => c.trim());
+        const row = {};
+        for (let c = 0; c < headers.length; c++) {
+            const h = headers[c];
+            if (h === 'split')
+                continue;
+            const n = Number(cells[c] ?? '');
+            if (!Number.isFinite(n)) {
+                throw new Error(`CSV ${path} row ${i + 1} column ${h}: not a finite number`);
+            }
+            row[h] = n;
+        }
+        rows.push(row);
+    }
+    if (!(observable in (rows[0] ?? {}))) {
+        throw new Error(`CSV ${path} is missing observable column '${observable}'`);
+    }
+    return datasetFromRows(rows, observable, role, id);
+}
+/** Partition a mixed-split CSV (uses a `split` column). @internal */
+export function loadSplitCsv(path, observable) {
+    const text = readFileSync(path, 'utf8').trim();
+    const lines = text.split(/\r?\n/).filter((l) => l.length > 0);
+    if (lines.length < 2) {
+        throw new Error(`CSV dataset at ${path} needs a header and at least one row`);
+    }
+    const headers = lines[0].split(',').map((h) => h.trim());
+    const splitIdx = headers.indexOf('split');
+    if (splitIdx < 0) {
+        throw new Error(`CSV ${path} has no split column`);
+    }
+    const exploratoryRows = [];
+    const holdoutRows = [];
+    for (let i = 1; i < lines.length; i++) {
+        const cells = lines[i].split(',').map((c) => c.trim());
+        const row = {};
+        for (let c = 0; c < headers.length; c++) {
+            if (c === splitIdx)
+                continue;
+            const n = Number(cells[c] ?? '');
+            if (!Number.isFinite(n)) {
+                throw new Error(`CSV ${path} row ${i + 1} column ${headers[c]}: not a finite number`);
+            }
+            row[headers[c]] = n;
+        }
+        const split = cells[splitIdx];
+        if (split === 'holdout')
+            holdoutRows.push(row);
+        else
+            exploratoryRows.push(row);
+    }
+    return {
+        exploratory: datasetFromRows(exploratoryRows, observable, 'exploratory-fit', `${path}#exploratory`),
+        holdout: datasetFromRows(holdoutRows, observable, 'validation-holdout', `${path}#holdout`),
+    };
+}
+//# sourceMappingURL=dataset.js.map

package/dist/composition/probe/dataset.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dataset.js","sourceRoot":"","sources":["../../../src/composition/probe/dataset.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAEvC,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE5C,4CAA4C;AAC5C,MAAM,UAAU,eAAe,CAC7B,IAA+B,EAC/B,UAAkB,EAClB,IAAiB,EACjB,EAAE,GAAG,QAAQ,EACb,KAAc;IAEd,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,aAAa,EAAE,cAAc,EAAE,CAAC;AAClH,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,aAAa,CAAC,GAAY,EAAE,UAAkB,EAAE,YAA0B;IACxF,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,kCAAkC,UAAU,GAAG,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,GAAG,GAAG,GAOX,CAAC;IACF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,cAAc,UAAU,oBAAoB,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,UAAU,KAAK,QAAQ,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CAAC,cAAc,UAAU,wBAAwB,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAA4B,CAAC;IACjG,IACE,IAAI,KAAK,iBAAiB;QAC1B,IAAI,KAAK,oBAAoB;QAC7B,IAAI,KAAK,sBAAsB;QAC/B,IAAI,KAAK,oBAAoB,EAC7B,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,cAAc,UAAU,sBAAsB,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrF,CAAC;IACD,MAAM,IAAI,GAAqB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QACrD,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1D,MAAM,IAAI,KAAK,CAAC,WAAW,UAAU,QAAQ,CAAC,mBAAmB,CAAC,CAAC;QACrE,CAAC;QACD,MAAM,GAAG,GAA2B,EAAE,CAAC;QACvC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAA8B,CAAC,EAAE,CAAC;YACpE,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAChD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxB,MAAM,IAAI,KAAK,CAAC,WAAW,UAAU,QAAQ,CAAC,WAAW,CAAC,uBAAuB,CAAC,CAAC;YACrF,CAAC;YACD,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACb,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC,CAAC;IACH,OAAO;QACL,EAAE,EAAE,OAAO,GAAG,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU;QACpD,IAAI;QACJ,IAAI;QACJ,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,GAAG,CAAC,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5F,aAAa,EAAE,OAAO,GAAG,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,cAAc;KAC1F,CAAC;AACJ,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,mBAAmB,CAAC,IAAY,EAAE,YAA0B;IAC1E,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAY,CAAC;IAC9D,OAAO,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC;AAChD,CAAC;AAOD,sDAAsD;AACtD,MAAM,UAAU,yBAAyB,CAAC,IAAY;IACpD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAIhD,CAAC;IACF,IAAI,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QACnC,OAAO;YACL,WAAW,EAAE,GAAG,CAAC,WAAW;gBAC1B,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,IAAI,cAAc,EAAE,iBAAiB,CAAC;gBAC1E,CAAC,CAAC,SAAS;YACb,OAAO,EAAE,GAAG,CAAC,OAAO;gBAClB,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,EAAE,oBAAoB,CAAC;gBACrE,CAAC,CAAC,SAAS;SACd,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;QACrB,OAAO;YACL,WAAW,EAAE,aAAa,CACxB,EAAE,GAAI,GAAG,CAAC,YAAuB,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAC5D,GAAG,IAAI,eAAe,EACtB,iBAAiB,CAClB;SACF,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,4CAA4C,CAAC,CAAC;AAC/E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAAY,EACZ,UAAkB,EAClB,IAAiB,EACjB,EAAE,GAAG,IAAI;IAET,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC9D,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,sCAAsC,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1D,MAAM,IAAI,GAAqB,EAAE,CAAC;IAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACxD,MAAM,GAAG,GAA2B,EAAE,CAAC;QACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACxC,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;YACtB,IAAI,CAAC,KAAK,OAAO;gBAAE,SAAS;YAC5B,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACjC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxB,MAAM,IAAI,KAAK,CAAC,OAAO,IAAI,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,uBAAuB,CAAC,CAAC;YAC/E,CAAC;YACD,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACb,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjB,CAAC;IACD,IAAI,CAAC,CAAC,UAAU,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,OAAO,IAAI,kCAAkC,UAAU,GAAG,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,eAAe,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;AACrD,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,YAAY,CAC1B,IAAY,EACZ,UAAkB;IAElB,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC9D,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,sCAAsC,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1D,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;QACjB,MAAM,IAAI,KAAK,CAAC,OAAO,IAAI,sBAAsB,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,eAAe,GAAqB,EAAE,CAAC;IAC7C,MAAM,WAAW,GAAqB,EAAE,CAAC;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACxD,MAAM,GAAG,GAA2B,EAAE,CAAC;QACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACxC,IAAI,CAAC,KAAK,QAAQ;gBAAE,SAAS;YAC7B,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACjC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxB,MAAM,IAAI,KAAK,CAAC,OAAO,IAAI,QAAQ,CAAC,GAAG,CAAC,WAAW,OAAO,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;YACxF,CAAC;YACD,GAAG,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC;QACvB,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAI,KAAK,KAAK,SAAS;YAAE,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;;YAC1C,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjC,CAAC;IACD,OAAO;QACL,WAAW,EAAE,eAAe,CAAC,eAAe,EAAE,UAAU,EAAE,iBAAiB,EAAE,GAAG,IAAI,cAAc,CAAC;QACnG,OAAO,EAAE,eAAe,CAAC,WAAW,EAAE,UAAU,EAAE,oBAAoB,EAAE,GAAG,IAAI,UAAU,CAAC;KAC3F,CAAC;AACJ,CAAC"}

package/dist/composition/probe/experiment-design.d.ts

@@ -0,0 +1,32 @@
+/**
+ * Cheap experiment-design suggestions for two competing hypotheses.
+ *
+ * Grid-search max |H1−H2|/σ under declared bounds. Never recommend a
+ * forbidden region.
+ *
+ * @internal
+ */
+import type { ExprNode } from '../../dimensional/ast-types.js';
+export interface DesignBounds {
+    readonly variables: Readonly<Record<string, {
+        min: number;
+        max: number;
+        steps?: number;
+    }>>;
+    readonly forbidden?: readonly Readonly<Record<string, {
+        min: number;
+        max: number;
+    }>>[];
+    readonly sigma?: number;
+}
+export interface DesignSuggestion {
+    readonly point: Readonly<Record<string, number>>;
+    readonly discrimination: number;
+    readonly h1: number;
+    readonly h2: number;
+    readonly abstained?: boolean;
+    readonly reason?: string;
+}
+/** Suggest the grid point that maximises |H1−H2|/σ, skipping forbidden regions. @internal */
+export declare function suggestDiscriminatingPoint(h1: ExprNode, h2: ExprNode, bounds: DesignBounds): DesignSuggestion;
+//# sourceMappingURL=experiment-design.d.ts.map

package/dist/composition/probe/experiment-design.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"experiment-design.d.ts","sourceRoot":"","sources":["../../../src/composition/probe/experiment-design.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAG/D,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC,CAAC;IAC3F,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC,EAAE,CAAC;IACvF,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACjD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAeD,6FAA6F;AAC7F,wBAAgB,0BAA0B,CACxC,EAAE,EAAE,QAAQ,EACZ,EAAE,EAAE,QAAQ,EACZ,MAAM,EAAE,YAAY,GACnB,gBAAgB,CAkElB"}

package/dist/composition/probe/experiment-design.js

@@ -0,0 +1,86 @@
+/**
+ * Cheap experiment-design suggestions for two competing hypotheses.
+ *
+ * Grid-search max |H1−H2|/σ under declared bounds. Never recommend a
+ * forbidden region.
+ *
+ * @internal
+ */
+import { evalExpr } from '../expr-eval.js';
+function inForbidden(point, forbidden) {
+    if (!forbidden)
+        return false;
+    return forbidden.some((region) => Object.entries(region).every(([k, r]) => {
+        const v = point[k];
+        return v !== undefined && v >= r.min && v <= r.max;
+    }));
+}
+/** Suggest the grid point that maximises |H1−H2|/σ, skipping forbidden regions. @internal */
+export function suggestDiscriminatingPoint(h1, h2, bounds) {
+    const names = Object.keys(bounds.variables);
+    if (names.length === 0) {
+        return {
+            point: {},
+            discrimination: 0,
+            h1: NaN,
+            h2: NaN,
+            abstained: true,
+            reason: 'no free variables in bounds',
+        };
+    }
+    const sigma = bounds.sigma ?? 1;
+    let best = null;
+    const grids = names.map((n) => {
+        const b = bounds.variables[n];
+        const steps = Math.max(2, b.steps ?? 8);
+        const out = [];
+        for (let i = 0; i < steps; i++) {
+            const t = i / (steps - 1);
+            out.push(b.min + t * (b.max - b.min));
+        }
+        return out;
+    });
+    const idx = new Array(names.length).fill(0);
+    const rec = (d) => {
+        if (d === names.length) {
+            const point = {};
+            for (let i = 0; i < names.length; i++)
+                point[names[i]] = grids[i][idx[i]];
+            if (inForbidden(point, bounds.forbidden))
+                return;
+            let y1;
+            let y2;
+            try {
+                y1 = evalExpr(h1, point);
+                y2 = evalExpr(h2, point);
+            }
+            catch {
+                return;
+            }
+            if (!Number.isFinite(y1) || !Number.isFinite(y2))
+                return;
+            const disc = Math.abs(y1 - y2) / sigma;
+            if (!best || disc > best.discrimination) {
+                best = { point, discrimination: disc, h1: y1, h2: y2 };
+            }
+            return;
+        }
+        for (let i = 0; i < grids[d].length; i++) {
+            idx[d] = i;
+            rec(d + 1);
+        }
+    };
+    rec(0);
+    if (!best) {
+        return {
+            point: {},
+            discrimination: 0,
+            h1: NaN,
+            h2: NaN,
+            abstained: true,
+            reason: 'every grid point was forbidden or non-finite',
+        };
+    }
+    return best;
+}
+//# sourceMappingURL=experiment-design.js.map

package/dist/composition/probe/experiment-design.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"experiment-design.js","sourceRoot":"","sources":["../../../src/composition/probe/experiment-design.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAiB3C,SAAS,WAAW,CAClB,KAA6B,EAC7B,SAAwF;IAExF,IAAI,CAAC,SAAS;QAAE,OAAO,KAAK,CAAC;IAC7B,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAC/B,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;QACtC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACnB,OAAO,CAAC,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC;IACrD,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,0BAA0B,CACxC,EAAY,EACZ,EAAY,EACZ,MAAoB;IAEpB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC5C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,KAAK,EAAE,EAAE;YACT,cAAc,EAAE,CAAC;YACjB,EAAE,EAAE,GAAG;YACP,EAAE,EAAE,GAAG;YACP,SAAS,EAAE,IAAI;YACf,MAAM,EAAE,6BAA6B;SACtC,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC;IAChC,IAAI,IAAI,GAA4B,IAAI,CAAC;IAEzC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC5B,MAAM,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;QACxC,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC1B,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACxC,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,MAAM,GAAG,GAAG,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAG,CAAC,CAAS,EAAQ,EAAE;QAC9B,IAAI,CAAC,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;YACvB,MAAM,KAAK,GAA2B,EAAE,CAAC;YACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE;gBAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC,CAAE,CAAE,CAAC;YAC9E,IAAI,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC;gBAAE,OAAO;YACjD,IAAI,EAAU,CAAC;YACf,IAAI,EAAU,CAAC;YACf,IAAI,CAAC;gBACH,EAAE,GAAG,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;gBACzB,EAAE,GAAG,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC3B,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO;YACT,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAAE,OAAO;YACzD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,KAAK,CAAC;YACvC,IAAI,CAAC,IAAI,IAAI,IAAI,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;gBACxC,IAAI,GAAG,EAAE,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;YACzD,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACX,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACb,CAAC;IACH,CAAC,CAAC;IACF,GAAG,CAAC,CAAC,CAAC,CAAC;IAEP,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;YACL,KAAK,EAAE,EAAE;YACT,cAAc,EAAE,CAAC;YACjB,EAAE,EAAE,GAAG;YACP,EAAE,EAAE,GAAG;YACP,SAAS,EAAE,IAAI;YACf,MAAM,EAAE,8CAA8C;SACvD,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/composition/probe/falsify.d.ts

@@ -0,0 +1,29 @@
+/**
+ * Falsification batteries for probe candidates.
+ *
+ * Persist counterexamples. Failed limits are fatal only when the candidate
+ * claims that domain (see limits.ts). Catalog retrodiction is Product A and
+ * is not treated as a candidate-level verdict.
+ *
+ * @internal
+ */
+import type { ExprNode } from '../../dimensional/ast-types.js';
+import type { DeclaredLimit, FalsificationBattery, FalsificationRecord, ProbeDataset } from './types.js';
+export interface FalsifyInput {
+    readonly expr: ExprNode;
+    readonly dataset?: ProbeDataset;
+    readonly prefactor?: number;
+    readonly claimedRegimes?: Readonly<Record<string, string>>;
+    readonly limits?: readonly DeclaredLimit[];
+    readonly observationalBoundIds?: readonly string[];
+    readonly skipDimensional?: boolean;
+}
+export interface FalsifyResult {
+    readonly records: readonly FalsificationRecord[];
+    readonly survived: boolean;
+    readonly counterexamples: readonly Readonly<Record<string, number>>[];
+}
+/** Run the Product B falsification batteries. @internal */
+export declare function runFalsification(input: FalsifyInput): FalsifyResult;
+export declare const DEFAULT_BATTERIES: readonly FalsificationBattery[];
+//# sourceMappingURL=falsify.d.ts.map

package/dist/composition/probe/falsify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"falsify.d.ts","sourceRoot":"","sources":["../../../src/composition/probe/falsify.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAI/D,OAAO,KAAK,EACV,aAAa,EACb,oBAAoB,EACpB,mBAAmB,EACnB,YAAY,EACb,MAAM,YAAY,CAAC;AAEpB,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,cAAc,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3D,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC3C,QAAQ,CAAC,qBAAqB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnD,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC;CACpC;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACjD,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,eAAe,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;CACvE;AAqHD,2DAA2D;AAC3D,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,YAAY,GAAG,aAAa,CA2BnE;AAED,eAAO,MAAM,iBAAiB,EAAE,SAAS,oBAAoB,EAM5D,CAAC"}

package/dist/composition/probe/falsify.js

@@ -0,0 +1,142 @@
+/**
+ * Falsification batteries for probe candidates.
+ *
+ * Persist counterexamples. Failed limits are fatal only when the candidate
+ * claims that domain (see limits.ts). Catalog retrodiction is Product A and
+ * is not treated as a candidate-level verdict.
+ *
+ * @internal
+ */
+import { validate } from '../../dimensional/validator.js';
+import { evalExpr } from '../expr-eval.js';
+import { checkDeclaredLimits } from './limits.js';
+function dimBattery(expr) {
+    const v = validate(expr);
+    if (!v.ok || v.inferredDimension === null) {
+        return {
+            battery: 'dimensional',
+            outcome: 'fail',
+            detail: 'expression is dimensionally inconsistent',
+        };
+    }
+    return {
+        battery: 'dimensional',
+        outcome: 'pass',
+        detail: 'expression is dimensionally consistent',
+    };
+}
+function finitenessBattery(expr, dataset, prefactor) {
+    if (!dataset || dataset.rows.length === 0) {
+        return {
+            record: {
+                battery: 'finiteness',
+                outcome: 'pass',
+                detail: 'no rows to evaluate',
+            },
+            counterexamples: [],
+        };
+    }
+    const counterexamples = [];
+    for (const row of dataset.rows) {
+        let y;
+        try {
+            y = prefactor * evalExpr(expr, row);
+        }
+        catch {
+            counterexamples.push({ ...row });
+            continue;
+        }
+        if (!Number.isFinite(y))
+            counterexamples.push({ ...row });
+    }
+    if (counterexamples.length > 0) {
+        return {
+            record: {
+                battery: 'finiteness',
+                outcome: 'fail',
+                detail: `${counterexamples.length} observation(s) produced non-finite predictions`,
+            },
+            counterexamples,
+        };
+    }
+    return {
+        record: {
+            battery: 'finiteness',
+            outcome: 'pass',
+            detail: 'all predictions finite',
+        },
+        counterexamples: [],
+    };
+}
+function limitsBattery(checks) {
+    const fatal = checks.filter((c) => c.fatal);
+    if (fatal.length > 0) {
+        return {
+            battery: 'limits',
+            outcome: 'fail',
+            detail: fatal.map((c) => c.detail).join('; '),
+        };
+    }
+    const failedNonFatal = checks.filter((c) => !c.passed && !c.fatal);
+    if (failedNonFatal.length > 0) {
+        return {
+            battery: 'limits',
+            outcome: 'inconclusive',
+            detail: failedNonFatal.map((c) => c.detail).join('; '),
+        };
+    }
+    return {
+        battery: 'limits',
+        outcome: 'pass',
+        detail: checks.length === 0
+            ? 'no declared limits'
+            : 'declared limits held or were out of claimed domain',
+    };
+}
+function retrodictionBattery() {
+    return {
+        battery: 'retrodiction',
+        outcome: 'inconclusive',
+        detail: 'catalog retrodiction is Product A (needs a composition graph + ground truth) — not a probe-candidate verdict',
+    };
+}
+function observationalBoundsBattery(ids) {
+    if (!ids || ids.length === 0) {
+        return {
+            battery: 'observational-bounds',
+            outcome: 'pass',
+            detail: 'no observational bound ids supplied',
+        };
+    }
+    return {
+        battery: 'observational-bounds',
+        outcome: 'inconclusive',
+        detail: `bound ids ${ids.join(', ')} recorded; candidate-level bound evaluation is data-specific`,
+    };
+}
+/** Run the Product B falsification batteries. @internal */
+export function runFalsification(input) {
+    const prefactor = input.prefactor ?? 1;
+    const records = [];
+    const counterexamples = [];
+    if (!input.skipDimensional) {
+        records.push(dimBattery(input.expr));
+    }
+    const fin = finitenessBattery(input.expr, input.dataset, prefactor);
+    records.push(fin.record);
+    counterexamples.push(...fin.counterexamples);
+    const limitChecks = checkDeclaredLimits(input.expr, input.dataset, prefactor, input.limits ?? [], input.claimedRegimes ?? {});
+    records.push(limitsBattery(limitChecks));
+    records.push(retrodictionBattery());
+    records.push(observationalBoundsBattery(input.observationalBoundIds));
+    const survived = records.every((r) => r.outcome !== 'fail');
+    return { records, survived, counterexamples };
+}
+export const DEFAULT_BATTERIES = [
+    'dimensional',
+    'finiteness',
+    'limits',
+    'retrodiction',
+    'observational-bounds',
+];
+//# sourceMappingURL=falsify.js.map

package/dist/composition/probe/falsify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"falsify.js","sourceRoot":"","sources":["../../../src/composition/probe/falsify.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAC1D,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAE,mBAAmB,EAAyB,MAAM,aAAa,CAAC;AAwBzE,SAAS,UAAU,CAAC,IAAc;IAChC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAAC;QAC1C,OAAO;YACL,OAAO,EAAE,aAAa;YACtB,OAAO,EAAE,MAAM;YACf,MAAM,EAAE,0CAA0C;SACnD,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,aAAa;QACtB,OAAO,EAAE,MAAM;QACf,MAAM,EAAE,wCAAwC;KACjD,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAc,EACd,OAAiC,EACjC,SAAiB;IAEjB,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1C,OAAO;YACL,MAAM,EAAE;gBACN,OAAO,EAAE,YAAY;gBACrB,OAAO,EAAE,MAAM;gBACf,MAAM,EAAE,qBAAqB;aAC9B;YACD,eAAe,EAAE,EAAE;SACpB,CAAC;IACJ,CAAC;IACD,MAAM,eAAe,GAA6B,EAAE,CAAC;IACrD,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QAC/B,IAAI,CAAS,CAAC;QACd,IAAI,CAAC;YACH,CAAC,GAAG,SAAS,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACtC,CAAC;QAAC,MAAM,CAAC;YACP,eAAe,CAAC,IAAI,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC,CAAC;YACjC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,eAAe,CAAC,IAAI,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,MAAM,EAAE;gBACN,OAAO,EAAE,YAAY;gBACrB,OAAO,EAAE,MAAM;gBACf,MAAM,EAAE,GAAG,eAAe,CAAC,MAAM,iDAAiD;aACnF;YACD,eAAe;SAChB,CAAC;IACJ,CAAC;IACD,OAAO;QACL,MAAM,EAAE;YACN,OAAO,EAAE,YAAY;YACrB,OAAO,EAAE,MAAM;YACf,MAAM,EAAE,wBAAwB;SACjC;QACD,eAAe,EAAE,EAAE;KACpB,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,MAAmC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,OAAO;YACL,OAAO,EAAE,QAAQ;YACjB,OAAO,EAAE,MAAM;YACf,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;SAC9C,CAAC;IACJ,CAAC;IACD,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACnE,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,OAAO,EAAE,QAAQ;YACjB,OAAO,EAAE,cAAc;YACvB,MAAM,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;SACvD,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,QAAQ;QACjB,OAAO,EAAE,MAAM;QACf,MAAM,EACJ,MAAM,CAAC,MAAM,KAAK,CAAC;YACjB,CAAC,CAAC,oBAAoB;YACtB,CAAC,CAAC,oDAAoD;KAC3D,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB;IAC1B,OAAO;QACL,OAAO,EAAE,cAAc;QACvB,OAAO,EAAE,cAAc;QACvB,MAAM,EACJ,8GAA8G;KACjH,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,GAAkC;IAElC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO;YACL,OAAO,EAAE,sBAAsB;YAC/B,OAAO,EAAE,MAAM;YACf,MAAM,EAAE,qCAAqC;SAC9C,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,sBAAsB;QAC/B,OAAO,EAAE,cAAc;QACvB,MAAM,EAAE,aAAa,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,8DAA8D;KAClG,CAAC;AACJ,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,gBAAgB,CAAC,KAAmB;IAClD,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,IAAI,CAAC,CAAC;IACvC,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,MAAM,eAAe,GAA6B,EAAE,CAAC;IAErD,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,CAAC;QAC3B,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACvC,CAAC;IAED,MAAM,GAAG,GAAG,iBAAiB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IACpE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACzB,eAAe,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,eAAe,CAAC,CAAC;IAE7C,MAAM,WAAW,GAAG,mBAAmB,CACrC,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,OAAO,EACb,SAAS,EACT,KAAK,CAAC,MAAM,IAAI,EAAE,EAClB,KAAK,CAAC,cAAc,IAAI,EAAE,CAC3B,CAAC;IACF,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC;IAEzC,OAAO,CAAC,IAAI,CAAC,mBAAmB,EAAE,CAAC,CAAC;IACpC,OAAO,CAAC,IAAI,CAAC,0BAA0B,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,CAAC;IAEtE,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC;IAC5D,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAoC;IAChE,aAAa;IACb,YAAY;IACZ,QAAQ;IACR,cAAc;IACd,sBAAsB;CACvB,CAAC"}

package/dist/composition/probe/fingerprint.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Candidate fingerprints — `normalForm` is the cheap algebraic hash.
+ *
+ * @module composition/probe/fingerprint
+ */
+import type { ExprNode } from '../../dimensional/ast-types.js';
+import type { CandidateFingerprint, ComplexityMetrics, ProbeCandidateBody } from './types.js';
+/** Expression of a probe body. @internal */
+export declare function bodyExpression(body: ProbeCandidateBody): ExprNode;
+/** Recursively count AST nodes. @internal */
+export declare function countAstNodes(node: ExprNode): number;
+/** Operator / transcendental count. @internal */
+export declare function countOperators(node: ExprNode): number;
+/** Max `^` numeric exponent used as a derivative-order proxy for monomials. @internal */
+export declare function maxPowerOrder(node: ExprNode): number;
+/** Complexity metrics for an expression. @internal */
+export declare function complexityOf(node: ExprNode, freeParameters?: number): ComplexityMetrics;
+/** Fingerprint an expression under optional regime/assumption signatures. @internal */
+export declare function fingerprintExpr(node: ExprNode, regimeSignature?: string, assumptionSignature?: string): CandidateFingerprint;
+//# sourceMappingURL=fingerprint.d.ts.map

package/dist/composition/probe/fingerprint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fingerprint.d.ts","sourceRoot":"","sources":["../../../src/composition/probe/fingerprint.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAK/D,OAAO,KAAK,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAE9F,4CAA4C;AAC5C,wBAAgB,cAAc,CAAC,IAAI,EAAE,kBAAkB,GAAG,QAAQ,CAEjE;AAED,6CAA6C;AAC7C,wBAAgB,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,CAyBpD;AAED,iDAAiD;AACjD,wBAAgB,cAAc,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,CAsBrD;AAED,yFAAyF;AACzF,wBAAgB,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,CAQpD;AAED,sDAAsD;AACtD,wBAAgB,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,cAAc,SAAI,GAAG,iBAAiB,CAUlF;AAED,uFAAuF;AACvF,wBAAgB,eAAe,CAC7B,IAAI,EAAE,QAAQ,EACd,eAAe,SAAK,EACpB,mBAAmB,SAAK,GACvB,oBAAoB,CAYtB"}

package/dist/composition/probe/fingerprint.js

@@ -0,0 +1,99 @@
+/**
+ * Candidate fingerprints — `normalForm` is the cheap algebraic hash.
+ *
+ * @module composition/probe/fingerprint
+ */
+import { validate } from '../../dimensional/validator.js';
+import { format } from '../../dimensional/algebra.js';
+import { normalForm } from '../../canonical/normal-form.js';
+import { hashCanonical, sha256Hex } from './serialize.js';
+/** Expression of a probe body. @internal */
+export function bodyExpression(body) {
+    return body.kind === 'scalar-expr' ? body.expression : body.correction;
+}
+/** Recursively count AST nodes. @internal */
+export function countAstNodes(node) {
+    switch (node.kind) {
+        case 'symbol':
+            return 1;
+        case 'op':
+            return 1 + node.args.reduce((n, a) => n + countAstNodes(a), 0);
+        case 'transcendental':
+        case 'abs':
+        case 'dirac-delta':
+            return 1 + countAstNodes(node.arg);
+        case 'integral':
+            return (1 +
+                countAstNodes(node.integrand) +
+                countAstNodes(node.over) +
+                (node.lower ? countAstNodes(node.lower) : 0) +
+                (node.upper ? countAstNodes(node.upper) : 0));
+        case 'derivative':
+            return 1 + countAstNodes(node.of) + countAstNodes(node.wrt);
+        case 'variational-derivative':
+            return 1 + countAstNodes(node.functional) + countAstNodes(node.field) + countAstNodes(node.over);
+        default:
+            return 1;
+    }
+}
+/** Operator / transcendental count. @internal */
+export function countOperators(node) {
+    switch (node.kind) {
+        case 'op':
+            return 1 + node.args.reduce((n, a) => n + countOperators(a), 0);
+        case 'transcendental':
+            return 1 + countOperators(node.arg);
+        case 'abs':
+        case 'dirac-delta':
+            return countOperators(node.arg);
+        case 'integral':
+            return (1 +
+                countOperators(node.integrand) +
+                countOperators(node.over) +
+                (node.lower ? countOperators(node.lower) : 0) +
+                (node.upper ? countOperators(node.upper) : 0));
+        case 'derivative':
+            return 1 + countOperators(node.of) + countOperators(node.wrt);
+        default:
+            return 0;
+    }
+}
+/** Max `^` numeric exponent used as a derivative-order proxy for monomials. @internal */
+export function maxPowerOrder(node) {
+    if (node.kind === 'op' && node.op === '^' && node.args[1]?.kind === 'symbol') {
+        const e = Math.abs(Number(node.args[1].name));
+        return Number.isFinite(e) ? e : 0;
+    }
+    if (node.kind === 'op')
+        return Math.max(0, ...node.args.map(maxPowerOrder));
+    if (node.kind === 'transcendental' || node.kind === 'abs')
+        return maxPowerOrder(node.arg);
+    return 0;
+}
+/** Complexity metrics for an expression. @internal */
+export function complexityOf(node, freeParameters = 1) {
+    const astNodes = countAstNodes(node);
+    const operators = countOperators(node);
+    return {
+        astNodes,
+        operators,
+        freeParameters,
+        derivativeOrder: Math.round(maxPowerOrder(node)),
+        descriptionLength: astNodes + operators,
+    };
+}
+/** Fingerprint an expression under optional regime/assumption signatures. @internal */
+export function fingerprintExpr(node, regimeSignature = '', assumptionSignature = '') {
+    const syntaxHash = sha256Hex(hashCanonical(node));
+    const canonicalAstHash = sha256Hex(normalForm(node));
+    const v = validate(node);
+    const dimensionalSignature = v.inferredDimension ? format(v.inferredDimension) : 'invalid';
+    return {
+        syntaxHash,
+        canonicalAstHash,
+        dimensionalSignature,
+        regimeSignature,
+        assumptionSignature: sha256Hex(assumptionSignature),
+    };
+}
+//# sourceMappingURL=fingerprint.js.map

package/dist/composition/probe/fingerprint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fingerprint.js","sourceRoot":"","sources":["../../../src/composition/probe/fingerprint.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAC1D,OAAO,EAAE,MAAM,EAAE,MAAM,8BAA8B,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAG1D,4CAA4C;AAC5C,MAAM,UAAU,cAAc,CAAC,IAAwB;IACrD,OAAO,IAAI,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC;AACzE,CAAC;AAED,6CAA6C;AAC7C,MAAM,UAAU,aAAa,CAAC,IAAc;IAC1C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,CAAC,CAAC;QACX,KAAK,IAAI;YACP,OAAO,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjE,KAAK,gBAAgB,CAAC;QACtB,KAAK,KAAK,CAAC;QACX,KAAK,aAAa;YAChB,OAAO,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrC,KAAK,UAAU;YACb,OAAO,CACL,CAAC;gBACD,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC;gBAC7B,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;gBACxB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC5C,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC7C,CAAC;QACJ,KAAK,YAAY;YACf,OAAO,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9D,KAAK,wBAAwB;YAC3B,OAAO,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnG;YACE,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC;AAED,iDAAiD;AACjD,MAAM,UAAU,cAAc,CAAC,IAAc;IAC3C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,IAAI;YACP,OAAO,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClE,KAAK,gBAAgB;YACnB,OAAO,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACtC,KAAK,KAAK,CAAC;QACX,KAAK,aAAa;YAChB,OAAO,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,KAAK,UAAU;YACb,OAAO,CACL,CAAC;gBACD,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC;gBAC9B,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;gBACzB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC7C,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC9C,CAAC;QACJ,KAAK,YAAY;YACf,OAAO,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChE;YACE,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,aAAa,CAAC,IAAc;IAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7E,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9C,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC;IAC5E,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1F,OAAO,CAAC,CAAC;AACX,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,YAAY,CAAC,IAAc,EAAE,cAAc,GAAG,CAAC;IAC7D,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO;QACL,QAAQ;QACR,SAAS;QACT,cAAc;QACd,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAChD,iBAAiB,EAAE,QAAQ,GAAG,SAAS;KACxC,CAAC;AACJ,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,eAAe,CAC7B,IAAc,EACd,eAAe,GAAG,EAAE,EACpB,mBAAmB,GAAG,EAAE;IAExB,MAAM,UAAU,GAAG,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;IAClD,MAAM,gBAAgB,GAAG,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IACrD,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,MAAM,oBAAoB,GAAG,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3F,OAAO;QACL,UAAU;QACV,gBAAgB;QAChB,oBAAoB;QACpB,eAAe;QACf,mBAAmB,EAAE,SAAS,CAAC,mBAAmB,CAAC;KACpD,CAAC;AACJ,CAAC"}

package/dist/composition/probe/fit.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Prefactor fit + holdout evaluation. Generation never sees holdout rows.
+ *
+ * @module composition/probe/fit
+ */
+import type { ExprNode } from '../../dimensional/ast-types.js';
+import type { ProbeDataset } from './types.js';
+export interface FitResult {
+    readonly prefactor: number;
+    readonly exploratoryRmse: number;
+    readonly nExploratory: number;
+    readonly holdoutRmse: number | null;
+    readonly nHoldout: number;
+    readonly holdoutSupported: boolean;
+}
+/**
+ * Least-squares prefactor c in y ≈ c · f(x) on exploratory data, then score
+ * locked holdout. Holdout must not have been in the generation context.
+ *
+ * @internal
+ */
+export declare function fitPrefactor(expr: ExprNode, exploratory: ProbeDataset, holdout: ProbeDataset | undefined, holdoutTol?: number): FitResult;
+//# sourceMappingURL=fit.d.ts.map

package/dist/composition/probe/fit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fit.d.ts","sourceRoot":"","sources":["../../../src/composition/probe/fit.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAE/D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAI/C,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;CACpC;AAmBD;;;;;GAKG;AACH,wBAAgB,YAAY,CAC1B,IAAI,EAAE,QAAQ,EACd,WAAW,EAAE,YAAY,EACzB,OAAO,EAAE,YAAY,GAAG,SAAS,EACjC,UAAU,SAAO,GAChB,SAAS,CA8DX"}