universal-physics-tensor 9.0.0 → 11.0.0

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) {
@@ -96,10 +90,10 @@ export function parseAt(api, raw, command, notes) {
         }
     }
     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`);
@@ -388,10 +386,11 @@ async function run(ctx) {
 export const command = {
     name: 'regime',
     aliases: [],
+    positionals: { max: Infinity },
     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,
 };

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

@@ -1 +1 @@
-{"version":3,"file":"regime.js","sourceRoot":"","sources":["../../../src/cli/commands/regime.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AACvE,OAAO,EACL,sBAAsB,EACtB,mBAAmB,EACnB,wBAAwB,GACzB,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAExC,MAAM,KAAK,GAAe;IACxB;QACE,IAAI,EAAE,MAAM;QACZ,UAAU,EAAE,QAAQ;QACpB,UAAU,EAAE,IAAI;QAChB,WAAW,EAAE,wFAAwF;KACtG;IACD;QACE,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,QAAQ;QACpB,UAAU,EAAE,IAAI;QAChB,WAAW,EAAE,yFAAyF;KACvG;IACD;QACE,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,QAAQ;QACpB,UAAU,EAAE,IAAI;QAChB,WAAW,EAAE,mEAAmE;KACjF;IACD,SAAS;CACV,CAAC;AAEF,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;gDA2BmC,CAAC;AAEjD;;;;;;;;;GASG;AACH,MAAM,UAAU,OAAO,CACrB,GAAsB,EACtB,GAAsB,EACtB,OAAe,EACf,KAAgB;IAEhB,MAAM,WAAW,GAAmD,EAAE,CAAC;IACvE,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;QACxB,MAAM,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YACZ,MAAM,IAAI,QAAQ,CAAC,OAAO,OAAO,MAAM,KAAK,mCAAmC,CAAC,CAAC;QACnF,CAAC;QACD,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACxE,MAAM,KAAK,GAA2B,EAAE,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC/D,IAAI,CAAC,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjD,MAAM,IAAI,QAAQ,CAAC,OAAO,OAAO,MAAM,CAAC,CAAC,KAAK,0BAA0B,CAAC,CAAC;YAC5E,CAAC;YACD,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;YAC3B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;oBAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;wBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7E,CAAC;QACH,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,YAAY,QAAQ;gBAAE,MAAM,CAAC,CAAC;YACnC,IAAI,CAAC,YAAY,GAAG,CAAC,uBAAuB,EAAE,CAAC;gBAC7C,MAAM,IAAI,QAAQ,CAAC,OAAO,OAAO,MAAM,CAAC,CAAC,KAAK,2BAA2B,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YACxF,CAAC;YACD,MAAM,IAAI,QAAQ,CAAC,OAAO,OAAO,MAAM,CAAC,CAAC,KAAK,6BAA8B,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;QACrG,CAAC;IACH,CAAC;IACD,IAAI,CAAC;QACH,sBAAsB,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,wBAAwB;YAAE,MAAM,IAAI,QAAQ,CAAC,OAAO,OAAO,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAC9F,MAAM,CAAC,CAAC;IACV,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,iFAAiF;AACjF,MAAM,cAAc,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAE9F;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAC5B,KAAuC,EACvC,OAA+J;IAE/J,MAAM,MAAM,GAAG,IAAI,GAAG,EAA4C,CAAC;IACnE,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;QACxF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY;YAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAClG,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1G,2EAA2E;IAC3E,8EAA8E;IAC9E,MAAM,IAAI,GAAG,CAAC,CAAmC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/F,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/D,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,GAAG,CAAC;QACxD,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1F,MAAM,MAAM,GAAG,KAAK,IAAI,QAAQ,CAAC;QACjC,MAAM,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;QACvB,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChG,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,MAAM,EAAE,CAAC;QACtC,IAAI,GAAG,IAAI,MAAM;YAAE,SAAS;QAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC;QAC9B,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;YAC1E,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,SAAS,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC7B,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,cAAc,CAAC,IAAkE;IAC/F,MAAM,OAAO,GAAG,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;IACzD,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,KAAK,IAAI,CAAC,KAAK,GAAG,CAAC;AAC3E,CAAC;AAED,mDAAmD;AACnD,SAAS,QAAQ,CAAC,YAA0C;IAC1D,OAAO,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9E,MAAM,WAAW,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAE1G,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,UAAU,CAAC,2DAA2D,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,UAAU,CAAC,oCAAoC,IAAI,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;IAC9F,CAAC;IACD,yEAAyE;IACzE,2EAA2E;IAC3E,0DAA0D;IAC1D,MAAM,aAAa,GAAG;QACpB,GAAG,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACrC,IAAI,EAAE,MAAM,CAAC,MAAM;YACnB,OAAO,EAAE;gBACP,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC3B,EAAE,EAAE,CAAC,CAAC,EAAE;oBACR,IAAI,EAAE,OAAgB;oBACtB,MAAM,EAAE,CAAC,CAAC,MAAM;oBAChB,cAAc,EAAE,SAA0C;iBAC3D,CAAC,CAAC;gBACH,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC5B,EAAE,EAAE,CAAC,CAAC,EAAE;oBACR,IAAI,EAAE,QAAiB;oBACvB,MAAM,EAAE,CAAC,CAAC,MAAM;oBAChB,cAAc,EAAE,CAAC,CAAC,cAAc;iBACjC,CAAC,CAAC;aACJ;SACF,CAAC,CAAC;QACH,GAAG,GAAG,CAAC,yBAAyB,EAAE;KACnC,CAAC;IACF,MAAM,YAAY,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAC7E,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,QAAQ,CAChB,+BAA+B,SAAS,aAAa,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC5G,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC3D,KAAK,MAAM,IAAI,IAAI,OAAO;QAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;YAC1D,MAAM,IAAI,QAAQ,CAAC,gBAAgB,CAAC,8BAA8B,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,WAAmB,EAAE,OAAe,EAAE,EAAE,CACvD,WAAW,KAAK,EAAE,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC,CAAC;IAElF,4EAA4E;IAC5E,0EAA0E;IAC1E,sEAAsE;IACtE,wEAAwE;IACxE,sEAAsE;IACtE,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC;IAErC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1F,MAAM,SAAS,GAAG;QAChB,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/C,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;KAC5C,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE/F,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACjC,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAClD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QACpD,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QACtD,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,YAAY;aACpC,GAAG,CAAC,cAAc,CAAC;aACnB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAClE,MAAM,KAAK,GAAG,CAAC,CAAC,cAAc,IAAI,EAAE,CAAC;QACrC,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1E,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3G,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAClG,OAAO;YACL,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;YAC3C,OAAO,EACL,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;gBAChC,CAAC,CAAE,SAAmB;gBACtB,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,IAAI;oBACjB,CAAC,CAAE,OAAiB;oBACpB,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK;wBAClB,CAAC,CAAE,UAAoB;wBACvB,CAAC,CAAE,SAAmB;YAC9B,QAAQ;YACR,SAAS;YACT,uEAAuE;YACvE,uEAAuE;YACvE,+CAA+C;YAC/C,QAAQ,EAAE;gBACR,OAAO,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE;gBAC3C,cAAc;gBACd,YAAY;gBACZ,WAAW;aACZ;YACD,wEAAwE;YACxE,wEAAwE;YACxE,uCAAuC;YACvC,GAAG,CAAC,CAAC,CAAC,cAAc,KAAK,SAAS,IAAI,CAAC,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;gBAC/D,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,GAAG,CAAC,CAAC,cAAc,CAAC,EAAE;gBAC/C,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,0EAA0E;IAC1E,0EAA0E;IAC1E,wEAAwE;IACxE,qDAAqD;IACrD,MAAM,QAAQ,GAAwE,EAAE,CAAC;IACzF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;YACtB,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;YACtB,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;YAC3C,MAAM,MAAM,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7E,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAClC,QAAQ,CAAC,IAAI,CAAC;gBACZ,CAAC,EAAE,CAAC,CAAC,EAAE;gBACP,CAAC,EAAE,CAAC,CAAC,EAAE;gBACP,OAAO,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;gBAC9C,YAAY,EAAE,MAAM;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,iDAAiD;IACjD,MAAM,OAAO,GAA6B,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;QAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChF,yEAAyE;IACzE,2EAA2E;IAC3E,2EAA2E;IAC3E,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC7E,MAAM,SAAS,GACb,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,YAAY,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;IAE9F,IAAI,QAAQ,EAAE,CAAC;QACb,QAAQ,CACN;YACE,OAAO,EAAE,QAAQ;YACjB,UAAU,EACR,0FAA0F;gBAC1F,4FAA4F;gBAC5F,oFAAoF;YACtF,OAAO,EAAE,EAAE,MAAM,EAAE,YAAY,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE;YAC/D,MAAM,EAAE;gBACN,aAAa,EAAE,QAAQ;gBACvB,kBAAkB,EAAE,OAAO;gBAC3B,qBAAqB,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC;gBACjF,OAAO,EAAE,QAAQ;gBACjB,QAAQ;gBACR,SAAS,EACP,SAAS,KAAK,IAAI;oBAChB,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE;aAC9E;SACF,EACD,GAAG,CAAC,KAAK,CACV,CAAC;QACF,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,CAAC;IAED,GAAG,CAAC,wBAAwB,YAAY,CAAC,IAAI,GAAG,CAAC,CAAC;IAClD,GAAG,CACD,MAAM,CAAC,MAAM,KAAK,CAAC;QACjB,CAAC,CAAC,8EAA8E;QAChF,CAAC,CAAC,MAAM,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAC9D,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,GAAG,CACD,0BAA0B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,2BAA2B,YAAY,CAAC,IAAI,SAAS;YAC/F,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,WAAW,CACrD,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,SAAS,EAAE,CAAC;QACpC,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,0CAA0C,YAAY,CAAC,IAAI,YAAY,CAAC,CAAC;IAC5F,CAAC;IACD,GAAG,CAAC,EAAE,CAAC,CAAC;IACR,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,gGAAgG;QAChG,6EAA6E;QAC7E,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO;YACvB,CAAC,CAAC,sFAAsF;YACxF,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI;gBACb,CAAC,CAAC,OAAO;gBACT,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK;oBACd,CAAC,CAAC,UAAU;oBACZ,CAAC,CAAC,SAAS,CAAC;QAClB,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,KAAK,OAAO,EAAE,CAAC,CAAC;QACzC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ;YAAE,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;QACtD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS;YAAE,GAAG,CAAC,sCAAsC,CAAC,EAAE,CAAC,CAAC;QAC5E,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS;YAAE,GAAG,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;QACzE,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtE,GAAG,CAAC,4CAA4C,CAAC,CAAC;QACpD,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC;QACrB,IAAI,CAAC,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChC,GAAG,CAAC,sDAAsD,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3F,CAAC;QACD,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,GAAG,CAAC,oCAAoC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;QAC9G,CAAC;QACD,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,GAAG,CAAC,qCAAqC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IAED,GAAG,CAAC,EAAE,CAAC,CAAC;IACR,GAAG,CAAC,gDAAgD,CAAC,CAAC;IACtD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,GAAG,CAAC,iEAAiE,CAAC,CAAC;IACzE,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,cAAc,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;IAED,GAAG,CAAC,EAAE,CAAC,CAAC;IACR,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,GAAG,CAAC,kFAAkF,CAAC,CAAC;QACxF,GAAG,CAAC,qEAAqE,CAAC,CAAC;IAC7E,CAAC;SAAM,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,GAAG,CAAC,4FAA4F,CAAC,CAAC;IACpG,CAAC;SAAM,CAAC;QACN,GAAG,CACD,sBAAsB,SAAS,CAAC,MAAM,mDAAmD;YACvF,kBAAkB,YAAY,CAAC,MAAM,OAAO,OAAO,CAAC,MAAM,gCAAgC,CAC7F,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,GAAG,CAAC,KAAK,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/E,CAAC;QACD,GAAG,CAAC,iEAAiE,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,EAAE;IACX,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,mBAAmB;IAC5B,KAAK,EAAE,SAAS;IAChB,GAAG;CACJ,CAAC;AACF,eAAe,CAAC,OAAO,CAAC,CAAC"}
+{"version":3,"file":"regime.js","sourceRoot":"","sources":["../../../src/cli/commands/regime.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AACvE,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,KAAK,GAAe;IACxB;QACE,IAAI,EAAE,MAAM;QACZ,UAAU,EAAE,QAAQ;QACpB,UAAU,EAAE,IAAI;QAChB,WAAW,EAAE,wFAAwF;KACtG;IACD;QACE,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,QAAQ;QACpB,UAAU,EAAE,IAAI;QAChB,WAAW,EAAE,yFAAyF;KACvG;IACD;QACE,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,QAAQ;QACpB,UAAU,EAAE,IAAI;QAChB,WAAW,EAAE,mEAAmE;KACjF;IACD,SAAS;CACV,CAAC;AAEF,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;gDA2BmC,CAAC;AAEjD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,OAAO,CACrB,GAAsB,EACtB,GAAsB,EACtB,OAAe,EACf,KAAgB;IAEhB,MAAM,WAAW,GAAG,gBAAgB,CAAC,OAAO,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC;IAClE,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACxE,MAAM,KAAK,GAA2B,EAAE,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC/D,IAAI,CAAC,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjD,MAAM,IAAI,QAAQ,CAAC,OAAO,OAAO,MAAM,CAAC,CAAC,KAAK,0BAA0B,CAAC,CAAC;YAC5E,CAAC;YACD,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;YAC3B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;oBAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;wBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7E,CAAC;QACH,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,YAAY,QAAQ;gBAAE,MAAM,CAAC,CAAC;YACnC,IAAI,CAAC,YAAY,GAAG,CAAC,uBAAuB,EAAE,CAAC;gBAC7C,MAAM,IAAI,QAAQ,CAAC,OAAO,OAAO,MAAM,CAAC,CAAC,KAAK,2BAA2B,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YACxF,CAAC;YACD,MAAM,IAAI,QAAQ,CAAC,OAAO,OAAO,MAAM,CAAC,CAAC,KAAK,6BAA8B,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;QACrG,CAAC;IACH,CAAC;IACD,IAAI,CAAC;QACH,GAAG,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,GAAG,CAAC,wBAAwB;YAAE,MAAM,IAAI,QAAQ,CAAC,OAAO,OAAO,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAClG,MAAM,CAAC,CAAC;IACV,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,iFAAiF;AACjF,MAAM,cAAc,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAE9F;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAC5B,GAAsB,EACtB,KAAuC,EACvC,OAA+J;IAE/J,MAAM,MAAM,GAAG,IAAI,GAAG,EAA4C,CAAC;IACnE,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;QACxF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY;YAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAClG,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1G,2EAA2E;IAC3E,8EAA8E;IAC9E,MAAM,IAAI,GAAG,CAAC,CAAmC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/F,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/D,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,MAAM,QAAQ,GAAG,GAAG,CAAC,mBAAmB,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,GAAG,CAAC;QAC5D,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1F,MAAM,MAAM,GAAG,KAAK,IAAI,QAAQ,CAAC;QACjC,MAAM,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;QACvB,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChG,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,MAAM,EAAE,CAAC;QACtC,IAAI,GAAG,IAAI,MAAM;YAAE,SAAS;QAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC;QAC9B,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;YAC1E,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,SAAS,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC7B,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,cAAc,CAAC,IAAkE;IAC/F,MAAM,OAAO,GAAG,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;IACzD,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,KAAK,IAAI,CAAC,KAAK,GAAG,CAAC;AAC3E,CAAC;AAED,mDAAmD;AACnD,SAAS,QAAQ,CAAC,YAA0C;IAC1D,OAAO,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9E,MAAM,WAAW,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAE1G,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,UAAU,CAAC,2DAA2D,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,UAAU,CAAC,oCAAoC,IAAI,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;IAC9F,CAAC;IACD,yEAAyE;IACzE,2EAA2E;IAC3E,0DAA0D;IAC1D,MAAM,aAAa,GAAG;QACpB,GAAG,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACrC,IAAI,EAAE,MAAM,CAAC,MAAM;YACnB,OAAO,EAAE;gBACP,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC3B,EAAE,EAAE,CAAC,CAAC,EAAE;oBACR,IAAI,EAAE,OAAgB;oBACtB,MAAM,EAAE,CAAC,CAAC,MAAM;oBAChB,cAAc,EAAE,SAA0C;iBAC3D,CAAC,CAAC;gBACH,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC5B,EAAE,EAAE,CAAC,CAAC,EAAE;oBACR,IAAI,EAAE,QAAiB;oBACvB,MAAM,EAAE,CAAC,CAAC,MAAM;oBAChB,cAAc,EAAE,CAAC,CAAC,cAAc;iBACjC,CAAC,CAAC;aACJ;SACF,CAAC,CAAC;QACH,GAAG,GAAG,CAAC,yBAAyB,EAAE;KACnC,CAAC;IACF,MAAM,YAAY,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAC7E,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,QAAQ,CAChB,+BAA+B,SAAS,aAAa,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC5G,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC3D,KAAK,MAAM,IAAI,IAAI,OAAO;QAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;YAC1D,MAAM,IAAI,QAAQ,CAAC,gBAAgB,CAAC,8BAA8B,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,WAAmB,EAAE,OAAe,EAAE,EAAE,CACvD,WAAW,KAAK,EAAE,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC,CAAC;IAElF,4EAA4E;IAC5E,0EAA0E;IAC1E,sEAAsE;IACtE,wEAAwE;IACxE,sEAAsE;IACtE,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC;IAErC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,cAAc,CAAC,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/F,MAAM,SAAS,GAAG;QAChB,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/C,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;KAC5C,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE/F,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACjC,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAClD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QACpD,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QACtD,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,YAAY;aACpC,GAAG,CAAC,cAAc,CAAC;aACnB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAClE,MAAM,KAAK,GAAG,CAAC,CAAC,cAAc,IAAI,EAAE,CAAC;QACrC,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1E,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3G,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAClG,OAAO;YACL,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;YAC3C,OAAO,EACL,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;gBAChC,CAAC,CAAE,SAAmB;gBACtB,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,IAAI;oBACjB,CAAC,CAAE,OAAiB;oBACpB,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK;wBAClB,CAAC,CAAE,UAAoB;wBACvB,CAAC,CAAE,SAAmB;YAC9B,QAAQ;YACR,SAAS;YACT,uEAAuE;YACvE,uEAAuE;YACvE,+CAA+C;YAC/C,QAAQ,EAAE;gBACR,OAAO,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE;gBAC3C,cAAc;gBACd,YAAY;gBACZ,WAAW;aACZ;YACD,wEAAwE;YACxE,wEAAwE;YACxE,uCAAuC;YACvC,GAAG,CAAC,CAAC,CAAC,cAAc,KAAK,SAAS,IAAI,CAAC,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;gBAC/D,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,GAAG,CAAC,CAAC,cAAc,CAAC,EAAE;gBAC/C,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,0EAA0E;IAC1E,0EAA0E;IAC1E,wEAAwE;IACxE,qDAAqD;IACrD,MAAM,QAAQ,GAAwE,EAAE,CAAC;IACzF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;YACtB,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;YACtB,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;YAC3C,MAAM,MAAM,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7E,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAClC,QAAQ,CAAC,IAAI,CAAC;gBACZ,CAAC,EAAE,CAAC,CAAC,EAAE;gBACP,CAAC,EAAE,CAAC,CAAC,EAAE;gBACP,OAAO,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;gBAC9C,YAAY,EAAE,MAAM;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,iDAAiD;IACjD,MAAM,OAAO,GAA6B,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;QAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChF,iFAAiF;IACjF,qFAAqF;IACrF,uEAAuE;IACvE,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC7E,MAAM,SAAS,GACb,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAEzF,IAAI,QAAQ,EAAE,CAAC;QACb,QAAQ,CACN;YACE,OAAO,EAAE,QAAQ;YACjB,UAAU,EACR,0FAA0F;gBAC1F,4FAA4F;gBAC5F,oFAAoF;YACtF,OAAO,EAAE,EAAE,MAAM,EAAE,YAAY,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE;YAC/D,MAAM,EAAE;gBACN,aAAa,EAAE,QAAQ;gBACvB,kBAAkB,EAAE,OAAO;gBAC3B,qBAAqB,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC;gBACjF,OAAO,EAAE,QAAQ;gBACjB,QAAQ;gBACR,SAAS,EACP,SAAS,KAAK,IAAI;oBAChB,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE;aAC9E;SACF,EACD,GAAG,CAAC,KAAK,CACV,CAAC;QACF,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,CAAC;IAED,GAAG,CAAC,wBAAwB,YAAY,CAAC,IAAI,GAAG,CAAC,CAAC;IAClD,wGAAwG;IACxG,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACpD,GAAG,CACD,UAAU;QACR,CAAC,CAAC,+FAA+F;QACjG,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;YACnB,CAAC,CAAC,8EAA8E;YAChF,CAAC,CAAC,MAAM,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAChE,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,GAAG,CACD,0BAA0B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,2BAA2B,YAAY,CAAC,IAAI,SAAS;YAC/F,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,WAAW,CACrD,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,SAAS,EAAE,CAAC;QACpC,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,0CAA0C,YAAY,CAAC,IAAI,YAAY,CAAC,CAAC;IAC5F,CAAC;IACD,GAAG,CAAC,EAAE,CAAC,CAAC;IACR,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,gGAAgG;QAChG,6EAA6E;QAC7E,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO;YACvB,CAAC,CAAC,sFAAsF;YACxF,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI;gBACb,CAAC,CAAC,OAAO;gBACT,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK;oBACd,CAAC,CAAC,UAAU;oBACZ,CAAC,CAAC,SAAS,CAAC;QAClB,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,KAAK,OAAO,EAAE,CAAC,CAAC;QACzC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ;YAAE,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;QACtD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS;YAAE,GAAG,CAAC,sCAAsC,CAAC,EAAE,CAAC,CAAC;QAC5E,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS;YAAE,GAAG,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;QACzE,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtE,GAAG,CAAC,4CAA4C,CAAC,CAAC;QACpD,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC;QACrB,IAAI,CAAC,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChC,GAAG,CAAC,sDAAsD,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3F,CAAC;QACD,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,GAAG,CAAC,oCAAoC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;QAC9G,CAAC;QACD,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,GAAG,CAAC,qCAAqC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IAED,GAAG,CAAC,EAAE,CAAC,CAAC;IACR,GAAG,CAAC,gDAAgD,CAAC,CAAC;IACtD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,GAAG,CAAC,iEAAiE,CAAC,CAAC;IACzE,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,cAAc,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;IAED,GAAG,CAAC,EAAE,CAAC,CAAC;IACR,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,GAAG,CAAC,kFAAkF,CAAC,CAAC;QACxF,GAAG,CAAC,qEAAqE,CAAC,CAAC;IAC7E,CAAC;SAAM,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,GAAG,CAAC,4FAA4F,CAAC,CAAC;IACpG,CAAC;SAAM,CAAC;QACN,GAAG,CACD,sBAAsB,SAAS,CAAC,MAAM,mDAAmD;YACvF,kBAAkB,YAAY,CAAC,MAAM,OAAO,OAAO,CAAC,MAAM,gCAAgC,CAC7F,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,GAAG,CAAC,KAAK,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/E,CAAC;QACD,GAAG,CAAC,iEAAiE,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,EAAE;IACX,WAAW,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE;IAC9B,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,wCAAwC;IACjD,KAAK,EAAE,SAAS;IAChB,GAAG;CACJ,CAAC;AACF,eAAe,CAAC,OAAO,CAAC,CAAC","sourcesContent":["/**\n * `upt regime` — where in parameter space a family's models are claimed to\n * apply, and where nothing is claimed at all.\n *\n * The whole point of this command is the TRI-STATE of `regimeHolds`. A model\n * whose regime could not be checked at the given point is reported as\n * UNKNOWN, never as valid and never as violated: `'unknown'` is a failure to\n * confirm validity, and folding it either way is the silent pass\n * `atlas/regime.ts` exists to prevent. The text and JSON forms therefore both\n * carry three buckets, not two.\n *\n * `--at` states the point. Values are π-group values keyed by\n * `PiGroup.formula` (or a dimensionless input's own name), so `--at\n * theta0=0.2` is a coordinate, not a parameter of the physics.\n *\n * The uncovered-region report is taken over the box the CALLER stated and no\n * other: `uncoveredRegions` refuses to synthesize an extent, so with no `--at`\n * there is no box and the command says so rather than inventing one.\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 { CliError, EXIT_CHECK_FAILED, UsageError } from '../errors.js';\nimport { emitJson } from '../output.js';\nimport { splitAssignments } from '../bindings.js';\n\nconst FLAGS: FlagSpec[] = [\n  {\n    name: '--at',\n    valueStyle: 'either',\n    repeatable: true,\n    description: 'State one regime coordinate as group=value. A value may be an expression such as pi/2.',\n  },\n  {\n    name: '--assume',\n    valueStyle: 'either',\n    repeatable: true,\n    description: 'Record a prose premise as your declaration. It is not evidence and it is not evaluated.',\n  },\n  {\n    name: '--deny',\n    valueStyle: 'either',\n    repeatable: true,\n    description: 'Mark one prose premise contradicted. The others stay unspecified.',\n  },\n  JSON_FLAG,\n];\n\nconst HELP = `upt regime <family> [--at group=value ...] [--assume premise ...] [--deny premise ...] [--json]\n        Where in parameter space a family's models are claimed to apply.\n        --at states a point in REGIME COORDINATES (π-group formulas, or a\n        dimensionless input's own name, e.g. --at theta0=0.2). Every model AND\n        bridge is reported as valid, violated (naming the failed inequality),\n        or UNKNOWN — a coordinate the point never supplied is NOT a pass, and a\n        regime that states no inequality reads 'no machine condition evaluated\n        (VACUOUS …)' rather than passed (\\`upt help statuses\\` defines each word).\n        Each inequality is listed as satisfied, violated or unchecked. A\n        bridge's prose side conditions (lossless, no-slip, ...) are never\n        evaluated: they are listed as premises not machine-checked unless you\n        --assume one (recorded as your declaration, not as evidence) or --deny\n        one (the record then does not apply as stated). Both match a side\n        condition by case-insensitive substring and never change the\n        inequality verdict.\n        A group can be given by its formula (spaces ignored, * read as ·, so\n        --at \"tau*D*q^2=1\" works) or through its parameters: --at tau=1 D=1\n        q=1 derives tau · D · q^2 = 1. A key that no record uses is named, and\n        ignored.\n        Also prints the pairwise overlap of the regimes and, over the box --at\n        states, the points no CONSTRAINING regime covers.\n        Exit 3 when any record is VIOLATED. VACUOUS, UNKNOWN and a survey with\n        no violated record exit 0.\n        A value is a number, a unit, or a constant expression (theta0=pi/2,\n        t=1s). A bare number is already in the coordinate's unit.\n        T, temperature, temp, and T_K are kelvin: an energy on that name is k_B T.\n        e.g.  upt regime <name> --at theta0=0.2\n              upt regime <name> --deny lossless`;\n\n/**\n * Collect `group=value` assignments from `--at` values and from bare\n * positionals, so `--at theta0=0.2 T0=1 t=10` works as written: the parser\n * gives `--at` one value and leaves the rest as positionals.\n *\n * @throws UsageError on a token with no `=`, CliError on a non-finite value or\n *   a group given twice. A dropped coordinate would silently turn a CHECKED\n *   inequality into an unchecked one, which is exactly the reading this\n *   command exists to keep honest.\n * @internal\n */\nexport function parseAt(\n  api: CommandCtx['api'],\n  raw: readonly string[],\n  command: string,\n  notes?: string[],\n): Record<string, number> {\n  const assignments = splitAssignments(command, raw, 'group=value');\n  const siblings = assignments.map((a) => ({ name: a.name, raw: a.raw }));\n  const point: Record<string, number> = {};\n  for (const a of assignments) {\n    try {\n      const read = api.readNamedBinding(a.name, a.raw, { siblings });\n      if (a.raw === '' || !Number.isFinite(read.value)) {\n        throw new CliError(`upt ${command}: '${a.token}' is not a finite number`);\n      }\n      point[a.name] = read.value;\n      if (notes !== undefined) {\n        for (const note of read.notes) if (!notes.includes(note)) notes.push(note);\n      }\n    } catch (e) {\n      if (e instanceof CliError) throw e;\n      if (e instanceof api.TemperatureBindingError) {\n        throw new CliError(`upt ${command}: '${a.token}' is not a temperature. ${e.message}`);\n      }\n      throw new CliError(`upt ${command}: '${a.token}' is not a finite number. ${(e as Error).message}`);\n    }\n  }\n  try {\n    api.assertSynonymAgreement(point);\n  } catch (e) {\n    if (e instanceof api.SynonymDisagreementError) throw new CliError(`upt ${command}: ${e.message}`);\n    throw e;\n  }\n  return point;\n}\n\n/** A group name with spaces removed and `*` read as `·`, for comparison only. */\nconst normalizeGroup = (name: string): string => name.replace(/\\s+/g, '').replace(/\\*/g, '·');\n\n/**\n * Resolve an `--at` point against the regimes it will be checked against\n * (persona finding F1). A key naming a group matches it with spaces ignored and\n * `*` read as `·`, so `tau*D*q^2` reaches the group `tau · D · q^2`. A group\n * whose parameters are all given, and which the point does not state itself, is\n * derived from them: the product of each parameter to its exponent. `unknown`\n * lists the keys that are neither a group nor a parameter of any regime here.\n * @internal\n */\nexport function resolveAtPoint(\n  api: CommandCtx['api'],\n  point: Readonly<Record<string, number>>,\n  regimes: readonly { groupDefinitions: Readonly<Record<string, { exponents: Readonly<Record<string, number>> }>>; inequalities: readonly { group: string }[] }[],\n): { values: Record<string, number>; unknown: string[] } {\n  const groups = new Map<string, Readonly<Record<string, number>>>();\n  for (const r of regimes) {\n    for (const [key, g] of Object.entries(r.groupDefinitions)) groups.set(key, g.exponents);\n    for (const i of r.inequalities) if (!groups.has(i.group)) groups.set(i.group, { [i.group]: 1 });\n  }\n  const byNormal = new Map([...groups.keys()].map((k) => [normalizeGroup(k), k]));\n  const named = new Set<string>([...groups.keys(), ...[...groups.values()].flatMap((e) => Object.keys(e))]);\n  // A zero exponent does not enter the product: two records can key the same\n  // group with and without an extra `c: 0`, and that must not block derivation.\n  const used = (e: Readonly<Record<string, number>>) => Object.keys(e).filter((n) => e[n] !== 0);\n  const parameters = new Set([...groups.values()].flatMap(used));\n  const values: Record<string, number> = {};\n  const unknown: string[] = [];\n  for (const [key, value] of Object.entries(point)) {\n    const resolved = api.resolveQuantityName(key, named) ?? key;\n    const group = byNormal.get(normalizeGroup(resolved)) ?? byNormal.get(normalizeGroup(key));\n    const stored = group ?? resolved;\n    values[stored] = value;\n    if (group === undefined && !parameters.has(stored) && !parameters.has(key)) unknown.push(key);\n  }\n  for (const [key, exponents] of groups) {\n    if (key in values) continue;\n    const names = used(exponents);\n    if (names.length > 0 && names.every((n) => typeof values[n] === 'number')) {\n      values[key] = names.reduce((acc, n) => acc * Math.pow(values[n]!, exponents[n]!), 1);\n    }\n  }\n  return { values, unknown };\n}\n\n/** Display form of one inequality — the alias when the record states one. */\nexport function showInequality(ineq: { group: string; op: string; bound: number; alias?: string }): string {\n  const literal = `${ineq.group} ${ineq.op} ${ineq.bound}`;\n  return ineq.alias === undefined ? literal : `${literal} (${ineq.alias})`;\n}\n\n/** The group names an inequality list mentions. */\nfunction groupsOf(inequalities: readonly { group: string }[]): Set<string> {\n  return new Set(inequalities.map((i) => i.group));\n}\n\nasync function run(ctx: CommandCtx): Promise<number> {\n  const { args, api, out, err } = ctx;\n  const wantJson = args.flags.has('json');\n  const [familyArg, ...rest] = args.positionals.filter((p) => !p.includes('='));\n  const assignments = [...(args.flags.get('at') ?? []), ...args.positionals.filter((p) => p.includes('='))];\n\n  if (familyArg === undefined) {\n    throw new UsageError('upt regime: a name is required (e.g. `upt regime <name>`)');\n  }\n  if (rest.length > 0) {\n    throw new UsageError(`upt regime: unexpected argument '${rest[0]}' (one family at a time)`);\n  }\n  // Atlas families project into the same registry a domain module adds to.\n  // This command used to read the family array alone, so a name that was not\n  // one of those families had nowhere to put an inequality.\n  const registrations = [\n    ...api.ATLAS_FAMILIES.map((family) => ({\n      name: family.family,\n      records: [\n        ...family.models.map((m) => ({\n          id: m.id,\n          kind: 'model' as const,\n          regime: m.regime,\n          sideConditions: undefined as readonly string[] | undefined,\n        })),\n        ...family.bridges.map((b) => ({\n          id: b.id,\n          kind: 'bridge' as const,\n          regime: b.regime,\n          sideConditions: b.sideConditions,\n        })),\n      ],\n    })),\n    ...api.domainRegimeRegistrations(),\n  ];\n  const registration = registrations.find((entry) => entry.name === familyArg);\n  if (registration === undefined) {\n    throw new CliError(\n      `upt regime: unknown family '${familyArg}' (known: ${registrations.map((entry) => entry.name).join(', ')})`,\n    );\n  }\n\n  const atNotes: string[] = [];\n  const point = parseAt(api, assignments, 'regime', atNotes);\n  for (const note of atNotes) err(note);\n  const stated = Object.keys(point);\n  const assume = args.flags.get('assume') ?? [];\n  const deny = args.flags.get('deny') ?? [];\n  for (const a of assume) {\n    if (deny.some((d) => d.toLowerCase() === a.toLowerCase())) {\n      throw new CliError(`upt regime: '${a}' is both assumed and denied`);\n    }\n  }\n  const matches = (declaration: string, premise: string) =>\n    declaration !== '' && premise.toLowerCase().includes(declaration.toLowerCase());\n\n  // Models AND bridges, because in this family every MODEL regime states zero\n  // inequalities and only the BRIDGES carry real ones. A models-only report\n  // would print nine confident 'valid's that were never checked against\n  // anything — the tri-state's `true` is vacuous when there is nothing to\n  // check, so that case is labelled rather than left to read as a pass.\n  const records = registration.records;\n\n  const { values: resolved, unknown } = resolveAtPoint(api, point, records.map((r) => r.regime));\n  const unmatched = [\n    ...assume.map((d) => ({ flag: '--assume', d })),\n    ...deny.map((d) => ({ flag: '--deny', d })),\n  ].filter(({ d }) => !records.some((r) => (r.sideConditions ?? []).some((p) => matches(d, p))));\n\n  const verdicts = records.map((r) => {\n    const check = api.regimeHolds(r.regime, resolved);\n    const violated = check.violated.map(showInequality);\n    const unchecked = check.unchecked.map(showInequality);\n    const satisfied = r.regime.inequalities\n      .map(showInequality)\n      .filter((s) => !violated.includes(s) && !unchecked.includes(s));\n    const prose = r.sideConditions ?? [];\n    const deniedByUser = prose.filter((p) => deny.some((d) => matches(d, p)));\n    const declaredByUser = prose.filter((p) => !deniedByUser.includes(p) && assume.some((a) => matches(a, p)));\n    const unspecified = prose.filter((p) => !deniedByUser.includes(p) && !declaredByUser.includes(p));\n    return {\n      id: r.id,\n      kind: r.kind,\n      ok: check.ok,\n      vacuous: r.regime.inequalities.length === 0,\n      verdict:\n        r.regime.inequalities.length === 0\n          ? ('vacuous' as const)\n          : check.ok === true\n            ? ('valid' as const)\n            : check.ok === false\n              ? ('violated' as const)\n              : ('unknown' as const),\n      violated,\n      unchecked,\n      // The two bases never mix: `machine` is what this command evaluated at\n      // the point; the rest is prose, and a user's word about it is recorded\n      // as a declaration, never promoted to a check.\n      premises: {\n        machine: { satisfied, violated, unchecked },\n        declaredByUser,\n        deniedByUser,\n        unspecified,\n      },\n      // Prose side conditions are premises this command cannot evaluate; only\n      // the inequalities above were checked. A premise with a machine form is\n      // checked only through its inequality.\n      ...(r.sideConditions !== undefined && r.sideConditions.length > 0\n        ? { premisesNotChecked: [...r.sideConditions] }\n        : {}),\n    };\n  });\n\n  // Pairwise overlap, restricted to pairs that actually SHARE a coordinate.\n  // `regimeOverlap` classifies on shared names only, so a pair with none is\n  // vacuously 'nested' — a true answer that says nothing, and printing it\n  // would bury the pairs that do constrain each other.\n  const overlaps: { a: string; b: string; overlap: string; sharedGroups: string[] }[] = [];\n  for (let i = 0; i < records.length; i++) {\n    for (let j = i + 1; j < records.length; j++) {\n      const a = records[i]!;\n      const b = records[j]!;\n      const gb = groupsOf(b.regime.inequalities);\n      const shared = [...groupsOf(a.regime.inequalities)].filter((g) => gb.has(g));\n      if (shared.length === 0) continue;\n      overlaps.push({\n        a: a.id,\n        b: b.id,\n        overlap: api.regimeOverlap(a.regime, b.regime),\n        sharedGroups: shared,\n      });\n    }\n  }\n\n  // The box is what --at states, and nothing else.\n  const samples: Record<string, number[]> = {};\n  for (const [group, value] of Object.entries(resolved)) samples[group] = [value];\n  // `uncoveredRegions` counts a record as covering a point only when it checked an\n  // inequality there, so an unconstrained model regime covers nothing and every record\n  // can be passed. The constraining count is the report's, not a filter.\n  const constraining = records.filter((r) => r.regime.inequalities.length > 0);\n  const uncovered =\n    stated.length === 0 ? null : api.uncoveredRegions(registration.name, records, samples);\n\n  if (wantJson) {\n    emitJson(\n      {\n        command: 'regime',\n        epistemics:\n          \"an 'unknown' verdict is a failure to confirm validity, NEVER validity: a coordinate the \" +\n          'point did not supply was not checked, and an unchecked inequality is not a satisfied one. ' +\n          'Uncovered regions are reported only over the box --at states; none is synthesized.',\n        options: { family: registration.name, at: point, assume, deny },\n        result: {\n          resolvedPoint: resolved,\n          unknownCoordinates: unknown,\n          unmatchedDeclarations: unmatched.map(({ flag, d }) => ({ flag, declaration: d })),\n          records: verdicts,\n          overlaps,\n          uncovered:\n            uncovered === null\n              ? null\n              : { boxStated: true, points: uncovered.map((r) => ({ point: r.point })) },\n        },\n      },\n      ctx.write,\n    );\n    return verdicts.some((v) => v.ok === false) ? EXIT_CHECK_FAILED : 0;\n  }\n\n  out(`\\nRegimes of family '${registration.name}'`);\n  // A family whose records state no inequality has nothing to check at any point: VACUOUS, not UNCHECKED.\n  const allVacuous = verdicts.every((v) => v.vacuous);\n  out(\n    allVacuous\n      ? '(this family states no inequality: every record is VACUOUS, and no --at point could check it)'\n      : stated.length === 0\n        ? '(no --at point supplied: every inequality is UNCHECKED, which is not a pass)'\n        : `at ${stated.map((g) => `${g}=${point[g]}`).join(' · ')}`,\n  );\n  if (unknown.length > 0) {\n    out(\n      `unknown coordinate(s): ${unknown.join(', ')} — no record in family '${registration.name}' uses ` +\n        `${unknown.length === 1 ? 'it' : 'them'}; ignored`,\n    );\n  }\n  for (const { flag, d } of unmatched) {\n    out(`${flag} '${d}' matches no side condition in family '${registration.name}'; ignored`);\n  }\n  out('');\n  for (const m of verdicts) {\n    // A record that states no inequality was not checked, so its line does not begin with a verdict\n    // that reads as a pass (audit I13); the tri-state's `true` is vacuous there.\n    const verdict = m.vacuous\n      ? 'no machine condition evaluated (VACUOUS — states no inequality; nothing was checked)'\n      : m.ok === true\n        ? 'valid'\n        : m.ok === false\n          ? 'VIOLATED'\n          : 'unknown';\n    out(`  [${m.kind}] ${m.id}: ${verdict}`);\n    for (const v of m.violated) out(`    violated: ${v}`);\n    for (const u of m.unchecked) out(`    unchecked (no value supplied): ${u}`);\n    for (const s of m.premises.machine.satisfied) out(`    satisfied: ${s}`);\n    if (!m.vacuous && m.violated.length === 0 && m.unchecked.length === 0) {\n      out('    every inequality checked and satisfied');\n    }\n    const p = m.premises;\n    if (p.declaredByUser.length > 0) {\n      out(`    declared by you (a declaration, not evidence): ${p.declaredByUser.join('; ')}`);\n    }\n    if (p.deniedByUser.length > 0) {\n      out(`    CONTRADICTED by your --deny: ${p.deniedByUser.join('; ')} — this record does not apply as stated`);\n    }\n    if (p.unspecified.length > 0) {\n      out(`    premises not machine-checked: ${p.unspecified.join('; ')}`);\n    }\n  }\n\n  out('');\n  out('Pairwise overlap (on shared coordinates only):');\n  if (overlaps.length === 0) {\n    out('  no two regimes share a coordinate, so none constrains another');\n  } else {\n    for (const o of overlaps) {\n      out(`  ${o.a} vs ${o.b}: ${o.overlap} — shared: ${o.sharedGroups.join(', ')}`);\n    }\n  }\n\n  out('');\n  if (uncovered === null) {\n    out('Uncovered regions: no box stated. Pass --at to say where you want to know about;');\n    out('  a synthesized box would measure this tool’s guess, not the atlas.');\n  } else if (uncovered.length === 0) {\n    out('Uncovered regions: none — some constraining regime holds at every point of the stated box.');\n  } else {\n    out(\n      `Uncovered regions: ${uncovered.length} point(s) of the stated box that no CONSTRAINING ` +\n        `regime covers (${constraining.length} of ${records.length} records state an inequality):`,\n    );\n    for (const r of uncovered) {\n      out(`  ${Object.entries(r.point).map(([g, v]) => `${g}=${v}`).join(' · ')}`);\n    }\n    out(\"  (an 'unknown' is not coverage — see the tri-state rule above)\");\n  }\n  return verdicts.some((v) => v.ok === false) ? EXIT_CHECK_FAILED : 0;\n}\n\nexport const command: Command = {\n  name: 'regime',\n  aliases: [],\n  positionals: { max: Infinity },\n  flags: FLAGS,\n  help: commandHelp(HELP, FLAGS),\n  summary: 'Report where a family\\'s models are valid, violated, or unknown.',\n  example: 'upt regime oscillators --at theta0=0.2',\n  group: 'explore',\n  run,\n};\nregisterCommand(command);\n"]}

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

@@ -1 +1 @@
-{"version":3,"file":"retrieve.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/retrieve.ts"],"names":[],"mappings":"AASA,OAAO,EAAmB,KAAK,OAAO,EAAmB,MAAM,eAAe,CAAC;AAmF/E,eAAO,MAAM,OAAO,EAAE,OASrB,CAAC"}
+{"version":3,"file":"retrieve.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/retrieve.ts"],"names":[],"mappings":"AASA,OAAO,EAAmB,KAAK,OAAO,EAAmB,MAAM,eAAe,CAAC;AAsF/E,eAAO,MAAM,OAAO,EAAE,OAUrB,CAAC"}

package/dist/cli/commands/retrieve.js

@@ -2,7 +2,8 @@ import { registerCommand } from '../command.js';
 import { commandHelp, JSON_FLAG } from '../flag-help.js';
 import { UsageError } from '../errors.js';
 import { emitJson } from '../output.js';
-import { canonicalRetrievalCorpus, ollamaEmbedder, retrieveHybrid, } from '../../atlas/benchmark/hybrid-retrieval.js';
+/** Where `--embed` looks for Ollama when `--ollama-url` is not given. */
+const OLLAMA_DEFAULT_URL = 'http://127.0.0.1:11434';
 const FLAGS = [
     JSON_FLAG,
     {
@@ -14,58 +15,65 @@ const FLAGS = [
         name: '--ollama-url',
         valueStyle: 'attached',
         description: 'Ollama base URL. Used only with --embed.',
-        defaultValue: 'http://127.0.0.1:11434',
+        defaultValue: OLLAMA_DEFAULT_URL,
     },
 ];
 const HELP = `upt retrieve <claim> [--embed] [--ollama-url=URL]
         Propose canonical relations for a claim. The default is the atlas
