universal-physics-tensor 10.0.0 → 12.0.0

package/dist/composition/probe/dataset.js

@@ -5,10 +5,60 @@
  * that tree is Product A's confrontation ledger and must stay cycle-free
  * from probe.
  *
+ * A cell is a finite number or a non-empty string in the strict decimal
+ * grammar (`1`, `-0.5`, `.5`, `2.`, `1e-3`). Nothing is coerced: an empty
+ * cell, `null`, `true`, `false`, a list and `"0x10"` are refused by column
+ * and row, with {@link DatasetError}. `Number(v)` once read all of those as
+ * 0, 1 or 16, which also defeated the missing-observation guard of the
+ * declared-limit check (a missing observation scored as 0).
+ *
  * @internal
  */
 import { readFileSync } from 'node:fs';
+import { readJsonFile } from '../../core/data-file.js';
 import { SCHEMA_VERSION } from './types.js';
+/** A dataset file or object that is not a dataset: the message names the row and the column. @internal */
+export class DatasetError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'DatasetError';
+    }
+}
+/** The strict decimal grammar a string cell must match: sign, digits with an optional fraction, an optional exponent. */
+const DECIMAL = /^[+-]?(\d+\.?\d*|\.\d+)([eE][+-]?\d+)?$/;
+/** What a JSON value is, in the words a file author would use. */
+function kindOf(v) {
+    if (v === null)
+        return 'null';
+    if (Array.isArray(v))
+        return 'a list';
+    if (typeof v === 'boolean')
+        return String(v);
+    if (typeof v === 'string')
+        return `'${v}'`;
+    return typeof v === 'object' ? 'an object' : typeof v;
+}
+/**
+ * A cell as a number: a finite number, or a non-empty string in the strict
+ * decimal grammar. Anything else is refused at `where` (the dataset, row and
+ * column). @internal
+ */
+export function readDatasetNumber(v, where) {
+    if (typeof v === 'number') {
+        if (!Number.isFinite(v))
+            throw new DatasetError(`${where}: ${v} is not a finite number`);
+        return v;
+    }
+    if (typeof v === 'string') {
+        if (v.trim() === '')
+            throw new DatasetError(`${where}: an empty cell is not a number`);
+        const n = DECIMAL.test(v.trim()) ? Number(v.trim()) : NaN;
+        if (!Number.isFinite(n))
+            throw new DatasetError(`${where}: ${kindOf(v)} is not a finite decimal number`);
+        return n;
+    }
+    throw new DatasetError(`${where}: ${kindOf(v)} is not a number`);
+}
 /** 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 };
@@ -16,33 +66,29 @@ export function datasetFromRows(rows, observable, role, id = 'inline', sigma) {
 /** 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})`);
+        throw new DatasetError(`dataset JSON is not an object (${fallbackId})`);
     }
     const obj = raw;
     if (!Array.isArray(obj.rows)) {
-        throw new Error(`dataset at ${fallbackId} is missing rows[]`);
+        throw new DatasetError(`dataset at ${fallbackId} is missing rows[]`);
     }
     if (typeof obj.observable !== 'string' || obj.observable.length === 0) {
-        throw new Error(`dataset at ${fallbackId} is missing observable`);
+        throw new DatasetError(`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)}'`);
+        throw new DatasetError(`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`);
+            throw new DatasetError(`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;
+            out[k] = readDatasetNumber(v, `dataset ${fallbackId} row ${i} column ${k}`);
         }
         return out;
     });
@@ -57,12 +103,12 @@ export function asDatasetSafe(raw, fallbackId, fallbackRole) {
 }
 /** Load a single ProbeDataset JSON object. @internal */
 export function loadDatasetFromJson(path, fallbackRole) {
-    const raw = JSON.parse(readFileSync(path, 'utf8'));
+    const raw = readJsonFile(path);
     return asDatasetSafe(raw, path, fallbackRole);
 }
 /** Load `{ exploratory, holdout }` JSON. @internal */
 export function loadSplitDatasetsFromJson(path) {
-    const raw = JSON.parse(readFileSync(path, 'utf8'));
+    const raw = readJsonFile(path);
     if (raw.exploratory || raw.holdout) {
         return {
             exploratory: raw.exploratory
@@ -78,7 +124,35 @@ export function loadSplitDatasetsFromJson(path) {
             exploratory: asDatasetSafe({ ...raw.observations, role: 'exploratory-fit' }, `${path}#observations`, 'exploratory-fit'),
         };
     }
-    throw new Error(`JSON at ${path} needs exploratory/holdout or observations`);
+    throw new DatasetError(`JSON at ${path} needs exploratory/holdout or observations`);
+}
+/** The header and the data lines of a CSV file; the file needs both. */
+function csvLines(path) {
+    const text = readFileSync(path, 'utf8').trim();
+    const lines = text.split(/\r?\n/).filter((l) => l.length > 0);
+    if (lines.length < 2) {
+        throw new DatasetError(`CSV dataset at ${path} needs a header and at least one row`);
+    }
+    const headers = lines[0].split(',').map((h) => h.trim());
+    return { headers, lines };
+}
+/**
+ * One CSV data line as a row of numbers. A line with fewer cells than the
+ * header is refused by the first column it lacks; `skip` names the header
+ * column (if any) that is not a number column. `line` is the 1-based line
+ * number of the file, so a message points at the file.
+ */
+function csvRow(cells, headers, line, path, skip) {
+    if (cells.length < headers.length) {
+        throw new DatasetError(`CSV ${path} row ${line} has ${cells.length} cell(s); the header has ${headers.length} (column ${headers[cells.length]} is missing)`);
+    }
+    const row = {};
+    for (let c = 0; c < headers.length; c++) {
+        if (c === skip)
+            continue;
+        row[headers[c]] = readDatasetNumber(cells[c], `CSV ${path} row ${line} column ${headers[c]}`);
+    }
+    return row;
 }
 /**
  * Minimal CSV: first row headers, remaining rows numeric values.
@@ -88,66 +162,37 @@ export function loadSplitDatasetsFromJson(path) {
  * @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 { headers, lines } = csvLines(path);
+    const splitIdx = headers.indexOf('split');
     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);
+        rows.push(csvRow(cells, headers, i + 1, path, splitIdx));
     }
     if (!(observable in (rows[0] ?? {}))) {
-        throw new Error(`CSV ${path} is missing observable column '${observable}'`);
+        throw new DatasetError(`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 { headers, lines } = csvLines(path);
     const splitIdx = headers.indexOf('split');
     if (splitIdx < 0) {
-        throw new Error(`CSV ${path} has no split column`);
+        throw new DatasetError(`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 row = csvRow(cells, headers, i + 1, path, splitIdx);
         const split = cells[splitIdx];
         if (split === 'holdout' || split === 'blind')
             holdoutRows.push(row);
         else if (split === 'exploratory')
             exploratoryRows.push(row);
         else
-            throw new Error(`CSV ${path} row ${i + 1} has invalid split '${split}'`);
+            throw new DatasetError(`CSV ${path} row ${i + 1} has invalid split '${split}'`);
     }
     return {
         exploratory: datasetFromRows(exploratoryRows, observable, 'exploratory-fit', `${path}#exploratory`),

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

@@ -1 +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;;;;;;GAMG;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,IAAI,KAAK,KAAK,OAAO;YAAE,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;aAC/D,IAAI,KAAK,KAAK,aAAa;YAAE,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;;YACvD,MAAM,IAAI,KAAK,CAAC,OAAO,IAAI,QAAQ,CAAC,GAAG,CAAC,uBAAuB,KAAK,GAAG,CAAC,CAAC;IAChF,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","sourcesContent":["/**\n * Observation adapters for Product B.\n *\n * In-memory / JSON / CSV. Does not live in `src/bridges/observations/` —\n * that tree is Product A's confrontation ledger and must stay cycle-free\n * from probe.\n *\n * @internal\n */\n\nimport { readFileSync } from 'node:fs';\nimport type { DatasetRole, ObservationRow, ProbeDataset } from './types.js';\nimport { SCHEMA_VERSION } from './types.js';\n\n/** Build an in-memory dataset. @internal */\nexport function datasetFromRows(\n  rows: readonly ObservationRow[],\n  observable: string,\n  role: DatasetRole,\n  id = 'inline',\n  sigma?: number,\n): ProbeDataset {\n  return { id, role, rows, observable, ...(sigma !== undefined ? { sigma } : {}), schemaVersion: SCHEMA_VERSION };\n}\n\n/** Coerce unknown JSON into a ProbeDataset. @internal */\nexport function asDatasetSafe(raw: unknown, fallbackId: string, fallbackRole?: DatasetRole): ProbeDataset {\n  if (!raw || typeof raw !== 'object') {\n    throw new Error(`dataset JSON is not an object (${fallbackId})`);\n  }\n  const obj = raw as {\n    id?: unknown;\n    role?: unknown;\n    rows?: unknown;\n    observable?: unknown;\n    sigma?: unknown;\n    schemaVersion?: unknown;\n  };\n  if (!Array.isArray(obj.rows)) {\n    throw new Error(`dataset at ${fallbackId} is missing rows[]`);\n  }\n  if (typeof obj.observable !== 'string' || obj.observable.length === 0) {\n    throw new Error(`dataset at ${fallbackId} is missing observable`);\n  }\n  const role = (typeof obj.role === 'string' ? obj.role : fallbackRole) as DatasetRole | undefined;\n  if (\n    role !== 'exploratory-fit' &&\n    role !== 'validation-holdout' &&\n    role !== 'external-replication' &&\n    role !== 'falsification-only'\n  ) {\n    throw new Error(`dataset at ${fallbackId} has invalid role '${String(obj.role)}'`);\n  }\n  const rows: ObservationRow[] = obj.rows.map((row, i) => {\n    if (!row || typeof row !== 'object' || Array.isArray(row)) {\n      throw new Error(`dataset ${fallbackId} row ${i} is not an object`);\n    }\n    const out: Record<string, number> = {};\n    for (const [k, v] of Object.entries(row as Record<string, unknown>)) {\n      const n = typeof v === 'number' ? v : Number(v);\n      if (!Number.isFinite(n)) {\n        throw new Error(`dataset ${fallbackId} row ${i} column ${k}: not a finite number`);\n      }\n      out[k] = n;\n    }\n    return out;\n  });\n  return {\n    id: typeof obj.id === 'string' ? obj.id : fallbackId,\n    role,\n    rows,\n    observable: obj.observable,\n    ...(typeof obj.sigma === 'number' && Number.isFinite(obj.sigma) ? { sigma: obj.sigma } : {}),\n    schemaVersion: typeof obj.schemaVersion === 'string' ? obj.schemaVersion : SCHEMA_VERSION,\n  };\n}\n\n/** Load a single ProbeDataset JSON object. @internal */\nexport function loadDatasetFromJson(path: string, fallbackRole?: DatasetRole): ProbeDataset {\n  const raw = JSON.parse(readFileSync(path, 'utf8')) as unknown;\n  return asDatasetSafe(raw, path, fallbackRole);\n}\n\nexport interface SplitFileDatasets {\n  readonly exploratory?: ProbeDataset;\n  readonly holdout?: ProbeDataset;\n}\n\n/** Load `{ exploratory, holdout }` JSON. @internal */\nexport function loadSplitDatasetsFromJson(path: string): SplitFileDatasets {\n  const raw = JSON.parse(readFileSync(path, 'utf8')) as {\n    exploratory?: unknown;\n    holdout?: unknown;\n    observations?: unknown;\n  };\n  if (raw.exploratory || raw.holdout) {\n    return {\n      exploratory: raw.exploratory\n        ? asDatasetSafe(raw.exploratory, `${path}#exploratory`, 'exploratory-fit')\n        : undefined,\n      holdout: raw.holdout\n        ? asDatasetSafe(raw.holdout, `${path}#holdout`, 'validation-holdout')\n        : undefined,\n    };\n  }\n  if (raw.observations) {\n    return {\n      exploratory: asDatasetSafe(\n        { ...(raw.observations as object), role: 'exploratory-fit' },\n        `${path}#observations`,\n        'exploratory-fit',\n      ),\n    };\n  }\n  throw new Error(`JSON at ${path} needs exploratory/holdout or observations`);\n}\n\n/**\n * Minimal CSV: first row headers, remaining rows numeric values.\n * Optional `split` column (`exploratory`/`holdout`/`blind`).\n * `blind` rows are withheld with holdout data, never fit.\n *\n * @internal\n */\nexport function loadDatasetFromCsv(\n  path: string,\n  observable: string,\n  role: DatasetRole,\n  id = path,\n): ProbeDataset {\n  const text = readFileSync(path, 'utf8').trim();\n  const lines = text.split(/\\r?\\n/).filter((l) => l.length > 0);\n  if (lines.length < 2) {\n    throw new Error(`CSV dataset at ${path} needs a header and at least one row`);\n  }\n  const headers = lines[0]!.split(',').map((h) => h.trim());\n  const rows: ObservationRow[] = [];\n  for (let i = 1; i < lines.length; i++) {\n    const cells = lines[i]!.split(',').map((c) => c.trim());\n    const row: Record<string, number> = {};\n    for (let c = 0; c < headers.length; c++) {\n      const h = headers[c]!;\n      if (h === 'split') continue;\n      const n = Number(cells[c] ?? '');\n      if (!Number.isFinite(n)) {\n        throw new Error(`CSV ${path} row ${i + 1} column ${h}: not a finite number`);\n      }\n      row[h] = n;\n    }\n    rows.push(row);\n  }\n  if (!(observable in (rows[0] ?? {}))) {\n    throw new Error(`CSV ${path} is missing observable column '${observable}'`);\n  }\n  return datasetFromRows(rows, observable, role, id);\n}\n\n/** Partition a mixed-split CSV (uses a `split` column). @internal */\nexport function loadSplitCsv(\n  path: string,\n  observable: string,\n): { exploratory: ProbeDataset; holdout: ProbeDataset } {\n  const text = readFileSync(path, 'utf8').trim();\n  const lines = text.split(/\\r?\\n/).filter((l) => l.length > 0);\n  if (lines.length < 2) {\n    throw new Error(`CSV dataset at ${path} needs a header and at least one row`);\n  }\n  const headers = lines[0]!.split(',').map((h) => h.trim());\n  const splitIdx = headers.indexOf('split');\n  if (splitIdx < 0) {\n    throw new Error(`CSV ${path} has no split column`);\n  }\n  const exploratoryRows: ObservationRow[] = [];\n  const holdoutRows: ObservationRow[] = [];\n  for (let i = 1; i < lines.length; i++) {\n    const cells = lines[i]!.split(',').map((c) => c.trim());\n    const row: Record<string, number> = {};\n    for (let c = 0; c < headers.length; c++) {\n      if (c === splitIdx) continue;\n      const n = Number(cells[c] ?? '');\n      if (!Number.isFinite(n)) {\n        throw new Error(`CSV ${path} row ${i + 1} column ${headers[c]}: not a finite number`);\n      }\n      row[headers[c]!] = n;\n    }\n    const split = cells[splitIdx];\n    if (split === 'holdout' || split === 'blind') holdoutRows.push(row);\n    else if (split === 'exploratory') exploratoryRows.push(row);\n    else throw new Error(`CSV ${path} row ${i + 1} has invalid split '${split}'`);\n  }\n  return {\n    exploratory: datasetFromRows(exploratoryRows, observable, 'exploratory-fit', `${path}#exploratory`),\n    holdout: datasetFromRows(holdoutRows, observable, 'validation-holdout', `${path}#holdout`),\n  };\n}\n"]}
+{"version":3,"file":"dataset.js","sourceRoot":"","sources":["../../../src/composition/probe/dataset.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE5C,0GAA0G;AAC1G,MAAM,OAAO,YAAa,SAAQ,KAAK;IACrC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,cAAc,CAAC;IAC7B,CAAC;CACF;AAED,yHAAyH;AACzH,MAAM,OAAO,GAAG,yCAAyC,CAAC;AAE1D,kEAAkE;AAClE,SAAS,MAAM,CAAC,CAAU;IACxB,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,QAAQ,CAAC;IACtC,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC;IAC3C,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AACxD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,CAAU,EAAE,KAAa;IACzD,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,MAAM,IAAI,YAAY,CAAC,GAAG,KAAK,KAAK,CAAC,yBAAyB,CAAC,CAAC;QACzF,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,MAAM,IAAI,YAAY,CAAC,GAAG,KAAK,iCAAiC,CAAC,CAAC;QACvF,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAC1D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,MAAM,IAAI,YAAY,CAAC,GAAG,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC;QACzG,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,IAAI,YAAY,CAAC,GAAG,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;AACnE,CAAC;AAED,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,YAAY,CAAC,kCAAkC,UAAU,GAAG,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,GAAG,GAAG,GAOX,CAAC;IACF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,YAAY,CAAC,cAAc,UAAU,oBAAoB,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,UAAU,KAAK,QAAQ,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtE,MAAM,IAAI,YAAY,CAAC,cAAc,UAAU,wBAAwB,CAAC,CAAC;IAC3E,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,YAAY,CAAC,cAAc,UAAU,sBAAsB,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5F,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,YAAY,CAAC,WAAW,UAAU,QAAQ,CAAC,mBAAmB,CAAC,CAAC;QAC5E,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,GAAG,CAAC,CAAC,CAAC,GAAG,iBAAiB,CAAC,CAAC,EAAE,WAAW,UAAU,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QAC9E,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,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/B,OAAO,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC;AAChD,CAAC;AAQD,sDAAsD;AACtD,MAAM,UAAU,yBAAyB,CAAC,IAAY;IACpD,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAI5B,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,YAAY,CAAC,WAAW,IAAI,4CAA4C,CAAC,CAAC;AACtF,CAAC;AAED,wEAAwE;AACxE,SAAS,QAAQ,CAAC,IAAY;IAC5B,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,YAAY,CAAC,kBAAkB,IAAI,sCAAsC,CAAC,CAAC;IACvF,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,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC5B,CAAC;AAED;;;;;GAKG;AACH,SAAS,MAAM,CAAC,KAAwB,EAAE,OAA0B,EAAE,IAAY,EAAE,IAAY,EAAE,IAAY;IAC5G,IAAI,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QAClC,MAAM,IAAI,YAAY,CACpB,OAAO,IAAI,QAAQ,IAAI,QAAQ,KAAK,CAAC,MAAM,4BAA4B,OAAO,CAAC,MAAM,YAAY,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,CACrI,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,IAAI,CAAC,KAAK,IAAI;YAAE,SAAS;QACzB,GAAG,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,QAAQ,IAAI,WAAW,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACjG,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAAY,EACZ,UAAkB,EAClB,IAAiB,EACjB,EAAE,GAAG,IAAI;IAET,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC1C,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,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,CAAC,CAAC,UAAU,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,YAAY,CAAC,OAAO,IAAI,kCAAkC,UAAU,GAAG,CAAC,CAAC;IACrF,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,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;QACjB,MAAM,IAAI,YAAY,CAAC,OAAO,IAAI,sBAAsB,CAAC,CAAC;IAC5D,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,GAAG,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC1D,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,OAAO;YAAE,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;aAC/D,IAAI,KAAK,KAAK,aAAa;YAAE,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;;YACvD,MAAM,IAAI,YAAY,CAAC,OAAO,IAAI,QAAQ,CAAC,GAAG,CAAC,uBAAuB,KAAK,GAAG,CAAC,CAAC;IACvF,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","sourcesContent":["/**\n * Observation adapters for Product B.\n *\n * In-memory / JSON / CSV. Does not live in `src/bridges/observations/` —\n * that tree is Product A's confrontation ledger and must stay cycle-free\n * from probe.\n *\n * A cell is a finite number or a non-empty string in the strict decimal\n * grammar (`1`, `-0.5`, `.5`, `2.`, `1e-3`). Nothing is coerced: an empty\n * cell, `null`, `true`, `false`, a list and `\"0x10\"` are refused by column\n * and row, with {@link DatasetError}. `Number(v)` once read all of those as\n * 0, 1 or 16, which also defeated the missing-observation guard of the\n * declared-limit check (a missing observation scored as 0).\n *\n * @internal\n */\n\nimport { readFileSync } from 'node:fs';\nimport { readJsonFile } from '../../core/data-file.js';\nimport type { DatasetRole, ObservationRow, ProbeDataset } from './types.js';\nimport { SCHEMA_VERSION } from './types.js';\n\n/** A dataset file or object that is not a dataset: the message names the row and the column. @internal */\nexport class DatasetError extends Error {\n  constructor(message: string) {\n    super(message);\n    this.name = 'DatasetError';\n  }\n}\n\n/** The strict decimal grammar a string cell must match: sign, digits with an optional fraction, an optional exponent. */\nconst DECIMAL = /^[+-]?(\\d+\\.?\\d*|\\.\\d+)([eE][+-]?\\d+)?$/;\n\n/** What a JSON value is, in the words a file author would use. */\nfunction kindOf(v: unknown): string {\n  if (v === null) return 'null';\n  if (Array.isArray(v)) return 'a list';\n  if (typeof v === 'boolean') return String(v);\n  if (typeof v === 'string') return `'${v}'`;\n  return typeof v === 'object' ? 'an object' : typeof v;\n}\n\n/**\n * A cell as a number: a finite number, or a non-empty string in the strict\n * decimal grammar. Anything else is refused at `where` (the dataset, row and\n * column). @internal\n */\nexport function readDatasetNumber(v: unknown, where: string): number {\n  if (typeof v === 'number') {\n    if (!Number.isFinite(v)) throw new DatasetError(`${where}: ${v} is not a finite number`);\n    return v;\n  }\n  if (typeof v === 'string') {\n    if (v.trim() === '') throw new DatasetError(`${where}: an empty cell is not a number`);\n    const n = DECIMAL.test(v.trim()) ? Number(v.trim()) : NaN;\n    if (!Number.isFinite(n)) throw new DatasetError(`${where}: ${kindOf(v)} is not a finite decimal number`);\n    return n;\n  }\n  throw new DatasetError(`${where}: ${kindOf(v)} is not a number`);\n}\n\n/** Build an in-memory dataset. @internal */\nexport function datasetFromRows(\n  rows: readonly ObservationRow[],\n  observable: string,\n  role: DatasetRole,\n  id = 'inline',\n  sigma?: number,\n): ProbeDataset {\n  return { id, role, rows, observable, ...(sigma !== undefined ? { sigma } : {}), schemaVersion: SCHEMA_VERSION };\n}\n\n/** Coerce unknown JSON into a ProbeDataset. @internal */\nexport function asDatasetSafe(raw: unknown, fallbackId: string, fallbackRole?: DatasetRole): ProbeDataset {\n  if (!raw || typeof raw !== 'object') {\n    throw new DatasetError(`dataset JSON is not an object (${fallbackId})`);\n  }\n  const obj = raw as {\n    id?: unknown;\n    role?: unknown;\n    rows?: unknown;\n    observable?: unknown;\n    sigma?: unknown;\n    schemaVersion?: unknown;\n  };\n  if (!Array.isArray(obj.rows)) {\n    throw new DatasetError(`dataset at ${fallbackId} is missing rows[]`);\n  }\n  if (typeof obj.observable !== 'string' || obj.observable.length === 0) {\n    throw new DatasetError(`dataset at ${fallbackId} is missing observable`);\n  }\n  const role = (typeof obj.role === 'string' ? obj.role : fallbackRole) as DatasetRole | undefined;\n  if (\n    role !== 'exploratory-fit' &&\n    role !== 'validation-holdout' &&\n    role !== 'external-replication' &&\n    role !== 'falsification-only'\n  ) {\n    throw new DatasetError(`dataset at ${fallbackId} has invalid role '${String(obj.role)}'`);\n  }\n  const rows: ObservationRow[] = obj.rows.map((row, i) => {\n    if (!row || typeof row !== 'object' || Array.isArray(row)) {\n      throw new DatasetError(`dataset ${fallbackId} row ${i} is not an object`);\n    }\n    const out: Record<string, number> = {};\n    for (const [k, v] of Object.entries(row as Record<string, unknown>)) {\n      out[k] = readDatasetNumber(v, `dataset ${fallbackId} row ${i} column ${k}`);\n    }\n    return out;\n  });\n  return {\n    id: typeof obj.id === 'string' ? obj.id : fallbackId,\n    role,\n    rows,\n    observable: obj.observable,\n    ...(typeof obj.sigma === 'number' && Number.isFinite(obj.sigma) ? { sigma: obj.sigma } : {}),\n    schemaVersion: typeof obj.schemaVersion === 'string' ? obj.schemaVersion : SCHEMA_VERSION,\n  };\n}\n\n/** Load a single ProbeDataset JSON object. @internal */\nexport function loadDatasetFromJson(path: string, fallbackRole?: DatasetRole): ProbeDataset {\n  const raw = readJsonFile(path);\n  return asDatasetSafe(raw, path, fallbackRole);\n}\n\n/** The exploratory and holdout datasets that one split JSON file holds. */\nexport interface SplitFileDatasets {\n  readonly exploratory?: ProbeDataset;\n  readonly holdout?: ProbeDataset;\n}\n\n/** Load `{ exploratory, holdout }` JSON. @internal */\nexport function loadSplitDatasetsFromJson(path: string): SplitFileDatasets {\n  const raw = readJsonFile(path) as {\n    exploratory?: unknown;\n    holdout?: unknown;\n    observations?: unknown;\n  };\n  if (raw.exploratory || raw.holdout) {\n    return {\n      exploratory: raw.exploratory\n        ? asDatasetSafe(raw.exploratory, `${path}#exploratory`, 'exploratory-fit')\n        : undefined,\n      holdout: raw.holdout\n        ? asDatasetSafe(raw.holdout, `${path}#holdout`, 'validation-holdout')\n        : undefined,\n    };\n  }\n  if (raw.observations) {\n    return {\n      exploratory: asDatasetSafe(\n        { ...(raw.observations as object), role: 'exploratory-fit' },\n        `${path}#observations`,\n        'exploratory-fit',\n      ),\n    };\n  }\n  throw new DatasetError(`JSON at ${path} needs exploratory/holdout or observations`);\n}\n\n/** The header and the data lines of a CSV file; the file needs both. */\nfunction csvLines(path: string): { headers: string[]; lines: string[] } {\n  const text = readFileSync(path, 'utf8').trim();\n  const lines = text.split(/\\r?\\n/).filter((l) => l.length > 0);\n  if (lines.length < 2) {\n    throw new DatasetError(`CSV dataset at ${path} needs a header and at least one row`);\n  }\n  const headers = lines[0]!.split(',').map((h) => h.trim());\n  return { headers, lines };\n}\n\n/**\n * One CSV data line as a row of numbers. A line with fewer cells than the\n * header is refused by the first column it lacks; `skip` names the header\n * column (if any) that is not a number column. `line` is the 1-based line\n * number of the file, so a message points at the file.\n */\nfunction csvRow(cells: readonly string[], headers: readonly string[], line: number, path: string, skip: number): Record<string, number> {\n  if (cells.length < headers.length) {\n    throw new DatasetError(\n      `CSV ${path} row ${line} has ${cells.length} cell(s); the header has ${headers.length} (column ${headers[cells.length]} is missing)`,\n    );\n  }\n  const row: Record<string, number> = {};\n  for (let c = 0; c < headers.length; c++) {\n    if (c === skip) continue;\n    row[headers[c]!] = readDatasetNumber(cells[c], `CSV ${path} row ${line} column ${headers[c]}`);\n  }\n  return row;\n}\n\n/**\n * Minimal CSV: first row headers, remaining rows numeric values.\n * Optional `split` column (`exploratory`/`holdout`/`blind`).\n * `blind` rows are withheld with holdout data, never fit.\n *\n * @internal\n */\nexport function loadDatasetFromCsv(\n  path: string,\n  observable: string,\n  role: DatasetRole,\n  id = path,\n): ProbeDataset {\n  const { headers, lines } = csvLines(path);\n  const splitIdx = headers.indexOf('split');\n  const rows: ObservationRow[] = [];\n  for (let i = 1; i < lines.length; i++) {\n    const cells = lines[i]!.split(',').map((c) => c.trim());\n    rows.push(csvRow(cells, headers, i + 1, path, splitIdx));\n  }\n  if (!(observable in (rows[0] ?? {}))) {\n    throw new DatasetError(`CSV ${path} is missing observable column '${observable}'`);\n  }\n  return datasetFromRows(rows, observable, role, id);\n}\n\n/** Partition a mixed-split CSV (uses a `split` column). @internal */\nexport function loadSplitCsv(\n  path: string,\n  observable: string,\n): { exploratory: ProbeDataset; holdout: ProbeDataset } {\n  const { headers, lines } = csvLines(path);\n  const splitIdx = headers.indexOf('split');\n  if (splitIdx < 0) {\n    throw new DatasetError(`CSV ${path} has no split column`);\n  }\n  const exploratoryRows: ObservationRow[] = [];\n  const holdoutRows: ObservationRow[] = [];\n  for (let i = 1; i < lines.length; i++) {\n    const cells = lines[i]!.split(',').map((c) => c.trim());\n    const row = csvRow(cells, headers, i + 1, path, splitIdx);\n    const split = cells[splitIdx];\n    if (split === 'holdout' || split === 'blind') holdoutRows.push(row);\n    else if (split === 'exploratory') exploratoryRows.push(row);\n    else throw new DatasetError(`CSV ${path} row ${i + 1} has invalid split '${split}'`);\n  }\n  return {\n    exploratory: datasetFromRows(exploratoryRows, observable, 'exploratory-fit', `${path}#exploratory`),\n    holdout: datasetFromRows(holdoutRows, observable, 'validation-holdout', `${path}#holdout`),\n  };\n}\n"]}

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

@@ -7,6 +7,7 @@
  * @internal
  */
 import type { ExprNode } from '../../dimensional/ast-types.js';
+/** The variable ranges, forbidden regions and sigma that bound an experiment design. */
 export interface DesignBounds {
     readonly variables: Readonly<Record<string, {
         min: number;
@@ -19,8 +20,13 @@ export interface DesignBounds {
     }>>[];
     readonly sigma?: number;
 }
-/** Coerce unknown JSON into {@link DesignBounds}. @internal */
+/**
+ * Coerce unknown JSON into {@link DesignBounds}. Every bound is a finite
+ * number and `steps` a positive integer; a value of another kind is refused,
+ * naming the field and what was found. @internal
+ */
 export declare function parseDesignBounds(raw: unknown, source: string): DesignBounds;
+/** One suggested experiment point, and how well it separates two hypotheses. */
 export interface DesignSuggestion {
     readonly point: Readonly<Record<string, number>>;
     readonly discrimination: number;

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

@@ -1 +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,+DAA+D;AAC/D,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,YAAY,CAqE5E;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"}
+{"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,wFAAwF;AACxF,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;AAyBD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,YAAY,CA4D5E;AAED,gFAAgF;AAChF,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

@@ -7,7 +7,36 @@
  * @internal
  */
 import { evalExpr } from '../expr-eval.js';
-/** Coerce unknown JSON into {@link DesignBounds}. @internal */
+/** What a JSON value is, in the words a file author would use. */
+function kindOf(v) {
+    if (v === null)
+        return 'null';
+    if (Array.isArray(v))
+        return 'a list';
+    if (typeof v === 'string')
+        return 'text';
+    if (typeof v === 'number')
+        return Number.isFinite(v) ? 'a number' : String(v);
+    if (typeof v === 'boolean')
+        return 'true or false';
+    return typeof v === 'object' ? 'an object' : typeof v;
+}
+/** A finite number, or null: nothing is coerced (`null`, `""` and `"0"` once read as 0). */
+const finite = (v) => (typeof v === 'number' && Number.isFinite(v) ? v : null);
+/** `{min, max}` as two finite numbers, located by `where` in any refusal. */
+function readRange(spec, where) {
+    const min = finite(spec.min);
+    const max = finite(spec.max);
+    if (min === null || max === null) {
+        throw new Error(`${where} needs finite min/max numbers (found ${kindOf(spec.min)} and ${kindOf(spec.max)})`);
+    }
+    return { min, max };
+}
+/**
+ * Coerce unknown JSON into {@link DesignBounds}. Every bound is a finite
+ * number and `steps` a positive integer; a value of another kind is refused,
+ * naming the field and what was found. @internal
+ */
 export function parseDesignBounds(raw, source) {
     if (!raw || typeof raw !== 'object' || Array.isArray(raw)) {
         throw new Error(`design bounds at ${source} is not an object`);
@@ -21,22 +50,18 @@ export function parseDesignBounds(raw, source) {
         if (!spec || typeof spec !== 'object' || Array.isArray(spec)) {
             throw new Error(`design bounds at ${source}: variables.${name} is not an object`);
         }
-        const { min, max, steps } = spec;
-        const minN = typeof min === 'number' ? min : Number(min);
-        const maxN = typeof max === 'number' ? max : Number(max);
-        if (!Number.isFinite(minN) || !Number.isFinite(maxN)) {
-            throw new Error(`design bounds at ${source}: variables.${name} needs finite min/max`);
-        }
-        if (minN > maxN) {
-            throw new Error(`design bounds at ${source}: variables.${name} has min > max`);
+        const where = `design bounds at ${source}: variables.${name}`;
+        const { min, max } = readRange(spec, where);
+        if (min > max) {
+            throw new Error(`${where} has min > max`);
         }
-        const entry = { min: minN, max: maxN };
+        const entry = { min, max };
+        const { steps } = spec;
         if (steps !== undefined) {
-            const stepsN = typeof steps === 'number' ? steps : Number(steps);
-            if (!Number.isFinite(stepsN) || stepsN <= 0) {
-                throw new Error(`design bounds at ${source}: variables.${name}.steps must be positive`);
+            if (typeof steps !== 'number' || !Number.isInteger(steps) || steps < 1) {
+                throw new Error(`${where}.steps must be a positive integer (found ${typeof steps === 'number' ? steps : kindOf(steps)})`);
             }
-            entry.steps = stepsN;
+            entry.steps = steps;
         }
         variables[name] = entry;
     }
@@ -54,23 +79,18 @@ export function parseDesignBounds(raw, source) {
                 if (!r || typeof r !== 'object' || Array.isArray(r)) {
                     throw new Error(`design bounds at ${source}: forbidden[${i}].${k} is not an object`);
                 }
-                const { min, max } = r;
-                const minN = typeof min === 'number' ? min : Number(min);
-                const maxN = typeof max === 'number' ? max : Number(max);
-                if (!Number.isFinite(minN) || !Number.isFinite(maxN)) {
-                    throw new Error(`design bounds at ${source}: forbidden[${i}].${k} needs finite min/max`);
-                }
-                out[k] = { min: minN, max: maxN };
+                out[k] = readRange(r, `design bounds at ${source}: forbidden[${i}].${k}`);
             }
             return out;
         });
     }
     let sigma;
     if (obj.sigma !== undefined) {
-        sigma = typeof obj.sigma === 'number' ? obj.sigma : Number(obj.sigma);
-        if (!Number.isFinite(sigma) || sigma <= 0) {
-            throw new Error(`design bounds at ${source}: sigma must be a positive number`);
+        const s = finite(obj.sigma);
+        if (s === null || s <= 0) {
+            throw new Error(`design bounds at ${source}: sigma must be a positive number (found ${s === null ? kindOf(obj.sigma) : s})`);
         }
+        sigma = s;
     }
     return { variables, ...(forbidden ? { forbidden } : {}), ...(sigma !== undefined ? { sigma } : {}) };
 }

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

@@ -1 +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;AAQ3C,+DAA+D;AAC/D,MAAM,UAAU,iBAAiB,CAAC,GAAY,EAAE,MAAc;IAC5D,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CAAC,oBAAoB,MAAM,mBAAmB,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,GAAG,GAAG,GAIX,CAAC;IACF,IAAI,CAAC,GAAG,CAAC,SAAS,IAAI,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QACxF,MAAM,IAAI,KAAK,CAAC,oBAAoB,MAAM,uBAAuB,CAAC,CAAC;IACrE,CAAC;IACD,MAAM,SAAS,GAAiE,EAAE,CAAC;IACnF,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,SAAoC,CAAC,EAAE,CAAC;QACpF,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7D,MAAM,IAAI,KAAK,CAAC,oBAAoB,MAAM,eAAe,IAAI,mBAAmB,CAAC,CAAC;QACpF,CAAC;QACD,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,IAAyD,CAAC;QACtF,MAAM,IAAI,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACzD,MAAM,IAAI,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACzD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACrD,MAAM,IAAI,KAAK,CAAC,oBAAoB,MAAM,eAAe,IAAI,uBAAuB,CAAC,CAAC;QACxF,CAAC;QACD,IAAI,IAAI,GAAG,IAAI,EAAE,CAAC;YAChB,MAAM,IAAI,KAAK,CAAC,oBAAoB,MAAM,eAAe,IAAI,gBAAgB,CAAC,CAAC;QACjF,CAAC;QACD,MAAM,KAAK,GAAiD,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;QACrF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,MAAM,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACjE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;gBAC5C,MAAM,IAAI,KAAK,CAAC,oBAAoB,MAAM,eAAe,IAAI,yBAAyB,CAAC,CAAC;YAC1F,CAAC;YACD,KAAK,CAAC,KAAK,GAAG,MAAM,CAAC;QACvB,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IAC1B,CAAC;IACD,IAAI,SAAoC,CAAC;IACzC,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAChC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CAAC,oBAAoB,MAAM,8BAA8B,CAAC,CAAC;QAC5E,CAAC;QACD,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YAC1C,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnE,MAAM,IAAI,KAAK,CAAC,oBAAoB,MAAM,eAAe,CAAC,oBAAoB,CAAC,CAAC;YAClF,CAAC;YACD,MAAM,GAAG,GAAiD,EAAE,CAAC;YAC7D,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAiC,CAAC,EAAE,CAAC;gBACvE,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;oBACpD,MAAM,IAAI,KAAK,CAAC,oBAAoB,MAAM,eAAe,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;gBACvF,CAAC;gBACD,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAqC,CAAC;gBAC3D,MAAM,IAAI,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBACzD,MAAM,IAAI,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBACzD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBACrD,MAAM,IAAI,KAAK,CAAC,oBAAoB,MAAM,eAAe,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;gBAC3F,CAAC;gBACD,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;YACpC,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAyB,CAAC;IAC9B,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC5B,KAAK,GAAG,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YAC1C,MAAM,IAAI,KAAK,CAAC,oBAAoB,MAAM,mCAAmC,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AACvG,CAAC;AAWD,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","sourcesContent":["/**\n * Cheap experiment-design suggestions for two competing hypotheses.\n *\n * Grid-search max |H1−H2|/σ under declared bounds. Never recommend a\n * forbidden region.\n *\n * @internal\n */\n\nimport type { ExprNode } from '../../dimensional/ast-types.js';\nimport { evalExpr } from '../expr-eval.js';\n\nexport interface DesignBounds {\n  readonly variables: Readonly<Record<string, { min: number; max: number; steps?: number }>>;\n  readonly forbidden?: readonly Readonly<Record<string, { min: number; max: number }>>[];\n  readonly sigma?: number;\n}\n\n/** Coerce unknown JSON into {@link DesignBounds}. @internal */\nexport function parseDesignBounds(raw: unknown, source: string): DesignBounds {\n  if (!raw || typeof raw !== 'object' || Array.isArray(raw)) {\n    throw new Error(`design bounds at ${source} is not an object`);\n  }\n  const obj = raw as {\n    variables?: unknown;\n    forbidden?: unknown;\n    sigma?: unknown;\n  };\n  if (!obj.variables || typeof obj.variables !== 'object' || Array.isArray(obj.variables)) {\n    throw new Error(`design bounds at ${source} is missing variables`);\n  }\n  const variables: Record<string, { min: number; max: number; steps?: number }> = {};\n  for (const [name, spec] of Object.entries(obj.variables as Record<string, unknown>)) {\n    if (!spec || typeof spec !== 'object' || Array.isArray(spec)) {\n      throw new Error(`design bounds at ${source}: variables.${name} is not an object`);\n    }\n    const { min, max, steps } = spec as { min?: unknown; max?: unknown; steps?: unknown };\n    const minN = typeof min === 'number' ? min : Number(min);\n    const maxN = typeof max === 'number' ? max : Number(max);\n    if (!Number.isFinite(minN) || !Number.isFinite(maxN)) {\n      throw new Error(`design bounds at ${source}: variables.${name} needs finite min/max`);\n    }\n    if (minN > maxN) {\n      throw new Error(`design bounds at ${source}: variables.${name} has min > max`);\n    }\n    const entry: { min: number; max: number; steps?: number } = { min: minN, max: maxN };\n    if (steps !== undefined) {\n      const stepsN = typeof steps === 'number' ? steps : Number(steps);\n      if (!Number.isFinite(stepsN) || stepsN <= 0) {\n        throw new Error(`design bounds at ${source}: variables.${name}.steps must be positive`);\n      }\n      entry.steps = stepsN;\n    }\n    variables[name] = entry;\n  }\n  let forbidden: DesignBounds['forbidden'];\n  if (obj.forbidden !== undefined) {\n    if (!Array.isArray(obj.forbidden)) {\n      throw new Error(`design bounds at ${source}: forbidden must be an array`);\n    }\n    forbidden = obj.forbidden.map((region, i) => {\n      if (!region || typeof region !== 'object' || Array.isArray(region)) {\n        throw new Error(`design bounds at ${source}: forbidden[${i}] is not an object`);\n      }\n      const out: Record<string, { min: number; max: number }> = {};\n      for (const [k, r] of Object.entries(region as Record<string, unknown>)) {\n        if (!r || typeof r !== 'object' || Array.isArray(r)) {\n          throw new Error(`design bounds at ${source}: forbidden[${i}].${k} is not an object`);\n        }\n        const { min, max } = r as { min?: unknown; max?: unknown };\n        const minN = typeof min === 'number' ? min : Number(min);\n        const maxN = typeof max === 'number' ? max : Number(max);\n        if (!Number.isFinite(minN) || !Number.isFinite(maxN)) {\n          throw new Error(`design bounds at ${source}: forbidden[${i}].${k} needs finite min/max`);\n        }\n        out[k] = { min: minN, max: maxN };\n      }\n      return out;\n    });\n  }\n  let sigma: number | undefined;\n  if (obj.sigma !== undefined) {\n    sigma = typeof obj.sigma === 'number' ? obj.sigma : Number(obj.sigma);\n    if (!Number.isFinite(sigma) || sigma <= 0) {\n      throw new Error(`design bounds at ${source}: sigma must be a positive number`);\n    }\n  }\n  return { variables, ...(forbidden ? { forbidden } : {}), ...(sigma !== undefined ? { sigma } : {}) };\n}\n\nexport interface DesignSuggestion {\n  readonly point: Readonly<Record<string, number>>;\n  readonly discrimination: number;\n  readonly h1: number;\n  readonly h2: number;\n  readonly abstained?: boolean;\n  readonly reason?: string;\n}\n\nfunction inForbidden(\n  point: Record<string, number>,\n  forbidden: readonly Readonly<Record<string, { min: number; max: number }>>[] | undefined,\n): boolean {\n  if (!forbidden) return false;\n  return forbidden.some((region) =>\n    Object.entries(region).every(([k, r]) => {\n      const v = point[k];\n      return v !== undefined && v >= r.min && v <= r.max;\n    }),\n  );\n}\n\n/** Suggest the grid point that maximises |H1−H2|/σ, skipping forbidden regions. @internal */\nexport function suggestDiscriminatingPoint(\n  h1: ExprNode,\n  h2: ExprNode,\n  bounds: DesignBounds,\n): DesignSuggestion {\n  const names = Object.keys(bounds.variables);\n  if (names.length === 0) {\n    return {\n      point: {},\n      discrimination: 0,\n      h1: NaN,\n      h2: NaN,\n      abstained: true,\n      reason: 'no free variables in bounds',\n    };\n  }\n\n  const sigma = bounds.sigma ?? 1;\n  let best: DesignSuggestion | null = null;\n\n  const grids = names.map((n) => {\n    const b = bounds.variables[n]!;\n    const steps = Math.max(2, b.steps ?? 8);\n    const out: number[] = [];\n    for (let i = 0; i < steps; i++) {\n      const t = i / (steps - 1);\n      out.push(b.min + t * (b.max - b.min));\n    }\n    return out;\n  });\n\n  const idx = new Array(names.length).fill(0);\n  const rec = (d: number): void => {\n    if (d === names.length) {\n      const point: Record<string, number> = {};\n      for (let i = 0; i < names.length; i++) point[names[i]!] = grids[i]![idx[i]!]!;\n      if (inForbidden(point, bounds.forbidden)) return;\n      let y1: number;\n      let y2: number;\n      try {\n        y1 = evalExpr(h1, point);\n        y2 = evalExpr(h2, point);\n      } catch {\n        return;\n      }\n      if (!Number.isFinite(y1) || !Number.isFinite(y2)) return;\n      const disc = Math.abs(y1 - y2) / sigma;\n      if (!best || disc > best.discrimination) {\n        best = { point, discrimination: disc, h1: y1, h2: y2 };\n      }\n      return;\n    }\n    for (let i = 0; i < grids[d]!.length; i++) {\n      idx[d] = i;\n      rec(d + 1);\n    }\n  };\n  rec(0);\n\n  if (!best) {\n    return {\n      point: {},\n      discrimination: 0,\n      h1: NaN,\n      h2: NaN,\n      abstained: true,\n      reason: 'every grid point was forbidden or non-finite',\n    };\n  }\n  return best;\n}\n"]}
+{"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;AAS3C,kEAAkE;AAClE,SAAS,MAAM,CAAC,CAAU;IACxB,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,QAAQ,CAAC;IACtC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC;IACzC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC9E,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,eAAe,CAAC;IACnD,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AACxD,CAAC;AAED,4FAA4F;AAC5F,MAAM,MAAM,GAAG,CAAC,CAAU,EAAiB,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAEvG,6EAA6E;AAC7E,SAAS,SAAS,CAAC,IAA6B,EAAE,KAAa;IAC7D,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,wCAAwC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/G,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACtB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAY,EAAE,MAAc;IAC5D,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CAAC,oBAAoB,MAAM,mBAAmB,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,GAAG,GAAG,GAIX,CAAC;IACF,IAAI,CAAC,GAAG,CAAC,SAAS,IAAI,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QACxF,MAAM,IAAI,KAAK,CAAC,oBAAoB,MAAM,uBAAuB,CAAC,CAAC;IACrE,CAAC;IACD,MAAM,SAAS,GAAiE,EAAE,CAAC;IACnF,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,SAAoC,CAAC,EAAE,CAAC;QACpF,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7D,MAAM,IAAI,KAAK,CAAC,oBAAoB,MAAM,eAAe,IAAI,mBAAmB,CAAC,CAAC;QACpF,CAAC;QACD,MAAM,KAAK,GAAG,oBAAoB,MAAM,eAAe,IAAI,EAAE,CAAC;QAC9D,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,SAAS,CAAC,IAA+B,EAAE,KAAK,CAAC,CAAC;QACvE,IAAI,GAAG,GAAG,GAAG,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,gBAAgB,CAAC,CAAC;QAC5C,CAAC;QACD,MAAM,KAAK,GAAiD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACzE,MAAM,EAAE,KAAK,EAAE,GAAG,IAA2B,CAAC;QAC9C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBACvE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,4CAA4C,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC5H,CAAC;YACD,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC;QACtB,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IAC1B,CAAC;IACD,IAAI,SAAoC,CAAC;IACzC,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAChC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CAAC,oBAAoB,MAAM,8BAA8B,CAAC,CAAC;QAC5E,CAAC;QACD,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YAC1C,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnE,MAAM,IAAI,KAAK,CAAC,oBAAoB,MAAM,eAAe,CAAC,oBAAoB,CAAC,CAAC;YAClF,CAAC;YACD,MAAM,GAAG,GAAiD,EAAE,CAAC;YAC7D,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAiC,CAAC,EAAE,CAAC;gBACvE,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;oBACpD,MAAM,IAAI,KAAK,CAAC,oBAAoB,MAAM,eAAe,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;gBACvF,CAAC;gBACD,GAAG,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAA4B,EAAE,oBAAoB,MAAM,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACvG,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAyB,CAAC;IAC9B,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,oBAAoB,MAAM,4CAA4C,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC/H,CAAC;QACD,KAAK,GAAG,CAAC,CAAC;IACZ,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AACvG,CAAC;AAYD,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","sourcesContent":["/**\n * Cheap experiment-design suggestions for two competing hypotheses.\n *\n * Grid-search max |H1−H2|/σ under declared bounds. Never recommend a\n * forbidden region.\n *\n * @internal\n */\n\nimport type { ExprNode } from '../../dimensional/ast-types.js';\nimport { evalExpr } from '../expr-eval.js';\n\n/** The variable ranges, forbidden regions and sigma that bound an experiment design. */\nexport interface DesignBounds {\n  readonly variables: Readonly<Record<string, { min: number; max: number; steps?: number }>>;\n  readonly forbidden?: readonly Readonly<Record<string, { min: number; max: number }>>[];\n  readonly sigma?: number;\n}\n\n/** What a JSON value is, in the words a file author would use. */\nfunction kindOf(v: unknown): string {\n  if (v === null) return 'null';\n  if (Array.isArray(v)) return 'a list';\n  if (typeof v === 'string') return 'text';\n  if (typeof v === 'number') return Number.isFinite(v) ? 'a number' : String(v);\n  if (typeof v === 'boolean') return 'true or false';\n  return typeof v === 'object' ? 'an object' : typeof v;\n}\n\n/** A finite number, or null: nothing is coerced (`null`, `\"\"` and `\"0\"` once read as 0). */\nconst finite = (v: unknown): number | null => (typeof v === 'number' && Number.isFinite(v) ? v : null);\n\n/** `{min, max}` as two finite numbers, located by `where` in any refusal. */\nfunction readRange(spec: Record<string, unknown>, where: string): { min: number; max: number } {\n  const min = finite(spec.min);\n  const max = finite(spec.max);\n  if (min === null || max === null) {\n    throw new Error(`${where} needs finite min/max numbers (found ${kindOf(spec.min)} and ${kindOf(spec.max)})`);\n  }\n  return { min, max };\n}\n\n/**\n * Coerce unknown JSON into {@link DesignBounds}. Every bound is a finite\n * number and `steps` a positive integer; a value of another kind is refused,\n * naming the field and what was found. @internal\n */\nexport function parseDesignBounds(raw: unknown, source: string): DesignBounds {\n  if (!raw || typeof raw !== 'object' || Array.isArray(raw)) {\n    throw new Error(`design bounds at ${source} is not an object`);\n  }\n  const obj = raw as {\n    variables?: unknown;\n    forbidden?: unknown;\n    sigma?: unknown;\n  };\n  if (!obj.variables || typeof obj.variables !== 'object' || Array.isArray(obj.variables)) {\n    throw new Error(`design bounds at ${source} is missing variables`);\n  }\n  const variables: Record<string, { min: number; max: number; steps?: number }> = {};\n  for (const [name, spec] of Object.entries(obj.variables as Record<string, unknown>)) {\n    if (!spec || typeof spec !== 'object' || Array.isArray(spec)) {\n      throw new Error(`design bounds at ${source}: variables.${name} is not an object`);\n    }\n    const where = `design bounds at ${source}: variables.${name}`;\n    const { min, max } = readRange(spec as Record<string, unknown>, where);\n    if (min > max) {\n      throw new Error(`${where} has min > max`);\n    }\n    const entry: { min: number; max: number; steps?: number } = { min, max };\n    const { steps } = spec as { steps?: unknown };\n    if (steps !== undefined) {\n      if (typeof steps !== 'number' || !Number.isInteger(steps) || steps < 1) {\n        throw new Error(`${where}.steps must be a positive integer (found ${typeof steps === 'number' ? steps : kindOf(steps)})`);\n      }\n      entry.steps = steps;\n    }\n    variables[name] = entry;\n  }\n  let forbidden: DesignBounds['forbidden'];\n  if (obj.forbidden !== undefined) {\n    if (!Array.isArray(obj.forbidden)) {\n      throw new Error(`design bounds at ${source}: forbidden must be an array`);\n    }\n    forbidden = obj.forbidden.map((region, i) => {\n      if (!region || typeof region !== 'object' || Array.isArray(region)) {\n        throw new Error(`design bounds at ${source}: forbidden[${i}] is not an object`);\n      }\n      const out: Record<string, { min: number; max: number }> = {};\n      for (const [k, r] of Object.entries(region as Record<string, unknown>)) {\n        if (!r || typeof r !== 'object' || Array.isArray(r)) {\n          throw new Error(`design bounds at ${source}: forbidden[${i}].${k} is not an object`);\n        }\n        out[k] = readRange(r as Record<string, unknown>, `design bounds at ${source}: forbidden[${i}].${k}`);\n      }\n      return out;\n    });\n  }\n  let sigma: number | undefined;\n  if (obj.sigma !== undefined) {\n    const s = finite(obj.sigma);\n    if (s === null || s <= 0) {\n      throw new Error(`design bounds at ${source}: sigma must be a positive number (found ${s === null ? kindOf(obj.sigma) : s})`);\n    }\n    sigma = s;\n  }\n  return { variables, ...(forbidden ? { forbidden } : {}), ...(sigma !== undefined ? { sigma } : {}) };\n}\n\n/** One suggested experiment point, and how well it separates two hypotheses. */\nexport interface DesignSuggestion {\n  readonly point: Readonly<Record<string, number>>;\n  readonly discrimination: number;\n  readonly h1: number;\n  readonly h2: number;\n  readonly abstained?: boolean;\n  readonly reason?: string;\n}\n\nfunction inForbidden(\n  point: Record<string, number>,\n  forbidden: readonly Readonly<Record<string, { min: number; max: number }>>[] | undefined,\n): boolean {\n  if (!forbidden) return false;\n  return forbidden.some((region) =>\n    Object.entries(region).every(([k, r]) => {\n      const v = point[k];\n      return v !== undefined && v >= r.min && v <= r.max;\n    }),\n  );\n}\n\n/** Suggest the grid point that maximises |H1−H2|/σ, skipping forbidden regions. @internal */\nexport function suggestDiscriminatingPoint(\n  h1: ExprNode,\n  h2: ExprNode,\n  bounds: DesignBounds,\n): DesignSuggestion {\n  const names = Object.keys(bounds.variables);\n  if (names.length === 0) {\n    return {\n      point: {},\n      discrimination: 0,\n      h1: NaN,\n      h2: NaN,\n      abstained: true,\n      reason: 'no free variables in bounds',\n    };\n  }\n\n  const sigma = bounds.sigma ?? 1;\n  let best: DesignSuggestion | null = null;\n\n  const grids = names.map((n) => {\n    const b = bounds.variables[n]!;\n    const steps = Math.max(2, b.steps ?? 8);\n    const out: number[] = [];\n    for (let i = 0; i < steps; i++) {\n      const t = i / (steps - 1);\n      out.push(b.min + t * (b.max - b.min));\n    }\n    return out;\n  });\n\n  const idx = new Array(names.length).fill(0);\n  const rec = (d: number): void => {\n    if (d === names.length) {\n      const point: Record<string, number> = {};\n      for (let i = 0; i < names.length; i++) point[names[i]!] = grids[i]![idx[i]!]!;\n      if (inForbidden(point, bounds.forbidden)) return;\n      let y1: number;\n      let y2: number;\n      try {\n        y1 = evalExpr(h1, point);\n        y2 = evalExpr(h2, point);\n      } catch {\n        return;\n      }\n      if (!Number.isFinite(y1) || !Number.isFinite(y2)) return;\n      const disc = Math.abs(y1 - y2) / sigma;\n      if (!best || disc > best.discrimination) {\n        best = { point, discrimination: disc, h1: y1, h2: y2 };\n      }\n      return;\n    }\n    for (let i = 0; i < grids[d]!.length; i++) {\n      idx[d] = i;\n      rec(d + 1);\n    }\n  };\n  rec(0);\n\n  if (!best) {\n    return {\n      point: {},\n      discrimination: 0,\n      h1: NaN,\n      h2: NaN,\n      abstained: true,\n      reason: 'every grid point was forbidden or non-finite',\n    };\n  }\n  return best;\n}\n"]}

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

@@ -9,6 +9,7 @@
  */
 import type { ExprNode } from '../../dimensional/ast-types.js';
 import type { DeclaredLimit, FalsificationBattery, FalsificationRecord, ProbeDataset } from './types.js';
+/** The candidate, data and declared limits that one falsification battery tests. */
 export interface FalsifyInput {
     readonly expr: ExprNode;
     readonly dataset?: ProbeDataset;
@@ -17,6 +18,7 @@ export interface FalsifyInput {
     readonly limits?: readonly DeclaredLimit[];
     readonly skipDimensional?: boolean;
 }
+/** The records, survival flag and counterexamples of one falsification battery. */
 export interface FalsifyResult {
     readonly records: readonly FalsificationRecord[];
     readonly survived: boolean;

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

@@ -1 +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,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;AA2FD;;;;;;;;;;;GAWG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,YAAY,GAAG,aAAa,CAwBnE;AAED,oFAAoF;AACpF,eAAO,MAAM,iBAAiB,EAAE,SAAS,oBAAoB,EAI5D,CAAC"}
+{"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,oFAAoF;AACpF,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,eAAe,CAAC,EAAE,OAAO,CAAC;CACpC;AAED,mFAAmF;AACnF,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;AA6FD;;;;;;;;;;;GAWG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,YAAY,GAAG,aAAa,CAwBnE;AAED,oFAAoF;AACpF,eAAO,MAAM,iBAAiB,EAAE,SAAS,oBAAoB,EAI5D,CAAC"}

package/dist/composition/probe/falsify.js

@@ -77,6 +77,8 @@ function limitsBattery(checks) {
             detail: fatal.map((c) => c.detail).join('; '),
         };
     }
+    // A non-fatal failure (domain not claimed) and an undecided limit (too few evaluable rows)
+    // both leave the battery inconclusive; neither is a pass.
     const failedNonFatal = checks.filter((c) => !c.passed && !c.fatal);
     if (failedNonFatal.length > 0) {
         return {

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

@@ -1 +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;AAuBzE,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;;;;;;;;;;;GAWG;AACH,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,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,oFAAoF;AACpF,MAAM,CAAC,MAAM,iBAAiB,GAAoC;IAChE,aAAa;IACb,YAAY;IACZ,QAAQ;CACT,CAAC","sourcesContent":["/**\n * Falsification batteries for probe candidates.\n *\n * Persist counterexamples. Failed limits are fatal only when the candidate\n * claims that domain (see limits.ts). Catalog retrodiction is Product A and\n * is not a battery here.\n *\n * @internal\n */\n\nimport type { ExprNode } from '../../dimensional/ast-types.js';\nimport { validate } from '../../dimensional/validator.js';\nimport { evalExpr } from '../expr-eval.js';\nimport { checkDeclaredLimits, type LimitCheckResult } from './limits.js';\nimport type {\n  DeclaredLimit,\n  FalsificationBattery,\n  FalsificationRecord,\n  ProbeDataset,\n} from './types.js';\n\nexport interface FalsifyInput {\n  readonly expr: ExprNode;\n  readonly dataset?: ProbeDataset;\n  readonly prefactor?: number;\n  readonly claimedRegimes?: Readonly<Record<string, string>>;\n  readonly limits?: readonly DeclaredLimit[];\n  readonly skipDimensional?: boolean;\n}\n\nexport interface FalsifyResult {\n  readonly records: readonly FalsificationRecord[];\n  readonly survived: boolean;\n  readonly counterexamples: readonly Readonly<Record<string, number>>[];\n}\n\nfunction dimBattery(expr: ExprNode): FalsificationRecord {\n  const v = validate(expr);\n  if (!v.ok || v.inferredDimension === null) {\n    return {\n      battery: 'dimensional',\n      outcome: 'fail',\n      detail: 'expression is dimensionally inconsistent',\n    };\n  }\n  return {\n    battery: 'dimensional',\n    outcome: 'pass',\n    detail: 'expression is dimensionally consistent',\n  };\n}\n\nfunction finitenessBattery(\n  expr: ExprNode,\n  dataset: ProbeDataset | undefined,\n  prefactor: number,\n): { record: FalsificationRecord; counterexamples: Record<string, number>[] } {\n  if (!dataset || dataset.rows.length === 0) {\n    return {\n      record: {\n        battery: 'finiteness',\n        outcome: 'pass',\n        detail: 'no rows to evaluate',\n      },\n      counterexamples: [],\n    };\n  }\n  const counterexamples: Record<string, number>[] = [];\n  for (const row of dataset.rows) {\n    let y: number;\n    try {\n      y = prefactor * evalExpr(expr, row);\n    } catch {\n      counterexamples.push({ ...row });\n      continue;\n    }\n    if (!Number.isFinite(y)) counterexamples.push({ ...row });\n  }\n  if (counterexamples.length > 0) {\n    return {\n      record: {\n        battery: 'finiteness',\n        outcome: 'fail',\n        detail: `${counterexamples.length} observation(s) produced non-finite predictions`,\n      },\n      counterexamples,\n    };\n  }\n  return {\n    record: {\n      battery: 'finiteness',\n      outcome: 'pass',\n      detail: 'all predictions finite',\n    },\n    counterexamples: [],\n  };\n}\n\nfunction limitsBattery(checks: readonly LimitCheckResult[]): FalsificationRecord {\n  const fatal = checks.filter((c) => c.fatal);\n  if (fatal.length > 0) {\n    return {\n      battery: 'limits',\n      outcome: 'fail',\n      detail: fatal.map((c) => c.detail).join('; '),\n    };\n  }\n  const failedNonFatal = checks.filter((c) => !c.passed && !c.fatal);\n  if (failedNonFatal.length > 0) {\n    return {\n      battery: 'limits',\n      outcome: 'inconclusive',\n      detail: failedNonFatal.map((c) => c.detail).join('; '),\n    };\n  }\n  return {\n    battery: 'limits',\n    outcome: 'pass',\n    detail:\n      checks.length === 0\n        ? 'no declared limits'\n        : 'declared limits held or were out of claimed domain',\n  };\n}\n\n/**\n * Run the Product B falsification batteries: dimensional, finiteness, limits.\n *\n * Every listed battery can fail. Two batteries once listed here, `retrodiction`\n * and `observational-bounds`, returned `inconclusive` by construction (catalog\n * retrodiction is Product A, and no bound was ever evaluated), so \"survived\n * five batteries\" overstated what was checked; they are not listed until they\n * are real (9.0.0 audit §4 Low). A problem's `observationalBoundIds` stay\n * recorded on the problem and are not a battery.\n *\n * @internal\n */\nexport function runFalsification(input: FalsifyInput): FalsifyResult {\n  const prefactor = input.prefactor ?? 1;\n  const records: FalsificationRecord[] = [];\n  const counterexamples: Record<string, number>[] = [];\n\n  if (!input.skipDimensional) {\n    records.push(dimBattery(input.expr));\n  }\n\n  const fin = finitenessBattery(input.expr, input.dataset, prefactor);\n  records.push(fin.record);\n  counterexamples.push(...fin.counterexamples);\n\n  const limitChecks = checkDeclaredLimits(\n    input.expr,\n    input.dataset,\n    prefactor,\n    input.limits ?? [],\n    input.claimedRegimes ?? {},\n  );\n  records.push(limitsBattery(limitChecks));\n\n  const survived = records.every((r) => r.outcome !== 'fail');\n  return { records, survived, counterexamples };\n}\n\n/** The batteries `runFalsification` runs, in order; each one can fail. @internal */\nexport const DEFAULT_BATTERIES: readonly FalsificationBattery[] = [\n  'dimensional',\n  'finiteness',\n  'limits',\n];\n"]}
+{"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;AAyBzE,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,2FAA2F;IAC3F,0DAA0D;IAC1D,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;;;;;;;;;;;GAWG;AACH,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,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,oFAAoF;AACpF,MAAM,CAAC,MAAM,iBAAiB,GAAoC;IAChE,aAAa;IACb,YAAY;IACZ,QAAQ;CACT,CAAC","sourcesContent":["/**\n * Falsification batteries for probe candidates.\n *\n * Persist counterexamples. Failed limits are fatal only when the candidate\n * claims that domain (see limits.ts). Catalog retrodiction is Product A and\n * is not a battery here.\n *\n * @internal\n */\n\nimport type { ExprNode } from '../../dimensional/ast-types.js';\nimport { validate } from '../../dimensional/validator.js';\nimport { evalExpr } from '../expr-eval.js';\nimport { checkDeclaredLimits, type LimitCheckResult } from './limits.js';\nimport type {\n  DeclaredLimit,\n  FalsificationBattery,\n  FalsificationRecord,\n  ProbeDataset,\n} from './types.js';\n\n/** The candidate, data and declared limits that one falsification battery tests. */\nexport interface FalsifyInput {\n  readonly expr: ExprNode;\n  readonly dataset?: ProbeDataset;\n  readonly prefactor?: number;\n  readonly claimedRegimes?: Readonly<Record<string, string>>;\n  readonly limits?: readonly DeclaredLimit[];\n  readonly skipDimensional?: boolean;\n}\n\n/** The records, survival flag and counterexamples of one falsification battery. */\nexport interface FalsifyResult {\n  readonly records: readonly FalsificationRecord[];\n  readonly survived: boolean;\n  readonly counterexamples: readonly Readonly<Record<string, number>>[];\n}\n\nfunction dimBattery(expr: ExprNode): FalsificationRecord {\n  const v = validate(expr);\n  if (!v.ok || v.inferredDimension === null) {\n    return {\n      battery: 'dimensional',\n      outcome: 'fail',\n      detail: 'expression is dimensionally inconsistent',\n    };\n  }\n  return {\n    battery: 'dimensional',\n    outcome: 'pass',\n    detail: 'expression is dimensionally consistent',\n  };\n}\n\nfunction finitenessBattery(\n  expr: ExprNode,\n  dataset: ProbeDataset | undefined,\n  prefactor: number,\n): { record: FalsificationRecord; counterexamples: Record<string, number>[] } {\n  if (!dataset || dataset.rows.length === 0) {\n    return {\n      record: {\n        battery: 'finiteness',\n        outcome: 'pass',\n        detail: 'no rows to evaluate',\n      },\n      counterexamples: [],\n    };\n  }\n  const counterexamples: Record<string, number>[] = [];\n  for (const row of dataset.rows) {\n    let y: number;\n    try {\n      y = prefactor * evalExpr(expr, row);\n    } catch {\n      counterexamples.push({ ...row });\n      continue;\n    }\n    if (!Number.isFinite(y)) counterexamples.push({ ...row });\n  }\n  if (counterexamples.length > 0) {\n    return {\n      record: {\n        battery: 'finiteness',\n        outcome: 'fail',\n        detail: `${counterexamples.length} observation(s) produced non-finite predictions`,\n      },\n      counterexamples,\n    };\n  }\n  return {\n    record: {\n      battery: 'finiteness',\n      outcome: 'pass',\n      detail: 'all predictions finite',\n    },\n    counterexamples: [],\n  };\n}\n\nfunction limitsBattery(checks: readonly LimitCheckResult[]): FalsificationRecord {\n  const fatal = checks.filter((c) => c.fatal);\n  if (fatal.length > 0) {\n    return {\n      battery: 'limits',\n      outcome: 'fail',\n      detail: fatal.map((c) => c.detail).join('; '),\n    };\n  }\n  // A non-fatal failure (domain not claimed) and an undecided limit (too few evaluable rows)\n  // both leave the battery inconclusive; neither is a pass.\n  const failedNonFatal = checks.filter((c) => !c.passed && !c.fatal);\n  if (failedNonFatal.length > 0) {\n    return {\n      battery: 'limits',\n      outcome: 'inconclusive',\n      detail: failedNonFatal.map((c) => c.detail).join('; '),\n    };\n  }\n  return {\n    battery: 'limits',\n    outcome: 'pass',\n    detail:\n      checks.length === 0\n        ? 'no declared limits'\n        : 'declared limits held or were out of claimed domain',\n  };\n}\n\n/**\n * Run the Product B falsification batteries: dimensional, finiteness, limits.\n *\n * Every listed battery can fail. Two batteries once listed here, `retrodiction`\n * and `observational-bounds`, returned `inconclusive` by construction (catalog\n * retrodiction is Product A, and no bound was ever evaluated), so \"survived\n * five batteries\" overstated what was checked; they are not listed until they\n * are real (9.0.0 audit §4 Low). A problem's `observationalBoundIds` stay\n * recorded on the problem and are not a battery.\n *\n * @internal\n */\nexport function runFalsification(input: FalsifyInput): FalsifyResult {\n  const prefactor = input.prefactor ?? 1;\n  const records: FalsificationRecord[] = [];\n  const counterexamples: Record<string, number>[] = [];\n\n  if (!input.skipDimensional) {\n    records.push(dimBattery(input.expr));\n  }\n\n  const fin = finitenessBattery(input.expr, input.dataset, prefactor);\n  records.push(fin.record);\n  counterexamples.push(...fin.counterexamples);\n\n  const limitChecks = checkDeclaredLimits(\n    input.expr,\n    input.dataset,\n    prefactor,\n    input.limits ?? [],\n    input.claimedRegimes ?? {},\n  );\n  records.push(limitsBattery(limitChecks));\n\n  const survived = records.every((r) => r.outcome !== 'fail');\n  return { records, survived, counterexamples };\n}\n\n/** The batteries `runFalsification` runs, in order; each one can fail. @internal */\nexport const DEFAULT_BATTERIES: readonly FalsificationBattery[] = [\n  'dimensional',\n  'finiteness',\n  'limits',\n];\n"]}

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

@@ -5,8 +5,15 @@
  */
 import type { ExprNode } from '../../dimensional/ast-types.js';
 import { type ProbeDataset } from './types.js';
+/** The prefactor fit of one candidate, with its exploratory and holdout errors. */
 export interface FitResult {
     readonly prefactor: number;
+    /**
+     * Standard error of the prefactor from the residual scatter of the exploratory rows
+     * (MathTS `ols`, one column, no intercept); null below two finite rows or when the
+     * form is zero on every row.
+     */
+    readonly prefactorStderr: number | null;
     readonly exploratoryRmse: number;
     readonly nExploratory: number;
     readonly holdoutRmse: number | null;

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

@@ -1 +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,EAAuB,KAAK,YAAY,EAAE,MAAM,YAAY,CAAC;AAIpE,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;AA2BD;;;;;GAKG;AACH,wBAAgB,YAAY,CAC1B,IAAI,EAAE,QAAQ,EACd,WAAW,EAAE,YAAY,EACzB,OAAO,EAAE,YAAY,GAAG,SAAS,EACjC,UAAU,SAAsB,GAC/B,SAAS,CA8DX"}
+{"version":3,"file":"fit.d.ts","sourceRoot":"","sources":["../../../src/composition/probe/fit.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAE/D,OAAO,EAAuB,KAAK,YAAY,EAAE,MAAM,YAAY,CAAC;AAIpE,mFAAmF;AACnF,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;OAIG;IACH,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IACxC,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;AAuDD;;;;;GAKG;AACH,wBAAgB,YAAY,CAC1B,IAAI,EAAE,QAAQ,EACd,WAAW,EAAE,YAAY,EACzB,OAAO,EAAE,YAAY,GAAG,SAAS,EACjC,UAAU,SAAsB,GAC/B,SAAS,CAuDX"}