universal-physics-tensor 0.44.1 → 0.44.2

package/dist/composition/probe/fit.js

@@ -0,0 +1,92 @@
+/**
+ * Prefactor fit + holdout evaluation. Generation never sees holdout rows.
+ *
+ * @module composition/probe/fit
+ */
+import { evalExpr } from '../expr-eval.js';
+import { scalarDiscrepancy } from './residual.js';
+import { canonicalJson } from './serialize.js';
+function predictions(expr, rows, prefactor) {
+    return rows.rows.map((row) => {
+        const y = evalExpr(expr, row);
+        return prefactor * y;
+    });
+}
+function observed(rows) {
+    return rows.rows.map((row) => {
+        const y = row[rows.observable];
+        if (!Number.isFinite(y)) {
+            throw new RangeError(`fit: row missing finite observable '${rows.observable}'`);
+        }
+        return y;
+    });
+}
+/**
+ * Least-squares prefactor c in y ≈ c · f(x) on exploratory data, then score
+ * locked holdout. Holdout must not have been in the generation context.
+ *
+ * @internal
+ */
+export function fitPrefactor(expr, exploratory, holdout, holdoutTol = 0.15) {
+    if (exploratory.role !== 'exploratory-fit') {
+        throw new RangeError(`fit: exploratory role must be exploratory-fit (got '${exploratory.role}')`);
+    }
+    if (holdout) {
+        if (holdout.role !== 'validation-holdout' && holdout.role !== 'external-replication') {
+            throw new RangeError(`fit: holdout role must be validation-holdout or external-replication`);
+        }
+        const holdKeys = new Set(holdout.rows.map((r) => canonicalJson(r)));
+        for (const row of exploratory.rows) {
+            if (holdKeys.has(canonicalJson(row))) {
+                throw new RangeError('fit: holdout row leaked into exploratory set');
+            }
+        }
+    }
+    const y = observed(exploratory);
+    const f = predictions(expr, exploratory, 1);
+    let num = 0;
+    let den = 0;
+    for (let i = 0; i < y.length; i++) {
+        if (!Number.isFinite(f[i]))
+            continue;
+        num += f[i] * y[i];
+        den += f[i] * f[i];
+    }
+    const prefactor = den > 0 ? num / den : 1;
+    const pred = predictions(expr, exploratory, prefactor);
+    let acc = 0;
+    for (let i = 0; i < y.length; i++) {
+        const r = scalarDiscrepancy(y[i], pred[i], 'additive');
+        acc += r * r;
+    }
+    const exploratoryRmse = Math.sqrt(acc / y.length);
+    if (!holdout || holdout.rows.length === 0) {
+        return {
+            prefactor,
+            exploratoryRmse,
+            nExploratory: y.length,
+            holdoutRmse: null,
+            nHoldout: 0,
+            holdoutSupported: false,
+        };
+    }
+    const yh = observed(holdout);
+    const ph = predictions(expr, holdout, prefactor);
+    let hacc = 0;
+    for (let i = 0; i < yh.length; i++) {
+        const r = scalarDiscrepancy(yh[i], ph[i], 'additive');
+        hacc += r * r;
+    }
+    const holdoutRmse = Math.sqrt(hacc / yh.length);
+    const scale = Math.max(...yh.map(Math.abs), ...ph.map(Math.abs), 1e-12);
+    const holdoutSupported = holdoutRmse <= holdoutTol * scale;
+    return {
+        prefactor,
+        exploratoryRmse,
+        nExploratory: y.length,
+        holdoutRmse,
+        nHoldout: yh.length,
+        holdoutSupported,
+    };
+}
+//# sourceMappingURL=fit.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"fit.js","sourceRoot":"","sources":["../../../src/composition/probe/fit.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAE3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAW/C,SAAS,WAAW,CAAC,IAAc,EAAE,IAAkB,EAAE,SAAiB;IACxE,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC3B,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC9B,OAAO,SAAS,GAAG,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,QAAQ,CAAC,IAAkB;IAClC,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC3B,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,UAAU,CAAC,uCAAuC,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC;QAClF,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAC1B,IAAc,EACd,WAAyB,EACzB,OAAiC,EACjC,UAAU,GAAG,IAAI;IAEjB,IAAI,WAAW,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QAC3C,MAAM,IAAI,UAAU,CAAC,uDAAuD,WAAW,CAAC,IAAI,IAAI,CAAC,CAAC;IACpG,CAAC;IACD,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,OAAO,CAAC,IAAI,KAAK,oBAAoB,IAAI,OAAO,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;YACrF,MAAM,IAAI,UAAU,CAAC,sEAAsE,CAAC,CAAC;QAC/F,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpE,KAAK,MAAM,GAAG,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC;YACnC,IAAI,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBACrC,MAAM,IAAI,UAAU,CAAC,8CAA8C,CAAC,CAAC;YACvE,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC;IAChC,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;IAC5C,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAAE,SAAS;QACrC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACnB,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;IACD,MAAM,SAAS,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;IACvD,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;QACvD,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACf,CAAC;IACD,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IAEhD,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,OAAO;YACL,SAAS;YACT,eAAe;YACf,YAAY,EAAE,CAAC,CAAC,MAAM;YACtB,WAAW,EAAE,IAAI;YACjB,QAAQ,EAAE,CAAC;YACX,gBAAgB,EAAE,KAAK;SACxB,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC7B,MAAM,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;IACjD,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,MAAM,CAAC,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;QACtD,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC;IAChD,MAAM,KAAK,GACT,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5D,MAAM,gBAAgB,GAAG,WAAW,IAAI,UAAU,GAAG,KAAK,CAAC;IAC3D,OAAO;QACL,SAAS;QACT,eAAe;QACf,YAAY,EAAE,CAAC,CAAC,MAAM;QACtB,WAAW;QACX,QAAQ,EAAE,EAAE,CAAC,MAAM;QACnB,gBAAgB;KACjB,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,30 @@
+/**
+ * Frontier scanners — wrap Product A surfaces; residual gaps are Product B.
+ *
+ * @module composition/probe/frontier
+ */
+import type { BridgeEdge } from '../edge.js';
+import type { FrontierGap, ProbeDataset, SearchProblem } from './types.js';
+/**
+ * Project Product A link candidates to `relation-link` gaps.
+ * Registered quantity identifications are not gaps.
+ *
+ * @internal
+ */
+export declare function wrapRelationLinkGaps(edges: readonly BridgeEdge[]): FrontierGap[];
+/** Isolated-bridge connectors as relation-link gaps. @internal */
+export declare function wrapConnectorGaps(edges: readonly BridgeEdge[]): FrontierGap[];
+/** Empty (scale×force) cells as regime-transition gaps. @internal */
+export declare function wrapRegimeGaps(edges: readonly BridgeEdge[]): FrontierGap[];
+/** Combined read-only frontier (Product A wrappers). @internal */
+export declare function scanFrontier(edges: readonly BridgeEdge[]): FrontierGap[];
+/** Look up a wrapped gap by id. @internal */
+export declare function findFrontierGap(edges: readonly BridgeEdge[], id: string): FrontierGap | undefined;
+/**
+ * Build a Product B search problem for an unexplained-observation /
+ * prediction-residual gap. Relation-link gaps must not be passed here.
+ *
+ * @internal
+ */
+export declare function problemFromResidualGap(gap: FrontierGap, target: SearchProblem['target'], governing: SearchProblem['governing'], exploratory?: ProbeDataset, holdout?: ProbeDataset): SearchProblem;
+//# sourceMappingURL=frontier.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"frontier.d.ts","sourceRoot":"","sources":["../../../src/composition/probe/frontier.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAMH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAU3E;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG,WAAW,EAAE,CAkChF;AAED,kEAAkE;AAClE,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG,WAAW,EAAE,CA2B7E;AAED,qEAAqE;AACrE,wBAAgB,cAAc,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG,WAAW,EAAE,CAwB1E;AAMD,kEAAkE;AAClE,wBAAgB,YAAY,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG,WAAW,EAAE,CAExE;AAED,6CAA6C;AAC7C,wBAAgB,eAAe,CAC7B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,EAAE,EAAE,MAAM,GACT,WAAW,GAAG,SAAS,CAEzB;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CACpC,GAAG,EAAE,WAAW,EAChB,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC,EAC/B,SAAS,EAAE,aAAa,CAAC,WAAW,CAAC,EACrC,WAAW,CAAC,EAAE,YAAY,EAC1B,OAAO,CAAC,EAAE,YAAY,GACrB,aAAa,CA0Cf"}

