universal-physics-tensor 8.0.0 → 10.0.0

package/dist/cli/commands/probe.js

@@ -11,6 +11,7 @@ import { resolveGraph } from '../graphs.js';
 import { emitJson } from '../output.js';
 import { UsageError, CliError } from '../errors.js';
 import { publishedUrl } from '../published-url.js';
+import { PROBE_BUDGET_MS_DEFAULT, PROBE_CORRECTION_TERMS_MAX, PROBE_HOLDOUT_TOL_DEFAULT, PROBE_STUDY_ALPHA_DEFAULT, } from '../library-defaults.js';
 const PROBE_SUBCOMMANDS = [
     { name: 'scan', summary: 'List typed frontier gaps. The default listing is the searchable ones.' },
     { name: 'show', summary: 'Print one gap by id.' },
@@ -27,8 +28,8 @@ const FLAGS = [
     sourceFlag('catalog', 'Which graph a subverb reads: catalog, canonical, or both.'),
     JSON_FLAG,
     { name: '--problem', valueStyle: 'attached', description: 'Problem JSON file for run, candidates, falsify, rank, and reproduce.' },
-    { name: '--budget-ms', valueStyle: 'attached', description: 'Wall-clock cap in milliseconds.', defaultValue: '5000' },
-    { name: '--holdout-tol', valueStyle: 'attached', description: 'Relative holdout RMSE cap.', defaultValue: '0.15' },
+    { name: '--budget-ms', valueStyle: 'attached', description: 'Wall-clock cap in milliseconds.', defaultValue: PROBE_BUDGET_MS_DEFAULT },
+    { name: '--holdout-tol', valueStyle: 'attached', description: 'Relative holdout RMSE cap.', defaultValue: PROBE_HOLDOUT_TOL_DEFAULT },
     { name: '--worker', valueStyle: 'attached', description: 'Optional NDJSON worker, spawned as node PATH. The path must be a .js, .mjs, or .cjs file.' },
     { name: '--bounds', valueStyle: 'attached', description: 'Bounds for design, as the design subverb reads them.' },
     { name: '--h1', valueStyle: 'attached', description: 'First hypothesis for design.' },
@@ -37,7 +38,7 @@ const FLAGS = [
     { name: '--all', valueStyle: 'none', description: 'scan: include Product A wrappers, which are not searchable here.' },
     { name: '--data', valueStyle: 'attached', description: 'Study file (JSON, or CSV when the name ends in .csv) for study.' },
     { name: '--replication', valueStyle: 'attached', description: 'study: replication rows from a separate JSON or CSV file.' },
-    { name: '--alpha', valueStyle: 'attached', description: 'study: χ² test level.', defaultValue: 'the file\'s alpha, else 0.001' },
+    { name: '--alpha', valueStyle: 'attached', description: 'study: χ² test level.', defaultValue: `the file's alpha, else ${PROBE_STUDY_ALPHA_DEFAULT}` },
 ];
 /**
  * The text printed when a scan has gaps and none of them are searchable.
@@ -83,11 +84,11 @@ const HELP = `upt probe <scan|show|run|candidates|falsify|rank|design|reproduce|
                              or CSV) with its own provenance
         --searchable-only    scan: only Product-B-searchable gaps (default)
         --all                scan: include Product A wrappers (not searchable)
-        --budget-ms=N        wall-clock cap (default 5000)
-        --holdout-tol=X      relative holdout RMSE cap (default 0.15)
+        --budget-ms=N        wall-clock cap (default ${PROBE_BUDGET_MS_DEFAULT})
+        --holdout-tol=X      relative holdout RMSE cap (default ${PROBE_HOLDOUT_TOL_DEFAULT})
         --worker=PATH        optional NDJSON worker (spawned as node PATH)
         --source=catalog|canonical|both   the graph a subverb reads (default catalog)
-        --alpha=X            study: χ² test level (default: the file's, else 0.001)
+        --alpha=X            study: χ² test level (default: the file's, else ${PROBE_STUDY_ALPHA_DEFAULT})
         --json               machine envelope
 
         PROBLEM FILE (--problem=FILE, JSON)
@@ -144,10 +145,10 @@ const HELP = `upt probe <scan|show|run|candidates|falsify|rank|design|reproduce|
                      models over the governing names in SI units, e.g.
                      "2*pi*sqrt(length/gravity)"; must have the target's dimension.
                      fitPrefactor (default false) fits one scale on exploratory rows.
-        criterion    optional {"alpha"} (default 0.001)
+        criterion    optional {"alpha"} (default ${PROBE_STUDY_ALPHA_DEFAULT})
         design       optional {"variables": {input: {"min", "max", "steps"?}}}
         correction   optional {"input": <dimensionless input u>, "powers": [2, 4]},
-                     or a list of them, one per input (at most 6 powers in all):
+                     or a list of them, one per input (at most ${PROBE_CORRECTION_TERMS_MAX} powers in all):
                      also search m(x)·(1 + c₁u² + c₂u⁴ + …) for each monomial m,
                      fit on exploratory rows only. Terms are admitted in the
                      declared order, family by family, while each passes an
@@ -194,7 +195,7 @@ function budgetFromFlags(api, flags) {
         return undefined;
     const n = Number(raw);
     if (!Number.isFinite(n) || n <= 0) {
-        throw new UsageError('upt probe: --budget-ms must be a positive number');
+        throw new CliError('upt probe: --budget-ms must be a positive number');
     }
     return { ...api.DEFAULT_SEARCH_BUDGET, maxWallClockMs: n };
 }
@@ -204,7 +205,7 @@ function holdoutTolFromFlags(flags) {
         return undefined;
     const n = Number(raw);
     if (!Number.isFinite(n) || n <= 0) {
-        throw new UsageError('upt probe: --holdout-tol must be a positive number');
+        throw new CliError('upt probe: --holdout-tol must be a positive number');
     }
     return n;
 }
@@ -214,32 +215,52 @@ function problemPath(flags) {
         throw new UsageError('upt probe: --problem=FILE is required for this subverb');
     return p;
 }
+/** The `code` and `path` Node puts on a failed file-system call; empty for any other error. */
+function errnoOf(e) {
+    if (!(e instanceof Error))
+        return {};
+    const code = 'code' in e ? e.code : undefined;
+    const path = 'path' in e ? e.path : undefined;
+    return {
+        ...(typeof code === 'string' ? { code } : {}),
+        ...(typeof path === 'string' ? { path } : {}),
+    };
+}
 /** Map probe file/parse failures to CLI errors (no stack traces). */
-function mapProbeError(e, context) {
+function mapProbeError(api, e, context) {
     if (e instanceof UsageError || e instanceof CliError)
         throw e;
-    const err = e;
-    if (err?.code === 'ENOENT') {
-        throw new CliError(`upt probe: file not found: ${err.path ?? context ?? 'unknown'}`);
+    const errno = errnoOf(e);
+    if (errno.code === 'ENOENT') {
+        throw new CliError(`upt probe: file not found: ${errno.path ?? context ?? 'unknown'}`);
     }
     if (e instanceof SyntaxError) {
         throw new CliError(`upt probe: invalid JSON${context ? ` in ${context}` : ''}: ${e.message}`);
     }
+    // The loader checks every field it reads and names the one that is wrong.
+    if (e instanceof api.ProblemFileError) {
+        throw new CliError(`upt probe: ${context ?? 'the file'} is not a problem file: ${e.message}. \`upt help probe\` shows the format.`);
+    }
+    // A TypeError or a RangeError past those checks is a field of a shape the loader does not
+    // check. It is reported as that, with the engine's words marked as the engine's.
+    if (e instanceof TypeError || e instanceof RangeError) {
+        throw new CliError(`upt probe: ${context ?? 'the file'} has a field of a shape the probe does not read (internal: ${e.message}). \`upt help probe\` shows the format.`);
+    }
     if (e instanceof Error) {
         throw new CliError(`upt probe: ${e.message}`);
     }
     throw e;
 }
-function readJsonFile(path) {
+function readJsonFile(api, path) {
     try {
         return JSON.parse(readFileSync(path, 'utf8'));
     }
     catch (e) {
-        mapProbeError(e, path);
+        mapProbeError(api, e, path);
     }
 }
 /** Reject Node flag injection via `--worker=--import=…` etc. */
-function validateWorkerPath(worker) {
+function validateWorkerPath(api, worker) {
     if (worker.startsWith('-')) {
         throw new UsageError('upt probe: --worker must be a script path, not a Node flag');
     }
@@ -252,7 +273,7 @@ function validateWorkerPath(worker) {
         }
     }
     catch (e) {
-        mapProbeError(e, worker);
+        mapProbeError(api, e, worker);
     }
     return worker;
 }
@@ -332,10 +353,10 @@ async function run(ctx) {
         }
         let suggestion;
         try {
-            suggestion = api.suggestDiscriminatingPoint(api.parseExprJson(h1p), api.parseExprJson(h2p), api.parseDesignBounds(readJsonFile(bp), bp));
+            suggestion = api.suggestDiscriminatingPoint(api.parseExprJson(h1p), api.parseExprJson(h2p), api.parseDesignBounds(readJsonFile(api, bp), bp));
         }
         catch (e) {
-            mapProbeError(e);
+            mapProbeError(api, e);
         }
         if (args.flags.has('json')) {
             emitJson({ command: 'probe', epistemics: EPISTEMICS, result: suggestion }, ctx.write);
@@ -359,14 +380,17 @@ async function run(ctx) {
         problem = api.loadSearchProblemFromJson(pp);
     }
     catch (e) {
-        mapProbeError(e, pp);
+        mapProbeError(api, e, pp);
     }
     const workerRaw = args.flags.get('worker')?.[0];
-    const worker = workerRaw ? validateWorkerPath(workerRaw) : undefined;
+    // `--worker=` with nothing after it is not "no worker": it is refused, as `--replication=` is.
+    if (workerRaw === '')
+        throw new UsageError('upt probe: --worker needs a PATH (a .js, .mjs, or .cjs file)');
+    const worker = workerRaw === undefined ? undefined : validateWorkerPath(api, workerRaw);
     const result = await api.runProbeSearch(problem, {
         budget: budgetFromFlags(api, args.flags),
         holdoutTol: holdoutTolFromFlags(args.flags),
-        backendArgv: worker ? [process.execPath, worker] : undefined,
+        backendArgv: worker ? api.nodeWorkerArgv(worker) : undefined,
     });
     if (sub === 'run' || sub === 'reproduce' || sub === 'rank' || sub === 'candidates' || sub === 'falsify') {
         if (args.flags.has('json')) {
@@ -421,7 +445,7 @@ function alphaFromFlags(flags) {
         return undefined;
     const n = Number(raw);
     if (!Number.isFinite(n) || n <= 0 || n >= 1) {
-        throw new UsageError('upt probe: --alpha must be a number in (0, 1)');
+        throw new CliError('upt probe: --alpha must be a number in (0, 1)');
     }
     return n;
 }
@@ -440,14 +464,14 @@ async function runStudy(ctx, source) {
         study = api.loadStudyFile(path, replication);
     }
     catch (e) {
-        mapProbeError(e, e instanceof SyntaxError ? undefined : path);
+        mapProbeError(api, e, e instanceof SyntaxError ? undefined : path);
     }
     let result;
     try {
         result = await api.runProbeStudy(study, { budget, alpha });
     }
     catch (e) {
-        mapProbeError(e, path);
+        mapProbeError(api, e, path);
     }
     if (args.flags.has('json')) {
         emitJson({ command: 'probe', source, epistemics: EPISTEMICS, options: { subverb: 'study' }, result }, ctx.write);

package/dist/cli/commands/probe.js.map

@@ -1 +1 @@
-{"version":3,"file":"probe.js","sourceRoot":"","sources":["../../../src/cli/commands/probe.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAEjD,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD,MAAM,iBAAiB,GAAG;IACxB,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,uEAAuE,EAAE;IAClG,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,sBAAsB,EAAE;IACjD,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,2CAA2C,EAAE;IACrE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,0CAA0C,EAAE;IAC3E,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,uDAAuD,EAAE;IACrF,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,4CAA4C,EAAE;IACvE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,qEAAqE,EAAE;IAClG,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,qDAAqD,EAAE;IACrF,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,gFAAgF,EAAE;CACpG,CAAC;AACX,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAGtD,MAAM,KAAK,GAAe;IACxB,UAAU,CAAC,SAAS,EAAE,2DAA2D,CAAC;IAClF,SAAS;IACT,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,sEAAsE,EAAE;IAClI,EAAE,IAAI,EAAE,aAAa,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,iCAAiC,EAAE,YAAY,EAAE,MAAM,EAAE;IACrH,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,4BAA4B,EAAE,YAAY,EAAE,MAAM,EAAE;IAClH,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,2FAA2F,EAAE;IACtJ,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,sDAAsD,EAAE;IACjH,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,8BAA8B,EAAE;IACrF,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,+BAA+B,EAAE;IACtF,EAAE,IAAI,EAAE,mBAAmB,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,iEAAiE,EAAE;IACjI,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,kEAAkE,EAAE;IACtH,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,iEAAiE,EAAE;IAC1H,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,2DAA2D,EAAE;IAC3H,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,uBAAuB,EAAE,YAAY,EAAE,+BAA+B,EAAE;CACjI,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAa;IAClD,OAAO;QACL,sCAAsC;QACtC,UAAU,KAAK,oCAAoC;YACjD,8CAA8C;QAChD,+DAA+D;QAC/D,wGAAwG;YACtG,yCAAyC;KAC5C,CAAC;AACJ,CAAC;AAED,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8BA6HiB,YAAY,CAAC,4BAA4B,CAAC;;;qDAGnB,CAAC;AAEtD,MAAM,UAAU,GACd,+FAA+F,CAAC;AAElG,SAAS,SAAS,CAAC,CAAqB;IACtC,OAAO,QAAQ,CAAC,QAAQ,CAAC,CAAY,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,eAAe,CAAC,GAAsB,EAAE,KAA4B;IAC3E,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,UAAU,CAAC,kDAAkD,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,EAAE,GAAG,GAAG,CAAC,qBAAqB,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;AAC7D,CAAC;AAED,SAAS,mBAAmB,CAAC,KAA4B;IACvD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1C,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,UAAU,CAAC,oDAAoD,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,WAAW,CAAC,KAA4B;IAC/C,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,UAAU,CAAC,wDAAwD,CAAC,CAAC;IACvF,OAAO,CAAC,CAAC;AACX,CAAC;AAED,qEAAqE;AACrE,SAAS,aAAa,CAAC,CAAU,EAAE,OAAgB;IACjD,IAAI,CAAC,YAAY,UAAU,IAAI,CAAC,YAAY,QAAQ;QAAE,MAAM,CAAC,CAAC;IAC9D,MAAM,GAAG,GAAG,CAA0B,CAAC;IACvC,IAAI,GAAG,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,MAAM,IAAI,QAAQ,CAAC,8BAA8B,GAAG,CAAC,IAAI,IAAI,OAAO,IAAI,SAAS,EAAE,CAAC,CAAC;IACvF,CAAC;IACD,IAAI,CAAC,YAAY,WAAW,EAAE,CAAC;QAC7B,MAAM,IAAI,QAAQ,CAChB,0BAA0B,OAAO,CAAC,CAAC,CAAC,OAAO,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,EAAE,CAC1E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,YAAY,KAAK,EAAE,CAAC;QACvB,MAAM,IAAI,QAAQ,CAAC,cAAc,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IAChD,CAAC;IACD,MAAM,CAAC,CAAC;AACV,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAChD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACzB,CAAC;AACH,CAAC;AAED,gEAAgE;AAChE,SAAS,kBAAkB,CAAC,MAAc;IACxC,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,UAAU,CAAC,4DAA4D,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,UAAU,CAAC,uDAAuD,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,CAAC;QACH,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;YAC/B,MAAM,IAAI,UAAU,CAAC,sCAAsC,MAAM,EAAE,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,aAAa,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,UAAU,CAClB,8BAA8B,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,4BAA4B,CAC7E,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAExD,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QACnB,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,iBAAiB,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/D,MAAM,IAAI,UAAU,CAAC,wDAAwD,CAAC,CAAC;QACjF,CAAC;QACD,uEAAuE;QACvE,oEAAoE;QACpE,mEAAmE;QACnE,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,GAAG,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC;QAClD,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;QACrE,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC;QAC5C,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,QAAQ,CACN;gBACE,OAAO,EAAE,OAAO;gBAChB,MAAM;gBACN,UAAU,EAAE,UAAU;gBACtB,OAAO,EAAE;oBACP,IAAI,EAAE;wBACJ,KAAK,EAAE,OAAO,CAAC,MAAM;wBACrB,UAAU,EAAE,UAAU,CAAC,MAAM;wBAC7B,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,iBAAiB;qBAC7C;iBACF;gBACD,MAAM,EAAE,IAAI;aACb,EACD,GAAG,CAAC,KAAK,CACV,CAAC;YACF,OAAO,CAAC,CAAC;QACX,CAAC;QACD,IAAI,CAAC,OAAO,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9D,KAAK,MAAM,IAAI,IAAI,sBAAsB,CAAC,OAAO,CAAC,MAAM,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YACrE,OAAO,CAAC,CAAC;QACX,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC;YACnD,GAAG,CACD,MAAM,OAAO,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,sDAAsD,CAC/F,CAAC;QACJ,CAAC;QACD,IACE,CAAC,OAAO;YACR,UAAU,CAAC,MAAM,GAAG,CAAC;YACrB,UAAU,CAAC,KAAK,CACd,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,qBAAqB;gBAChC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;gBAC3B,CAAC,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,CAC9B,EACD,CAAC;YACD,GAAG,CACD,uGAAuG;gBACrG,0GAA0G,CAC7G,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QACnB,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,CAAC,EAAE;YAAE,MAAM,IAAI,UAAU,CAAC,6DAA6D,CAAC,CAAC;QAC7F,MAAM,GAAG,GAAG,GAAG,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACvE,IAAI,CAAC,GAAG;YAAE,MAAM,IAAI,QAAQ,CAAC,2BAA2B,EAAE,iBAAiB,CAAC,CAAC;QAC7E,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,QAAQ,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;YACvF,OAAO,CAAC,CAAC;QACX,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC;QAChC,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;QACrB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC;YACxB,MAAM,IAAI,UAAU,CAAC,0DAA0D,CAAC,CAAC;QACnF,CAAC;QACD,IAAI,UAAU,CAAC;QACf,IAAI,CAAC;YACH,UAAU,GAAG,GAAG,CAAC,0BAA0B,CACzC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,EACtB,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,EACtB,GAAG,CAAC,iBAAiB,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAC5C,CAAC;QACJ,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,aAAa,CAAC,CAAC,CAAC,CAAC;QACnB,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,QAAQ,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;YACtF,OAAO,CAAC,CAAC;QACX,CAAC;QACD,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;YACzB,GAAG,CAAC,iCAAiC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;YAC1D,OAAO,CAAC,CAAC;QACX,CAAC;QACD,GAAG,CAAC,iFAAiF,CAAC,CAAC;QACvF,GAAG,CAAC,gCAAgC,UAAU,CAAC,cAAc,EAAE,CAAC,CAAC;QACjE,GAAG,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACnD,GAAG,CAAC,QAAQ,UAAU,CAAC,EAAE,QAAQ,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC;QAClD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,GAAG,KAAK,OAAO;QAAE,OAAO,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAElD,MAAM,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,OAAO,CAAC;IACZ,IAAI,CAAC;QACH,OAAO,GAAG,GAAG,CAAC,yBAAyB,CAAC,EAAE,CAAC,CAAC;IAC9C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,aAAa,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACvB,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACrE,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,cAAc,CAAC,OAAO,EAAE;QAC/C,MAAM,EAAE,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC;QACxC,UAAU,EAAE,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC;QAC3C,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;KAC7D,CAAC,CAAC;IAEH,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,WAAW,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,YAAY,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACxG,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,QAAQ,CACN;gBACE,OAAO,EAAE,OAAO;gBAChB,MAAM;gBACN,UAAU,EAAE,UAAU;gBACtB,OAAO,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE;gBACzB,MAAM,EAAE;oBACN,UAAU,EAAE,MAAM,CAAC,UAAU;oBAC7B,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK;oBAC5B,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wBACxC,EAAE,EAAE,CAAC,CAAC,EAAE;wBACR,MAAM,EAAE,CAAC,CAAC,MAAM;wBAChB,WAAW,EAAE,CAAC,CAAC,WAAW;wBAC1B,UAAU,EAAE,CAAC,CAAC,UAAU;qBACzB,CAAC,CAAC;oBACH,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wBAChC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE;wBACf,MAAM,EAAE,CAAC,CAAC,MAAM;wBAChB,MAAM,EAAE,CAAC,CAAC,MAAM;wBAChB,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM;qBACxB,CAAC,CAAC;oBACH,OAAO,EAAE,MAAM,CAAC,OAAO;oBACvB,GAAG,CAAC,GAAG,KAAK,SAAS;wBACnB,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,EAAE;wBAC/E,CAAC,CAAC,EAAE,CAAC;iBACR;aACF,EACD,GAAG,CAAC,KAAK,CACV,CAAC;YACF,OAAO,CAAC,CAAC;QACX,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC;QACnC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,KAAK,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC;gBAC9D,GAAG,CAAC,eAAe,EAAE,aAAa,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;gBAClD,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO;oBAAE,GAAG,CAAC,OAAO,GAAG,CAAC,OAAO,KAAK,GAAG,CAAC,OAAO,MAAM,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;YAC3F,CAAC;YACD,qEAAqE;YACrE,+CAA+C;YAC/C,KAAK,MAAM,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;gBACrC,GAAG,CAAC,eAAe,CAAC,CAAC,EAAE,+BAA+B,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YACjF,CAAC;QACH,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,IAAI,UAAU,CAAC,iCAAiC,GAAG,GAAG,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,cAAc,CAAC,KAA4B;IAClD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,UAAU,CAAC,+CAA+C,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,KAAK,UAAU,QAAQ,CAAC,GAAe,EAAE,MAAiD;IACxF,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,UAAU,CAAC,0CAA0C,CAAC,CAAC;IAC5E,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvD,IAAI,WAAW,KAAK,EAAE;QAAE,MAAM,IAAI,UAAU,CAAC,6CAA6C,CAAC,CAAC;IAC5F,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,KAAK,CAAC;IACV,IAAI,CAAC;QACH,KAAK,GAAG,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC/C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,aAAa,CAAC,CAAC,EAAE,CAAC,YAAY,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,MAAM,CAAC;IACX,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,GAAG,CAAC,aAAa,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7D,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACzB,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,QAAQ,CACN,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,EAC3F,GAAG,CAAC,KAAK,CACV,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IACD,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC;IAClC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,wFAAwF;AACxF,MAAM,oBAAoB,GAAqC;IAC7D,kBAAkB,EAChB,sFAAsF;IACxF,QAAQ,EAAE,iDAAiD;IAC3D,uBAAuB,EAAE,kDAAkD;IAC3E,iBAAiB,EAAE,wCAAwC;IAC3D,oBAAoB,EAAE,mCAAmC;IACzD,SAAS,EAAE,iCAAiC;CAC7C,CAAC;AAEF,qEAAqE;AACrE,SAAS,YAAY,CAAC,MAGrB;IACC,OAAO,MAAM,CAAC,UAAU;SACrB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,MAAM,CAAC,cAAc,CAAC,CAAC;SAC/C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,2CAA2C;KACtF,CAAC,CAAC,CAAC;AACR,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,OAAO;IACb,OAAO,EAAE,EAAE;IACX,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,+DAA+D;IACxE,OAAO,EAAE,gBAAgB;IACzB,KAAK,EAAE,WAAW;IAClB,WAAW,EAAE,iBAAiB;IAC9B,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC"}
+{"version":3,"file":"probe.js","sourceRoot":"","sources":["../../../src/cli/commands/probe.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAEjD,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EACL,uBAAuB,EACvB,0BAA0B,EAC1B,yBAAyB,EACzB,yBAAyB,GAC1B,MAAM,wBAAwB,CAAC;AAEhC,MAAM,iBAAiB,GAAG;IACxB,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,uEAAuE,EAAE;IAClG,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,sBAAsB,EAAE;IACjD,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,2CAA2C,EAAE;IACrE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,0CAA0C,EAAE;IAC3E,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,uDAAuD,EAAE;IACrF,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,4CAA4C,EAAE;IACvE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,qEAAqE,EAAE;IAClG,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,qDAAqD,EAAE;IACrF,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,gFAAgF,EAAE;CACpG,CAAC;AACX,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAGtD,MAAM,KAAK,GAAe;IACxB,UAAU,CAAC,SAAS,EAAE,2DAA2D,CAAC;IAClF,SAAS;IACT,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,sEAAsE,EAAE;IAClI,EAAE,IAAI,EAAE,aAAa,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,iCAAiC,EAAE,YAAY,EAAE,uBAAuB,EAAE;IACtI,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,4BAA4B,EAAE,YAAY,EAAE,yBAAyB,EAAE;IACrI,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,2FAA2F,EAAE;IACtJ,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,sDAAsD,EAAE;IACjH,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,8BAA8B,EAAE;IACrF,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,+BAA+B,EAAE;IACtF,EAAE,IAAI,EAAE,mBAAmB,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,iEAAiE,EAAE;IACjI,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,kEAAkE,EAAE;IACtH,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,iEAAiE,EAAE;IAC1H,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,2DAA2D,EAAE;IAC3H,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,uBAAuB,EAAE,YAAY,EAAE,0BAA0B,yBAAyB,EAAE,EAAE;CACvJ,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAa;IAClD,OAAO;QACL,sCAAsC;QACtC,UAAU,KAAK,oCAAoC;YACjD,8CAA8C;QAChD,+DAA+D;QAC/D,wGAAwG;YACtG,yCAAyC;KAC5C,CAAC;AACJ,CAAC;AAED,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;uDA4B0C,uBAAuB;kEACZ,yBAAyB;;;+EAGZ,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mDAyDrD,yBAAyB;;;iEAGX,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8BAiC7D,YAAY,CAAC,4BAA4B,CAAC;;;qDAGnB,CAAC;AAEtD,MAAM,UAAU,GACd,+FAA+F,CAAC;AAElG,SAAS,SAAS,CAAC,CAAqB;IACtC,OAAO,QAAQ,CAAC,QAAQ,CAAC,CAAY,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,eAAe,CAAC,GAAsB,EAAE,KAA4B;IAC3E,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,QAAQ,CAAC,kDAAkD,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,EAAE,GAAG,GAAG,CAAC,qBAAqB,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;AAC7D,CAAC;AAED,SAAS,mBAAmB,CAAC,KAA4B;IACvD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1C,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,QAAQ,CAAC,oDAAoD,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,WAAW,CAAC,KAA4B;IAC/C,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,UAAU,CAAC,wDAAwD,CAAC,CAAC;IACvF,OAAO,CAAC,CAAC;AACX,CAAC;AAED,+FAA+F;AAC/F,SAAS,OAAO,CAAC,CAAU;IACzB,IAAI,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACrC,MAAM,IAAI,GAAY,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACvD,MAAM,IAAI,GAAY,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACvD,OAAO;QACL,GAAG,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,GAAG,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9C,CAAC;AACJ,CAAC;AAED,qEAAqE;AACrE,SAAS,aAAa,CAAC,GAAsB,EAAE,CAAU,EAAE,OAAgB;IACzE,IAAI,CAAC,YAAY,UAAU,IAAI,CAAC,YAAY,QAAQ;QAAE,MAAM,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,IAAI,QAAQ,CAAC,8BAA8B,KAAK,CAAC,IAAI,IAAI,OAAO,IAAI,SAAS,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,CAAC,YAAY,WAAW,EAAE,CAAC;QAC7B,MAAM,IAAI,QAAQ,CAChB,0BAA0B,OAAO,CAAC,CAAC,CAAC,OAAO,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,EAAE,CAC1E,CAAC;IACJ,CAAC;IACD,0EAA0E;IAC1E,IAAI,CAAC,YAAY,GAAG,CAAC,gBAAgB,EAAE,CAAC;QACtC,MAAM,IAAI,QAAQ,CAChB,cAAc,OAAO,IAAI,UAAU,2BAA2B,CAAC,CAAC,OAAO,wCAAwC,CAChH,CAAC;IACJ,CAAC;IACD,0FAA0F;IAC1F,iFAAiF;IACjF,IAAI,CAAC,YAAY,SAAS,IAAI,CAAC,YAAY,UAAU,EAAE,CAAC;QACtD,MAAM,IAAI,QAAQ,CAChB,cAAc,OAAO,IAAI,UAAU,8DAA8D,CAAC,CAAC,OAAO,yCAAyC,CACpJ,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,YAAY,KAAK,EAAE,CAAC;QACvB,MAAM,IAAI,QAAQ,CAAC,cAAc,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IAChD,CAAC;IACD,MAAM,CAAC,CAAC;AACV,CAAC;AAED,SAAS,YAAY,CAAC,GAAsB,EAAE,IAAY;IACxD,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAChD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,aAAa,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAC9B,CAAC;AACH,CAAC;AAED,gEAAgE;AAChE,SAAS,kBAAkB,CAAC,GAAsB,EAAE,MAAc;IAChE,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,UAAU,CAAC,4DAA4D,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,UAAU,CAAC,uDAAuD,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,CAAC;QACH,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;YAC/B,MAAM,IAAI,UAAU,CAAC,sCAAsC,MAAM,EAAE,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,aAAa,CAAC,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,UAAU,CAClB,8BAA8B,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,4BAA4B,CAC7E,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAExD,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QACnB,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,iBAAiB,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/D,MAAM,IAAI,UAAU,CAAC,wDAAwD,CAAC,CAAC;QACjF,CAAC;QACD,uEAAuE;QACvE,oEAAoE;QACpE,mEAAmE;QACnE,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,GAAG,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC;QAClD,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;QACrE,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC;QAC5C,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,QAAQ,CACN;gBACE,OAAO,EAAE,OAAO;gBAChB,MAAM;gBACN,UAAU,EAAE,UAAU;gBACtB,OAAO,EAAE;oBACP,IAAI,EAAE;wBACJ,KAAK,EAAE,OAAO,CAAC,MAAM;wBACrB,UAAU,EAAE,UAAU,CAAC,MAAM;wBAC7B,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,iBAAiB;qBAC7C;iBACF;gBACD,MAAM,EAAE,IAAI;aACb,EACD,GAAG,CAAC,KAAK,CACV,CAAC;YACF,OAAO,CAAC,CAAC;QACX,CAAC;QACD,IAAI,CAAC,OAAO,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9D,KAAK,MAAM,IAAI,IAAI,sBAAsB,CAAC,OAAO,CAAC,MAAM,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YACrE,OAAO,CAAC,CAAC;QACX,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC;YACnD,GAAG,CACD,MAAM,OAAO,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,sDAAsD,CAC/F,CAAC;QACJ,CAAC;QACD,IACE,CAAC,OAAO;YACR,UAAU,CAAC,MAAM,GAAG,CAAC;YACrB,UAAU,CAAC,KAAK,CACd,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,qBAAqB;gBAChC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;gBAC3B,CAAC,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,CAC9B,EACD,CAAC;YACD,GAAG,CACD,uGAAuG;gBACrG,0GAA0G,CAC7G,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QACnB,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,CAAC,EAAE;YAAE,MAAM,IAAI,UAAU,CAAC,6DAA6D,CAAC,CAAC;QAC7F,MAAM,GAAG,GAAG,GAAG,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACvE,IAAI,CAAC,GAAG;YAAE,MAAM,IAAI,QAAQ,CAAC,2BAA2B,EAAE,iBAAiB,CAAC,CAAC;QAC7E,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,QAAQ,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;YACvF,OAAO,CAAC,CAAC;QACX,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC;QAChC,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;QACrB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC;YACxB,MAAM,IAAI,UAAU,CAAC,0DAA0D,CAAC,CAAC;QACnF,CAAC;QACD,IAAI,UAAU,CAAC;QACf,IAAI,CAAC;YACH,UAAU,GAAG,GAAG,CAAC,0BAA0B,CACzC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,EACtB,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,EACtB,GAAG,CAAC,iBAAiB,CAAC,YAAY,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CACjD,CAAC;QACJ,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACxB,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,QAAQ,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;YACtF,OAAO,CAAC,CAAC;QACX,CAAC;QACD,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;YACzB,GAAG,CAAC,iCAAiC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;YAC1D,OAAO,CAAC,CAAC;QACX,CAAC;QACD,GAAG,CAAC,iFAAiF,CAAC,CAAC;QACvF,GAAG,CAAC,gCAAgC,UAAU,CAAC,cAAc,EAAE,CAAC,CAAC;QACjE,GAAG,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACnD,GAAG,CAAC,QAAQ,UAAU,CAAC,EAAE,QAAQ,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC;QAClD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,GAAG,KAAK,OAAO;QAAE,OAAO,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAElD,MAAM,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,OAAO,CAAC;IACZ,IAAI,CAAC;QACH,OAAO,GAAG,GAAG,CAAC,yBAAyB,CAAC,EAAE,CAAC,CAAC;IAC9C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,aAAa,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IAC5B,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAChD,+FAA+F;IAC/F,IAAI,SAAS,KAAK,EAAE;QAAE,MAAM,IAAI,UAAU,CAAC,8DAA8D,CAAC,CAAC;IAC3G,MAAM,MAAM,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IACxF,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,cAAc,CAAC,OAAO,EAAE;QAC/C,MAAM,EAAE,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC;QACxC,UAAU,EAAE,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC;QAC3C,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;KAC7D,CAAC,CAAC;IAEH,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,WAAW,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,YAAY,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACxG,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,QAAQ,CACN;gBACE,OAAO,EAAE,OAAO;gBAChB,MAAM;gBACN,UAAU,EAAE,UAAU;gBACtB,OAAO,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE;gBACzB,MAAM,EAAE;oBACN,UAAU,EAAE,MAAM,CAAC,UAAU;oBAC7B,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK;oBAC5B,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wBACxC,EAAE,EAAE,CAAC,CAAC,EAAE;wBACR,MAAM,EAAE,CAAC,CAAC,MAAM;wBAChB,WAAW,EAAE,CAAC,CAAC,WAAW;wBAC1B,UAAU,EAAE,CAAC,CAAC,UAAU;qBACzB,CAAC,CAAC;oBACH,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wBAChC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE;wBACf,MAAM,EAAE,CAAC,CAAC,MAAM;wBAChB,MAAM,EAAE,CAAC,CAAC,MAAM;wBAChB,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM;qBACxB,CAAC,CAAC;oBACH,OAAO,EAAE,MAAM,CAAC,OAAO;oBACvB,GAAG,CAAC,GAAG,KAAK,SAAS;wBACnB,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,EAAE;wBAC/E,CAAC,CAAC,EAAE,CAAC;iBACR;aACF,EACD,GAAG,CAAC,KAAK,CACV,CAAC;YACF,OAAO,CAAC,CAAC;QACX,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC;QACnC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,KAAK,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC;gBAC9D,GAAG,CAAC,eAAe,EAAE,aAAa,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;gBAClD,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO;oBAAE,GAAG,CAAC,OAAO,GAAG,CAAC,OAAO,KAAK,GAAG,CAAC,OAAO,MAAM,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;YAC3F,CAAC;YACD,qEAAqE;YACrE,+CAA+C;YAC/C,KAAK,MAAM,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;gBACrC,GAAG,CAAC,eAAe,CAAC,CAAC,EAAE,+BAA+B,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YACjF,CAAC;QACH,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,IAAI,UAAU,CAAC,iCAAiC,GAAG,GAAG,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,cAAc,CAAC,KAA4B;IAClD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,QAAQ,CAAC,+CAA+C,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,KAAK,UAAU,QAAQ,CAAC,GAAe,EAAE,MAAiD;IACxF,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,UAAU,CAAC,0CAA0C,CAAC,CAAC;IAC5E,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvD,IAAI,WAAW,KAAK,EAAE;QAAE,MAAM,IAAI,UAAU,CAAC,6CAA6C,CAAC,CAAC;IAC5F,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,KAAK,CAAC;IACV,IAAI,CAAC;QACH,KAAK,GAAG,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC/C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,aAAa,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,YAAY,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,MAAM,CAAC;IACX,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,GAAG,CAAC,aAAa,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7D,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,aAAa,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,QAAQ,CACN,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,EAC3F,GAAG,CAAC,KAAK,CACV,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IACD,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC;IAClC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,wFAAwF;AACxF,MAAM,oBAAoB,GAAqC;IAC7D,kBAAkB,EAChB,sFAAsF;IACxF,QAAQ,EAAE,iDAAiD;IAC3D,uBAAuB,EAAE,kDAAkD;IAC3E,iBAAiB,EAAE,wCAAwC;IAC3D,oBAAoB,EAAE,mCAAmC;IACzD,SAAS,EAAE,iCAAiC;CAC7C,CAAC;AAEF,qEAAqE;AACrE,SAAS,YAAY,CAAC,MAGrB;IACC,OAAO,MAAM,CAAC,UAAU;SACrB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,MAAM,CAAC,cAAc,CAAC,CAAC;SAC/C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,2CAA2C;KACtF,CAAC,CAAC,CAAC;AACR,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,OAAO;IACb,OAAO,EAAE,EAAE;IACX,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,+DAA+D;IACxE,OAAO,EAAE,gBAAgB;IACzB,KAAK,EAAE,WAAW;IAClB,WAAW,EAAE,iBAAiB;IAC9B,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC","sourcesContent":["/**\n * `upt probe <subverb>` — experimental Product B expression/residual search.\n *\n * Orthogonal to `upt discover` (Product A quantity identification). Relation-\n * link and regime-transition gaps abstain and tell the user to use discover.\n */\nimport { readFileSync, statSync } from 'node:fs';\nimport type { FlagSpec } from '../args.js';\nimport { registerCommand, type Command, type CommandCtx } from '../command.js';\nimport { commandHelp, JSON_FLAG, sourceFlag } from '../flag-help.js';\nimport { resolveGraph } from '../graphs.js';\nimport { emitJson } from '../output.js';\nimport { UsageError, CliError } from '../errors.js';\nimport { publishedUrl } from '../published-url.js';\nimport {\n  PROBE_BUDGET_MS_DEFAULT,\n  PROBE_CORRECTION_TERMS_MAX,\n  PROBE_HOLDOUT_TOL_DEFAULT,\n  PROBE_STUDY_ALPHA_DEFAULT,\n} from '../library-defaults.js';\n\nconst PROBE_SUBCOMMANDS = [\n  { name: 'scan', summary: 'List typed frontier gaps. The default listing is the searchable ones.' },\n  { name: 'show', summary: 'Print one gap by id.' },\n  { name: 'run', summary: 'Run a bounded search from a problem file.' },\n  { name: 'candidates', summary: 'Run the search and list stored statuses.' },\n  { name: 'falsify', summary: 'Run the search and print the falsification batteries.' },\n  { name: 'rank', summary: 'Run the search and print the Pareto front.' },\n  { name: 'design', summary: 'Suggest a discriminating experiment from two hypotheses and bounds.' },\n  { name: 'reproduce', summary: 'Re-run a problem file under the same stop contract.' },\n  { name: 'study', summary: 'Fit exploratory rows only, then test on withheld holdout and replication rows.' },\n] as const;\nconst SUBVERBS = PROBE_SUBCOMMANDS.map((s) => s.name);\ntype Subverb = (typeof SUBVERBS)[number];\n\nconst FLAGS: FlagSpec[] = [\n  sourceFlag('catalog', 'Which graph a subverb reads: catalog, canonical, or both.'),\n  JSON_FLAG,\n  { name: '--problem', valueStyle: 'attached', description: 'Problem JSON file for run, candidates, falsify, rank, and reproduce.' },\n  { name: '--budget-ms', valueStyle: 'attached', description: 'Wall-clock cap in milliseconds.', defaultValue: PROBE_BUDGET_MS_DEFAULT },\n  { name: '--holdout-tol', valueStyle: 'attached', description: 'Relative holdout RMSE cap.', defaultValue: PROBE_HOLDOUT_TOL_DEFAULT },\n  { name: '--worker', valueStyle: 'attached', description: 'Optional NDJSON worker, spawned as node PATH. The path must be a .js, .mjs, or .cjs file.' },\n  { name: '--bounds', valueStyle: 'attached', description: 'Bounds for design, as the design subverb reads them.' },\n  { name: '--h1', valueStyle: 'attached', description: 'First hypothesis for design.' },\n  { name: '--h2', valueStyle: 'attached', description: 'Second hypothesis for design.' },\n  { name: '--searchable-only', valueStyle: 'none', description: 'scan: list only Product-B-searchable gaps. This is the default.' },\n  { name: '--all', valueStyle: 'none', description: 'scan: include Product A wrappers, which are not searchable here.' },\n  { name: '--data', valueStyle: 'attached', description: 'Study file (JSON, or CSV when the name ends in .csv) for study.' },\n  { name: '--replication', valueStyle: 'attached', description: 'study: replication rows from a separate JSON or CSV file.' },\n  { name: '--alpha', valueStyle: 'attached', description: 'study: χ² test level.', defaultValue: `the file's alpha, else ${PROBE_STUDY_ALPHA_DEFAULT}` },\n];\n\n/**\n * The text printed when a scan has gaps and none of them are searchable.\n * The live catalog scan is no longer in that state; this wording stays\n * covered by a direct test.\n * @internal\n */\nexport function emptySearchableWarning(total: number): readonly string[] {\n  return [\n    'upt probe scan — typed frontier gaps',\n    `⚠ 0 of ${total} gaps are searchable by Product B ` +\n      `(all are relation-link / regime-transition).`,\n    '  Use `upt discover` for those. Pass --all to list them here.',\n    '  To search expressions, write a problem file (`upt help probe`, PROBLEM FILE, has a minimal example) ' +\n      'and run `upt probe run --problem=FILE`.',\n  ];\n}\n\nconst HELP = `upt probe <scan|show|run|candidates|falsify|rank|design|reproduce|study>\n        Experimental expression/residual search (Product B). Orthogonal to\n        \\`upt discover\\`, which vets quantity identifications a≡b and is frozen.\n        Relation-link / regime-transition gaps are not searchable here — use\n        \\`upt discover\\`.\n        An \\`fg-expr-<case id>\\` gap is a searchable expression handle: one\n        prediction-residual record per applied case, observations empty, built\n        from the case id and title. It carries no named baseline and no\n        dataset. Scientific-Bridge-Discovery-v1 admits a prediction-residual\n        scanner only when both exist, so this listing is not a detected\n        residual and not a fitted formula. \\`upt probe run\\` still requires\n        \\`--problem=FILE\\`. The id is not that file.\n        scan                 typed frontier gaps (default: searchable only)\n        show <gap-id>        one gap\n        run --problem=FILE   bounded native search (MHC / holdout / budget)\n        candidates           same as run; list stored statuses\n        falsify              run + print falsification batteries\n        rank                 run + Pareto front\n        design --h1= --h2= --bounds=   discriminating experiment suggestion\n        reproduce --problem=FILE       re-run a problem (same stop contract)\n        study --data=FILE    search + fit on exploratory rows only, then χ²-test\n                             the candidate and declared baselines on withheld\n                             holdout / replication rows; suggest a discriminating\n                             measurement (see STUDY FILE below)\n        --replication=FILE   study: replication rows from a separate file (JSON\n                             or CSV) with its own provenance\n        --searchable-only    scan: only Product-B-searchable gaps (default)\n        --all                scan: include Product A wrappers (not searchable)\n        --budget-ms=N        wall-clock cap (default ${PROBE_BUDGET_MS_DEFAULT})\n        --holdout-tol=X      relative holdout RMSE cap (default ${PROBE_HOLDOUT_TOL_DEFAULT})\n        --worker=PATH        optional NDJSON worker (spawned as node PATH)\n        --source=catalog|canonical|both   the graph a subverb reads (default catalog)\n        --alpha=X            study: χ² test level (default: the file's, else ${PROBE_STUDY_ALPHA_DEFAULT})\n        --json               machine envelope\n\n        PROBLEM FILE (--problem=FILE, JSON)\n        target       {\"name\", \"dim\"}: the observable to explain. \"dim\" is a named\n                     dimension (time, length, mass, acceleration, ...) or explicit\n                     L^a.M^b.T^c (e.g. \"L^3.M^-1.T^-2\").\n        governing    [{\"name\", \"dim\"}, ...]: the candidate inputs.\n        exploratory  {\"observable\", \"rows\": [{name: value, ...}, ...]}: the fit data.\n        holdout      the same shape: the locked data the fit must also pass. A row\n                     that also appears in exploratory is refused as a leak.\n        gap          optional {\"id\", \"kind\", \"summary\"}. \"id\" must start with \"fg-\".\n                     \"kind\" is one of prediction-residual, relation-link,\n                     regime-transition, parameter-tension, assumption-conflict,\n                     missing-operator, unexplained-observation (default),\n                     model-disagreement, causal-mechanism, other.\n        role         optional on a dataset: exploratory-fit (default for\n                     exploratory), validation-holdout (default for holdout),\n                     external-replication, falsification-only.\n        observationsPath  optional: a separate JSON file with the datasets.\n        A dimensionless governing variable is written with \"dim\": \"dimensionless\".\n        Minimal example (small-angle pendulum):\n        {\n          \"target\": {\"name\": \"period\", \"dim\": \"time\"},\n          \"governing\": [{\"name\": \"length\", \"dim\": \"length\"},\n                        {\"name\": \"gravity\", \"dim\": \"acceleration\"}],\n          \"exploratory\": {\"observable\": \"period\", \"rows\": [\n            {\"length\": 1, \"gravity\": 9.81, \"period\": 2.006},\n            {\"length\": 2, \"gravity\": 9.81, \"period\": 2.837},\n            {\"length\": 0.5, \"gravity\": 1.62, \"period\": 3.491}]},\n          \"holdout\": {\"observable\": \"period\", \"rows\": [\n            {\"length\": 1.5, \"gravity\": 3.71, \"period\": 3.995}]}\n        }\n\n        STUDY FILE (--data=FILE, JSON, or CSV when FILE ends in .csv)\n        provenance   {\"synthetic\": true|false (required, never inferred),\n                     \"source\", \"acquisition\"?, \"calibration\"?}\n        target       {\"name\", \"unit\", \"sigma\"?}  sigma: default row uncertainty\n        governing    [{\"name\", \"unit\", \"sigma\"?}, ...]  \"unit\": \"\" when\n                     dimensionless; \"sigma\": default input uncertainty\n        observations [{\"id\"?, \"role\", \"values\": {input: value}, \"observed\",\n                     \"sigma\"?, \"inputSigma\"?: {input: σ}, \"source\"?}, ...].\n                     A bare number is in the declared unit; \"120 cm\" is\n                     converted; a dimension mismatch, a missing σ or an\n                     undeclared key refuses the file.\n        input σ      propagated by effective variance: σ_eff² = σ_y² +\n                     Σ (∂f/∂x_i · σ_x_i)², with each model's own slopes; the\n                     report states which inputs carry σ. First order in σ_x.\n        role         exploratory (the only rows searched and fit) | holdout\n                     (withheld test, e.g. a change of regime) | replication\n                     (independent acquisition, withheld). A withheld row that\n                     repeats an exploratory row's inputs, or a replication row\n                     sharing an exploratory row's source, refuses the file.\n        baselines    optional [{\"name\", \"formula\", \"fitPrefactor\"?}]: competing\n                     models over the governing names in SI units, e.g.\n                     \"2*pi*sqrt(length/gravity)\"; must have the target's dimension.\n                     fitPrefactor (default false) fits one scale on exploratory rows.\n        criterion    optional {\"alpha\"} (default ${PROBE_STUDY_ALPHA_DEFAULT})\n        design       optional {\"variables\": {input: {\"min\", \"max\", \"steps\"?}}}\n        correction   optional {\"input\": <dimensionless input u>, \"powers\": [2, 4]},\n                     or a list of them, one per input (at most ${PROBE_CORRECTION_TERMS_MAX} powers in all):\n                     also search m(x)·(1 + c₁u² + c₂u⁴ + …) for each monomial m,\n                     fit on exploratory rows only. Terms are admitted in the\n                     declared order, family by family, while each passes an\n                     extra-sum-of-squares F test at p < α; the first term a\n                     family fails ends that family. The families are additive:\n                     no cross term (u·v) and no other function is searched.\n        CSV          '# key: value' lines above the header declare the study:\n                     '# target: <column>', '# target.sigma: 2 ms',\n                     '# governing.<input>.sigma: σ', '# provenance.synthetic: true',\n                     '# provenance.source: ...', and any other key above as a\n                     dotted path; a value is JSON when it parses, else text.\n                     Header: name[unit] quantity columns (name[] when\n                     dimensionless), and id, role, source, sigma, sigma(<input>),\n                     note. An empty cell is absent. Refused for the same\n                     reasons as the JSON it compiles to.\n        REPLICATION FILE (--replication=FILE): provenance, target, governing\n                     and replication rows only. Refused if its source or\n                     acquisition is the study's (ignoring case, spacing and\n                     punctuation), or if a row repeats a study row's data\n                     exactly (the same data renamed).\n        closeness    replication rows at a study row's inputs are tested for\n                     agreement too good to be true: identity (Σz² on ν = n) and\n                     affine (y_rep = a + b·y_study, ν = n − 2), each a lower-tail\n                     χ² test at α/2. Either firing makes replication too-close:\n                     a copy, or an overstated σ. Rows at other inputs are not\n                     tested, so a copy at altered inputs is not caught.\n        Verdicts: no-credible-candidate | refuted-on-holdout | survives-holdout |\n        untested-on-holdout; replication is reported separately\n        (survives-replication | refuted-on-replication | too-close |\n        no-replication-data | not-tested). A candidate\n        is credible only if it passes on exploratory rows AND a constant model\n        is rejected there. A fit is not a mechanism.\n        Synthetic controls: ${publishedUrl('tests/fixtures/probe-study')}/*.synthetic.{json,csv}.\n        Every one was designed knowing its generating law, so a recovery shows\n        the method recovers that law; none is a blind test of finding an\n        unknown one, and UPT ships no blind control.`;\n\nconst EPISTEMICS =\n  '⚠ experimental Product B. Not a discovery claim. `upt discover` is the identification funnel.';\n\nfunction isSubverb(s: string | undefined): s is Subverb {\n  return SUBVERBS.includes(s as Subverb);\n}\n\nfunction budgetFromFlags(api: CommandCtx['api'], flags: Map<string, string[]>) {\n  const raw = flags.get('budget-ms')?.[0];\n  if (raw === undefined) return undefined;\n  const n = Number(raw);\n  if (!Number.isFinite(n) || n <= 0) {\n    throw new CliError('upt probe: --budget-ms must be a positive number');\n  }\n  return { ...api.DEFAULT_SEARCH_BUDGET, maxWallClockMs: n };\n}\n\nfunction holdoutTolFromFlags(flags: Map<string, string[]>): number | undefined {\n  const raw = flags.get('holdout-tol')?.[0];\n  if (raw === undefined) return undefined;\n  const n = Number(raw);\n  if (!Number.isFinite(n) || n <= 0) {\n    throw new CliError('upt probe: --holdout-tol must be a positive number');\n  }\n  return n;\n}\n\nfunction problemPath(flags: Map<string, string[]>): string {\n  const p = flags.get('problem')?.[0];\n  if (!p) throw new UsageError('upt probe: --problem=FILE is required for this subverb');\n  return p;\n}\n\n/** The `code` and `path` Node puts on a failed file-system call; empty for any other error. */\nfunction errnoOf(e: unknown): { code?: string; path?: string } {\n  if (!(e instanceof Error)) return {};\n  const code: unknown = 'code' in e ? e.code : undefined;\n  const path: unknown = 'path' in e ? e.path : undefined;\n  return {\n    ...(typeof code === 'string' ? { code } : {}),\n    ...(typeof path === 'string' ? { path } : {}),\n  };\n}\n\n/** Map probe file/parse failures to CLI errors (no stack traces). */\nfunction mapProbeError(api: CommandCtx['api'], e: unknown, context?: string): never {\n  if (e instanceof UsageError || e instanceof CliError) throw e;\n  const errno = errnoOf(e);\n  if (errno.code === 'ENOENT') {\n    throw new CliError(`upt probe: file not found: ${errno.path ?? context ?? 'unknown'}`);\n  }\n  if (e instanceof SyntaxError) {\n    throw new CliError(\n      `upt probe: invalid JSON${context ? ` in ${context}` : ''}: ${e.message}`,\n    );\n  }\n  // The loader checks every field it reads and names the one that is wrong.\n  if (e instanceof api.ProblemFileError) {\n    throw new CliError(\n      `upt probe: ${context ?? 'the file'} is not a problem file: ${e.message}. \\`upt help probe\\` shows the format.`,\n    );\n  }\n  // A TypeError or a RangeError past those checks is a field of a shape the loader does not\n  // check. It is reported as that, with the engine's words marked as the engine's.\n  if (e instanceof TypeError || e instanceof RangeError) {\n    throw new CliError(\n      `upt probe: ${context ?? 'the file'} has a field of a shape the probe does not read (internal: ${e.message}). \\`upt help probe\\` shows the format.`,\n    );\n  }\n  if (e instanceof Error) {\n    throw new CliError(`upt probe: ${e.message}`);\n  }\n  throw e;\n}\n\nfunction readJsonFile(api: CommandCtx['api'], path: string): unknown {\n  try {\n    return JSON.parse(readFileSync(path, 'utf8'));\n  } catch (e) {\n    mapProbeError(api, e, path);\n  }\n}\n\n/** Reject Node flag injection via `--worker=--import=…` etc. */\nfunction validateWorkerPath(api: CommandCtx['api'], worker: string): string {\n  if (worker.startsWith('-')) {\n    throw new UsageError('upt probe: --worker must be a script path, not a Node flag');\n  }\n  if (!/\\.(m?js|cjs)$/i.test(worker)) {\n    throw new UsageError('upt probe: --worker must be a .js, .mjs, or .cjs file');\n  }\n  try {\n    if (!statSync(worker).isFile()) {\n      throw new UsageError(`upt probe: --worker is not a file: ${worker}`);\n    }\n  } catch (e) {\n    mapProbeError(api, e, worker);\n  }\n  return worker;\n}\n\nasync function run(ctx: CommandCtx): Promise<number> {\n  const { args, api, out } = ctx;\n  const sub = args.positionals[0];\n  if (!isSubverb(sub)) {\n    throw new UsageError(\n      `upt probe needs a subverb (${SUBVERBS.join('|')}). See \\`upt help probe\\`.`,\n    );\n  }\n\n  const { graph, source } = resolveGraph(api, args.flags);\n\n  if (sub === 'scan') {\n    if (args.flags.has('searchable-only') && args.flags.has('all')) {\n      throw new UsageError('upt probe scan: pick one of --searchable-only or --all');\n    }\n    // Default: the searchable expression gaps (one prediction-residual per\n    // applied case). Product A wrappers stay hidden unless `--all`. The\n    // zero-searchable warning is only for a scan that really has none.\n    const showAll = args.flags.has('all');\n    const allGaps = api.scanWithExpressionGaps(graph);\n    const searchable = allGaps.filter((g) => g.searchability.searchable);\n    const gaps = showAll ? allGaps : searchable;\n    if (args.flags.has('json')) {\n      emitJson(\n        {\n          command: 'probe',\n          source,\n          epistemics: EPISTEMICS,\n          options: {\n            scan: {\n              total: allGaps.length,\n              searchable: searchable.length,\n              showing: showAll ? 'all' : 'searchable-only',\n            },\n          },\n          result: gaps,\n        },\n        ctx.write,\n      );\n      return 0;\n    }\n    if (!showAll && searchable.length === 0 && allGaps.length > 0) {\n      for (const line of emptySearchableWarning(allGaps.length)) out(line);\n      return 0;\n    }\n    out(api.formatFrontierScan(gaps));\n    if (!showAll && allGaps.length > searchable.length) {\n      out(\n        `  (${allGaps.length - searchable.length} Product A wrappers hidden; pass --all to list them)`,\n      );\n    }\n    if (\n      !showAll &&\n      searchable.length > 0 &&\n      searchable.every(\n        (g) =>\n          g.kind === 'prediction-residual' &&\n          g.id.startsWith('fg-expr-') &&\n          g.observations.length === 0,\n      )\n    ) {\n      out(\n        '  Expression gaps are listed as searchable with empty observations and no named baseline or dataset. ' +\n          'A detected prediction residual needs both. An id is not a problem file (`upt probe run --problem=FILE`).',\n      );\n    }\n    return 0;\n  }\n\n  if (sub === 'show') {\n    const id = args.positionals[1];\n    if (!id) throw new UsageError('upt probe show needs a gap id (fg-*). See `upt help probe`.');\n    const gap = api.scanWithExpressionGaps(graph).find((g) => g.id === id);\n    if (!gap) throw new CliError(`upt probe show: no gap '${id}' on this graph`);\n    if (args.flags.has('json')) {\n      emitJson({ command: 'probe', source, epistemics: EPISTEMICS, result: gap }, ctx.write);\n      return 0;\n    }\n    out(api.formatFrontierGap(gap));\n    return 0;\n  }\n\n  if (sub === 'design') {\n    const h1p = args.flags.get('h1')?.[0];\n    const h2p = args.flags.get('h2')?.[0];\n    const bp = args.flags.get('bounds')?.[0];\n    if (!h1p || !h2p || !bp) {\n      throw new UsageError('upt probe design needs --h1=FILE --h2=FILE --bounds=FILE');\n    }\n    let suggestion;\n    try {\n      suggestion = api.suggestDiscriminatingPoint(\n        api.parseExprJson(h1p),\n        api.parseExprJson(h2p),\n        api.parseDesignBounds(readJsonFile(api, bp), bp),\n      );\n    } catch (e) {\n      mapProbeError(api, e);\n    }\n    if (args.flags.has('json')) {\n      emitJson({ command: 'probe', epistemics: EPISTEMICS, result: suggestion }, ctx.write);\n      return 0;\n    }\n    if (suggestion.abstained) {\n      out(`upt probe design — abstained: ${suggestion.reason}`);\n      return 0;\n    }\n    out('upt probe design — suggested discriminating point (never in a forbidden region)');\n    out(`  discrimination |H1-H2|/σ = ${suggestion.discrimination}`);\n    out(`  point ${JSON.stringify(suggestion.point)}`);\n    out(`  H1=${suggestion.h1}  H2=${suggestion.h2}`);\n    return 0;\n  }\n\n  if (sub === 'study') return runStudy(ctx, source);\n\n  const pp = problemPath(args.flags);\n  let problem;\n  try {\n    problem = api.loadSearchProblemFromJson(pp);\n  } catch (e) {\n    mapProbeError(api, e, pp);\n  }\n  const workerRaw = args.flags.get('worker')?.[0];\n  // `--worker=` with nothing after it is not \"no worker\": it is refused, as `--replication=` is.\n  if (workerRaw === '') throw new UsageError('upt probe: --worker needs a PATH (a .js, .mjs, or .cjs file)');\n  const worker = workerRaw === undefined ? undefined : validateWorkerPath(api, workerRaw);\n  const result = await api.runProbeSearch(problem, {\n    budget: budgetFromFlags(api, args.flags),\n    holdoutTol: holdoutTolFromFlags(args.flags),\n    backendArgv: worker ? api.nodeWorkerArgv(worker) : undefined,\n  });\n\n  if (sub === 'run' || sub === 'reproduce' || sub === 'rank' || sub === 'candidates' || sub === 'falsify') {\n    if (args.flags.has('json')) {\n      emitJson(\n        {\n          command: 'probe',\n          source,\n          epistemics: EPISTEMICS,\n          options: { subverb: sub },\n          result: {\n            stopReason: result.stopReason,\n            runId: result.manifest.runId,\n            candidates: result.candidates.map((c) => ({\n              id: c.id,\n              status: c.status,\n              fingerprint: c.fingerprint,\n              complexity: c.complexity,\n            })),\n            ranked: result.ranked.map((r) => ({\n              id: r.record.id,\n              pareto: r.pareto,\n              scores: r.scores,\n              status: r.record.status,\n            })),\n            wording: result.wording,\n            ...(sub === 'falsify'\n              ? { falsifications: result.falsifications, notFalsified: notFalsified(result) }\n              : {}),\n          },\n        },\n        ctx.write,\n      );\n      return 0;\n    }\n    out(api.formatProbeReport(result));\n    if (sub === 'falsify') {\n      for (const [id, fal] of Object.entries(result.falsifications)) {\n        out(`\\n  falsify ${id} survived=${fal.survived}`);\n        for (const rec of fal.records) out(`    ${rec.battery}: ${rec.outcome} — ${rec.detail}`);\n      }\n      // Every candidate is accounted for (persona finding C5): one without\n      // batteries used to be passed over in silence.\n      for (const n of notFalsified(result)) {\n        out(`\\n  falsify ${n.id}: no batteries run — status ${n.status}: ${n.reason}`);\n      }\n    }\n    return 0;\n  }\n\n  throw new UsageError(`upt probe: unhandled subverb '${sub}'`);\n}\n\nfunction alphaFromFlags(flags: Map<string, string[]>): number | undefined {\n  const raw = flags.get('alpha')?.[0];\n  if (raw === undefined) return undefined;\n  const n = Number(raw);\n  if (!Number.isFinite(n) || n <= 0 || n >= 1) {\n    throw new CliError('upt probe: --alpha must be a number in (0, 1)');\n  }\n  return n;\n}\n\nasync function runStudy(ctx: CommandCtx, source: ReturnType<typeof resolveGraph>['source']): Promise<number> {\n  const { args, api, out } = ctx;\n  const path = args.flags.get('data')?.[0];\n  if (!path) throw new UsageError('upt probe study: --data=FILE is required');\n  const replication = args.flags.get('replication')?.[0];\n  if (replication === '') throw new UsageError('upt probe study: --replication needs a FILE');\n  const budget = budgetFromFlags(api, args.flags);\n  const alpha = alphaFromFlags(args.flags);\n  let study;\n  try {\n    study = api.loadStudyFile(path, replication);\n  } catch (e) {\n    mapProbeError(api, e, e instanceof SyntaxError ? undefined : path);\n  }\n  let result;\n  try {\n    result = await api.runProbeStudy(study, { budget, alpha });\n  } catch (e) {\n    mapProbeError(api, e, path);\n  }\n  if (args.flags.has('json')) {\n    emitJson(\n      { command: 'probe', source, epistemics: EPISTEMICS, options: { subverb: 'study' }, result },\n      ctx.write,\n    );\n    return 0;\n  }\n  out(api.formatProbeStudy(result));\n  return 0;\n}\n\n/** Why the falsification batteries did not run for a candidate, by its final status. */\nconst NOT_FALSIFIED_REASON: Readonly<Record<string, string>> = {\n  'equivalent-known':\n    'batteries run only for candidates that are not equivalent to a known corpus relation',\n  rejected: 'the candidate was rejected before falsification',\n  'insufficient-evidence': 'there were no holdout observations to test it on',\n  'empirically-fit': 'the candidate did not pass its holdout',\n  'structurally-valid': 'the candidate was not fit to data',\n  generated: 'the candidate was not validated',\n};\n\n/** The candidates the batteries did not run for, with the reason. */\nfunction notFalsified(result: {\n  candidates: readonly { id: string; status: string }[];\n  falsifications: Readonly<Record<string, unknown>>;\n}): { id: string; status: string; reason: string }[] {\n  return result.candidates\n    .filter((c) => !(c.id in result.falsifications))\n    .map((c) => ({\n      id: c.id,\n      status: c.status,\n      reason: NOT_FALSIFIED_REASON[c.status] ?? 'the batteries did not run for this status',\n    }));\n}\n\nexport const command: Command = {\n  name: 'probe',\n  aliases: [],\n  flags: FLAGS,\n  help: commandHelp(HELP, FLAGS),\n  summary: 'Search expressions and residuals. This is not `upt discover`.',\n  example: 'upt probe scan',\n  group: 'discovery',\n  subcommands: PROBE_SUBCOMMANDS,\n  run,\n};\n\nregisterCommand(command);\n"]}

package/dist/cli/commands/recover.js

@@ -48,7 +48,7 @@ async function run(ctx) {
     if (restates.length) {
         out('  RESTATES-CANONICAL (the bridge IS the canonical law — F4: NOT a discovery):');
         for (const r of restates) {
-            const rec = r.recovery && r.recovery.tested ? ` (recovery exact, err ${r.recovery.maxRelErr.toExponential(0)})` : '';
+            const rec = r.recovery && r.recovery.tested ? ` (recovery exact, err ${api.formatQuantity(r.recovery.maxRelErr)})` : '';
             out(`    ${r.canonicalId.padEnd(26)} ≡ bridge ${r.bridgeId}${rec}` +
                 conventionAdvisory(api, r.canonicalId, r.bridgeId));
         }

package/dist/cli/commands/recover.js.map

@@ -1 +1 @@
-{"version":3,"file":"recover.js","sourceRoot":"","sources":["../../../src/cli/commands/recover.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAExC,MAAM,KAAK,GAAe,CAAC,SAAS,CAAC,CAAC;AAEtC,MAAM,IAAI,GAAG;;;;;;iDAMoC,CAAC;AAElD,MAAM,UAAU,GACd,mFAAmF;IACnF,0EAA0E,CAAC;AAE7E;;;;;;;;;;GAUG;AACH,SAAS,kBAAkB,CACzB,GAAsB,EACtB,WAAmB,EACnB,QAAgB;IAEhB,MAAM,EAAE,GAAG,GAAG,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,WAAW,CAAC,CAAC;IACrE,MAAM,IAAI,GAAG,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB,CAAC,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACtE,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iCAAiC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AACrF,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,MAAM,GAAG,GAAG,GAAG,CAAC,YAAY,EAAE,CAAC;IAC/B,MAAM,WAAW,GAAG,GAAG,CAAC,uBAAuB,EAAE,CAAC;IAElD,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,QAAQ,CACN,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,mBAAmB,EAAE,WAAW,EAAE,EAC7F,GAAG,CAAC,KAAK,CACV,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,CAAC,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,EAAE,CAAC,oBAAoB,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC;IAChC,MAAM,OAAO,GAAG,EAAE,CAAC,kBAAkB,CAAC,CAAC;IACvC,GAAG,CAAC,2EAA2E,CAAC,CAAC;IACjF,GAAG,CAAC,iFAAiF,CAAC,CAAC;IACvF,GAAG,CAAC,4EAA4E,CAAC,CAAC;IAClF,GAAG,CACD,KAAK,GAAG,CAAC,MAAM,4BAA4B,QAAQ,CAAC,MAAM,uBAAuB;QAC/E,MAAM,QAAQ,CAAC,MAAM,iBAAiB,OAAO,CAAC,MAAM,qBAAqB,CAC5E,CAAC;IACF,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,GAAG,CAAC,+EAA+E,CAAC,CAAC;QACrF,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACrH,GAAG,CACD,OAAO,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,QAAQ,GAAG,GAAG,EAAE;gBAC5D,kBAAkB,CAAC,GAAG,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,CACrD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,GAAG,CAAC,iFAAiF,CAAC,CAAC;QACvF,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,GAAG,CACD,OAAO,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,QAAQ,4CAA4C;gBAChG,kBAAkB,CAAC,GAAG,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,CACrD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,GAAG,CAAC,QAAQ,OAAO,CAAC,MAAM,6FAA6F,CAAC,CAAC;IACzH,GAAG,CAAC,gEAAgE,CAAC,CAAC;IACtE,GAAG,CAAC,oFAAoF,CAAC,CAAC;IAC1F,GAAG,CAAC,wCAAwC,CAAC,CAAC;IAC9C,GAAG,CAAC,KAAK,WAAW,CAAC,KAAK,CAAC,MAAM,oBAAoB,WAAW,CAAC,IAAI,CAAC,MAAM,sBAAsB,CAAC,CAAC;IACpG,KAAK,MAAM,GAAG,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC;QACnC,GAAG,CAAC,OAAO,GAAG,CAAC,OAAO,OAAO,GAAG,CAAC,QAAQ,eAAe,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,SAAS;IACf,OAAO,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;IACjC,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,oFAAoF;IAC7F,OAAO,EAAE,aAAa;IACtB,KAAK,EAAE,SAAS;IAChB,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC"}
+{"version":3,"file":"recover.js","sourceRoot":"","sources":["../../../src/cli/commands/recover.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAExC,MAAM,KAAK,GAAe,CAAC,SAAS,CAAC,CAAC;AAEtC,MAAM,IAAI,GAAG;;;;;;iDAMoC,CAAC;AAElD,MAAM,UAAU,GACd,mFAAmF;IACnF,0EAA0E,CAAC;AAE7E;;;;;;;;;;GAUG;AACH,SAAS,kBAAkB,CACzB,GAAsB,EACtB,WAAmB,EACnB,QAAgB;IAEhB,MAAM,EAAE,GAAG,GAAG,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,WAAW,CAAC,CAAC;IACrE,MAAM,IAAI,GAAG,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB,CAAC,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACtE,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iCAAiC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AACrF,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,MAAM,GAAG,GAAG,GAAG,CAAC,YAAY,EAAE,CAAC;IAC/B,MAAM,WAAW,GAAG,GAAG,CAAC,uBAAuB,EAAE,CAAC;IAElD,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,QAAQ,CACN,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,mBAAmB,EAAE,WAAW,EAAE,EAC7F,GAAG,CAAC,KAAK,CACV,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,CAAC,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,EAAE,CAAC,oBAAoB,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC;IAChC,MAAM,OAAO,GAAG,EAAE,CAAC,kBAAkB,CAAC,CAAC;IACvC,GAAG,CAAC,2EAA2E,CAAC,CAAC;IACjF,GAAG,CAAC,iFAAiF,CAAC,CAAC;IACvF,GAAG,CAAC,4EAA4E,CAAC,CAAC;IAClF,GAAG,CACD,KAAK,GAAG,CAAC,MAAM,4BAA4B,QAAQ,CAAC,MAAM,uBAAuB;QAC/E,MAAM,QAAQ,CAAC,MAAM,iBAAiB,OAAO,CAAC,MAAM,qBAAqB,CAC5E,CAAC;IACF,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,GAAG,CAAC,+EAA+E,CAAC,CAAC;QACrF,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,yBAAyB,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACxH,GAAG,CACD,OAAO,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,QAAQ,GAAG,GAAG,EAAE;gBAC5D,kBAAkB,CAAC,GAAG,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,CACrD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,GAAG,CAAC,iFAAiF,CAAC,CAAC;QACvF,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,GAAG,CACD,OAAO,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,QAAQ,4CAA4C;gBAChG,kBAAkB,CAAC,GAAG,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,CACrD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,GAAG,CAAC,QAAQ,OAAO,CAAC,MAAM,6FAA6F,CAAC,CAAC;IACzH,GAAG,CAAC,gEAAgE,CAAC,CAAC;IACtE,GAAG,CAAC,oFAAoF,CAAC,CAAC;IAC1F,GAAG,CAAC,wCAAwC,CAAC,CAAC;IAC9C,GAAG,CAAC,KAAK,WAAW,CAAC,KAAK,CAAC,MAAM,oBAAoB,WAAW,CAAC,IAAI,CAAC,MAAM,sBAAsB,CAAC,CAAC;IACpG,KAAK,MAAM,GAAG,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC;QACnC,GAAG,CAAC,OAAO,GAAG,CAAC,OAAO,OAAO,GAAG,CAAC,QAAQ,eAAe,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,SAAS;IACf,OAAO,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;IACjC,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,oFAAoF;IAC7F,OAAO,EAAE,aAAa;IACtB,KAAK,EAAE,SAAS;IAChB,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC","sourcesContent":["/**\n * `upt recover` — validate bridges against standard physics (bridge↔canonical\n * linkage, the F4 circularity guard). Transposed verbatim from bin/upt.mjs's\n * `recoverCmd()` (lines 818-841), plus `--json`. No `--source`.\n */\nimport type { FlagSpec } from '../args.js';\nimport { registerCommand, type Command, type CommandCtx } from '../command.js';\nimport { commandHelp, JSON_FLAG } from '../flag-help.js';\nimport { emitJson } from '../output.js';\n\nconst FLAGS: FlagSpec[] = [JSON_FLAG];\n\nconst HELP = `upt recover\n        Validate bridges against standard physics: classify each bridge↔\n        canonical link as restates-canonical (F4 circularity — NOT a\n        discovery), recovers (undeclared structural match), or\n        dimensional-only. A chain of two symbolic edges is reported\n        separately. That comparison does not cancel dimensionful constants,\n        and a chain is never restates-canonical.`;\n\nconst EPISTEMICS =\n  '⚠ structural match is \"same relation UP TO a dimensionless factor\"; that factor\\n' +\n  '  may itself be physically substantive (e.g. ⟨e^-βW⟩). A review surface.';\n\n/**\n * The advisory suffix for one linkage row, or `''`.\n *\n * ADVISORY ONLY — it changes no classification, no ordering and no exit code.\n * It is empty unless BOTH the canonical equation and the bridge's graph edge\n * DECLARE a convention key and declare it differently; `checkConventions`\n * treats an undeclared key as unknown, so a record that says nothing is never\n * reported as disagreeing. No record in the repo declares conventions today,\n * so this returns `''` for every row and the output is unchanged — pinned by\n * `tests/cli/recover-conventions.test.ts`.\n */\nfunction conventionAdvisory(\n  api: CommandCtx['api'],\n  canonicalId: string,\n  bridgeId: number,\n): string {\n  const ce = api.CANONICAL_EQUATIONS.find((e) => e.id === canonicalId);\n  const edge = api.CATALOG_GRAPH.find((e) => e.beId === bridgeId);\n  const keys = api.checkConventions(ce?.conventions, edge?.conventions);\n  return keys.length === 0 ? '' : `\\n      ⚠ conventions differ: ${keys.join(', ')}`;\n}\n\nasync function run(ctx: CommandCtx): Promise<number> {\n  const { args, api, out } = ctx;\n  const all = api.scanLinkages();\n  const composition = api.scanCompositionRecovery();\n\n  if (args.flags.has('json')) {\n    emitJson(\n      { command: 'recover', epistemics: EPISTEMICS, result: all, compositionRecovery: composition },\n      ctx.write,\n    );\n    return 0;\n  }\n  const by = (c: string) => all.filter((r) => r.classification === c);\n  const restates = by('restates-canonical');\n  const recovers = by('recovers');\n  const dimOnly = by('dimensional-only');\n  out('\\nBridge↔canonical recovery — validating bridges against standard physics');\n  out('⚠ structural match is \"same relation UP TO a dimensionless factor\"; that factor');\n  out('  may itself be physically substantive (e.g. ⟨e^-βW⟩). A review surface.\\n');\n  out(\n    `  ${all.length} non-unrelated links  →  ${restates.length} restates-canonical  ` +\n      `·  ${recovers.length} recovers  ·  ${dimOnly.length} dimensional-only\\n`\n  );\n  if (restates.length) {\n    out('  RESTATES-CANONICAL (the bridge IS the canonical law — F4: NOT a discovery):');\n    for (const r of restates) {\n      const rec = r.recovery && r.recovery.tested ? ` (recovery exact, err ${api.formatQuantity(r.recovery.maxRelErr)})` : '';\n      out(\n        `    ${r.canonicalId.padEnd(26)} ≡ bridge ${r.bridgeId}${rec}` +\n          conventionAdvisory(api, r.canonicalId, r.bridgeId)\n      );\n    }\n  }\n  if (recovers.length) {\n    out(\"\\n  RECOVERS (undeclared structural correspondence — worth a physicist's look):\");\n    for (const r of recovers) {\n      out(\n        `    ${r.canonicalId.padEnd(26)} ~ bridge ${r.bridgeId}  (same form up to a dimensionless factor)` +\n          conventionAdvisory(api, r.canonicalId, r.bridgeId)\n      );\n    }\n  }\n  out(`\\n  (${dimOnly.length} dimensional-only: same dimension, different form. Run \\`upt canonical\\` for the registry.)`);\n  out('\\nComposition-derived recovery — a chain of two symbolic edges');\n  out('  Compared up to a dimensionless factor. Dimensionful cancellation is not applied.');\n  out('  A chain is never restates-canonical.');\n  out(`  ${composition.pairs.length} pairs examined, ${composition.hits.length} structural matches.`);\n  for (const hit of composition.hits) {\n    out(`    ${hit.firstId} -> ${hit.secondId}  recovers  ${hit.canonicalId}`);\n  }\n  return 0;\n}\n\nexport const command: Command = {\n  name: 'recover',\n  aliases: ['recovery', 'validate'],\n  flags: FLAGS,\n  help: commandHelp(HELP, FLAGS),\n  summary: 'Classify each bridge-to-canonical link as restates, recovers, or dimensional-only.',\n  example: 'upt recover',\n  group: 'explore',\n  run,\n};\n\nregisterCommand(command);\n"]}

package/dist/cli/commands/regime.d.ts

@@ -4,9 +4,10 @@ import { type Command, type CommandCtx } from '../command.js';
  * positionals, so `--at theta0=0.2 T0=1 t=10` works as written: the parser
  * gives `--at` one value and leaves the rest as positionals.
  *
- * @throws CliError on a malformed or non-finite assignment. A dropped
- *   coordinate would silently turn a CHECKED inequality into an unchecked one,
- *   which is exactly the reading this command exists to keep honest.
+ * @throws UsageError on a token with no `=`, CliError on a non-finite value or
+ *   a group given twice. A dropped coordinate would silently turn a CHECKED
+ *   inequality into an unchecked one, which is exactly the reading this
+ *   command exists to keep honest.
  * @internal
  */
 export declare function parseAt(api: CommandCtx['api'], raw: readonly string[], command: string, notes?: string[]): Record<string, number>;
@@ -19,7 +20,7 @@ export declare function parseAt(api: CommandCtx['api'], raw: readonly string[],
  * lists the keys that are neither a group nor a parameter of any regime here.
  * @internal
  */
-export declare function resolveAtPoint(point: Readonly<Record<string, number>>, regimes: readonly {
+export declare function resolveAtPoint(api: CommandCtx['api'], point: Readonly<Record<string, number>>, regimes: readonly {
     groupDefinitions: Readonly<Record<string, {
         exponents: Readonly<Record<string, number>>;
     }>>;

package/dist/cli/commands/regime.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"regime.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/regime.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAmB,KAAK,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,eAAe,CAAC;AA6D/E;;;;;;;;;GASG;AACH,wBAAgB,OAAO,CACrB,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,EACtB,GAAG,EAAE,SAAS,MAAM,EAAE,EACtB,OAAO,EAAE,MAAM,EACf,KAAK,CAAC,EAAE,MAAM,EAAE,GACf,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAoCxB;AAKD;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAC5B,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACvC,OAAO,EAAE,SAAS;IAAE,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE;QAAE,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;KAAE,CAAC,CAAC,CAAC;IAAC,YAAY,EAAE,SAAS;QAAE,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAA;CAAE,EAAE,GAC9J;IAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,CA6BvD;AAED,6EAA6E;AAC7E,wBAAgB,cAAc,CAAC,IAAI,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAGzG;AA2PD,eAAO,MAAM,OAAO,EAAE,OASrB,CAAC"}
+{"version":3,"file":"regime.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/regime.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAmB,KAAK,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,eAAe,CAAC;AAyD/E;;;;;;;;;;GAUG;AACH,wBAAgB,OAAO,CACrB,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,EACtB,GAAG,EAAE,SAAS,MAAM,EAAE,EACtB,OAAO,EAAE,MAAM,EACf,KAAK,CAAC,EAAE,MAAM,EAAE,GACf,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CA6BxB;AAKD;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAC5B,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,EACtB,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACvC,OAAO,EAAE,SAAS;IAAE,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE;QAAE,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;KAAE,CAAC,CAAC,CAAC;IAAC,YAAY,EAAE,SAAS;QAAE,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAA;CAAE,EAAE,GAC9J;IAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,CA6BvD;AAED,6EAA6E;AAC7E,wBAAgB,cAAc,CAAC,IAAI,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAGzG;AA+PD,eAAO,MAAM,OAAO,EAAE,OASrB,CAAC"}

package/dist/cli/commands/regime.js

@@ -1,8 +1,8 @@
 import { registerCommand } from '../command.js';
 import { commandHelp, JSON_FLAG } from '../flag-help.js';
 import { CliError, EXIT_CHECK_FAILED, UsageError } from '../errors.js';
-import { assertSynonymAgreement, resolveQuantityName, SynonymDisagreementError, } from '../../dimensional/formula-names.js';
 import { emitJson } from '../output.js';
+import { splitAssignments } from '../bindings.js';
 const FLAGS = [
     {
         name: '--at',
@@ -24,7 +24,7 @@ const FLAGS = [
     },
     JSON_FLAG,
 ];
-const HELP = `upt regime <family> [--at group=value ...] [--json]
+const HELP = `upt regime <family> [--at group=value ...] [--assume premise ...] [--deny premise ...] [--json]
         Where in parameter space a family's models are claimed to apply.
         --at states a point in REGIME COORDINATES (π-group formulas, or a
         dimensionless input's own name, e.g. --at theta0=0.2). Every model AND
@@ -57,20 +57,14 @@ const HELP = `upt regime <family> [--at group=value ...] [--json]
  * positionals, so `--at theta0=0.2 T0=1 t=10` works as written: the parser
  * gives `--at` one value and leaves the rest as positionals.
  *
- * @throws CliError on a malformed or non-finite assignment. A dropped
- *   coordinate would silently turn a CHECKED inequality into an unchecked one,
- *   which is exactly the reading this command exists to keep honest.
+ * @throws UsageError on a token with no `=`, CliError on a non-finite value or
+ *   a group given twice. A dropped coordinate would silently turn a CHECKED
+ *   inequality into an unchecked one, which is exactly the reading this
+ *   command exists to keep honest.
  * @internal
  */
 export function parseAt(api, raw, command, notes) {
-    const assignments = [];
-    for (const token of raw) {
-        const eq = token.indexOf('=');
-        if (eq <= 0) {
-            throw new CliError(`upt ${command}: '${token}' is not a group=value assignment`);
-        }
-        assignments.push({ name: token.slice(0, eq), raw: token.slice(eq + 1), token });
-    }
+    const assignments = splitAssignments(command, raw, 'group=value');
     const siblings = assignments.map((a) => ({ name: a.name, raw: a.raw }));
     const point = {};
     for (const a of assignments) {
@@ -89,17 +83,17 @@ export function parseAt(api, raw, command, notes) {
         catch (e) {
             if (e instanceof CliError)
                 throw e;
-            if (e instanceof api.UnitError && /is a temperature/.test(e.message)) {
+            if (e instanceof api.TemperatureBindingError) {
                 throw new CliError(`upt ${command}: '${a.token}' is not a temperature. ${e.message}`);
             }
             throw new CliError(`upt ${command}: '${a.token}' is not a finite number. ${e.message}`);
         }
     }
     try {
-        assertSynonymAgreement(point);
+        api.assertSynonymAgreement(point);
     }
     catch (e) {
-        if (e instanceof SynonymDisagreementError)
+        if (e instanceof api.SynonymDisagreementError)
             throw new CliError(`upt ${command}: ${e.message}`);
         throw e;
     }
@@ -116,7 +110,7 @@ const normalizeGroup = (name) => name.replace(/\s+/g, '').replace(/\*/g, '·');
  * lists the keys that are neither a group nor a parameter of any regime here.
  * @internal
  */
-export function resolveAtPoint(point, regimes) {
+export function resolveAtPoint(api, point, regimes) {
     const groups = new Map();
     for (const r of regimes) {
         for (const [key, g] of Object.entries(r.groupDefinitions))
@@ -134,7 +128,7 @@ export function resolveAtPoint(point, regimes) {
     const values = {};
     const unknown = [];
     for (const [key, value] of Object.entries(point)) {
-        const resolved = resolveQuantityName(key, named) ?? key;
+        const resolved = api.resolveQuantityName(key, named) ?? key;
         const group = byNormal.get(normalizeGroup(resolved)) ?? byNormal.get(normalizeGroup(key));
         const stored = group ?? resolved;
         values[stored] = value;
@@ -217,7 +211,7 @@ async function run(ctx) {
     // anything — the tri-state's `true` is vacuous when there is nothing to
     // check, so that case is labelled rather than left to read as a pass.
     const records = registration.records;
-    const { values: resolved, unknown } = resolveAtPoint(point, records.map((r) => r.regime));
+    const { values: resolved, unknown } = resolveAtPoint(api, point, records.map((r) => r.regime));
     const unmatched = [
         ...assume.map((d) => ({ flag: '--assume', d })),
         ...deny.map((d) => ({ flag: '--deny', d })),
@@ -289,11 +283,11 @@ async function run(ctx) {
     const samples = {};
     for (const [group, value] of Object.entries(resolved))
         samples[group] = [value];
-    // Coverage is asked of the records that actually CONSTRAIN something. An
-    // unconstrained model regime holds at every point, so including the models
-    // would make coverage vacuously total and the report would answer nothing.
+    // `uncoveredRegions` counts a record as covering a point only when it checked an
+    // inequality there, so an unconstrained model regime covers nothing and every record
+    // can be passed. The constraining count is the report's, not a filter.
     const constraining = records.filter((r) => r.regime.inequalities.length > 0);
-    const uncovered = stated.length === 0 ? null : api.uncoveredRegions(registration.name, constraining, samples);
+    const uncovered = stated.length === 0 ? null : api.uncoveredRegions(registration.name, records, samples);
     if (wantJson) {
         emitJson({
             command: 'regime',
@@ -315,9 +309,13 @@ async function run(ctx) {
         return verdicts.some((v) => v.ok === false) ? EXIT_CHECK_FAILED : 0;
     }
     out(`\nRegimes of family '${registration.name}'`);
-    out(stated.length === 0
-        ? '(no --at point supplied: every inequality is UNCHECKED, which is not a pass)'
-        : `at ${stated.map((g) => `${g}=${point[g]}`).join(' · ')}`);
+    // A family whose records state no inequality has nothing to check at any point: VACUOUS, not UNCHECKED.
+    const allVacuous = verdicts.every((v) => v.vacuous);
+    out(allVacuous
+        ? '(this family states no inequality: every record is VACUOUS, and no --at point could check it)'
+        : stated.length === 0
+            ? '(no --at point supplied: every inequality is UNCHECKED, which is not a pass)'
+            : `at ${stated.map((g) => `${g}=${point[g]}`).join(' · ')}`);
     if (unknown.length > 0) {
         out(`unknown coordinate(s): ${unknown.join(', ')} — no record in family '${registration.name}' uses ` +
             `${unknown.length === 1 ? 'it' : 'them'}; ignored`);
@@ -391,7 +389,7 @@ export const command = {
     flags: FLAGS,
     help: commandHelp(HELP, FLAGS),
     summary: 'Report where a family\'s models are valid, violated, or unknown.',
-    example: 'upt regime <name>',
+    example: 'upt regime oscillators --at theta0=0.2',
     group: 'explore',
     run,
 };