universal-physics-tensor 0.44.1 → 0.44.2

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

@@ -0,0 +1 @@
+{"version":3,"file":"problem.js","sourceRoot":"","sources":["../../../src/composition/probe/problem.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AAUzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC;AAExE,SAAS,SAAS,CAAC,CAAS;IAC1B,OAAO,CACL,CAAC,KAAK,qBAAqB;QAC3B,CAAC,KAAK,eAAe;QACrB,CAAC,KAAK,mBAAmB;QACzB,CAAC,KAAK,mBAAmB;QACzB,CAAC,KAAK,qBAAqB;QAC3B,CAAC,KAAK,kBAAkB;QACxB,CAAC,KAAK,yBAAyB;QAC/B,CAAC,KAAK,oBAAoB;QAC1B,CAAC,KAAK,kBAAkB;QACxB,CAAC,KAAK,OAAO,CACd,CAAC;AACJ,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,eAAe,CAC7B,EAAU,EACV,OAAe,EACf,OAAwB,yBAAyB;IAEjD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,UAAU,CAAC,mDAAmD,EAAE,IAAI,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,IAAI,KAAK,eAAe,IAAI,IAAI,KAAK,mBAAmB,EAAE,CAAC;QAC7D,MAAM,IAAI,UAAU,CAAC,oBAAoB,IAAI,6CAA6C,CAAC,CAAC;IAC9F,CAAC;IACD,OAAO;QACL,EAAE;QACF,IAAI;QACJ,YAAY,EAAE,EAAE;QAChB,YAAY,EAAE,EAAE;QAChB,OAAO,EAAE,EAAE;QACX,WAAW,EAAE,EAAE;QACf,WAAW,EAAE,EAAE;QACf,QAAQ,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE;QACpC,eAAe,EAAE;YACf,IAAI,EAAE,YAAY;YAClB,UAAU,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,kBAAkB,CAAC,EAAE;SACjE;QACD,aAAa,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,cAAc,CAAC,EAAE;QAC9D,MAAM,EAAE,YAAY;KACrB,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,GAAkC;IACrD,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;AAC9D,CAAC;AAqBD,yFAAyF;AACzF,MAAM,UAAU,yBAAyB,CAAC,IAAY;IACpD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAgB,CAAC;IAClE,OAAO,qBAAqB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAC1C,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,qBAAqB,CAAC,GAAgB,EAAE,MAAM,GAAG,QAAQ;IACvE,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,EAAE,IAAI,IAAI,yBAAyB,CAAC;IAC3D,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,UAAU,CAAC,qBAAqB,OAAO,GAAG,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,GAAG,GAAG,eAAe,CACzB,GAAG,CAAC,GAAG,EAAE,EAAE,IAAI,WAAW,EAC1B,GAAG,CAAC,GAAG,EAAE,OAAO,IAAI,uBAAuB,MAAM,EAAE,EACnD,OAAO,CACR,CAAC;IACF,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACjD,IAAI,WAAqC,CAAC;IAC1C,IAAI,OAAiC,CAAC;IACtC,IAAI,GAAG,CAAC,gBAAgB,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,yBAAyB,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;QAC9D,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC;QAChC,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC1B,CAAC;IACD,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QACpB,WAAW,GAAG,aAAa,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,MAAM,cAAc,EAAE,iBAAiB,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAChB,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,MAAM,UAAU,EAAE,oBAAoB,CAAC,CAAC;IAClF,CAAC;IACD,MAAM,OAAO,GAAG,sBAAsB,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IACrF,OAAO;QACL,GAAG,OAAO;QACV,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,WAAW,EAAE,GAAG,CAAC,WAAW,IAAI,OAAO,CAAC,WAAW;QACnD,WAAW,EAAE,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,WAAW;QAC/C,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,cAAc,EAAE,GAAG,CAAC,cAAc;QAClC,qBAAqB,EAAE,GAAG,CAAC,qBAAqB;KACjD,CAAC;AACJ,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAyC,CAAC;IAC3F,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,MAAM,IAAI,GAAG;QAAE,OAAO,GAAe,CAAC;IAC5E,IACE,GAAG;QACH,OAAO,GAAG,KAAK,QAAQ;QACvB,YAAY,IAAI,GAAG;QAClB,GAAiC,CAAC,UAAU,EAC7C,CAAC;QACD,OAAQ,GAAgC,CAAC,UAAU,CAAC;IACtD,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,iCAAiC,CAAC,CAAC;AAC3E,CAAC"}

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

@@ -0,0 +1,15 @@
+/**
+ * Scientist-facing probe reports. Never prints a status stronger than the
+ * stored candidate status. Novelty wording is always corpus-relative.
+ *
+ * @internal
+ */
+import type { ProbeSearchResult } from './pipeline.js';
+import type { FrontierGap } from './types.js';
+/** Format a Product B search result. @internal */
+export declare function formatProbeReport(result: ProbeSearchResult): string;
+/** Format a frontier scan. @internal */
+export declare function formatFrontierScan(gaps: readonly FrontierGap[]): string;
+/** Format a single gap. @internal */
+export declare function formatFrontierGap(gap: FrontierGap): string;
+//# sourceMappingURL=report.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../../../src/composition/probe/report.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AACvD,OAAO,KAAK,EAAE,WAAW,EAA8C,MAAM,YAAY,CAAC;AAwB1F,kDAAkD;AAClD,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,iBAAiB,GAAG,MAAM,CAgCnE;AAED,wCAAwC;AACxC,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE,GAAG,MAAM,CAcvE;AAED,qCAAqC;AACrC,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,WAAW,GAAG,MAAM,CAS1D"}

package/dist/composition/probe/report.js

@@ -0,0 +1,91 @@
+/**
+ * Scientist-facing probe reports. Never prints a status stronger than the
+ * stored candidate status. Novelty wording is always corpus-relative.
+ *
+ * @internal
+ */
+import { bodyExpression } from './fingerprint.js';
+import { corpusRelativeWording } from './corpus.js';
+const STATUS_LINE = {
+    generated: 'generated (not yet validated)',
+    'structurally-valid': 'structurally valid (not yet fit)',
+    'empirically-fit': 'fit on exploratory data only (holdout not passed)',
+    'heldout-supported': 'supported on locked holdout (not yet falsified)',
+    'falsification-survivor': 'survived declared falsification batteries',
+    'expert-review-required': 'requires expert review — not a published discovery',
+    rejected: 'rejected',
+    falsified: 'falsified',
+    'equivalent-known': 'algebraically equivalent to a known corpus relation (not novel)',
+    'insufficient-evidence': 'insufficient evidence (no data or no holdout)',
+};
+function exprSummary(record) {
+    const expr = bodyExpression(record.body);
+    try {
+        return JSON.stringify(expr);
+    }
+    catch {
+        return record.id;
+    }
+}
+/** Format a Product B search result. @internal */
+export function formatProbeReport(result) {
+    const lines = [];
+    lines.push(`upt probe — experimental expression/residual search  [run ${result.manifest.runId}]`);
+    lines.push('⚠ Product B is experimental. `upt discover` remains the quantity-identification funnel.');
+    lines.push(`  stop: ${result.stopReason}`);
+    lines.push(`  candidates: ${result.candidates.length} · rejections: ${result.rejections.length}`);
+    if (result.wording.length > 0) {
+        lines.push('');
+        for (const w of result.wording.slice(0, 8))
+            lines.push(`  ${w}`);
+    }
+    lines.push('');
+    if (result.ranked.length === 0) {
+        lines.push('  no candidates to rank.');
+        return lines.join('\n');
+    }
+    lines.push('  ranked (Pareto front first; scores are not a discovery claim):');
+    for (const item of result.ranked) {
+        const rec = item.record;
+        const mark = item.pareto ? '●' : '·';
+        const fit = result.fits[rec.id];
+        const fitBit = fit
+            ? ` ĉ=${fit.prefactor.toPrecision(4)} RMSE_ex=${fit.exploratoryRmse.toPrecision(3)}` +
+                (fit.holdoutRmse != null ? ` RMSE_ho=${fit.holdoutRmse.toPrecision(3)}` : '')
+            : '';
+        lines.push(`  ${mark} ${rec.id}  [${STATUS_LINE[rec.status]}]  validity=${item.scores.validity.toFixed(2)} emp=${item.scores.empirical.toFixed(2)} parsimony=${item.scores.parsimony.toFixed(2)}${fitBit}`);
+        const corp = result.corpus[rec.id];
+        if (corp)
+            lines.push(`      ${corpusRelativeWording(corp)}`);
+        lines.push(`      ${exprSummary(rec).slice(0, 180)}`);
+    }
+    return lines.join('\n');
+}
+/** Format a frontier scan. @internal */
+export function formatFrontierScan(gaps) {
+    const lines = [];
+    lines.push('upt probe scan — typed frontier gaps');
+    lines.push('⚠ relation-link / regime-transition gaps are Product A review surfaces (`upt discover`).');
+    lines.push(`  ${gaps.length} gap(s)\n`);
+    for (const g of gaps) {
+        const search = g.searchability.searchable ? 'searchable' : 'not-searchable';
+        lines.push(`  ${g.id}  [${g.kind} / ${search}]`);
+        lines.push(`    ${g.evidence.summary}`);
+        if (!g.searchability.searchable) {
+            lines.push(`    → ${g.searchability.reasons.join('; ')}`);
+        }
+    }
+    return lines.join('\n');
+}
+/** Format a single gap. @internal */
+export function formatFrontierGap(gap) {
+    return [
+        `upt probe show ${gap.id}`,
+        `  kind: ${gap.kind}`,
+        `  status: ${gap.status}`,
+        `  searchable: ${gap.searchability.searchable} (${gap.searchability.reasons.join('; ')})`,
+        `  identifiability: ${gap.identifiability.kind} ${gap.identifiability.parametric?.status ?? ''}`,
+        `  ${gap.evidence.summary}`,
+    ].join('\n');
+}
+//# sourceMappingURL=report.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"report.js","sourceRoot":"","sources":["../../../src/composition/probe/report.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAIpD,MAAM,WAAW,GAAyC;IACxD,SAAS,EAAE,+BAA+B;IAC1C,oBAAoB,EAAE,kCAAkC;IACxD,iBAAiB,EAAE,mDAAmD;IACtE,mBAAmB,EAAE,iDAAiD;IACtE,wBAAwB,EAAE,2CAA2C;IACrE,wBAAwB,EAAE,oDAAoD;IAC9E,QAAQ,EAAE,UAAU;IACpB,SAAS,EAAE,WAAW;IACtB,kBAAkB,EAAE,iEAAiE;IACrF,uBAAuB,EAAE,+CAA+C;CACzE,CAAC;AAEF,SAAS,WAAW,CAAC,MAA4B;IAC/C,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,EAAE,CAAC;IACnB,CAAC;AACH,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,iBAAiB,CAAC,MAAyB;IACzD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,6DAA6D,MAAM,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC;IAClG,KAAK,CAAC,IAAI,CAAC,yFAAyF,CAAC,CAAC;IACtG,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IAC3C,KAAK,CAAC,IAAI,CAAC,iBAAiB,MAAM,CAAC,UAAU,CAAC,MAAM,kBAAkB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;IAClG,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QACvC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;IAC/E,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC;QACxB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QACrC,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChC,MAAM,MAAM,GAAG,GAAG;YAChB,CAAC,CAAC,OAAO,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE;gBACnF,CAAC,GAAG,CAAC,WAAW,IAAI,IAAI,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/E,CAAC,CAAC,EAAE,CAAC;QACP,KAAK,CAAC,IAAI,CACR,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,MAAM,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,CAChM,CAAC;QACF,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7D,KAAK,CAAC,IAAI,CAAC,SAAS,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,wCAAwC;AACxC,MAAM,UAAU,kBAAkB,CAAC,IAA4B;IAC7D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;IACnD,KAAK,CAAC,IAAI,CAAC,0FAA0F,CAAC,CAAC;IACvG,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,WAAW,CAAC,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,MAAM,GAAG,CAAC,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,gBAAgB,CAAC;QAC5E,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,MAAM,MAAM,GAAG,CAAC,CAAC;QACjD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;QACxC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,UAAU,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,qCAAqC;AACrC,MAAM,UAAU,iBAAiB,CAAC,GAAgB;IAChD,OAAO;QACL,kBAAkB,GAAG,CAAC,EAAE,EAAE;QAC1B,WAAW,GAAG,CAAC,IAAI,EAAE;QACrB,aAAa,GAAG,CAAC,MAAM,EAAE;QACzB,iBAAiB,GAAG,CAAC,aAAa,CAAC,UAAU,KAAK,GAAG,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QACzF,sBAAsB,GAAG,CAAC,eAAe,CAAC,IAAI,IAAI,GAAG,CAAC,eAAe,CAAC,UAAU,EAAE,MAAM,IAAI,EAAE,EAAE;QAChG,KAAK,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE;KAC5B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}

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

@@ -0,0 +1,20 @@
+/**
+ * Explicit residual / discrepancy evaluation. Does not replace
+ * `residualInSigma` on the confrontation spine.
+ *
+ * @module composition/probe/residual
+ */
+import type { DiscrepancyDefinition, DiscrepancyKind } from './types.js';
+export declare class ResidualError extends Error {
+    constructor(message: string);
+}
+/**
+ * Scalar discrepancy. Covariance-standardized with a non-diagonal Σ is
+ * unsupported and throws rather than silently using diagonal σ.
+ *
+ * @internal
+ */
+export declare function scalarDiscrepancy(observed: number, predicted: number, kind: DiscrepancyKind, scale?: number): number;
+/** RMSE of a discrepancy over paired samples. @internal */
+export declare function rmse(observed: readonly number[], predicted: readonly number[], def: DiscrepancyDefinition, scale?: number): number;
+//# sourceMappingURL=residual.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"residual.d.ts","sourceRoot":"","sources":["../../../src/composition/probe/residual.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,qBAAqB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAEzE,qBAAa,aAAc,SAAQ,KAAK;gBAC1B,OAAO,EAAE,MAAM;CAI5B;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,eAAe,EACrB,KAAK,SAAI,GACR,MAAM,CAyCR;AAED,2DAA2D;AAC3D,wBAAgB,IAAI,CAClB,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,SAAS,EAAE,SAAS,MAAM,EAAE,EAC5B,GAAG,EAAE,qBAAqB,EAC1B,KAAK,SAAI,GACR,MAAM,CAUR"}

package/dist/composition/probe/residual.js

@@ -0,0 +1,72 @@
+/**
+ * Explicit residual / discrepancy evaluation. Does not replace
+ * `residualInSigma` on the confrontation spine.
+ *
+ * @module composition/probe/residual
+ */
+export class ResidualError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'ResidualError';
+    }
+}
+/**
+ * Scalar discrepancy. Covariance-standardized with a non-diagonal Σ is
+ * unsupported and throws rather than silently using diagonal σ.
+ *
+ * @internal
+ */
+export function scalarDiscrepancy(observed, predicted, kind, scale = 1) {
+    if (!Number.isFinite(observed) || !Number.isFinite(predicted)) {
+        throw new ResidualError('scalarDiscrepancy: observed and predicted must be finite');
+    }
+    switch (kind) {
+        case 'additive':
+            return observed - predicted;
+        case 'relative': {
+            const s = scale !== 0 && Number.isFinite(scale) ? scale : Math.abs(predicted) || 1;
+            return (observed - predicted) / s;
+        }
+        case 'log-ratio': {
+            if (!(observed > 0 && predicted > 0)) {
+                throw new ResidualError('log-ratio residual requires positive observed and predicted');
+            }
+            return Math.log(observed / predicted);
+        }
+        case 'standardized': {
+            if (!(scale > 0 && Number.isFinite(scale))) {
+                throw new ResidualError('standardized residual requires positive finite sigma');
+            }
+            return (observed - predicted) / scale;
+        }
+        case 'likelihood': {
+            if (!(scale > 0))
+                throw new ResidualError('likelihood residual requires positive sigma');
+            const z = (observed - predicted) / scale;
+            return 0.5 * z * z + Math.log(scale * Math.sqrt(2 * Math.PI));
+        }
+        case 'vector':
+        case 'tensor':
+        case 'distributional':
+        case 'operator':
+        case 'custom':
+            throw new ResidualError(`${kind} discrepancy is not implemented on the scalar path — abstain`);
+        default: {
+            const _never = kind;
+            return _never;
+        }
+    }
+}
+/** RMSE of a discrepancy over paired samples. @internal */
+export function rmse(observed, predicted, def, scale = 1) {
+    if (observed.length !== predicted.length || observed.length === 0) {
+        throw new ResidualError('rmse: nonempty equal-length samples required');
+    }
+    let acc = 0;
+    for (let i = 0; i < observed.length; i++) {
+        const r = scalarDiscrepancy(observed[i], predicted[i], def.kind, scale);
+        acc += r * r;
+    }
+    return Math.sqrt(acc / observed.length);
+}
+//# sourceMappingURL=residual.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"residual.js","sourceRoot":"","sources":["../../../src/composition/probe/residual.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,MAAM,OAAO,aAAc,SAAQ,KAAK;IACtC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,eAAe,CAAC;IAC9B,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAC/B,QAAgB,EAChB,SAAiB,EACjB,IAAqB,EACrB,KAAK,GAAG,CAAC;IAET,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,aAAa,CAAC,0DAA0D,CAAC,CAAC;IACtF,CAAC;IACD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,UAAU;YACb,OAAO,QAAQ,GAAG,SAAS,CAAC;QAC9B,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,CAAC,GAAG,KAAK,KAAK,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YACnF,OAAO,CAAC,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QACpC,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,IAAI,CAAC,CAAC,QAAQ,GAAG,CAAC,IAAI,SAAS,GAAG,CAAC,CAAC,EAAE,CAAC;gBACrC,MAAM,IAAI,aAAa,CAAC,6DAA6D,CAAC,CAAC;YACzF,CAAC;YACD,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,GAAG,SAAS,CAAC,CAAC;QACxC,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC3C,MAAM,IAAI,aAAa,CAAC,sDAAsD,CAAC,CAAC;YAClF,CAAC;YACD,OAAO,CAAC,QAAQ,GAAG,SAAS,CAAC,GAAG,KAAK,CAAC;QACxC,CAAC;QACD,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;gBAAE,MAAM,IAAI,aAAa,CAAC,6CAA6C,CAAC,CAAC;YACzF,MAAM,CAAC,GAAG,CAAC,QAAQ,GAAG,SAAS,CAAC,GAAG,KAAK,CAAC;YACzC,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAChE,CAAC;QACD,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,gBAAgB,CAAC;QACtB,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ;YACX,MAAM,IAAI,aAAa,CACrB,GAAG,IAAI,8DAA8D,CACtE,CAAC;QACJ,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,MAAM,GAAU,IAAI,CAAC;YAC3B,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;AACH,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,IAAI,CAClB,QAA2B,EAC3B,SAA4B,EAC5B,GAA0B,EAC1B,KAAK,GAAG,CAAC;IAET,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,aAAa,CAAC,8CAA8C,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACxE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;AAC1C,CAAC"}