package/dist/composition/probe/frontier.js

@@ -0,0 +1,169 @@
+/**
+ * Frontier scanners — wrap Product A surfaces; residual gaps are Product B.
+ *
+ * @module composition/probe/frontier
+ */
+import { proposeLinkCandidates, proposeOrphanConnectors } from '../bridge-analysis.js';
+import { predictMissingBridges } from '../bridge-prediction.js';
+import { QUANTITY_IDENTIFICATIONS } from '../compose.js';
+import { candidateId } from '../adjudication.js';
+const ALIAS_PAIRS = new Set(QUANTITY_IDENTIFICATIONS.map((id) => candidateId(id.from, id.to)));
+function linkGapId(a, b) {
+    return `fg-link-${candidateId(a, b)}`;
+}
+/**
+ * Project Product A link candidates to `relation-link` gaps.
+ * Registered quantity identifications are not gaps.
+ *
+ * @internal
+ */
+export function wrapRelationLinkGaps(edges) {
+    const out = [];
+    for (const c of proposeLinkCandidates(edges)) {
+        if (ALIAS_PAIRS.has(candidateId(c.a, c.b)))
+            continue;
+        out.push({
+            id: linkGapId(c.a, c.b),
+            kind: 'relation-link',
+            participants: [
+                { kind: 'quantity-identification', id: c.a },
+                { kind: 'quantity-identification', id: c.b },
+            ],
+            observations: [],
+            regimes: [],
+            assumptions: [],
+            constraints: [`dim:${c.dim}`],
+            evidence: {
+                summary: `${c.a} ≟ ${c.b} share ${c.dim}`,
+                sourceIds: ['upt candidates'],
+            },
+            identifiability: {
+                kind: 'graph-structural',
+                parametric: {
+                    status: 'unknown',
+                    reasons: ['identification gaps are Product A — use upt discover'],
+                },
+            },
+            searchability: {
+                searchable: false,
+                reasons: ['relation-link gaps are reviewed by upt discover, not probe search'],
+            },
+            status: 'identified',
+        });
+    }
+    return out.sort((x, y) => x.id.localeCompare(y.id));
+}
+/** Isolated-bridge connectors as relation-link gaps. @internal */
+export function wrapConnectorGaps(edges) {
+    const report = proposeOrphanConnectors(edges);
+    return report.connectors.map((c) => ({
+        id: `fg-conn-${candidateId(c.orphanQuantity, c.coreQuantity)}`,
+        kind: 'relation-link',
+        participants: [
+            { kind: 'quantity-identification', id: c.orphanQuantity },
+            { kind: 'quantity-identification', id: c.coreQuantity },
+        ],
+        observations: [],
+        regimes: [c.orphanEdge, c.coreEdge],
+        assumptions: [],
+        constraints: [`dim:${c.dim}`],
+        evidence: {
+            summary: `orphan ${c.orphanEdge} ≟ core via ${c.orphanQuantity}~${c.coreQuantity}`,
+            sourceIds: ['upt connectors'],
+        },
+        identifiability: {
+            kind: 'graph-structural',
+            parametric: { status: 'unknown', reasons: ['Product A connector'] },
+        },
+        searchability: {
+            searchable: false,
+            reasons: ['connectors are Product A review surfaces'],
+        },
+        status: 'identified',
+    }));
+}
+/** Empty (scale×force) cells as regime-transition gaps. @internal */
+export function wrapRegimeGaps(edges) {
+    const report = predictMissingBridges(edges);
+    return report.predictions.map((p, i) => ({
+        id: `fg-regime-${i}-${hashSlug(p.regimeA)}-${hashSlug(p.regimeB)}`,
+        kind: 'regime-transition',
+        participants: [],
+        observations: [],
+        regimes: [p.regimeA, p.regimeB],
+        assumptions: [],
+        constraints: [`sharedNeighbors:${p.sharedNeighbors}`],
+        evidence: {
+            summary: `empty regime pair ${p.regimeA} ↔ ${p.regimeB} via ${p.via.join(',')}`,
+            sourceIds: ['upt predict'],
+        },
+        identifiability: {
+            kind: 'graph-structural',
+            parametric: { status: 'unknown', reasons: ['structural triadic closure only'] },
+        },
+        searchability: {
+            searchable: false,
+            reasons: ['regime predictions are structural hypotheses, not expression searches'],
+        },
+        status: 'identified',
+    }));
+}
+function hashSlug(s) {
+    return s.replace(/[^a-z0-9]+/gi, '-').replace(/^-|-$/g, '').slice(0, 40);
+}
+/** Combined read-only frontier (Product A wrappers). @internal */
+export function scanFrontier(edges) {
+    return [...wrapRelationLinkGaps(edges), ...wrapConnectorGaps(edges), ...wrapRegimeGaps(edges)];
+}
+/** Look up a wrapped gap by id. @internal */
+export function findFrontierGap(edges, id) {
+    return scanFrontier(edges).find((g) => g.id === id);
+}
+/**
+ * Build a Product B search problem for an unexplained-observation /
+ * prediction-residual gap. Relation-link gaps must not be passed here.
+ *
+ * @internal
+ */
+export function problemFromResidualGap(gap, target, governing, exploratory, holdout) {
+    if (gap.kind === 'relation-link' || gap.kind === 'regime-transition') {
+        throw new RangeError(`problemFromResidualGap: ${gap.kind} is not a Product B search target`);
+    }
+    const nObs = exploratory?.rows.length ?? 0;
+    const nPar = 1;
+    const identifiable = nObs >= nPar && nObs > 0;
+    const enriched = {
+        ...gap,
+        identifiability: {
+            kind: 'parametric',
+            parametric: {
+                status: identifiable ? 'identifiable' : nObs === 0 ? 'unknown' : 'non-identifiable',
+                rank: identifiable ? nPar : 0,
+                nParameters: nPar,
+                nIndependentObservations: nObs,
+                reasons: identifiable
+                    ? [`${nObs} observations vs ${nPar} free prefactor`]
+                    : ['insufficient observations for a unique prefactor'],
+            },
+        },
+        searchability: {
+            searchable: identifiable || nObs === 0,
+            reasons: identifiable
+                ? ['parametric rank sufficient for a monomial prefactor']
+                : nObs === 0
+                    ? ['no data — structural generation only; status will be insufficient-evidence']
+                    : ['non-identifiable — do not search'],
+        },
+        status: identifiable || nObs === 0 ? 'searchable' : 'underdetermined',
+    };
+    return {
+        gap: enriched,
+        target,
+        governing,
+        exploratory,
+        holdout,
+        discrepancy: gap.discrepancy,
+        assumptions: gap.assumptions,
+    };
+}
+//# sourceMappingURL=frontier.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"frontier.js","sourceRoot":"","sources":["../../../src/composition/probe/frontier.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AACvF,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AACzD,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAIjD,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,wBAAwB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAClE,CAAC;AAEF,SAAS,SAAS,CAAC,CAAS,EAAE,CAAS;IACrC,OAAO,WAAW,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACxC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAA4B;IAC/D,MAAM,GAAG,GAAkB,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,qBAAqB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7C,IAAI,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAAE,SAAS;QACrD,GAAG,CAAC,IAAI,CAAC;YACP,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACvB,IAAI,EAAE,eAAe;YACrB,YAAY,EAAE;gBACZ,EAAE,IAAI,EAAE,yBAAyB,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE;gBAC5C,EAAE,IAAI,EAAE,yBAAyB,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE;aAC7C;YACD,YAAY,EAAE,EAAE;YAChB,OAAO,EAAE,EAAE;YACX,WAAW,EAAE,EAAE;YACf,WAAW,EAAE,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC;YAC7B,QAAQ,EAAE;gBACR,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,EAAE;gBACzC,SAAS,EAAE,CAAC,gBAAgB,CAAC;aAC9B;YACD,eAAe,EAAE;gBACf,IAAI,EAAE,kBAAkB;gBACxB,UAAU,EAAE;oBACV,MAAM,EAAE,SAAS;oBACjB,OAAO,EAAE,CAAC,sDAAsD,CAAC;iBAClE;aACF;YACD,aAAa,EAAE;gBACb,UAAU,EAAE,KAAK;gBACjB,OAAO,EAAE,CAAC,mEAAmE,CAAC;aAC/E;YACD,MAAM,EAAE,YAAY;SACrB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACtD,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,iBAAiB,CAAC,KAA4B;IAC5D,MAAM,MAAM,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;IAC9C,OAAO,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnC,EAAE,EAAE,WAAW,WAAW,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,YAAY,CAAC,EAAE;QAC9D,IAAI,EAAE,eAAwB;QAC9B,YAAY,EAAE;YACZ,EAAE,IAAI,EAAE,yBAAkC,EAAE,EAAE,EAAE,CAAC,CAAC,cAAc,EAAE;YAClE,EAAE,IAAI,EAAE,yBAAkC,EAAE,EAAE,EAAE,CAAC,CAAC,YAAY,EAAE;SACjE;QACD,YAAY,EAAE,EAAE;QAChB,OAAO,EAAE,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC;QACnC,WAAW,EAAE,EAAE;QACf,WAAW,EAAE,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC;QAC7B,QAAQ,EAAE;YACR,OAAO,EAAE,UAAU,CAAC,CAAC,UAAU,eAAe,CAAC,CAAC,cAAc,IAAI,CAAC,CAAC,YAAY,EAAE;YAClF,SAAS,EAAE,CAAC,gBAAgB,CAAC;SAC9B;QACD,eAAe,EAAE;YACf,IAAI,EAAE,kBAA2B;YACjC,UAAU,EAAE,EAAE,MAAM,EAAE,SAAkB,EAAE,OAAO,EAAE,CAAC,qBAAqB,CAAC,EAAE;SAC7E;QACD,aAAa,EAAE;YACb,UAAU,EAAE,KAAK;YACjB,OAAO,EAAE,CAAC,0CAA0C,CAAC;SACtD;QACD,MAAM,EAAE,YAAqB;KAC9B,CAAC,CAAC,CAAC;AACN,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,cAAc,CAAC,KAA4B;IACzD,MAAM,MAAM,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IAC5C,OAAO,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACvC,EAAE,EAAE,aAAa,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE;QAClE,IAAI,EAAE,mBAA4B;QAClC,YAAY,EAAE,EAAE;QAChB,YAAY,EAAE,EAAE;QAChB,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;QAC/B,WAAW,EAAE,EAAE;QACf,WAAW,EAAE,CAAC,mBAAmB,CAAC,CAAC,eAAe,EAAE,CAAC;QACrD,QAAQ,EAAE;YACR,OAAO,EAAE,qBAAqB,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,OAAO,QAAQ,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;YAC/E,SAAS,EAAE,CAAC,aAAa,CAAC;SAC3B;QACD,eAAe,EAAE;YACf,IAAI,EAAE,kBAA2B;YACjC,UAAU,EAAE,EAAE,MAAM,EAAE,SAAkB,EAAE,OAAO,EAAE,CAAC,iCAAiC,CAAC,EAAE;SACzF;QACD,aAAa,EAAE;YACb,UAAU,EAAE,KAAK;YACjB,OAAO,EAAE,CAAC,uEAAuE,CAAC;SACnF;QACD,MAAM,EAAE,YAAqB;KAC9B,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS;IACzB,OAAO,CAAC,CAAC,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAC3E,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,YAAY,CAAC,KAA4B;IACvD,OAAO,CAAC,GAAG,oBAAoB,CAAC,KAAK,CAAC,EAAE,GAAG,iBAAiB,CAAC,KAAK,CAAC,EAAE,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AACjG,CAAC;AAED,6CAA6C;AAC7C,MAAM,UAAU,eAAe,CAC7B,KAA4B,EAC5B,EAAU;IAEV,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AACtD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CACpC,GAAgB,EAChB,MAA+B,EAC/B,SAAqC,EACrC,WAA0B,EAC1B,OAAsB;IAEtB,IAAI,GAAG,CAAC,IAAI,KAAK,eAAe,IAAI,GAAG,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACrE,MAAM,IAAI,UAAU,CAClB,2BAA2B,GAAG,CAAC,IAAI,mCAAmC,CACvE,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,WAAW,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,CAAC,CAAC;IACf,MAAM,YAAY,GAAG,IAAI,IAAI,IAAI,IAAI,IAAI,GAAG,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAgB;QAC5B,GAAG,GAAG;QACN,eAAe,EAAE;YACf,IAAI,EAAE,YAAY;YAClB,UAAU,EAAE;gBACV,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,kBAAkB;gBACnF,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC7B,WAAW,EAAE,IAAI;gBACjB,wBAAwB,EAAE,IAAI;gBAC9B,OAAO,EAAE,YAAY;oBACnB,CAAC,CAAC,CAAC,GAAG,IAAI,oBAAoB,IAAI,iBAAiB,CAAC;oBACpD,CAAC,CAAC,CAAC,kDAAkD,CAAC;aACzD;SACF;QACD,aAAa,EAAE;YACb,UAAU,EAAE,YAAY,IAAI,IAAI,KAAK,CAAC;YACtC,OAAO,EAAE,YAAY;gBACnB,CAAC,CAAC,CAAC,qDAAqD,CAAC;gBACzD,CAAC,CAAC,IAAI,KAAK,CAAC;oBACV,CAAC,CAAC,CAAC,4EAA4E,CAAC;oBAChF,CAAC,CAAC,CAAC,kCAAkC,CAAC;SAC3C;QACD,MAAM,EAAE,YAAY,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,iBAAiB;KACtE,CAAC;IACF,OAAO;QACL,GAAG,EAAE,QAAQ;QACb,MAAM;QACN,SAAS;QACT,WAAW;QACX,OAAO;QACP,WAAW,EAAE,GAAG,CAAC,WAAW;QAC5B,WAAW,EAAE,GAAG,CAAC,WAAW;KAC7B,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,26 @@
+/**
+ * Native bounded grammar enumerator — dimensional monomials via Buckingham-π.
+ * Deterministic visit order; seed-independent.
+ *
+ * @module composition/probe/generator
+ */
+import type { ExprNode } from '../../dimensional/ast-types.js';
+import type { DimensionalVariableRef, SearchBudget, SearchProblem } from './types.js';
+import { type BudgetState } from './search-budget.js';
+export interface RawCandidate {
+    readonly expression: ExprNode;
+    readonly monomial: Readonly<Record<string, number>> | null;
+    readonly originNote: string;
+}
+/** Build `Π governing^exp` as an `ExprNode`. @internal */
+export declare function monomialToExpr(monomial: Readonly<Record<string, number>>, vars: readonly DimensionalVariableRef[]): ExprNode;
+/**
+ * Yield dimensionally valid monomials for `problem`, honouring the budget.
+ * Invalid typed constructions are skipped (never evaluated).
+ *
+ * @internal
+ */
+export declare function generateNative(problem: SearchProblem, state: BudgetState): Iterable<RawCandidate>;
+/** Expose budget type for callers. @internal */
+export type { SearchBudget };
+//# sourceMappingURL=generator.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"generator.d.ts","sourceRoot":"","sources":["../../../src/composition/probe/generator.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAK/D,OAAO,KAAK,EAAE,sBAAsB,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AACtF,OAAO,EAAoB,KAAK,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAExE,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC;IAC3D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,0DAA0D;AAC1D,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC1C,IAAI,EAAE,SAAS,sBAAsB,EAAE,GACtC,QAAQ,CAqBV;AAQD;;;;;GAKG;AACH,wBAAiB,cAAc,CAC7B,OAAO,EAAE,aAAa,EACtB,KAAK,EAAE,WAAW,GACjB,QAAQ,CAAC,YAAY,CAAC,CA4BxB;AAyCD,gDAAgD;AAChD,YAAY,EAAE,YAAY,EAAE,CAAC"}

