universal-physics-tensor 10.0.0 → 12.0.0

package/dist/cli/commands/path.js

@@ -2,6 +2,7 @@ import { registerCommand } from '../command.js';
 import { commandHelp, JSON_FLAG } from '../flag-help.js';
 import { CliError, EXIT_CHECK_FAILED, UsageError } from '../errors.js';
 import { emitJson } from '../output.js';
+import { integerFlag } from '../numeric-flag.js';
 import { parseAt, resolveAtPoint, showInequality } from './regime.js';
 import { explainsRefusal, missingForComposite, routeClaim, selectRoute, transportReport } from './_atlas-route.js';
 const FLAGS = [
@@ -136,7 +137,8 @@ export function parseSweep(api, spec) {
     };
     const lo = endpoint(loS);
     const hi = endpoint(hiS);
-    const n = Number(nS);
+    // The grammar first (`0x5` is usage, exit 2); the 2..MAX_SAMPLES range after (exit 1).
+    const n = integerFlag('path', '--sweep sample count', nS);
     const spacing = sp === 'log' ? 'log' : 'linear';
     if (!Number.isFinite(lo) || !Number.isFinite(hi) || !(lo < hi)) {
         throw new CliError(`upt path: --sweep '${spec}' needs finite lo < hi`);
@@ -149,6 +151,25 @@ export function parseSweep(api, spec) {
     const values = Array.from({ length: n }, (_, i) => spacing === 'log' ? lo * (hi / lo) ** (i / (n - 1)) : lo + ((hi - lo) * i) / (n - 1));
     return { name, values, spacing };
 }
+/**
+ * A translation declared on a bridge that states no bound. A translation restates the bound's
+ * error in another observable, so it presupposes the bound; a bridge without one declaring a
+ * translation is a defect of the atlas record, not a user error, and this is not a `CliError`.
+ */
+export class TranslationWithoutBoundError extends Error {
+    constructor(bridgeId, observable) {
+        super(`upt path: '${bridgeId}' declares a translation to ${observable} but states no bound; ` +
+            'a translation presupposes the bound it translates (a defect of the record, not a usage error)');
+        this.name = 'TranslationWithoutBoundError';
+    }
+}
+/** The first bridge's bound, which the translation `tr` presupposes. @internal */
+export function translatedBound(bridges, tr) {
+    const first = bridges[0];
+    if (first.bound === undefined)
+        throw new TranslationWithoutBoundError(first.id, tr.observable);
+    return first.bound;
+}
 function modelFamilyOf(api, id) {
     if (id === null)
         return undefined;
@@ -448,7 +469,7 @@ export function judgeAtPoint(api, request, bridges, e, at, withControl) {
 }
 function thresholdOrigin(request, tr, bridges) {
     return (`t* is derived from the requested tolerance ${request.value} ${tr.unit} through the translation; ` +
-        `${bridges[0].id}'s own horizon (${bridges[0].bound.horizon}) is the record's fixed threshold, judged separately`);
+        `${bridges[0].id}'s own horizon (${translatedBound(bridges, tr).horizon}) is the record's fixed threshold, judged separately`);
 }
 function observableReport(request, j, bridges, evidence) {
     const tr = j.translation;
@@ -479,7 +500,7 @@ function observableReport(request, j, bridges, evidence) {
                 domainHorizon: j.domainHorizon,
                 horizonConvention: tr.boundary,
                 thresholdOrigin: thresholdOrigin(request, tr, bridges),
-                bridgeHorizon: { horizon: bridges[0].bound.horizon, holds: j.bridgeHorizonHolds },
+                bridgeHorizon: { horizon: translatedBound(bridges, tr).horizon, holds: j.bridgeHorizonHolds },
                 evidence,
                 pointWitness: j.pointWitness,
             }),
@@ -1161,6 +1182,7 @@ async function run(ctx) {
 export const command = {
     name: 'path',
     aliases: [],
+    positionals: { max: Infinity },
     flags: FLAGS,
     help: commandHelp(HELP, FLAGS),
     summary: 'Show the bridge chain between two models and whether a bound is claimed there.',