package/dist/composition/probe/run-manifest.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Discovery-run manifest construction (schema v0).
+ *
+ * @module composition/probe/run-manifest
+ */
+import type { DiscoveryBackendDescriptor, DiscoveryRunManifest, EnvironmentFingerprint, SearchBudget, SearchStopReason } from './types.js';
+/** Capture host environment. @internal */
+export declare function captureEnvironment(): EnvironmentFingerprint;
+export interface ManifestDraft {
+    readonly runId: string;
+    readonly repositoryCommit: string;
+    readonly problem: unknown;
+    readonly datasetHashes?: readonly string[];
+    readonly backendDescriptors?: readonly DiscoveryBackendDescriptor[];
+    readonly randomSeeds?: Readonly<Record<string, string | number>>;
+    readonly tolerances?: Readonly<Record<string, number>>;
+    readonly searchBudget?: SearchBudget;
+    readonly startedAt?: string;
+}
+/** Open a run manifest (completedAt / stopReason filled at close). @internal */
+export declare function openManifest(draft: ManifestDraft): DiscoveryRunManifest;
+/** Close a manifest with stop reason and completion time. @internal */
+export declare function closeManifest(open: DiscoveryRunManifest, stopReason: SearchStopReason, completedAt?: string): DiscoveryRunManifest;
+//# sourceMappingURL=run-manifest.d.ts.map