package/dist/composition/probe/generator.js

@@ -0,0 +1,123 @@
+/**
+ * Native bounded grammar enumerator — dimensional monomials via Buckingham-π.
+ * Deterministic visit order; seed-independent.
+ *
+ * @module composition/probe/generator
+ */
+import { DIMENSIONLESS } from '../../dimensional/types.js';
+import { sym } from '../../dimensional/ast-builders.js';
+import { dimensionallyDetermines } from '../../dimensional/buckingham.js';
+import { validate } from '../../dimensional/validator.js';
+import { canEmitCandidate } from './search-budget.js';
+/** Build `Π governing^exp` as an `ExprNode`. @internal */
+export function monomialToExpr(monomial, vars) {
+    const byName = new Map(vars.map((v) => [v.name, v.dim]));
+    const factors = [];
+    for (const name of Object.keys(monomial).sort()) {
+        const exp = monomial[name];
+        if (exp === 0)
+            continue;
+        const dim = byName.get(name);
+        if (!dim)
+            throw new RangeError(`monomialToExpr: unknown variable '${name}'`);
+        const base = sym(name, dim);
+        if (exp === 1)
+            factors.push(base);
+        else {
+            factors.push({
+                kind: 'op',
+                op: '^',
+                args: [base, sym(String(exp), DIMENSIONLESS)],
+            });
+        }
+    }
+    if (factors.length === 0)
+        return sym('1', DIMENSIONLESS);
+    if (factors.length === 1)
+        return factors[0];
+    return { kind: 'op', op: '*', args: factors };
+}
+function* extraPrefactors(base) {
+    yield base;
+    // Registered `2pi` leaf (same normalForm as `base` — dimensionless constant).
+    yield { kind: 'op', op: '*', args: [sym('2pi', DIMENSIONLESS), base] };
+}
+/**
+ * Yield dimensionally valid monomials for `problem`, honouring the budget.
+ * Invalid typed constructions are skipped (never evaluated).
+ *
+ * @internal
+ */
+export function* generateNative(problem, state) {
+    const det = dimensionallyDetermines(problem.target, problem.governing);
+    if (!det.determined || !det.monomial)
+        return;
+    const expr = monomialToExpr(det.monomial, [problem.target, ...problem.governing]);
+    const seen = new Set();
+    for (const candidate of extraPrefactors(expr)) {
+        if (!canEmitCandidate(state))
+            return;
+        if (validate(candidate).ok !== true)
+            continue;
+        // Depth / operator caps
+        const depth = astDepth(candidate);
+        const ops = opCount(candidate);
+        if (depth > state.budget.maxAstDepth)
+            continue;
+        if (ops > state.budget.maxOperators)
+            continue;
+        const key = JSON.stringify(candidate);
+        if (seen.has(key))
+            continue;
+        seen.add(key);
+        state.candidates += 1;
+        yield {
+            expression: candidate,
+            monomial: det.monomial,
+            originNote: det.reason,
+        };
+    }
+    if (problem.baseline && problem.discrepancy) {
+        yield* generateCorrections(problem, state, seen);
+    }
+}
+function astDepth(node) {
+    if (node.kind === 'op')
+        return 1 + Math.max(0, ...node.args.map(astDepth));
+    if (node.kind === 'transcendental' || node.kind === 'abs')
+        return 1 + astDepth(node.arg);
+    return 1;
+}
+function opCount(node) {
+    if (node.kind === 'op')
+        return 1 + node.args.reduce((n, a) => n + opCount(a), 0);
+    return 0;
+}
+/**
+ * Additive / relative corrections: search a monomial of the same dimension
+ * as the observable to add to (or scale) the baseline.
+ */
+function* generateCorrections(problem, state, seen) {
+    const kind = problem.discrepancy.kind;
+    if (kind !== 'additive' && kind !== 'relative' && kind !== 'standardized')
+        return;
+    const det = dimensionallyDetermines(problem.target, problem.governing);
+    if (!det.determined || !det.monomial)
+        return;
+    if (!canEmitCandidate(state))
+        return;
+    const corr = monomialToExpr(det.monomial, [problem.target, ...problem.governing]);
+    const baseline = problem.baseline;
+    const combined = kind === 'additive'
+        ? { kind: 'op', op: '+', args: [baseline, corr] }
+        : { kind: 'op', op: '*', args: [baseline, { kind: 'op', op: '+', args: [sym('1', DIMENSIONLESS), corr] }] };
+    if (validate(combined).ok !== true)
+        return;
+    const key = JSON.stringify(combined);
+    if (seen.has(key))
+        return;
+    seen.add(key);
+    state.candidates += 1;
+    yield { expression: combined, monomial: det.monomial, originNote: `correction:${kind}` };
+}
+//# sourceMappingURL=generator.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"generator.js","sourceRoot":"","sources":["../../../src/composition/probe/generator.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAE1D,OAAO,EAAE,gBAAgB,EAAoB,MAAM,oBAAoB,CAAC;AAQxE,0DAA0D;AAC1D,MAAM,UAAU,cAAc,CAC5B,QAA0C,EAC1C,IAAuC;IAEvC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACzD,MAAM,OAAO,GAAe,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAChD,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,GAAG,KAAK,CAAC;YAAE,SAAS;QACxB,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,GAAG;YAAE,MAAM,IAAI,UAAU,CAAC,qCAAqC,IAAI,GAAG,CAAC,CAAC;QAC7E,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5B,IAAI,GAAG,KAAK,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aAC7B,CAAC;YACJ,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,IAAI;gBACV,EAAE,EAAE,GAAG;gBACP,IAAI,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,aAAa,CAAC,CAAC;aAC9C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;IACzD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;IAC5C,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAChD,CAAC;AAED,QAAQ,CAAC,CAAC,eAAe,CAAC,IAAc;IACtC,MAAM,IAAI,CAAC;IACX,8EAA8E;IAC9E,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;AACzE,CAAC;AAED;;;;;GAKG;AACH,MAAM,SAAS,CAAC,CAAC,cAAc,CAC7B,OAAsB,EACtB,KAAkB;IAElB,MAAM,GAAG,GAAG,uBAAuB,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IACvE,IAAI,CAAC,GAAG,CAAC,UAAU,IAAI,CAAC,GAAG,CAAC,QAAQ;QAAE,OAAO;IAE7C,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IAClF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,SAAS,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9C,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC;YAAE,OAAO;QACrC,IAAI,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,IAAI;YAAE,SAAS;QAC9C,wBAAwB;QACxB,MAAM,KAAK,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;QAC/B,IAAI,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,WAAW;YAAE,SAAS;QAC/C,IAAI,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,YAAY;YAAE,SAAS;QAC9C,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACtC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC;QACtB,MAAM;YACJ,UAAU,EAAE,SAAS;YACrB,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,UAAU,EAAE,GAAG,CAAC,MAAM;SACvB,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QAC5C,KAAK,CAAC,CAAC,mBAAmB,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACnD,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,IAAc;IAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzF,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,OAAO,CAAC,IAAc;IAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjF,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;GAGG;AACH,QAAQ,CAAC,CAAC,mBAAmB,CAC3B,OAAsB,EACtB,KAAkB,EAClB,IAAiB;IAEjB,MAAM,IAAI,GAAG,OAAO,CAAC,WAAY,CAAC,IAAI,CAAC;IACvC,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,cAAc;QAAE,OAAO;IAClF,MAAM,GAAG,GAAG,uBAAuB,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IACvE,IAAI,CAAC,GAAG,CAAC,UAAU,IAAI,CAAC,GAAG,CAAC,QAAQ;QAAE,OAAO;IAC7C,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC;QAAE,OAAO;IACrC,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IAClF,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAS,CAAC;IACnC,MAAM,QAAQ,GACZ,IAAI,KAAK,UAAU;QACjB,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE;QACjD,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;IAChH,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,IAAI;QAAE,OAAO;IAC3C,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACrC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO;IAC1B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACd,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC;IACtB,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,UAAU,EAAE,cAAc,IAAI,EAAE,EAAE,CAAC;AAC3F,CAAC"}

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

