universal-physics-tensor 11.0.0 → 12.0.0

package/dist/cli/main.js.map

@@ -1 +1 @@
-{"version":3,"file":"main.js","sourceRoot":"","sources":["../../src/cli/main.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,GAAG,MAAM,eAAe,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAiC,MAAM,cAAc,CAAC;AAC/F,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,UAAU,EAAW,MAAM,aAAa,CAAC;AAClF,8EAA8E;AAC9E,OAAO,qBAAqB,CAAC;AAE7B,sEAAsE;AACtE,6EAA6E;AAC7E,8EAA8E;AAE9E,SAAS,UAAU,CAAC,IAAa;IAC/B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,UAAU,CAAC,IAAa;IAC/B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,SAAS,CAAC,CAAS;IAC1B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,SAAS,GAAO,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAE7E,0FAA0F;AAC1F,MAAM,WAAW,GAAG,EAAE,CAAC;AAEvB;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAc,EAAE,EAAE,GAAoB,SAAS;IACjF,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,IAAI,KAAK,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/F,EAAE,CAAC,GAAG,CAAC,wBAAwB,OAAO,EAAE,CAAC,CAAC;IAC1C,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,oBAAoB,IAAI,sBAAsB,CAAC;AAEvG,MAAM,kBAAkB,GAAG,2CAA2C,CAAC;AAEvE;;;;;;;;GAQG;AACH,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC;AAEtF,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,IAAc,EAAE,EAAE,GAAO,SAAS;IAC7D,MAAM,KAAK,GAAiE,EAAE,CAAC;IAC/E,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,CAAC;QACH,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,IAAI,CAAC,EAAE,CAAC;gBACN,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAuB,CAAC;gBACxC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBAAE,MAAM,IAAI,UAAU,CAAC,WAAW,IAAI,iBAAiB,IAAI,QAAQ,CAAC,CAAC;gBAC9E,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS;oBAAE,MAAM,IAAI,UAAU,CAAC,WAAW,IAAI,wBAAwB,CAAC,CAAC;gBAC7F,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACrB,CAAC;iBAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;gBAChC,IAAI,IAAI;oBAAE,MAAM,IAAI,UAAU,CAAC,oCAAoC,CAAC,CAAC;gBACrE,IAAI,GAAG,IAAI,CAAC;YACd,CAAC;iBAAM,CAAC;gBACN,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,aAAa,CAAC,KAAK,SAAS,CAAC,EAAE,CAAC;YAC/E,8EAA8E;QAChF,CAAC;aAAM,IAAI,IAAI,EAAE,CAAC;YAChB,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM,IAAI,UAAU,CAAC,kCAAkC,CAAC,CAAC;YAChF,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;YACtB,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,UAAU,CAAC,SAAS,IAAI,wBAAwB,CAAC,CAAC;YACzF,IAAI,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI;YAAE,OAAO,MAAM,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACtD,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,UAAU,CAAC,gEAAgE,CAAC,CAAC;QACzF,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,gBAAgB,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;QACrG,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,aAAa,CAAC,KAAK,SAAS,EAAE,CAAC;YACrE,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpB,MAAM,IAAI,UAAU,CAAC,WAAW,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,4BAA4B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAChI,CAAC;YACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;gBAAE,OAAO,MAAM,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;YACjG,OAAO,UAAU,CAAC,KAAK,CAAC,aAAa,CAAE,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QACrD,CAAC;QACD,OAAO,MAAM,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAClC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,UAAU,EAAE,CAAC;YAC5B,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAClB,OAAO,CAAC,CAAC;QACX,CAAC;QACD,IAAI,CAAC,YAAY,QAAQ,EAAE,CAAC;YAC1B,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAClB,OAAO,CAAC,CAAC;QACX,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC;AAED,KAAK,UAAU,QAAQ,CAAC,IAAc,EAAE,EAAM;IAC5C,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IAE/B,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;QAE5B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,sEAAsE;YACtE,sEAAsE;YACtE,iDAAiD;YACjD,GAAG,CAAC,8DAA8D,CAAC,CAAC;YAEpE,MAAM,UAAU,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;YAC7C,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,MAAM,IAAI,QAAQ,CAAC,wEAAwE,CAAC,CAAC;YAC/F,CAAC;YACD,MAAM,WAAW,GAAG,SAAS,CAAC,SAAS,EAAE,CAAC,qBAAqB,EAAE,eAAe,CAAC,EAAE,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC;YAC7H,MAAM,UAAU,GAAe,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;YAC3E,MAAM,aAAa,GAAG,MAAM,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACvD,IAAI,aAAa,KAAK,CAAC;gBAAE,OAAO,aAAa,CAAC;YAE9C,MAAM,WAAW,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;YAC/C,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,MAAM,IAAI,QAAQ,CAAC,yEAAyE,CAAC,CAAC;YAChG,CAAC;YACD,MAAM,YAAY,GAAG,SAAS,CAAC,UAAU,EAAE,EAAE,EAAE,WAAW,CAAC,KAAK,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC;YAC3F,MAAM,WAAW,GAAe,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;YAC7E,OAAO,MAAM,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAC5C,CAAC;QAED,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACvD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;gBAAE,MAAM,IAAI,UAAU,CAAC,yCAAyC,CAAC,CAAC;YACrF,oFAAoF;YACpF,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9E,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;gBAC1B,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC;gBACpB,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;gBACvC,IAAI,CAAC,OAAO;oBAAE,MAAM,IAAI,UAAU,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC;gBAClE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBAClB,OAAO,CAAC,CAAC;YACX,CAAC;YACD,MAAM,QAAQ,GAAc,EAAE,CAAC;YAC/B,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,EAAE,CAAC;gBACtC,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;gBACrC,IAAI,OAAO,KAAK,SAAS;oBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpD,CAAC;YACD,GAAG,CAAC,kBAAkB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YAChD,OAAO,CAAC,CAAC;QACX,CAAC;QAED,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,WAAW,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YAC7D,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;gBAAE,MAAM,IAAI,UAAU,CAAC,gCAAgC,CAAC,CAAC;YAC5E,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC;YACtB,OAAO,CAAC,CAAC;QACX,CAAC;QAED,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC;YAChC,OAAO,CAAC,CAAC;QACX,CAAC;QAED,8EAA8E;QAC9E,oEAAoE;QACpE,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACzD,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAClB,OAAO,CAAC,CAAC;QACX,CAAC;QAED,kFAAkF;QAClF,6EAA6E;QAC7E,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;QACjF,MAAM,GAAG,GAAe,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;QAC/D,OAAO,MAAM,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,UAAU,EAAE,CAAC;YAC5B,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACf,OAAO,CAAC,CAAC;QACX,CAAC;QACD,IAAI,CAAC,YAAY,QAAQ,EAAE,CAAC;YAC1B,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACf,OAAO,CAAC,CAAC;QACX,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC","sourcesContent":["/**\n * Verb-first dispatcher for the UPT CLI — `upt <command> [args...]`.\n *\n * Owns: top-level `help`/`version` handling, the no-args demo, unknown-verb\n * exit-2 contract, and per-command dispatch (parse -> run -> map thrown\n * UsageError/CliError to the documented exit codes). Individual commands are\n * plain data (see `command.ts`) registered via `registerCommand`; this file\n * never special-cases a command by name, so later tasks add commands without\n * touching `runCli`'s body.\n *\n * `main.ts` is the one place that imports the real `cli-api.js` barrel and\n * wires `out`/`err`/`write` to real stdio — every `Command.run` receives\n * those as an injected `CommandCtx`, never reaching for `process.*` itself,\n * which is what makes commands testable in-process against `dist/cli/*.js`.\n */\n\nimport * as api from '../cli-api.js';\nimport { UsageError, CliError } from './errors.js';\nimport { optionTokens, parseArgs } from './args.js';\nimport { packageVersion } from './version.js';\nimport { glossaryText } from './statuses.js';\nimport { listCommandNames, resolveCommand, type Command, type CommandCtx } from './command.js';\nimport { GLOBAL_FLAGS } from './flag-help.js';\nimport { renderTopLevelHelp } from './top-level-help.js';\nimport { recordInvocation, replayRecord, showRecord, type Io } from './record.js';\n// Side-effect import: registers every ported command (see commands/index.ts).\nimport './commands/index.js';\n\n// `Io` is the writer surface `runCli` needs. In production these wrap\n// `process.stdout`/`process.stderr` with exact `console.log`/`console.error`\n// semantics; tests pass a capturing stand-in as the optional second argument.\n\nfunction stdoutLine(line?: string): void {\n  process.stdout.write((line ?? '') + '\\n');\n}\n\nfunction stderrLine(line?: string): void {\n  process.stderr.write((line ?? '') + '\\n');\n}\n\nfunction stdoutRaw(s: string): void {\n  process.stdout.write(s);\n}\n\nconst defaultIo: Io = { out: stdoutLine, err: stderrLine, write: stdoutRaw };\n\n/** EX_SOFTWARE (sysexits.h): the exit code of a defect, an error `runCli` did not map. */\nconst EX_SOFTWARE = 70;\n\n/**\n * The last-resort handler `bin/upt.mjs` calls when `runCli` rethrows: a defect, since every\n * usage error and value refusal was mapped to an exit code inside `runCli`. Prints one line,\n * `upt: internal error: <message>` (the message, not the stack), and returns 70 (EX_SOFTWARE).\n * A thrown value that is not an Error, or an Error with no message, prints as its string.\n */\nexport function reportInternalError(error: unknown, io: Pick<Io, 'err'> = defaultIo): number {\n  const message = error instanceof Error && error.message !== '' ? error.message : String(error);\n  io.err(`upt: internal error: ${message}`);\n  return EX_SOFTWARE;\n}\n\nconst unknownCommandMessage = (name: string): string => `Unknown command '${name}'. See \\`upt help\\`.`;\n\nconst GLOBAL_FILE_OPTION = /^--(record|replay|show-record)(?:=(.*))?$/;\n\n/**\n * Verb-first CLI entry point. `argv` is the command + its arguments (NOT\n * `process.argv` — callers slice off the node/script prefix themselves, as\n * `bin/upt.mjs` did with `process.argv.slice(2)`).\n *\n * Leading `--record=FILE` / `--replay=FILE` / `--show-record=FILE` / `--json`\n * are global options. `--json` is moved onto the command so the command's\n * own flag spec parses it. `upt <command> --help` prints that command.\n */\nconst NO_JSON_VERBS = new Set(['help', '--help', '-h', 'version', '--version', '-v']);\n\nexport async function runCli(argv: string[], io: Io = defaultIo): Promise<number> {\n  const files: Partial<Record<'record' | 'replay' | 'show-record', string>> = {};\n  let json = false;\n  let i = 0;\n  try {\n    for (; i < argv.length; i++) {\n      const m = GLOBAL_FILE_OPTION.exec(argv[i]);\n      if (m) {\n        const name = m[1] as keyof typeof files;\n        if (!m[2]) throw new UsageError(`upt: '--${name}' requires '--${name}=FILE'`);\n        if (files[name] !== undefined) throw new UsageError(`upt: '--${name}' given more than once`);\n        files[name] = m[2];\n      } else if (argv[i] === '--json') {\n        if (json) throw new UsageError(`upt: '--json' given more than once`);\n        json = true;\n      } else {\n        break;\n      }\n    }\n    let rest = argv.slice(i);\n    if (json && (files.replay !== undefined || files['show-record'] !== undefined)) {\n      // `--replay` / `--show-record` consume --json themselves and take no command.\n    } else if (json) {\n      if (rest.length === 0) throw new UsageError(`upt: '--json' requires a command`);\n      const verb = rest[0]!;\n      if (NO_JSON_VERBS.has(verb)) throw new UsageError(`upt: '${verb}' does not take --json`);\n      rest = [verb, '--json', ...rest.slice(1)];\n    }\n    if (i === 0 && !json) return await dispatch(argv, io);\n    if (Object.keys(files).length > 1) {\n      throw new UsageError('upt: use one of --record, --replay and --show-record at a time');\n    }\n    if (files.record !== undefined) return await recordInvocation(files.record, rest, dispatch, io, api);\n    if (files.replay !== undefined || files['show-record'] !== undefined) {\n      if (rest.length > 0) {\n        throw new UsageError(`upt: '--${files.replay !== undefined ? 'replay' : 'show-record'}' takes no command (got '${rest[0]}')`);\n      }\n      if (files.replay !== undefined) return await replayRecord(files.replay, json, dispatch, io, api);\n      return showRecord(files['show-record']!, json, io);\n    }\n    return await dispatch(rest, io);\n  } catch (e) {\n    if (e instanceof UsageError) {\n      io.err(e.message);\n      return 2;\n    }\n    if (e instanceof CliError) {\n      io.err(e.message);\n      return 1;\n    }\n    throw e;\n  }\n}\n\nasync function dispatch(argv: string[], io: Io): Promise<number> {\n  const { out, err, write } = io;\n\n  try {\n    const [cmd, ...rest] = argv;\n\n    if (cmd === undefined) {\n      // Byte-identical to bin/upt.mjs's `case undefined` (lines 861-865): a\n      // banner line, then dispatch to the registered `explain` + `priority`\n      // commands with their historical demo arguments.\n      out('upt — bridge-inference CLI. Demo (run `upt help` for usage):');\n\n      const explainCmd = resolveCommand('explain');\n      if (!explainCmd) {\n        throw new CliError(\"upt: the demo needs the 'explain' command, which is not registered yet\");\n      }\n      const explainArgs = parseArgs('explain', ['hawking-temperature', 'mass=1.989e30'], explainCmd.flags, explainCmd.positionals);\n      const explainCtx: CommandCtx = { args: explainArgs, api, out, err, write };\n      const explainStatus = await explainCmd.run(explainCtx);\n      if (explainStatus !== 0) return explainStatus;\n\n      const priorityCmd = resolveCommand('priority');\n      if (!priorityCmd) {\n        throw new CliError(\"upt: the demo needs the 'priority' command, which is not registered yet\");\n      }\n      const priorityArgs = parseArgs('priority', [], priorityCmd.flags, priorityCmd.positionals);\n      const priorityCtx: CommandCtx = { args: priorityArgs, api, out, err, write };\n      return await priorityCmd.run(priorityCtx);\n    }\n\n    if (cmd === 'help' || cmd === '--help' || cmd === '-h') {\n      if (rest.length > 1) throw new UsageError('upt help takes at most one command name');\n      // `upt help -h` and `upt help --help` ask for the command list, as `upt help` does.\n      const target = rest[0] === '--help' || rest[0] === '-h' ? undefined : rest[0];\n      if (target === 'statuses') {\n        out(glossaryText());\n        return 0;\n      }\n      if (target !== undefined) {\n        const command = resolveCommand(target);\n        if (!command) throw new UsageError(unknownCommandMessage(target));\n        out(command.help);\n        return 0;\n      }\n      const commands: Command[] = [];\n      for (const name of listCommandNames()) {\n        const command = resolveCommand(name);\n        if (command !== undefined) commands.push(command);\n      }\n      out(renderTopLevelHelp(commands, GLOBAL_FLAGS));\n      return 0;\n    }\n\n    if (cmd === 'version' || cmd === '--version' || cmd === '-v') {\n      if (rest.length > 0) throw new UsageError('upt version takes no arguments');\n      out(packageVersion());\n      return 0;\n    }\n\n    const command = resolveCommand(cmd);\n    if (!command) {\n      err(unknownCommandMessage(cmd));\n      return 2;\n    }\n\n    // `-h` is `--help` on every command, as the global help says. A token after a\n    // bare `--` is a positional, so it is not read as the help request.\n    const options = optionTokens(rest);\n    if (options.includes('--help') || options.includes('-h')) {\n      out(command.help);\n      return 0;\n    }\n\n    // The parser refuses a positional past the command's declared arity (none when it\n    // declares none), so a token the command would not read never reaches `run`.\n    const parsed = parseArgs(command.name, rest, command.flags, command.positionals);\n    const ctx: CommandCtx = { args: parsed, api, out, err, write };\n    return await command.run(ctx);\n  } catch (e) {\n    if (e instanceof UsageError) {\n      err(e.message);\n      return 2;\n    }\n    if (e instanceof CliError) {\n      err(e.message);\n      return 1;\n    }\n    throw e;\n  }\n}\n"]}
+{"version":3,"file":"main.js","sourceRoot":"","sources":["../../src/cli/main.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,GAAG,MAAM,eAAe,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAiC,MAAM,cAAc,CAAC;AAC/F,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,UAAU,EAAW,MAAM,aAAa,CAAC;AAClF,8EAA8E;AAC9E,OAAO,qBAAqB,CAAC;AAE7B,sEAAsE;AACtE,6EAA6E;AAC7E,8EAA8E;AAE9E,SAAS,UAAU,CAAC,IAAa;IAC/B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,UAAU,CAAC,IAAa;IAC/B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,SAAS,CAAC,CAAS;IAC1B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,SAAS,GAAO,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAE7E,0FAA0F;AAC1F,MAAM,WAAW,GAAG,EAAE,CAAC;AAEvB;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAc,EAAE,EAAE,GAAoB,SAAS;IACjF,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,IAAI,KAAK,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/F,EAAE,CAAC,GAAG,CAAC,wBAAwB,OAAO,EAAE,CAAC,CAAC;IAC1C,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,oBAAoB,IAAI,sBAAsB,CAAC;AAEvG,MAAM,kBAAkB,GAAG,2CAA2C,CAAC;AAEvE;;;;;;;;GAQG;AACH,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC;AAEtF,yDAAyD;AACzD,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,IAAc,EAAE,EAAE,GAAO,SAAS;IAC7D,MAAM,KAAK,GAAiE,EAAE,CAAC;IAC/E,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,CAAC;QACH,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,IAAI,CAAC,EAAE,CAAC;gBACN,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAuB,CAAC;gBACxC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBAAE,MAAM,IAAI,UAAU,CAAC,WAAW,IAAI,iBAAiB,IAAI,QAAQ,CAAC,CAAC;gBAC9E,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS;oBAAE,MAAM,IAAI,UAAU,CAAC,WAAW,IAAI,wBAAwB,CAAC,CAAC;gBAC7F,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACrB,CAAC;iBAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;gBAChC,IAAI,IAAI;oBAAE,MAAM,IAAI,UAAU,CAAC,oCAAoC,CAAC,CAAC;gBACrE,IAAI,GAAG,IAAI,CAAC;YACd,CAAC;iBAAM,CAAC;gBACN,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,aAAa,CAAC,KAAK,SAAS,CAAC,EAAE,CAAC;YAC/E,8EAA8E;QAChF,CAAC;aAAM,IAAI,IAAI,EAAE,CAAC;YAChB,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM,IAAI,UAAU,CAAC,kCAAkC,CAAC,CAAC;YAChF,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;YACtB,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,UAAU,CAAC,SAAS,IAAI,wBAAwB,CAAC,CAAC;YACzF,IAAI,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI;YAAE,OAAO,MAAM,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACtD,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,UAAU,CAAC,gEAAgE,CAAC,CAAC;QACzF,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,gBAAgB,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;QACrG,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,aAAa,CAAC,KAAK,SAAS,EAAE,CAAC;YACrE,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpB,MAAM,IAAI,UAAU,CAAC,WAAW,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,4BAA4B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAChI,CAAC;YACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;gBAAE,OAAO,MAAM,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;YACjG,OAAO,UAAU,CAAC,KAAK,CAAC,aAAa,CAAE,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QACrD,CAAC;QACD,OAAO,MAAM,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAClC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,UAAU,EAAE,CAAC;YAC5B,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAClB,OAAO,CAAC,CAAC;QACX,CAAC;QACD,IAAI,CAAC,YAAY,QAAQ,EAAE,CAAC;YAC1B,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAClB,OAAO,CAAC,CAAC;QACX,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC;AAED,KAAK,UAAU,QAAQ,CAAC,IAAc,EAAE,EAAM;IAC5C,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IAE/B,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;QAE5B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,sEAAsE;YACtE,sEAAsE;YACtE,iDAAiD;YACjD,GAAG,CAAC,8DAA8D,CAAC,CAAC;YAEpE,MAAM,UAAU,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;YAC7C,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,MAAM,IAAI,QAAQ,CAAC,wEAAwE,CAAC,CAAC;YAC/F,CAAC;YACD,MAAM,WAAW,GAAG,SAAS,CAAC,SAAS,EAAE,CAAC,qBAAqB,EAAE,eAAe,CAAC,EAAE,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC;YAC7H,MAAM,UAAU,GAAe,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;YAC3E,MAAM,aAAa,GAAG,MAAM,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACvD,IAAI,aAAa,KAAK,CAAC;gBAAE,OAAO,aAAa,CAAC;YAE9C,MAAM,WAAW,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;YAC/C,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,MAAM,IAAI,QAAQ,CAAC,yEAAyE,CAAC,CAAC;YAChG,CAAC;YACD,MAAM,YAAY,GAAG,SAAS,CAAC,UAAU,EAAE,EAAE,EAAE,WAAW,CAAC,KAAK,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC;YAC3F,MAAM,WAAW,GAAe,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;YAC7E,OAAO,MAAM,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAC5C,CAAC;QAED,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACvD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;gBAAE,MAAM,IAAI,UAAU,CAAC,yCAAyC,CAAC,CAAC;YACrF,oFAAoF;YACpF,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9E,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;gBAC1B,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC;gBACpB,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;gBACvC,IAAI,CAAC,OAAO;oBAAE,MAAM,IAAI,UAAU,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC;gBAClE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBAClB,OAAO,CAAC,CAAC;YACX,CAAC;YACD,MAAM,QAAQ,GAAc,EAAE,CAAC;YAC/B,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,EAAE,CAAC;gBACtC,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;gBACrC,IAAI,OAAO,KAAK,SAAS;oBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpD,CAAC;YACD,GAAG,CAAC,kBAAkB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YAChD,OAAO,CAAC,CAAC;QACX,CAAC;QAED,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,WAAW,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YAC7D,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;gBAAE,MAAM,IAAI,UAAU,CAAC,gCAAgC,CAAC,CAAC;YAC5E,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC;YACtB,OAAO,CAAC,CAAC;QACX,CAAC;QAED,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC;YAChC,OAAO,CAAC,CAAC;QACX,CAAC;QAED,8EAA8E;QAC9E,oEAAoE;QACpE,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACzD,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAClB,OAAO,CAAC,CAAC;QACX,CAAC;QAED,kFAAkF;QAClF,6EAA6E;QAC7E,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;QACjF,MAAM,GAAG,GAAe,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;QAC/D,OAAO,MAAM,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,UAAU,EAAE,CAAC;YAC5B,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACf,OAAO,CAAC,CAAC;QACX,CAAC;QACD,IAAI,CAAC,YAAY,QAAQ,EAAE,CAAC;YAC1B,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACf,OAAO,CAAC,CAAC;QACX,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC","sourcesContent":["/**\n * Verb-first dispatcher for the UPT CLI — `upt <command> [args...]`.\n *\n * Owns: top-level `help`/`version` handling, the no-args demo, unknown-verb\n * exit-2 contract, and per-command dispatch (parse -> run -> map thrown\n * UsageError/CliError to the documented exit codes). Individual commands are\n * plain data (see `command.ts`) registered via `registerCommand`; this file\n * never special-cases a command by name, so later tasks add commands without\n * touching `runCli`'s body.\n *\n * `main.ts` is the one place that imports the real `cli-api.js` barrel and\n * wires `out`/`err`/`write` to real stdio — every `Command.run` receives\n * those as an injected `CommandCtx`, never reaching for `process.*` itself,\n * which is what makes commands testable in-process against `dist/cli/*.js`.\n */\n\nimport * as api from '../cli-api.js';\nimport { UsageError, CliError } from './errors.js';\nimport { optionTokens, parseArgs } from './args.js';\nimport { packageVersion } from './version.js';\nimport { glossaryText } from './statuses.js';\nimport { listCommandNames, resolveCommand, type Command, type CommandCtx } from './command.js';\nimport { GLOBAL_FLAGS } from './flag-help.js';\nimport { renderTopLevelHelp } from './top-level-help.js';\nimport { recordInvocation, replayRecord, showRecord, type Io } from './record.js';\n// Side-effect import: registers every ported command (see commands/index.ts).\nimport './commands/index.js';\n\n// `Io` is the writer surface `runCli` needs. In production these wrap\n// `process.stdout`/`process.stderr` with exact `console.log`/`console.error`\n// semantics; tests pass a capturing stand-in as the optional second argument.\n\nfunction stdoutLine(line?: string): void {\n  process.stdout.write((line ?? '') + '\\n');\n}\n\nfunction stderrLine(line?: string): void {\n  process.stderr.write((line ?? '') + '\\n');\n}\n\nfunction stdoutRaw(s: string): void {\n  process.stdout.write(s);\n}\n\nconst defaultIo: Io = { out: stdoutLine, err: stderrLine, write: stdoutRaw };\n\n/** EX_SOFTWARE (sysexits.h): the exit code of a defect, an error `runCli` did not map. */\nconst EX_SOFTWARE = 70;\n\n/**\n * The last-resort handler `bin/upt.mjs` calls when `runCli` rethrows: a defect, since every\n * usage error and value refusal was mapped to an exit code inside `runCli`. Prints one line,\n * `upt: internal error: <message>` (the message, not the stack), and returns 70 (EX_SOFTWARE).\n * A thrown value that is not an Error, or an Error with no message, prints as its string.\n */\nexport function reportInternalError(error: unknown, io: Pick<Io, 'err'> = defaultIo): number {\n  const message = error instanceof Error && error.message !== '' ? error.message : String(error);\n  io.err(`upt: internal error: ${message}`);\n  return EX_SOFTWARE;\n}\n\nconst unknownCommandMessage = (name: string): string => `Unknown command '${name}'. See \\`upt help\\`.`;\n\nconst GLOBAL_FILE_OPTION = /^--(record|replay|show-record)(?:=(.*))?$/;\n\n/**\n * Verb-first CLI entry point. `argv` is the command + its arguments (NOT\n * `process.argv` — callers slice off the node/script prefix themselves, as\n * `bin/upt.mjs` did with `process.argv.slice(2)`).\n *\n * Leading `--record=FILE` / `--replay=FILE` / `--show-record=FILE` / `--json`\n * are global options. `--json` is moved onto the command so the command's\n * own flag spec parses it. `upt <command> --help` prints that command.\n */\nconst NO_JSON_VERBS = new Set(['help', '--help', '-h', 'version', '--version', '-v']);\n\n/** Run one `upt` invocation and return its exit code. */\nexport async function runCli(argv: string[], io: Io = defaultIo): Promise<number> {\n  const files: Partial<Record<'record' | 'replay' | 'show-record', string>> = {};\n  let json = false;\n  let i = 0;\n  try {\n    for (; i < argv.length; i++) {\n      const m = GLOBAL_FILE_OPTION.exec(argv[i]);\n      if (m) {\n        const name = m[1] as keyof typeof files;\n        if (!m[2]) throw new UsageError(`upt: '--${name}' requires '--${name}=FILE'`);\n        if (files[name] !== undefined) throw new UsageError(`upt: '--${name}' given more than once`);\n        files[name] = m[2];\n      } else if (argv[i] === '--json') {\n        if (json) throw new UsageError(`upt: '--json' given more than once`);\n        json = true;\n      } else {\n        break;\n      }\n    }\n    let rest = argv.slice(i);\n    if (json && (files.replay !== undefined || files['show-record'] !== undefined)) {\n      // `--replay` / `--show-record` consume --json themselves and take no command.\n    } else if (json) {\n      if (rest.length === 0) throw new UsageError(`upt: '--json' requires a command`);\n      const verb = rest[0]!;\n      if (NO_JSON_VERBS.has(verb)) throw new UsageError(`upt: '${verb}' does not take --json`);\n      rest = [verb, '--json', ...rest.slice(1)];\n    }\n    if (i === 0 && !json) return await dispatch(argv, io);\n    if (Object.keys(files).length > 1) {\n      throw new UsageError('upt: use one of --record, --replay and --show-record at a time');\n    }\n    if (files.record !== undefined) return await recordInvocation(files.record, rest, dispatch, io, api);\n    if (files.replay !== undefined || files['show-record'] !== undefined) {\n      if (rest.length > 0) {\n        throw new UsageError(`upt: '--${files.replay !== undefined ? 'replay' : 'show-record'}' takes no command (got '${rest[0]}')`);\n      }\n      if (files.replay !== undefined) return await replayRecord(files.replay, json, dispatch, io, api);\n      return showRecord(files['show-record']!, json, io);\n    }\n    return await dispatch(rest, io);\n  } catch (e) {\n    if (e instanceof UsageError) {\n      io.err(e.message);\n      return 2;\n    }\n    if (e instanceof CliError) {\n      io.err(e.message);\n      return 1;\n    }\n    throw e;\n  }\n}\n\nasync function dispatch(argv: string[], io: Io): Promise<number> {\n  const { out, err, write } = io;\n\n  try {\n    const [cmd, ...rest] = argv;\n\n    if (cmd === undefined) {\n      // Byte-identical to bin/upt.mjs's `case undefined` (lines 861-865): a\n      // banner line, then dispatch to the registered `explain` + `priority`\n      // commands with their historical demo arguments.\n      out('upt — bridge-inference CLI. Demo (run `upt help` for usage):');\n\n      const explainCmd = resolveCommand('explain');\n      if (!explainCmd) {\n        throw new CliError(\"upt: the demo needs the 'explain' command, which is not registered yet\");\n      }\n      const explainArgs = parseArgs('explain', ['hawking-temperature', 'mass=1.989e30'], explainCmd.flags, explainCmd.positionals);\n      const explainCtx: CommandCtx = { args: explainArgs, api, out, err, write };\n      const explainStatus = await explainCmd.run(explainCtx);\n      if (explainStatus !== 0) return explainStatus;\n\n      const priorityCmd = resolveCommand('priority');\n      if (!priorityCmd) {\n        throw new CliError(\"upt: the demo needs the 'priority' command, which is not registered yet\");\n      }\n      const priorityArgs = parseArgs('priority', [], priorityCmd.flags, priorityCmd.positionals);\n      const priorityCtx: CommandCtx = { args: priorityArgs, api, out, err, write };\n      return await priorityCmd.run(priorityCtx);\n    }\n\n    if (cmd === 'help' || cmd === '--help' || cmd === '-h') {\n      if (rest.length > 1) throw new UsageError('upt help takes at most one command name');\n      // `upt help -h` and `upt help --help` ask for the command list, as `upt help` does.\n      const target = rest[0] === '--help' || rest[0] === '-h' ? undefined : rest[0];\n      if (target === 'statuses') {\n        out(glossaryText());\n        return 0;\n      }\n      if (target !== undefined) {\n        const command = resolveCommand(target);\n        if (!command) throw new UsageError(unknownCommandMessage(target));\n        out(command.help);\n        return 0;\n      }\n      const commands: Command[] = [];\n      for (const name of listCommandNames()) {\n        const command = resolveCommand(name);\n        if (command !== undefined) commands.push(command);\n      }\n      out(renderTopLevelHelp(commands, GLOBAL_FLAGS));\n      return 0;\n    }\n\n    if (cmd === 'version' || cmd === '--version' || cmd === '-v') {\n      if (rest.length > 0) throw new UsageError('upt version takes no arguments');\n      out(packageVersion());\n      return 0;\n    }\n\n    const command = resolveCommand(cmd);\n    if (!command) {\n      err(unknownCommandMessage(cmd));\n      return 2;\n    }\n\n    // `-h` is `--help` on every command, as the global help says. A token after a\n    // bare `--` is a positional, so it is not read as the help request.\n    const options = optionTokens(rest);\n    if (options.includes('--help') || options.includes('-h')) {\n      out(command.help);\n      return 0;\n    }\n\n    // The parser refuses a positional past the command's declared arity (none when it\n    // declares none), so a token the command would not read never reaches `run`.\n    const parsed = parseArgs(command.name, rest, command.flags, command.positionals);\n    const ctx: CommandCtx = { args: parsed, api, out, err, write };\n    return await command.run(ctx);\n  } catch (e) {\n    if (e instanceof UsageError) {\n      err(e.message);\n      return 2;\n    }\n    if (e instanceof CliError) {\n      err(e.message);\n      return 1;\n    }\n    throw e;\n  }\n}\n"]}

package/dist/cli/output.d.ts

@@ -58,6 +58,14 @@ export interface JsonEnvelope {
      */
     compositionRecovery?: unknown;
 }
+/**
+ * Make a value JSON-safe. NaN and infinite numbers become strings.
+ * A function is omitted from an object and becomes null in an array.
+ */
 export declare function sanitize(v: unknown): unknown;
+/**
+ * Write the `--json` envelope of one command to `write`.
+ * The status definitions of the command are added when it has any.
+ */
 export declare function emitJson(env: JsonEnvelope, write?: (s: string) => void): void;
 //# sourceMappingURL=output.d.ts.map

package/dist/cli/output.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"output.d.ts","sourceRoot":"","sources":["../../src/cli/output.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAE,UAAU,EAAE,KAAK,QAAQ,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE;QAAE,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC;QAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CACtE;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAC3B,OAAO,EAAE,MAAM,EACf,CAAC,EAAE,UAAU,GAAG,QAAQ,EACxB,KAAK,GAAE,CAAC,CAAC,EAAE,MAAM,KAAK,IAAqC,GAC1D,CAAC,GAAG,CAAC,CAQP;AAED,qFAAqF;AACrF,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB;;;OAGG;IACH,MAAM,CAAC,EAAE,SAAS,GAAG,WAAW,GAAG,MAAM,GAAG,OAAO,CAAC;IACpD,4GAA4G;IAC5G,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,yFAAyF;IACzF,iBAAiB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C,gHAAgH;IAChH,qBAAqB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/C,4GAA4G;IAC5G,wBAAwB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAClE;;;OAGG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACrC,MAAM,EAAE,OAAO,CAAC;IAChB;;;OAGG;IACH,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC/B;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,CA2C5C;AAED,wBAAgB,QAAQ,CAAC,GAAG,EAAE,YAAY,EAAE,KAAK,GAAE,CAAC,CAAC,EAAE,MAAM,KAAK,IAAqC,GAAG,IAAI,CAK7G"}
+{"version":3,"file":"output.d.ts","sourceRoot":"","sources":["../../src/cli/output.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAE,UAAU,EAAE,KAAK,QAAQ,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE;QAAE,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC;QAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CACtE;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAC3B,OAAO,EAAE,MAAM,EACf,CAAC,EAAE,UAAU,GAAG,QAAQ,EACxB,KAAK,GAAE,CAAC,CAAC,EAAE,MAAM,KAAK,IAAqC,GAC1D,CAAC,GAAG,CAAC,CAQP;AAED,qFAAqF;AACrF,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB;;;OAGG;IACH,MAAM,CAAC,EAAE,SAAS,GAAG,WAAW,GAAG,MAAM,GAAG,OAAO,CAAC;IACpD,4GAA4G;IAC5G,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,yFAAyF;IACzF,iBAAiB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C,gHAAgH;IAChH,qBAAqB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/C,4GAA4G;IAC5G,wBAAwB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAClE;;;OAGG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACrC,MAAM,EAAE,OAAO,CAAC;IAChB;;;OAGG;IACH,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC/B;AAED;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,CA2C5C;AAED;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,GAAG,EAAE,YAAY,EAAE,KAAK,GAAE,CAAC,CAAC,EAAE,MAAM,KAAK,IAAqC,GAAG,IAAI,CAK7G"}

package/dist/cli/output.js

@@ -23,6 +23,10 @@ export function emitJsonError(command, e, write = (s) => process.stdout.write(s)
     write(JSON.stringify(envelope, null, 2) + '\n');
     return envelope.error.exitCode;
 }
+/**
+ * Make a value JSON-safe. NaN and infinite numbers become strings.
+ * A function is omitted from an object and becomes null in an array.
+ */
 export function sanitize(v) {
     if (typeof v === 'number') {
         if (Number.isNaN(v))
@@ -67,6 +71,10 @@ export function sanitize(v) {
     }
     return v;
 }
+/**
+ * Write the `--json` envelope of one command to `write`.
+ * The status definitions of the command are added when it has any.
+ */
 export function emitJson(env, write = (s) => process.stdout.write(s)) {
     const definitions = definitionsFor(env.command);
     const { result, ...head } = env;

package/dist/cli/output.js.map

@@ -1 +1 @@
-{"version":3,"file":"output.js","sourceRoot":"","sources":["../../src/cli/output.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAiB,MAAM,aAAa,CAAC;AAaxD;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAC3B,OAAe,EACf,CAAwB,EACxB,KAAK,GAAwB,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAE3D,MAAM,KAAK,GAAG,CAAC,YAAY,UAAU,CAAC;IACtC,MAAM,QAAQ,GAAsB;QAClC,OAAO;QACP,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE;KACxF,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IAChD,OAAO,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC;AACjC,CAAC;AAiCD,MAAM,UAAU,QAAQ,CAAC,CAAU;IACjC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAClC,IAAI,CAAC,KAAK,QAAQ;YAAE,OAAO,UAAU,CAAC;QACtC,IAAI,CAAC,KAAK,CAAC,QAAQ;YAAE,OAAO,WAAW,CAAC;QACxC,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,OAAO,CAAC,KAAK,UAAU,EAAE,CAAC;QAC5B,wEAAwE;QACxE,uEAAuE;QACvE,6CAA6C;QAC7C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,CAAC;YACrB,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YACjC,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;QACrB,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,IAAI,OAAO,KAAK,KAAK,UAAU;gBAAE,SAAS;YAC1C,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QACrC,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QACxC,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7C,IAAI,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,UAAU;gBAAE,SAAS;YACjE,GAAG,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC7B,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,GAAiB,EAAE,KAAK,GAAwB,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IACrG,MAAM,WAAW,GAAG,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,GAAG,GAAG,CAAC;IAChC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;IAC1F,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;AACxD,CAAC","sourcesContent":["/**\n * JSON output envelope for the UPT CLI.\n *\n * Physics results genuinely contain non-finite numbers (e.g. `anchoring:\n * Infinity` in the priority board). `JSON.stringify` silently turns those\n * into `null`, which is indistinguishable from an absent value. `sanitize`\n * deep-copies a value into a JSON-safe shape first, encoding NaN/Infinity\n * as explicit strings so round-tripping through JSON preserves them.\n */\n\nimport { definitionsFor } from './statuses.js';\nimport { UsageError, type CliError } from './errors.js';\nimport type { AnchorScope } from './graphs.js';\n\n/**\n * The `--json` form of a refusal: no `result`; the error's kind (`usage` for a malformed\n * invocation, `value` for a value the command refuses), the exit code the process returns,\n * and the message the text mode prints on stderr.\n */\nexport interface JsonErrorEnvelope {\n  command: string;\n  error: { kind: 'usage' | 'value'; exitCode: 1 | 2; message: string };\n}\n\n/**\n * Write a refusal as a JSON envelope on stdout and return the exit code it stands for: 2 for a\n * `UsageError`, 1 for a `CliError`. A command that answers in JSON calls this instead of\n * letting the dispatcher print the message on stderr, so a JSON consumer reads one stream.\n */\nexport function emitJsonError(\n  command: string,\n  e: UsageError | CliError,\n  write: (s: string) => void = (s) => process.stdout.write(s),\n): 1 | 2 {\n  const usage = e instanceof UsageError;\n  const envelope: JsonErrorEnvelope = {\n    command,\n    error: { kind: usage ? 'usage' : 'value', exitCode: usage ? 2 : 1, message: e.message },\n  };\n  write(JSON.stringify(envelope, null, 2) + '\\n');\n  return envelope.error.exitCode;\n}\n\n/** The shape of every `--json` output: the command, what it read, and its result. */\nexport interface JsonEnvelope {\n  command: string;\n  /**\n   * The graph a command read. `'atlas'` is `upt map --route` / `--family`,\n   * which read the atlas families rather than an equation graph.\n   */\n  source?: 'catalog' | 'canonical' | 'both' | 'atlas';\n  /** What the result is anchored to (audit I3): the discovery ground truth, the established core, or both. */\n  anchor?: AnchorScope;\n  options?: Record<string, unknown>;\n  epistemics?: string;\n  /** `upt confront` — count of confrontations by rigor tier (stringent/moderate/loose). */\n  rigorDistribution?: Record<string, number>;\n  /** `upt confront` — count of confrontations by statistical object (σ-test, limit, consistency ratio, table). */\n  statisticDistribution?: Record<string, number>;\n  /** `upt confront` — preprocessing and independence counts, recorded vs not recorded, each counted apart. */\n  dataHandlingDistribution?: Record<string, Record<string, number>>;\n  /**\n   * The meaning of each status the command can emit, from STATUS_GLOSSARY (audit I13). `emitJson`\n   * fills it in; a command never sets it.\n   */\n  definitions?: Record<string, string>;\n  result: unknown;\n  /**\n   * `upt recover` — two-edge symbolic chains examined against the canonical\n   * registry, and the structural matches. A chain is never restates-canonical.\n   */\n  compositionRecovery?: unknown;\n}\n\nexport function sanitize(v: unknown): unknown {\n  if (typeof v === 'number') {\n    if (Number.isNaN(v)) return 'NaN';\n    if (v === Infinity) return 'Infinity';\n    if (v === -Infinity) return '-Infinity';\n    return v;\n  }\n\n  if (typeof v === 'function') {\n    // Caller decides how to represent \"no value here\" (omit vs. null) based\n    // on context (object key vs. array slot); signal via undefined and let\n    // the array/object branches below handle it.\n    return undefined;\n  }\n\n  if (Array.isArray(v)) {\n    const out: unknown[] = [];\n    for (const item of v) {\n      const sanitized = sanitize(item);\n      out.push(typeof item === 'function' ? null : sanitized);\n    }\n    return out;\n  }\n\n  if (v instanceof Map) {\n    const out: Record<string, unknown> = {};\n    for (const [key, value] of v) {\n      if (typeof value === 'function') continue;\n      out[String(key)] = sanitize(value);\n    }\n    return out;\n  }\n\n  if (v !== null && typeof v === 'object') {\n    const out: Record<string, unknown> = {};\n    for (const [key, value] of Object.entries(v)) {\n      if (value === undefined || typeof value === 'function') continue;\n      out[key] = sanitize(value);\n    }\n    return out;\n  }\n\n  return v;\n}\n\nexport function emitJson(env: JsonEnvelope, write: (s: string) => void = (s) => process.stdout.write(s)): void {\n  const definitions = definitionsFor(env.command);\n  const { result, ...head } = env;\n  const full = Object.keys(definitions).length > 0 ? { ...head, definitions, result } : env;\n  write(JSON.stringify(sanitize(full), null, 2) + '\\n');\n}\n"]}
+{"version":3,"file":"output.js","sourceRoot":"","sources":["../../src/cli/output.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAiB,MAAM,aAAa,CAAC;AAaxD;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAC3B,OAAe,EACf,CAAwB,EACxB,KAAK,GAAwB,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAE3D,MAAM,KAAK,GAAG,CAAC,YAAY,UAAU,CAAC;IACtC,MAAM,QAAQ,GAAsB;QAClC,OAAO;QACP,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE;KACxF,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IAChD,OAAO,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC;AACjC,CAAC;AAiCD;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAC,CAAU;IACjC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAClC,IAAI,CAAC,KAAK,QAAQ;YAAE,OAAO,UAAU,CAAC;QACtC,IAAI,CAAC,KAAK,CAAC,QAAQ;YAAE,OAAO,WAAW,CAAC;QACxC,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,OAAO,CAAC,KAAK,UAAU,EAAE,CAAC;QAC5B,wEAAwE;QACxE,uEAAuE;QACvE,6CAA6C;QAC7C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,CAAC;YACrB,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YACjC,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;QACrB,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,IAAI,OAAO,KAAK,KAAK,UAAU;gBAAE,SAAS;YAC1C,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QACrC,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QACxC,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7C,IAAI,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,UAAU;gBAAE,SAAS;YACjE,GAAG,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC7B,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAC,GAAiB,EAAE,KAAK,GAAwB,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IACrG,MAAM,WAAW,GAAG,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,GAAG,GAAG,CAAC;IAChC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;IAC1F,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;AACxD,CAAC","sourcesContent":["/**\n * JSON output envelope for the UPT CLI.\n *\n * Physics results genuinely contain non-finite numbers (e.g. `anchoring:\n * Infinity` in the priority board). `JSON.stringify` silently turns those\n * into `null`, which is indistinguishable from an absent value. `sanitize`\n * deep-copies a value into a JSON-safe shape first, encoding NaN/Infinity\n * as explicit strings so round-tripping through JSON preserves them.\n */\n\nimport { definitionsFor } from './statuses.js';\nimport { UsageError, type CliError } from './errors.js';\nimport type { AnchorScope } from './graphs.js';\n\n/**\n * The `--json` form of a refusal: no `result`; the error's kind (`usage` for a malformed\n * invocation, `value` for a value the command refuses), the exit code the process returns,\n * and the message the text mode prints on stderr.\n */\nexport interface JsonErrorEnvelope {\n  command: string;\n  error: { kind: 'usage' | 'value'; exitCode: 1 | 2; message: string };\n}\n\n/**\n * Write a refusal as a JSON envelope on stdout and return the exit code it stands for: 2 for a\n * `UsageError`, 1 for a `CliError`. A command that answers in JSON calls this instead of\n * letting the dispatcher print the message on stderr, so a JSON consumer reads one stream.\n */\nexport function emitJsonError(\n  command: string,\n  e: UsageError | CliError,\n  write: (s: string) => void = (s) => process.stdout.write(s),\n): 1 | 2 {\n  const usage = e instanceof UsageError;\n  const envelope: JsonErrorEnvelope = {\n    command,\n    error: { kind: usage ? 'usage' : 'value', exitCode: usage ? 2 : 1, message: e.message },\n  };\n  write(JSON.stringify(envelope, null, 2) + '\\n');\n  return envelope.error.exitCode;\n}\n\n/** The shape of every `--json` output: the command, what it read, and its result. */\nexport interface JsonEnvelope {\n  command: string;\n  /**\n   * The graph a command read. `'atlas'` is `upt map --route` / `--family`,\n   * which read the atlas families rather than an equation graph.\n   */\n  source?: 'catalog' | 'canonical' | 'both' | 'atlas';\n  /** What the result is anchored to (audit I3): the discovery ground truth, the established core, or both. */\n  anchor?: AnchorScope;\n  options?: Record<string, unknown>;\n  epistemics?: string;\n  /** `upt confront` — count of confrontations by rigor tier (stringent/moderate/loose). */\n  rigorDistribution?: Record<string, number>;\n  /** `upt confront` — count of confrontations by statistical object (σ-test, limit, consistency ratio, table). */\n  statisticDistribution?: Record<string, number>;\n  /** `upt confront` — preprocessing and independence counts, recorded vs not recorded, each counted apart. */\n  dataHandlingDistribution?: Record<string, Record<string, number>>;\n  /**\n   * The meaning of each status the command can emit, from STATUS_GLOSSARY (audit I13). `emitJson`\n   * fills it in; a command never sets it.\n   */\n  definitions?: Record<string, string>;\n  result: unknown;\n  /**\n   * `upt recover` — two-edge symbolic chains examined against the canonical\n   * registry, and the structural matches. A chain is never restates-canonical.\n   */\n  compositionRecovery?: unknown;\n}\n\n/**\n * Make a value JSON-safe. NaN and infinite numbers become strings.\n * A function is omitted from an object and becomes null in an array.\n */\nexport function sanitize(v: unknown): unknown {\n  if (typeof v === 'number') {\n    if (Number.isNaN(v)) return 'NaN';\n    if (v === Infinity) return 'Infinity';\n    if (v === -Infinity) return '-Infinity';\n    return v;\n  }\n\n  if (typeof v === 'function') {\n    // Caller decides how to represent \"no value here\" (omit vs. null) based\n    // on context (object key vs. array slot); signal via undefined and let\n    // the array/object branches below handle it.\n    return undefined;\n  }\n\n  if (Array.isArray(v)) {\n    const out: unknown[] = [];\n    for (const item of v) {\n      const sanitized = sanitize(item);\n      out.push(typeof item === 'function' ? null : sanitized);\n    }\n    return out;\n  }\n\n  if (v instanceof Map) {\n    const out: Record<string, unknown> = {};\n    for (const [key, value] of v) {\n      if (typeof value === 'function') continue;\n      out[String(key)] = sanitize(value);\n    }\n    return out;\n  }\n\n  if (v !== null && typeof v === 'object') {\n    const out: Record<string, unknown> = {};\n    for (const [key, value] of Object.entries(v)) {\n      if (value === undefined || typeof value === 'function') continue;\n      out[key] = sanitize(value);\n    }\n    return out;\n  }\n\n  return v;\n}\n\n/**\n * Write the `--json` envelope of one command to `write`.\n * The status definitions of the command are added when it has any.\n */\nexport function emitJson(env: JsonEnvelope, write: (s: string) => void = (s) => process.stdout.write(s)): void {\n  const definitions = definitionsFor(env.command);\n  const { result, ...head } = env;\n  const full = Object.keys(definitions).length > 0 ? { ...head, definitions, result } : env;\n  write(JSON.stringify(sanitize(full), null, 2) + '\\n');\n}\n"]}

package/dist/cli/statuses.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"statuses.d.ts","sourceRoot":"","sources":["../../src/cli/statuses.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,MAAM,WAAW,gBAAgB;IAC/B,0DAA0D;IAC1D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,0DAA0D;IAC1D,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,gEAAgE;IAChE,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,eAAO,MAAM,eAAe,EAAE,SAAS,gBAAgB,EAwRtD,CAAC;AAEF,oFAAoF;AACpF,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAItE;AAED,2GAA2G;AAC3G,wBAAgB,YAAY,IAAI,MAAM,CAarC"}
+{"version":3,"file":"statuses.d.ts","sourceRoot":"","sources":["../../src/cli/statuses.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,MAAM,WAAW,gBAAgB;IAC/B,0DAA0D;IAC1D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,0DAA0D;IAC1D,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,gEAAgE;IAChE,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,eAAO,MAAM,eAAe,EAAE,SAAS,gBAAgB,EAmStD,CAAC;AAEF,oFAAoF;AACpF,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAItE;AAED,2GAA2G;AAC3G,wBAAgB,YAAY,IAAI,MAAM,CAarC"}

package/dist/cli/statuses.js

@@ -182,8 +182,18 @@ export const STATUS_GLOSSARY = [
     {
         key: 'promising',
         words: ['PROMISING', 'promising'],
-        meaning: 'an identification a ≡ b that is numerically consistent, connects disconnected physics and unlocks at least ' +
-            'one quantity: worth a physicist\'s review, not evidence that it holds',
+        meaning: 'an identification a ≡ b that is numerically consistent, connects disconnected physics, unlocks at least ' +
+            'one quantity, and survived a magnitude comparison that could have failed: worth a physicist\'s review, not ' +
+            'evidence that it holds',
+        commands: ['discover'],
+    },
+    {
+        key: 'promising-unchecked',
+        // `UNCHECKED` alone is `unknown` in the other commands; in `discover` it is this tier's heading word.
+        words: ['promising-unchecked', 'PROMISING, MAGNITUDE UNCHECKED', 'UNCHECKED'],
+        meaning: 'the same structure as promising (consistent, connects disconnected physics, unlocks at least one quantity), ' +
+            'but the magnitude falsifier never tested it: an endpoint has no representative magnitude, or the graph fixes ' +
+            'the ratio at every anchor so the comparison could not fail. Counted apart from promising and never added to it',
         commands: ['discover'],
     },
     {

package/dist/cli/statuses.js.map

@@ -1 +1 @@
-{"version":3,"file":"statuses.js","sourceRoot":"","sources":["../../src/cli/statuses.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAYH,MAAM,CAAC,MAAM,eAAe,GAAgC;IAC1D;QACE,GAAG,EAAE,OAAO;QACZ,KAAK,EAAE,CAAC,OAAO,CAAC;QAChB,OAAO,EACL,iGAAiG;YACjG,4GAA4G;QAC9G,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC7B,OAAO,EACL,kGAAkG;YAClG,sCAAsC;QACxC,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC;KAC7C;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,CAAC;QACvD,OAAO,EACL,qGAAqG;YACrG,2EAA2E;QAC7E,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC;KAChD;IACD;QACE,GAAG,EAAE,UAAU;QACf,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;QAC/B,OAAO,EACL,uGAAuG;YACvG,2BAA2B;QAC7B,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC;KACzC;IACD;QACE,GAAG,EAAE,UAAU;QACf,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;QAC/B,OAAO,EACL,yGAAyG;YACzG,yBAAyB;QAC3B,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,YAAY;QACjB,KAAK,EAAE,CAAC,YAAY,EAAE,YAAY,CAAC;QACnC,OAAO,EACL,yGAAyG;QAC3G,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,cAAc;QACnB,KAAK,EAAE,CAAC,cAAc,EAAE,cAAc,CAAC;QACvC,OAAO,EACL,wGAAwG;YACxG,gFAAgF;QAClF,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC7B,OAAO,EACL,uGAAuG;YACvG,wFAAwF;QAC1F,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,WAAW;QAChB,KAAK,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC;QACjC,OAAO,EAAE,kHAAkH;QAC3H,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,oBAAoB;QACzB,KAAK,EAAE,CAAC,oBAAoB,EAAE,UAAU,EAAE,oBAAoB,CAAC;QAC/D,OAAO,EACL,2GAA2G;YAC3G,4GAA4G;YAC5G,6CAA6C;QAC/C,QAAQ,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC;KAC1B;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,KAAK,EAAE,CAAC,mBAAmB,CAAC;QAC5B,OAAO,EACL,wGAAwG;YACxG,gEAAgE;QAClE,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,iBAAiB;QACtB,KAAK,EAAE,CAAC,iBAAiB,CAAC;QAC1B,OAAO,EACL,wGAAwG;YACxG,iCAAiC;QACnC,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,eAAe;QACpB,KAAK,EAAE,CAAC,eAAe,CAAC;QACxB,OAAO,EACL,2GAA2G;YAC3G,qBAAqB;QACvB,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,uBAAuB;QAC5B,KAAK,EAAE,CAAC,uBAAuB,CAAC;QAChC,OAAO,EACL,wGAAwG;YACxG,mEAAmE;QACrE,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,uBAAuB;QAC5B,KAAK,EAAE,CAAC,uBAAuB,CAAC;QAChC,OAAO,EACL,mGAAmG;QACrG,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,KAAK,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;QACzB,OAAO,EACL,wGAAwG;YACxG,sEAAsE;QACxE,QAAQ,EAAE,CAAC,OAAO,CAAC;KACpB;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,KAAK,EAAE,CAAC,mBAAmB,CAAC;QAC5B,OAAO,EACL,2GAA2G;YAC3G,8GAA8G;QAChH,QAAQ,EAAE,CAAC,OAAO,CAAC;KACpB;IACD;QACE,GAAG,EAAE,gBAAgB;QACrB,KAAK,EAAE,CAAC,gBAAgB,CAAC;QACzB,OAAO,EACL,yGAAyG;YACzG,kGAAkG;QACpG,QAAQ,EAAE,CAAC,OAAO,CAAC;KACpB;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,KAAK,EAAE,CAAC,OAAO,CAAC;QAChB,OAAO,EACL,wGAAwG;YACxG,wGAAwG;YACxG,oFAAoF;QACtF,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,UAAU;QACf,KAAK,EAAE,CAAC,UAAU,CAAC;QACnB,OAAO,EACL,yGAAyG;YACzG,uGAAuG;YACvG,uGAAuG;QACzG,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,KAAK,EAAE,CAAC,mBAAmB,CAAC;QAC5B,OAAO,EACL,+GAA+G;QACjH,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,cAAc;QACnB,KAAK,EAAE,CAAC,cAAc,CAAC;QACvB,OAAO,EAAE,mEAAmE;QAC5E,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,CAAC;QAClB,OAAO,EAAE,8EAA8E;QACvF,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,UAAU;QACf,KAAK,EAAE,CAAC,UAAU,CAAC;QACnB,OAAO,EACL,0GAA0G;YAC1G,2CAA2C;QAC7C,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,aAAa;QAClB,KAAK,EAAE,CAAC,aAAa,CAAC;QACtB,OAAO,EACL,4GAA4G;YAC5G,uFAAuF;QACzF,QAAQ,EAAE,CAAC,SAAS,CAAC;KACtB;IACD;QACE,GAAG,EAAE,WAAW;QAChB,KAAK,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC;QACjC,OAAO,EACL,6GAA6G;YAC7G,uEAAuE;QACzE,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,KAAK,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;QACzB,OAAO,EAAE,kGAAkG;QAC3G,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,eAAe;QACpB,KAAK,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC;QACzC,OAAO,EAAE,oGAAoG;QAC7G,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,iBAAiB;QACtB,KAAK,EAAE,CAAC,iBAAiB,CAAC;QAC1B,OAAO,EACL,0GAA0G;YAC1G,2BAA2B;QAC7B,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,YAAY;QACjB,KAAK,EAAE,CAAC,YAAY,CAAC;QACrB,OAAO,EACL,sGAAsG;YACtG,+CAA+C;QACjD,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,YAAY;QACjB,KAAK,EAAE,CAAC,YAAY,CAAC;QACrB,OAAO,EACL,wGAAwG;YACxG,4FAA4F;QAC9F,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;QAC5B,OAAO,EACL,0GAA0G;YAC1G,mHAAmH;QACrH,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB;IACD;QACE,GAAG,EAAE,gBAAgB;QACrB,KAAK,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;QAC3C,OAAO,EACL,4GAA4G;YAC5G,0GAA0G;YAC1G,wGAAwG;YACxG,qEAAqE;QACvE,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,CAAC;QAClB,OAAO,EAAE,qDAAqD;QAC9D,QAAQ,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;KACnC;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC7B,OAAO,EACL,sGAAsG;YACtG,6DAA6D;QAC/D,QAAQ,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;KACnC;IACD;QACE,GAAG,EAAE,YAAY;QACjB,KAAK,EAAE,CAAC,YAAY,CAAC;QACrB,OAAO,EACL,yGAAyG;YACzG,uGAAuG;YACvG,0BAA0B;QAC5B,QAAQ,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;KACnC;CACF,CAAC;AAEF,oFAAoF;AACpF,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,eAAe;QAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;IAC1F,OAAO,GAAG,CAAC;AACb,CAAC;AAED,2GAA2G;AAC3G,MAAM,UAAU,YAAY;IAC1B,MAAM,KAAK,GAAG;QACZ,yDAAyD;QACzD,EAAE;QACF,mGAAmG;QACnG,uEAAuE;QACvE,EAAE;KACH,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClH,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC","sourcesContent":["/**\n * The status words the CLI prints, defined once (audit I13).\n *\n * `upt help statuses` prints this table, and every `--json` envelope carries the definitions of the\n * statuses its command can emit (`emitJson` adds them from here, so a command cannot omit them and no\n * command keeps a private copy). A status a command prints but this table does not assign to it is a\n * defect, which `tests/cli/statuses.test.ts` looks for in the commands' own output.\n */\n\nexport interface StatusDefinition {\n  /** The key under `definitions` in a `--json` envelope. */\n  readonly key: string;\n  /** The words as the commands print them, text or JSON. */\n  readonly words: readonly string[];\n  readonly meaning: string;\n  /** The commands (envelope `command` names) that can emit it. */\n  readonly commands: readonly string[];\n}\n\nexport const STATUS_GLOSSARY: readonly StatusDefinition[] = [\n  {\n    key: 'valid',\n    words: ['valid'],\n    meaning:\n      'every machine inequality the record states was evaluated at the point and holds. Only a record ' +\n      'that states at least one inequality can be valid; its prose premises are listed apart and were not checked',\n    commands: ['regime'],\n  },\n  {\n    key: 'vacuous',\n    words: ['VACUOUS', 'vacuous'],\n    meaning:\n      'the record states no machine inequality, so nothing was evaluated: not a pass, and not evidence ' +\n      'that the record applies at the point',\n    commands: ['regime', 'path', 'atlas', 'map'],\n  },\n  {\n    key: 'unknown',\n    words: ['UNKNOWN', 'unknown', 'UNCHECKED', 'unchecked'],\n    meaning:\n      'a value the check needs was not supplied (or a search stopped at its budget), so the check did not ' +\n      'run: a failure to confirm, never a pass and never a violation. It exits 0',\n    commands: ['regime', 'path', 'evaluate', 'map'],\n  },\n  {\n    key: 'violated',\n    words: ['VIOLATED', 'violated'],\n    meaning:\n      'a machine inequality (a regime, horizon or validity condition) was evaluated at the point and fails; ' +\n      'no bound is claimed there',\n    commands: ['regime', 'path', 'evaluate'],\n  },\n  {\n    key: 'adequate',\n    words: ['ADEQUATE', 'adequate'],\n    meaning:\n      'every bound on the path is claimed at the point and its error, in the norm the tolerance is stated in, ' +\n      'is within the tolerance',\n    commands: ['path'],\n  },\n  {\n    key: 'inadequate',\n    words: ['INADEQUATE', 'inadequate'],\n    meaning:\n      'the point is outside a regime or past a horizon on the path, or the error exceeds the tolerance; exit 3',\n    commands: ['path'],\n  },\n  {\n    key: 'undetermined',\n    words: ['UNDETERMINED', 'undetermined'],\n    meaning:\n      'the point does not settle adequacy: a value is missing, the bound is in another norm with no declared ' +\n      'translation, or an upper bound is past its horizon. It is not shown inadequate',\n    commands: ['path'],\n  },\n  {\n    key: 'neither',\n    words: ['NEITHER', 'neither'],\n    meaning:\n      'in a route-coverage grid, no encoded route claims a bound at this point: the parent model is the one ' +\n      'to use there and no reduced-model number is given. It does not say the models disagree',\n    commands: ['path'],\n  },\n  {\n    key: 'unsettled',\n    words: ['UNSETTLED', 'unsettled'],\n    meaning: 'in a route-coverage grid, a coordinate or t was not supplied, so whether a route covers the point is not settled',\n    commands: ['path'],\n  },\n  {\n    key: 'no-composite-claim',\n    words: ['no composite claim', 'no-claim', 'no-composite-claim'],\n    meaning:\n      'the composition table yields no relation for two steps of the route (a silent cell). The route claims no ' +\n      'error and exits 0. A missing Lipschitz constant, an undeclared norm and an unmapped cross-family norm are ' +\n      'other refusals, counted apart from this one',\n    commands: ['path', 'map'],\n  },\n  {\n    key: 'missing-lipschitz',\n    words: ['missing-lipschitz'],\n    meaning:\n      'a step that is not last states no Lipschitz constant, so the error after it is unbounded. No bound is ' +\n      'claimed. It exits 0. It is not a silent composition-table cell',\n    commands: ['path'],\n  },\n  {\n    key: 'norm-not-stated',\n    words: ['norm-not-stated'],\n    meaning:\n      'an exact step declares no norm transport for the running norm and the direction the route crosses it. ' +\n      'No bound is claimed. It exits 0',\n    commands: ['path'],\n  },\n  {\n    key: 'norm-mismatch',\n    words: ['norm-mismatch'],\n    meaning:\n      'two stated norms on one route are not the same norm, and no transport maps one to the other. No bound is ' +\n      'claimed. It exits 0',\n    commands: ['path'],\n  },\n  {\n    key: 'cross-family-unmapped',\n    words: ['cross-family-unmapped'],\n    meaning:\n      'across model families a matching norm name is not a transport. No witnessed NormTransport carries the ' +\n      'bound, so none is claimed. It exits 0. It is not a violated check',\n    commands: ['path'],\n  },\n  {\n    key: 'uniformity-unanalysed',\n    words: ['uniformity-unanalysed'],\n    meaning:\n      'a bound on the route does not state whether its error is uniform. No bound is claimed. It exits 0',\n    commands: ['path'],\n  },\n  {\n    key: 'decoy',\n    words: ['DECOY', 'decoy'],\n    meaning:\n      'a set of constants closes the dimensions, but its monomial does not reproduce the evaluator: a failed ' +\n      'dimensional reconstruction, not a physical refutation of the formula',\n    commands: ['audit'],\n  },\n  {\n    key: 'coefficient-unset',\n    words: ['COEFFICIENT UNSET'],\n    meaning:\n      'the entry is dimensional and no sourced prefactor multiplies the monomial. The evaluator\\'s leading 1 is ' +\n      'that absence, not a recovered constant. It is not a failed reconstruction and not a free dimensionless group',\n    commands: ['audit'],\n  },\n  {\n    key: 'not-a-monomial',\n    words: ['NOT A MONOMIAL'],\n    meaning:\n      'the encoded formula adds dimensionful terms, so it is not a proportionality. A monomial reconstruction ' +\n      'does not apply. This is not a failed reconstruction of a monomial, and not a physical refutation',\n    commands: ['audit'],\n  },\n  {\n    key: 'adjudicated-decoy',\n    words: ['decoy'],\n    meaning:\n      'a recorded adjudication of the identification a ≡ b found a dimensional coincidence with no mechanism ' +\n      '(trivial and definitional identifications included). Folded out of the PROMISING list by default. Not ' +\n      'the DECOY of `upt audit`, which is a failed dimensional reconstruction of a bridge',\n    commands: ['discover'],\n  },\n  {\n    key: 'entailed',\n    words: ['entailed'],\n    meaning:\n      'real physics that the canonical L-layer already carries, so not a new link. As a recorded adjudication ' +\n      'verdict it folds the identification out of the PROMISING list by default; as a consequence signal it ' +\n      'means the derived monomial has the same normal form, target and governing set as a canonical equation',\n    commands: ['discover'],\n  },\n  {\n    key: 'novel-consequence',\n    words: ['novel-consequence'],\n    meaning:\n      'the derived monomial consequence matches no canonical equation: unadjudicated, and not evidence that it holds',\n    commands: ['discover'],\n  },\n  {\n    key: 'inconclusive',\n    words: ['inconclusive'],\n    meaning: 'no monomial consequence could be derived, so nothing was compared',\n    commands: ['discover'],\n  },\n  {\n    key: 'genuine',\n    words: ['genuine'],\n    meaning: 'a recorded adjudication found the identification real physics and a new link',\n    commands: ['discover'],\n  },\n  {\n    key: 'deferred',\n    words: ['deferred'],\n    meaning:\n      'the identification was reviewed and consciously parked. An identification with no recorded adjudication ' +\n      'was never reviewed, which is not the same',\n    commands: ['discover'],\n  },\n  {\n    key: 'not-covered',\n    words: ['NOT COVERED'],\n    meaning:\n      'the name is not a quantity of the selected graph (--source), so there is nothing to evaluate; the nearest ' +\n      'names and what `upt search` finds are listed. It is not a statement about the physics',\n    commands: ['explain'],\n  },\n  {\n    key: 'promising',\n    words: ['PROMISING', 'promising'],\n    meaning:\n      'an identification a ≡ b that is numerically consistent, connects disconnected physics and unlocks at least ' +\n      'one quantity: worth a physicist\\'s review, not evidence that it holds',\n    commands: ['discover'],\n  },\n  {\n    key: 'inert',\n    words: ['INERT', 'inert'],\n    meaning: 'consistent but idle: a dimensional coincidence that connects nothing new and unlocks no quantity',\n    commands: ['discover'],\n  },\n  {\n    key: 'contradictory',\n    words: ['CONTRADICTORY', 'contradictory'],\n    meaning: 'the identification breaks the numerical consistency of the graph: a falsification within the graph',\n    commands: ['discover'],\n  },\n  {\n    key: 'magnitude-clash',\n    words: ['magnitude-clash'],\n    meaning:\n      'the two quantities\\' representative values differ by more than the threshold of orders of magnitude: an ' +\n      'independent falsification',\n    commands: ['discover'],\n  },\n  {\n    key: 'axis-clash',\n    words: ['axis-clash'],\n    meaning:\n      'the identification\\'s stated scale or force regime labels disagree: a prior from catalog labels, no ' +\n      'computation, never counted as a falsification',\n    commands: ['discover'],\n  },\n  {\n    key: 'reproduced',\n    words: ['reproduced'],\n    meaning:\n      'the replayed run gave the recorded exit code, stdout and stderr, byte for byte, and any file it wrote ' +\n      '(--out, written to a temporary path, never over the recorded one) has the recorded SHA-256',\n    commands: ['replay'],\n  },\n  {\n    key: 'differs',\n    words: ['differs', 'differ'],\n    meaning:\n      'the replayed run differs from the record: the stream (or the written file) and first differing line are ' +\n      'named, with every changed version, parser, constant or module source and whether the command can reach it. Exit 3',\n    commands: ['replay'],\n  },\n  {\n    key: 'not-replayable',\n    words: ['not replayable', 'not-replayable'],\n    meaning:\n      'the entry is not re-run, or its replay is not compared: its line is malformed; it was to write a file and ' +\n      'wrote none; it ran an external probe worker; a file it read (--problem, --data, --stored, ...) changed, ' +\n      'vanished or appeared since recording, or was not hashed; or the recorded or the replayed probe search ' +\n      'stopped on its wall-clock budget (time-limit). Nothing was compared',\n    commands: ['replay'],\n  },\n  {\n    key: 'checked',\n    words: ['checked'],\n    meaning: 'a witness ran in this invocation and its claim held',\n    commands: ['atlas', 'map', 'path'],\n  },\n  {\n    key: 'refuted',\n    words: ['refuted', 'REFUTED'],\n    meaning:\n      'a witness ran and its claim failed. On a negative control the wrong hypothesis is refuted, which is ' +\n      'the control working. A refuted witness makes `--run` exit 3',\n    commands: ['atlas', 'map', 'path'],\n  },\n  {\n    key: 'unresolved',\n    words: ['unresolved'],\n    meaning:\n      'a witness did not run (its peer is absent, it timed out, its input did not parse) or ran and could not ' +\n      'decide (a CAS difference that did not simplify to zero, no convergence). Not a refutation, and never ' +\n      'counted with the refuted',\n    commands: ['atlas', 'map', 'path'],\n  },\n];\n\n/** The definitions of the statuses `command` can emit, keyed as in the glossary. */\nexport function definitionsFor(command: string): Record<string, string> {\n  const out: Record<string, string> = {};\n  for (const s of STATUS_GLOSSARY) if (s.commands.includes(command)) out[s.key] = s.meaning;\n  return out;\n}\n\n/** The text of `upt help statuses`: each status, its words, the commands that emit it, and its meaning. */\nexport function glossaryText(): string {\n  const lines = [\n    'upt help statuses — the status words the commands print',\n    '',\n    'Each --json envelope carries these definitions, under `definitions`, for the statuses its command',\n    'can emit. A status that did not check anything never reads as a pass.',\n    '',\n  ];\n  for (const s of STATUS_GLOSSARY) {\n    lines.push(`  ${s.words.join(' / ')}   (${s.commands.map((c) => (c === 'replay' ? '--replay' : c)).join(', ')})`);\n    lines.push(`        ${s.meaning}.`);\n  }\n  return lines.join('\\n');\n}\n"]}
+{"version":3,"file":"statuses.js","sourceRoot":"","sources":["../../src/cli/statuses.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAYH,MAAM,CAAC,MAAM,eAAe,GAAgC;IAC1D;QACE,GAAG,EAAE,OAAO;QACZ,KAAK,EAAE,CAAC,OAAO,CAAC;QAChB,OAAO,EACL,iGAAiG;YACjG,4GAA4G;QAC9G,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC7B,OAAO,EACL,kGAAkG;YAClG,sCAAsC;QACxC,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC;KAC7C;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,CAAC;QACvD,OAAO,EACL,qGAAqG;YACrG,2EAA2E;QAC7E,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC;KAChD;IACD;QACE,GAAG,EAAE,UAAU;QACf,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;QAC/B,OAAO,EACL,uGAAuG;YACvG,2BAA2B;QAC7B,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC;KACzC;IACD;QACE,GAAG,EAAE,UAAU;QACf,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;QAC/B,OAAO,EACL,yGAAyG;YACzG,yBAAyB;QAC3B,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,YAAY;QACjB,KAAK,EAAE,CAAC,YAAY,EAAE,YAAY,CAAC;QACnC,OAAO,EACL,yGAAyG;QAC3G,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,cAAc;QACnB,KAAK,EAAE,CAAC,cAAc,EAAE,cAAc,CAAC;QACvC,OAAO,EACL,wGAAwG;YACxG,gFAAgF;QAClF,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC7B,OAAO,EACL,uGAAuG;YACvG,wFAAwF;QAC1F,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,WAAW;QAChB,KAAK,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC;QACjC,OAAO,EAAE,kHAAkH;QAC3H,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,oBAAoB;QACzB,KAAK,EAAE,CAAC,oBAAoB,EAAE,UAAU,EAAE,oBAAoB,CAAC;QAC/D,OAAO,EACL,2GAA2G;YAC3G,4GAA4G;YAC5G,6CAA6C;QAC/C,QAAQ,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC;KAC1B;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,KAAK,EAAE,CAAC,mBAAmB,CAAC;QAC5B,OAAO,EACL,wGAAwG;YACxG,gEAAgE;QAClE,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,iBAAiB;QACtB,KAAK,EAAE,CAAC,iBAAiB,CAAC;QAC1B,OAAO,EACL,wGAAwG;YACxG,iCAAiC;QACnC,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,eAAe;QACpB,KAAK,EAAE,CAAC,eAAe,CAAC;QACxB,OAAO,EACL,2GAA2G;YAC3G,qBAAqB;QACvB,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,uBAAuB;QAC5B,KAAK,EAAE,CAAC,uBAAuB,CAAC;QAChC,OAAO,EACL,wGAAwG;YACxG,mEAAmE;QACrE,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,uBAAuB;QAC5B,KAAK,EAAE,CAAC,uBAAuB,CAAC;QAChC,OAAO,EACL,mGAAmG;QACrG,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,KAAK,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;QACzB,OAAO,EACL,wGAAwG;YACxG,sEAAsE;QACxE,QAAQ,EAAE,CAAC,OAAO,CAAC;KACpB;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,KAAK,EAAE,CAAC,mBAAmB,CAAC;QAC5B,OAAO,EACL,2GAA2G;YAC3G,8GAA8G;QAChH,QAAQ,EAAE,CAAC,OAAO,CAAC;KACpB;IACD;QACE,GAAG,EAAE,gBAAgB;QACrB,KAAK,EAAE,CAAC,gBAAgB,CAAC;QACzB,OAAO,EACL,yGAAyG;YACzG,kGAAkG;QACpG,QAAQ,EAAE,CAAC,OAAO,CAAC;KACpB;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,KAAK,EAAE,CAAC,OAAO,CAAC;QAChB,OAAO,EACL,wGAAwG;YACxG,wGAAwG;YACxG,oFAAoF;QACtF,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,UAAU;QACf,KAAK,EAAE,CAAC,UAAU,CAAC;QACnB,OAAO,EACL,yGAAyG;YACzG,uGAAuG;YACvG,uGAAuG;QACzG,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,KAAK,EAAE,CAAC,mBAAmB,CAAC;QAC5B,OAAO,EACL,+GAA+G;QACjH,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,cAAc;QACnB,KAAK,EAAE,CAAC,cAAc,CAAC;QACvB,OAAO,EAAE,mEAAmE;QAC5E,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,CAAC;QAClB,OAAO,EAAE,8EAA8E;QACvF,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,UAAU;QACf,KAAK,EAAE,CAAC,UAAU,CAAC;QACnB,OAAO,EACL,0GAA0G;YAC1G,2CAA2C;QAC7C,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,aAAa;QAClB,KAAK,EAAE,CAAC,aAAa,CAAC;QACtB,OAAO,EACL,4GAA4G;YAC5G,uFAAuF;QACzF,QAAQ,EAAE,CAAC,SAAS,CAAC;KACtB;IACD;QACE,GAAG,EAAE,WAAW;QAChB,KAAK,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC;QACjC,OAAO,EACL,0GAA0G;YAC1G,6GAA6G;YAC7G,wBAAwB;QAC1B,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,qBAAqB;QAC1B,sGAAsG;QACtG,KAAK,EAAE,CAAC,qBAAqB,EAAE,gCAAgC,EAAE,WAAW,CAAC;QAC7E,OAAO,EACL,8GAA8G;YAC9G,+GAA+G;YAC/G,gHAAgH;QAClH,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,KAAK,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;QACzB,OAAO,EAAE,kGAAkG;QAC3G,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,eAAe;QACpB,KAAK,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC;QACzC,OAAO,EAAE,oGAAoG;QAC7G,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,iBAAiB;QACtB,KAAK,EAAE,CAAC,iBAAiB,CAAC;QAC1B,OAAO,EACL,0GAA0G;YAC1G,2BAA2B;QAC7B,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,YAAY;QACjB,KAAK,EAAE,CAAC,YAAY,CAAC;QACrB,OAAO,EACL,sGAAsG;YACtG,+CAA+C;QACjD,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,YAAY;QACjB,KAAK,EAAE,CAAC,YAAY,CAAC;QACrB,OAAO,EACL,wGAAwG;YACxG,4FAA4F;QAC9F,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;QAC5B,OAAO,EACL,0GAA0G;YAC1G,mHAAmH;QACrH,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB;IACD;QACE,GAAG,EAAE,gBAAgB;QACrB,KAAK,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;QAC3C,OAAO,EACL,4GAA4G;YAC5G,0GAA0G;YAC1G,wGAAwG;YACxG,qEAAqE;QACvE,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,CAAC;QAClB,OAAO,EAAE,qDAAqD;QAC9D,QAAQ,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;KACnC;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC7B,OAAO,EACL,sGAAsG;YACtG,6DAA6D;QAC/D,QAAQ,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;KACnC;IACD;QACE,GAAG,EAAE,YAAY;QACjB,KAAK,EAAE,CAAC,YAAY,CAAC;QACrB,OAAO,EACL,yGAAyG;YACzG,uGAAuG;YACvG,0BAA0B;QAC5B,QAAQ,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;KACnC;CACF,CAAC;AAEF,oFAAoF;AACpF,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,eAAe;QAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;IAC1F,OAAO,GAAG,CAAC;AACb,CAAC;AAED,2GAA2G;AAC3G,MAAM,UAAU,YAAY;IAC1B,MAAM,KAAK,GAAG;QACZ,yDAAyD;QACzD,EAAE;QACF,mGAAmG;QACnG,uEAAuE;QACvE,EAAE;KACH,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClH,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC","sourcesContent":["/**\n * The status words the CLI prints, defined once (audit I13).\n *\n * `upt help statuses` prints this table, and every `--json` envelope carries the definitions of the\n * statuses its command can emit (`emitJson` adds them from here, so a command cannot omit them and no\n * command keeps a private copy). A status a command prints but this table does not assign to it is a\n * defect, which `tests/cli/statuses.test.ts` looks for in the commands' own output.\n */\n\nexport interface StatusDefinition {\n  /** The key under `definitions` in a `--json` envelope. */\n  readonly key: string;\n  /** The words as the commands print them, text or JSON. */\n  readonly words: readonly string[];\n  readonly meaning: string;\n  /** The commands (envelope `command` names) that can emit it. */\n  readonly commands: readonly string[];\n}\n\nexport const STATUS_GLOSSARY: readonly StatusDefinition[] = [\n  {\n    key: 'valid',\n    words: ['valid'],\n    meaning:\n      'every machine inequality the record states was evaluated at the point and holds. Only a record ' +\n      'that states at least one inequality can be valid; its prose premises are listed apart and were not checked',\n    commands: ['regime'],\n  },\n  {\n    key: 'vacuous',\n    words: ['VACUOUS', 'vacuous'],\n    meaning:\n      'the record states no machine inequality, so nothing was evaluated: not a pass, and not evidence ' +\n      'that the record applies at the point',\n    commands: ['regime', 'path', 'atlas', 'map'],\n  },\n  {\n    key: 'unknown',\n    words: ['UNKNOWN', 'unknown', 'UNCHECKED', 'unchecked'],\n    meaning:\n      'a value the check needs was not supplied (or a search stopped at its budget), so the check did not ' +\n      'run: a failure to confirm, never a pass and never a violation. It exits 0',\n    commands: ['regime', 'path', 'evaluate', 'map'],\n  },\n  {\n    key: 'violated',\n    words: ['VIOLATED', 'violated'],\n    meaning:\n      'a machine inequality (a regime, horizon or validity condition) was evaluated at the point and fails; ' +\n      'no bound is claimed there',\n    commands: ['regime', 'path', 'evaluate'],\n  },\n  {\n    key: 'adequate',\n    words: ['ADEQUATE', 'adequate'],\n    meaning:\n      'every bound on the path is claimed at the point and its error, in the norm the tolerance is stated in, ' +\n      'is within the tolerance',\n    commands: ['path'],\n  },\n  {\n    key: 'inadequate',\n    words: ['INADEQUATE', 'inadequate'],\n    meaning:\n      'the point is outside a regime or past a horizon on the path, or the error exceeds the tolerance; exit 3',\n    commands: ['path'],\n  },\n  {\n    key: 'undetermined',\n    words: ['UNDETERMINED', 'undetermined'],\n    meaning:\n      'the point does not settle adequacy: a value is missing, the bound is in another norm with no declared ' +\n      'translation, or an upper bound is past its horizon. It is not shown inadequate',\n    commands: ['path'],\n  },\n  {\n    key: 'neither',\n    words: ['NEITHER', 'neither'],\n    meaning:\n      'in a route-coverage grid, no encoded route claims a bound at this point: the parent model is the one ' +\n      'to use there and no reduced-model number is given. It does not say the models disagree',\n    commands: ['path'],\n  },\n  {\n    key: 'unsettled',\n    words: ['UNSETTLED', 'unsettled'],\n    meaning: 'in a route-coverage grid, a coordinate or t was not supplied, so whether a route covers the point is not settled',\n    commands: ['path'],\n  },\n  {\n    key: 'no-composite-claim',\n    words: ['no composite claim', 'no-claim', 'no-composite-claim'],\n    meaning:\n      'the composition table yields no relation for two steps of the route (a silent cell). The route claims no ' +\n      'error and exits 0. A missing Lipschitz constant, an undeclared norm and an unmapped cross-family norm are ' +\n      'other refusals, counted apart from this one',\n    commands: ['path', 'map'],\n  },\n  {\n    key: 'missing-lipschitz',\n    words: ['missing-lipschitz'],\n    meaning:\n      'a step that is not last states no Lipschitz constant, so the error after it is unbounded. No bound is ' +\n      'claimed. It exits 0. It is not a silent composition-table cell',\n    commands: ['path'],\n  },\n  {\n    key: 'norm-not-stated',\n    words: ['norm-not-stated'],\n    meaning:\n      'an exact step declares no norm transport for the running norm and the direction the route crosses it. ' +\n      'No bound is claimed. It exits 0',\n    commands: ['path'],\n  },\n  {\n    key: 'norm-mismatch',\n    words: ['norm-mismatch'],\n    meaning:\n      'two stated norms on one route are not the same norm, and no transport maps one to the other. No bound is ' +\n      'claimed. It exits 0',\n    commands: ['path'],\n  },\n  {\n    key: 'cross-family-unmapped',\n    words: ['cross-family-unmapped'],\n    meaning:\n      'across model families a matching norm name is not a transport. No witnessed NormTransport carries the ' +\n      'bound, so none is claimed. It exits 0. It is not a violated check',\n    commands: ['path'],\n  },\n  {\n    key: 'uniformity-unanalysed',\n    words: ['uniformity-unanalysed'],\n    meaning:\n      'a bound on the route does not state whether its error is uniform. No bound is claimed. It exits 0',\n    commands: ['path'],\n  },\n  {\n    key: 'decoy',\n    words: ['DECOY', 'decoy'],\n    meaning:\n      'a set of constants closes the dimensions, but its monomial does not reproduce the evaluator: a failed ' +\n      'dimensional reconstruction, not a physical refutation of the formula',\n    commands: ['audit'],\n  },\n  {\n    key: 'coefficient-unset',\n    words: ['COEFFICIENT UNSET'],\n    meaning:\n      'the entry is dimensional and no sourced prefactor multiplies the monomial. The evaluator\\'s leading 1 is ' +\n      'that absence, not a recovered constant. It is not a failed reconstruction and not a free dimensionless group',\n    commands: ['audit'],\n  },\n  {\n    key: 'not-a-monomial',\n    words: ['NOT A MONOMIAL'],\n    meaning:\n      'the encoded formula adds dimensionful terms, so it is not a proportionality. A monomial reconstruction ' +\n      'does not apply. This is not a failed reconstruction of a monomial, and not a physical refutation',\n    commands: ['audit'],\n  },\n  {\n    key: 'adjudicated-decoy',\n    words: ['decoy'],\n    meaning:\n      'a recorded adjudication of the identification a ≡ b found a dimensional coincidence with no mechanism ' +\n      '(trivial and definitional identifications included). Folded out of the PROMISING list by default. Not ' +\n      'the DECOY of `upt audit`, which is a failed dimensional reconstruction of a bridge',\n    commands: ['discover'],\n  },\n  {\n    key: 'entailed',\n    words: ['entailed'],\n    meaning:\n      'real physics that the canonical L-layer already carries, so not a new link. As a recorded adjudication ' +\n      'verdict it folds the identification out of the PROMISING list by default; as a consequence signal it ' +\n      'means the derived monomial has the same normal form, target and governing set as a canonical equation',\n    commands: ['discover'],\n  },\n  {\n    key: 'novel-consequence',\n    words: ['novel-consequence'],\n    meaning:\n      'the derived monomial consequence matches no canonical equation: unadjudicated, and not evidence that it holds',\n    commands: ['discover'],\n  },\n  {\n    key: 'inconclusive',\n    words: ['inconclusive'],\n    meaning: 'no monomial consequence could be derived, so nothing was compared',\n    commands: ['discover'],\n  },\n  {\n    key: 'genuine',\n    words: ['genuine'],\n    meaning: 'a recorded adjudication found the identification real physics and a new link',\n    commands: ['discover'],\n  },\n  {\n    key: 'deferred',\n    words: ['deferred'],\n    meaning:\n      'the identification was reviewed and consciously parked. An identification with no recorded adjudication ' +\n      'was never reviewed, which is not the same',\n    commands: ['discover'],\n  },\n  {\n    key: 'not-covered',\n    words: ['NOT COVERED'],\n    meaning:\n      'the name is not a quantity of the selected graph (--source), so there is nothing to evaluate; the nearest ' +\n      'names and what `upt search` finds are listed. It is not a statement about the physics',\n    commands: ['explain'],\n  },\n  {\n    key: 'promising',\n    words: ['PROMISING', 'promising'],\n    meaning:\n      'an identification a ≡ b that is numerically consistent, connects disconnected physics, unlocks at least ' +\n      'one quantity, and survived a magnitude comparison that could have failed: worth a physicist\\'s review, not ' +\n      'evidence that it holds',\n    commands: ['discover'],\n  },\n  {\n    key: 'promising-unchecked',\n    // `UNCHECKED` alone is `unknown` in the other commands; in `discover` it is this tier's heading word.\n    words: ['promising-unchecked', 'PROMISING, MAGNITUDE UNCHECKED', 'UNCHECKED'],\n    meaning:\n      'the same structure as promising (consistent, connects disconnected physics, unlocks at least one quantity), ' +\n      'but the magnitude falsifier never tested it: an endpoint has no representative magnitude, or the graph fixes ' +\n      'the ratio at every anchor so the comparison could not fail. Counted apart from promising and never added to it',\n    commands: ['discover'],\n  },\n  {\n    key: 'inert',\n    words: ['INERT', 'inert'],\n    meaning: 'consistent but idle: a dimensional coincidence that connects nothing new and unlocks no quantity',\n    commands: ['discover'],\n  },\n  {\n    key: 'contradictory',\n    words: ['CONTRADICTORY', 'contradictory'],\n    meaning: 'the identification breaks the numerical consistency of the graph: a falsification within the graph',\n    commands: ['discover'],\n  },\n  {\n    key: 'magnitude-clash',\n    words: ['magnitude-clash'],\n    meaning:\n      'the two quantities\\' representative values differ by more than the threshold of orders of magnitude: an ' +\n      'independent falsification',\n    commands: ['discover'],\n  },\n  {\n    key: 'axis-clash',\n    words: ['axis-clash'],\n    meaning:\n      'the identification\\'s stated scale or force regime labels disagree: a prior from catalog labels, no ' +\n      'computation, never counted as a falsification',\n    commands: ['discover'],\n  },\n  {\n    key: 'reproduced',\n    words: ['reproduced'],\n    meaning:\n      'the replayed run gave the recorded exit code, stdout and stderr, byte for byte, and any file it wrote ' +\n      '(--out, written to a temporary path, never over the recorded one) has the recorded SHA-256',\n    commands: ['replay'],\n  },\n  {\n    key: 'differs',\n    words: ['differs', 'differ'],\n    meaning:\n      'the replayed run differs from the record: the stream (or the written file) and first differing line are ' +\n      'named, with every changed version, parser, constant or module source and whether the command can reach it. Exit 3',\n    commands: ['replay'],\n  },\n  {\n    key: 'not-replayable',\n    words: ['not replayable', 'not-replayable'],\n    meaning:\n      'the entry is not re-run, or its replay is not compared: its line is malformed; it was to write a file and ' +\n      'wrote none; it ran an external probe worker; a file it read (--problem, --data, --stored, ...) changed, ' +\n      'vanished or appeared since recording, or was not hashed; or the recorded or the replayed probe search ' +\n      'stopped on its wall-clock budget (time-limit). Nothing was compared',\n    commands: ['replay'],\n  },\n  {\n    key: 'checked',\n    words: ['checked'],\n    meaning: 'a witness ran in this invocation and its claim held',\n    commands: ['atlas', 'map', 'path'],\n  },\n  {\n    key: 'refuted',\n    words: ['refuted', 'REFUTED'],\n    meaning:\n      'a witness ran and its claim failed. On a negative control the wrong hypothesis is refuted, which is ' +\n      'the control working. A refuted witness makes `--run` exit 3',\n    commands: ['atlas', 'map', 'path'],\n  },\n  {\n    key: 'unresolved',\n    words: ['unresolved'],\n    meaning:\n      'a witness did not run (its peer is absent, it timed out, its input did not parse) or ran and could not ' +\n      'decide (a CAS difference that did not simplify to zero, no convergence). Not a refutation, and never ' +\n      'counted with the refuted',\n    commands: ['atlas', 'map', 'path'],\n  },\n];\n\n/** The definitions of the statuses `command` can emit, keyed as in the glossary. */\nexport function definitionsFor(command: string): Record<string, string> {\n  const out: Record<string, string> = {};\n  for (const s of STATUS_GLOSSARY) if (s.commands.includes(command)) out[s.key] = s.meaning;\n  return out;\n}\n\n/** The text of `upt help statuses`: each status, its words, the commands that emit it, and its meaning. */\nexport function glossaryText(): string {\n  const lines = [\n    'upt help statuses — the status words the commands print',\n    '',\n    'Each --json envelope carries these definitions, under `definitions`, for the statuses its command',\n    'can emit. A status that did not check anything never reads as a pass.',\n    '',\n  ];\n  for (const s of STATUS_GLOSSARY) {\n    lines.push(`  ${s.words.join(' / ')}   (${s.commands.map((c) => (c === 'replay' ? '--replay' : c)).join(', ')})`);\n    lines.push(`        ${s.meaning}.`);\n  }\n  return lines.join('\\n');\n}\n"]}

package/dist/cli/version.d.ts

@@ -7,6 +7,7 @@
  * resolves to the package root in both the dev checkout and the installed
  * npm layout (`dist/` ships as part of the published package).
  */
+/** Read the package version from `package.json` at run time. */
 export declare function packageVersion(): string;
 /**
  * Installed version of each MathTS dependency and each optional peer, `null`

package/dist/cli/version.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"version.d.ts","sourceRoot":"","sources":["../../src/cli/version.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAQH,wBAAgB,cAAc,IAAI,MAAM,CAIvC;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAsB5D;AAKD;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,GAAG,MAAM,CAIrE"}
+{"version":3,"file":"version.d.ts","sourceRoot":"","sources":["../../src/cli/version.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAQH,gEAAgE;AAChE,wBAAgB,cAAc,IAAI,MAAM,CAIvC;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAsB5D;AAKD;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,GAAG,MAAM,CAIrE"}

package/dist/cli/version.js

@@ -12,6 +12,7 @@ import { createRequire } from 'node:module';
 import { join } from 'node:path';
 import { fileURLToPath } from 'node:url';
 import { readJsonFile } from '../core/data-file.js';
+/** Read the package version from `package.json` at run time. */
 export function packageVersion() {
     const pkgPath = fileURLToPath(new URL('../../package.json', import.meta.url));
     const pkg = readJsonFile(pkgPath);

package/dist/cli/version.js.map

@@ -1 +1 @@
-{"version":3,"file":"version.js","sourceRoot":"","sources":["../../src/cli/version.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEpD,MAAM,UAAU,cAAc;IAC5B,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,oBAAoB,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9E,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,CAAwB,CAAC;IACzD,OAAO,GAAG,CAAC,OAAO,CAAC;AACrB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY;IAC1B,MAAM,GAAG,GAAG,YAAY,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,oBAAoB,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAGrF,CAAC;IACF,MAAM,KAAK,GAAG;QACZ,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;QACrF,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,IAAI,EAAE,CAAC;KAC3C,CAAC;IACF,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAkC,EAAE,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;QACnB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;YACjD,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACzB,KAAK,CAAC,IAAI,CAAC,GAAI,YAAY,CAAC,QAAQ,CAA0B,CAAC,OAAO,IAAI,IAAI,CAAC;gBAC/E,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,uDAAuD;AACvD,MAAM,kBAAkB,GAAG,iCAAiC,CAAC;AAE7D;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAA0B;IAC3D,OAAO,IAAI,KAAK,QAAQ;QACtB,CAAC,CAAC,WAAW,kBAAkB,IAAI,YAAY,EAAE,CAAC,kBAAkB,CAAC,IAAI,iBAAiB,GAAG;QAC7F,CAAC,CAAC,qCAAqC,cAAc,EAAE,GAAG,CAAC;AAC/D,CAAC","sourcesContent":["/**\n * Runtime package-version lookup for the UPT CLI (`upt --version`, etc.).\n *\n * Reads `package.json` relative to this module's own location rather than\n * importing a generated constant, so it stays correct without a build step\n * re-stamping a version string. From `dist/cli/version.js`, `../../package.json`\n * resolves to the package root in both the dev checkout and the installed\n * npm layout (`dist/` ships as part of the published package).\n */\n\nimport { existsSync } from 'node:fs';\nimport { createRequire } from 'node:module';\nimport { join } from 'node:path';\nimport { fileURLToPath } from 'node:url';\nimport { readJsonFile } from '../core/data-file.js';\n\nexport function packageVersion(): string {\n  const pkgPath = fileURLToPath(new URL('../../package.json', import.meta.url));\n  const pkg = readJsonFile(pkgPath) as { version: string };\n  return pkg.version;\n}\n\n/**\n * Installed version of each MathTS dependency and each optional peer, `null`\n * when absent. Reads the package's own package.json from the resolution\n * paths, because a package's `exports` may not expose it. MathTS is required;\n * the record still names those versions so a replay can see a parser change.\n */\nexport function peerVersions(): Record<string, string | null> {\n  const pkg = readJsonFile(fileURLToPath(new URL('../../package.json', import.meta.url))) as {\n    dependencies?: Record<string, string>;\n    peerDependencies?: Record<string, string>;\n  };\n  const names = [\n    ...Object.keys(pkg.dependencies ?? {}).filter((n) => n.startsWith('@danielsimonjr/')),\n    ...Object.keys(pkg.peerDependencies ?? {}),\n  ];\n  const require = createRequire(import.meta.url);\n  const peers: Record<string, string | null> = {};\n  for (const name of [...new Set(names)].sort()) {\n    peers[name] = null;\n    for (const dir of require.resolve.paths(name) ?? []) {\n      const manifest = join(dir, name, 'package.json');\n      if (existsSync(manifest)) {\n        peers[name] = (readJsonFile(manifest) as { version?: string }).version ?? null;\n        break;\n      }\n    }\n  }\n  return peers;\n}\n\n/** The peer that backs the `mathts` formula parser. */\nconst MATHTS_PARSER_PEER = '@danielsimonjr/mathts-functions';\n\n/**\n * The active formula parser with the version that defines it (audit I4): the MathTS peer's\n * version for `mathts`, this package's for `builtin`, whose parser ships in it.\n */\nexport function formulaParserLabel(kind: 'mathts' | 'builtin'): string {\n  return kind === 'mathts'\n    ? `mathts (${MATHTS_PARSER_PEER} ${peerVersions()[MATHTS_PARSER_PEER] ?? 'version unknown'})`\n    : `builtin (universal-physics-tensor ${packageVersion()})`;\n}"]}
+{"version":3,"file":"version.js","sourceRoot":"","sources":["../../src/cli/version.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEpD,gEAAgE;AAChE,MAAM,UAAU,cAAc;IAC5B,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,oBAAoB,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9E,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,CAAwB,CAAC;IACzD,OAAO,GAAG,CAAC,OAAO,CAAC;AACrB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY;IAC1B,MAAM,GAAG,GAAG,YAAY,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,oBAAoB,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAGrF,CAAC;IACF,MAAM,KAAK,GAAG;QACZ,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;QACrF,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,IAAI,EAAE,CAAC;KAC3C,CAAC;IACF,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAkC,EAAE,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;QACnB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;YACjD,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACzB,KAAK,CAAC,IAAI,CAAC,GAAI,YAAY,CAAC,QAAQ,CAA0B,CAAC,OAAO,IAAI,IAAI,CAAC;gBAC/E,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,uDAAuD;AACvD,MAAM,kBAAkB,GAAG,iCAAiC,CAAC;AAE7D;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAA0B;IAC3D,OAAO,IAAI,KAAK,QAAQ;QACtB,CAAC,CAAC,WAAW,kBAAkB,IAAI,YAAY,EAAE,CAAC,kBAAkB,CAAC,IAAI,iBAAiB,GAAG;QAC7F,CAAC,CAAC,qCAAqC,cAAc,EAAE,GAAG,CAAC;AAC/D,CAAC","sourcesContent":["/**\n * Runtime package-version lookup for the UPT CLI (`upt --version`, etc.).\n *\n * Reads `package.json` relative to this module's own location rather than\n * importing a generated constant, so it stays correct without a build step\n * re-stamping a version string. From `dist/cli/version.js`, `../../package.json`\n * resolves to the package root in both the dev checkout and the installed\n * npm layout (`dist/` ships as part of the published package).\n */\n\nimport { existsSync } from 'node:fs';\nimport { createRequire } from 'node:module';\nimport { join } from 'node:path';\nimport { fileURLToPath } from 'node:url';\nimport { readJsonFile } from '../core/data-file.js';\n\n/** Read the package version from `package.json` at run time. */\nexport function packageVersion(): string {\n  const pkgPath = fileURLToPath(new URL('../../package.json', import.meta.url));\n  const pkg = readJsonFile(pkgPath) as { version: string };\n  return pkg.version;\n}\n\n/**\n * Installed version of each MathTS dependency and each optional peer, `null`\n * when absent. Reads the package's own package.json from the resolution\n * paths, because a package's `exports` may not expose it. MathTS is required;\n * the record still names those versions so a replay can see a parser change.\n */\nexport function peerVersions(): Record<string, string | null> {\n  const pkg = readJsonFile(fileURLToPath(new URL('../../package.json', import.meta.url))) as {\n    dependencies?: Record<string, string>;\n    peerDependencies?: Record<string, string>;\n  };\n  const names = [\n    ...Object.keys(pkg.dependencies ?? {}).filter((n) => n.startsWith('@danielsimonjr/')),\n    ...Object.keys(pkg.peerDependencies ?? {}),\n  ];\n  const require = createRequire(import.meta.url);\n  const peers: Record<string, string | null> = {};\n  for (const name of [...new Set(names)].sort()) {\n    peers[name] = null;\n    for (const dir of require.resolve.paths(name) ?? []) {\n      const manifest = join(dir, name, 'package.json');\n      if (existsSync(manifest)) {\n        peers[name] = (readJsonFile(manifest) as { version?: string }).version ?? null;\n        break;\n      }\n    }\n  }\n  return peers;\n}\n\n/** The peer that backs the `mathts` formula parser. */\nconst MATHTS_PARSER_PEER = '@danielsimonjr/mathts-functions';\n\n/**\n * The active formula parser with the version that defines it (audit I4): the MathTS peer's\n * version for `mathts`, this package's for `builtin`, whose parser ships in it.\n */\nexport function formulaParserLabel(kind: 'mathts' | 'builtin'): string {\n  return kind === 'mathts'\n    ? `mathts (${MATHTS_PARSER_PEER} ${peerVersions()[MATHTS_PARSER_PEER] ?? 'version unknown'})`\n    : `builtin (universal-physics-tensor ${packageVersion()})`;\n}"]}

package/dist/cli-api.d.ts

@@ -26,6 +26,8 @@ export { parseDimensionSpec } from './dimensional/dimension-spec.js';
 export { predictMissingBridges } from './composition/bridge-prediction.js';
 export { catalogFrontierAccount, formatFrontierAccount } from './composition/frontier-account.js';
 export { rankDiscoveries, ANCHOR_DEFAULT } from './composition/discovery.js';
+/** The one magnitude-evidence predicate behind the two promising tiers, and the selector of both tiers. */
+export { hasMagnitudeEvidence, isPromisingTier } from './composition/discovery.js';
 export { BRIDGE_EQUATIONS } from './bridges/index.js';
 export { auditCoverage } from './composition/audit-coverage.js';
 export { CONFRONTATIONS, listConfrontations, runConfrontation, confrontationRigor, rigorDistribution, } from './bridges/confrontations.js';

package/dist/cli-api.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli-api.d.ts","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,+BAA+B,CAAC;AAEvC,4FAA4F;AAC5F,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,MAAM,EACN,MAAM,IAAI,eAAe,EACzB,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AACpB,gHAAgH;AAChH,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAGxE,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,gFAAgF;AAChF,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,2GAA2G;AAC3G,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC1G,4FAA4F;AAC5F,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,uEAAuE;AACvE,OAAO,EAAE,QAAQ,EAAE,MAAM,oCAAoC,CAAC;AAC9D,yDAAyD;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,YAAY,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,YAAY,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC5E;;;GAGG;AACH,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,oBAAoB,EACpB,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,gCAAgC,CAAC;AACxC,YAAY,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AACjF,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACjE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC3E,gFAAgF;AAChF,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAC3E,gGAAgG;AAChG,OAAO,EAAE,uBAAuB,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AACnF,YAAY,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAC7C,YAAY,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAC3F,OAAO,EACL,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAKpE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D;;;GAGG;AACH,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,kCAAkC,CAAC;AAC7F,8FAA8F;AAC9F,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,kCAAkC,CAAC;AAElG;;;GAGG;AACH,OAAO,EACL,qBAAqB,EACrB,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,uBAAuB,EACvB,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,EACjB,0BAA0B,EAC1B,iBAAiB,EACjB,gBAAgB,EAChB,UAAU,GACX,MAAM,8BAA8B,CAAC;AAItC,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,WAAW,EACX,aAAa,GACd,MAAM,+BAA+B,CAAC;AACvC,YAAY,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACxE,gGAAgG;AAChG,YAAY,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAKtE,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,YAAY,EACV,6BAA6B,EAC7B,iBAAiB,EACjB,mBAAmB,GACpB,MAAM,8BAA8B,CAAC;AAQtC,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACjF,YAAY,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAE5D,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAE/E,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,oCAAoC,CAAC;AAC5C,4GAA4G;AAC5G,YAAY,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AACpH,gHAAgH;AAChH,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,wGAAwG;AACxG,OAAO,EACL,qBAAqB,EACrB,aAAa,EACb,UAAU,EACV,wBAAwB,GACzB,MAAM,6BAA6B,CAAC;AACrC,gHAAgH;AAChH,YAAY,EACV,aAAa,EACb,oBAAoB,EACpB,gBAAgB,EAChB,iBAAiB,EACjB,uBAAuB,EACvB,cAAc,GACf,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AACrF,8GAA8G;AAC9G,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,0GAA0G;AAC1G,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,YAAY,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAIzF,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAC/I,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,UAAU,EACV,mBAAmB,EACnB,cAAc,GACf,MAAM,iCAAiC,CAAC;AACzC,YAAY,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpG,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,qBAAqB,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACxG,OAAO,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AAC/E,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,yBAAyB,EAAE,QAAQ,EAAE,aAAa,EAAE,oBAAoB,EAAE,SAAS,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9J,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,YAAY,EAAE,eAAe,EAAE,cAAc,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC5G,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC/E,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACzD,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAE5D;;;;GAIG;AACH,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEjE;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAEhF;;;;GAIG;AACH,OAAO,EACL,eAAe,EACf,sBAAsB,EACtB,YAAY,EACZ,qBAAqB,EACrB,eAAe,EACf,gBAAgB,EAChB,0BAA0B,EAC1B,KAAK,QAAQ,GACd,MAAM,kCAAkC,CAAC;AAC1C,2FAA2F;AAC3F,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACzI,4HAA4H;AAC5H,OAAO,EAAE,6BAA6B,EAAE,iCAAiC,EAAE,MAAM,sCAAsC,CAAC;AACxH,0DAA0D;AAC1D,YAAY,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,sCAAsC,CAAC;AACtG,uFAAuF;AACvF,OAAO,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AACnG,8EAA8E;AAC9E,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AAClF,kGAAkG;AAClG,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9F,wDAAwD;AACxD,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAC7F,+GAA+G;AAC/G,OAAO,EAAE,0BAA0B,EAAE,MAAM,uCAAuC,CAAC;AACnF,gDAAgD;AAChD,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvE,kGAAkG;AAClG,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,8EAA8E;AAC9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,yDAAyD;AACzD,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,sFAAsF;AACtF,YAAY,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAC/D,mFAAmF;AACnF,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACpF,4EAA4E;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,kGAAkG;AAClG,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,kGAAkG;AAClG,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACxF,wGAAwG;AACxG,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,uGAAuG;AACvG,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,0FAA0F;AAC1F,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,gHAAgH;AAChH,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAEjH;;;;GAIG;AACH,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAElF;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAElE,6GAA6G;AAC7G,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,6DAA6D;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AAEpE,wDAAwD;AACxD,YAAY,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAExD,gDAAgD;AAChD,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAExE,yDAAyD;AACzD,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAElE,2DAA2D;AAC3D,YAAY,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC"}
+{"version":3,"file":"cli-api.d.ts","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,+BAA+B,CAAC;AAEvC,4FAA4F;AAC5F,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,MAAM,EACN,MAAM,IAAI,eAAe,EACzB,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AACpB,gHAAgH;AAChH,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAGxE,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC7E,2GAA2G;AAC3G,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AACnF,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,gFAAgF;AAChF,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,2GAA2G;AAC3G,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC1G,4FAA4F;AAC5F,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,uEAAuE;AACvE,OAAO,EAAE,QAAQ,EAAE,MAAM,oCAAoC,CAAC;AAC9D,yDAAyD;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,YAAY,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,YAAY,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC5E;;;GAGG;AACH,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,oBAAoB,EACpB,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,gCAAgC,CAAC;AACxC,YAAY,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AACjF,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACjE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC3E,gFAAgF;AAChF,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAC3E,gGAAgG;AAChG,OAAO,EAAE,uBAAuB,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AACnF,YAAY,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAC7C,YAAY,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAC3F,OAAO,EACL,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAKpE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D;;;GAGG;AACH,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,kCAAkC,CAAC;AAC7F,8FAA8F;AAC9F,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,kCAAkC,CAAC;AAElG;;;GAGG;AACH,OAAO,EACL,qBAAqB,EACrB,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,uBAAuB,EACvB,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,EACjB,0BAA0B,EAC1B,iBAAiB,EACjB,gBAAgB,EAChB,UAAU,GACX,MAAM,8BAA8B,CAAC;AAItC,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,WAAW,EACX,aAAa,GACd,MAAM,+BAA+B,CAAC;AACvC,YAAY,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACxE,gGAAgG;AAChG,YAAY,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAKtE,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,YAAY,EACV,6BAA6B,EAC7B,iBAAiB,EACjB,mBAAmB,GACpB,MAAM,8BAA8B,CAAC;AAQtC,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACjF,YAAY,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAE5D,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAE/E,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,oCAAoC,CAAC;AAC5C,4GAA4G;AAC5G,YAAY,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AACpH,gHAAgH;AAChH,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,wGAAwG;AACxG,OAAO,EACL,qBAAqB,EACrB,aAAa,EACb,UAAU,EACV,wBAAwB,GACzB,MAAM,6BAA6B,CAAC;AACrC,gHAAgH;AAChH,YAAY,EACV,aAAa,EACb,oBAAoB,EACpB,gBAAgB,EAChB,iBAAiB,EACjB,uBAAuB,EACvB,cAAc,GACf,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AACrF,8GAA8G;AAC9G,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,0GAA0G;AAC1G,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,YAAY,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAIzF,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAC/I,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,UAAU,EACV,mBAAmB,EACnB,cAAc,GACf,MAAM,iCAAiC,CAAC;AACzC,YAAY,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpG,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,qBAAqB,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACxG,OAAO,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AAC/E,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,yBAAyB,EAAE,QAAQ,EAAE,aAAa,EAAE,oBAAoB,EAAE,SAAS,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9J,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,YAAY,EAAE,eAAe,EAAE,cAAc,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC5G,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC/E,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACzD,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAE5D;;;;GAIG;AACH,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEjE;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAEhF;;;;GAIG;AACH,OAAO,EACL,eAAe,EACf,sBAAsB,EACtB,YAAY,EACZ,qBAAqB,EACrB,eAAe,EACf,gBAAgB,EAChB,0BAA0B,EAC1B,KAAK,QAAQ,GACd,MAAM,kCAAkC,CAAC;AAC1C,2FAA2F;AAC3F,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACzI,4HAA4H;AAC5H,OAAO,EAAE,6BAA6B,EAAE,iCAAiC,EAAE,MAAM,sCAAsC,CAAC;AACxH,0DAA0D;AAC1D,YAAY,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,sCAAsC,CAAC;AACtG,uFAAuF;AACvF,OAAO,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AACnG,8EAA8E;AAC9E,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AAClF,kGAAkG;AAClG,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9F,wDAAwD;AACxD,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAC7F,+GAA+G;AAC/G,OAAO,EAAE,0BAA0B,EAAE,MAAM,uCAAuC,CAAC;AACnF,gDAAgD;AAChD,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvE,kGAAkG;AAClG,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,8EAA8E;AAC9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,yDAAyD;AACzD,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,sFAAsF;AACtF,YAAY,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAC/D,mFAAmF;AACnF,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACpF,4EAA4E;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,kGAAkG;AAClG,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,kGAAkG;AAClG,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACxF,wGAAwG;AACxG,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,uGAAuG;AACvG,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,0FAA0F;AAC1F,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,gHAAgH;AAChH,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAEjH;;;;GAIG;AACH,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAElF;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAElE,6GAA6G;AAC7G,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,6DAA6D;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AAEpE,wDAAwD;AACxD,YAAY,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAExD,gDAAgD;AAChD,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAExE,yDAAyD;AACzD,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAElE,2DAA2D;AAC3D,YAAY,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC"}

package/dist/cli-api.js

@@ -30,6 +30,8 @@ export { parseDimensionSpec } from './dimensional/dimension-spec.js';
 export { predictMissingBridges } from './composition/bridge-prediction.js';
 export { catalogFrontierAccount, formatFrontierAccount } from './composition/frontier-account.js';
 export { rankDiscoveries, ANCHOR_DEFAULT } from './composition/discovery.js';
+/** The one magnitude-evidence predicate behind the two promising tiers, and the selector of both tiers. */
+export { hasMagnitudeEvidence, isPromisingTier } from './composition/discovery.js';
 export { BRIDGE_EQUATIONS } from './bridges/index.js';
 export { auditCoverage } from './composition/audit-coverage.js';
 export { CONFRONTATIONS, listConfrontations, runConfrontation, confrontationRigor, rigorDistribution, } from './bridges/confrontations.js';

package/dist/cli-api.js.map

@@ -1 +1 @@
-{"version":3,"file":"cli-api.js","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,4EAA4E;AAC5E,OAAO,+BAA+B,CAAC;AAEvC,4FAA4F;AAC5F,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,MAAM,EACN,MAAM,IAAI,eAAe,EACzB,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AACpB,gHAAgH;AAChH,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,+EAA+E;AAC/E,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAExE,kDAAkD;AAClD,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAE1C,yCAAyC;AACzC,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,gFAAgF;AAChF,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,2GAA2G;AAC3G,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC1G,4FAA4F;AAC5F,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,uEAAuE;AACvE,OAAO,EAAE,QAAQ,EAAE,MAAM,oCAAoC,CAAC;AAC9D,yDAAyD;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AAEpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AAExE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,uFAAuF;AACvF,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC5E;;;GAGG;AACH,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,oBAAoB,EACpB,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,gCAAgC,CAAC;AAExC,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAEjE,gFAAgF;AAChF,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAC3E,gGAAgG;AAChG,OAAO,EAAE,uBAAuB,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAEnF,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAE7C,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAC3F,OAAO,EACL,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,4EAA4E;AAC5E,mEAAmE;AACnE,wEAAwE;AACxE,mEAAmE;AACnE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D;;;GAGG;AACH,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,kCAAkC,CAAC;AAI7F;;;GAGG;AACH,OAAO,EACL,qBAAqB,EACrB,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,uBAAuB,EACvB,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,EACjB,0BAA0B,EAC1B,iBAAiB,EACjB,gBAAgB,EAChB,UAAU,GACX,MAAM,8BAA8B,CAAC;AAEtC,0EAA0E;AAC1E,qEAAqE;AACrE,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,WAAW,EACX,aAAa,GACd,MAAM,+BAA+B,CAAC;AAKvC,6EAA6E;AAC7E,4EAA4E;AAC5E,2DAA2D;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAOpE,+EAA+E;AAC/E,iFAAiF;AACjF,gFAAgF;AAChF,wEAAwE;AACxE,4EAA4E;AAC5E,uDAAuD;AACvD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAGjF,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAC/E,2EAA2E;AAC3E,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,oCAAoC,CAAC;AAG5C,gHAAgH;AAChH,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,wGAAwG;AACxG,OAAO,EACL,qBAAqB,EACrB,aAAa,EACb,UAAU,EACV,wBAAwB,GACzB,MAAM,6BAA6B,CAAC;AAUrC,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AACrF,8GAA8G;AAC9G,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,0GAA0G;AAC1G,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAGhE,6EAA6E;AAC7E,sEAAsE;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAC/I,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,UAAU,EACV,mBAAmB,EACnB,cAAc,GACf,MAAM,iCAAiC,CAAC;AAGzC,OAAO,EAAE,qBAAqB,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACxG,OAAO,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AAE/E,OAAO,EAAE,yBAAyB,EAAE,QAAQ,EAAE,aAAa,EAAE,oBAAoB,EAAE,SAAS,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9J,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAG/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAGzD;;;;GAIG;AACH,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEjE;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAEhF;;;;GAIG;AACH,OAAO,EACL,eAAe,EACf,sBAAsB,EACtB,YAAY,EACZ,qBAAqB,EACrB,eAAe,EACf,gBAAgB,EAChB,0BAA0B,GAE3B,MAAM,kCAAkC,CAAC;AAC1C,2FAA2F;AAC3F,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACzI,4HAA4H;AAC5H,OAAO,EAAE,6BAA6B,EAAE,iCAAiC,EAAE,MAAM,sCAAsC,CAAC;AAGxH,uFAAuF;AACvF,OAAO,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AACnG,8EAA8E;AAC9E,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AAClF,kGAAkG;AAClG,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9F,wDAAwD;AACxD,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAC7F,+GAA+G;AAC/G,OAAO,EAAE,0BAA0B,EAAE,MAAM,uCAAuC,CAAC;AACnF,gDAAgD;AAChD,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvE,kGAAkG;AAClG,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,8EAA8E;AAC9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,yDAAyD;AACzD,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAG1E,mFAAmF;AACnF,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACpF,4EAA4E;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,kGAAkG;AAClG,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,kGAAkG;AAClG,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACxF,wGAAwG;AACxG,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,uGAAuG;AACvG,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,0FAA0F;AAC1F,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,gHAAgH;AAChH,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAEjH;;;;GAIG;AACH,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAElF;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAElE,6GAA6G;AAC7G,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,6DAA6D;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC","sourcesContent":["/**\n * CLI-facing barrel — the single stable entrypoint `bin/upt.mjs` imports.\n *\n * The CLI needs a handful of `@internal` analysis/composition/canonical\n * functions that are deliberately NOT on the public surface (so they are not in\n * the root `index.ts`). Previously `bin/upt.mjs` reached into ~10 deep `dist/`\n * module paths to get them, coupling the CLI to the internal file layout — any\n * module move silently broke the CLI. This barrel re-exports everything the CLI\n * uses from one place, so layout changes touch only this file and `bin/upt.mjs`\n * imports a single `dist/cli-api.js`.\n *\n * @internal — a CLI-support barrel; NOT re-exported from the root index, so it\n * stays off the consumer-facing public surface.\n *\n * @module cli-api\n */\n\n// Domain names register when this barrel loads. The command reads the list.\nimport './relations/domain-regimes.js';\n\n/** Public-API symbols (already on the root surface), plus `equals` as `dimensionsEqual`. */\nexport {\n  explainQuantity,\n  CATALOG_GRAPH,\n  CANONICAL_GRAPH,\n  M_SUN_KG,\n  composeSymbolic,\n  format,\n  equals as dimensionsEqual,\n  buildVizModel,\n  renderDotToSvg,\n  equationLanding,\n  analyzeUserEquation,\n  suggestQuantities,\n  buckinghamPi,\n  dimensionallyDetermines,\n} from './index.js';\n/** Numeric composition of two graph edges. The grade is the lower of the two, and a chain stays provisional. */\nexport { composeEdges } from './index.js';\n// Landing-report summariser (persona W3) — internal, not on the public barrel.\nexport { formatConnectedSummary } from './composition/user-equation.js';\n\n// Internal analysis surface (bridge-analysis.ts).\nexport {\n  bridgePriority,\n  attemptDerivation,\n  dimensionalFreedom,\n  linkageMap,\n  proposeLinkCandidates,\n  proposeOrphanConnectors,\n} from './composition/bridge-analysis.js';\n\n// Other internal modules the CLI drives.\nexport {\n  getFormulaParser,\n  getFormulaParserKind,\n  getFormulaDimensionChecker,\n} from './numerical/formula-registry.js';\nexport { parseDimensionSpec } from './dimensional/dimension-spec.js';\nexport { predictMissingBridges } from './composition/bridge-prediction.js';\nexport { catalogFrontierAccount, formatFrontierAccount } from './composition/frontier-account.js';\nexport { rankDiscoveries, ANCHOR_DEFAULT } from './composition/discovery.js';\nexport { BRIDGE_EQUATIONS } from './bridges/index.js';\nexport { auditCoverage } from './composition/audit-coverage.js';\nexport {\n  CONFRONTATIONS,\n  listConfrontations,\n  runConfrontation,\n  confrontationRigor,\n  rigorDistribution,\n} from './bridges/confrontations.js';\n/** Ask for a caller-table confrontation. The catalog status does not change. */\nexport { requestCallerTableConfrontation } from './bridges/caller-table.js';\n/** The catalog row, the id parser (and its non-throwing form), and the relation a numeric id evaluates. */\nexport { catalogEntry, catalogIdNumber, parseBridgeId, primaryRelation } from './bridges/catalog-load.js';\n/** The graph key of a catalog number (`be-<n>`): the one place that spelling is written. */\nexport { catalogEdgeKey } from './bridges/catalog-load.js';\n/** `_` written as `-`: the one fold every spelling comparison uses. */\nexport { foldName } from './dimensional/quantity-registry.js';\n/** The two composition demonstrations the CLI prints. */\nexport { demonstrationEdges } from './composition/catalog-graph.js';\nexport type { ConfrontationEntry, RigorTier } from './bridges/confrontations.js';\nexport { consistencyComparison } from './bridges/observations/types.js';\nexport type { ConfrontationOutcome } from './bridges/observations/types.js';\nexport { decidingMeasurement } from './bridges/sensitivity.js';\n// Bridge-evaluator dispatch (`upt evaluate`) + axis-discrimination audit (`upt axes`).\nexport { BRIDGE_EVALUATORS, evaluateBridge } from './bridges/evaluators.js';\n/**\n * The input-contract errors: an absent, unknown, non-number, non-finite or twice-given input.\n * `upt evaluate` reports each as a bad value (exit 1), never a usage error (exit 2), prefixed `upt evaluate:`.\n */\nexport {\n  DuplicateInputError,\n  InputTypeError,\n  isInputContractError,\n  MissingInputError,\n  NonFiniteInputError,\n  UnknownInputError,\n} from './bridges/evaluation-errors.js';\nexport type { EvaluatorSpec, EvaluatorParameter } from './bridges/evaluators.js';\nexport { resolveEvaluatorInputs } from './bridges/evaluator-inputs.js';\nexport { APPLIED_CASES, runAppliedCase } from './cases/index.js';\nexport type { AppliedCase, CaseCheck, CaseResult } from './cases/index.js';\n/** The unit reader's conversion, its refusal and the rows of the unit table. */\nexport { convertValue, UnitError, unitRows } from './dimensional/units.js';\n/** The axis-discrimination audit and the level (0.05) at which an axis's evidence is earned. */\nexport { auditAxisDiscrimination, AUDIT_ALPHA } from './composition/axis-audit.js';\nexport type { AxisDiscrimination } from './composition/axis-audit.js';\nexport { AXES } from './composition/axes.js';\nexport type { AxisSpec } from './composition/axes.js';\nexport { simplifyObservable, isSimplifierAvailable } from './composition/expr-simplify.js';\nexport {\n  CANONICAL_EQUATIONS,\n  bridgesWithoutCanonicalPartner,\n} from './canonical/registry.js';\nexport { scanLinkages } from './canonical/linkage.js';\nexport { deriveProposedBridges } from './composition/proposed-bridges.js';\nexport { describeDerivedClaim } from './composition/consequence.js';\n// `upt map --relation= --evidence=` overlay filtering (S2.4). Internal: the\n// published surface is pinned by tests/api/public-surface.test.ts.\n// Relation filtering and the legend stay in graph-viz. Catalog evidence\n// derivation lives in cli/map-evidence.ts, which is what calls it.\nexport { filterEdges, formatFilterLegend } from './composition/graph-viz.js';\nexport { deriveEdgeEvidence } from './cli/map-evidence.js';\n/**\n * `upt map --communities | --cycles | --rank-hubs`: layout communities (Louvain, heuristic; never\n * physics), derivation cycles, and betweenness hub ranking on demand. Internal.\n */\nexport { communitiesOf, derivationCycles, rankHubs } from './composition/graph-structure.js';\n/** The community report, one derivation cycle, and one hub rank, as `upt map` prints them. */\nexport type { CommunityReport, DerivationCycle, HubRank } from './composition/graph-structure.js';\n\n/**\n * Experimental Product B (expression / residual search). Not the identification\n * funnel (`rankDiscoveries`). CLI `upt probe` only.\n */\nexport {\n  DEFAULT_SEARCH_BUDGET,\n  scanFrontier,\n  findFrontierGap,\n  expressionSearchGaps,\n  scanWithExpressionGaps,\n  problemFromResidualGap,\n  makeResidualGap,\n  loadSearchProblemFromJson,\n  resolveObservationsPath,\n  parseExprJson,\n  ProblemFileError,\n  runProbeSearch,\n  nodeWorkerArgv,\n  formatProbeReport,\n  loadStudyFromJson,\n  loadStudyFile,\n  runProbeStudy,\n  formatProbeStudy,\n  formatFrontierScan,\n  formatFrontierGap,\n  suggestDiscriminatingPoint,\n  parseDesignBounds,\n  runFalsification,\n  rankPareto,\n} from './composition/probe/index.js';\n\n// Adjudication ledger (composition/adjudication.ts) — annotates discovery\n// candidates with recorded human verdicts; never mutates the funnel.\nexport {\n  annotateAdjudications,\n  adjudicationFor,\n  candidateId,\n  ADJUDICATIONS,\n} from './composition/adjudication.js';\nexport type { AnnotatedCandidate } from './composition/adjudication.js';\n/** One record of the adjudication ledger, exported from its owner, the catalog file's types. */\nexport type { CatalogAdjudication } from './bridges/catalog-types.js';\n\n// Consequence propagation (composition/consequence.ts) — annotates discovery\n// candidates with the entailed/novel-consequence/inconclusive signal; never\n// mutates the catalog/graph, never re-orders or re-scores.\nexport { annotateConsequences } from './composition/consequence.js';\nexport type {\n  ConsequenceAnnotatedCandidate,\n  ConsequenceSignal,\n  ConsequenceEvidence,\n} from './composition/consequence.js';\n\n// Epistemic-grounding ledger (composition/grounding.ts) — a pure, derived view\n// over each candidate's falsifier results: which gates passed vs abstained, plus\n// the honest no-mechanism/no-data ceiling. Annotation-only; changes no verdict.\n// Atlas Phase 1 convention comparison — `upt recover` uses it to flag a\n// bridge↔canonical pair whose DECLARED sign/unit choices disagree. Advisory\n// only: it changes no classification and no exit code.\nexport { checkConventions, unknownConventionKeys } from './atlas/conventions.js';\nexport type { ConventionKey } from './atlas/conventions.js';\n\nexport { describeGrounding, describeReadiness } from './composition/grounding.js';\nexport { REPRESENTATIVE_VALUES } from './composition/representative-values.js';\n// User formula vs the canonical equation it restates (persona finding L2).\nexport {\n  compareWithCanonical,\n  compareUserEquation,\n  describeComparison,\n  describeComparisons,\n  describeKnownRelation,\n  matchingCatalogEdges,\n} from './composition/canonical-compare.js';\n/** The comparison row, the catalog-edge match, and the exponent-difference diagnosis of a form mismatch. */\nexport type { CanonicalComparison, CatalogEdgeMatch, ExponentDifference } from './composition/canonical-compare.js';\n/** One line for an exponent difference (`yours/canonical ∝ mass^-1 (R² = 1): …`), for `upt derive` to print. */\nexport { describeExponentDifference } from './composition/canonical-compare.js';\n/** One owner for \"a constant times that one\" (proposal 6): `upt derive` recovers its prefactor here. */\nexport {\n  FIXED_POINT_EXPONENTS,\n  constantRatio,\n  fixedPoint,\n  recoverMonomialPrefactor,\n} from './canonical/fixed-points.js';\n/** The fixed-point scheme, the ratio statistic and the recovery result types of `canonical/fixed-points.ts`. */\nexport type {\n  ConstantRatio,\n  ConstantRatioOptions,\n  FixedPointScheme,\n  PrefactorRecovery,\n  PrefactorRecoveryScheme,\n  RatioStatistic,\n} from './canonical/fixed-points.js';\nexport { CONSTANTS, CONSTANT_PROVENANCE } from './dimensional/symbolic-constants.js';\n/** The one decimal-literal rule (`2`, `1e3`; not `0x2`, `''`, `Infinity`): a symbol name that is a number. */\nexport { isDecimalLiteral } from './dimensional/ast-leaves.js';\n/** The one scalar-leaf walk of an `ExprNode`: `op` arguments always, other arms as the caller opts in. */\nexport { forEachScalarLeaf } from './dimensional/ast-leaves.js';\nexport type { CandidateGrounding, CandidateReadiness } from './composition/grounding.js';\n\n// Atlas Phase 2 CLI surface (`upt regime`, `upt path`). Regime admission and\n// route bounds are `@internal`; the CLI is their only consumer today.\nexport { OSCILLATOR_FAMILY } from './atlas/oscillators/index.js';\nexport { ATLAS_FAMILIES } from './atlas/families.js';\nexport { deriveEvidence, deriveCompositeEvidence, NO_PASSING_WITNESSES, provedWithUnresolvedCounterexample } from './atlas/derive-evidence.js';\nexport { summarizeEvidence, ALL_EVIDENCE_TAGS } from './atlas/coverage.js';\nexport { runWitnessRegistry } from './atlas/witness-artifact.js';\nexport { WITNESS_REGISTRY } from './atlas/witness-specs.js';\nexport { runNumericWitness } from './atlas/witness-numeric.js';\nexport {\n  OBSERVABLE_CARRIAGES,\n  OBSERVABLE_TRANSLATIONS,\n  carriageOf,\n  runTranslationCheck,\n  translationsOf,\n} from './atlas/translation-registry.js';\nexport type { ObservableCarriage, ObservableTranslation, PointCheck } from './atlas/translation.js';\nexport type { AtlasFamily } from './atlas/family.js';\nexport { collidingRegimeGroups, regimeHolds, regimeOverlap, uncoveredRegions } from './atlas/regime.js';\nexport { domainRegimeRegistrations } from './relations/regime-registration.js';\nexport type { RegimeCheck, RegimeOverlap, RegionSample } from './atlas/regime.js';\nexport { familyChangeBlocksHorizon, findPath, findAtlasPath, enumerateAtlasRoutes, boundPath, horizonOnRoute, routeEntryModels } from './atlas/path-bound.js';\nexport { composeRelation } from './atlas/composition-table.js';\nexport type { PathBoundResult, PathBoundClaim, PathNoClaim, AppliedTransport } from './atlas/path-bound.js';\nexport type { AtlasBridge, RegimeInequality, Witness } from './atlas/types.js';\nexport { MissingLipschitzError } from './atlas/types.js';\nexport type { AtlasModel, ModelId } from './atlas/model.js';\n\n/**\n * Catalog formal reference for `upt atlas`.\n *\n * @internal\n */\nexport { catalogFormalRef } from './atlas/catalog-formal-ref.js';\n\n/**\n * Composition recovery scan for `upt recover`.\n *\n * @internal\n */\nexport { scanCompositionRecovery } from './composition/composition-recovery.js';\n\n/**\n * Exact metrics and geodesic integrators for `upt metric`.\n *\n * @internal\n */\nexport {\n  curvatureReport,\n  kerrEquatorialCircular,\n  kerrGeodesic,\n  kerrTurningPointOrbit,\n  MetricMassError,\n  MetricValueError,\n  schwarzschildCircularOrbit,\n  type MetricId,\n} from './numerical/spacetime-metrics.js';\n/** One split of a `name=value` token; a null is the command's own usage or value error. */\nexport { splitAssignment } from './core/assignment.js';\n\n/**\n * Binding readers for `upt eval`, `upt evaluate`, `upt regime`, and `upt path`.\n *\n * @internal\n */\nexport { readBinding, bindingInUnit, readNamedBinding, BindingNumberError, TemperatureBindingError } from './numerical/binding-value.js';\n/** GUM propagation through a closed-form evaluator, and the correlation-matrix check, for `upt evaluate --sigma/--corr`. */\nexport { propagateEvaluatorUncertainty, correlationIsPositiveSemidefinite } from './numerical/evaluator-uncertainty.js';\n/** One propagated output, and one input's share of it. */\nexport type { PropagatedOutput, UncertaintyContribution } from './numerical/evaluator-uncertainty.js';\n/** A stated constant checked against the registry; a disagreement is its own error. */\nexport { constantAgreement, ConstantDisagreementError } from './dimensional/symbolic-constants.js';\n/** Thrown when a formula string does not parse or names an unbound symbol. */\nexport { FormulaError, FormulaValueError } from './numerical/formula-contract.js';\n/** The quantity names a target is bound under, the near names of a miss, and the synonym fold. */\nexport { aliasesForTarget, nearQuantityNames, shareSynonyms } from './composition/aliases.js';\n/** Synonym agreement and expansion of a binding set. */\nexport { assertSynonymAgreement, expandSynonymValues } from './dimensional/formula-names.js';\n/** A dimensionless group a canonical equation multiplies (sound-speed's gamma): an input, not a graph node. */\nexport { CANONICAL_GROUP_PREFACTORS } from './composition/canonical-prefactors.js';\n/** The one number formatter of explain text. */\nexport { formatQuantity, formatExact } from './composition/explain.js';\n/** A fraction printed as a percentage (fixed decimals, or significant digits for a statistic). */\nexport { formatPercent } from './core/format.js';\n/** A monomial odd in both carrier charge and mobility with opposite signs. */\nexport { CarrierSignError } from './bridges/carrier-sign.js';\n/** The constant values a natural-unit mode overrides. */\nexport { naturalConstantOverrides } from './dimensional/natural-units.js';\n/** The constant-value mode a formula is evaluated in: SI, natural, or geometrized. */\nexport type { UnitMode } from './dimensional/natural-units.js';\n/** Kebab catalog names rewritten to one symbol each before a formula is parsed. */\nexport { escapeRegExp, rewriteCatalogHyphens } from './dimensional/hyphen-names.js';\n/** The ledger id of an orphan-connector pair, when both names are slugs. */\nexport { candidateIdIfSlug } from './composition/adjudication.js';\n/** The catalog or parameter name a spelling means. The commands call this, not a second table. */\nexport { resolveQuantityName } from './index.js';\n/** The edge and the closed-form evaluator for an id. An evaluator with no edge is not unknown. */\nexport { evaluateResolved, resolveEvaluable } from './composition/evaluate-relation.js';\n/** The SI unit of a dimension, in the form `parseUnit` reads back. The CLI's derived label reads it. */\nexport { siUnitOf } from './dimensional/algebra.js';\n/** The required inputs of an evaluator that no relation source reads. They do not change the value. */\nexport { unusedInputKeys } from './bridges/evaluators.js';\n/** Two spellings of one quantity were given different numbers. The formula is not run. */\nexport { SynonymDisagreementError } from './dimensional/formula-names.js';\n/** `upt retrieve`: the canonical corpus, the optional Ollama embedder, and the atlas-accepted hybrid search. */\nexport { canonicalRetrievalCorpus, ollamaEmbedder, retrieveHybrid } from './atlas/benchmark/hybrid-retrieval.js';\n\n/**\n * Builtin dimension checker for `upt eval`.\n *\n * @internal\n */\nexport { builtinFormulaDimensionChecker } from './numerical/formula-dimension.js';\n\n/**\n * Missing-evaluator message for `upt evaluate`.\n *\n * @internal\n */\nexport { missingEvaluatorMessage } from './bridges/evaluators.js';\n\n/** The caveats printed beside a relation's value: its own notice and the notes of the constants it names. */\nexport { relationNotices } from './bridges/notices.js';\n/** The notes of the registered constants a formula names. */\nexport { constantNotes } from './dimensional/symbolic-constants.js';\n\n/** Quantity-graph edge type for `upt map`. @internal */\nexport type { BridgeEdge } from './composition/edge.js';\n\n/** Visual map types for `upt map`. @internal */\nexport type { VizJunction, VizModel } from './composition/graph-viz.js';\n\n/** Relation vocabulary types for `upt map`. @internal */\nexport type { EvidenceTag, RelationType } from './atlas/types.js';\n\n/** User-equation analysis type for `upt map`. @internal */\nexport type { EquationAnalysis } from './composition/user-equation.js';\n"]}
+{"version":3,"file":"cli-api.js","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,4EAA4E;AAC5E,OAAO,+BAA+B,CAAC;AAEvC,4FAA4F;AAC5F,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,MAAM,EACN,MAAM,IAAI,eAAe,EACzB,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AACpB,gHAAgH;AAChH,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,+EAA+E;AAC/E,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAExE,kDAAkD;AAClD,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAE1C,yCAAyC;AACzC,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC7E,2GAA2G;AAC3G,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AACnF,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,gFAAgF;AAChF,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,2GAA2G;AAC3G,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC1G,4FAA4F;AAC5F,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,uEAAuE;AACvE,OAAO,EAAE,QAAQ,EAAE,MAAM,oCAAoC,CAAC;AAC9D,yDAAyD;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AAEpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AAExE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,uFAAuF;AACvF,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC5E;;;GAGG;AACH,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,oBAAoB,EACpB,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,gCAAgC,CAAC;AAExC,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAEjE,gFAAgF;AAChF,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAC3E,gGAAgG;AAChG,OAAO,EAAE,uBAAuB,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAEnF,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAE7C,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAC3F,OAAO,EACL,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,4EAA4E;AAC5E,mEAAmE;AACnE,wEAAwE;AACxE,mEAAmE;AACnE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D;;;GAGG;AACH,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,kCAAkC,CAAC;AAI7F;;;GAGG;AACH,OAAO,EACL,qBAAqB,EACrB,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,uBAAuB,EACvB,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,EACjB,0BAA0B,EAC1B,iBAAiB,EACjB,gBAAgB,EAChB,UAAU,GACX,MAAM,8BAA8B,CAAC;AAEtC,0EAA0E;AAC1E,qEAAqE;AACrE,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,WAAW,EACX,aAAa,GACd,MAAM,+BAA+B,CAAC;AAKvC,6EAA6E;AAC7E,4EAA4E;AAC5E,2DAA2D;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAOpE,+EAA+E;AAC/E,iFAAiF;AACjF,gFAAgF;AAChF,wEAAwE;AACxE,4EAA4E;AAC5E,uDAAuD;AACvD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAGjF,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAC/E,2EAA2E;AAC3E,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,oCAAoC,CAAC;AAG5C,gHAAgH;AAChH,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,wGAAwG;AACxG,OAAO,EACL,qBAAqB,EACrB,aAAa,EACb,UAAU,EACV,wBAAwB,GACzB,MAAM,6BAA6B,CAAC;AAUrC,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AACrF,8GAA8G;AAC9G,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,0GAA0G;AAC1G,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAGhE,6EAA6E;AAC7E,sEAAsE;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAC/I,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,UAAU,EACV,mBAAmB,EACnB,cAAc,GACf,MAAM,iCAAiC,CAAC;AAGzC,OAAO,EAAE,qBAAqB,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACxG,OAAO,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AAE/E,OAAO,EAAE,yBAAyB,EAAE,QAAQ,EAAE,aAAa,EAAE,oBAAoB,EAAE,SAAS,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9J,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAG/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAGzD;;;;GAIG;AACH,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEjE;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAEhF;;;;GAIG;AACH,OAAO,EACL,eAAe,EACf,sBAAsB,EACtB,YAAY,EACZ,qBAAqB,EACrB,eAAe,EACf,gBAAgB,EAChB,0BAA0B,GAE3B,MAAM,kCAAkC,CAAC;AAC1C,2FAA2F;AAC3F,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACzI,4HAA4H;AAC5H,OAAO,EAAE,6BAA6B,EAAE,iCAAiC,EAAE,MAAM,sCAAsC,CAAC;AAGxH,uFAAuF;AACvF,OAAO,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AACnG,8EAA8E;AAC9E,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AAClF,kGAAkG;AAClG,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9F,wDAAwD;AACxD,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAC7F,+GAA+G;AAC/G,OAAO,EAAE,0BAA0B,EAAE,MAAM,uCAAuC,CAAC;AACnF,gDAAgD;AAChD,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvE,kGAAkG;AAClG,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,8EAA8E;AAC9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,yDAAyD;AACzD,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAG1E,mFAAmF;AACnF,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACpF,4EAA4E;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,kGAAkG;AAClG,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,kGAAkG;AAClG,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACxF,wGAAwG;AACxG,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,uGAAuG;AACvG,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,0FAA0F;AAC1F,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,gHAAgH;AAChH,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAEjH;;;;GAIG;AACH,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAElF;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAElE,6GAA6G;AAC7G,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,6DAA6D;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC","sourcesContent":["/**\n * CLI-facing barrel — the single stable entrypoint `bin/upt.mjs` imports.\n *\n * The CLI needs a handful of `@internal` analysis/composition/canonical\n * functions that are deliberately NOT on the public surface (so they are not in\n * the root `index.ts`). Previously `bin/upt.mjs` reached into ~10 deep `dist/`\n * module paths to get them, coupling the CLI to the internal file layout — any\n * module move silently broke the CLI. This barrel re-exports everything the CLI\n * uses from one place, so layout changes touch only this file and `bin/upt.mjs`\n * imports a single `dist/cli-api.js`.\n *\n * @internal — a CLI-support barrel; NOT re-exported from the root index, so it\n * stays off the consumer-facing public surface.\n *\n * @module cli-api\n */\n\n// Domain names register when this barrel loads. The command reads the list.\nimport './relations/domain-regimes.js';\n\n/** Public-API symbols (already on the root surface), plus `equals` as `dimensionsEqual`. */\nexport {\n  explainQuantity,\n  CATALOG_GRAPH,\n  CANONICAL_GRAPH,\n  M_SUN_KG,\n  composeSymbolic,\n  format,\n  equals as dimensionsEqual,\n  buildVizModel,\n  renderDotToSvg,\n  equationLanding,\n  analyzeUserEquation,\n  suggestQuantities,\n  buckinghamPi,\n  dimensionallyDetermines,\n} from './index.js';\n/** Numeric composition of two graph edges. The grade is the lower of the two, and a chain stays provisional. */\nexport { composeEdges } from './index.js';\n// Landing-report summariser (persona W3) — internal, not on the public barrel.\nexport { formatConnectedSummary } from './composition/user-equation.js';\n\n// Internal analysis surface (bridge-analysis.ts).\nexport {\n  bridgePriority,\n  attemptDerivation,\n  dimensionalFreedom,\n  linkageMap,\n  proposeLinkCandidates,\n  proposeOrphanConnectors,\n} from './composition/bridge-analysis.js';\n\n// Other internal modules the CLI drives.\nexport {\n  getFormulaParser,\n  getFormulaParserKind,\n  getFormulaDimensionChecker,\n} from './numerical/formula-registry.js';\nexport { parseDimensionSpec } from './dimensional/dimension-spec.js';\nexport { predictMissingBridges } from './composition/bridge-prediction.js';\nexport { catalogFrontierAccount, formatFrontierAccount } from './composition/frontier-account.js';\nexport { rankDiscoveries, ANCHOR_DEFAULT } from './composition/discovery.js';\n/** The one magnitude-evidence predicate behind the two promising tiers, and the selector of both tiers. */\nexport { hasMagnitudeEvidence, isPromisingTier } from './composition/discovery.js';\nexport { BRIDGE_EQUATIONS } from './bridges/index.js';\nexport { auditCoverage } from './composition/audit-coverage.js';\nexport {\n  CONFRONTATIONS,\n  listConfrontations,\n  runConfrontation,\n  confrontationRigor,\n  rigorDistribution,\n} from './bridges/confrontations.js';\n/** Ask for a caller-table confrontation. The catalog status does not change. */\nexport { requestCallerTableConfrontation } from './bridges/caller-table.js';\n/** The catalog row, the id parser (and its non-throwing form), and the relation a numeric id evaluates. */\nexport { catalogEntry, catalogIdNumber, parseBridgeId, primaryRelation } from './bridges/catalog-load.js';\n/** The graph key of a catalog number (`be-<n>`): the one place that spelling is written. */\nexport { catalogEdgeKey } from './bridges/catalog-load.js';\n/** `_` written as `-`: the one fold every spelling comparison uses. */\nexport { foldName } from './dimensional/quantity-registry.js';\n/** The two composition demonstrations the CLI prints. */\nexport { demonstrationEdges } from './composition/catalog-graph.js';\nexport type { ConfrontationEntry, RigorTier } from './bridges/confrontations.js';\nexport { consistencyComparison } from './bridges/observations/types.js';\nexport type { ConfrontationOutcome } from './bridges/observations/types.js';\nexport { decidingMeasurement } from './bridges/sensitivity.js';\n// Bridge-evaluator dispatch (`upt evaluate`) + axis-discrimination audit (`upt axes`).\nexport { BRIDGE_EVALUATORS, evaluateBridge } from './bridges/evaluators.js';\n/**\n * The input-contract errors: an absent, unknown, non-number, non-finite or twice-given input.\n * `upt evaluate` reports each as a bad value (exit 1), never a usage error (exit 2), prefixed `upt evaluate:`.\n */\nexport {\n  DuplicateInputError,\n  InputTypeError,\n  isInputContractError,\n  MissingInputError,\n  NonFiniteInputError,\n  UnknownInputError,\n} from './bridges/evaluation-errors.js';\nexport type { EvaluatorSpec, EvaluatorParameter } from './bridges/evaluators.js';\nexport { resolveEvaluatorInputs } from './bridges/evaluator-inputs.js';\nexport { APPLIED_CASES, runAppliedCase } from './cases/index.js';\nexport type { AppliedCase, CaseCheck, CaseResult } from './cases/index.js';\n/** The unit reader's conversion, its refusal and the rows of the unit table. */\nexport { convertValue, UnitError, unitRows } from './dimensional/units.js';\n/** The axis-discrimination audit and the level (0.05) at which an axis's evidence is earned. */\nexport { auditAxisDiscrimination, AUDIT_ALPHA } from './composition/axis-audit.js';\nexport type { AxisDiscrimination } from './composition/axis-audit.js';\nexport { AXES } from './composition/axes.js';\nexport type { AxisSpec } from './composition/axes.js';\nexport { simplifyObservable, isSimplifierAvailable } from './composition/expr-simplify.js';\nexport {\n  CANONICAL_EQUATIONS,\n  bridgesWithoutCanonicalPartner,\n} from './canonical/registry.js';\nexport { scanLinkages } from './canonical/linkage.js';\nexport { deriveProposedBridges } from './composition/proposed-bridges.js';\nexport { describeDerivedClaim } from './composition/consequence.js';\n// `upt map --relation= --evidence=` overlay filtering (S2.4). Internal: the\n// published surface is pinned by tests/api/public-surface.test.ts.\n// Relation filtering and the legend stay in graph-viz. Catalog evidence\n// derivation lives in cli/map-evidence.ts, which is what calls it.\nexport { filterEdges, formatFilterLegend } from './composition/graph-viz.js';\nexport { deriveEdgeEvidence } from './cli/map-evidence.js';\n/**\n * `upt map --communities | --cycles | --rank-hubs`: layout communities (Louvain, heuristic; never\n * physics), derivation cycles, and betweenness hub ranking on demand. Internal.\n */\nexport { communitiesOf, derivationCycles, rankHubs } from './composition/graph-structure.js';\n/** The community report, one derivation cycle, and one hub rank, as `upt map` prints them. */\nexport type { CommunityReport, DerivationCycle, HubRank } from './composition/graph-structure.js';\n\n/**\n * Experimental Product B (expression / residual search). Not the identification\n * funnel (`rankDiscoveries`). CLI `upt probe` only.\n */\nexport {\n  DEFAULT_SEARCH_BUDGET,\n  scanFrontier,\n  findFrontierGap,\n  expressionSearchGaps,\n  scanWithExpressionGaps,\n  problemFromResidualGap,\n  makeResidualGap,\n  loadSearchProblemFromJson,\n  resolveObservationsPath,\n  parseExprJson,\n  ProblemFileError,\n  runProbeSearch,\n  nodeWorkerArgv,\n  formatProbeReport,\n  loadStudyFromJson,\n  loadStudyFile,\n  runProbeStudy,\n  formatProbeStudy,\n  formatFrontierScan,\n  formatFrontierGap,\n  suggestDiscriminatingPoint,\n  parseDesignBounds,\n  runFalsification,\n  rankPareto,\n} from './composition/probe/index.js';\n\n// Adjudication ledger (composition/adjudication.ts) — annotates discovery\n// candidates with recorded human verdicts; never mutates the funnel.\nexport {\n  annotateAdjudications,\n  adjudicationFor,\n  candidateId,\n  ADJUDICATIONS,\n} from './composition/adjudication.js';\nexport type { AnnotatedCandidate } from './composition/adjudication.js';\n/** One record of the adjudication ledger, exported from its owner, the catalog file's types. */\nexport type { CatalogAdjudication } from './bridges/catalog-types.js';\n\n// Consequence propagation (composition/consequence.ts) — annotates discovery\n// candidates with the entailed/novel-consequence/inconclusive signal; never\n// mutates the catalog/graph, never re-orders or re-scores.\nexport { annotateConsequences } from './composition/consequence.js';\nexport type {\n  ConsequenceAnnotatedCandidate,\n  ConsequenceSignal,\n  ConsequenceEvidence,\n} from './composition/consequence.js';\n\n// Epistemic-grounding ledger (composition/grounding.ts) — a pure, derived view\n// over each candidate's falsifier results: which gates passed vs abstained, plus\n// the honest no-mechanism/no-data ceiling. Annotation-only; changes no verdict.\n// Atlas Phase 1 convention comparison — `upt recover` uses it to flag a\n// bridge↔canonical pair whose DECLARED sign/unit choices disagree. Advisory\n// only: it changes no classification and no exit code.\nexport { checkConventions, unknownConventionKeys } from './atlas/conventions.js';\nexport type { ConventionKey } from './atlas/conventions.js';\n\nexport { describeGrounding, describeReadiness } from './composition/grounding.js';\nexport { REPRESENTATIVE_VALUES } from './composition/representative-values.js';\n// User formula vs the canonical equation it restates (persona finding L2).\nexport {\n  compareWithCanonical,\n  compareUserEquation,\n  describeComparison,\n  describeComparisons,\n  describeKnownRelation,\n  matchingCatalogEdges,\n} from './composition/canonical-compare.js';\n/** The comparison row, the catalog-edge match, and the exponent-difference diagnosis of a form mismatch. */\nexport type { CanonicalComparison, CatalogEdgeMatch, ExponentDifference } from './composition/canonical-compare.js';\n/** One line for an exponent difference (`yours/canonical ∝ mass^-1 (R² = 1): …`), for `upt derive` to print. */\nexport { describeExponentDifference } from './composition/canonical-compare.js';\n/** One owner for \"a constant times that one\" (proposal 6): `upt derive` recovers its prefactor here. */\nexport {\n  FIXED_POINT_EXPONENTS,\n  constantRatio,\n  fixedPoint,\n  recoverMonomialPrefactor,\n} from './canonical/fixed-points.js';\n/** The fixed-point scheme, the ratio statistic and the recovery result types of `canonical/fixed-points.ts`. */\nexport type {\n  ConstantRatio,\n  ConstantRatioOptions,\n  FixedPointScheme,\n  PrefactorRecovery,\n  PrefactorRecoveryScheme,\n  RatioStatistic,\n} from './canonical/fixed-points.js';\nexport { CONSTANTS, CONSTANT_PROVENANCE } from './dimensional/symbolic-constants.js';\n/** The one decimal-literal rule (`2`, `1e3`; not `0x2`, `''`, `Infinity`): a symbol name that is a number. */\nexport { isDecimalLiteral } from './dimensional/ast-leaves.js';\n/** The one scalar-leaf walk of an `ExprNode`: `op` arguments always, other arms as the caller opts in. */\nexport { forEachScalarLeaf } from './dimensional/ast-leaves.js';\nexport type { CandidateGrounding, CandidateReadiness } from './composition/grounding.js';\n\n// Atlas Phase 2 CLI surface (`upt regime`, `upt path`). Regime admission and\n// route bounds are `@internal`; the CLI is their only consumer today.\nexport { OSCILLATOR_FAMILY } from './atlas/oscillators/index.js';\nexport { ATLAS_FAMILIES } from './atlas/families.js';\nexport { deriveEvidence, deriveCompositeEvidence, NO_PASSING_WITNESSES, provedWithUnresolvedCounterexample } from './atlas/derive-evidence.js';\nexport { summarizeEvidence, ALL_EVIDENCE_TAGS } from './atlas/coverage.js';\nexport { runWitnessRegistry } from './atlas/witness-artifact.js';\nexport { WITNESS_REGISTRY } from './atlas/witness-specs.js';\nexport { runNumericWitness } from './atlas/witness-numeric.js';\nexport {\n  OBSERVABLE_CARRIAGES,\n  OBSERVABLE_TRANSLATIONS,\n  carriageOf,\n  runTranslationCheck,\n  translationsOf,\n} from './atlas/translation-registry.js';\nexport type { ObservableCarriage, ObservableTranslation, PointCheck } from './atlas/translation.js';\nexport type { AtlasFamily } from './atlas/family.js';\nexport { collidingRegimeGroups, regimeHolds, regimeOverlap, uncoveredRegions } from './atlas/regime.js';\nexport { domainRegimeRegistrations } from './relations/regime-registration.js';\nexport type { RegimeCheck, RegimeOverlap, RegionSample } from './atlas/regime.js';\nexport { familyChangeBlocksHorizon, findPath, findAtlasPath, enumerateAtlasRoutes, boundPath, horizonOnRoute, routeEntryModels } from './atlas/path-bound.js';\nexport { composeRelation } from './atlas/composition-table.js';\nexport type { PathBoundResult, PathBoundClaim, PathNoClaim, AppliedTransport } from './atlas/path-bound.js';\nexport type { AtlasBridge, RegimeInequality, Witness } from './atlas/types.js';\nexport { MissingLipschitzError } from './atlas/types.js';\nexport type { AtlasModel, ModelId } from './atlas/model.js';\n\n/**\n * Catalog formal reference for `upt atlas`.\n *\n * @internal\n */\nexport { catalogFormalRef } from './atlas/catalog-formal-ref.js';\n\n/**\n * Composition recovery scan for `upt recover`.\n *\n * @internal\n */\nexport { scanCompositionRecovery } from './composition/composition-recovery.js';\n\n/**\n * Exact metrics and geodesic integrators for `upt metric`.\n *\n * @internal\n */\nexport {\n  curvatureReport,\n  kerrEquatorialCircular,\n  kerrGeodesic,\n  kerrTurningPointOrbit,\n  MetricMassError,\n  MetricValueError,\n  schwarzschildCircularOrbit,\n  type MetricId,\n} from './numerical/spacetime-metrics.js';\n/** One split of a `name=value` token; a null is the command's own usage or value error. */\nexport { splitAssignment } from './core/assignment.js';\n\n/**\n * Binding readers for `upt eval`, `upt evaluate`, `upt regime`, and `upt path`.\n *\n * @internal\n */\nexport { readBinding, bindingInUnit, readNamedBinding, BindingNumberError, TemperatureBindingError } from './numerical/binding-value.js';\n/** GUM propagation through a closed-form evaluator, and the correlation-matrix check, for `upt evaluate --sigma/--corr`. */\nexport { propagateEvaluatorUncertainty, correlationIsPositiveSemidefinite } from './numerical/evaluator-uncertainty.js';\n/** One propagated output, and one input's share of it. */\nexport type { PropagatedOutput, UncertaintyContribution } from './numerical/evaluator-uncertainty.js';\n/** A stated constant checked against the registry; a disagreement is its own error. */\nexport { constantAgreement, ConstantDisagreementError } from './dimensional/symbolic-constants.js';\n/** Thrown when a formula string does not parse or names an unbound symbol. */\nexport { FormulaError, FormulaValueError } from './numerical/formula-contract.js';\n/** The quantity names a target is bound under, the near names of a miss, and the synonym fold. */\nexport { aliasesForTarget, nearQuantityNames, shareSynonyms } from './composition/aliases.js';\n/** Synonym agreement and expansion of a binding set. */\nexport { assertSynonymAgreement, expandSynonymValues } from './dimensional/formula-names.js';\n/** A dimensionless group a canonical equation multiplies (sound-speed's gamma): an input, not a graph node. */\nexport { CANONICAL_GROUP_PREFACTORS } from './composition/canonical-prefactors.js';\n/** The one number formatter of explain text. */\nexport { formatQuantity, formatExact } from './composition/explain.js';\n/** A fraction printed as a percentage (fixed decimals, or significant digits for a statistic). */\nexport { formatPercent } from './core/format.js';\n/** A monomial odd in both carrier charge and mobility with opposite signs. */\nexport { CarrierSignError } from './bridges/carrier-sign.js';\n/** The constant values a natural-unit mode overrides. */\nexport { naturalConstantOverrides } from './dimensional/natural-units.js';\n/** The constant-value mode a formula is evaluated in: SI, natural, or geometrized. */\nexport type { UnitMode } from './dimensional/natural-units.js';\n/** Kebab catalog names rewritten to one symbol each before a formula is parsed. */\nexport { escapeRegExp, rewriteCatalogHyphens } from './dimensional/hyphen-names.js';\n/** The ledger id of an orphan-connector pair, when both names are slugs. */\nexport { candidateIdIfSlug } from './composition/adjudication.js';\n/** The catalog or parameter name a spelling means. The commands call this, not a second table. */\nexport { resolveQuantityName } from './index.js';\n/** The edge and the closed-form evaluator for an id. An evaluator with no edge is not unknown. */\nexport { evaluateResolved, resolveEvaluable } from './composition/evaluate-relation.js';\n/** The SI unit of a dimension, in the form `parseUnit` reads back. The CLI's derived label reads it. */\nexport { siUnitOf } from './dimensional/algebra.js';\n/** The required inputs of an evaluator that no relation source reads. They do not change the value. */\nexport { unusedInputKeys } from './bridges/evaluators.js';\n/** Two spellings of one quantity were given different numbers. The formula is not run. */\nexport { SynonymDisagreementError } from './dimensional/formula-names.js';\n/** `upt retrieve`: the canonical corpus, the optional Ollama embedder, and the atlas-accepted hybrid search. */\nexport { canonicalRetrievalCorpus, ollamaEmbedder, retrieveHybrid } from './atlas/benchmark/hybrid-retrieval.js';\n\n/**\n * Builtin dimension checker for `upt eval`.\n *\n * @internal\n */\nexport { builtinFormulaDimensionChecker } from './numerical/formula-dimension.js';\n\n/**\n * Missing-evaluator message for `upt evaluate`.\n *\n * @internal\n */\nexport { missingEvaluatorMessage } from './bridges/evaluators.js';\n\n/** The caveats printed beside a relation's value: its own notice and the notes of the constants it names. */\nexport { relationNotices } from './bridges/notices.js';\n/** The notes of the registered constants a formula names. */\nexport { constantNotes } from './dimensional/symbolic-constants.js';\n\n/** Quantity-graph edge type for `upt map`. @internal */\nexport type { BridgeEdge } from './composition/edge.js';\n\n/** Visual map types for `upt map`. @internal */\nexport type { VizJunction, VizModel } from './composition/graph-viz.js';\n\n/** Relation vocabulary types for `upt map`. @internal */\nexport type { EvidenceTag, RelationType } from './atlas/types.js';\n\n/** User-equation analysis type for `upt map`. @internal */\nexport type { EquationAnalysis } from './composition/user-equation.js';\n"]}

package/dist/composition/canonical-graph.d.ts

@@ -84,14 +84,14 @@ export declare const CANONICAL_CONSTANTS: Readonly<Record<string, ConstantDef>>;
  * Project canonical equations into composition-graph edges (defaults to the
  * full registry). See the module docstring for the modelling decisions.
  *
- * @internal
+ * @public
  */
 export declare function canonicalToEdges(equations?: readonly CanonicalEquation[]): BridgeEdge[];
 /**
  * The standard-physics composition graph: every canonical equation as an
  * `established` `law` edge. The bridge-free counterpart to `CATALOG_GRAPH`.
  *
- * @internal
+ * @public
  */
 export declare const CANONICAL_GRAPH: readonly BridgeEdge[];
 //# sourceMappingURL=canonical-graph.d.ts.map

package/dist/composition/canonical-graph.js

@@ -537,7 +537,7 @@ function toEdge(eq) {
  * Project canonical equations into composition-graph edges (defaults to the
  * full registry). See the module docstring for the modelling decisions.
  *
- * @internal
+ * @public
  */
 export function canonicalToEdges(equations = CANONICAL_EQUATIONS) {
     return equations.map(toEdge);
@@ -546,7 +546,7 @@ export function canonicalToEdges(equations = CANONICAL_EQUATIONS) {
  * The standard-physics composition graph: every canonical equation as an
  * `established` `law` edge. The bridge-free counterpart to `CATALOG_GRAPH`.
  *
- * @internal
+ * @public
  */
 export const CANONICAL_GRAPH = canonicalToEdges();
 //# sourceMappingURL=canonical-graph.js.map