package/dist/composition/probe/run-manifest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-manifest.d.ts","sourceRoot":"","sources":["../../../src/composition/probe/run-manifest.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EACV,0BAA0B,EAC1B,oBAAoB,EACpB,sBAAsB,EACtB,YAAY,EACZ,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAIpB,0CAA0C;AAC1C,wBAAgB,kBAAkB,IAAI,sBAAsB,CAM3D;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,0BAA0B,EAAE,CAAC;IACpE,QAAQ,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC;IACjE,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACvD,QAAQ,CAAC,YAAY,CAAC,EAAE,YAAY,CAAC;IACrC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,gFAAgF;AAChF,wBAAgB,YAAY,CAAC,KAAK,EAAE,aAAa,GAAG,oBAAoB,CA0BvE;AAED,uEAAuE;AACvE,wBAAgB,aAAa,CAC3B,IAAI,EAAE,oBAAoB,EAC1B,UAAU,EAAE,gBAAgB,EAC5B,WAAW,SAA2B,GACrC,oBAAoB,CAEtB"}

package/dist/composition/probe/run-manifest.js

@@ -0,0 +1,48 @@
+/**
+ * Discovery-run manifest construction (schema v0).
+ *
+ * @module composition/probe/run-manifest
+ */
+import { DEFAULT_SEARCH_BUDGET, SCHEMA_VERSION } from './types.js';
+import { hashCanonical } from './serialize.js';
+/** Capture host environment. @internal */
+export function captureEnvironment() {
+    return {
+        node: process.versions.node,
+        platform: process.platform,
+        arch: process.arch,
+    };
+}
+/** Open a run manifest (completedAt / stopReason filled at close). @internal */
+export function openManifest(draft) {
+    if (!draft.runId.startsWith('dr-')) {
+        throw new RangeError(`openManifest: runId must start with 'dr-' (got '${draft.runId}')`);
+    }
+    return {
+        schemaVersion: SCHEMA_VERSION,
+        runId: draft.runId,
+        repositoryCommit: draft.repositoryCommit,
+        problemHash: hashCanonical(draft.problem),
+        datasetHashes: draft.datasetHashes ?? [],
+        backendDescriptors: draft.backendDescriptors ?? [
+            {
+                protocolVersion: '0',
+                backendId: 'native',
+                backendVersion: SCHEMA_VERSION,
+                capabilities: ['grammar-enumerator'],
+                deterministic: 'yes',
+            },
+        ],
+        randomSeeds: draft.randomSeeds ?? {},
+        tolerances: draft.tolerances ?? { holdoutRmse: 0.15 },
+        environment: captureEnvironment(),
+        searchBudget: draft.searchBudget ?? DEFAULT_SEARCH_BUDGET,
+        startedAt: draft.startedAt ?? new Date().toISOString(),
+        nondeterminism: [],
+    };
+}
+/** Close a manifest with stop reason and completion time. @internal */
+export function closeManifest(open, stopReason, completedAt = new Date().toISOString()) {
+    return { ...open, stopReason, completedAt };
+}
+//# sourceMappingURL=run-manifest.js.map