@@ -0,0 +1,49 @@
+/**
+ * Experimental Product B barrel — expression / residual search.
+ *
+ * Import via `universal-physics-tensor/probe`. Not re-exported from the
+ * root `universal-physics-tensor` entry. Orthogonal to Product A
+ * (`upt discover` / `VettedCandidate`).
+ *
+ * All symbols are `@internal`: the subpath exists for CLI and experiments,
+ * not as a stability contract.
+ *
+ * @module composition/probe
+ */
+export { SCHEMA_VERSION, PROBE_SCHEMA_VERSION, DEFAULT_SEARCH_BUDGET, } from './types.js';
+export type { ProbeCandidateStatus, RelationKind, AuditState, DiscrepancyKind, DatasetRole, SearchStopReason, FrontierGapKind, IdentifiabilityKind, SearchBudget, DiscrepancyDefinition, ScientificRelationRef, IdentifiabilityAssessment, SearchabilityAssessment, GapEvidence, FrontierGap, ProbeCandidateOrigin, ProbeCandidateBody, StatusEvent, CandidateFingerprint, ComplexityMetrics, ProbeCandidateRecord, ProbeRejectionRecord, DiscoveryBackendDescriptor, EnvironmentFingerprint, NondeterminismSource, DiscoveryRunManifest, DimensionalVariableRef, ObservationRow, ProbeDataset, SearchProblem, ScoreVector, EvidenceAssessment, EvidenceProfile, DeclaredLimit, FalsificationBattery, FalsificationRecord, ScientificRelationRecord, } from './types.js';
+export { canonicalJson, sha256Hex, hashCanonical } from './serialize.js';
+export { openBudget, budgetStopReason, canEmitCandidate } from './search-budget.js';
+export type { BudgetState } from './search-budget.js';
+export { bodyExpression, countAstNodes, countOperators, maxPowerOrder, complexityOf, fingerprintExpr, } from './fingerprint.js';
+export { scalarDiscrepancy, rmse, ResidualError } from './residual.js';
+export { openManifest, closeManifest, captureEnvironment } from './run-manifest.js';
+export { canTransition, applyStatus, statusRank, ProbeCandidateStore } from './candidate-store.js';
+export { monomialToExpr, generateNative } from './generator.js';
+export type { RawCandidate } from './generator.js';
+export { wrapRelationLinkGaps, wrapConnectorGaps, wrapRegimeGaps, scanFrontier, findFrontierGap, problemFromResidualGap, } from './frontier.js';
+export { fitPrefactor } from './fit.js';
+export type { FitResult } from './fit.js';
+export { scoreCandidate, rankPareto } from './scoring.js';
+export type { RankedCandidate } from './scoring.js';
+export { compareToCorpus, corpusRelativeWording } from './corpus.js';
+export type { CorpusMatch, CorpusComparisonResult } from './corpus.js';
+export { checkDeclaredLimit, checkDeclaredLimits } from './limits.js';
+export type { LimitCheckResult } from './limits.js';
+export { runFalsification, DEFAULT_BATTERIES } from './falsify.js';
+export type { FalsifyInput, FalsifyResult } from './falsify.js';
+export { datasetFromRows, asDatasetSafe, loadDatasetFromJson, loadSplitDatasetsFromJson, loadDatasetFromCsv, loadSplitCsv, } from './dataset.js';
+export type { SplitFileDatasets } from './dataset.js';
+export { suggestDiscriminatingPoint } from './experiment-design.js';
+export type { DesignBounds, DesignSuggestion } from './experiment-design.js';
+export { detectMeanChangepoint, estimateScaleExponent, probeConservation, } from './structure.js';
+export type { ChangepointInput, ChangepointResult, ScaleSymmetryInput } from './structure.js';
+export { runBackendWorker } from './backend-protocol.js';
+export type { BackendRequest, BackendCandidate, BackendResponse } from './backend-protocol.js';
+export { setRelationMetadata, getRelationMetadata, listRelationMetadata, clearRelationMetadata, } from './metadata.js';
+export { makeResidualGap, loadSearchProblemFromJson, searchProblemFromFile, parseExprJson } from './problem.js';
+export type { ProblemFile } from './problem.js';
+export { runProbeSearch } from './pipeline.js';
+export type { ProbeSearchOptions, ProbeSearchResult } from './pipeline.js';
+export { formatProbeReport, formatFrontierScan, formatFrontierGap } from './report.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/composition/probe/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EACL,cAAc,EACd,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,YAAY,CAAC;AACpB,YAAY,EACV,oBAAoB,EACpB,YAAY,EACZ,UAAU,EACV,eAAe,EACf,WAAW,EACX,gBAAgB,EAChB,eAAe,EACf,mBAAmB,EACnB,YAAY,EACZ,qBAAqB,EACrB,qBAAqB,EACrB,yBAAyB,EACzB,uBAAuB,EACvB,WAAW,EACX,WAAW,EACX,oBAAoB,EACpB,kBAAkB,EAClB,WAAW,EACX,oBAAoB,EACpB,iBAAiB,EACjB,oBAAoB,EACpB,oBAAoB,EACpB,0BAA0B,EAC1B,sBAAsB,EACtB,oBAAoB,EACpB,oBAAoB,EACpB,sBAAsB,EACtB,cAAc,EACd,YAAY,EACZ,aAAa,EACb,WAAW,EACX,kBAAkB,EAClB,eAAe,EACf,aAAa,EACb,oBAAoB,EACpB,mBAAmB,EACnB,wBAAwB,GACzB,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AACzE,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACpF,YAAY,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EACL,cAAc,EACd,aAAa,EACb,cAAc,EACd,aAAa,EACb,YAAY,EACZ,eAAe,GAChB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,iBAAiB,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACvE,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACpF,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AACnG,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChE,YAAY,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EACL,oBAAoB,EACpB,iBAAiB,EACjB,cAAc,EACd,YAAY,EACZ,eAAe,EACf,sBAAsB,GACvB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AACxC,YAAY,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1D,YAAY,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AACrE,YAAY,EAAE,WAAW,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AACvE,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AACtE,YAAY,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACnE,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAChE,OAAO,EACL,eAAe,EACf,aAAa,EACb,mBAAmB,EACnB,yBAAyB,EACzB,kBAAkB,EAClB,YAAY,GACb,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACtD,OAAO,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAC;AACpE,YAAY,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC7E,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAC9F,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,YAAY,EAAE,cAAc,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAC/F,OAAO,EACL,mBAAmB,EACnB,mBAAmB,EACnB,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,eAAe,EAAE,yBAAyB,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAChH,YAAY,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,YAAY,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC"}