-        search (rankByStructure) and does not call out of process. The output
+        search (typed structural ranking) and does not call out of process. The output
         says so. --embed asks a local Ollama model, qwen3-embedding:4b, for
         an order. That order is a proposal, not evidence. Acceptance stays
         the atlas search, and cosine similarity does not enter its score.
         If Ollama cannot be used, the same atlas search is printed and the
         reason is named: the process is not there, the model is not there,
-        the reply is not a vector or its length is not the length stored in
-        the frozen file, or the call does not finish. A fallback exits 0.
-        --ollama-url is used only with --embed (default http://127.0.0.1:11434).
-        A claim is text. It has no expression, so the structural score is
-        zero and the atlas order is by id. The command does not invent one.
+        the server answered an error status, the reply is not a vector or its
+        length is not the length stored in the frozen file, or the call does
+        not finish. A fallback exits 0.
+        --ollama-url is used only with --embed (default ${OLLAMA_DEFAULT_URL}).
+        A claim is text. It has no expression, so the atlas search accepts
+        nothing: it ranks by structure, and a text claim has none to rank.
+        The command does not invent one. --embed still proposes an order.
         e.g.  upt retrieve period of a pendulum
               upt retrieve period of a pendulum --embed`;
-const EPISTEMICS = 'An embedding order is a proposal, not evidence. Acceptance is rankByStructure. Cosine similarity does not enter that score.';
+const EPISTEMICS = 'An embedding order is a proposal, not evidence. Acceptance is the atlas search. Cosine similarity does not enter that score.';
 async function run(ctx) {
-    const { args, out } = ctx;
+    const { args, out, api } = ctx;
     const claim = args.positionals.join(' ').trim();
     if (claim.length === 0) {
         throw new UsageError('upt retrieve: give a claim, e.g. `upt retrieve period of a pendulum`');
     }
     const embed = args.flags.has('embed');
-    const corpus = canonicalRetrievalCorpus();
-    const result = await retrieveHybrid({
+    const ollamaUrl = args.flags.get('ollama-url')?.[0] ?? OLLAMA_DEFAULT_URL;
+    const corpus = api.canonicalRetrievalCorpus();
+    const result = await api.retrieveHybrid({
         query: { text: claim },
         corpus,
         embeddings: embed,
         embedder: embed
-            ? ollamaEmbedder({ baseUrl: args.flags.get('ollama-url')?.[0] ?? 'http://127.0.0.1:11434' })
+            ? api.ollamaEmbedder({ baseUrl: ollamaUrl })
             : undefined,
     });
     if (args.flags.has('json')) {
         emitJson({
             command: 'retrieve',
             epistemics: EPISTEMICS,
-            options: { embed, ollamaUrl: embed ? (args.flags.get('ollama-url')?.[0] ?? 'http://127.0.0.1:11434') : null },
+            options: { embed, ollamaUrl: embed ? ollamaUrl : null },
             result,
         }, ctx.write);
         return 0;
     }
     out(`upt retrieve — ${result.embeddings === 'used' ? 'embedding proposal and atlas search' : 'atlas search'}`);
     out(result.note);
+    if (result.fallback !== null)
+        out(`  fallback reason: ${result.fallback} (Ollama at ${ollamaUrl})`);
     if (result.proposals !== null) {
         out('  proposed (cosine, not accepted):');
         for (const id of result.proposals)
             out(`    ${id}`);
     }
     out('  accepted (atlas search):');
+    if (result.accepted.length === 0)
+        out('    none — the claim has no expression to rank by structure');
     for (const id of result.accepted)
         out(`    ${id}`);
     return 0;
@@ -73,6 +81,7 @@ async function run(ctx) {
 export const command = {
     name: 'retrieve',
     aliases: [],
+    positionals: { max: Infinity },
     flags: FLAGS,
     help: commandHelp(HELP, FLAGS),
     summary: 'Search the atlas for a claim. --embed asks a local Ollama model and does not accept that order.',

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

@@ -1 +1 @@
-{"version":3,"file":"retrieve.js","sourceRoot":"","sources":["../../../src/cli/commands/retrieve.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EACL,wBAAwB,EACxB,cAAc,EACd,cAAc,GACf,MAAM,2CAA2C,CAAC;AAEnD,MAAM,KAAK,GAAe;IACxB,SAAS;IACT;QACE,IAAI,EAAE,SAAS;QACf,UAAU,EAAE,MAAM;QAClB,WAAW,EAAE,qIAAqI;KACnJ;IACD;QACE,IAAI,EAAE,cAAc;QACpB,UAAU,EAAE,UAAU;QACtB,WAAW,EAAE,0CAA0C;QACvD,YAAY,EAAE,wBAAwB;KACvC;CACF,CAAC;AAEF,MAAM,IAAI,GAAG;;;;;;;;;;;;;;wDAc2C,CAAC;AAEzD,MAAM,UAAU,GACd,6HAA6H,CAAC;AAEhI,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAChD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,UAAU,CAAC,sEAAsE,CAAC,CAAC;IAC/F,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,wBAAwB,EAAE,CAAC;IAC1C,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC;QAClC,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE;QACtB,MAAM;QACN,UAAU,EAAE,KAAK;QACjB,QAAQ,EAAE,KAAK;YACb,CAAC,CAAC,cAAc,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,wBAAwB,EAAE,CAAC;YAC5F,CAAC,CAAC,SAAS;KACd,CAAC,CAAC;IACH,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,QAAQ,CACN;YACE,OAAO,EAAE,UAAU;YACnB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,wBAAwB,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;YAC7G,MAAM;SACP,EACD,GAAG,CAAC,KAAK,CACV,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IACD,GAAG,CAAC,kBAAkB,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,qCAAqC,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC;IAC/G,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACjB,IAAI,MAAM,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QAC9B,GAAG,CAAC,oCAAoC,CAAC,CAAC;QAC1C,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,SAAS;YAAE,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,GAAG,CAAC,4BAA4B,CAAC,CAAC;IAClC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,QAAQ;QAAE,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACnD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,EAAE;IACX,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,iGAAiG;IAC1G,OAAO,EAAE,mCAAmC;IAC5C,KAAK,EAAE,MAAM;IACb,GAAG;CACJ,CAAC;AACF,eAAe,CAAC,OAAO,CAAC,CAAC"}
+{"version":3,"file":"retrieve.js","sourceRoot":"","sources":["../../../src/cli/commands/retrieve.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAExC,yEAAyE;AACzE,MAAM,kBAAkB,GAAG,wBAAwB,CAAC;AAEpD,MAAM,KAAK,GAAe;IACxB,SAAS;IACT;QACE,IAAI,EAAE,SAAS;QACf,UAAU,EAAE,MAAM;QAClB,WAAW,EAAE,qIAAqI;KACnJ;IACD;QACE,IAAI,EAAE,cAAc;QACpB,UAAU,EAAE,UAAU;QACtB,WAAW,EAAE,0CAA0C;QACvD,YAAY,EAAE,kBAAkB;KACjC;CACF,CAAC;AAEF,MAAM,IAAI,GAAG;;;;;;;;;;;0DAW6C,kBAAkB;;;;;wDAKpB,CAAC;AAEzD,MAAM,UAAU,GACd,8HAA8H,CAAC;AAEjI,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAChD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,UAAU,CAAC,sEAAsE,CAAC,CAAC;IAC/F,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,kBAAkB,CAAC;IAC1E,MAAM,MAAM,GAAG,GAAG,CAAC,wBAAwB,EAAE,CAAC;IAC9C,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,cAAc,CAAC;QACtC,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE;QACtB,MAAM;QACN,UAAU,EAAE,KAAK;QACjB,QAAQ,EAAE,KAAK;YACb,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;YAC5C,CAAC,CAAC,SAAS;KACd,CAAC,CAAC;IACH,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,QAAQ,CACN;YACE,OAAO,EAAE,UAAU;YACnB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE;YACvD,MAAM;SACP,EACD,GAAG,CAAC,KAAK,CACV,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IACD,GAAG,CAAC,kBAAkB,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,qCAAqC,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC;IAC/G,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACjB,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI;QAAE,GAAG,CAAC,sBAAsB,MAAM,CAAC,QAAQ,eAAe,SAAS,GAAG,CAAC,CAAC;IACpG,IAAI,MAAM,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QAC9B,GAAG,CAAC,oCAAoC,CAAC,CAAC;QAC1C,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,SAAS;YAAE,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,GAAG,CAAC,4BAA4B,CAAC,CAAC;IAClC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,GAAG,CAAC,6DAA6D,CAAC,CAAC;IACrG,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,QAAQ;QAAE,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACnD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,EAAE;IACX,WAAW,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE;IAC9B,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,iGAAiG;IAC1G,OAAO,EAAE,mCAAmC;IAC5C,KAAK,EAAE,MAAM;IACb,GAAG;CACJ,CAAC;AACF,eAAe,CAAC,OAAO,CAAC,CAAC","sourcesContent":["/**\n * `upt retrieve <claim>` — optional embedding proposals, atlas acceptance.\n *\n * The default does not call out of process. `--embed` asks a local Ollama\n * model. The embedding order is a proposal. `rankByStructure` is what is\n * accepted. If Ollama cannot be used, the atlas search is still the answer\n * and the output names the reason. That is exit 0.\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 { UsageError } from '../errors.js';\nimport { emitJson } from '../output.js';\n\n/** Where `--embed` looks for Ollama when `--ollama-url` is not given. */\nconst OLLAMA_DEFAULT_URL = 'http://127.0.0.1:11434';\n\nconst FLAGS: FlagSpec[] = [\n  JSON_FLAG,\n  {\n    name: '--embed',\n    valueStyle: 'none',\n    description: 'Ask a local Ollama model for an order. Acceptance stays the atlas search. A failure of Ollama still prints that search and exits 0.',\n  },\n  {\n    name: '--ollama-url',\n    valueStyle: 'attached',\n    description: 'Ollama base URL. Used only with --embed.',\n    defaultValue: OLLAMA_DEFAULT_URL,\n  },\n];\n\nconst HELP = `upt retrieve <claim> [--embed] [--ollama-url=URL]\n        Propose canonical relations for a claim. The default is the atlas\n        search (typed structural ranking) and does not call out of process. The output\n        says so. --embed asks a local Ollama model, qwen3-embedding:4b, for\n        an order. That order is a proposal, not evidence. Acceptance stays\n        the atlas search, and cosine similarity does not enter its score.\n        If Ollama cannot be used, the same atlas search is printed and the\n        reason is named: the process is not there, the model is not there,\n        the server answered an error status, the reply is not a vector or its\n        length is not the length stored in the frozen file, or the call does\n        not finish. A fallback exits 0.\n        --ollama-url is used only with --embed (default ${OLLAMA_DEFAULT_URL}).\n        A claim is text. It has no expression, so the atlas search accepts\n        nothing: it ranks by structure, and a text claim has none to rank.\n        The command does not invent one. --embed still proposes an order.\n        e.g.  upt retrieve period of a pendulum\n              upt retrieve period of a pendulum --embed`;\n\nconst EPISTEMICS =\n  'An embedding order is a proposal, not evidence. Acceptance is the atlas search. Cosine similarity does not enter that score.';\n\nasync function run(ctx: CommandCtx): Promise<number> {\n  const { args, out, api } = ctx;\n  const claim = args.positionals.join(' ').trim();\n  if (claim.length === 0) {\n    throw new UsageError('upt retrieve: give a claim, e.g. `upt retrieve period of a pendulum`');\n  }\n  const embed = args.flags.has('embed');\n  const ollamaUrl = args.flags.get('ollama-url')?.[0] ?? OLLAMA_DEFAULT_URL;\n  const corpus = api.canonicalRetrievalCorpus();\n  const result = await api.retrieveHybrid({\n    query: { text: claim },\n    corpus,\n    embeddings: embed,\n    embedder: embed\n      ? api.ollamaEmbedder({ baseUrl: ollamaUrl })\n      : undefined,\n  });\n  if (args.flags.has('json')) {\n    emitJson(\n      {\n        command: 'retrieve',\n        epistemics: EPISTEMICS,\n        options: { embed, ollamaUrl: embed ? ollamaUrl : null },\n        result,\n      },\n      ctx.write,\n    );\n    return 0;\n  }\n  out(`upt retrieve — ${result.embeddings === 'used' ? 'embedding proposal and atlas search' : 'atlas search'}`);\n  out(result.note);\n  if (result.fallback !== null) out(`  fallback reason: ${result.fallback} (Ollama at ${ollamaUrl})`);\n  if (result.proposals !== null) {\n    out('  proposed (cosine, not accepted):');\n    for (const id of result.proposals) out(`    ${id}`);\n  }\n  out('  accepted (atlas search):');\n  if (result.accepted.length === 0) out('    none — the claim has no expression to rank by structure');\n  for (const id of result.accepted) out(`    ${id}`);\n  return 0;\n}\n\nexport const command: Command = {\n  name: 'retrieve',\n  aliases: [],\n  positionals: { max: Infinity },\n  flags: FLAGS,\n  help: commandHelp(HELP, FLAGS),\n  summary: 'Search the atlas for a claim. --embed asks a local Ollama model and does not accept that order.',\n  example: 'upt retrieve period of a pendulum',\n  group: 'data',\n  run,\n};\nregisterCommand(command);\n"]}

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

@@ -1 +1 @@
-{"version":3,"file":"search.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/search.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAmB,KAAK,OAAO,EAAmB,MAAM,eAAe,CAAC;AA2F/E,eAAO,MAAM,OAAO,EAAE,OASrB,CAAC"}
+{"version":3,"file":"search.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/search.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAmB,KAAK,OAAO,EAAmB,MAAM,eAAe,CAAC;AA+F/E,eAAO,MAAM,OAAO,EAAE,OAUrB,CAAC"}

package/dist/cli/commands/search.js

@@ -1,6 +1,6 @@
 import { registerCommand } from '../command.js';
 import { commandHelp, JSON_FLAG } from '../flag-help.js';
-import { CliError, UsageError } from '../errors.js';
+import { UsageError } from '../errors.js';
 import { emitJson } from '../output.js';
 import { buildSearchIndex, fold, matchEveryWord, queryWords, SEARCH_SECTIONS, STOP_WORDS } from '../search-index.js';
 const FLAGS = [JSON_FLAG];
@@ -21,7 +21,7 @@ const HELP = `upt search <word> ...
         prefix, so landau is not reported as Landauer without saying so.
         A catalog bridge with no evaluator and a formalRef routes to
         upt atlas, and the hit quotes that reference's covers line.
-        No match exits 1 and names the registries searched.
+        No match is a result: exit 0, naming the registries searched.
         e.g.  upt search Schrödinger
               upt search thermal noise`;
 const PER_SECTION = 10;
@@ -59,10 +59,14 @@ async function run(ctx) {
                 })),
             },
         }, ctx.write);
-        return matches.length === 0 ? 1 : 0;
+        return 0;
     }
+    // No match is the result the search computed, not an error: exit 0, and the
+    // scope is printed because an empty result is an absence from this registry.
     if (matches.length === 0) {
-        throw new CliError(`upt search: no entry matches every word of '${query.join(' ')}' — ${scope}`);
+        out(`upt search ${query.join(' ')} — no entry matches every word of '${query.join(' ')}'`);
+        out(`  ${scope}; an absence here is not an absence from physics`);
+        return 0;
     }
     out(`\nupt search ${query.join(' ')} — ${matches.length} match(es); every word matched`);
     out('  matched by words, symbols and genuine aliases; an equal dimension is never a match (a radius is not a wavelength)');
@@ -85,6 +89,7 @@ async function run(ctx) {
 export const command = {
     name: 'search',
     aliases: [],
+    positionals: { max: Infinity },
     flags: FLAGS,
     help: commandHelp(HELP, FLAGS),
     summary: 'Find a bridge, equation, model, quantity, case, or regime by the words in its record.',

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

@@ -1 +1 @@
-{"version":3,"file":"search.js","sourceRoot":"","sources":["../../../src/cli/commands/search.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,gBAAgB,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErH,MAAM,KAAK,GAAe,CAAC,SAAS,CAAC,CAAC;AAEtC,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;;;;;uCAmB0B,CAAC;AAExC,MAAM,WAAW,GAAG,EAAE,CAAC;AAEvB,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;IAClC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,UAAU,CAAC,qEAAqE,CAAC,CAAC;IAClH,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,UAAU,CAAC,qEAAqE,CAAC,CAAC;IACpH,MAAM,KAAK,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC7F,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,UAAU,CAAC,gBAAgB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;IAC3G,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;IAExD,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,MAAM,IAAI,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtH,MAAM,KAAK,GAAG,YAAY,MAAM,sBAAsB,CAAC;IAEvD,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,QAAQ,CACN;YACE,OAAO,EAAE,QAAQ;YACjB,UAAU,EACR,gGAAgG;gBAChG,oGAAoG;YACtG,OAAO,EAAE,EAAE,KAAK,EAAE;YAClB,MAAM,EAAE;gBACN,KAAK;gBACL,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC3B,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI;oBAClB,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE;oBACd,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI;oBACrB,SAAS,EAAE,CAAC,CAAC,SAAS;oBACtB,GAAG,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;oBACpD,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO;oBACxB,GAAG,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;iBAC9D,CAAC,CAAC;aACJ;SACF,EACD,GAAG,CAAC,KAAK,CACV,CAAC;QACF,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,QAAQ,CAAC,+CAA+C,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC;IACnG,CAAC;IACD,GAAG,CAAC,gBAAgB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,OAAO,CAAC,MAAM,gCAAgC,CAAC,CAAC;IACzF,GAAG,CAAC,qHAAqH,CAAC,CAAC;IAC3H,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,eAAe,EAAE,CAAC;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAC5D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAClC,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC;QACnB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,CAAC;YAC7C,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,mBAAmB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/F,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,KAAK,GAAG,gBAAgB,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,GAAG,CAAC,CAAC;YAC1J,GAAG,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,YAAY,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;QACpH,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,GAAG,WAAW;YAAE,GAAG,CAAC,WAAW,MAAM,CAAC,MAAM,GAAG,WAAW,kCAAkC,CAAC,CAAC;IACjH,CAAC;IACD,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC;IACnB,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,EAAE;IACX,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,uFAAuF;IAChG,OAAO,EAAE,0BAA0B;IACnC,KAAK,EAAE,SAAS;IAChB,GAAG;CACJ,CAAC;AACF,eAAe,CAAC,OAAO,CAAC,CAAC"}
+{"version":3,"file":"search.js","sourceRoot":"","sources":["../../../src/cli/commands/search.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAY,UAAU,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,gBAAgB,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErH,MAAM,KAAK,GAAe,CAAC,SAAS,CAAC,CAAC;AAEtC,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;;;;;uCAmB0B,CAAC;AAExC,MAAM,WAAW,GAAG,EAAE,CAAC;AAEvB,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;IAClC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,UAAU,CAAC,qEAAqE,CAAC,CAAC;IAClH,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,UAAU,CAAC,qEAAqE,CAAC,CAAC;IACpH,MAAM,KAAK,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC7F,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,UAAU,CAAC,gBAAgB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;IAC3G,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;IAExD,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,MAAM,IAAI,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtH,MAAM,KAAK,GAAG,YAAY,MAAM,sBAAsB,CAAC;IAEvD,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,QAAQ,CACN;YACE,OAAO,EAAE,QAAQ;YACjB,UAAU,EACR,gGAAgG;gBAChG,oGAAoG;YACtG,OAAO,EAAE,EAAE,KAAK,EAAE;YAClB,MAAM,EAAE;gBACN,KAAK;gBACL,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC3B,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI;oBAClB,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE;oBACd,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI;oBACrB,SAAS,EAAE,CAAC,CAAC,SAAS;oBACtB,GAAG,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;oBACpD,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO;oBACxB,GAAG,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;iBAC9D,CAAC,CAAC;aACJ;SACF,EACD,GAAG,CAAC,KAAK,CACV,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,4EAA4E;IAC5E,6EAA6E;IAC7E,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,GAAG,CAAC,cAAc,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,sCAAsC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3F,GAAG,CAAC,KAAK,KAAK,kDAAkD,CAAC,CAAC;QAClE,OAAO,CAAC,CAAC;IACX,CAAC;IACD,GAAG,CAAC,gBAAgB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,OAAO,CAAC,MAAM,gCAAgC,CAAC,CAAC;IACzF,GAAG,CAAC,qHAAqH,CAAC,CAAC;IAC3H,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,eAAe,EAAE,CAAC;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAC5D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAClC,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC;QACnB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,CAAC;YAC7C,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,mBAAmB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/F,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,KAAK,GAAG,gBAAgB,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,GAAG,CAAC,CAAC;YAC1J,GAAG,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,YAAY,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;QACpH,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,GAAG,WAAW;YAAE,GAAG,CAAC,WAAW,MAAM,CAAC,MAAM,GAAG,WAAW,kCAAkC,CAAC,CAAC;IACjH,CAAC;IACD,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC;IACnB,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,EAAE;IACX,WAAW,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE;IAC9B,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,uFAAuF;IAChG,OAAO,EAAE,0BAA0B;IACnC,KAAK,EAAE,SAAS;IAChB,GAAG;CACJ,CAAC;AACF,eAAe,CAAC,OAAO,CAAC,CAAC","sourcesContent":["/**\n * `upt search <word> ...` — find a law, model, bridge or quantity by the words\n * a physicist would use, and name the command that inspects it.\n *\n * Audit §14 I5. `explain schrodinger-equation` failed because the name was a\n * model, not a quantity, and its suggestions were edit-distance neighbours.\n * This command searches every registry the CLI exposes by WORD: names, ids,\n * symbols, genuine aliases (`resolveQuantityName`) and catalog-bridge\n * descriptions. An equal dimension is never a match: a radius is not a\n * wavelength, and angular frequency is not frequency, even where the two share\n * a dimension.\n *\n * A word of one or two letters is a symbol, not an English word: it matches a\n * quantity symbol, an alias or a whole id segment exactly, and never a stray\n * letter inside a description.\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 { CliError, UsageError } from '../errors.js';\nimport { emitJson } from '../output.js';\nimport { buildSearchIndex, fold, matchEveryWord, queryWords, SEARCH_SECTIONS, STOP_WORDS } from '../search-index.js';\n\nconst FLAGS: FlagSpec[] = [JSON_FLAG];\n\nconst HELP = `upt search <word> ...\n        Find a catalog bridge, canonical equation, atlas model, atlas bridge,\n        quantity, applied case, or regime registration by the words in its name, id, symbol, alias\n        or bridge description, and print the command that inspects each match. Every\n        word must match. Two or more words that share a field must sit together\n        there, in either order, and a word in that phrase is not a prefix of a\n        longer word. A trailing parenthetical is a gloss. A gloss does not\n        combine with the title, so a query split across them matches nothing,\n        and a query that is the gloss says so. Words that never share a\n        non-gloss field still match. A space inside one argument, and a hyphen, are word\n        breaks, so a quoted phrase and a hyphenated name are several words.\n        An equal dimension is never a match (a radius is not\n        a wavelength). A word of one or two letters matches a symbol or alias\n        exactly. A longer word that only continues the query is named as a\n        prefix, so landau is not reported as Landauer without saying so.\n        A catalog bridge with no evaluator and a formalRef routes to\n        upt atlas, and the hit quotes that reference's covers line.\n        No match is a result: exit 0, naming the registries searched.\n        e.g.  upt search Schrödinger\n              upt search thermal noise`;\n\nconst PER_SECTION = 10;\n\nasync function run(ctx: CommandCtx): Promise<number> {\n  const { args, api, out } = ctx;\n  const raw = [...args.positionals];\n  if (raw.length === 0) throw new UsageError('upt search: give at least one word, e.g. `upt search thermal noise`');\n  const query = queryWords(raw);\n  if (query.length === 0) throw new UsageError('upt search: give at least one word, e.g. `upt search thermal noise`');\n  const index = buildSearchIndex(api);\n  const significant = query.length > 1 ? query.filter((q) => !STOP_WORDS.has(fold(q))) : query;\n  if (significant.length === 0) throw new UsageError(`upt search: '${query.join(' ')}' has only stop words`);\n  const matches = matchEveryWord(api, index, significant);\n\n  const counts = SEARCH_SECTIONS.map(([k, title]) => `${index.filter((e) => e.kind === k).length} ${title}`).join(', ');\n  const scope = `searched ${counts}; this registry only`;\n\n  if (args.flags.has('json')) {\n    emitJson(\n      {\n        command: 'search',\n        epistemics:\n          'Matched by the words of names, ids, symbols, genuine aliases and catalog-bridge descriptions. ' +\n          'An equal dimension is never a match. No match means none in these registries, not none in physics.',\n        options: { query },\n        result: {\n          scope,\n          matches: matches.map((m) => ({\n            kind: m.entry.kind,\n            id: m.entry.id,\n            summary: m.entry.line,\n            matchedIn: m.matchedIn,\n            ...(m.alias === undefined ? {} : { alias: m.alias }),\n            command: m.entry.command,\n            ...(m.prefixes === undefined ? {} : { prefixes: m.prefixes }),\n          })),\n        },\n      },\n      ctx.write,\n    );\n    return 0;\n  }\n\n  // No match is the result the search computed, not an error: exit 0, and the\n  // scope is printed because an empty result is an absence from this registry.\n  if (matches.length === 0) {\n    out(`upt search ${query.join(' ')} — no entry matches every word of '${query.join(' ')}'`);\n    out(`  ${scope}; an absence here is not an absence from physics`);\n    return 0;\n  }\n  out(`\\nupt search ${query.join(' ')} — ${matches.length} match(es); every word matched`);\n  out('  matched by words, symbols and genuine aliases; an equal dimension is never a match (a radius is not a wavelength)');\n  for (const [kind, title] of SEARCH_SECTIONS) {\n    const inKind = matches.filter((m) => m.entry.kind === kind);\n    if (inKind.length === 0) continue;\n    out(`\\n${title}:`);\n    for (const m of inKind.slice(0, PER_SECTION)) {\n      const prefix = (m.prefixes ?? []).map((p) => `${p.query} is a prefix of ${p.word}`).join('; ');\n      out(`  ${m.entry.line}${m.alias === undefined ? '' : ` (alias ${m.alias})`}  [words in: ${m.matchedIn.join(', ')}${prefix === '' ? '' : `; ${prefix}`}]`);\n      out(`      ${m.entry.commandLabel}: ${m.entry.command}${m.entry.note === undefined ? '' : ` (${m.entry.note})`}`);\n    }\n    if (inKind.length > PER_SECTION) out(`  … and ${inKind.length - PER_SECTION} more (--json lists every match)`);\n  }\n  out(`\\n${scope}.`);\n  return 0;\n}\n\nexport const command: Command = {\n  name: 'search',\n  aliases: [],\n  positionals: { max: Infinity },\n  flags: FLAGS,\n  help: commandHelp(HELP, FLAGS),\n  summary: 'Find a bridge, equation, model, quantity, case, or regime by the words in its record.',\n  example: 'upt search thermal noise',\n  group: 'explore',\n  run,\n};\nregisterCommand(command);\n"]}

package/dist/cli/commands/symbolic.js

@@ -1,7 +1,7 @@
 import { registerCommand } from '../command.js';
 import { commandHelp, JSON_FLAG } from '../flag-help.js';
 import { emitJson } from '../output.js';
-import { EVAL_STUBS, printDisplay, printEval, printLatex, latexName, siUnitOf } from '../expr-print.js';
+import { EVAL_STUBS, printDisplay, printEval, printLatex, latexName } from '../expr-print.js';
 const FLAGS = [
     {
         name: '--simplify',
@@ -28,25 +28,21 @@ function exprToString(n) {
  * and leaf bound, so copying it reproduces the printed value. `null` when the
  * AST holds a node the scalar evaluator cannot take.
  */
-function evalFormOf(n, constants, point) {
+function evalFormOf(n, api, point) {
     const formula = printEval(n);
     if (formula === null)
         return null;
     const names = [];
-    const collect = (e) => {
-        if (e.kind === 'symbol') {
-            if (!names.includes(e.name))
-                names.push(e.name);
-        }
-        else if (e.kind === 'op')
-            e.args.forEach(collect);
-    };
-    collect(n);
+    // The leaves under `op` arguments only: a node the scalar evaluator cannot take has no eval form.
+    api.forEachScalarLeaf(n, (leaf) => {
+        if (!names.includes(leaf.name))
+            names.push(leaf.name);
+    }, {});
     const bindings = [];
     for (const name of names) {
-        if (name in EVAL_STUBS || Number.isFinite(Number(name)))
+        if (name in EVAL_STUBS || api.isDecimalLiteral(name))
             continue;
-        const value = constants[name]?.value ?? point[name];
+        const value = api.CONSTANTS[name]?.value ?? point[name];
         if (value === undefined)
             return null;
         bindings.push(`${name}=${value}`);
@@ -62,15 +58,10 @@ const SOLAR_MASS_SOURCE = 'evaluation point: the solar mass 1.989e30 kg, the rou
  */
 function symbolTable(n, api, inputs, point) {
     const names = [];
-    const collect = (e) => {
-        if (e.kind === 'symbol') {
-            if (!names.includes(e.name) && !Number.isFinite(Number(e.name)))
-                names.push(e.name);
-        }
-        else if (e.kind === 'op')
-            e.args.forEach(collect);
-    };
-    collect(n);
+    api.forEachScalarLeaf(n, (leaf) => {
+        if (!names.includes(leaf.name) && !api.isDecimalLiteral(leaf.name))
+            names.push(leaf.name);
+    }, {});
     const rows = [];
     for (const name of names) {
         const c = api.CONSTANTS[name];
@@ -87,7 +78,7 @@ function symbolTable(n, api, inputs, point) {
             symbol: name,
             meaning: `input quantity ${q.name} (symbol ${q.symbol}), ${api.format(q.dim)}`,
             value: v,
-            unit: siUnitOf(q.dim),
+            unit: api.siUnitOf(q.dim),
             source: name === 'mass' && v === api.M_SUN_KG ? SOLAR_MASS_SOURCE : 'evaluation point',
         });
     }
@@ -132,6 +123,11 @@ async function run(ctx) {
         const point = { mass: api.M_SUN_KG };
         const num = obs.evaluate(point);
         const inputs = [...first.sources, ...second.sources];
+        // Every edge whose catalog status is below established grades the chain; name each one.
+        const graded = [first, second].filter((edge) => edge.beId !== null && api.catalogEntry(edge.beId)?.status !== 'established');
+        const grade = graded.length === 0
+            ? null
+            : { confidence: api.composeEdges(first, second).confidence, gradedBy: graded.map((edge) => api.catalogEdgeKey(edge.beId)) };
         if (!isJson) {
             out(`  ● ${label}`);
             out(`      composed:   ${obs.name}(${obs.leaves.join(',')}) = ${exprToString(obs.expr)}`);
@@ -146,20 +142,21 @@ async function run(ctx) {
                     leaves: s.leaves,
                     expr: exprToString(s.expr),
                     latex: latexOf(s.name, s.leaves, s.expr),
-                    evalForm: evalFormOf(s.expr, api.CONSTANTS, point),
+                    evalForm: evalFormOf(s.expr, api, point),
                     symbols: symbolTable(s.expr, api, inputs, point),
                     dim: api.format(s.dim),
                     value: sNum,
+                    ...(grade ?? {}),
                     simplified: true,
                 });
             }
             else {
-                const tag = s.expr === obs.expr ? '  (unchanged — minimal, MathTS absent, or not reducible here)' : '';
+                const tag = s.expr === obs.expr ? '  (unchanged — minimal, or not reducible here)' : '';
                 out(`      simplified: ${s.name}(${s.leaves.join(',')}) = ${exprToString(s.expr)}${tag}`);
                 out(`      latex:      ${latexOf(s.name, s.leaves, s.expr) ?? 'none (a node the printer cannot take)'}`);
-                out(`      eval form:  ${showEvalForm(evalFormOf(s.expr, api.CONSTANTS, point))}`);
+                out(`      eval form:  ${showEvalForm(evalFormOf(s.expr, api, point))}`);
                 showSymbolTable(symbolTable(s.expr, api, inputs, point), out);
-                out(`      value @ mass = M_sun:  ${sNum.toExponential(4)}  (= composed, ${api.format(s.dim)})`);
+                out(`      value @ mass = M_sun:  ${api.formatQuantity(sNum)}  (= composed, ${api.format(s.dim)})`);
             }
         }
         else if (isJson) {
@@ -169,25 +166,23 @@ async function run(ctx) {
                 leaves: obs.leaves,
                 expr: exprToString(obs.expr),
                 latex: latexOf(obs.name, obs.leaves, obs.expr),
-                evalForm: evalFormOf(obs.expr, api.CONSTANTS, point),
+                evalForm: evalFormOf(obs.expr, api, point),
                 symbols: symbolTable(obs.expr, api, inputs, point),
                 dim: api.format(obs.dim),
                 value: num,
+                ...(grade ?? {}),
             });
         }
         else {
             out(`      latex:      ${latexOf(obs.name, obs.leaves, obs.expr) ?? 'none (a node the printer cannot take)'}`);
-            out(`      eval form:  ${showEvalForm(evalFormOf(obs.expr, api.CONSTANTS, point))}`);
+            out(`      eval form:  ${showEvalForm(evalFormOf(obs.expr, api, point))}`);
             showSymbolTable(symbolTable(obs.expr, api, inputs, point), out);
             out(`      dimension: ${api.format(obs.dim)}   (validated on the composed AST)`);
-            out(`      value @ mass = M_sun:  ${num.toExponential(4)}`);
+            out(`      value @ mass = M_sun:  ${api.formatQuantity(num)}`);
         }
-        // Every edge whose catalog status is below established grades the chain; name each one.
-        const graded = [first, second].filter((edge) => edge.beId !== null && api.catalogEntry(edge.beId)?.status !== 'established');
-        if (!isJson && graded.length > 0) {
-            const composed = api.composeEdges(first, second);
-            const pages = graded.map((edge) => `be-${edge.beId}`).join(' and ');
-            out(`      confidence: ${composed.confidence}. This chain stays provisional. ` +
+        if (!isJson && grade !== null) {
+            const pages = grade.gradedBy.join(' and ');
+            out(`      confidence: ${grade.confidence}. This chain stays provisional. ` +
                 `upt atlas ${pages} ${graded.length === 1 ? "shows that edge's formalRef; that page is not" : "show those edges' formalRefs; neither page is"} this grade.`);
         }
         if (!isJson)