package/dist/composition/probe/run-manifest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-manifest.js","sourceRoot":"","sources":["../../../src/composition/probe/run-manifest.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AASH,OAAO,EAAE,qBAAqB,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AACnE,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAE/C,0CAA0C;AAC1C,MAAM,UAAU,kBAAkB;IAChC,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI;QAC3B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,IAAI,EAAE,OAAO,CAAC,IAAI;KACnB,CAAC;AACJ,CAAC;AAcD,gFAAgF;AAChF,MAAM,UAAU,YAAY,CAAC,KAAoB;IAC/C,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,UAAU,CAAC,mDAAmD,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;IAC3F,CAAC;IACD,OAAO;QACL,aAAa,EAAE,cAAc;QAC7B,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,WAAW,EAAE,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC;QACzC,aAAa,EAAE,KAAK,CAAC,aAAa,IAAI,EAAE;QACxC,kBAAkB,EAAE,KAAK,CAAC,kBAAkB,IAAI;YAC9C;gBACE,eAAe,EAAE,GAAG;gBACpB,SAAS,EAAE,QAAQ;gBACnB,cAAc,EAAE,cAAc;gBAC9B,YAAY,EAAE,CAAC,oBAAoB,CAAC;gBACpC,aAAa,EAAE,KAAK;aACrB;SACF;QACD,WAAW,EAAE,KAAK,CAAC,WAAW,IAAI,EAAE;QACpC,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE;QACrD,WAAW,EAAE,kBAAkB,EAAE;QACjC,YAAY,EAAE,KAAK,CAAC,YAAY,IAAI,qBAAqB;QACzD,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACtD,cAAc,EAAE,EAAE;KACnB,CAAC;AACJ,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,aAAa,CAC3B,IAA0B,EAC1B,UAA4B,EAC5B,WAAW,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;IAEtC,OAAO,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC;AAC9C,CAAC"}

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