package/dist/composition/probe/index.js

@@ -0,0 +1,35 @@
+/**
+ * Experimental Product B barrel — expression / residual search.
+ *
+ * Import via `universal-physics-tensor/probe`. Not re-exported from the
+ * root `universal-physics-tensor` entry. Orthogonal to Product A
+ * (`upt discover` / `VettedCandidate`).
+ *
+ * All symbols are `@internal`: the subpath exists for CLI and experiments,
+ * not as a stability contract.
+ *
+ * @module composition/probe
+ */
+export { SCHEMA_VERSION, PROBE_SCHEMA_VERSION, DEFAULT_SEARCH_BUDGET, } from './types.js';
+export { canonicalJson, sha256Hex, hashCanonical } from './serialize.js';
+export { openBudget, budgetStopReason, canEmitCandidate } from './search-budget.js';
+export { bodyExpression, countAstNodes, countOperators, maxPowerOrder, complexityOf, fingerprintExpr, } from './fingerprint.js';
+export { scalarDiscrepancy, rmse, ResidualError } from './residual.js';
+export { openManifest, closeManifest, captureEnvironment } from './run-manifest.js';
+export { canTransition, applyStatus, statusRank, ProbeCandidateStore } from './candidate-store.js';
+export { monomialToExpr, generateNative } from './generator.js';
+export { wrapRelationLinkGaps, wrapConnectorGaps, wrapRegimeGaps, scanFrontier, findFrontierGap, problemFromResidualGap, } from './frontier.js';
+export { fitPrefactor } from './fit.js';
+export { scoreCandidate, rankPareto } from './scoring.js';
+export { compareToCorpus, corpusRelativeWording } from './corpus.js';
+export { checkDeclaredLimit, checkDeclaredLimits } from './limits.js';
+export { runFalsification, DEFAULT_BATTERIES } from './falsify.js';
+export { datasetFromRows, asDatasetSafe, loadDatasetFromJson, loadSplitDatasetsFromJson, loadDatasetFromCsv, loadSplitCsv, } from './dataset.js';
+export { suggestDiscriminatingPoint } from './experiment-design.js';
+export { detectMeanChangepoint, estimateScaleExponent, probeConservation, } from './structure.js';
+export { runBackendWorker } from './backend-protocol.js';
+export { setRelationMetadata, getRelationMetadata, listRelationMetadata, clearRelationMetadata, } from './metadata.js';
+export { makeResidualGap, loadSearchProblemFromJson, searchProblemFromFile, parseExprJson } from './problem.js';
+export { runProbeSearch } from './pipeline.js';
+export { formatProbeReport, formatFrontierScan, formatFrontierGap } from './report.js';
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/composition/probe/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EACL,cAAc,EACd,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,YAAY,CAAC;AAyCpB,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AACzE,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEpF,OAAO,EACL,cAAc,EACd,aAAa,EACb,cAAc,EACd,aAAa,EACb,YAAY,EACZ,eAAe,GAChB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,iBAAiB,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACvE,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACpF,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AACnG,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAEhE,OAAO,EACL,oBAAoB,EACpB,iBAAiB,EACjB,cAAc,EACd,YAAY,EACZ,eAAe,EACf,sBAAsB,GACvB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAExC,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1D,OAAO,EAAE,eAAe,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAErE,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAEtE,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAEnE,OAAO,EACL,eAAe,EACf,aAAa,EACb,mBAAmB,EACnB,yBAAyB,EACzB,kBAAkB,EAClB,YAAY,GACb,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAC;AAEpE,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAEzD,OAAO,EACL,mBAAmB,EACnB,mBAAmB,EACnB,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,eAAe,EAAE,yBAAyB,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAEhH,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC"}

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

