universal-physics-tensor 10.0.0 → 12.0.0

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

@@ -1 +1 @@
-{"version":3,"file":"eval.js","sourceRoot":"","sources":["../../../src/cli/commands/eval.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,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAGlD,MAAM,KAAK,GAAe;IACxB,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,sDAAsD,EAAE;IAC5G,SAAS;IACT;QACE,IAAI,EAAE,eAAe;QACrB,UAAU,EAAE,MAAM;QAClB,WAAW,EAAE,iFAAiF;KAC/F;IACD,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,iDAAiD,EAAE;IACzG,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,wCAAwC,EAAE;CACrG,CAAC;AAEF;;;;;;;;GAQG;AACH,SAAS,UAAU,CACjB,GAAsB,EACtB,IAAuB,EACvB,IAAc;IAEd,MAAM,KAAK,GAA2B,EAAE,CAAC;IACzC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACnH,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,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,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;YACrE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;YAC3B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;gBAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7E,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,YAAY,GAAG,CAAC,wBAAwB;gBAAE,MAAM,IAAI,QAAQ,CAAC,aAAa,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YAC5F,MAAM,GAAG,GAAG,CAAC,YAAY,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,CAAW,CAAC,OAAO,CAAC;YAC1E,MAAM,IAAI,QAAQ,CAAC,cAAc,CAAC,CAAC,UAAU,6CAA6C,GAAG,EAAE,CAAC,CAAC;QACnG,CAAC;IACH,CAAC;IACD,IAAI,CAAC;QACH,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC;IAC1D,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,GAAG,CAAC,wBAAwB;YAAE,MAAM,IAAI,QAAQ,CAAC,aAAa,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5F,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC;AAED,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wEA8B2D,CAAC;AAEzE,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IACpC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;IACrC,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,oBAAoB,EAAE,CAAC;IAE9C,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAC5B,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC3C,IAAI,MAAM,EAAE,CAAC;YACX,QAAQ,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;YACnE,OAAO,CAAC,CAAC;QACX,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,CAAC;QACV,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,UAAU,CAAC,0DAA0D,CAAC,CAAC;IACnF,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,gBAAgB,EAAE,CAAC;IAC5C,IAAI,KAAK;QAAE,GAAG,CAAC,YAAY,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAExD,IAAI,EAAE,CAAC;IACP,IAAI,CAAC;QACH,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,6DAA6D;QAC7D,MAAM,IAAI,iBAAiB,CAAE,CAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC1D,CAAC;IAED,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,UAAU,CAAC,sFAAsF,CAAC,CAAC;IAC/G,CAAC;IACD,MAAM,IAAI,GAAa,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IACpH,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;IAExD,MAAM,OAAO,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;IAC1D,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnB,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;YACtC,CAAC,CAAC,kEAAkE;YACpE,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,iBAAiB,CACzB,uBAAuB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,uBAAuB,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,KAAK,UAAU,EAAE,EAClH,IAAI,CACL,CAAC;IACJ,CAAC;IAED,qEAAqE;IACrE,oEAAoE;IACpE,mDAAmD;IACnD,IAAI,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,GAAG,CAAC,8BAA8B,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACrE,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,OAAO,CAAC,qBAAqB,KAAK,IAAI,EAAE,CAAC;YAC1D,MAAM,IAAI,iBAAiB,CAAC,OAAO,CAAC,KAAM,EAAE,IAAI,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAa,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,IAAI,KAAK,IAAI;QAAE,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC,SAAS,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;IACnG,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAEpC,uFAAuF;IACvF,gEAAgE;IAChE,IAAI,KAAa,CAAC;IAClB,IAAI,CAAC;QACH,KAAK,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,GAAG,CAAC,iBAAiB;YAAE,MAAM,IAAI,QAAQ,CAAC,aAAa,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACrF,MAAM,IAAI,iBAAiB,CAAE,CAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC1D,CAAC;IAED,IAAI,MAAM,EAAE,CAAC;QACX,QAAQ,CACN;YACE,OAAO,EAAE,MAAM;YACf,MAAM,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE;SACvG,EACD,GAAG,CAAC,KAAK,CACV,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IACnB,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,MAAM;IACZ,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,0FAA0F;IACnG,OAAO,EAAE,8BAA8B;IACvC,KAAK,EAAE,UAAU;IACjB,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC","sourcesContent":["/**\n * `upt eval` — evaluate the caller's own scalar formula (safe — arithmetic\n * only). Transposed verbatim from bin/upt.mjs's `evalCmd()` (lines\n * 290-310), plus `--json`. `--debug`/`--json` are now declared flags\n * (parsed by `args.ts`), so the positionals `evalCmd` used to filter\n * `--debug` out of by hand are already clean — the `expr`/`name=value`\n * positional-parsing contract is otherwise unchanged.\n */\nimport type { FlagSpec } from '../args.js';\nimport { registerCommand, type Command, type CommandCtx } from '../command.js';\nimport { commandHelp, JSON_FLAG } from '../flag-help.js';\nimport { emitJson } from '../output.js';\nimport { CliError, UsageError } from '../errors.js';\nimport { formulaParserLabel } from '../version.js';\nimport { FormulaUsageError } from '../euler-guard.js';\nimport { codataScope } from '../eval-numbers.js';\nimport { splitAssignments } from '../bindings.js';\nimport type { UnitMode } from '../../dimensional/natural-units.js';\n\nconst FLAGS: FlagSpec[] = [\n  { name: '--debug', valueStyle: 'none', description: 'Print the formula parser name and version on stderr.' },\n  JSON_FLAG,\n  {\n    name: '--show-parser',\n    valueStyle: 'none',\n    description: 'Print mathts. With no formula, that is the whole output and the exit code is 0.',\n  },\n  { name: '--natural', valueStyle: 'none', description: 'Set ħ = c = 1 (and h = 2π) when reading values.' },\n  { name: '--geometrized', valueStyle: 'none', description: 'Set ħ = c = G = 1 when reading values.' },\n];\n\n/**\n * Read `name=value` bindings. A missing `=` is a usage error (exit 2) and a\n * name given twice is refused (exit 1), by the one splitter every command uses.\n * A value that is not a finite number or a known unit is a bad value\n * (exit 1), the same code `upt evaluate` uses. A value is a number, a\n * unit (`1Msun`), or an expression of constants and units (`0.6*c`, `pi/2`).\n * `T`, `temperature`, `temp`, and `T_K` speak kelvin. An energy on that\n * name is `k_B T`, using the explicit `k_B` when there is one.\n */\nfunction parseScope(\n  api: CommandCtx['api'],\n  args: readonly string[],\n  mode: UnitMode,\n): { scope: Record<string, number>; notes: string[] } {\n  const scope: Record<string, number> = {};\n  const notes: string[] = [];\n  const assignments = splitAssignments('eval', args).map((a) => ({ name: a.name, raw: a.raw, assignment: a.token }));\n  const siblings = assignments.map((a) => ({ name: a.name, raw: a.raw }));\n  for (const a of assignments) {\n    try {\n      const read = api.readNamedBinding(a.name, a.raw, { mode, siblings });\n      scope[a.name] = read.value;\n      for (const note of read.notes) if (!notes.includes(note)) notes.push(note);\n    } catch (e) {\n      if (e instanceof api.SynonymDisagreementError) throw new CliError(`upt eval: ${e.message}`);\n      const msg = e instanceof api.UnitError ? e.message : (e as Error).message;\n      throw new CliError(`upt eval: '${a.assignment}' is not a finite number or a known unit. ${msg}`);\n    }\n  }\n  try {\n    return { scope: api.expandSynonymValues(scope), notes };\n  } catch (e) {\n    if (e instanceof api.SynonymDisagreementError) throw new CliError(`upt eval: ${e.message}`);\n    throw e;\n  }\n}\n\nconst HELP = `upt eval \"<formula>\" name=value ...\n        Evaluate YOUR OWN scalar formula (safe — arithmetic only). Knows the\n        constants pi and tau and the functions sqrt, cbrt, exp, ln, log\n        (natural, = ln), log10, log2, abs, sin, cos, tan, asin, acos, atan,\n        sinh, cosh, tanh, pow, atan2. log is the NATURAL logarithm: use log10\n        or log2 for base 10 or 2. A bare e is the elementary charge (the\n        CODATA value). E is energy: the binding is its own argument, \\`upt eval E E=1eV\\`. Euler's number is\n        exp(x), for example exp(1), never a bare e and never the name euler.\n        e_charge is the same charge.\n        An explicit e=<number> replaces the CODATA value. CODATA\n        names are filled in when you omit them: every registered constant\n        (G, c, hbar, h, k_B, e, ln2, epsilon_0, sigma_sb, b, GM_sun, Msun_iau)\n        and the aliases e_charge, m_e, m_p, m_proton, N_A, F, eps0, mu0, mu_0, kB, M_sun.\n        m_p and m_proton are the proton mass. N_A is the Avogadro constant.\n        F is the Faraday constant, N_A times the elementary charge. A bare\n        sigma is not the Stefan–Boltzmann constant; write sigma_sb. The tesla\n        takes an SI prefix (12nT, 12uT); a bare T is still the tesla and Ts is\n        still a terasecond. A value may be a\n        number, a unit (M=1Msun, B=1T, x=1AU) or an expression of those\n        constants and units (v=0.6*c, theta=pi/2). T, temperature, temp, and\n        T_K are kelvin: an energy on that name is k_B T, and any other\n        dimension is an error. A binding is read by the same MathTS\n        parser as the formula, so write 2*pi; a bare e there is the elementary charge.\n        --natural sets ħ = c = 1 (h = 2π); --geometrized also\n        sets G = 1. --show-parser prints mathts and, with no\n        formula, exits 0. With --json that answer is a JSON envelope.\n        --debug prints the parser and its version to stderr.\n        An unknown function fails and names a documented equivalent where one\n        exists (lg → log10).\n        e.g.  upt eval \"hbar*c^3/(8*pi*G*M*k_B)\" M=1.989e30\n              (hbar, c, G and k_B are registered constants; M is bound)`;\n\nasync function run(ctx: CommandCtx): Promise<number> {\n  const { args, api, out, err } = ctx;\n  const debug = args.flags.has('debug');\n  const isJson = args.flags.has('json');\n  const positionals = args.positionals;\n  const kind = await api.getFormulaParserKind();\n\n  const expr = positionals[0];\n  if (args.flags.has('show-parser') && !expr) {\n    if (isJson) {\n      emitJson({ command: 'eval', result: { parser: kind } }, ctx.write);\n      return 0;\n    }\n    out(kind);\n    return 0;\n  }\n  if (!expr) {\n    throw new UsageError('upt eval needs a formula, e.g.  upt eval \"a*b^2\" a=2 b=3');\n  }\n\n  const parser = await api.getFormulaParser();\n  if (debug) err(`[parser: ${formulaParserLabel(kind)}]`);\n\n  let cf;\n  try {\n    cf = parser.parse(expr);\n  } catch (e) {\n    // The parser's message carries its own `parse error:` label.\n    throw new FormulaUsageError((e as Error).message, kind);\n  }\n\n  if (args.flags.has('geometrized') && args.flags.has('natural')) {\n    throw new UsageError('upt eval: pick one unit mode: --natural (ħ = c = 1) or --geometrized (ħ = c = G = 1)');\n  }\n  const mode: UnitMode = args.flags.has('geometrized') ? 'geometrized' : args.flags.has('natural') ? 'natural' : 'si';\n  const parsed = parseScope(api, positionals.slice(1), mode);\n  const scope = { ...codataScope(mode), ...parsed.scope };\n\n  const missing = cf.variables.filter((v) => !(v in scope));\n  if (missing.length) {\n    const energyHint = missing.includes('E')\n      ? ' E is energy. The binding is its own argument: upt eval E E=1eV.'\n      : '';\n    throw new FormulaUsageError(\n      `missing values for: ${missing.join(', ')}   (free variables: ${cf.variables.join(', ') || 'none'}).${energyHint}`,\n      kind,\n    );\n  }\n\n  // A bare e is the CODATA charge. Subtracting it from a number is not\n  // eccentricity, and the numeric result is indistinguishable from 1.\n  // A caller who bound e chose a different quantity.\n  if (!('e' in parsed.scope)) {\n    const checked = api.builtinFormulaDimensionChecker().check(expr, {});\n    if (!checked.ok && checked.elementaryChargeMixed === true) {\n      throw new FormulaUsageError(checked.error!, kind);\n    }\n  }\n\n  const notes: string[] = [...parsed.notes];\n  if (mode === 'si') for (const note of api.constantNotes(cf.variables)) notes.push(`note: ${note}`);\n  for (const note of notes) err(note);\n\n  // A non-finite result (`ln(-1)`, `1/0`) is a bad value at the point: exit 1, by class.\n  // An unknown function or symbol is a malformed formula: exit 2.\n  let value: number;\n  try {\n    value = cf.evaluate(scope);\n  } catch (e) {\n    if (e instanceof api.FormulaValueError) throw new CliError(`upt eval: ${e.message}`);\n    throw new FormulaUsageError((e as Error).message, kind);\n  }\n\n  if (isJson) {\n    emitJson(\n      {\n        command: 'eval',\n        result: { value, ...(notes.length === 0 ? {} : { notes }), ...(mode === 'si' ? {} : { units: mode }) },\n      },\n      ctx.write,\n    );\n    return 0;\n  }\n\n  out(String(value));\n  return 0;\n}\n\nexport const command: Command = {\n  name: 'eval',\n  aliases: ['calc'],\n  flags: FLAGS,\n  help: commandHelp(HELP, FLAGS),\n  summary: 'Evaluate a scalar formula. A bare e is the elementary charge; Euler\\'s number is exp(x).',\n  example: 'upt eval \"2*pi*sqrt(1/9.81)\"',\n  group: 'evaluate',\n  run,\n};\n\nregisterCommand(command);\n"]}
+{"version":3,"file":"eval.js","sourceRoot":"","sources":["../../../src/cli/commands/eval.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,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAGlD,MAAM,KAAK,GAAe;IACxB,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,sDAAsD,EAAE;IAC5G,SAAS;IACT;QACE,IAAI,EAAE,eAAe;QACrB,UAAU,EAAE,MAAM;QAClB,WAAW,EAAE,iFAAiF;KAC/F;IACD,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,iDAAiD,EAAE;IACzG,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,wCAAwC,EAAE;CACrG,CAAC;AAEF;;;;;;;;GAQG;AACH,SAAS,UAAU,CACjB,GAAsB,EACtB,IAAuB,EACvB,IAAc;IAEd,MAAM,KAAK,GAA2B,EAAE,CAAC;IACzC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACnH,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,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,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;YACrE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;YAC3B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;gBAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7E,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,YAAY,GAAG,CAAC,wBAAwB;gBAAE,MAAM,IAAI,QAAQ,CAAC,aAAa,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YAC5F,MAAM,GAAG,GAAG,CAAC,YAAY,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,CAAW,CAAC,OAAO,CAAC;YAC1E,MAAM,IAAI,QAAQ,CAAC,cAAc,CAAC,CAAC,UAAU,6CAA6C,GAAG,EAAE,CAAC,CAAC;QACnG,CAAC;IACH,CAAC;IACD,IAAI,CAAC;QACH,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC;IAC1D,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,GAAG,CAAC,wBAAwB;YAAE,MAAM,IAAI,QAAQ,CAAC,aAAa,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5F,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC;AAED,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wEA8B2D,CAAC;AAEzE,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IACpC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;IACrC,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,oBAAoB,EAAE,CAAC;IAE9C,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAC5B,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC3C,IAAI,MAAM,EAAE,CAAC;YACX,QAAQ,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;YACnE,OAAO,CAAC,CAAC;QACX,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,CAAC;QACV,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,UAAU,CAAC,0DAA0D,CAAC,CAAC;IACnF,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,gBAAgB,EAAE,CAAC;IAC5C,IAAI,KAAK;QAAE,GAAG,CAAC,YAAY,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAExD,IAAI,EAAE,CAAC;IACP,IAAI,CAAC;QACH,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,6DAA6D;QAC7D,MAAM,IAAI,iBAAiB,CAAE,CAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC1D,CAAC;IAED,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,UAAU,CAAC,sFAAsF,CAAC,CAAC;IAC/G,CAAC;IACD,MAAM,IAAI,GAAa,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IACpH,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;IAExD,MAAM,OAAO,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;IAC1D,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnB,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;YACtC,CAAC,CAAC,kEAAkE;YACpE,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,iBAAiB,CACzB,uBAAuB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,uBAAuB,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,KAAK,UAAU,EAAE,EAClH,IAAI,CACL,CAAC;IACJ,CAAC;IAED,qEAAqE;IACrE,oEAAoE;IACpE,mDAAmD;IACnD,IAAI,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,GAAG,CAAC,8BAA8B,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACrE,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,OAAO,CAAC,qBAAqB,KAAK,IAAI,EAAE,CAAC;YAC1D,MAAM,IAAI,iBAAiB,CAAC,OAAO,CAAC,KAAM,EAAE,IAAI,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAa,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,IAAI,KAAK,IAAI;QAAE,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC,SAAS,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;IACnG,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAEpC,uFAAuF;IACvF,gEAAgE;IAChE,IAAI,KAAa,CAAC;IAClB,IAAI,CAAC;QACH,KAAK,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,GAAG,CAAC,iBAAiB;YAAE,MAAM,IAAI,QAAQ,CAAC,aAAa,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACrF,MAAM,IAAI,iBAAiB,CAAE,CAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC1D,CAAC;IAED,IAAI,MAAM,EAAE,CAAC;QACX,QAAQ,CACN;YACE,OAAO,EAAE,MAAM;YACf,MAAM,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE;SACvG,EACD,GAAG,CAAC,KAAK,CACV,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IACnB,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,MAAM;IACZ,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,WAAW,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE;IAC9B,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,0FAA0F;IACnG,OAAO,EAAE,8BAA8B;IACvC,KAAK,EAAE,UAAU;IACjB,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC","sourcesContent":["/**\n * `upt eval` — evaluate the caller's own scalar formula (safe — arithmetic\n * only). Transposed verbatim from bin/upt.mjs's `evalCmd()` (lines\n * 290-310), plus `--json`. `--debug`/`--json` are now declared flags\n * (parsed by `args.ts`), so the positionals `evalCmd` used to filter\n * `--debug` out of by hand are already clean — the `expr`/`name=value`\n * positional-parsing contract is otherwise unchanged.\n */\nimport type { FlagSpec } from '../args.js';\nimport { registerCommand, type Command, type CommandCtx } from '../command.js';\nimport { commandHelp, JSON_FLAG } from '../flag-help.js';\nimport { emitJson } from '../output.js';\nimport { CliError, UsageError } from '../errors.js';\nimport { formulaParserLabel } from '../version.js';\nimport { FormulaUsageError } from '../euler-guard.js';\nimport { codataScope } from '../eval-numbers.js';\nimport { splitAssignments } from '../bindings.js';\nimport type { UnitMode } from '../../dimensional/natural-units.js';\n\nconst FLAGS: FlagSpec[] = [\n  { name: '--debug', valueStyle: 'none', description: 'Print the formula parser name and version on stderr.' },\n  JSON_FLAG,\n  {\n    name: '--show-parser',\n    valueStyle: 'none',\n    description: 'Print mathts. With no formula, that is the whole output and the exit code is 0.',\n  },\n  { name: '--natural', valueStyle: 'none', description: 'Set ħ = c = 1 (and h = 2π) when reading values.' },\n  { name: '--geometrized', valueStyle: 'none', description: 'Set ħ = c = G = 1 when reading values.' },\n];\n\n/**\n * Read `name=value` bindings. A missing `=` is a usage error (exit 2) and a\n * name given twice is refused (exit 1), by the one splitter every command uses.\n * A value that is not a finite number or a known unit is a bad value\n * (exit 1), the same code `upt evaluate` uses. A value is a number, a\n * unit (`1Msun`), or an expression of constants and units (`0.6*c`, `pi/2`).\n * `T`, `temperature`, `temp`, and `T_K` speak kelvin. An energy on that\n * name is `k_B T`, using the explicit `k_B` when there is one.\n */\nfunction parseScope(\n  api: CommandCtx['api'],\n  args: readonly string[],\n  mode: UnitMode,\n): { scope: Record<string, number>; notes: string[] } {\n  const scope: Record<string, number> = {};\n  const notes: string[] = [];\n  const assignments = splitAssignments('eval', args).map((a) => ({ name: a.name, raw: a.raw, assignment: a.token }));\n  const siblings = assignments.map((a) => ({ name: a.name, raw: a.raw }));\n  for (const a of assignments) {\n    try {\n      const read = api.readNamedBinding(a.name, a.raw, { mode, siblings });\n      scope[a.name] = read.value;\n      for (const note of read.notes) if (!notes.includes(note)) notes.push(note);\n    } catch (e) {\n      if (e instanceof api.SynonymDisagreementError) throw new CliError(`upt eval: ${e.message}`);\n      const msg = e instanceof api.UnitError ? e.message : (e as Error).message;\n      throw new CliError(`upt eval: '${a.assignment}' is not a finite number or a known unit. ${msg}`);\n    }\n  }\n  try {\n    return { scope: api.expandSynonymValues(scope), notes };\n  } catch (e) {\n    if (e instanceof api.SynonymDisagreementError) throw new CliError(`upt eval: ${e.message}`);\n    throw e;\n  }\n}\n\nconst HELP = `upt eval \"<formula>\" name=value ...\n        Evaluate YOUR OWN scalar formula (safe — arithmetic only). Knows the\n        constants pi and tau and the functions sqrt, cbrt, exp, ln, log\n        (natural, = ln), log10, log2, abs, sin, cos, tan, asin, acos, atan,\n        sinh, cosh, tanh, pow, atan2. log is the NATURAL logarithm: use log10\n        or log2 for base 10 or 2. A bare e is the elementary charge (the\n        CODATA value). E is energy: the binding is its own argument, \\`upt eval E E=1eV\\`. Euler's number is\n        exp(x), for example exp(1), never a bare e and never the name euler.\n        e_charge is the same charge.\n        An explicit e=<number> replaces the CODATA value. CODATA\n        names are filled in when you omit them: every registered constant\n        (G, c, hbar, h, k_B, e, ln2, epsilon_0, sigma_sb, b, GM_sun, Msun_iau)\n        and the aliases e_charge, m_e, m_p, m_proton, N_A, F, eps0, mu0, mu_0, kB, M_sun.\n        m_p and m_proton are the proton mass. N_A is the Avogadro constant.\n        F is the Faraday constant, N_A times the elementary charge. A bare\n        sigma is not the Stefan–Boltzmann constant; write sigma_sb. The tesla\n        takes an SI prefix (12nT, 12uT); a bare T is still the tesla and Ts is\n        still a terasecond. A value may be a\n        number, a unit (M=1Msun, B=1T, x=1AU) or an expression of those\n        constants and units (v=0.6*c, theta=pi/2). T, temperature, temp, and\n        T_K are kelvin: an energy on that name is k_B T, and any other\n        dimension is an error. A binding is read by the same MathTS\n        parser as the formula, so write 2*pi; a bare e there is the elementary charge.\n        --natural sets ħ = c = 1 (h = 2π); --geometrized also\n        sets G = 1. --show-parser prints mathts and, with no\n        formula, exits 0. With --json that answer is a JSON envelope.\n        --debug prints the parser and its version to stderr.\n        An unknown function fails and names a documented equivalent where one\n        exists (lg → log10).\n        e.g.  upt eval \"hbar*c^3/(8*pi*G*M*k_B)\" M=1.989e30\n              (hbar, c, G and k_B are registered constants; M is bound)`;\n\nasync function run(ctx: CommandCtx): Promise<number> {\n  const { args, api, out, err } = ctx;\n  const debug = args.flags.has('debug');\n  const isJson = args.flags.has('json');\n  const positionals = args.positionals;\n  const kind = await api.getFormulaParserKind();\n\n  const expr = positionals[0];\n  if (args.flags.has('show-parser') && !expr) {\n    if (isJson) {\n      emitJson({ command: 'eval', result: { parser: kind } }, ctx.write);\n      return 0;\n    }\n    out(kind);\n    return 0;\n  }\n  if (!expr) {\n    throw new UsageError('upt eval needs a formula, e.g.  upt eval \"a*b^2\" a=2 b=3');\n  }\n\n  const parser = await api.getFormulaParser();\n  if (debug) err(`[parser: ${formulaParserLabel(kind)}]`);\n\n  let cf;\n  try {\n    cf = parser.parse(expr);\n  } catch (e) {\n    // The parser's message carries its own `parse error:` label.\n    throw new FormulaUsageError((e as Error).message, kind);\n  }\n\n  if (args.flags.has('geometrized') && args.flags.has('natural')) {\n    throw new UsageError('upt eval: pick one unit mode: --natural (ħ = c = 1) or --geometrized (ħ = c = G = 1)');\n  }\n  const mode: UnitMode = args.flags.has('geometrized') ? 'geometrized' : args.flags.has('natural') ? 'natural' : 'si';\n  const parsed = parseScope(api, positionals.slice(1), mode);\n  const scope = { ...codataScope(mode), ...parsed.scope };\n\n  const missing = cf.variables.filter((v) => !(v in scope));\n  if (missing.length) {\n    const energyHint = missing.includes('E')\n      ? ' E is energy. The binding is its own argument: upt eval E E=1eV.'\n      : '';\n    throw new FormulaUsageError(\n      `missing values for: ${missing.join(', ')}   (free variables: ${cf.variables.join(', ') || 'none'}).${energyHint}`,\n      kind,\n    );\n  }\n\n  // A bare e is the CODATA charge. Subtracting it from a number is not\n  // eccentricity, and the numeric result is indistinguishable from 1.\n  // A caller who bound e chose a different quantity.\n  if (!('e' in parsed.scope)) {\n    const checked = api.builtinFormulaDimensionChecker().check(expr, {});\n    if (!checked.ok && checked.elementaryChargeMixed === true) {\n      throw new FormulaUsageError(checked.error!, kind);\n    }\n  }\n\n  const notes: string[] = [...parsed.notes];\n  if (mode === 'si') for (const note of api.constantNotes(cf.variables)) notes.push(`note: ${note}`);\n  for (const note of notes) err(note);\n\n  // A non-finite result (`ln(-1)`, `1/0`) is a bad value at the point: exit 1, by class.\n  // An unknown function or symbol is a malformed formula: exit 2.\n  let value: number;\n  try {\n    value = cf.evaluate(scope);\n  } catch (e) {\n    if (e instanceof api.FormulaValueError) throw new CliError(`upt eval: ${e.message}`);\n    throw new FormulaUsageError((e as Error).message, kind);\n  }\n\n  if (isJson) {\n    emitJson(\n      {\n        command: 'eval',\n        result: { value, ...(notes.length === 0 ? {} : { notes }), ...(mode === 'si' ? {} : { units: mode }) },\n      },\n      ctx.write,\n    );\n    return 0;\n  }\n\n  out(String(value));\n  return 0;\n}\n\nexport const command: Command = {\n  name: 'eval',\n  aliases: ['calc'],\n  positionals: { max: Infinity },\n  flags: FLAGS,\n  help: commandHelp(HELP, FLAGS),\n  summary: 'Evaluate a scalar formula. A bare e is the elementary charge; Euler\\'s number is exp(x).',\n  example: 'upt eval \"2*pi*sqrt(1/9.81)\"',\n  group: 'evaluate',\n  run,\n};\n\nregisterCommand(command);\n"]}

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

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

package/dist/cli/commands/evaluate.js

@@ -1,8 +1,9 @@
 import { registerCommand } from '../command.js';
 import { commandHelp, JSON_FLAG } from '../flag-help.js';
-import { emitJson } from '../output.js';
-import { coherentUnits, derivedUnitOf, siUnitOf } from '../expr-print.js';
+import { emitJson, emitJsonError } from '../output.js';
+import { coherentUnits, derivedUnitOf } from '../expr-print.js';
 import { splitAssignments } from '../bindings.js';
+import { realFlag } from '../numeric-flag.js';
 import { UsageError } from '../errors.js';
 import { CliError } from '../errors.js';
 import { closedFormRangeLabel } from '../closed-form-range.js';
@@ -39,8 +40,8 @@ const HELP = `upt evaluate <be-NN | case-id> key=value[unit] ...
         (temperature-change, dT) and a --sigma take the interval, with no offset.
         An undeclared key exits 1 instead of being ignored. A declared
         alternate (major_axis_m for a_m) is converted exactly and said so.
-        e.g.  upt evaluate be-63 mu_e=2   → Chandrasekhar mass ≈ 1.456 M_⊙
-              (ideal degenerate gas, with m_u and M_⊙ = 1.989e30 kg)
+        e.g.  upt evaluate be-63 mu_e=2   → Chandrasekhar mass ≈ 2.896e30 kg (≈ 1.456 M_⊙
+              with M_⊙ = 1.989e30 kg; ideal degenerate gas, with m_u)
               upt evaluate be-55 C=1      → quantum Hall σ_xy = e²/h in siemens (R_H = 1/σ_xy = h/e²,
                                             the von Klitzing constant)
         With no bridge id, lists the evaluable bridges and their declared inputs.
@@ -101,23 +102,44 @@ function describeParameter(p) {
     return (`${p.key} [${p.unit || 'dimensionless'}] ${p.quantity} ${p.symbol}${extras.length > 0 ? ` (${extras.join('; ')})` : ''} — ${p.meaning}` +
         (alts.length > 0 ? `; ${alts.join('; ')}` : ''));
 }
+/**
+ * The parameter a `--sigma` spelling names, through the same contract the inputs use
+ * (`resolveEvaluatorInputs`): the key itself, a declared alternate (`diameter_m` for `a_m`,
+ * whose σ is scaled by the alternate's `toKey`), or a synonym spelling of the key. `undefined`
+ * when the spelling names none of them.
+ */
+function sigmaSlot(api, parameters, given) {
+    const direct = parameters.find((p) => p.key === given);
+    if (direct !== undefined)
+        return { key: direct.key, unit: direct.unit, factor: 1 };
+    for (const p of parameters) {
+        const alt = (p.alternates ?? []).find((a) => a.key === given);
+        if (alt !== undefined)
+            return { key: p.key, unit: p.unit, factor: alt.toKey };
+    }
+    const viaName = api.resolveQuantityName(given, new Set(parameters.map((p) => p.key)));
+    const synonym = viaName === null ? undefined : parameters.find((p) => p.key === viaName);
+    return synonym === undefined ? undefined : { key: synonym.key, unit: synonym.unit, factor: 1 };
+}
 function parseUncertainty(api, spec, sigmaArgs, corrArgs, inputs) {
     const sigma = {};
     splitAssignments('evaluate --sigma', sigmaArgs, 'key=u');
     for (const a of sigmaArgs) {
         const m = /^([^=]+)=(.+)$/.exec(a);
         const given = m?.[1];
-        const key = given === undefined ? undefined : (api.resolveQuantityName(given, new Set(Object.keys(inputs))) ?? given);
+        // The same spellings the inputs take: the key, a declared alternate, or a synonym.
+        const slot = given === undefined ? undefined : sigmaSlot(api, spec.parameters, given);
+        const key = slot?.key;
         if (m !== null && (key === undefined || !(key in inputs))) {
             throw new CliError(`upt evaluate: --sigma '${given}' is not one of the inputs given (${Object.keys(inputs).join(', ')})`);
         }
         // A σ is a difference: a σ in degC takes no 273.15 offset. The value is read
         // by the same binding reader as the input, so an energy on a kelvin slot is k_B T.
+        // A σ given under an alternate is scaled by the alternate's factor (a diameter's σ is twice the radius's).
         let u = NaN;
-        if (m !== null && key !== undefined) {
-            const p = spec.parameters.find((x) => x.key === key);
+        if (m !== null && slot !== undefined) {
             try {
-                u = api.readNamedBinding(given, m[2], { reading: 'difference', declaredUnit: p.unit }).value;
+                u = api.readNamedBinding(given, m[2], { reading: 'difference', declaredUnit: slot.unit }).value * slot.factor;
             }
             catch (e) {
                 if (!(e instanceof api.UnitError))
@@ -137,7 +159,8 @@ function parseUncertainty(api, spec, sigmaArgs, corrArgs, inputs) {
     const corr = new Map();
     for (const a of corrArgs) {
         const m = /^([^,=]+),([^,=]+)=(.+)$/.exec(a);
-        const rho = m === null ? NaN : Number(m[3]);
+        // The grammar first (a malformed rho is usage, exit 2), the range after (a bad value, exit 1).
+        const rho = m === null ? NaN : realFlag('evaluate', '--corr rho', m[3]);
         if (m === null || !Number.isFinite(rho) || Math.abs(rho) > 1)
             throw new CliError(`upt evaluate: --corr '${a}' is not a,b=<rho in [-1, 1]>`);
         const [x, y] = [m[1], m[2]];
@@ -308,7 +331,23 @@ async function runCase(ctx, c, rest) {
         out(`    ${l.id} — ${l.role}`);
     return code;
 }
+/**
+ * `--json` answers a refusal in the envelope too (`emitJsonError`), with the exit code the
+ * refusal stands for; the text mode reports it on stderr as every command does. A defect
+ * (neither error class) propagates either way.
+ */
 async function run(ctx) {
+    try {
+        return await evaluate(ctx);
+    }
+    catch (e) {
+        if (ctx.args.flags.has('json') && (e instanceof UsageError || e instanceof CliError)) {
+            return emitJsonError('evaluate', e, ctx.write);
+        }
+        throw e;
+    }
+}
+async function evaluate(ctx) {
     const { args, api, out } = ctx;
     const [target, ...rest] = args.positionals;
     if (!target) {
@@ -361,27 +400,23 @@ async function run(ctx) {
         throw new CliError(`upt evaluate: ${api.missingEvaluatorMessage(id)}`);
     }
     const spec = found.evaluator;
-    const { inputs, resolved } = resolveInputs(api, `be-${spec.bridgeId}`, spec.parameters, rest);
-    // The one evaluation: `run` checks the inputs (missing, unknown, type) before the domain.
-    let result;
+    const key = api.catalogEdgeKey(spec.bridgeId);
+    const { inputs, resolved } = resolveInputs(api, key, spec.parameters, rest);
+    // The one evaluation, the library's result builder: `run` checks the inputs (missing, unknown,
+    // type) before the domain, and the result carries the output's name, unit, meaning and extras.
+    let evaluation;
     try {
-        result = spec.run(inputs);
+        evaluation = api.evaluateResolved(found, inputs, 'all');
     }
     catch (e) {
-        throw evaluationFailure(api, e, `be-${spec.bridgeId}`);
+        throw evaluationFailure(api, e, key);
     }
     const u = uncertaintyOf(ctx, spec, inputs, (i) => spec.run(i), NOT_INCLUDED);
     const relation = api.primaryRelation(id);
     const notices = relation === undefined ? [] : api.relationNotices(relation);
-    const outputDescriptor = api.evaluatorOutput(spec);
-    // The label is a derived SI unit read from the unit table (`V^2/Hz`); the JSON keeps the
-    // base form `parseUnit` reads back, and the dimension itself, beside it.
-    const outputLabel = {
-        name: outputDescriptor.name,
-        ...(outputDescriptor.dimension === undefined
-            ? {}
-            : { unit: siUnitOf(outputDescriptor.dimension), label: derivedUnitOf(outputDescriptor.dimension, coherentUnits(api.unitRows())) }),
-    };
+    // The text label is a derived SI unit read from the unit table (`V^2/Hz`); the JSON is the
+    // library result itself, whose `unit` is the base form `parseUnit` reads back.
+    const label = evaluation.kind === 'unset' ? undefined : derivedUnitOf(evaluation.dimension, coherentUnits(api.unitRows()));
     const unused = api.unusedInputKeys(spec);
     if (args.flags.has('json')) {
         emitJson({
@@ -391,12 +426,7 @@ async function run(ctx) {
                 inputs,
                 parameters: spec.parameters,
                 conversions: conversionsOf(resolved),
-                output: {
-                    ...result,
-                    name: outputLabel.name,
-                    ...(outputLabel.unit === undefined ? {} : { unit: outputLabel.unit, dimension: outputDescriptor.dimension }),
-                },
-                ...(spec.outputs.length === 0 ? {} : { extraOutputs: spec.outputs.map(({ name, unit, meaning }) => ({ name, unit, meaning })) }),
+                output: evaluation,
                 ...(unused.length === 0 ? {} : { unusedInputs: unused }),
                 ...(notices.length === 0 ? {} : { notices }),
                 ...(u === null ? {} : { uncertainty: u.block }),
@@ -406,16 +436,13 @@ async function run(ctx) {
     }
     out(`\n● be-${id}  ${spec.name}`);
     printInputs(api.formatExact, out, spec.parameters, inputs, resolved);
-    for (const [k, v] of Object.entries(result)) {
-        const extra = spec.outputs.find((o) => o.name === k);
-        const label = k === 'value'
-            ? outputLabel.label === undefined
-                ? outputLabel.name
-                : `${outputLabel.name} [${outputLabel.label}]`
-            : extra === undefined
-                ? k
-                : `${k} [${extra.unit}] (${extra.meaning})`;
-        out(`  ${label} = ${typeof v === 'number' ? api.formatExact(v) : JSON.stringify(v)}`);
+    if (evaluation.kind === 'unset') {
+        out(`  value is unset: ${evaluation.formula} is not finite at these inputs (a dropped factor or a singularity)`);
+    }
+    else {
+        out(`  ${evaluation.name} [${label}] = ${api.formatExact(evaluation.value)} — ${evaluation.meaning}`);
+        for (const extra of evaluation.extras)
+            out(`  ${extra.name} [${extra.unit}] = ${api.formatExact(extra.value)} — ${extra.meaning}`);
     }
     for (const key of unused) {
         out(`  note: ${key} is required and does not enter the value; the closed form does not use it, so changing it changes nothing`);
@@ -429,6 +456,7 @@ async function run(ctx) {
 export const command = {
     name: 'evaluate',
     aliases: [],
+    positionals: { max: Infinity },
     flags: FLAGS,
     help: commandHelp(HELP, FLAGS),
     summary: 'Evaluate a closed-form bridge or an applied case, with units on every input.',

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

@@ -1 +1 @@
-{"version":3,"file":"evaluate.js","sourceRoot":"","sources":["../../../src/cli/commands/evaluate.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC1E,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAExC,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAE/D,MAAM,KAAK,GAAe;IACxB;QACE,IAAI,EAAE,SAAS;QACf,UAAU,EAAE,QAAQ;QACpB,UAAU,EAAE,IAAI;QAChB,WAAW,EAAE,kHAAkH;KAChI;IACD;QACE,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,QAAQ;QACpB,UAAU,EAAE,IAAI;QAChB,WAAW,EAAE,uDAAuD;KACrE;IACD,SAAS;CACV,CAAC;AAEF,MAAM,IAAI,GAAG;iEACoD,oBAAoB,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8DAgCzB,CAAC;AAE/D;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,GAAsB,EAAE,CAAU;IAC1D,OAAO,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,iBAAiB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACtF,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,GAAsB,EAAE,CAAU,EAAE,KAAa;IAC1E,IAAI,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC;QAAE,OAAO,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACjE,IAAI,CAAC,YAAY,GAAG,CAAC,YAAY;QAAE,OAAO,IAAI,QAAQ,CAAC,iBAAiB,KAAK,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IAC/F,IAAI,CAAC,YAAY,KAAK;QAAE,OAAO,IAAI,QAAQ,CAAC,iBAAiB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IAC1E,OAAO,CAAC,CAAC;AACX,CAAC;AAED,0HAA0H;AAC1H,SAAS,aAAa,CAAC,GAAsB,EAAE,KAAa,EAAE,UAAyC,EAAE,IAAuB;IAC9H,gBAAgB,CAAC,UAAU,EAAE,IAAI,EAAE,yBAAyB,CAAC,CAAC;IAC9D,IAAI,CAAC;QACH,OAAO,GAAG,CAAC,sBAAsB,CAAC,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7D,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,GAAG,CAAC,SAAS,IAAI,CAAC,YAAY,GAAG,CAAC,wBAAwB,EAAE,CAAC;YAC5E,MAAM,IAAI,QAAQ,CAAC,iBAAiB,KAAK,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAC7D,CAAC;QACD,MAAM,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACjC,CAAC;AACH,CAAC;AAED,sEAAsE;AACtE,SAAS,iBAAiB,CAAC,CAAqB;IAC9C,MAAM,MAAM,GAAG;QACb,GAAG,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QAChE,GAAG,CAAC,CAAC,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,6EAA6E,CAAC,CAAC;QACvH,GAAG,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7C,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IAC/E,OAAO,CACL,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,IAAI,eAAe,KAAK,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,OAAO,EAAE;QACvI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAChD,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,GAAsB,EACtB,IAA4D,EAC5D,SAA4B,EAC5B,QAA2B,EAC3B,MAAwC;IAExC,MAAM,KAAK,GAA2B,EAAE,CAAC;IACzC,gBAAgB,CAAC,kBAAkB,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IACzD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,GAAG,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,mBAAmB,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC;QACtH,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC;YAC1D,MAAM,IAAI,QAAQ,CAAC,0BAA0B,KAAK,qCAAqC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5H,CAAC;QACD,6EAA6E;QAC7E,mFAAmF;QACnF,IAAI,CAAC,GAAG,GAAG,CAAC;QACZ,IAAI,CAAC,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACpC,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAE,CAAC;YACtD,IAAI,CAAC;gBACH,CAAC,GAAG,GAAG,CAAC,gBAAgB,CAAC,KAAM,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,EAAE,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC;YACjG,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,IAAI,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,SAAS,CAAC;oBAAE,MAAM,CAAC,CAAC;gBAC3C,IAAI,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,kBAAkB,CAAC;oBAAE,MAAM,IAAI,QAAQ,CAAC,0BAA0B,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YAC/G,CAAC;QACH,CAAC;QACD,IAAI,CAAC,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACpE,MAAM,IAAI,QAAQ,CAAC,0BAA0B,CAAC,6BAA6B,CAAC,CAAC;QAC/E,CAAC;QACD,sEAAsE;QACtE,IAAI,GAAG,IAAI,KAAK;YAAE,MAAM,IAAI,QAAQ,CAAC,0BAA0B,GAAG,sBAAsB,CAAC,6BAA6B,CAAC,CAAC;QACxH,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACjB,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,GAAG,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,QAAQ,CAAC,yBAAyB,CAAC,+BAA+B,CAAC,CAAC;QAC5I,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QAC9B,IAAI,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,QAAQ,CAAC,yBAAyB,CAAC,mCAAmC,CAAC,CAAC;QAC/F,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACvB,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;gBAAE,MAAM,IAAI,QAAQ,CAAC,+BAA+B,CAAC,yBAAyB,CAAC,CAAC;QACnG,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,iCAAiC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;QACrE,MAAM,IAAI,QAAQ,CAAC,gGAAgG,CAAC,CAAC;IACvH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACzB,CAAC;AAED,MAAM,YAAY,GAAG,wFAAwF,CAAC;AAE9G,MAAM,iBAAiB,GACrB,wIAAwI,CAAC;AAS3I,SAAS,aAAa,CACpB,GAAe,EACf,IAA4D,EAC5D,MAAwC,EACxC,CAA8D,EAC9D,WAAmB;IAEnB,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IACpD,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAClD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,QAAQ,CAAC,oDAAoD,CAAC,CAAC;IAC5H,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IACrF,MAAM,UAAU,GAAG,GAAG,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACjF,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;IACrE,OAAO;QACL,KAAK,EAAE;YACL,MAAM,EAAE,sGAAsG;YAC9G,KAAK;YACL,YAAY,EAAE,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC;YACtC,OAAO,EAAE,UAAU;YACnB,WAAW;YACX,WAAW;SACZ;QACD,UAAU;QACV,WAAW;QACX,WAAW;KACZ,CAAC;AACJ,CAAC;AAKD;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,GAAsB,EAAE,GAAsB,EAAE,CAAc;IACtF,MAAM,CAAC,GAAG,CAAC,CAAgB,EAAU,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAChG,GAAG,CAAC,qGAAqG,CAAC,CAAC;IAC3G,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;QACrD,GAAG,CAAC,OAAO,IAAI,MAAM,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;QACpI,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC;YACrD,GAAG,CACD,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE;gBACpE,CAAC,CAAC,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,8BAA8B,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC;gBACtF,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAC/C,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,GAAG,CAAC,sCAAsC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,gEAAgE,CAAC,CAAC;QACrI,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAE,CAAC,CAAC,KAAkD,CAAC,YAAY,CAAC,CAAC;IAChG,GAAG,CAAC,qBAAqB,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnI,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,GAAG,CAAC,sCAAsC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;IAClI,GAAG,CAAC,qBAAqB,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;AAC5C,CAAC;AAID,MAAM,aAAa,GAAG,CAAC,QAAkB,EAAE,EAAE,CAC3C,QAAQ;KACL,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;KACnC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AAE9I,SAAS,WAAW,CAAC,GAAQ,EAAE,GAAsB,EAAE,UAAyC,EAAE,MAAwC,EAAE,QAAkB;IAC5J,GAAG,CAAC,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACxF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC;QAChD,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACnG,CAAC;AACH,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,GAAQ,EAAE,CAAgB,EAAE,IAAY,EAAU,EAAE,CACpE,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,6EAA6E,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;AAE3I,sEAAsE;AACtE,KAAK,UAAU,OAAO,CAAC,GAAe,EAAE,CAAc,EAAE,IAAuB;IAC7E,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC1E,IAAI,MAAkB,CAAC;IACvB,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAC5C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,iBAAiB,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;IAChH,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,MAAM,UAAU,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IAE9D,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,QAAQ,CACN;YACE,OAAO,EAAE,UAAU;YACnB,MAAM,EAAE;gBACN,MAAM,EAAE,CAAC,CAAC,EAAE;gBACZ,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,SAAS,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;gBAC9B,YAAY,EAAE,MAAM;gBACpB,MAAM;gBACN,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,WAAW,EAAE,aAAa,CAAC,QAAQ,CAAC;gBACpC,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;gBAC/E,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,GAAG,CAAC,CAAC,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC;gBACnE,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,GAAG,CAAC,UAAU,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;gBACtD,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;aAChD;SACF,EACD,GAAG,CAAC,KAAK,CACV,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IAED,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAC/B,GAAG,CAAC,sFAAsF,CAAC,CAAC;IAC5F,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM;QAAE,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACpD,GAAG,CAAC,oCAAoC,CAAC,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM;QAAE,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACpD,GAAG,CAAC,uBAAuB,CAAC,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC;IACtD,WAAW,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAClE,GAAG,CAAC,gDAAgD,CAAC,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU;QAAE,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAChD,GAAG,CAAC,YAAY,CAAC,CAAC;IAClB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO;QAAE,GAAG,CAAC,OAAO,CAAC,CAAC,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACpI,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,UAAU,CAAE,CAAC;IAC3D,GAAG,CAAC,iBAAiB,GAAG,CAAC,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1G,GAAG,CAAC,wCAAwC,CAAC,CAAC;IAC9C,IAAI,UAAU,KAAK,EAAE;QAAE,GAAG,CAAC,yBAAyB,UAAU,EAAE,CAAC,CAAC;IAClE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAC9B,GAAG,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,QAAQ,MAAM,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC;IAC3J,CAAC;IACD,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,IAAI,CAAC;QAC5D,GAAG,CACD,+DAA+D,CAAC,CAAC,UAAU,CAAC,QAAQ,MAAM,CAAC,CAAC,UAAU,CAAC,YAAY,SAAS;YAC1H,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,UAAU,CAAC,SAAS,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CACtH,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,GAAG,CAAC,wBAAwB,CAAC,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,SAAS;YAAE,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,GAAG,CACD,MAAM,CAAC,MAAM,KAAK,CAAC;QACjB,CAAC,CAAC,wDAAwD;QAC1D,CAAC,CAAC,oBAAoB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,4EAA4E;YAC/G,uCAAuC,CAC9C,CAAC;IACF,IAAI,CAAC,KAAK,IAAI;QAAE,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAC9C,GAAG,CAAC,8BAA8B,CAAC,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW;QAAE,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACjD,GAAG,CAAC,+BAA+B,CAAC,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW;QAAE,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACjD,GAAG,CAAC,aAAa,CAAC,CAAC;IACnB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;QAAE,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACxD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,MAAM,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC;IAE3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,KAAK,GAAG,CAAC,GAAG,GAAG,CAAC,iBAAiB,CAAC,MAAM,EAAE,CAAC,CAAC;QAClD,MAAM,KAAK,GAAG,CAAC,GAAG,GAAG,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC;QAC9C,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,QAAQ,CACN;gBACE,OAAO,EAAE,UAAU;gBACnB,MAAM,EAAE;oBACN,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;oBAC/G,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;iBAC5H;aACF,EACD,GAAG,CAAC,KAAK,CACV,CAAC;YACF,OAAO,CAAC,CAAC;QACX,CAAC;QACD,GAAG,CAAC,iEAAiE,CAAC,CAAC;QACvE,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,GAAG,CAAC,QAAQ,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACrC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU;gBAAE,GAAG,CAAC,SAAS,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACrE,CAAC;QACD,GAAG,CAAC,gGAAgG,CAAC,CAAC;QACtG,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YAC7B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU;gBAAE,GAAG,CAAC,SAAS,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACnE,GAAG,CAAC,2BAA2B,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5E,CAAC;QACD,GAAG,CAAC,yGAAyG,CAAC,CAAC;QAC/G,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,WAAW,GAAG,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IAChE,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;IAEtE,IAAI,EAAU,CAAC;IACf,IAAI,CAAC;QACH,EAAE,GAAG,GAAG,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,UAAU,CAClB,kBAAkB,MAAM,6CAA6C,CAAC,GAAG,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,sBAAsB,CACpI,CAAC;IACJ,CAAC;IACD,IAAI,KAA8C,CAAC;IACnD,IAAI,CAAC;QACH,KAAK,GAAG,GAAG,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,QAAQ,CAAC,iBAAiB,GAAG,CAAC,uBAAuB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,IAAI,QAAQ,CAAC,iBAAiB,GAAG,CAAC,uBAAuB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC;IAC7B,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,MAAM,IAAI,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAE9F,0FAA0F;IAC1F,IAAI,MAA8B,CAAC;IACnC,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,iBAAiB,CAAC,GAAG,EAAE,CAAC,EAAE,MAAM,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;IACzD,CAAC;IAED,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;IAC7E,MAAM,QAAQ,GAAG,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;IAE5E,MAAM,gBAAgB,GAAG,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;IACnD,yFAAyF;IACzF,yEAAyE;IACzE,MAAM,WAAW,GAAG;QAClB,IAAI,EAAE,gBAAgB,CAAC,IAAI;QAC3B,GAAG,CAAC,gBAAgB,CAAC,SAAS,KAAK,SAAS;YAC1C,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,aAAa,CAAC,gBAAgB,CAAC,SAAS,EAAE,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC;KACrI,CAAC;IACF,MAAM,MAAM,GAAG,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,QAAQ,CACN;YACE,OAAO,EAAE,UAAU;YACnB,MAAM,EAAE;gBACN,QAAQ,EAAE,EAAE;gBACZ,MAAM;gBACN,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,WAAW,EAAE,aAAa,CAAC,QAAQ,CAAC;gBACpC,MAAM,EAAE;oBACN,GAAG,MAAM;oBACT,IAAI,EAAE,WAAW,CAAC,IAAI;oBACtB,GAAG,CAAC,WAAW,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,SAAS,EAAE,gBAAgB,CAAC,SAAS,EAAE,CAAC;iBAC7G;gBACD,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC;gBAChI,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC;gBACxD,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;gBAC5C,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;aAChD;SACF,EACD,GAAG,CAAC,KAAK,CACV,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IACD,GAAG,CAAC,UAAU,EAAE,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAClC,WAAW,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,EAAE,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACrE,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;QACrD,MAAM,KAAK,GACT,CAAC,KAAK,OAAO;YACX,CAAC,CAAC,WAAW,CAAC,KAAK,KAAK,SAAS;gBAC/B,CAAC,CAAC,WAAW,CAAC,IAAI;gBAClB,CAAC,CAAC,GAAG,WAAW,CAAC,IAAI,KAAK,WAAW,CAAC,KAAK,GAAG;YAChD,CAAC,CAAC,KAAK,KAAK,SAAS;gBACnB,CAAC,CAAC,CAAC;gBACH,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,IAAI,MAAM,KAAK,CAAC,OAAO,GAAG,CAAC;QAClD,GAAG,CAAC,KAAK,KAAK,MAAM,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxF,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,GAAG,CAAC,WAAW,GAAG,4GAA4G,CAAC,CAAC;IAClI,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,OAAO;QAAE,GAAG,CAAC,KAAK,MAAM,EAAE,CAAC,CAAC;IACjD,IAAI,CAAC,KAAK,IAAI;QAAE,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAC9C,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,8EAA8E;IACvF,OAAO,EAAE,2BAA2B;IACpC,KAAK,EAAE,UAAU;IACjB,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC","sourcesContent":["/**\n * `upt evaluate <be-NN | case-id> key=value …` — numerically evaluate a closed-form /\n * spacetime bridge (the registered evaluators) via its registered evaluator. Closes the gap\n * where `upt explain <be-NN>` redirected to a \"evaluated directly\" capability that\n * did not exist. With no bridge id, lists the evaluable bridges + their inputs.\n * `upt evaluate case-<id> …` runs an applied case (`src/cases/`).\n */\nimport type { FlagSpec } from '../args.js';\nimport { registerCommand, type Command, type CommandCtx } from '../command.js';\nimport { commandHelp, JSON_FLAG } from '../flag-help.js';\nimport { emitJson } from '../output.js';\nimport { coherentUnits, derivedUnitOf, siUnitOf } from '../expr-print.js';\nimport { splitAssignments } from '../bindings.js';\nimport { UsageError } from '../errors.js';\nimport { CliError } from '../errors.js';\nimport type { AppliedCase, CaseResult, EvaluatorParameter, PropagatedOutput } from '../../cli-api.js';\nimport { closedFormRangeLabel } from '../closed-form-range.js';\n\nconst FLAGS: FlagSpec[] = [\n  {\n    name: '--sigma',\n    valueStyle: 'either',\n    repeatable: true,\n    description: 'One input uncertainty as key=u, in the input\\'s unit. A temperature uncertainty in degC or degF is a difference.',\n  },\n  {\n    name: '--corr',\n    valueStyle: 'either',\n    repeatable: true,\n    description: 'A pairwise correlation as a,b=rho, used with --sigma.',\n  },\n  JSON_FLAG,\n];\n\nconst HELP = `upt evaluate <be-NN | case-id> key=value[unit] ...\n        Numerically evaluate a closed-form / spacetime bridge (${closedFormRangeLabel()}),\n        or an applied case: a whole measurement problem with its parent and\n        scalar equations, observable, conditions, regime checks and a route\n        to a measurement comparison. A case whose regime check fails prints\n        its outputs as NOT QUALIFIED and exits 3.\n        e.g.  upt evaluate case-resistor-noise T_K=300 R_ohm=1kohm\n              R_in_ohm=1Mohm C_in_F=20pF f_lo_Hz=0 f_hi_Hz=10kHz t_avg_s=10\n        Every input is declared: its unit, its meaning, and for a length what\n        it measures (a radius, a separation, a semi-major axis). A value may\n        carry a unit (d_m=1um, R_ohm=1kohm, T_yr=88d, M_kg=1Msun) or an\n        expression of constants and units (M_kg=1*M_sun, v=0.6*c); it is\n        converted into the declared unit only when the dimensions agree, and a\n        bare number is in the declared unit. The same reader accepts --sigma. An absolute temperature in degC\n        adds 273.15 K, and one in degF is (degF − 32) × 5/9 + 273.15. A difference slot\n        (temperature-change, dT) and a --sigma take the interval, with no offset.\n        An undeclared key exits 1 instead of being ignored. A declared\n        alternate (major_axis_m for a_m) is converted exactly and said so.\n        e.g.  upt evaluate be-63 mu_e=2   → Chandrasekhar mass ≈ 1.456 M_⊙\n              (ideal degenerate gas, with m_u and M_⊙ = 1.989e30 kg)\n              upt evaluate be-55 C=1      → quantum Hall σ_xy = e²/h in siemens (R_H = 1/σ_xy = h/e²,\n                                            the von Klitzing constant)\n        With no bridge id, lists the evaluable bridges and their declared inputs.\n        --sigma key=u (repeatable) gives an input's standard uncertainty;\n        --corr a,b=rho its correlation. Propagated to first order (GUM law,\n        central-difference sensitivities), with a curvature check per input\n        that flags where the linearization is unreliable. An input without\n        --sigma is treated as exact. Not included: the evaluator's numerical\n        error and model discrepancy (whether the bridge applies).\n        e.g.  upt evaluate be-58 T_K=300 R_ohm=1000 --sigma T_K=3 --sigma R_ohm=10\n        An input outside a relation's validity domain is refused and the message\n        names the condition (a weak-field formula inside 10 Schwarzschild radii,\n        a negative temperature). A relation's recorded caveat, and the note of a\n        registered constant it names, print beside the value.`;\n\n/**\n * An input-contract error (absent, unknown, non-number, non-finite or twice-given\n * input) as the CLI reports it: a bad value (exit 1) under the one `upt evaluate:`\n * prefix. Its message already names the id.\n */\nfunction inputErrorOrSelf(api: CommandCtx['api'], e: unknown): unknown {\n  return api.isInputContractError(e) ? new CliError(`upt evaluate: ${e.message}`) : e;\n}\n\n/**\n * What `run` threw, as the CLI reports it. An input error, a domain failure, a carrier-sign\n * failure and a closed form that is not finite at the inputs are each a bad value: exit 1\n * (documented contract), under the one `upt evaluate:` prefix, with the bridge or case named.\n */\nfunction evaluationFailure(api: CommandCtx['api'], e: unknown, label: string): unknown {\n  if (api.isInputContractError(e)) return inputErrorOrSelf(api, e);\n  if (e instanceof api.FormulaError) return new CliError(`upt evaluate: ${label}: ${e.message}`);\n  if (e instanceof Error) return new CliError(`upt evaluate: ${e.message}`);\n  return e;\n}\n\n/** Unit and geometry trouble is a bad value (exit 1); a missing `=` is a usage error (exit 2); a key twice is refused. */\nfunction resolveInputs(api: CommandCtx['api'], label: string, parameters: readonly EvaluatorParameter[], args: readonly string[]) {\n  splitAssignments('evaluate', args, 'key=value (e.g. mu_e=2)');\n  try {\n    return api.resolveEvaluatorInputs(parameters, args, label);\n  } catch (e) {\n    if (e instanceof api.UnitError || e instanceof api.SynonymDisagreementError) {\n      throw new CliError(`upt evaluate: ${label}: ${e.message}`);\n    }\n    throw inputErrorOrSelf(api, e);\n  }\n}\n\n/** `d_m [m] plate separation d (geometry: separation) — the gap …` */\nfunction describeParameter(p: EvaluatorParameter): string {\n  const extras = [\n    ...(p.geometry === undefined ? [] : [`geometry: ${p.geometry}`]),\n    ...(p.temperature === undefined ? [] : ['an absolute temperature; degC adds 273.15; degF is (degF − 32)×5/9 + 273.15']),\n    ...(p.optional === true ? ['optional'] : []),\n  ];\n  const alts = (p.alternates ?? []).map((a) => `or give ${a.key}, ${a.meaning}`);\n  return (\n    `${p.key} [${p.unit || 'dimensionless'}] ${p.quantity} ${p.symbol}${extras.length > 0 ? ` (${extras.join('; ')})` : ''} — ${p.meaning}` +\n    (alts.length > 0 ? `; ${alts.join('; ')}` : '')\n  );\n}\n\nfunction parseUncertainty(\n  api: CommandCtx['api'],\n  spec: { readonly parameters: readonly EvaluatorParameter[] },\n  sigmaArgs: readonly string[],\n  corrArgs: readonly string[],\n  inputs: Readonly<Record<string, number>>,\n): { sigma: Record<string, number>; corr: Map<string, number> } {\n  const sigma: Record<string, number> = {};\n  splitAssignments('evaluate --sigma', sigmaArgs, 'key=u');\n  for (const a of sigmaArgs) {\n    const m = /^([^=]+)=(.+)$/.exec(a);\n    const given = m?.[1];\n    const key = given === undefined ? undefined : (api.resolveQuantityName(given, new Set(Object.keys(inputs))) ?? given);\n    if (m !== null && (key === undefined || !(key in inputs))) {\n      throw new CliError(`upt evaluate: --sigma '${given}' is not one of the inputs given (${Object.keys(inputs).join(', ')})`);\n    }\n    // A σ is a difference: a σ in degC takes no 273.15 offset. The value is read\n    // by the same binding reader as the input, so an energy on a kelvin slot is k_B T.\n    let u = NaN;\n    if (m !== null && key !== undefined) {\n      const p = spec.parameters.find((x) => x.key === key)!;\n      try {\n        u = api.readNamedBinding(given!, m[2]!, { reading: 'difference', declaredUnit: p.unit }).value;\n      } catch (e) {\n        if (!(e instanceof api.UnitError)) throw e;\n        if (!(e instanceof api.BindingNumberError)) throw new CliError(`upt evaluate: --sigma '${a}': ${e.message}`);\n      }\n    }\n    if (m === null || key === undefined || !Number.isFinite(u) || u < 0) {\n      throw new CliError(`upt evaluate: --sigma '${a}' is not key=<finite u ≥ 0>`);\n    }\n    // Two spellings of one input (`T_K`, `temperature`) are one key here.\n    if (key in sigma) throw new CliError(`upt evaluate --sigma: '${key}' is given twice ('${a}'); give one value per name`);\n    sigma[key] = u;\n  }\n  const corr = new Map<string, number>();\n  for (const a of corrArgs) {\n    const m = /^([^,=]+),([^,=]+)=(.+)$/.exec(a);\n    const rho = m === null ? NaN : Number(m[3]);\n    if (m === null || !Number.isFinite(rho) || Math.abs(rho) > 1) throw new CliError(`upt evaluate: --corr '${a}' is not a,b=<rho in [-1, 1]>`);\n    const [x, y] = [m[1]!, m[2]!];\n    if (x === y) throw new CliError(`upt evaluate: --corr '${a}' correlates an input with itself`);\n    for (const k of [x, y]) {\n      if (!(k in sigma)) throw new CliError(`upt evaluate: --corr names '${k}', which has no --sigma`);\n    }\n    corr.set(`${x},${y}`, rho);\n  }\n  if (!api.correlationIsPositiveSemidefinite(Object.keys(sigma), corr)) {\n    throw new CliError('upt evaluate: the --corr values are not a valid correlation matrix (not positive semidefinite)');\n  }\n  return { sigma, corr };\n}\n\nconst NOT_INCLUDED = \"the evaluator's numerical error; model discrepancy (whether the bridge applies at all)\";\n\nconst CASE_NOT_INCLUDED =\n  \"the case's numerical error; model discrepancy beyond the regime checks; the regime checks are evaluated at the given inputs, not at ±u\";\n\ninterface Uncertainty {\n  readonly block: Record<string, unknown>;\n  readonly propagated: Record<string, PropagatedOutput>;\n  readonly exactInputs: string[];\n  readonly notIncluded: string;\n}\n\nfunction uncertaintyOf(\n  ctx: CommandCtx,\n  spec: { readonly parameters: readonly EvaluatorParameter[] },\n  inputs: Readonly<Record<string, number>>,\n  f: (inputs: Record<string, number>) => Record<string, unknown>,\n  notIncluded: string,\n): Uncertainty | null {\n  const sigmaArgs = ctx.args.flags.get('sigma') ?? [];\n  const corrArgs = ctx.args.flags.get('corr') ?? [];\n  if (sigmaArgs.length === 0 && corrArgs.length > 0) throw new CliError('upt evaluate: --corr needs --sigma for both inputs');\n  if (sigmaArgs.length === 0) return null;\n  const { sigma, corr } = parseUncertainty(ctx.api, spec, sigmaArgs, corrArgs, inputs);\n  const propagated = ctx.api.propagateEvaluatorUncertainty(f, inputs, sigma, corr);\n  const exactInputs = Object.keys(inputs).filter((k) => !(k in sigma));\n  return {\n    block: {\n      method: 'first-order propagation (GUM law), central-difference sensitivities, curvature check at ±u per input',\n      sigma,\n      correlations: Object.fromEntries(corr),\n      outputs: propagated,\n      exactInputs,\n      notIncluded,\n    },\n    propagated,\n    exactInputs,\n    notIncluded,\n  };\n}\n\n/** The one number formatter, as every command reads it: through `ctx.api`. */\ntype Fmt = CommandCtx['api']['formatExact'];\n\n/**\n * The value is echoed exactly; σ, the relative %, a sensitivity, a contribution and the\n * curvature ratio are statistics (the sensitivity is a central difference whose trailing\n * digits are noise), so they print at three significant digits.\n */\nfunction printUncertainty(api: CommandCtx['api'], out: CommandCtx['out'], u: Uncertainty): void {\n  const g = (x: number | null): string => (x === null ? 'unavailable' : api.formatQuantity(x, 3));\n  out('  uncertainty (first-order, GUM law; a sensitivity is not an uncertainty, the contribution is c·u):');\n  for (const [name, p] of Object.entries(u.propagated)) {\n    out(`    ${name} = ${api.formatExact(p.value)} ± ${g(p.u)} (1σ${p.relative === null ? '' : `; relative ${g(p.relative * 100)}%`})`);\n    for (const [k, c] of Object.entries(p.contributions)) {\n      out(\n        `      from ${k}: c = ${g(c.sensitivity)}, c·u = ${g(c.contribution)}` +\n          (c.curvatureRatio === null ? '' : `, curvature/linear at ±u = ${g(c.curvatureRatio)}`) +\n          (c.note === undefined ? '' : ` — ${c.note}`),\n      );\n    }\n    if (p.unreliable.length > 0) {\n      out(`      LINEARIZATION UNRELIABLE for ${p.unreliable.join(', ')}: the first-order σ above does not describe what ±u does to it`);\n    }\n  }\n  const corr = Object.entries((u.block as { correlations: Record<string, number> }).correlations);\n  out(`    correlations: ${corr.length === 0 ? 'none given (inputs independent)' : corr.map(([k, r]) => `${k} = ${r}`).join(', ')}`);\n  if (u.exactInputs.length > 0) out(`    treated as exact (no --sigma): ${u.exactInputs.join(', ')} — a choice, not a measurement`);\n  out(`    not included: ${u.notIncluded}`);\n}\n\ntype Resolved = ReturnType<typeof resolveInputs>['resolved'];\n\nconst conversionsOf = (resolved: Resolved) =>\n  resolved\n    .filter((r) => r.note !== undefined)\n    .map((r) => ({ key: r.key, given: r.given, value: r.value, unit: r.unit, ...(r.via === undefined ? {} : { via: r.via }), note: r.note }));\n\nfunction printInputs(fmt: Fmt, out: CommandCtx['out'], parameters: readonly EvaluatorParameter[], inputs: Readonly<Record<string, number>>, resolved: Resolved): void {\n  out('  inputs: ' + Object.entries(inputs).map(([k, v]) => `${k}=${fmt(v)}`).join(', '));\n  for (const p of parameters) {\n    const r = resolved.find((x) => x.key === p.key);\n    out(`    ${describeParameter(p)}${r?.note === undefined ? '' : `\\n      converted: ${r.note}`}`);\n  }\n}\n\nconst withUnit = (fmt: Fmt, v: number | null, unit: string): string =>\n  v === null ? 'undefined here (its premise fails, or it needs an optional input not given)' : `${fmt(v)}${unit === '' ? '' : ` ${unit}`}`;\n\n/** A violated regime check is a check that ran and failed: exit 3. */\nasync function runCase(ctx: CommandCtx, c: AppliedCase, rest: readonly string[]): Promise<number> {\n  const { args, api, out } = ctx;\n  const { inputs, resolved } = resolveInputs(api, c.id, c.parameters, rest);\n  let result: CaseResult;\n  try {\n    result = api.runAppliedCase(c.id, inputs);\n  } catch (e) {\n    throw evaluationFailure(api, e, c.id);\n  }\n  const u = uncertaintyOf(ctx, c, inputs, (i) => ({ ...api.runAppliedCase(c.id, i).outputs }), CASE_NOT_INCLUDED);\n  const failed = result.checks.filter((k) => !k.holds).map((k) => k.id);\n  const code = failed.length === 0 ? 0 : 3;\n  const regimeLine = c.regimeAt?.(inputs, result.outputs) ?? '';\n\n  if (args.flags.has('json')) {\n    emitJson(\n      {\n        command: 'evaluate',\n        result: {\n          caseId: c.id,\n          title: c.title,\n          qualified: failed.length === 0,\n          failedChecks: failed,\n          inputs,\n          parameters: c.parameters,\n          conversions: conversionsOf(resolved),\n          governing: c.governing,\n          observable: c.observable,\n          outputs: c.outputs.map((o) => ({ ...o, value: result.outputs[o.key] ?? null })),\n          checks: result.checks,\n          ...(c.comparison === undefined ? {} : { comparison: c.comparison }),\n          conditions: c.conditions,\n          unchecked: result.unchecked,\n          notIncluded: c.notIncluded,\n          measurement: c.measurement,\n          links: c.links,\n          ...(regimeLine === '' ? {} : { regimeAt: regimeLine }),\n          ...(u === null ? {} : { uncertainty: u.block }),\n        },\n      },\n      ctx.write,\n    );\n    return code;\n  }\n\n  out(`\\n● ${c.id}  ${c.title}`);\n  out('  parent equations (what the scalar result simplifies; not evaluated as the answer):');\n  for (const e of c.governing.parent) out(`    ${e}`);\n  out('  scalar simplification evaluated:');\n  for (const e of c.governing.scalar) out(`    ${e}`);\n  out(`  kept and dropped: ${c.governing.distinction}`);\n  printInputs(api.formatExact, out, c.parameters, inputs, resolved);\n  out('  conditions (boundary, initial, equilibrium):');\n  for (const s of c.conditions) out(`    - ${s}`);\n  out('  outputs:');\n  for (const o of c.outputs) out(`    ${o.key} = ${withUnit(api.formatExact, result.outputs[o.key] ?? null, o.unit)} — ${o.meaning}`);\n  const obs = c.outputs.find((o) => o.key === c.observable)!;\n  out(`  observable: ${obs.key} = ${withUnit(api.formatExact, result.outputs[obs.key] ?? null, obs.unit)}`);\n  out('  regime checks (at the given inputs):');\n  if (regimeLine !== '') out(`  regime coordinates: ${regimeLine}`);\n  for (const k of result.checks) {\n    out(`    ${k.holds ? 'holds   ' : 'VIOLATED'}  ${k.id}: ${k.quantity} = ${api.formatExact(k.value)} ${k.op} ${k.bound} — ${k.premise} (${k.threshold})`);\n  }\n  if (c.comparison !== undefined) {\n    const d = result.outputs[c.comparison.deviationKey] ?? null;\n    out(\n      `  comparison (reported beside the checks, not one of them): ${c.comparison.valueKey} / ${c.comparison.referenceKey} − 1 = ` +\n        `${d === null ? 'undefined here' : api.formatExact(d)} — against ${c.comparison.reference}; ${c.comparison.method}`,\n    );\n  }\n  if (result.unchecked.length > 0) {\n    out('  stated, not checked:');\n    for (const s of result.unchecked) out(`    - ${s}`);\n  }\n  out(\n    failed.length === 0\n      ? '  QUALIFIED: every regime check holds at these inputs.'\n      : `  NOT QUALIFIED: ${failed.join(', ')} violated — the outputs above are outside the stated regime and are not a ` +\n          'qualified prediction at these inputs.',\n  );\n  if (u !== null) printUncertainty(api, out, u);\n  out('  not included in the model:');\n  for (const s of c.notIncluded) out(`    - ${s}`);\n  out('  compare with a measurement:');\n  for (const s of c.measurement) out(`    - ${s}`);\n  out('  rests on:');\n  for (const l of c.links) out(`    ${l.id} — ${l.role}`);\n  return code;\n}\n\nasync function run(ctx: CommandCtx): Promise<number> {\n  const { args, api, out } = ctx;\n  const [target, ...rest] = args.positionals;\n\n  if (!target) {\n    const specs = [...api.BRIDGE_EVALUATORS.values()];\n    const cases = [...api.APPLIED_CASES.values()];\n    if (args.flags.has('json')) {\n      emitJson(\n        {\n          command: 'evaluate',\n          result: [\n            ...specs.map((s) => ({ bridgeId: s.bridgeId, name: s.name, inputKeys: s.inputKeys, parameters: s.parameters })),\n            ...cases.map((c) => ({ caseId: c.id, name: c.title, inputKeys: c.parameters.map((p) => p.key), parameters: c.parameters })),\n          ],\n        },\n        ctx.write,\n      );\n      return 0;\n    }\n    out('\\nEvaluable bridges  (upt evaluate <be-NN> key=value[unit] ...)');\n    for (const s of specs) {\n      out(`  be-${s.bridgeId}  ${s.name}`);\n      for (const p of s.parameters) out(`      ${describeParameter(p)}`);\n    }\n    out('\\nApplied cases  (upt evaluate <case-id> key=value[unit] ...; a violated regime check exits 3)');\n    for (const c of cases) {\n      out(`  ${c.id}  ${c.title}`);\n      for (const p of c.parameters) out(`      ${describeParameter(p)}`);\n      out(`      e.g. upt evaluate ${c.id} ${c.examples.valid.args.join(' ')}`);\n    }\n    out('\\n  A value may carry a unit (d_m=1um, T_K=25degC, R_ohm=1kohm); a bare number is in the declared unit.');\n    return 0;\n  }\n\n  const appliedCase = api.APPLIED_CASES.get(target.toLowerCase());\n  if (appliedCase !== undefined) return runCase(ctx, appliedCase, rest);\n\n  let id: number;\n  try {\n    id = api.parseBridgeId(target);\n  } catch {\n    throw new UsageError(\n      `upt evaluate: '${target}' is not a bridge id (be-<id>) or a case (${[...api.APPLIED_CASES.keys()].join(', ')}). See \\`upt help\\`.`,\n    );\n  }\n  let found: ReturnType<typeof api.resolveEvaluable>;\n  try {\n    found = api.resolveEvaluable(id);\n  } catch {\n    throw new CliError(`upt evaluate: ${api.missingEvaluatorMessage(id)}`);\n  }\n  if (found.evaluator === undefined) {\n    throw new CliError(`upt evaluate: ${api.missingEvaluatorMessage(id)}`);\n  }\n  const spec = found.evaluator;\n  const { inputs, resolved } = resolveInputs(api, `be-${spec.bridgeId}`, spec.parameters, rest);\n\n  // The one evaluation: `run` checks the inputs (missing, unknown, type) before the domain.\n  let result: Record<string, number>;\n  try {\n    result = spec.run(inputs);\n  } catch (e) {\n    throw evaluationFailure(api, e, `be-${spec.bridgeId}`);\n  }\n\n  const u = uncertaintyOf(ctx, spec, inputs, (i) => spec.run(i), NOT_INCLUDED);\n  const relation = api.primaryRelation(id);\n  const notices = relation === undefined ? [] : api.relationNotices(relation);\n\n  const outputDescriptor = api.evaluatorOutput(spec);\n  // The label is a derived SI unit read from the unit table (`V^2/Hz`); the JSON keeps the\n  // base form `parseUnit` reads back, and the dimension itself, beside it.\n  const outputLabel = {\n    name: outputDescriptor.name,\n    ...(outputDescriptor.dimension === undefined\n      ? {}\n      : { unit: siUnitOf(outputDescriptor.dimension), label: derivedUnitOf(outputDescriptor.dimension, coherentUnits(api.unitRows())) }),\n  };\n  const unused = api.unusedInputKeys(spec);\n  if (args.flags.has('json')) {\n    emitJson(\n      {\n        command: 'evaluate',\n        result: {\n          bridgeId: id,\n          inputs,\n          parameters: spec.parameters,\n          conversions: conversionsOf(resolved),\n          output: {\n            ...result,\n            name: outputLabel.name,\n            ...(outputLabel.unit === undefined ? {} : { unit: outputLabel.unit, dimension: outputDescriptor.dimension }),\n          },\n          ...(spec.outputs.length === 0 ? {} : { extraOutputs: spec.outputs.map(({ name, unit, meaning }) => ({ name, unit, meaning })) }),\n          ...(unused.length === 0 ? {} : { unusedInputs: unused }),\n          ...(notices.length === 0 ? {} : { notices }),\n          ...(u === null ? {} : { uncertainty: u.block }),\n        },\n      },\n      ctx.write,\n    );\n    return 0;\n  }\n  out(`\\n● be-${id}  ${spec.name}`);\n  printInputs(api.formatExact, out, spec.parameters, inputs, resolved);\n  for (const [k, v] of Object.entries(result)) {\n    const extra = spec.outputs.find((o) => o.name === k);\n    const label =\n      k === 'value'\n        ? outputLabel.label === undefined\n          ? outputLabel.name\n          : `${outputLabel.name} [${outputLabel.label}]`\n        : extra === undefined\n          ? k\n          : `${k} [${extra.unit}] (${extra.meaning})`;\n    out(`  ${label} = ${typeof v === 'number' ? api.formatExact(v) : JSON.stringify(v)}`);\n  }\n  for (const key of unused) {\n    out(`  note: ${key} is required and does not enter the value; the closed form does not use it, so changing it changes nothing`);\n  }\n  for (const notice of notices) out(`  ${notice}`);\n  if (u !== null) printUncertainty(api, out, u);\n  return 0;\n}\n\nexport const command: Command = {\n  name: 'evaluate',\n  aliases: [],\n  flags: FLAGS,\n  help: commandHelp(HELP, FLAGS),\n  summary: 'Evaluate a closed-form bridge or an applied case, with units on every input.',\n  example: 'upt evaluate be-63 mu_e=2',\n  group: 'evaluate',\n  run,\n};\n\nregisterCommand(command);\n"]}
+{"version":3,"file":"evaluate.js","sourceRoot":"","sources":["../../../src/cli/commands/evaluate.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAExC,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAE/D,MAAM,KAAK,GAAe;IACxB;QACE,IAAI,EAAE,SAAS;QACf,UAAU,EAAE,QAAQ;QACpB,UAAU,EAAE,IAAI;QAChB,WAAW,EAAE,kHAAkH;KAChI;IACD;QACE,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,QAAQ;QACpB,UAAU,EAAE,IAAI;QAChB,WAAW,EAAE,uDAAuD;KACrE;IACD,SAAS;CACV,CAAC;AAEF,MAAM,IAAI,GAAG;iEACoD,oBAAoB,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8DAgCzB,CAAC;AAE/D;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,GAAsB,EAAE,CAAU;IAC1D,OAAO,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,iBAAiB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACtF,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,GAAsB,EAAE,CAAU,EAAE,KAAa;IAC1E,IAAI,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC;QAAE,OAAO,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACjE,IAAI,CAAC,YAAY,GAAG,CAAC,YAAY;QAAE,OAAO,IAAI,QAAQ,CAAC,iBAAiB,KAAK,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IAC/F,IAAI,CAAC,YAAY,KAAK;QAAE,OAAO,IAAI,QAAQ,CAAC,iBAAiB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IAC1E,OAAO,CAAC,CAAC;AACX,CAAC;AAED,0HAA0H;AAC1H,SAAS,aAAa,CAAC,GAAsB,EAAE,KAAa,EAAE,UAAyC,EAAE,IAAuB;IAC9H,gBAAgB,CAAC,UAAU,EAAE,IAAI,EAAE,yBAAyB,CAAC,CAAC;IAC9D,IAAI,CAAC;QACH,OAAO,GAAG,CAAC,sBAAsB,CAAC,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7D,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,GAAG,CAAC,SAAS,IAAI,CAAC,YAAY,GAAG,CAAC,wBAAwB,EAAE,CAAC;YAC5E,MAAM,IAAI,QAAQ,CAAC,iBAAiB,KAAK,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAC7D,CAAC;QACD,MAAM,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACjC,CAAC;AACH,CAAC;AAED,sEAAsE;AACtE,SAAS,iBAAiB,CAAC,CAAqB;IAC9C,MAAM,MAAM,GAAG;QACb,GAAG,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QAChE,GAAG,CAAC,CAAC,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,6EAA6E,CAAC,CAAC;QACvH,GAAG,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7C,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IAC/E,OAAO,CACL,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,IAAI,eAAe,KAAK,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,OAAO,EAAE;QACvI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAChD,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,SAAS,CAChB,GAAsB,EACtB,UAAyC,EACzC,KAAa;IAEb,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,KAAK,CAAC,CAAC;IACvD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IACnF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,KAAK,CAAC,CAAC;QAC9D,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;IAChF,CAAC;IACD,MAAM,OAAO,GAAG,GAAG,CAAC,mBAAmB,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtF,MAAM,OAAO,GAAG,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,OAAO,CAAC,CAAC;IACzF,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;AACjG,CAAC;AAED,SAAS,gBAAgB,CACvB,GAAsB,EACtB,IAA4D,EAC5D,SAA4B,EAC5B,QAA2B,EAC3B,MAAwC;IAExC,MAAM,KAAK,GAA2B,EAAE,CAAC;IACzC,gBAAgB,CAAC,kBAAkB,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IACzD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrB,mFAAmF;QACnF,MAAM,IAAI,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACtF,MAAM,GAAG,GAAG,IAAI,EAAE,GAAG,CAAC;QACtB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC;YAC1D,MAAM,IAAI,QAAQ,CAAC,0BAA0B,KAAK,qCAAqC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5H,CAAC;QACD,6EAA6E;QAC7E,mFAAmF;QACnF,2GAA2G;QAC3G,IAAI,CAAC,GAAG,GAAG,CAAC;QACZ,IAAI,CAAC,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACrC,IAAI,CAAC;gBACH,CAAC,GAAG,GAAG,CAAC,gBAAgB,CAAC,KAAM,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,EAAE,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC;YAClH,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,IAAI,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,SAAS,CAAC;oBAAE,MAAM,CAAC,CAAC;gBAC3C,IAAI,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,kBAAkB,CAAC;oBAAE,MAAM,IAAI,QAAQ,CAAC,0BAA0B,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YAC/G,CAAC;QACH,CAAC;QACD,IAAI,CAAC,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACpE,MAAM,IAAI,QAAQ,CAAC,0BAA0B,CAAC,6BAA6B,CAAC,CAAC;QAC/E,CAAC;QACD,sEAAsE;QACtE,IAAI,GAAG,IAAI,KAAK;YAAE,MAAM,IAAI,QAAQ,CAAC,0BAA0B,GAAG,sBAAsB,CAAC,6BAA6B,CAAC,CAAC;QACxH,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACjB,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7C,+FAA+F;QAC/F,MAAM,GAAG,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QACzE,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,QAAQ,CAAC,yBAAyB,CAAC,+BAA+B,CAAC,CAAC;QAC5I,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QAC9B,IAAI,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,QAAQ,CAAC,yBAAyB,CAAC,mCAAmC,CAAC,CAAC;QAC/F,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACvB,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;gBAAE,MAAM,IAAI,QAAQ,CAAC,+BAA+B,CAAC,yBAAyB,CAAC,CAAC;QACnG,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,iCAAiC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;QACrE,MAAM,IAAI,QAAQ,CAAC,gGAAgG,CAAC,CAAC;IACvH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACzB,CAAC;AAED,MAAM,YAAY,GAAG,wFAAwF,CAAC;AAE9G,MAAM,iBAAiB,GACrB,wIAAwI,CAAC;AAS3I,SAAS,aAAa,CACpB,GAAe,EACf,IAA4D,EAC5D,MAAwC,EACxC,CAA8D,EAC9D,WAAmB;IAEnB,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IACpD,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAClD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,QAAQ,CAAC,oDAAoD,CAAC,CAAC;IAC5H,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IACrF,MAAM,UAAU,GAAG,GAAG,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACjF,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;IACrE,OAAO;QACL,KAAK,EAAE;YACL,MAAM,EAAE,sGAAsG;YAC9G,KAAK;YACL,YAAY,EAAE,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC;YACtC,OAAO,EAAE,UAAU;YACnB,WAAW;YACX,WAAW;SACZ;QACD,UAAU;QACV,WAAW;QACX,WAAW;KACZ,CAAC;AACJ,CAAC;AAKD;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,GAAsB,EAAE,GAAsB,EAAE,CAAc;IACtF,MAAM,CAAC,GAAG,CAAC,CAAgB,EAAU,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAChG,GAAG,CAAC,qGAAqG,CAAC,CAAC;IAC3G,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;QACrD,GAAG,CAAC,OAAO,IAAI,MAAM,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;QACpI,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC;YACrD,GAAG,CACD,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE;gBACpE,CAAC,CAAC,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,8BAA8B,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC;gBACtF,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAC/C,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,GAAG,CAAC,sCAAsC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,gEAAgE,CAAC,CAAC;QACrI,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAE,CAAC,CAAC,KAAkD,CAAC,YAAY,CAAC,CAAC;IAChG,GAAG,CAAC,qBAAqB,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnI,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,GAAG,CAAC,sCAAsC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;IAClI,GAAG,CAAC,qBAAqB,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;AAC5C,CAAC;AAID,MAAM,aAAa,GAAG,CAAC,QAAkB,EAAE,EAAE,CAC3C,QAAQ;KACL,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;KACnC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AAE9I,SAAS,WAAW,CAAC,GAAQ,EAAE,GAAsB,EAAE,UAAyC,EAAE,MAAwC,EAAE,QAAkB;IAC5J,GAAG,CAAC,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACxF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC;QAChD,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACnG,CAAC;AACH,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,GAAQ,EAAE,CAAgB,EAAE,IAAY,EAAU,EAAE,CACpE,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,6EAA6E,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;AAE3I,sEAAsE;AACtE,KAAK,UAAU,OAAO,CAAC,GAAe,EAAE,CAAc,EAAE,IAAuB;IAC7E,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC1E,IAAI,MAAkB,CAAC;IACvB,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAC5C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,iBAAiB,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;IAChH,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,MAAM,UAAU,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IAE9D,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,QAAQ,CACN;YACE,OAAO,EAAE,UAAU;YACnB,MAAM,EAAE;gBACN,MAAM,EAAE,CAAC,CAAC,EAAE;gBACZ,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,SAAS,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;gBAC9B,YAAY,EAAE,MAAM;gBACpB,MAAM;gBACN,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,WAAW,EAAE,aAAa,CAAC,QAAQ,CAAC;gBACpC,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;gBAC/E,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,GAAG,CAAC,CAAC,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC;gBACnE,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,GAAG,CAAC,UAAU,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;gBACtD,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;aAChD;SACF,EACD,GAAG,CAAC,KAAK,CACV,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IAED,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAC/B,GAAG,CAAC,sFAAsF,CAAC,CAAC;IAC5F,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM;QAAE,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACpD,GAAG,CAAC,oCAAoC,CAAC,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM;QAAE,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACpD,GAAG,CAAC,uBAAuB,CAAC,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC;IACtD,WAAW,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAClE,GAAG,CAAC,gDAAgD,CAAC,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU;QAAE,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAChD,GAAG,CAAC,YAAY,CAAC,CAAC;IAClB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO;QAAE,GAAG,CAAC,OAAO,CAAC,CAAC,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACpI,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,UAAU,CAAE,CAAC;IAC3D,GAAG,CAAC,iBAAiB,GAAG,CAAC,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1G,GAAG,CAAC,wCAAwC,CAAC,CAAC;IAC9C,IAAI,UAAU,KAAK,EAAE;QAAE,GAAG,CAAC,yBAAyB,UAAU,EAAE,CAAC,CAAC;IAClE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAC9B,GAAG,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,QAAQ,MAAM,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC;IAC3J,CAAC;IACD,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,IAAI,CAAC;QAC5D,GAAG,CACD,+DAA+D,CAAC,CAAC,UAAU,CAAC,QAAQ,MAAM,CAAC,CAAC,UAAU,CAAC,YAAY,SAAS;YAC1H,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,UAAU,CAAC,SAAS,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CACtH,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,GAAG,CAAC,wBAAwB,CAAC,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,SAAS;YAAE,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,GAAG,CACD,MAAM,CAAC,MAAM,KAAK,CAAC;QACjB,CAAC,CAAC,wDAAwD;QAC1D,CAAC,CAAC,oBAAoB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,4EAA4E;YAC/G,uCAAuC,CAC9C,CAAC;IACF,IAAI,CAAC,KAAK,IAAI;QAAE,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAC9C,GAAG,CAAC,8BAA8B,CAAC,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW;QAAE,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACjD,GAAG,CAAC,+BAA+B,CAAC,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW;QAAE,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACjD,GAAG,CAAC,aAAa,CAAC,CAAC;IACnB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;QAAE,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACxD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,IAAI,CAAC;QACH,OAAO,MAAM,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC7B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,UAAU,IAAI,CAAC,YAAY,QAAQ,CAAC,EAAE,CAAC;YACrF,OAAO,aAAa,CAAC,UAAU,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACjD,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC;AAED,KAAK,UAAU,QAAQ,CAAC,GAAe;IACrC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,MAAM,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC;IAE3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,KAAK,GAAG,CAAC,GAAG,GAAG,CAAC,iBAAiB,CAAC,MAAM,EAAE,CAAC,CAAC;QAClD,MAAM,KAAK,GAAG,CAAC,GAAG,GAAG,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC;QAC9C,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,QAAQ,CACN;gBACE,OAAO,EAAE,UAAU;gBACnB,MAAM,EAAE;oBACN,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;oBAC/G,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;iBAC5H;aACF,EACD,GAAG,CAAC,KAAK,CACV,CAAC;YACF,OAAO,CAAC,CAAC;QACX,CAAC;QACD,GAAG,CAAC,iEAAiE,CAAC,CAAC;QACvE,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,GAAG,CAAC,QAAQ,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACrC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU;gBAAE,GAAG,CAAC,SAAS,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACrE,CAAC;QACD,GAAG,CAAC,gGAAgG,CAAC,CAAC;QACtG,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YAC7B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU;gBAAE,GAAG,CAAC,SAAS,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACnE,GAAG,CAAC,2BAA2B,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5E,CAAC;QACD,GAAG,CAAC,yGAAyG,CAAC,CAAC;QAC/G,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,WAAW,GAAG,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IAChE,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;IAEtE,IAAI,EAAU,CAAC;IACf,IAAI,CAAC;QACH,EAAE,GAAG,GAAG,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,UAAU,CAClB,kBAAkB,MAAM,6CAA6C,CAAC,GAAG,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,sBAAsB,CACpI,CAAC;IACJ,CAAC;IACD,IAAI,KAA8C,CAAC;IACnD,IAAI,CAAC;QACH,KAAK,GAAG,GAAG,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,QAAQ,CAAC,iBAAiB,GAAG,CAAC,uBAAuB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,IAAI,QAAQ,CAAC,iBAAiB,GAAG,CAAC,uBAAuB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC;IAC7B,MAAM,GAAG,GAAG,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9C,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAE5E,+FAA+F;IAC/F,+FAA+F;IAC/F,IAAI,UAAmD,CAAC;IACxD,IAAI,CAAC;QACH,UAAU,GAAG,GAAG,CAAC,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAC1D,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,iBAAiB,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IACvC,CAAC;IAED,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;IAC7E,MAAM,QAAQ,GAAG,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;IAE5E,2FAA2F;IAC3F,+EAA+E;IAC/E,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,UAAU,CAAC,SAAS,EAAE,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;IAC3H,MAAM,MAAM,GAAG,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,QAAQ,CACN;YACE,OAAO,EAAE,UAAU;YACnB,MAAM,EAAE;gBACN,QAAQ,EAAE,EAAE;gBACZ,MAAM;gBACN,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,WAAW,EAAE,aAAa,CAAC,QAAQ,CAAC;gBACpC,MAAM,EAAE,UAAU;gBAClB,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC;gBACxD,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;gBAC5C,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;aAChD;SACF,EACD,GAAG,CAAC,KAAK,CACV,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IACD,GAAG,CAAC,UAAU,EAAE,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAClC,WAAW,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,EAAE,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACrE,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAChC,GAAG,CAAC,qBAAqB,UAAU,CAAC,OAAO,oEAAoE,CAAC,CAAC;IACnH,CAAC;SAAM,CAAC;QACN,GAAG,CAAC,KAAK,UAAU,CAAC,IAAI,KAAK,KAAK,OAAO,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;QACtG,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM;YAAE,GAAG,CAAC,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,OAAO,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IACrI,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,GAAG,CAAC,WAAW,GAAG,4GAA4G,CAAC,CAAC;IAClI,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,OAAO;QAAE,GAAG,CAAC,KAAK,MAAM,EAAE,CAAC,CAAC;IACjD,IAAI,CAAC,KAAK,IAAI;QAAE,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAC9C,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,8EAA8E;IACvF,OAAO,EAAE,2BAA2B;IACpC,KAAK,EAAE,UAAU;IACjB,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC","sourcesContent":["/**\n * `upt evaluate <be-NN | case-id> key=value …` — numerically evaluate a closed-form /\n * spacetime bridge (the registered evaluators) via its registered evaluator. Closes the gap\n * where `upt explain <be-NN>` redirected to a \"evaluated directly\" capability that\n * did not exist. With no bridge id, lists the evaluable bridges + their inputs.\n * `upt evaluate case-<id> …` runs an applied case (`src/cases/`).\n */\nimport type { FlagSpec } from '../args.js';\nimport { registerCommand, type Command, type CommandCtx } from '../command.js';\nimport { commandHelp, JSON_FLAG } from '../flag-help.js';\nimport { emitJson, emitJsonError } from '../output.js';\nimport { coherentUnits, derivedUnitOf } from '../expr-print.js';\nimport { splitAssignments } from '../bindings.js';\nimport { realFlag } from '../numeric-flag.js';\nimport { UsageError } from '../errors.js';\nimport { CliError } from '../errors.js';\nimport type { AppliedCase, CaseResult, EvaluatorParameter, PropagatedOutput } from '../../cli-api.js';\nimport { closedFormRangeLabel } from '../closed-form-range.js';\n\nconst FLAGS: FlagSpec[] = [\n  {\n    name: '--sigma',\n    valueStyle: 'either',\n    repeatable: true,\n    description: 'One input uncertainty as key=u, in the input\\'s unit. A temperature uncertainty in degC or degF is a difference.',\n  },\n  {\n    name: '--corr',\n    valueStyle: 'either',\n    repeatable: true,\n    description: 'A pairwise correlation as a,b=rho, used with --sigma.',\n  },\n  JSON_FLAG,\n];\n\nconst HELP = `upt evaluate <be-NN | case-id> key=value[unit] ...\n        Numerically evaluate a closed-form / spacetime bridge (${closedFormRangeLabel()}),\n        or an applied case: a whole measurement problem with its parent and\n        scalar equations, observable, conditions, regime checks and a route\n        to a measurement comparison. A case whose regime check fails prints\n        its outputs as NOT QUALIFIED and exits 3.\n        e.g.  upt evaluate case-resistor-noise T_K=300 R_ohm=1kohm\n              R_in_ohm=1Mohm C_in_F=20pF f_lo_Hz=0 f_hi_Hz=10kHz t_avg_s=10\n        Every input is declared: its unit, its meaning, and for a length what\n        it measures (a radius, a separation, a semi-major axis). A value may\n        carry a unit (d_m=1um, R_ohm=1kohm, T_yr=88d, M_kg=1Msun) or an\n        expression of constants and units (M_kg=1*M_sun, v=0.6*c); it is\n        converted into the declared unit only when the dimensions agree, and a\n        bare number is in the declared unit. The same reader accepts --sigma. An absolute temperature in degC\n        adds 273.15 K, and one in degF is (degF − 32) × 5/9 + 273.15. A difference slot\n        (temperature-change, dT) and a --sigma take the interval, with no offset.\n        An undeclared key exits 1 instead of being ignored. A declared\n        alternate (major_axis_m for a_m) is converted exactly and said so.\n        e.g.  upt evaluate be-63 mu_e=2   → Chandrasekhar mass ≈ 2.896e30 kg (≈ 1.456 M_⊙\n              with M_⊙ = 1.989e30 kg; ideal degenerate gas, with m_u)\n              upt evaluate be-55 C=1      → quantum Hall σ_xy = e²/h in siemens (R_H = 1/σ_xy = h/e²,\n                                            the von Klitzing constant)\n        With no bridge id, lists the evaluable bridges and their declared inputs.\n        --sigma key=u (repeatable) gives an input's standard uncertainty;\n        --corr a,b=rho its correlation. Propagated to first order (GUM law,\n        central-difference sensitivities), with a curvature check per input\n        that flags where the linearization is unreliable. An input without\n        --sigma is treated as exact. Not included: the evaluator's numerical\n        error and model discrepancy (whether the bridge applies).\n        e.g.  upt evaluate be-58 T_K=300 R_ohm=1000 --sigma T_K=3 --sigma R_ohm=10\n        An input outside a relation's validity domain is refused and the message\n        names the condition (a weak-field formula inside 10 Schwarzschild radii,\n        a negative temperature). A relation's recorded caveat, and the note of a\n        registered constant it names, print beside the value.`;\n\n/**\n * An input-contract error (absent, unknown, non-number, non-finite or twice-given\n * input) as the CLI reports it: a bad value (exit 1) under the one `upt evaluate:`\n * prefix. Its message already names the id.\n */\nfunction inputErrorOrSelf(api: CommandCtx['api'], e: unknown): unknown {\n  return api.isInputContractError(e) ? new CliError(`upt evaluate: ${e.message}`) : e;\n}\n\n/**\n * What `run` threw, as the CLI reports it. An input error, a domain failure, a carrier-sign\n * failure and a closed form that is not finite at the inputs are each a bad value: exit 1\n * (documented contract), under the one `upt evaluate:` prefix, with the bridge or case named.\n */\nfunction evaluationFailure(api: CommandCtx['api'], e: unknown, label: string): unknown {\n  if (api.isInputContractError(e)) return inputErrorOrSelf(api, e);\n  if (e instanceof api.FormulaError) return new CliError(`upt evaluate: ${label}: ${e.message}`);\n  if (e instanceof Error) return new CliError(`upt evaluate: ${e.message}`);\n  return e;\n}\n\n/** Unit and geometry trouble is a bad value (exit 1); a missing `=` is a usage error (exit 2); a key twice is refused. */\nfunction resolveInputs(api: CommandCtx['api'], label: string, parameters: readonly EvaluatorParameter[], args: readonly string[]) {\n  splitAssignments('evaluate', args, 'key=value (e.g. mu_e=2)');\n  try {\n    return api.resolveEvaluatorInputs(parameters, args, label);\n  } catch (e) {\n    if (e instanceof api.UnitError || e instanceof api.SynonymDisagreementError) {\n      throw new CliError(`upt evaluate: ${label}: ${e.message}`);\n    }\n    throw inputErrorOrSelf(api, e);\n  }\n}\n\n/** `d_m [m] plate separation d (geometry: separation) — the gap …` */\nfunction describeParameter(p: EvaluatorParameter): string {\n  const extras = [\n    ...(p.geometry === undefined ? [] : [`geometry: ${p.geometry}`]),\n    ...(p.temperature === undefined ? [] : ['an absolute temperature; degC adds 273.15; degF is (degF − 32)×5/9 + 273.15']),\n    ...(p.optional === true ? ['optional'] : []),\n  ];\n  const alts = (p.alternates ?? []).map((a) => `or give ${a.key}, ${a.meaning}`);\n  return (\n    `${p.key} [${p.unit || 'dimensionless'}] ${p.quantity} ${p.symbol}${extras.length > 0 ? ` (${extras.join('; ')})` : ''} — ${p.meaning}` +\n    (alts.length > 0 ? `; ${alts.join('; ')}` : '')\n  );\n}\n\n/**\n * The parameter a `--sigma` spelling names, through the same contract the inputs use\n * (`resolveEvaluatorInputs`): the key itself, a declared alternate (`diameter_m` for `a_m`,\n * whose σ is scaled by the alternate's `toKey`), or a synonym spelling of the key. `undefined`\n * when the spelling names none of them.\n */\nfunction sigmaSlot(\n  api: CommandCtx['api'],\n  parameters: readonly EvaluatorParameter[],\n  given: string,\n): { key: string; unit: string; factor: number } | undefined {\n  const direct = parameters.find((p) => p.key === given);\n  if (direct !== undefined) return { key: direct.key, unit: direct.unit, factor: 1 };\n  for (const p of parameters) {\n    const alt = (p.alternates ?? []).find((a) => a.key === given);\n    if (alt !== undefined) return { key: p.key, unit: p.unit, factor: alt.toKey };\n  }\n  const viaName = api.resolveQuantityName(given, new Set(parameters.map((p) => p.key)));\n  const synonym = viaName === null ? undefined : parameters.find((p) => p.key === viaName);\n  return synonym === undefined ? undefined : { key: synonym.key, unit: synonym.unit, factor: 1 };\n}\n\nfunction parseUncertainty(\n  api: CommandCtx['api'],\n  spec: { readonly parameters: readonly EvaluatorParameter[] },\n  sigmaArgs: readonly string[],\n  corrArgs: readonly string[],\n  inputs: Readonly<Record<string, number>>,\n): { sigma: Record<string, number>; corr: Map<string, number> } {\n  const sigma: Record<string, number> = {};\n  splitAssignments('evaluate --sigma', sigmaArgs, 'key=u');\n  for (const a of sigmaArgs) {\n    const m = /^([^=]+)=(.+)$/.exec(a);\n    const given = m?.[1];\n    // The same spellings the inputs take: the key, a declared alternate, or a synonym.\n    const slot = given === undefined ? undefined : sigmaSlot(api, spec.parameters, given);\n    const key = slot?.key;\n    if (m !== null && (key === undefined || !(key in inputs))) {\n      throw new CliError(`upt evaluate: --sigma '${given}' is not one of the inputs given (${Object.keys(inputs).join(', ')})`);\n    }\n    // A σ is a difference: a σ in degC takes no 273.15 offset. The value is read\n    // by the same binding reader as the input, so an energy on a kelvin slot is k_B T.\n    // A σ given under an alternate is scaled by the alternate's factor (a diameter's σ is twice the radius's).\n    let u = NaN;\n    if (m !== null && slot !== undefined) {\n      try {\n        u = api.readNamedBinding(given!, m[2]!, { reading: 'difference', declaredUnit: slot.unit }).value * slot.factor;\n      } catch (e) {\n        if (!(e instanceof api.UnitError)) throw e;\n        if (!(e instanceof api.BindingNumberError)) throw new CliError(`upt evaluate: --sigma '${a}': ${e.message}`);\n      }\n    }\n    if (m === null || key === undefined || !Number.isFinite(u) || u < 0) {\n      throw new CliError(`upt evaluate: --sigma '${a}' is not key=<finite u ≥ 0>`);\n    }\n    // Two spellings of one input (`T_K`, `temperature`) are one key here.\n    if (key in sigma) throw new CliError(`upt evaluate --sigma: '${key}' is given twice ('${a}'); give one value per name`);\n    sigma[key] = u;\n  }\n  const corr = new Map<string, number>();\n  for (const a of corrArgs) {\n    const m = /^([^,=]+),([^,=]+)=(.+)$/.exec(a);\n    // The grammar first (a malformed rho is usage, exit 2), the range after (a bad value, exit 1).\n    const rho = m === null ? NaN : realFlag('evaluate', '--corr rho', m[3]!);\n    if (m === null || !Number.isFinite(rho) || Math.abs(rho) > 1) throw new CliError(`upt evaluate: --corr '${a}' is not a,b=<rho in [-1, 1]>`);\n    const [x, y] = [m[1]!, m[2]!];\n    if (x === y) throw new CliError(`upt evaluate: --corr '${a}' correlates an input with itself`);\n    for (const k of [x, y]) {\n      if (!(k in sigma)) throw new CliError(`upt evaluate: --corr names '${k}', which has no --sigma`);\n    }\n    corr.set(`${x},${y}`, rho);\n  }\n  if (!api.correlationIsPositiveSemidefinite(Object.keys(sigma), corr)) {\n    throw new CliError('upt evaluate: the --corr values are not a valid correlation matrix (not positive semidefinite)');\n  }\n  return { sigma, corr };\n}\n\nconst NOT_INCLUDED = \"the evaluator's numerical error; model discrepancy (whether the bridge applies at all)\";\n\nconst CASE_NOT_INCLUDED =\n  \"the case's numerical error; model discrepancy beyond the regime checks; the regime checks are evaluated at the given inputs, not at ±u\";\n\ninterface Uncertainty {\n  readonly block: Record<string, unknown>;\n  readonly propagated: Record<string, PropagatedOutput>;\n  readonly exactInputs: string[];\n  readonly notIncluded: string;\n}\n\nfunction uncertaintyOf(\n  ctx: CommandCtx,\n  spec: { readonly parameters: readonly EvaluatorParameter[] },\n  inputs: Readonly<Record<string, number>>,\n  f: (inputs: Record<string, number>) => Record<string, unknown>,\n  notIncluded: string,\n): Uncertainty | null {\n  const sigmaArgs = ctx.args.flags.get('sigma') ?? [];\n  const corrArgs = ctx.args.flags.get('corr') ?? [];\n  if (sigmaArgs.length === 0 && corrArgs.length > 0) throw new CliError('upt evaluate: --corr needs --sigma for both inputs');\n  if (sigmaArgs.length === 0) return null;\n  const { sigma, corr } = parseUncertainty(ctx.api, spec, sigmaArgs, corrArgs, inputs);\n  const propagated = ctx.api.propagateEvaluatorUncertainty(f, inputs, sigma, corr);\n  const exactInputs = Object.keys(inputs).filter((k) => !(k in sigma));\n  return {\n    block: {\n      method: 'first-order propagation (GUM law), central-difference sensitivities, curvature check at ±u per input',\n      sigma,\n      correlations: Object.fromEntries(corr),\n      outputs: propagated,\n      exactInputs,\n      notIncluded,\n    },\n    propagated,\n    exactInputs,\n    notIncluded,\n  };\n}\n\n/** The one number formatter, as every command reads it: through `ctx.api`. */\ntype Fmt = CommandCtx['api']['formatExact'];\n\n/**\n * The value is echoed exactly; σ, the relative %, a sensitivity, a contribution and the\n * curvature ratio are statistics (the sensitivity is a central difference whose trailing\n * digits are noise), so they print at three significant digits.\n */\nfunction printUncertainty(api: CommandCtx['api'], out: CommandCtx['out'], u: Uncertainty): void {\n  const g = (x: number | null): string => (x === null ? 'unavailable' : api.formatQuantity(x, 3));\n  out('  uncertainty (first-order, GUM law; a sensitivity is not an uncertainty, the contribution is c·u):');\n  for (const [name, p] of Object.entries(u.propagated)) {\n    out(`    ${name} = ${api.formatExact(p.value)} ± ${g(p.u)} (1σ${p.relative === null ? '' : `; relative ${g(p.relative * 100)}%`})`);\n    for (const [k, c] of Object.entries(p.contributions)) {\n      out(\n        `      from ${k}: c = ${g(c.sensitivity)}, c·u = ${g(c.contribution)}` +\n          (c.curvatureRatio === null ? '' : `, curvature/linear at ±u = ${g(c.curvatureRatio)}`) +\n          (c.note === undefined ? '' : ` — ${c.note}`),\n      );\n    }\n    if (p.unreliable.length > 0) {\n      out(`      LINEARIZATION UNRELIABLE for ${p.unreliable.join(', ')}: the first-order σ above does not describe what ±u does to it`);\n    }\n  }\n  const corr = Object.entries((u.block as { correlations: Record<string, number> }).correlations);\n  out(`    correlations: ${corr.length === 0 ? 'none given (inputs independent)' : corr.map(([k, r]) => `${k} = ${r}`).join(', ')}`);\n  if (u.exactInputs.length > 0) out(`    treated as exact (no --sigma): ${u.exactInputs.join(', ')} — a choice, not a measurement`);\n  out(`    not included: ${u.notIncluded}`);\n}\n\ntype Resolved = ReturnType<typeof resolveInputs>['resolved'];\n\nconst conversionsOf = (resolved: Resolved) =>\n  resolved\n    .filter((r) => r.note !== undefined)\n    .map((r) => ({ key: r.key, given: r.given, value: r.value, unit: r.unit, ...(r.via === undefined ? {} : { via: r.via }), note: r.note }));\n\nfunction printInputs(fmt: Fmt, out: CommandCtx['out'], parameters: readonly EvaluatorParameter[], inputs: Readonly<Record<string, number>>, resolved: Resolved): void {\n  out('  inputs: ' + Object.entries(inputs).map(([k, v]) => `${k}=${fmt(v)}`).join(', '));\n  for (const p of parameters) {\n    const r = resolved.find((x) => x.key === p.key);\n    out(`    ${describeParameter(p)}${r?.note === undefined ? '' : `\\n      converted: ${r.note}`}`);\n  }\n}\n\nconst withUnit = (fmt: Fmt, v: number | null, unit: string): string =>\n  v === null ? 'undefined here (its premise fails, or it needs an optional input not given)' : `${fmt(v)}${unit === '' ? '' : ` ${unit}`}`;\n\n/** A violated regime check is a check that ran and failed: exit 3. */\nasync function runCase(ctx: CommandCtx, c: AppliedCase, rest: readonly string[]): Promise<number> {\n  const { args, api, out } = ctx;\n  const { inputs, resolved } = resolveInputs(api, c.id, c.parameters, rest);\n  let result: CaseResult;\n  try {\n    result = api.runAppliedCase(c.id, inputs);\n  } catch (e) {\n    throw evaluationFailure(api, e, c.id);\n  }\n  const u = uncertaintyOf(ctx, c, inputs, (i) => ({ ...api.runAppliedCase(c.id, i).outputs }), CASE_NOT_INCLUDED);\n  const failed = result.checks.filter((k) => !k.holds).map((k) => k.id);\n  const code = failed.length === 0 ? 0 : 3;\n  const regimeLine = c.regimeAt?.(inputs, result.outputs) ?? '';\n\n  if (args.flags.has('json')) {\n    emitJson(\n      {\n        command: 'evaluate',\n        result: {\n          caseId: c.id,\n          title: c.title,\n          qualified: failed.length === 0,\n          failedChecks: failed,\n          inputs,\n          parameters: c.parameters,\n          conversions: conversionsOf(resolved),\n          governing: c.governing,\n          observable: c.observable,\n          outputs: c.outputs.map((o) => ({ ...o, value: result.outputs[o.key] ?? null })),\n          checks: result.checks,\n          ...(c.comparison === undefined ? {} : { comparison: c.comparison }),\n          conditions: c.conditions,\n          unchecked: result.unchecked,\n          notIncluded: c.notIncluded,\n          measurement: c.measurement,\n          links: c.links,\n          ...(regimeLine === '' ? {} : { regimeAt: regimeLine }),\n          ...(u === null ? {} : { uncertainty: u.block }),\n        },\n      },\n      ctx.write,\n    );\n    return code;\n  }\n\n  out(`\\n● ${c.id}  ${c.title}`);\n  out('  parent equations (what the scalar result simplifies; not evaluated as the answer):');\n  for (const e of c.governing.parent) out(`    ${e}`);\n  out('  scalar simplification evaluated:');\n  for (const e of c.governing.scalar) out(`    ${e}`);\n  out(`  kept and dropped: ${c.governing.distinction}`);\n  printInputs(api.formatExact, out, c.parameters, inputs, resolved);\n  out('  conditions (boundary, initial, equilibrium):');\n  for (const s of c.conditions) out(`    - ${s}`);\n  out('  outputs:');\n  for (const o of c.outputs) out(`    ${o.key} = ${withUnit(api.formatExact, result.outputs[o.key] ?? null, o.unit)} — ${o.meaning}`);\n  const obs = c.outputs.find((o) => o.key === c.observable)!;\n  out(`  observable: ${obs.key} = ${withUnit(api.formatExact, result.outputs[obs.key] ?? null, obs.unit)}`);\n  out('  regime checks (at the given inputs):');\n  if (regimeLine !== '') out(`  regime coordinates: ${regimeLine}`);\n  for (const k of result.checks) {\n    out(`    ${k.holds ? 'holds   ' : 'VIOLATED'}  ${k.id}: ${k.quantity} = ${api.formatExact(k.value)} ${k.op} ${k.bound} — ${k.premise} (${k.threshold})`);\n  }\n  if (c.comparison !== undefined) {\n    const d = result.outputs[c.comparison.deviationKey] ?? null;\n    out(\n      `  comparison (reported beside the checks, not one of them): ${c.comparison.valueKey} / ${c.comparison.referenceKey} − 1 = ` +\n        `${d === null ? 'undefined here' : api.formatExact(d)} — against ${c.comparison.reference}; ${c.comparison.method}`,\n    );\n  }\n  if (result.unchecked.length > 0) {\n    out('  stated, not checked:');\n    for (const s of result.unchecked) out(`    - ${s}`);\n  }\n  out(\n    failed.length === 0\n      ? '  QUALIFIED: every regime check holds at these inputs.'\n      : `  NOT QUALIFIED: ${failed.join(', ')} violated — the outputs above are outside the stated regime and are not a ` +\n          'qualified prediction at these inputs.',\n  );\n  if (u !== null) printUncertainty(api, out, u);\n  out('  not included in the model:');\n  for (const s of c.notIncluded) out(`    - ${s}`);\n  out('  compare with a measurement:');\n  for (const s of c.measurement) out(`    - ${s}`);\n  out('  rests on:');\n  for (const l of c.links) out(`    ${l.id} — ${l.role}`);\n  return code;\n}\n\n/**\n * `--json` answers a refusal in the envelope too (`emitJsonError`), with the exit code the\n * refusal stands for; the text mode reports it on stderr as every command does. A defect\n * (neither error class) propagates either way.\n */\nasync function run(ctx: CommandCtx): Promise<number> {\n  try {\n    return await evaluate(ctx);\n  } catch (e) {\n    if (ctx.args.flags.has('json') && (e instanceof UsageError || e instanceof CliError)) {\n      return emitJsonError('evaluate', e, ctx.write);\n    }\n    throw e;\n  }\n}\n\nasync function evaluate(ctx: CommandCtx): Promise<number> {\n  const { args, api, out } = ctx;\n  const [target, ...rest] = args.positionals;\n\n  if (!target) {\n    const specs = [...api.BRIDGE_EVALUATORS.values()];\n    const cases = [...api.APPLIED_CASES.values()];\n    if (args.flags.has('json')) {\n      emitJson(\n        {\n          command: 'evaluate',\n          result: [\n            ...specs.map((s) => ({ bridgeId: s.bridgeId, name: s.name, inputKeys: s.inputKeys, parameters: s.parameters })),\n            ...cases.map((c) => ({ caseId: c.id, name: c.title, inputKeys: c.parameters.map((p) => p.key), parameters: c.parameters })),\n          ],\n        },\n        ctx.write,\n      );\n      return 0;\n    }\n    out('\\nEvaluable bridges  (upt evaluate <be-NN> key=value[unit] ...)');\n    for (const s of specs) {\n      out(`  be-${s.bridgeId}  ${s.name}`);\n      for (const p of s.parameters) out(`      ${describeParameter(p)}`);\n    }\n    out('\\nApplied cases  (upt evaluate <case-id> key=value[unit] ...; a violated regime check exits 3)');\n    for (const c of cases) {\n      out(`  ${c.id}  ${c.title}`);\n      for (const p of c.parameters) out(`      ${describeParameter(p)}`);\n      out(`      e.g. upt evaluate ${c.id} ${c.examples.valid.args.join(' ')}`);\n    }\n    out('\\n  A value may carry a unit (d_m=1um, T_K=25degC, R_ohm=1kohm); a bare number is in the declared unit.');\n    return 0;\n  }\n\n  const appliedCase = api.APPLIED_CASES.get(target.toLowerCase());\n  if (appliedCase !== undefined) return runCase(ctx, appliedCase, rest);\n\n  let id: number;\n  try {\n    id = api.parseBridgeId(target);\n  } catch {\n    throw new UsageError(\n      `upt evaluate: '${target}' is not a bridge id (be-<id>) or a case (${[...api.APPLIED_CASES.keys()].join(', ')}). See \\`upt help\\`.`,\n    );\n  }\n  let found: ReturnType<typeof api.resolveEvaluable>;\n  try {\n    found = api.resolveEvaluable(id);\n  } catch {\n    throw new CliError(`upt evaluate: ${api.missingEvaluatorMessage(id)}`);\n  }\n  if (found.evaluator === undefined) {\n    throw new CliError(`upt evaluate: ${api.missingEvaluatorMessage(id)}`);\n  }\n  const spec = found.evaluator;\n  const key = api.catalogEdgeKey(spec.bridgeId);\n  const { inputs, resolved } = resolveInputs(api, key, spec.parameters, rest);\n\n  // The one evaluation, the library's result builder: `run` checks the inputs (missing, unknown,\n  // type) before the domain, and the result carries the output's name, unit, meaning and extras.\n  let evaluation: ReturnType<typeof api.evaluateResolved>;\n  try {\n    evaluation = api.evaluateResolved(found, inputs, 'all');\n  } catch (e) {\n    throw evaluationFailure(api, e, key);\n  }\n\n  const u = uncertaintyOf(ctx, spec, inputs, (i) => spec.run(i), NOT_INCLUDED);\n  const relation = api.primaryRelation(id);\n  const notices = relation === undefined ? [] : api.relationNotices(relation);\n\n  // The text label is a derived SI unit read from the unit table (`V^2/Hz`); the JSON is the\n  // library result itself, whose `unit` is the base form `parseUnit` reads back.\n  const label = evaluation.kind === 'unset' ? undefined : derivedUnitOf(evaluation.dimension, coherentUnits(api.unitRows()));\n  const unused = api.unusedInputKeys(spec);\n  if (args.flags.has('json')) {\n    emitJson(\n      {\n        command: 'evaluate',\n        result: {\n          bridgeId: id,\n          inputs,\n          parameters: spec.parameters,\n          conversions: conversionsOf(resolved),\n          output: evaluation,\n          ...(unused.length === 0 ? {} : { unusedInputs: unused }),\n          ...(notices.length === 0 ? {} : { notices }),\n          ...(u === null ? {} : { uncertainty: u.block }),\n        },\n      },\n      ctx.write,\n    );\n    return 0;\n  }\n  out(`\\n● be-${id}  ${spec.name}`);\n  printInputs(api.formatExact, out, spec.parameters, inputs, resolved);\n  if (evaluation.kind === 'unset') {\n    out(`  value is unset: ${evaluation.formula} is not finite at these inputs (a dropped factor or a singularity)`);\n  } else {\n    out(`  ${evaluation.name} [${label}] = ${api.formatExact(evaluation.value)} — ${evaluation.meaning}`);\n    for (const extra of evaluation.extras) out(`  ${extra.name} [${extra.unit}] = ${api.formatExact(extra.value)} — ${extra.meaning}`);\n  }\n  for (const key of unused) {\n    out(`  note: ${key} is required and does not enter the value; the closed form does not use it, so changing it changes nothing`);\n  }\n  for (const notice of notices) out(`  ${notice}`);\n  if (u !== null) printUncertainty(api, out, u);\n  return 0;\n}\n\nexport const command: Command = {\n  name: 'evaluate',\n  aliases: [],\n  positionals: { max: Infinity },\n  flags: FLAGS,\n  help: commandHelp(HELP, FLAGS),\n  summary: 'Evaluate a closed-form bridge or an applied case, with units on every input.',\n  example: 'upt evaluate be-63 mu_e=2',\n  group: 'evaluate',\n  run,\n};\n\nregisterCommand(command);\n"]}

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

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

package/dist/cli/commands/explain.js

@@ -43,7 +43,7 @@ const HELP = `upt explain <quantity> [name=value | name] ...
  * `mass=1e500`→∞, and a bare name alongside a valued one were all silent
  * wrong-physics footguns.
  */
-function parseKnown(api, args) {
+function parseKnown(api, args, dimensions) {
     const valued = args.filter((a) => a.includes('='));
     if (valued.length === 0)
         return { known: [...args], notes: [] }; // names mode
@@ -74,6 +74,17 @@ function parseKnown(api, args) {
             throw new CliError(`upt explain: '${a.assignment}' is not a finite number. Expected ${a.name}=<number or unit>.`);
         }
         values[a.name] = read.value;
+        // A dimensioned value must be the quantity's dimension (issues #542, #537):
+        // `nu=500nm` used to keep the 5e-7 scale and drop the length, so a metre
+        // was read as a hertz. A bare number is already in the quantity's unit.
+        // The message is the same sentence `bindingInUnit` gives `upt evaluate`,
+        // with the quantity's own dimension where evaluate states a declared unit.
+        const resolved = api.resolveQuantityName(a.name, dimensions.inputNames, dimensions.aliases);
+        const quantityDim = resolved === null ? undefined : dimensions.dims.get(resolved);
+        if (read.dimensioned && quantityDim !== undefined && !api.dimensionsEqual(read.dimension, quantityDim)) {
+            throw new CliError(`upt explain: '${a.assignment}': '${a.raw.trim()}' is ${api.format(read.dimension)}, ` +
+                `but this input is ${api.format(quantityDim)} (${resolved})`);
+        }
         // Unit-convention notes were already on the binding and explain did not
         // print them. The temperature reading adds a note; the reader returns that
         // one on its own field.
@@ -114,7 +125,7 @@ function bridgeRedirect(api, target) {
 }
 /** A canonical equation and the catalog bridge it restates, when those two target names differ. */
 function restatementPartner(api, target) {
-    const norm = (s) => s.replaceAll('_', '-').toLowerCase();
+    const norm = (s) => api.foldName(s).toLowerCase();
     const want = norm(target);
     for (const eq of api.CANONICAL_EQUATIONS) {
         if (eq.restatesBridge === undefined)
@@ -256,7 +267,16 @@ async function run(ctx) {
             searchLine);
     }
     const aliases = api.aliasesForTarget(graph, resolvedTarget);
-    const parsed = parseKnown(api, rest);
+    // The dimension of each graph quantity, from the nodes the edges already
+    // carry (projected from `data/quantities.json`): the check
+    // `parseKnown` makes for a dimensioned binding, in the terms this graph uses.
+    const dims = new Map();
+    for (const e of graph) {
+        dims.set(e.target.name, e.target.dim);
+        for (const s of e.sources)
+            dims.set(s.name, s.dim);
+    }
+    const parsed = parseKnown(api, rest, { inputNames, aliases, dims });
     for (const note of parsed.notes)
         ctx.err(note);
     if (!Array.isArray(parsed.known)) {
@@ -334,6 +354,7 @@ async function run(ctx) {
 export const command = {
     name: 'explain',
     aliases: [],
+    positionals: { max: Infinity },
     flags: FLAGS,
     help: commandHelp(HELP, FLAGS),
     summary: 'Show how the graph determines a quantity, or say that it does not cover that name.',