@@ -0,0 +1,19 @@
+/**
+ * Pareto scoring for probe candidates. Does not touch `VettedCandidate.score`.
+ *
+ * @module composition/probe/scoring
+ */
+import type { ProbeCandidateRecord, ScoreVector } from './types.js';
+/** Build a score vector. @internal */
+export declare function scoreCandidate(record: ProbeCandidateRecord, empirical?: number, corpusDistance?: number): ScoreVector;
+export interface RankedCandidate {
+    readonly record: ProbeCandidateRecord;
+    readonly scores: ScoreVector;
+    readonly pareto: boolean;
+}
+/** Pareto front (non-dominated) plus the rest, stable by id. @internal */
+export declare function rankPareto(items: readonly {
+    record: ProbeCandidateRecord;
+    scores: ScoreVector;
+}[]): RankedCandidate[];
+//# sourceMappingURL=scoring.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"scoring.d.ts","sourceRoot":"","sources":["../../../src/composition/probe/scoring.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAOpE,sCAAsC;AACtC,wBAAgB,cAAc,CAC5B,MAAM,EAAE,oBAAoB,EAC5B,SAAS,SAAI,EACb,cAAc,SAAI,GACjB,WAAW,CAgBb;AAkBD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED,0EAA0E;AAC1E,wBAAgB,UAAU,CACxB,KAAK,EAAE,SAAS;IAAE,MAAM,EAAE,oBAAoB,CAAC;IAAC,MAAM,EAAE,WAAW,CAAA;CAAE,EAAE,GACtE,eAAe,EAAE,CASnB"}