@@ -0,0 +1,27 @@
+/**
+ * Declared-limit checks for probe candidates.
+ *
+ * A failed limit is **not automatically fatal**. It is fatal only when the
+ * candidate claims the domain in which the limit fails.
+ *
+ * @internal
+ */
+import type { ExprNode } from '../../dimensional/ast-types.js';
+import type { DeclaredLimit, ProbeDataset } from './types.js';
+export interface LimitCheckResult {
+    readonly id: string;
+    readonly passed: boolean;
+    readonly claimedDomain: boolean;
+    readonly fatal: boolean;
+    readonly detail: string;
+}
+/**
+ * Evaluate `prefactor · expr` RMSE on `dataset`. When the candidate does not
+ * claim `limit.regime`, a failure is recorded but not fatal.
+ *
+ * @internal
+ */
+export declare function checkDeclaredLimit(expr: ExprNode, dataset: ProbeDataset, prefactor: number, limit: DeclaredLimit, claimsDomain: boolean): LimitCheckResult;
+/** Run every declared limit. @internal */
+export declare function checkDeclaredLimits(expr: ExprNode, dataset: ProbeDataset | undefined, prefactor: number, limits: readonly DeclaredLimit[], claimedRegimes?: Readonly<Record<string, string>>): readonly LimitCheckResult[];
+//# sourceMappingURL=limits.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"limits.d.ts","sourceRoot":"","sources":["../../../src/composition/probe/limits.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAG9D,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,QAAQ,EACd,OAAO,EAAE,YAAY,EACrB,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,aAAa,EACpB,YAAY,EAAE,OAAO,GACpB,gBAAgB,CAyClB;AAED,0CAA0C;AAC1C,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,QAAQ,EACd,OAAO,EAAE,YAAY,GAAG,SAAS,EACjC,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,SAAS,aAAa,EAAE,EAChC,cAAc,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,GACpD,SAAS,gBAAgB,EAAE,CAc7B"}