package/dist/composition/probe/scoring.js

@@ -0,0 +1,55 @@
+/**
+ * Pareto scoring for probe candidates. Does not touch `VettedCandidate.score`.
+ *
+ * @module composition/probe/scoring
+ */
+function clamp01(x) {
+    if (!Number.isFinite(x))
+        return 0;
+    return Math.min(1, Math.max(0, x));
+}
+/** Build a score vector. @internal */
+export function scoreCandidate(record, empirical = 0, corpusDistance = 1) {
+    const parsimony = clamp01(1 / (1 + record.complexity.astNodes / 8));
+    const validity = record.fingerprint.dimensionalSignature === 'invalid' ? 0 : 1;
+    const robustness = record.status === 'falsification-survivor' ||
+        record.status === 'expert-review-required'
+        ? 1
+        : record.status === 'heldout-supported'
+            ? 0.7
+            : 0.2;
+    return {
+        validity,
+        empirical: clamp01(empirical),
+        parsimony,
+        corpusDistance: clamp01(corpusDistance),
+        robustness,
+    };
+}
+function dominates(a, b) {
+    const keys = [
+        'validity',
+        'empirical',
+        'parsimony',
+        'corpusDistance',
+        'robustness',
+    ];
+    let better = false;
+    for (const k of keys) {
+        if (a[k] < b[k] - 1e-12)
+            return false;
+        if (a[k] > b[k] + 1e-12)
+            better = true;
+    }
+    return better;
+}
+/** Pareto front (non-dominated) plus the rest, stable by id. @internal */
+export function rankPareto(items) {
+    return items
+        .map((it) => ({
+        ...it,
+        pareto: !items.some((other) => other.record.id !== it.record.id && dominates(other.scores, it.scores)),
+    }))
+        .sort((a, b) => Number(b.pareto) - Number(a.pareto) || a.record.id.localeCompare(b.record.id));
+}
+//# sourceMappingURL=scoring.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"scoring.js","sourceRoot":"","sources":["../../../src/composition/probe/scoring.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,SAAS,OAAO,CAAC,CAAS;IACxB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IAClC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACrC,CAAC;AAED,sCAAsC;AACtC,MAAM,UAAU,cAAc,CAC5B,MAA4B,EAC5B,SAAS,GAAG,CAAC,EACb,cAAc,GAAG,CAAC;IAElB,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,oBAAoB,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,KAAK,wBAAwB;QAC3D,MAAM,CAAC,MAAM,KAAK,wBAAwB;QAC1C,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,mBAAmB;YACrC,CAAC,CAAC,GAAG;YACL,CAAC,CAAC,GAAG,CAAC;IACV,OAAO;QACL,QAAQ;QACR,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC;QAC7B,SAAS;QACT,cAAc,EAAE,OAAO,CAAC,cAAc,CAAC;QACvC,UAAU;KACX,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,CAAc,EAAE,CAAc;IAC/C,MAAM,IAAI,GAA0B;QAClC,UAAU;QACV,WAAW;QACX,WAAW;QACX,gBAAgB;QAChB,YAAY;KACb,CAAC;IACF,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;YAAE,OAAO,KAAK,CAAC;QACtC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;YAAE,MAAM,GAAG,IAAI,CAAC;IACzC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAQD,0EAA0E;AAC1E,MAAM,UAAU,UAAU,CACxB,KAAuE;IAEvE,OAAO,KAAK;SACT,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACZ,GAAG,EAAE;QACL,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CACjB,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,CAClF;KACF,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;AACnG,CAAC"}

package/dist/composition/probe/search-budget.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Search-budget accounting for Product B. Product A (`rankDiscoveries`) is
+ * already finite and must not grow AST-depth caps.
+ *
+ * @module composition/probe/search-budget
+ */
+import type { SearchBudget, SearchStopReason } from './types.js';
+import { DEFAULT_SEARCH_BUDGET } from './types.js';
+export { DEFAULT_SEARCH_BUDGET };
+/** Mutable counters for one run. @internal */
+export interface BudgetState {
+    readonly budget: SearchBudget;
+    readonly startedAtMs: number;
+    candidates: number;
+    evaluations: number;
+}
+/** Open a budget clock. @internal */
+export declare function openBudget(budget?: SearchBudget): BudgetState;
+/**
+ * First violated stop reason, or `undefined` if the search may continue.
+ * @internal
+ */
+export declare function budgetStopReason(state: BudgetState): SearchStopReason | undefined;
+/** True when another candidate may be emitted. @internal */
+export declare function canEmitCandidate(state: BudgetState): boolean;
+//# sourceMappingURL=search-budget.d.ts.map

package/dist/composition/probe/search-budget.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"search-budget.d.ts","sourceRoot":"","sources":["../../../src/composition/probe/search-budget.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAEnD,OAAO,EAAE,qBAAqB,EAAE,CAAC;AAEjC,8CAA8C;AAC9C,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,qCAAqC;AACrC,wBAAgB,UAAU,CAAC,MAAM,GAAE,YAAoC,GAAG,WAAW,CAOpF;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,WAAW,GAAG,gBAAgB,GAAG,SAAS,CAMjF;AAED,4DAA4D;AAC5D,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAE5D"}

package/dist/composition/probe/search-budget.js

@@ -0,0 +1,36 @@
+/**
+ * Search-budget accounting for Product B. Product A (`rankDiscoveries`) is
+ * already finite and must not grow AST-depth caps.
+ *
+ * @module composition/probe/search-budget
+ */
+import { DEFAULT_SEARCH_BUDGET } from './types.js';
+export { DEFAULT_SEARCH_BUDGET };
+/** Open a budget clock. @internal */
+export function openBudget(budget = DEFAULT_SEARCH_BUDGET) {
+    return {
+        budget,
+        startedAtMs: Date.now(),
+        candidates: 0,
+        evaluations: 0,
+    };
+}
+/**
+ * First violated stop reason, or `undefined` if the search may continue.
+ * @internal
+ */
+export function budgetStopReason(state) {
+    const { budget } = state;
+    if (state.candidates >= budget.maxCandidates)
+        return 'candidate-limit';
+    if (state.evaluations >= budget.maxEvaluations)
+        return 'evaluation-limit';
+    if (Date.now() - state.startedAtMs >= budget.maxWallClockMs)
+        return 'time-limit';
+    return undefined;
+}
+/** True when another candidate may be emitted. @internal */
+export function canEmitCandidate(state) {
+    return budgetStopReason(state) === undefined;
+}
+//# sourceMappingURL=search-budget.js.map

package/dist/composition/probe/search-budget.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"search-budget.js","sourceRoot":"","sources":["../../../src/composition/probe/search-budget.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAEnD,OAAO,EAAE,qBAAqB,EAAE,CAAC;AAUjC,qCAAqC;AACrC,MAAM,UAAU,UAAU,CAAC,SAAuB,qBAAqB;IACrE,OAAO;QACL,MAAM;QACN,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE;QACvB,UAAU,EAAE,CAAC;QACb,WAAW,EAAE,CAAC;KACf,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAkB;IACjD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,IAAI,KAAK,CAAC,UAAU,IAAI,MAAM,CAAC,aAAa;QAAE,OAAO,iBAAiB,CAAC;IACvE,IAAI,KAAK,CAAC,WAAW,IAAI,MAAM,CAAC,cAAc;QAAE,OAAO,kBAAkB,CAAC;IAC1E,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,WAAW,IAAI,MAAM,CAAC,cAAc;QAAE,OAAO,YAAY,CAAC;IACjF,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,gBAAgB,CAAC,KAAkB;IACjD,OAAO,gBAAgB,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC;AAC/C,CAAC"}

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

@@ -0,0 +1,33 @@
+/**
+ * Canonical JSON serialization and hashing for Product B probe artifacts.
+ *
+ * Object keys are sorted lexicographically; `undefined` properties are omitted;
+ * arrays keep encounter order. A `Date` (if somehow passed) serializes as
+ * ISO-8601 rather than as an empty object — `Object.keys(date)` is empty, so
+ * the object walk is skipped for dates.
+ *
+ * Hashes use SHA-256 over this canonical form. Experimental — not a public
+ * API stability surface (`src/index.ts` does not re-export this module).
+ *
+ * @module composition/probe/serialize
+ */
+/**
+ * Deterministic JSON string: sorted object keys, `undefined` omitted, arrays
+ * in encounter order. `Date` values become ISO-8601 strings.
+ *
+ * @internal
+ */
+export declare function canonicalJson(value: unknown): string;
+/**
+ * SHA-256 digest of `text` as lowercase hex.
+ *
+ * @internal
+ */
+export declare function sha256Hex(text: string): string;
+/**
+ * SHA-256 of {@link canonicalJson} applied to `value`.
+ *
+ * @internal
+ */
+export declare function hashCanonical(value: unknown): string;
+//# sourceMappingURL=serialize.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"serialize.d.ts","sourceRoot":"","sources":["../../../src/composition/probe/serialize.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAGpD;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE9C;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEpD"}

package/dist/composition/probe/serialize.js

@@ -0,0 +1,61 @@
+/**
+ * Canonical JSON serialization and hashing for Product B probe artifacts.
+ *
+ * Object keys are sorted lexicographically; `undefined` properties are omitted;
+ * arrays keep encounter order. A `Date` (if somehow passed) serializes as
+ * ISO-8601 rather than as an empty object — `Object.keys(date)` is empty, so
+ * the object walk is skipped for dates.
+ *
+ * Hashes use SHA-256 over this canonical form. Experimental — not a public
+ * API stability surface (`src/index.ts` does not re-export this module).
+ *
+ * @module composition/probe/serialize
+ */
+import { createHash } from 'node:crypto';
+/**
+ * Deterministic JSON string: sorted object keys, `undefined` omitted, arrays
+ * in encounter order. `Date` values become ISO-8601 strings.
+ *
+ * @internal
+ */
+export function canonicalJson(value) {
+    const json = JSON.stringify(canonicalize(value));
+    return json === undefined ? 'null' : json;
+}
+/**
+ * SHA-256 digest of `text` as lowercase hex.
+ *
+ * @internal
+ */
+export function sha256Hex(text) {
+    return createHash('sha256').update(text, 'utf8').digest('hex');
+}
+/**
+ * SHA-256 of {@link canonicalJson} applied to `value`.
+ *
+ * @internal
+ */
+export function hashCanonical(value) {
+    return sha256Hex(canonicalJson(value));
+}
+function canonicalize(value) {
+    if (value === null || typeof value !== 'object') {
+        return value;
+    }
+    if (value instanceof Date) {
+        return value.toISOString();
+    }
+    if (Array.isArray(value)) {
+        return value.map((item) => (item === undefined ? null : canonicalize(item)));
+    }
+    const obj = value;
+    const sorted = {};
+    for (const key of Object.keys(obj).sort()) {
+        const item = obj[key];
+        if (item === undefined)
+            continue;
+        sorted[key] = canonicalize(item);
+    }
+    return sorted;
+}
+//# sourceMappingURL=serialize.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"serialize.js","sourceRoot":"","sources":["../../../src/composition/probe/serialize.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IACjD,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACjE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,OAAO,SAAS,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,KAAK,YAAY,IAAI,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAC,WAAW,EAAE,CAAC;IAC7B,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/E,CAAC;IACD,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;QACtB,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,MAAM,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

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

@@ -0,0 +1,51 @@
+/**
+ * Cheap structure probes: regime changepoint, scale symmetry, conserved dQ/dt.
+ *
+ * Task-0 style: recover a synthetic signal or honestly abstain. Never flips
+ * `axes.ts` `gated`.
+ *
+ * @internal
+ */
+export interface ChangepointInput {
+    readonly x: readonly number[];
+    readonly y: readonly number[];
+}
+export interface ChangepointResult {
+    readonly index: number | null;
+    readonly score: number;
+    readonly abstained: boolean;
+    readonly reason?: string;
+}
+/**
+ * Two-mean changepoint: scan split index maximizing |μ_left − μ_right|.
+ * Abstains on short series or when the best split is weaker than `minScore`.
+ *
+ * @internal
+ */
+export declare function detectMeanChangepoint(input: ChangepointInput, minScore?: number): ChangepointResult;
+export interface ScaleSymmetryInput {
+    readonly x: readonly number[];
+    readonly y: readonly number[];
+}
+/**
+ * Ordinary-least-squares log-log slope. Abstains if x or y are non-positive.
+ *
+ * @internal
+ */
+export declare function estimateScaleExponent(input: ScaleSymmetryInput): {
+    exponent: number | null;
+    abstained: boolean;
+    reason?: string;
+};
+/**
+ * Finite-difference conservation probe: mean |ΔQ/Δt| ≈ 0.
+ *
+ * @internal
+ */
+export declare function probeConservation(q: readonly number[], t: readonly number[], atol?: number): {
+    conserved: boolean;
+    meanAbsRate: number;
+    abstained: boolean;
+    reason?: string;
+};
+//# sourceMappingURL=structure.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"structure.d.ts","sourceRoot":"","sources":["../../../src/composition/probe/structure.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,QAAQ,CAAC,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/B;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,gBAAgB,EACvB,QAAQ,SAAM,GACb,iBAAiB,CAsBnB;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,QAAQ,CAAC,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/B;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,kBAAkB,GAAG;IAChE,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,SAAS,EAAE,OAAO,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,CAyBA;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,CAAC,EAAE,SAAS,MAAM,EAAE,EACpB,CAAC,EAAE,SAAS,MAAM,EAAE,EACpB,IAAI,SAAO,GACV;IAAE,SAAS,EAAE,OAAO,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAiBlF"}