universal-physics-tensor 10.0.0 → 11.0.0

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

@@ -1 +1 @@
-{"version":3,"file":"main.d.ts","sourceRoot":"","sources":["../../src/cli/main.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAUH,OAAO,EAA8C,KAAK,EAAE,EAAE,MAAM,aAAa,CAAC;AAElF,OAAO,qBAAqB,CAAC;AAmC7B,wBAAsB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,GAAE,EAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAoDhF"}
+{"version":3,"file":"main.d.ts","sourceRoot":"","sources":["../../src/cli/main.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAUH,OAAO,EAA8C,KAAK,EAAE,EAAE,MAAM,aAAa,CAAC;AAElF,OAAO,qBAAqB,CAAC;AAuB7B;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,GAAE,IAAI,CAAC,EAAE,EAAE,KAAK,CAAa,GAAG,MAAM,CAI3F;AAiBD,wBAAsB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,GAAE,EAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAoDhF"}

package/dist/cli/main.js

@@ -37,6 +37,19 @@ function stdoutRaw(s) {
     process.stdout.write(s);
 }
 const defaultIo = { out: stdoutLine, err: stderrLine, write: stdoutRaw };
+/** EX_SOFTWARE (sysexits.h): the exit code of a defect, an error `runCli` did not map. */
+const EX_SOFTWARE = 70;
+/**
+ * The last-resort handler `bin/upt.mjs` calls when `runCli` rethrows: a defect, since every
+ * usage error and value refusal was mapped to an exit code inside `runCli`. Prints one line,
+ * `upt: internal error: <message>` (the message, not the stack), and returns 70 (EX_SOFTWARE).
+ * A thrown value that is not an Error, or an Error with no message, prints as its string.
+ */
+export function reportInternalError(error, io = defaultIo) {
+    const message = error instanceof Error && error.message !== '' ? error.message : String(error);
+    io.err(`upt: internal error: ${message}`);
+    return EX_SOFTWARE;
+}
 const unknownCommandMessage = (name) => `Unknown command '${name}'. See \`upt help\`.`;
 const GLOBAL_FILE_OPTION = /^--(record|replay|show-record)(?:=(.*))?$/;
 /**
@@ -127,7 +140,7 @@ async function dispatch(argv, io) {
             if (!explainCmd) {
                 throw new CliError("upt: the demo needs the 'explain' command, which is not registered yet");
             }
-            const explainArgs = parseArgs('explain', ['hawking-temperature', 'mass=1.989e30'], explainCmd.flags);
+            const explainArgs = parseArgs('explain', ['hawking-temperature', 'mass=1.989e30'], explainCmd.flags, explainCmd.positionals);
             const explainCtx = { args: explainArgs, api, out, err, write };
             const explainStatus = await explainCmd.run(explainCtx);
             if (explainStatus !== 0)
@@ -136,7 +149,7 @@ async function dispatch(argv, io) {
             if (!priorityCmd) {
                 throw new CliError("upt: the demo needs the 'priority' command, which is not registered yet");
             }
-            const priorityArgs = parseArgs('priority', [], priorityCmd.flags);
+            const priorityArgs = parseArgs('priority', [], priorityCmd.flags, priorityCmd.positionals);
             const priorityCtx = { args: priorityArgs, api, out, err, write };
             return await priorityCmd.run(priorityCtx);
         }
@@ -183,7 +196,9 @@ async function dispatch(argv, io) {
             out(command.help);
             return 0;
         }
-        const parsed = parseArgs(command.name, rest, command.flags);
+        // The parser refuses a positional past the command's declared arity (none when it
+        // declares none), so a token the command would not read never reaches `run`.
+        const parsed = parseArgs(command.name, rest, command.flags, command.positionals);
         const ctx = { args: parsed, api, out, err, write };
         return await command.run(ctx);
     }

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,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,CAAC,CAAC;YACrG,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,CAAC,CAAC;YAClE,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,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QAC5D,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\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);\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);\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    const parsed = parseArgs(command.name, rest, command.flags);\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,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"]}

package/dist/cli/numeric-flag.d.ts

@@ -0,0 +1,12 @@
+/**
+ * The integer a flag was given, or a `UsageError` naming the flag and the token.
+ * `command` is the command word for the message (`''` for an option of upt itself);
+ * `label` names the flag (`--max-routes`, or `--sweep sample count` for one field of a value).
+ */
+export declare function integerFlag(command: string, label: string, raw: string): number;
+/**
+ * The real number a flag was given, or a `UsageError` naming the flag and the token. The
+ * arguments are {@link integerFlag}'s. An exponent is a decimal form (`1e-3`); hex is not.
+ */
+export declare function realFlag(command: string, label: string, raw: string): number;
+//# sourceMappingURL=numeric-flag.d.ts.map

package/dist/cli/numeric-flag.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"numeric-flag.d.ts","sourceRoot":"","sources":["../../src/cli/numeric-flag.ts"],"names":[],"mappings":"AAyBA;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAO/E;AAED;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAO5E"}

package/dist/cli/numeric-flag.js

@@ -0,0 +1,44 @@
+/**
+ * The one reader of a numeric flag value for the UPT CLI.
+ *
+ * `Number()` accepts hex (`0x10`), binary, octal, an exponent on an integer (`1e1`), and reads
+ * `''` and whitespace as 0, so a flag read through it took a value the user did not type
+ * (`upt map --max-routes=0x10` ran with 16). An integer flag is digits with an optional sign; a
+ * real flag is a decimal with an optional fraction and exponent, the AST's one literal rule
+ * (`DECIMAL_LITERAL`, `src/dimensional/ast-leaves.ts`). A token outside the grammar is
+ * a malformed invocation (`UsageError`, exit 2) naming the flag and the token; a well-formed
+ * value outside the flag's range is the command's own value refusal (exit 1), judged after.
+ *
+ * @module cli/numeric-flag
+ * @internal
+ */
+import { DECIMAL_LITERAL } from '../dimensional/ast-leaves.js';
+import { UsageError } from './errors.js';
+/** `3`, `-2`, `+7`, `010`: digits with an optional sign, nothing else. */
+const INTEGER = /^[+-]?\d+$/;
+/** The help pointer, worded as the parser's unknown-flag message words it. */
+function hint(command) {
+    return command === '' ? 'see upt help' : `see upt help ${command.split(' ')[0]}`;
+}
+/**
+ * The integer a flag was given, or a `UsageError` naming the flag and the token.
+ * `command` is the command word for the message (`''` for an option of upt itself);
+ * `label` names the flag (`--max-routes`, or `--sweep sample count` for one field of a value).
+ */
+export function integerFlag(command, label, raw) {
+    if (!INTEGER.test(raw)) {
+        throw new UsageError(`upt${command === '' ? '' : ` ${command}`}: ${label} '${raw}' is not an integer (digits only, such as 3 or -2; ${hint(command)})`);
+    }
+    return Number(raw);
+}
+/**
+ * The real number a flag was given, or a `UsageError` naming the flag and the token. The
+ * arguments are {@link integerFlag}'s. An exponent is a decimal form (`1e-3`); hex is not.
+ */
+export function realFlag(command, label, raw) {
+    if (!DECIMAL_LITERAL.test(raw)) {
+        throw new UsageError(`upt${command === '' ? '' : ` ${command}`}: ${label} '${raw}' is not a number (a decimal such as 2, 0.5 or 1e-3; ${hint(command)})`);
+    }
+    return Number(raw);
+}
+//# sourceMappingURL=numeric-flag.js.map

package/dist/cli/numeric-flag.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"numeric-flag.js","sourceRoot":"","sources":["../../src/cli/numeric-flag.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,0EAA0E;AAC1E,MAAM,OAAO,GAAG,YAAY,CAAC;AAE7B,8EAA8E;AAC9E,SAAS,IAAI,CAAC,OAAe;IAC3B,OAAO,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,gBAAgB,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACnF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,OAAe,EAAE,KAAa,EAAE,GAAW;IACrE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,UAAU,CAClB,MAAM,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,OAAO,EAAE,KAAK,KAAK,KAAK,GAAG,sDAAsD,IAAI,CAAC,OAAO,CAAC,GAAG,CAClI,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;AACrB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAC,OAAe,EAAE,KAAa,EAAE,GAAW;IAClE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,UAAU,CAClB,MAAM,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,OAAO,EAAE,KAAK,KAAK,KAAK,GAAG,wDAAwD,IAAI,CAAC,OAAO,CAAC,GAAG,CACpI,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;AACrB,CAAC","sourcesContent":["/**\n * The one reader of a numeric flag value for the UPT CLI.\n *\n * `Number()` accepts hex (`0x10`), binary, octal, an exponent on an integer (`1e1`), and reads\n * `''` and whitespace as 0, so a flag read through it took a value the user did not type\n * (`upt map --max-routes=0x10` ran with 16). An integer flag is digits with an optional sign; a\n * real flag is a decimal with an optional fraction and exponent, the AST's one literal rule\n * (`DECIMAL_LITERAL`, `src/dimensional/ast-leaves.ts`). A token outside the grammar is\n * a malformed invocation (`UsageError`, exit 2) naming the flag and the token; a well-formed\n * value outside the flag's range is the command's own value refusal (exit 1), judged after.\n *\n * @module cli/numeric-flag\n * @internal\n */\nimport { DECIMAL_LITERAL } from '../dimensional/ast-leaves.js';\nimport { UsageError } from './errors.js';\n\n/** `3`, `-2`, `+7`, `010`: digits with an optional sign, nothing else. */\nconst INTEGER = /^[+-]?\\d+$/;\n\n/** The help pointer, worded as the parser's unknown-flag message words it. */\nfunction hint(command: string): string {\n  return command === '' ? 'see upt help' : `see upt help ${command.split(' ')[0]}`;\n}\n\n/**\n * The integer a flag was given, or a `UsageError` naming the flag and the token.\n * `command` is the command word for the message (`''` for an option of upt itself);\n * `label` names the flag (`--max-routes`, or `--sweep sample count` for one field of a value).\n */\nexport function integerFlag(command: string, label: string, raw: string): number {\n  if (!INTEGER.test(raw)) {\n    throw new UsageError(\n      `upt${command === '' ? '' : ` ${command}`}: ${label} '${raw}' is not an integer (digits only, such as 3 or -2; ${hint(command)})`,\n    );\n  }\n  return Number(raw);\n}\n\n/**\n * The real number a flag was given, or a `UsageError` naming the flag and the token. The\n * arguments are {@link integerFlag}'s. An exponent is a decimal form (`1e-3`); hex is not.\n */\nexport function realFlag(command: string, label: string, raw: string): number {\n  if (!DECIMAL_LITERAL.test(raw)) {\n    throw new UsageError(\n      `upt${command === '' ? '' : ` ${command}`}: ${label} '${raw}' is not a number (a decimal such as 2, 0.5 or 1e-3; ${hint(command)})`,\n    );\n  }\n  return Number(raw);\n}\n"]}

package/dist/cli/output.d.ts

@@ -7,7 +7,27 @@
  * deep-copies a value into a JSON-safe shape first, encoding NaN/Infinity
  * as explicit strings so round-tripping through JSON preserves them.
  */
+import { UsageError, type CliError } from './errors.js';
 import type { AnchorScope } from './graphs.js';
+/**
+ * The `--json` form of a refusal: no `result`; the error's kind (`usage` for a malformed
+ * invocation, `value` for a value the command refuses), the exit code the process returns,
+ * and the message the text mode prints on stderr.
+ */
+export interface JsonErrorEnvelope {
+    command: string;
+    error: {
+        kind: 'usage' | 'value';
+        exitCode: 1 | 2;
+        message: string;
+    };
+}
+/**
+ * Write a refusal as a JSON envelope on stdout and return the exit code it stands for: 2 for a
+ * `UsageError`, 1 for a `CliError`. A command that answers in JSON calls this instead of
+ * letting the dispatcher print the message on stderr, so a JSON consumer reads one stream.
+ */
+export declare function emitJsonError(command: string, e: UsageError | CliError, write?: (s: string) => void): 1 | 2;
 /** The shape of every `--json` output: the command, what it read, and its result. */
 export interface JsonEnvelope {
     command: string;

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,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,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,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"}

package/dist/cli/output.js

@@ -8,6 +8,21 @@
  * as explicit strings so round-tripping through JSON preserves them.
  */
 import { definitionsFor } from './statuses.js';
+import { UsageError } from './errors.js';
+/**
+ * Write a refusal as a JSON envelope on stdout and return the exit code it stands for: 2 for a
+ * `UsageError`, 1 for a `CliError`. A command that answers in JSON calls this instead of
+ * letting the dispatcher print the message on stderr, so a JSON consumer reads one stream.
+ */
+export function emitJsonError(command, e, write = (s) => process.stdout.write(s)) {
+    const usage = e instanceof UsageError;
+    const envelope = {
+        command,
+        error: { kind: usage ? 'usage' : 'value', exitCode: usage ? 2 : 1, message: e.message },
+    };
+    write(JSON.stringify(envelope, null, 2) + '\n');
+    return envelope.error.exitCode;
+}
 export function sanitize(v) {
     if (typeof v === 'number') {
         if (Number.isNaN(v))

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;AAkC/C,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 type { AnchorScope } from './graphs.js';\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,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"]}

package/dist/cli/record-reach.js

@@ -18,7 +18,7 @@
  * The same import graph gives the modules the command loads. Each one's source is hashed, so a
  * change to a literal a module keeps private, which no constant table holds, is still named.
  */
-import { createHash } from 'node:crypto';
+import { sha256Hex } from '../core/hash.js';
 import { existsSync, readFileSync } from 'node:fs';
 import { dirname, join, resolve, sep } from 'node:path';
 import { MODULE_EXT, SOURCE_ROOT, tableName } from './record-tables.js';
@@ -157,7 +157,7 @@ function loadedModules(command) {
  */
 export function sourceHash(file) {
     try {
-        return createHash('sha256').update(readFileSync(file)).digest('hex');
+        return sha256Hex(readFileSync(file));
     }
     catch (e) {
         const code = e instanceof Error && 'code' in e && typeof e.code === 'string' ? e.code : 'error';

package/dist/cli/record-reach.js.map

@@ -1 +1 @@
-{"version":3,"file":"record-reach.js","sourceRoot":"","sources":["../../src/cli/record-reach.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAkB,MAAM,oBAAoB,CAAC;AAExF,MAAM,CAAC,MAAM,YAAY,GAAG,qBAAqB,CAAC;AA2BlD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;AACzC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAU,EAAE;IACpC,IAAI,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzB,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACpB,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AAEF,SAAS,WAAW,CAAC,IAAY,EAAE,IAAY;IAC7C,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,IAAI,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IACxC,IAAI,UAAU,KAAK,KAAK;QAAE,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IACnE,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACxC,CAAC;AAED,4FAA4F;AAC5F,SAAS,WAAW,CAAC,MAAc;IACjC,MAAM,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7C,IAAI,EAAE;QAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IAC9B,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,GAAG,CAAC;IAC1C,MAAM,KAAK,GAAuB,EAAE,CAAC;IACrC,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,MAAM,EAAE,CAAC;QACX,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACxC,MAAM,CAAC,GAAG,6CAA6C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IACD,MAAM,GAAG,GAAG,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;IAC9D,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,WAAW,GAAG,qEAAqE,CAAC;AAC1F,MAAM,WAAW,GAAG,8BAA8B,CAAC;AACnD,MAAM,OAAO,GAAG,wCAAwC,CAAC;AAEzD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoD,CAAC;AAE3E,SAAS,KAAK,CAAC,IAAY;IACzB,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,GAAG;QAAE,OAAO,GAAG,CAAC;IACpB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,SAAS,GAAe,EAAE,CAAC;IACjC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3C,IAAI,CAAC,CAAC,CAAC,CAAC;YAAE,SAAS;QACnB,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ;YAAE,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;;YAC1D,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,KAAK,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC9H,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,IAAI,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,IAAI,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,GAAG,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IACjC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACtB,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,IAAY,EAAe,EAAE,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC;AAE5F,qGAAqG;AACrG,SAAS,QAAQ,CAAC,IAAY;IAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,EAAE,UAAU,UAAU,EAAE,CAAC,CAAC;IACzD,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5B,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,CAAC;QACzC,IAAI,EAAE,CAAC,KAAK,KAAK,GAAG;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;;YACzD,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK;gBAAE,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC;oBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACjJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;qGACqG;AACrG,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAU,EAAE,CACtD,IAAI,CAAC,OAAO,CAAC,2BAA2B,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC;AAEhF,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,IAAY,EAAU,EAAE,CACtD,IAAI,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,cAAc,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC;AAEjG,MAAM,KAAK,GAAG,IAAI,GAAG,EAA8B,CAAC;AACpD,MAAM,WAAW,GAAG,IAAI,GAAG,EAA+D,CAAC;AAE3F,iGAAiG;AACjG,SAAS,aAAa,CAAC,OAAe;IACpC,IAAI,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,WAAW,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC;IAC/D,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,OAAO,GAAG,UAAU,EAAE,CAAC,CAAC;IAC7E,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACtB,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,GAAG,GAAG,CAAC;IAE9C,6FAA6F;IAC7F,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,WAAW,GAAW,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;IACrB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QAC1B,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAC/B,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjB,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC5E,WAAW,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClH,CAAC;IACD,MAAM,GAAG,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IACpC,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAC9B,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,IAAI,CAAC;QACH,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvE,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,GAAG,CAAC,YAAY,KAAK,IAAI,MAAM,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;QAChG,OAAO,eAAe,IAAI,GAAG,CAAC;IAChC,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,OAAe;IAC3C,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE;QAAE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACpF,OAAO,GAAG,CAAC;AACb,CAAC;AAED,sGAAsG;AACtG,MAAM,UAAU,WAAW,CACzB,OAAe,EACf,MAA2D,EAC3D,KAAgC;IAEhC,IAAI,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC;IACnD,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC;IAErC,4FAA4F;IAC5F,MAAM,OAAO,GAAG,IAAI,GAAG,EAA6B,CAAC;IACrD,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,KAAqB,EAAQ,EAAE;QACzD,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QACpD,IAAI,IAAI,KAAK,GAAG;YAAE,OAAO;QACzB,MAAM,KAAK,GAAG,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACxB,OAAO;QACT,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtE,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;YACvC,IAAI,EAAE,CAAC,KAAK,KAAK,GAAG;gBAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;iBAC5D,CAAC;gBACJ,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;oBAC5C,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;wBAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACpG,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,WAAW;QAAE,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;IAEnD,MAAM,GAAG,GAA6B,EAAE,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,GAAG,IAAI,GAAG,UAAU,EAAE,CAAC,CAAC;QACvD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,KAAK,GAAG,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC;YAAE,SAAS;QAC1H,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,gBAAgB,EAAE,CAAC;YACrC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAClB,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,GAAG,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5G,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IAC1G,CAAC;IACD,MAAM,WAAW,GAAgB,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAChF,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAChC,OAAO,WAAW,CAAC;AACrB,CAAC","sourcesContent":["/**\n * Static attribution for an experiment record: which constants a command's code can reach\n * (design: `docs/planning/Experiment-Record-Replay-Design-Note.md`).\n *\n * The reach is derived from the import graph of the modules as they are on disk when the entry is\n * recorded, not declared by hand and not observed while the command runs. It is an UPPER BOUND:\n *\n * - from `cli/commands/<command>` every relative static and literal dynamic import is followed;\n * - a `cli/` module reaches the `cli-api` barrel through `ctx.api`, not through an import, so every\n *   barrel export whose name occurs as a word in a reached `cli/` module adds its source module;\n * - a named export of a module-exports table is reached when a reached module imports it by name\n *   or by namespace, re-exports it, or the table's own module mentions it outside its declaration;\n * - an object table is reached whole (`*`) when its module is reached.\n *\n * Comments and strings are not stripped, so a name mentioned only in a comment counts as reached:\n * that errs toward \"reachable\", never toward \"not reachable\".\n *\n * The same import graph gives the modules the command loads. Each one's source is hashed, so a\n * change to a literal a module keeps private, which no constant table holds, is still named.\n */\n\nimport { createHash } from 'node:crypto';\nimport { existsSync, readFileSync } from 'node:fs';\nimport { dirname, join, resolve, sep } from 'node:path';\nimport { MODULE_EXT, SOURCE_ROOT, tableName, type TableKind } from './record-tables.js';\n\nexport const REACH_METHOD = 'static-import-reach';\n\n/** The constant-table keys and module sources a recorded command can reach, by static import reach (it errs toward reachable). */\nexport interface Attribution {\n  method: typeof REACH_METHOD;\n  command: string;\n  /** Table name -> the keys the command's code can reach, or `['*']` for the whole table. */\n  tables: Record<string, string[]>;\n  /**\n   * Module name (as a table is named) -> SHA-256 of its source, for every module the command\n   * loads. Absent from entries written before module sources were hashed.\n   */\n  modules?: Record<string, string>;\n}\n\n/** A reached module reads `names` of `file`, `*` for all of them. */\ninterface Read {\n  file: string;\n  names: string[] | '*';\n}\n\n/** `file` re-exports: `pairs` as `[exported, original]` (`original` `*` for a namespace), or everything. */\ninterface Reexport {\n  file: string;\n  pairs: [string, string][] | '*';\n}\n\nconst source = new Map<string, string>();\nconst read = (file: string): string => {\n  let s = source.get(file);\n  if (s === undefined) {\n    s = readFileSync(file, 'utf8');\n    source.set(file, s);\n  }\n  return s;\n};\n\nfunction resolveSpec(from: string, spec: string): string | null {\n  if (!spec.startsWith('.')) return null;\n  let file = resolve(dirname(from), spec);\n  if (MODULE_EXT !== '.js') file = file.replace(/\\.js$/, MODULE_EXT);\n  return existsSync(file) ? file : null;\n}\n\n/** `[exported-or-local, original]` for each value binding of an import or export clause. */\nfunction clausePairs(clause: string): [string, string][] | '*' {\n  const ns = /\\*\\s*as\\s+([\\w$]+)/.exec(clause);\n  if (ns) return [[ns[1], '*']];\n  if (/^\\s*\\*\\s*$/.test(clause)) return '*';\n  const pairs: [string, string][] = [];\n  const braces = /\\{([^}]*)\\}/.exec(clause);\n  if (braces) {\n    for (const part of braces[1].split(',')) {\n      const m = /^\\s*(type\\s+)?([\\w$]+)(?:\\s+as\\s+([\\w$]+))?/.exec(part);\n      if (m && !m[1]) pairs.push([m[3] ?? m[2], m[2]]);\n    }\n  }\n  const def = /^\\s*([\\w$]+)\\s*(,|$)/.exec(clause);\n  if (def && def[1] !== 'type') pairs.push([def[1], 'default']);\n  return pairs;\n}\n\nconst STATIC_FROM = /\\b(import|export)\\s+(type\\s+)?([^'\";]*?)\\s*from\\s*['\"]([^'\"]+)['\"]/g;\nconst SIDE_EFFECT = /\\bimport\\s*['\"]([^'\"]+)['\"]/g;\nconst DYNAMIC = /\\bimport\\s*\\(\\s*['\"]([^'\"]+)['\"]\\s*\\)/g;\n\nconst parsed = new Map<string, { reads: Read[]; reexports: Reexport[] }>();\n\nfunction edges(file: string): { reads: Read[]; reexports: Reexport[] } {\n  const hit = parsed.get(file);\n  if (hit) return hit;\n  const text = read(file);\n  const reads: Read[] = [];\n  const reexports: Reexport[] = [];\n  for (const m of text.matchAll(STATIC_FROM)) {\n    if (m[2]) continue;\n    const target = resolveSpec(file, m[4]);\n    if (!target) continue;\n    const pairs = clausePairs(m[3]);\n    if (m[1] === 'export') reexports.push({ file: target, pairs });\n    else reads.push({ file: target, names: pairs === '*' || pairs.some(([, o]) => o === '*') ? '*' : pairs.map(([, o]) => o) });\n  }\n  for (const m of text.matchAll(SIDE_EFFECT)) {\n    const target = resolveSpec(file, m[1]);\n    if (target) reads.push({ file: target, names: [] });\n  }\n  for (const m of text.matchAll(DYNAMIC)) {\n    const target = resolveSpec(file, m[1]);\n    if (target) reads.push({ file: target, names: '*' });\n  }\n  const out = { reads, reexports };\n  parsed.set(file, out);\n  return out;\n}\n\nconst words = (text: string): Set<string> => new Set(text.match(/[A-Za-z_$][\\w$]*/g) ?? []);\n\n/** What a `cli/` module reaches through `ctx.api`: each `cli-api` export whose name occurs in it. */\nfunction apiReads(file: string): Read[] {\n  const barrel = join(SOURCE_ROOT, `cli-api${MODULE_EXT}`);\n  const w = words(read(file));\n  const out: Read[] = [];\n  for (const re of edges(barrel).reexports) {\n    if (re.pairs === '*') out.push({ file: re.file, names: '*' });\n    else for (const [exported, original] of re.pairs) if (w.has(exported)) out.push({ file: re.file, names: original === '*' ? '*' : [original] });\n  }\n  return out;\n}\n\n/** Comments that open a line: outside a multi-line template literal a line cannot begin code with\n * `/*` or `//`, so no code is removed. A comment after code stays, which errs toward \"reachable\". */\nconst withoutLeadingComments = (text: string): string =>\n  text.replace(/^[ \\t]*\\/\\*[\\s\\S]*?\\*\\//gm, '').replace(/^[ \\t]*\\/\\/.*$/gm, '');\n\nconst mentions = (text: string, name: string): number =>\n  text.match(new RegExp(`(?<![\\\\w$])${name.replace(/\\$/g, '\\\\$')}(?![\\\\w$])`, 'g'))?.length ?? 0;\n\nconst cache = new Map<string, Attribution | null>();\nconst loadedCache = new Map<string, { loaded: Set<string>; directReads: Read[] } | null>();\n\n/** Every module `command` loads, and what each reads, or null when the command has no module. */\nfunction loadedModules(command: string): { loaded: Set<string>; directReads: Read[] } | null {\n  if (loadedCache.has(command)) return loadedCache.get(command)!;\n  const seed = join(SOURCE_ROOT, 'cli', 'commands', `${command}${MODULE_EXT}`);\n  if (!existsSync(seed)) {\n    loadedCache.set(command, null);\n    return null;\n  }\n  const cliDir = join(SOURCE_ROOT, 'cli') + sep;\n\n  // Modules loaded: every import and re-export is followed, since loading runs top-level code.\n  const loaded = new Set<string>();\n  const directReads: Read[] = [];\n  const queue = [seed];\n  while (queue.length > 0) {\n    const file = queue.pop()!;\n    if (loaded.has(file)) continue;\n    loaded.add(file);\n    const { reads, reexports } = edges(file);\n    const all = file.startsWith(cliDir) ? [...reads, ...apiReads(file)] : reads;\n    directReads.push(...all);\n    for (const t of [...all.map((r) => r.file), ...reexports.map((r) => r.file)]) if (!loaded.has(t)) queue.push(t);\n  }\n  const out = { loaded, directReads };\n  loadedCache.set(command, out);\n  return out;\n}\n\n/**\n * SHA-256 of one module's source. The module was found when the import graph was walked, so a\n * failed read is not \"absent\": the value keeps which kind of failure it was (`unreadable (EACCES)`,\n * `unreadable (EISDIR)`, ...), not one word for all of them.\n */\nexport function sourceHash(file: string): string {\n  try {\n    return createHash('sha256').update(readFileSync(file)).digest('hex');\n  } catch (e) {\n    const code = e instanceof Error && 'code' in e && typeof e.code === 'string' ? e.code : 'error';\n    return `unreadable (${code})`;\n  }\n}\n\n/**\n * SHA-256 of the source of every module `command` loads, keyed by module name, read from disk now\n * (not from the parse cache), or null when the command has no module of its own.\n */\nexport function moduleSources(command: string): Record<string, string> | null {\n  const mods = loadedModules(command);\n  if (!mods) return null;\n  const out: Record<string, string> = {};\n  for (const file of [...mods.loaded].sort()) out[tableName(file)] = sourceHash(file);\n  return out;\n}\n\n/** The reach of `command`'s code into `tables`, or null when the command has no module of its own. */\nexport function staticReach(\n  command: string,\n  tables: Record<string, { values: Record<string, unknown> }>,\n  kinds: Record<string, TableKind>,\n): Attribution | null {\n  if (cache.has(command)) return cache.get(command)!;\n  const mods = loadedModules(command);\n  if (!mods) {\n    cache.set(command, null);\n    return null;\n  }\n  const { loaded, directReads } = mods;\n\n  // Names read: an import reads its names; a re-export passes on only the names read from it.\n  const namesOf = new Map<string, Set<string> | '*'>();\n  const mark = (file: string, names: string[] | '*'): void => {\n    const prev = namesOf.get(file) ?? new Set<string>();\n    if (prev === '*') return;\n    const fresh = names === '*' ? ['*'] : names.filter((n) => !prev.has(n));\n    if (fresh.length === 0) {\n      namesOf.set(file, prev);\n      return;\n    }\n    namesOf.set(file, names === '*' ? '*' : new Set([...prev, ...fresh]));\n    for (const re of edges(file).reexports) {\n      if (re.pairs === '*') mark(re.file, names === '*' ? '*' : fresh);\n      else {\n        for (const [exported, original] of re.pairs) {\n          if (names === '*' || fresh.includes(exported)) mark(re.file, original === '*' ? '*' : [original]);\n        }\n      }\n    }\n  };\n  for (const r of directReads) mark(r.file, r.names);\n\n  const out: Record<string, string[]> = {};\n  for (const [name, table] of Object.entries(tables)) {\n    const file = join(SOURCE_ROOT, `${name}${MODULE_EXT}`);\n    const names = namesOf.get(file);\n    if (!loaded.has(file) || tableName(file) !== name || names === undefined || (names !== '*' && names.size === 0)) continue;\n    if (kinds[name] !== 'module-exports') {\n      out[name] = ['*'];\n      continue;\n    }\n    const own = withoutLeadingComments(read(file));\n    const keys = Object.keys(table.values).filter((k) => names === '*' || names.has(k) || mentions(own, k) > 1);\n    if (keys.length > 0) out[name] = keys.length === Object.keys(table.values).length ? ['*'] : keys.sort();\n  }\n  const attribution: Attribution = { method: REACH_METHOD, command, tables: out };\n  cache.set(command, attribution);\n  return attribution;\n}\n"]}
+{"version":3,"file":"record-reach.js","sourceRoot":"","sources":["../../src/cli/record-reach.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAkB,MAAM,oBAAoB,CAAC;AAExF,MAAM,CAAC,MAAM,YAAY,GAAG,qBAAqB,CAAC;AA2BlD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;AACzC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAU,EAAE;IACpC,IAAI,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzB,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACpB,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AAEF,SAAS,WAAW,CAAC,IAAY,EAAE,IAAY;IAC7C,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,IAAI,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IACxC,IAAI,UAAU,KAAK,KAAK;QAAE,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IACnE,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACxC,CAAC;AAED,4FAA4F;AAC5F,SAAS,WAAW,CAAC,MAAc;IACjC,MAAM,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7C,IAAI,EAAE;QAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IAC9B,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,GAAG,CAAC;IAC1C,MAAM,KAAK,GAAuB,EAAE,CAAC;IACrC,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,MAAM,EAAE,CAAC;QACX,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACxC,MAAM,CAAC,GAAG,6CAA6C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IACD,MAAM,GAAG,GAAG,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;IAC9D,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,WAAW,GAAG,qEAAqE,CAAC;AAC1F,MAAM,WAAW,GAAG,8BAA8B,CAAC;AACnD,MAAM,OAAO,GAAG,wCAAwC,CAAC;AAEzD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoD,CAAC;AAE3E,SAAS,KAAK,CAAC,IAAY;IACzB,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,GAAG;QAAE,OAAO,GAAG,CAAC;IACpB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,SAAS,GAAe,EAAE,CAAC;IACjC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3C,IAAI,CAAC,CAAC,CAAC,CAAC;YAAE,SAAS;QACnB,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ;YAAE,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;;YAC1D,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,KAAK,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC9H,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,IAAI,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,IAAI,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,GAAG,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IACjC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACtB,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,IAAY,EAAe,EAAE,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC;AAE5F,qGAAqG;AACrG,SAAS,QAAQ,CAAC,IAAY;IAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,EAAE,UAAU,UAAU,EAAE,CAAC,CAAC;IACzD,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5B,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,CAAC;QACzC,IAAI,EAAE,CAAC,KAAK,KAAK,GAAG;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;;YACzD,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK;gBAAE,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC;oBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACjJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;qGACqG;AACrG,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAU,EAAE,CACtD,IAAI,CAAC,OAAO,CAAC,2BAA2B,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC;AAEhF,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,IAAY,EAAU,EAAE,CACtD,IAAI,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,cAAc,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC;AAEjG,MAAM,KAAK,GAAG,IAAI,GAAG,EAA8B,CAAC;AACpD,MAAM,WAAW,GAAG,IAAI,GAAG,EAA+D,CAAC;AAE3F,iGAAiG;AACjG,SAAS,aAAa,CAAC,OAAe;IACpC,IAAI,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,WAAW,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC;IAC/D,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,OAAO,GAAG,UAAU,EAAE,CAAC,CAAC;IAC7E,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACtB,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,GAAG,GAAG,CAAC;IAE9C,6FAA6F;IAC7F,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,WAAW,GAAW,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;IACrB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QAC1B,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAC/B,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjB,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC5E,WAAW,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClH,CAAC;IACD,MAAM,GAAG,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IACpC,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAC9B,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,IAAI,CAAC;QACH,OAAO,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;IACvC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,GAAG,CAAC,YAAY,KAAK,IAAI,MAAM,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;QAChG,OAAO,eAAe,IAAI,GAAG,CAAC;IAChC,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,OAAe;IAC3C,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE;QAAE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACpF,OAAO,GAAG,CAAC;AACb,CAAC;AAED,sGAAsG;AACtG,MAAM,UAAU,WAAW,CACzB,OAAe,EACf,MAA2D,EAC3D,KAAgC;IAEhC,IAAI,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC;IACnD,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC;IAErC,4FAA4F;IAC5F,MAAM,OAAO,GAAG,IAAI,GAAG,EAA6B,CAAC;IACrD,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,KAAqB,EAAQ,EAAE;QACzD,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QACpD,IAAI,IAAI,KAAK,GAAG;YAAE,OAAO;QACzB,MAAM,KAAK,GAAG,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACxB,OAAO;QACT,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtE,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;YACvC,IAAI,EAAE,CAAC,KAAK,KAAK,GAAG;gBAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;iBAC5D,CAAC;gBACJ,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;oBAC5C,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;wBAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACpG,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,WAAW;QAAE,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;IAEnD,MAAM,GAAG,GAA6B,EAAE,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,GAAG,IAAI,GAAG,UAAU,EAAE,CAAC,CAAC;QACvD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,KAAK,GAAG,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC;YAAE,SAAS;QAC1H,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,gBAAgB,EAAE,CAAC;YACrC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAClB,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,GAAG,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5G,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IAC1G,CAAC;IACD,MAAM,WAAW,GAAgB,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAChF,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAChC,OAAO,WAAW,CAAC;AACrB,CAAC","sourcesContent":["/**\n * Static attribution for an experiment record: which constants a command's code can reach\n * (design: `docs/planning/Experiment-Record-Replay-Design-Note.md`).\n *\n * The reach is derived from the import graph of the modules as they are on disk when the entry is\n * recorded, not declared by hand and not observed while the command runs. It is an UPPER BOUND:\n *\n * - from `cli/commands/<command>` every relative static and literal dynamic import is followed;\n * - a `cli/` module reaches the `cli-api` barrel through `ctx.api`, not through an import, so every\n *   barrel export whose name occurs as a word in a reached `cli/` module adds its source module;\n * - a named export of a module-exports table is reached when a reached module imports it by name\n *   or by namespace, re-exports it, or the table's own module mentions it outside its declaration;\n * - an object table is reached whole (`*`) when its module is reached.\n *\n * Comments and strings are not stripped, so a name mentioned only in a comment counts as reached:\n * that errs toward \"reachable\", never toward \"not reachable\".\n *\n * The same import graph gives the modules the command loads. Each one's source is hashed, so a\n * change to a literal a module keeps private, which no constant table holds, is still named.\n */\n\nimport { sha256Hex } from '../core/hash.js';\nimport { existsSync, readFileSync } from 'node:fs';\nimport { dirname, join, resolve, sep } from 'node:path';\nimport { MODULE_EXT, SOURCE_ROOT, tableName, type TableKind } from './record-tables.js';\n\nexport const REACH_METHOD = 'static-import-reach';\n\n/** The constant-table keys and module sources a recorded command can reach, by static import reach (it errs toward reachable). */\nexport interface Attribution {\n  method: typeof REACH_METHOD;\n  command: string;\n  /** Table name -> the keys the command's code can reach, or `['*']` for the whole table. */\n  tables: Record<string, string[]>;\n  /**\n   * Module name (as a table is named) -> SHA-256 of its source, for every module the command\n   * loads. Absent from entries written before module sources were hashed.\n   */\n  modules?: Record<string, string>;\n}\n\n/** A reached module reads `names` of `file`, `*` for all of them. */\ninterface Read {\n  file: string;\n  names: string[] | '*';\n}\n\n/** `file` re-exports: `pairs` as `[exported, original]` (`original` `*` for a namespace), or everything. */\ninterface Reexport {\n  file: string;\n  pairs: [string, string][] | '*';\n}\n\nconst source = new Map<string, string>();\nconst read = (file: string): string => {\n  let s = source.get(file);\n  if (s === undefined) {\n    s = readFileSync(file, 'utf8');\n    source.set(file, s);\n  }\n  return s;\n};\n\nfunction resolveSpec(from: string, spec: string): string | null {\n  if (!spec.startsWith('.')) return null;\n  let file = resolve(dirname(from), spec);\n  if (MODULE_EXT !== '.js') file = file.replace(/\\.js$/, MODULE_EXT);\n  return existsSync(file) ? file : null;\n}\n\n/** `[exported-or-local, original]` for each value binding of an import or export clause. */\nfunction clausePairs(clause: string): [string, string][] | '*' {\n  const ns = /\\*\\s*as\\s+([\\w$]+)/.exec(clause);\n  if (ns) return [[ns[1], '*']];\n  if (/^\\s*\\*\\s*$/.test(clause)) return '*';\n  const pairs: [string, string][] = [];\n  const braces = /\\{([^}]*)\\}/.exec(clause);\n  if (braces) {\n    for (const part of braces[1].split(',')) {\n      const m = /^\\s*(type\\s+)?([\\w$]+)(?:\\s+as\\s+([\\w$]+))?/.exec(part);\n      if (m && !m[1]) pairs.push([m[3] ?? m[2], m[2]]);\n    }\n  }\n  const def = /^\\s*([\\w$]+)\\s*(,|$)/.exec(clause);\n  if (def && def[1] !== 'type') pairs.push([def[1], 'default']);\n  return pairs;\n}\n\nconst STATIC_FROM = /\\b(import|export)\\s+(type\\s+)?([^'\";]*?)\\s*from\\s*['\"]([^'\"]+)['\"]/g;\nconst SIDE_EFFECT = /\\bimport\\s*['\"]([^'\"]+)['\"]/g;\nconst DYNAMIC = /\\bimport\\s*\\(\\s*['\"]([^'\"]+)['\"]\\s*\\)/g;\n\nconst parsed = new Map<string, { reads: Read[]; reexports: Reexport[] }>();\n\nfunction edges(file: string): { reads: Read[]; reexports: Reexport[] } {\n  const hit = parsed.get(file);\n  if (hit) return hit;\n  const text = read(file);\n  const reads: Read[] = [];\n  const reexports: Reexport[] = [];\n  for (const m of text.matchAll(STATIC_FROM)) {\n    if (m[2]) continue;\n    const target = resolveSpec(file, m[4]);\n    if (!target) continue;\n    const pairs = clausePairs(m[3]);\n    if (m[1] === 'export') reexports.push({ file: target, pairs });\n    else reads.push({ file: target, names: pairs === '*' || pairs.some(([, o]) => o === '*') ? '*' : pairs.map(([, o]) => o) });\n  }\n  for (const m of text.matchAll(SIDE_EFFECT)) {\n    const target = resolveSpec(file, m[1]);\n    if (target) reads.push({ file: target, names: [] });\n  }\n  for (const m of text.matchAll(DYNAMIC)) {\n    const target = resolveSpec(file, m[1]);\n    if (target) reads.push({ file: target, names: '*' });\n  }\n  const out = { reads, reexports };\n  parsed.set(file, out);\n  return out;\n}\n\nconst words = (text: string): Set<string> => new Set(text.match(/[A-Za-z_$][\\w$]*/g) ?? []);\n\n/** What a `cli/` module reaches through `ctx.api`: each `cli-api` export whose name occurs in it. */\nfunction apiReads(file: string): Read[] {\n  const barrel = join(SOURCE_ROOT, `cli-api${MODULE_EXT}`);\n  const w = words(read(file));\n  const out: Read[] = [];\n  for (const re of edges(barrel).reexports) {\n    if (re.pairs === '*') out.push({ file: re.file, names: '*' });\n    else for (const [exported, original] of re.pairs) if (w.has(exported)) out.push({ file: re.file, names: original === '*' ? '*' : [original] });\n  }\n  return out;\n}\n\n/** Comments that open a line: outside a multi-line template literal a line cannot begin code with\n * `/*` or `//`, so no code is removed. A comment after code stays, which errs toward \"reachable\". */\nconst withoutLeadingComments = (text: string): string =>\n  text.replace(/^[ \\t]*\\/\\*[\\s\\S]*?\\*\\//gm, '').replace(/^[ \\t]*\\/\\/.*$/gm, '');\n\nconst mentions = (text: string, name: string): number =>\n  text.match(new RegExp(`(?<![\\\\w$])${name.replace(/\\$/g, '\\\\$')}(?![\\\\w$])`, 'g'))?.length ?? 0;\n\nconst cache = new Map<string, Attribution | null>();\nconst loadedCache = new Map<string, { loaded: Set<string>; directReads: Read[] } | null>();\n\n/** Every module `command` loads, and what each reads, or null when the command has no module. */\nfunction loadedModules(command: string): { loaded: Set<string>; directReads: Read[] } | null {\n  if (loadedCache.has(command)) return loadedCache.get(command)!;\n  const seed = join(SOURCE_ROOT, 'cli', 'commands', `${command}${MODULE_EXT}`);\n  if (!existsSync(seed)) {\n    loadedCache.set(command, null);\n    return null;\n  }\n  const cliDir = join(SOURCE_ROOT, 'cli') + sep;\n\n  // Modules loaded: every import and re-export is followed, since loading runs top-level code.\n  const loaded = new Set<string>();\n  const directReads: Read[] = [];\n  const queue = [seed];\n  while (queue.length > 0) {\n    const file = queue.pop()!;\n    if (loaded.has(file)) continue;\n    loaded.add(file);\n    const { reads, reexports } = edges(file);\n    const all = file.startsWith(cliDir) ? [...reads, ...apiReads(file)] : reads;\n    directReads.push(...all);\n    for (const t of [...all.map((r) => r.file), ...reexports.map((r) => r.file)]) if (!loaded.has(t)) queue.push(t);\n  }\n  const out = { loaded, directReads };\n  loadedCache.set(command, out);\n  return out;\n}\n\n/**\n * SHA-256 of one module's source. The module was found when the import graph was walked, so a\n * failed read is not \"absent\": the value keeps which kind of failure it was (`unreadable (EACCES)`,\n * `unreadable (EISDIR)`, ...), not one word for all of them.\n */\nexport function sourceHash(file: string): string {\n  try {\n    return sha256Hex(readFileSync(file));\n  } catch (e) {\n    const code = e instanceof Error && 'code' in e && typeof e.code === 'string' ? e.code : 'error';\n    return `unreadable (${code})`;\n  }\n}\n\n/**\n * SHA-256 of the source of every module `command` loads, keyed by module name, read from disk now\n * (not from the parse cache), or null when the command has no module of its own.\n */\nexport function moduleSources(command: string): Record<string, string> | null {\n  const mods = loadedModules(command);\n  if (!mods) return null;\n  const out: Record<string, string> = {};\n  for (const file of [...mods.loaded].sort()) out[tableName(file)] = sourceHash(file);\n  return out;\n}\n\n/** The reach of `command`'s code into `tables`, or null when the command has no module of its own. */\nexport function staticReach(\n  command: string,\n  tables: Record<string, { values: Record<string, unknown> }>,\n  kinds: Record<string, TableKind>,\n): Attribution | null {\n  if (cache.has(command)) return cache.get(command)!;\n  const mods = loadedModules(command);\n  if (!mods) {\n    cache.set(command, null);\n    return null;\n  }\n  const { loaded, directReads } = mods;\n\n  // Names read: an import reads its names; a re-export passes on only the names read from it.\n  const namesOf = new Map<string, Set<string> | '*'>();\n  const mark = (file: string, names: string[] | '*'): void => {\n    const prev = namesOf.get(file) ?? new Set<string>();\n    if (prev === '*') return;\n    const fresh = names === '*' ? ['*'] : names.filter((n) => !prev.has(n));\n    if (fresh.length === 0) {\n      namesOf.set(file, prev);\n      return;\n    }\n    namesOf.set(file, names === '*' ? '*' : new Set([...prev, ...fresh]));\n    for (const re of edges(file).reexports) {\n      if (re.pairs === '*') mark(re.file, names === '*' ? '*' : fresh);\n      else {\n        for (const [exported, original] of re.pairs) {\n          if (names === '*' || fresh.includes(exported)) mark(re.file, original === '*' ? '*' : [original]);\n        }\n      }\n    }\n  };\n  for (const r of directReads) mark(r.file, r.names);\n\n  const out: Record<string, string[]> = {};\n  for (const [name, table] of Object.entries(tables)) {\n    const file = join(SOURCE_ROOT, `${name}${MODULE_EXT}`);\n    const names = namesOf.get(file);\n    if (!loaded.has(file) || tableName(file) !== name || names === undefined || (names !== '*' && names.size === 0)) continue;\n    if (kinds[name] !== 'module-exports') {\n      out[name] = ['*'];\n      continue;\n    }\n    const own = withoutLeadingComments(read(file));\n    const keys = Object.keys(table.values).filter((k) => names === '*' || names.has(k) || mentions(own, k) > 1);\n    if (keys.length > 0) out[name] = keys.length === Object.keys(table.values).length ? ['*'] : keys.sort();\n  }\n  const attribution: Attribution = { method: REACH_METHOD, command, tables: out };\n  cache.set(command, attribution);\n  return attribution;\n}\n"]}

package/dist/cli/record-tables.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"record-tables.d.ts","sourceRoot":"","sources":["../../src/cli/record-tables.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAWH,oFAAoF;AACpF,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAEnD,uFAAuF;AACvF,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACnC,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,uDAAuD;AACvD,MAAM,MAAM,SAAS,GAAG,gBAAgB,GAAG,QAAQ,CAAC;AAIpD,mGAAmG;AACnG,eAAO,MAAM,WAAW,QAAiD,CAAC;AAC1E,eAAO,MAAM,UAAU,QAA0C,CAAC;AAElE,2FAA2F;AAC3F,eAAO,MAAM,gBAAgB,WAAY,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,KAAG,MAC6B,CAAC;AA6BpG,eAAO,MAAM,SAAS,SAAU,MAAM,KAAG,MACsC,CAAC;AAiChF,oGAAoG;AACpG,wBAAgB,cAAc,IAAI,OAAO,CAAC;IAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;CAAE,CAAC,CAoBrH"}
+{"version":3,"file":"record-tables.d.ts","sourceRoot":"","sources":["../../src/cli/record-tables.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAaH,oFAAoF;AACpF,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAEnD,uFAAuF;AACvF,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACnC,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,uDAAuD;AACvD,MAAM,MAAM,SAAS,GAAG,gBAAgB,GAAG,QAAQ,CAAC;AAEpD,mGAAmG;AACnG,eAAO,MAAM,WAAW,QAAiD,CAAC;AAC1E,eAAO,MAAM,UAAU,QAA0C,CAAC;AAElE,2FAA2F;AAC3F,eAAO,MAAM,gBAAgB,WAAY,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,KAAG,MACgC,CAAC;AA6BvG,eAAO,MAAM,SAAS,SAAU,MAAM,KAAG,MACsC,CAAC;AAiChF,oGAAoG;AACpG,wBAAgB,cAAc,IAAI,OAAO,CAAC;IAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;CAAE,CAAC,CAoBrH"}

package/dist/cli/record-tables.js

@@ -16,21 +16,22 @@
  *
  * A literal a module keeps private (not exported, not in one of the object tables) is in no table.
  */
-import { createHash } from 'node:crypto';
+import { compareCodepoint } from '../core/compare.js';
+import { sha256Hex } from '../core/hash.js';
 import { readdirSync, statSync } from 'node:fs';
 import { extname, join, relative, sep } from 'node:path';
 import { fileURLToPath, pathToFileURL } from 'node:url';
 import { CANONICAL_CONSTANTS } from '../composition/canonical-graph.js';
 import { CONSTANTS as SYMBOLIC_CONSTANTS } from '../dimensional/symbolic-constants.js';
+import { BASES } from '../dimensional/algebra.js';
 import { unitTables } from '../dimensional/units.js';
-const sha256 = (s) => createHash('sha256').update(s).digest('hex');
 /** Source root (`dist/` when built, `src/` under a TypeScript loader) and its module extension. */
 export const SOURCE_ROOT = fileURLToPath(new URL('../', import.meta.url));
 export const MODULE_EXT = extname(fileURLToPath(import.meta.url));
 /** Serialised with sorted keys so the fingerprint does not depend on declaration order. */
-export const tableFingerprint = (values) => sha256(JSON.stringify(Object.fromEntries(Object.keys(values).sort().map((k) => [k, values[k]]))));
+export const tableFingerprint = (values) => sha256Hex(JSON.stringify(Object.fromEntries(Object.keys(values).sort().map((k) => [k, values[k]]))));
 /** Exponents in a fixed base order, independent of how `format()` names a dimension. */
-const dimensionText = (d) => ['L', 'M', 'T', 'I', 'Theta', 'N', 'J']
+const dimensionText = (d) => BASES
     .filter((b) => d[b] !== 0)
     .map((b) => `${b}^${d[b]}`)
     .join(' ') || '1';
@@ -101,7 +102,7 @@ export function constantTables() {
         }
         for (const [name, values] of Object.entries(objectTables()))
             found.push([name, values, 'object']);
-        found.sort(([a], [b]) => (a < b ? -1 : a > b ? 1 : 0));
+        found.sort(([a], [b]) => compareCodepoint(a, b));
         const tables = {};
         const kinds = {};
         for (const [name, values, kind] of found) {

package/dist/cli/record-tables.js.map

@@ -1 +1 @@
-{"version":3,"file":"record-tables.js","sourceRoot":"","sources":["../../src/cli/record-tables.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAChD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,SAAS,IAAI,kBAAkB,EAAE,MAAM,sCAAsC,CAAC;AAEvF,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAcrD,MAAM,MAAM,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAEnF,mGAAmG;AACnG,MAAM,CAAC,MAAM,WAAW,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,KAAK,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC1E,MAAM,CAAC,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAElE,2FAA2F;AAC3F,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,MAAkC,EAAU,EAAE,CAC7E,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEpG,wFAAwF;AACxF,MAAM,aAAa,GAAG,CAAC,CAAY,EAAU,EAAE,CAC5C,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAW;KAC/C,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;KACzB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1B,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC;AAEtB,MAAM,mBAAmB,GAAG,CAAC,gBAAgB,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;AAEnE,SAAS,WAAW,CAAC,GAAW;IAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;IACpC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,CAAC;QACH,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;IACvC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,IAAI,GAAG,UAAU,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,CAAC,KAAK;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,OAAO,WAAW,CAAC,IAAI,CAAC;SACrB,IAAI,EAAE;SACN,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;QACb,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACxB,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE;YAAE,OAAO,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAChE,OAAO,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,UAAU,EAAE,CAAC,IAAI,CAAC,KAAK,QAAQ,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3G,CAAC,CAAC,CAAC;AACP,CAAC;AAED,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAY,EAAU,EAAE,CAChD,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAEhF,SAAS,YAAY;IACnB,MAAM,KAAK,GAA+B,EAAE,CAAC;IAC7C,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,YAAY,EAAE,GAAG,UAAU,EAAE,CAAC;IAChF,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,IAAI,OAAO,EAAE,CAAC;QAC9D,KAAK,CAAC,GAAG,GAAG,QAAQ,CAAC,GAAG,KAAK,CAAC;QAC9B,KAAK,CAAC,GAAG,GAAG,YAAY,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QAC/C,KAAK,CAAC,GAAG,GAAG,aAAa,CAAC,GAAG,UAAU,CAAC;QACxC,oGAAoG;QACpG,KAAK,CAAC,GAAG,GAAG,SAAS,CAAC,GAAG,MAAM,CAAC,CAAC,2GAA2G;IAC9I,CAAC;IACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,QAAQ;QAAE,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IACxD,KAAK,CAAC,cAAc,CAAC,GAAG,cAAc,CAAC;IACvC,kGAAkG;IAClG,KAAK,CAAC,wBAAwB,CAAC,GAAG,YAAY,CAAC;IAC/C,MAAM,QAAQ,GAAG,CAAC,KAAkE,EAA8B,EAAE;QAClH,MAAM,GAAG,GAA+B,EAAE,CAAC;QAC3C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3C,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;YAC5B,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC/C,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,OAAO;QACL,mBAAmB,EAAE,KAAK;QAC1B,gCAAgC,EAAE,QAAQ,CAAC,kBAAkB,CAAC;QAC9D,6BAA6B,EAAE,QAAQ,CAAC,mBAAmB,CAAC;KAC7D,CAAC;AACJ,CAAC;AAED,IAAI,MAAwG,CAAC;AAE7G,oGAAoG;AACpG,MAAM,UAAU,cAAc;IAC5B,MAAM,KAAK,CAAC,KAAK,IAAI,EAAE;QACrB,MAAM,KAAK,GAAsD,EAAE,CAAC;QACpE,KAAK,MAAM,IAAI,IAAI,mBAAmB,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;YAC5D,MAAM,GAAG,GAAG,CAAC,MAAM,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAA4B,CAAC;YAChF,MAAM,MAAM,GAA+B,EAAE,CAAC;YAC9C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;gBAAE,IAAI,OAAO,CAAC,KAAK,QAAQ;oBAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACnF,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC;QAC9F,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QAClG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,MAAM,GAAkC,EAAE,CAAC;QACjD,MAAM,KAAK,GAA8B,EAAE,CAAC;QAC5C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;YACzC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5D,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;QACrB,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAC3B,CAAC,CAAC,EAAE,CAAC;IACL,OAAO,MAAM,CAAC;AAChB,CAAC","sourcesContent":["/**\n * The constant tables an experiment record fingerprints, each under its own name so replay can\n * say WHICH table changed (design: `docs/planning/Experiment-Record-Replay-Design-Note.md`).\n *\n * A table is named by the source module that holds it, relative to the source root and without\n * extension (`core/constants`, `dimensional/units`, `bridges/be58-johnson-nyquist-confrontation`).\n * Two kinds:\n *\n * - **module exports** — every numeric export of `core/constants` and of each module under\n *   `bridges/` and `cases/`, found by listing those directories, so a module added later is\n *   fingerprinted without being listed here;\n * - **object tables** — the unit and prefix tables of `dimensional/units` (with the SHA-256 of\n *   `data/units.json`, the file they are read from), and the constant\n *   registries `dimensional/symbolic-constants` and `composition/canonical-graph`, flattened to\n *   `key.field` entries.\n *\n * A literal a module keeps private (not exported, not in one of the object tables) is in no table.\n */\n\nimport { createHash } from 'node:crypto';\nimport { readdirSync, statSync } from 'node:fs';\nimport { extname, join, relative, sep } from 'node:path';\nimport { fileURLToPath, pathToFileURL } from 'node:url';\nimport { CANONICAL_CONSTANTS } from '../composition/canonical-graph.js';\nimport { CONSTANTS as SYMBOLIC_CONSTANTS } from '../dimensional/symbolic-constants.js';\nimport type { Dimension } from '../dimensional/types.js';\nimport { unitTables } from '../dimensional/units.js';\n\n/** A serialisable primitive value that can be fingerprinted in a constant table. */\nexport type TableValue = number | string | boolean;\n\n/** A named table of constants and the SHA-256 fingerprint of its serialised values. */\nexport interface ConstantTable {\n  values: Record<string, TableValue>;\n  sha256: string;\n}\n\n/** The source shape used to build a constant table. */\nexport type TableKind = 'module-exports' | 'object';\n\nconst sha256 = (s: string): string => createHash('sha256').update(s).digest('hex');\n\n/** Source root (`dist/` when built, `src/` under a TypeScript loader) and its module extension. */\nexport const SOURCE_ROOT = fileURLToPath(new URL('../', import.meta.url));\nexport const MODULE_EXT = extname(fileURLToPath(import.meta.url));\n\n/** Serialised with sorted keys so the fingerprint does not depend on declaration order. */\nexport const tableFingerprint = (values: Record<string, TableValue>): string =>\n  sha256(JSON.stringify(Object.fromEntries(Object.keys(values).sort().map((k) => [k, values[k]]))));\n\n/** Exponents in a fixed base order, independent of how `format()` names a dimension. */\nconst dimensionText = (d: Dimension): string =>\n  (['L', 'M', 'T', 'I', 'Theta', 'N', 'J'] as const)\n    .filter((b) => d[b] !== 0)\n    .map((b) => `${b}^${d[b]}`)\n    .join(' ') || '1';\n\nconst MODULE_EXPORT_ROOTS = ['core/constants', 'bridges', 'cases'];\n\nfunction moduleFiles(rel: string): string[] {\n  const path = join(SOURCE_ROOT, rel);\n  let isDir = false;\n  try {\n    isDir = statSync(path).isDirectory();\n  } catch {\n    return [path + MODULE_EXT];\n  }\n  if (!isDir) return [path];\n  return readdirSync(path)\n    .sort()\n    .flatMap((f) => {\n      const p = join(path, f);\n      if (statSync(p).isDirectory()) return moduleFiles(join(rel, f));\n      return f.endsWith(MODULE_EXT) && !f.endsWith(`.d${MODULE_EXT}`) && f !== `index${MODULE_EXT}` ? [p] : [];\n    });\n}\n\nexport const tableName = (file: string): string =>\n  relative(SOURCE_ROOT, file).slice(0, -MODULE_EXT.length).split(sep).join('/');\n\nfunction objectTables(): Record<string, Record<string, TableValue>> {\n  const units: Record<string, TableValue> = {};\n  const { units: unitMap, prefixes, celsiusOffsetK, sourceSha256 } = unitTables();\n  for (const [sym, [scale, dim, prefixable, cycles]] of unitMap) {\n    units[`${sym}.scale`] = scale;\n    units[`${sym}.dimension`] = dimensionText(dim);\n    units[`${sym}.prefixable`] = prefixable;\n    // A cycle-counting row multiplies an angular input by 2π, so it changes a result like a scale does.\n    units[`${sym}.cycles`] = cycles; // the cycle-count flag (Hz, rpm); the reader keeps the count and prints a note, it does not multiply by 2π\n  }\n  for (const [p, f] of prefixes) units[`prefix.${p}`] = f;\n  units['degC.offsetK'] = celsiusOffsetK;\n  // The whole file, so a refused spelling, a prefix letter, an affine row or a note is covered too.\n  units['data/units.json.sha256'] = sourceSha256;\n  const registry = (table: Readonly<Record<string, { value: number; dim: Dimension }>>): Record<string, TableValue> => {\n    const out: Record<string, TableValue> = {};\n    for (const [k, c] of Object.entries(table)) {\n      out[`${k}.value`] = c.value;\n      out[`${k}.dimension`] = dimensionText(c.dim);\n    }\n    return out;\n  };\n  return {\n    'dimensional/units': units,\n    'dimensional/symbolic-constants': registry(SYMBOLIC_CONSTANTS),\n    'composition/canonical-graph': registry(CANONICAL_CONSTANTS),\n  };\n}\n\nlet cached: Promise<{ tables: Record<string, ConstantTable>; kinds: Record<string, TableKind> }> | undefined;\n\n/** Every table, keyed by name, sorted. Read once per process: tables are module-level constants. */\nexport function constantTables(): Promise<{ tables: Record<string, ConstantTable>; kinds: Record<string, TableKind> }> {\n  cached ??= (async () => {\n    const found: [string, Record<string, TableValue>, TableKind][] = [];\n    for (const file of MODULE_EXPORT_ROOTS.flatMap(moduleFiles)) {\n      const mod = (await import(pathToFileURL(file).href)) as Record<string, unknown>;\n      const values: Record<string, TableValue> = {};\n      for (const [k, v] of Object.entries(mod)) if (typeof v === 'number') values[k] = v;\n      if (Object.keys(values).length > 0) found.push([tableName(file), values, 'module-exports']);\n    }\n    for (const [name, values] of Object.entries(objectTables())) found.push([name, values, 'object']);\n    found.sort(([a], [b]) => (a < b ? -1 : a > b ? 1 : 0));\n    const tables: Record<string, ConstantTable> = {};\n    const kinds: Record<string, TableKind> = {};\n    for (const [name, values, kind] of found) {\n      tables[name] = { values, sha256: tableFingerprint(values) };\n      kinds[name] = kind;\n    }\n    return { tables, kinds };\n  })();\n  return cached;\n}\n"]}
+{"version":3,"file":"record-tables.js","sourceRoot":"","sources":["../../src/cli/record-tables.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAChD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,SAAS,IAAI,kBAAkB,EAAE,MAAM,sCAAsC,CAAC;AACvF,OAAO,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAC;AAElD,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAcrD,mGAAmG;AACnG,MAAM,CAAC,MAAM,WAAW,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,KAAK,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC1E,MAAM,CAAC,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAElE,2FAA2F;AAC3F,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,MAAkC,EAAU,EAAE,CAC7E,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEvG,wFAAwF;AACxF,MAAM,aAAa,GAAG,CAAC,CAAY,EAAU,EAAE,CAC7C,KAAK;KACF,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;KACzB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1B,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC;AAEtB,MAAM,mBAAmB,GAAG,CAAC,gBAAgB,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;AAEnE,SAAS,WAAW,CAAC,GAAW;IAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;IACpC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,CAAC;QACH,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;IACvC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,IAAI,GAAG,UAAU,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,CAAC,KAAK;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,OAAO,WAAW,CAAC,IAAI,CAAC;SACrB,IAAI,EAAE;SACN,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;QACb,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACxB,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE;YAAE,OAAO,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAChE,OAAO,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,UAAU,EAAE,CAAC,IAAI,CAAC,KAAK,QAAQ,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3G,CAAC,CAAC,CAAC;AACP,CAAC;AAED,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAY,EAAU,EAAE,CAChD,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAEhF,SAAS,YAAY;IACnB,MAAM,KAAK,GAA+B,EAAE,CAAC;IAC7C,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,YAAY,EAAE,GAAG,UAAU,EAAE,CAAC;IAChF,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,IAAI,OAAO,EAAE,CAAC;QAC9D,KAAK,CAAC,GAAG,GAAG,QAAQ,CAAC,GAAG,KAAK,CAAC;QAC9B,KAAK,CAAC,GAAG,GAAG,YAAY,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QAC/C,KAAK,CAAC,GAAG,GAAG,aAAa,CAAC,GAAG,UAAU,CAAC;QACxC,oGAAoG;QACpG,KAAK,CAAC,GAAG,GAAG,SAAS,CAAC,GAAG,MAAM,CAAC,CAAC,2GAA2G;IAC9I,CAAC;IACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,QAAQ;QAAE,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IACxD,KAAK,CAAC,cAAc,CAAC,GAAG,cAAc,CAAC;IACvC,kGAAkG;IAClG,KAAK,CAAC,wBAAwB,CAAC,GAAG,YAAY,CAAC;IAC/C,MAAM,QAAQ,GAAG,CAAC,KAAkE,EAA8B,EAAE;QAClH,MAAM,GAAG,GAA+B,EAAE,CAAC;QAC3C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3C,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;YAC5B,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC/C,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,OAAO;QACL,mBAAmB,EAAE,KAAK;QAC1B,gCAAgC,EAAE,QAAQ,CAAC,kBAAkB,CAAC;QAC9D,6BAA6B,EAAE,QAAQ,CAAC,mBAAmB,CAAC;KAC7D,CAAC;AACJ,CAAC;AAED,IAAI,MAAwG,CAAC;AAE7G,oGAAoG;AACpG,MAAM,UAAU,cAAc;IAC5B,MAAM,KAAK,CAAC,KAAK,IAAI,EAAE;QACrB,MAAM,KAAK,GAAsD,EAAE,CAAC;QACpE,KAAK,MAAM,IAAI,IAAI,mBAAmB,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;YAC5D,MAAM,GAAG,GAAG,CAAC,MAAM,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAA4B,CAAC;YAChF,MAAM,MAAM,GAA+B,EAAE,CAAC;YAC9C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;gBAAE,IAAI,OAAO,CAAC,KAAK,QAAQ;oBAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACnF,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC;QAC9F,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QAClG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,MAAM,GAAkC,EAAE,CAAC;QACjD,MAAM,KAAK,GAA8B,EAAE,CAAC;QAC5C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;YACzC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5D,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;QACrB,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAC3B,CAAC,CAAC,EAAE,CAAC;IACL,OAAO,MAAM,CAAC;AAChB,CAAC","sourcesContent":["/**\n * The constant tables an experiment record fingerprints, each under its own name so replay can\n * say WHICH table changed (design: `docs/planning/Experiment-Record-Replay-Design-Note.md`).\n *\n * A table is named by the source module that holds it, relative to the source root and without\n * extension (`core/constants`, `dimensional/units`, `bridges/be58-johnson-nyquist-confrontation`).\n * Two kinds:\n *\n * - **module exports** — every numeric export of `core/constants` and of each module under\n *   `bridges/` and `cases/`, found by listing those directories, so a module added later is\n *   fingerprinted without being listed here;\n * - **object tables** — the unit and prefix tables of `dimensional/units` (with the SHA-256 of\n *   `data/units.json`, the file they are read from), and the constant\n *   registries `dimensional/symbolic-constants` and `composition/canonical-graph`, flattened to\n *   `key.field` entries.\n *\n * A literal a module keeps private (not exported, not in one of the object tables) is in no table.\n */\n\nimport { compareCodepoint } from '../core/compare.js';\nimport { sha256Hex } from '../core/hash.js';\nimport { readdirSync, statSync } from 'node:fs';\nimport { extname, join, relative, sep } from 'node:path';\nimport { fileURLToPath, pathToFileURL } from 'node:url';\nimport { CANONICAL_CONSTANTS } from '../composition/canonical-graph.js';\nimport { CONSTANTS as SYMBOLIC_CONSTANTS } from '../dimensional/symbolic-constants.js';\nimport { BASES } from '../dimensional/algebra.js';\nimport type { Dimension } from '../dimensional/types.js';\nimport { unitTables } from '../dimensional/units.js';\n\n/** A serialisable primitive value that can be fingerprinted in a constant table. */\nexport type TableValue = number | string | boolean;\n\n/** A named table of constants and the SHA-256 fingerprint of its serialised values. */\nexport interface ConstantTable {\n  values: Record<string, TableValue>;\n  sha256: string;\n}\n\n/** The source shape used to build a constant table. */\nexport type TableKind = 'module-exports' | 'object';\n\n/** Source root (`dist/` when built, `src/` under a TypeScript loader) and its module extension. */\nexport const SOURCE_ROOT = fileURLToPath(new URL('../', import.meta.url));\nexport const MODULE_EXT = extname(fileURLToPath(import.meta.url));\n\n/** Serialised with sorted keys so the fingerprint does not depend on declaration order. */\nexport const tableFingerprint = (values: Record<string, TableValue>): string =>\n  sha256Hex(JSON.stringify(Object.fromEntries(Object.keys(values).sort().map((k) => [k, values[k]]))));\n\n/** Exponents in a fixed base order, independent of how `format()` names a dimension. */\nconst dimensionText = (d: Dimension): string =>\n  BASES\n    .filter((b) => d[b] !== 0)\n    .map((b) => `${b}^${d[b]}`)\n    .join(' ') || '1';\n\nconst MODULE_EXPORT_ROOTS = ['core/constants', 'bridges', 'cases'];\n\nfunction moduleFiles(rel: string): string[] {\n  const path = join(SOURCE_ROOT, rel);\n  let isDir = false;\n  try {\n    isDir = statSync(path).isDirectory();\n  } catch {\n    return [path + MODULE_EXT];\n  }\n  if (!isDir) return [path];\n  return readdirSync(path)\n    .sort()\n    .flatMap((f) => {\n      const p = join(path, f);\n      if (statSync(p).isDirectory()) return moduleFiles(join(rel, f));\n      return f.endsWith(MODULE_EXT) && !f.endsWith(`.d${MODULE_EXT}`) && f !== `index${MODULE_EXT}` ? [p] : [];\n    });\n}\n\nexport const tableName = (file: string): string =>\n  relative(SOURCE_ROOT, file).slice(0, -MODULE_EXT.length).split(sep).join('/');\n\nfunction objectTables(): Record<string, Record<string, TableValue>> {\n  const units: Record<string, TableValue> = {};\n  const { units: unitMap, prefixes, celsiusOffsetK, sourceSha256 } = unitTables();\n  for (const [sym, [scale, dim, prefixable, cycles]] of unitMap) {\n    units[`${sym}.scale`] = scale;\n    units[`${sym}.dimension`] = dimensionText(dim);\n    units[`${sym}.prefixable`] = prefixable;\n    // A cycle-counting row multiplies an angular input by 2π, so it changes a result like a scale does.\n    units[`${sym}.cycles`] = cycles; // the cycle-count flag (Hz, rpm); the reader keeps the count and prints a note, it does not multiply by 2π\n  }\n  for (const [p, f] of prefixes) units[`prefix.${p}`] = f;\n  units['degC.offsetK'] = celsiusOffsetK;\n  // The whole file, so a refused spelling, a prefix letter, an affine row or a note is covered too.\n  units['data/units.json.sha256'] = sourceSha256;\n  const registry = (table: Readonly<Record<string, { value: number; dim: Dimension }>>): Record<string, TableValue> => {\n    const out: Record<string, TableValue> = {};\n    for (const [k, c] of Object.entries(table)) {\n      out[`${k}.value`] = c.value;\n      out[`${k}.dimension`] = dimensionText(c.dim);\n    }\n    return out;\n  };\n  return {\n    'dimensional/units': units,\n    'dimensional/symbolic-constants': registry(SYMBOLIC_CONSTANTS),\n    'composition/canonical-graph': registry(CANONICAL_CONSTANTS),\n  };\n}\n\nlet cached: Promise<{ tables: Record<string, ConstantTable>; kinds: Record<string, TableKind> }> | undefined;\n\n/** Every table, keyed by name, sorted. Read once per process: tables are module-level constants. */\nexport function constantTables(): Promise<{ tables: Record<string, ConstantTable>; kinds: Record<string, TableKind> }> {\n  cached ??= (async () => {\n    const found: [string, Record<string, TableValue>, TableKind][] = [];\n    for (const file of MODULE_EXPORT_ROOTS.flatMap(moduleFiles)) {\n      const mod = (await import(pathToFileURL(file).href)) as Record<string, unknown>;\n      const values: Record<string, TableValue> = {};\n      for (const [k, v] of Object.entries(mod)) if (typeof v === 'number') values[k] = v;\n      if (Object.keys(values).length > 0) found.push([tableName(file), values, 'module-exports']);\n    }\n    for (const [name, values] of Object.entries(objectTables())) found.push([name, values, 'object']);\n    found.sort(([a], [b]) => compareCodepoint(a, b));\n    const tables: Record<string, ConstantTable> = {};\n    const kinds: Record<string, TableKind> = {};\n    for (const [name, values, kind] of found) {\n      tables[name] = { values, sha256: tableFingerprint(values) };\n      kinds[name] = kind;\n    }\n    return { tables, kinds };\n  })();\n  return cached;\n}\n"]}

package/dist/cli/record.d.ts

@@ -23,7 +23,6 @@ export type Io = {
 };
 /** A CLI dispatcher invoked with argv and an isolated output sink. */
 export type Dispatch = (argv: string[], io: Io) => Promise<number>;
-export declare const RECORD_SCHEMA = "upt-record/2";
 /** The toolchain, parser, peers and constants captured beside a CLI invocation. */
 export interface RecordEnvironment {
     uptVersion: string;
@@ -44,7 +43,7 @@ export interface RecordResult {
 }
 /** One JSON-lines record entry for a CLI invocation and its replay inputs. */
 export interface RecordEntry {
-    schema: typeof RECORD_SCHEMA;
+    schema: 'upt-record/2';
     recordedAt: string;
     argv: string[];
     argvSha256: string;
@@ -76,9 +75,6 @@ export interface RecordInput {
     sha256: string | null;
 }
 export declare const sha256: (s: string | Buffer) => string;
-export declare const argvFingerprint: (argv: unknown) => string;
-/** Hash a record entry after excluding its stored fingerprint field. */
-export declare function entryFingerprint(entry: Partial<RecordEntry>): string;
 /** Run `argv` exactly as without `--record`, then append its entry. An unexpected exception is
  * recorded and rethrown, so recording never changes what the caller sees. */
 export declare function recordInvocation(file: string, argv: string[], dispatch: Dispatch, io: Io, api: typeof cliApi): Promise<number>;

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

@@ -1 +1 @@
-{"version":3,"file":"record.d.ts","sourceRoot":"","sources":["../../src/cli/record.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAMH,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAM7C,OAAO,EAA8B,KAAK,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAAoC,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAI1F,iFAAiF;AACjF,MAAM,MAAM,EAAE,GAAG;IACf,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,KAAK,IAAI,CAAC;IAC7B,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,KAAK,IAAI,CAAC;IAC7B,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,IAAI,CAAC;CAC5B,CAAC;AAEF,sEAAsE;AACtE,MAAM,MAAM,QAAQ,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;AAEnE,eAAO,MAAM,aAAa,iBAAiB,CAAC;AAG5C,mFAAmF;AACnF,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,OAAO,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;IACrC,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;CAC/C;AAED,0EAA0E;AAC1E,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,8EAA8E;AAC9E,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,OAAO,aAAa,CAAC;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAAC,WAAW,EAAE,MAAM,EAAE,CAAA;KAAE,GAAG,IAAI,CAAC;IAC3F,WAAW,EAAE,WAAW,GAAG,IAAI,CAAC;IAChC,WAAW,EAAE,iBAAiB,CAAC;IAC/B,MAAM,EAAE,YAAY,CAAC;IACrB,SAAS,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC9C;;;OAGG;IACH,MAAM,CAAC,EAAE,WAAW,EAAE,CAAC;IACvB,yEAAyE;IACzE,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,+DAA+D;AAC/D,MAAM,WAAW,WAAW;IAC1B,kGAAkG;IAClG,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB;AAED,eAAO,MAAM,MAAM,MAAO,MAAM,GAAG,MAAM,KAAG,MAAsD,CAAC;AAEnG,eAAO,MAAM,eAAe,SAAU,OAAO,KAAG,MAA+C,CAAC;AAEhG,wEAAwE;AACxE,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,GAAG,MAAM,CAGpE;AAqKD;6EAC6E;AAC7E,wBAAsB,gBAAgB,CACpC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EAAE,EACd,QAAQ,EAAE,QAAQ,EAClB,EAAE,EAAE,EAAE,EACN,GAAG,EAAE,OAAO,MAAM,GACjB,OAAO,CAAC,MAAM,CAAC,CAgCjB;AA4DD;;;GAGG;AACH,MAAM,MAAM,KAAK,GAAG,WAAW,GAAG,eAAe,GAAG,cAAc,CAAC;AAEnE,wFAAwF;AACxF,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,KAAK,CAAC;CACf;AA6ED,gFAAgF;AAChF,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,MAAM,GAAG,QAAQ,GAAG,QAAQ,GAAG,UAAU,CAAC;IAClD,6DAA6D;IAC7D,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAqBD,sDAAsD;AACtD,MAAM,MAAM,aAAa,GAAG,YAAY,GAAG,SAAS,GAAG,gBAAgB,CAAC;AAExE,4FAA4F;AAC5F,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACtB,OAAO,EAAE,aAAa,CAAC;IACvB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9C,WAAW,EAAE,gBAAgB,EAAE,CAAC;IAChC,gGAAgG;IAChG,SAAS,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,EAAE,CAAC;IAC1E,WAAW,EAAE,WAAW,GAAG,IAAI,CAAC;IAChC,mGAAmG;IACnG,aAAa,CAAC,EAAE,UAAU,GAAG,cAAc,CAAC;IAC5C,kBAAkB,EAAE,iBAAiB,EAAE,CAAC;IACxC,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AA6CD,uGAAuG;AACvG,wBAAsB,YAAY,CAChC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,OAAO,EACb,QAAQ,EAAE,QAAQ,EAClB,EAAE,EAAE,EAAE,EACN,GAAG,EAAE,OAAO,MAAM,GACjB,OAAO,CAAC,MAAM,CAAC,CAkIjB;AA4BD,6DAA6D;AAC7D,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,GAAG,MAAM,CAqCtE"}
+{"version":3,"file":"record.d.ts","sourceRoot":"","sources":["../../src/cli/record.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAOH,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAM7C,OAAO,EAA8B,KAAK,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAAoC,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAI1F,iFAAiF;AACjF,MAAM,MAAM,EAAE,GAAG;IACf,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,KAAK,IAAI,CAAC;IAC7B,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,KAAK,IAAI,CAAC;IAC7B,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,IAAI,CAAC;CAC5B,CAAC;AAEF,sEAAsE;AACtE,MAAM,MAAM,QAAQ,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;AAKnE,mFAAmF;AACnF,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,OAAO,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;IACrC,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;CAC/C;AAED,0EAA0E;AAC1E,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,8EAA8E;AAC9E,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,cAAc,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAAC,WAAW,EAAE,MAAM,EAAE,CAAA;KAAE,GAAG,IAAI,CAAC;IAC3F,WAAW,EAAE,WAAW,GAAG,IAAI,CAAC;IAChC,WAAW,EAAE,iBAAiB,CAAC;IAC/B,MAAM,EAAE,YAAY,CAAC;IACrB,SAAS,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC9C;;;OAGG;IACH,MAAM,CAAC,EAAE,WAAW,EAAE,CAAC;IACvB,yEAAyE;IACzE,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,+DAA+D;AAC/D,MAAM,WAAW,WAAW;IAC1B,kGAAkG;IAClG,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB;AAED,eAAO,MAAM,MAAM,MAAO,MAAM,GAAG,MAAM,KAAG,MAAsB,CAAC;AA6KnE;6EAC6E;AAC7E,wBAAsB,gBAAgB,CACpC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EAAE,EACd,QAAQ,EAAE,QAAQ,EAClB,EAAE,EAAE,EAAE,EACN,GAAG,EAAE,OAAO,MAAM,GACjB,OAAO,CAAC,MAAM,CAAC,CAgCjB;AA4DD;;;GAGG;AACH,MAAM,MAAM,KAAK,GAAG,WAAW,GAAG,eAAe,GAAG,cAAc,CAAC;AAEnE,wFAAwF;AACxF,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,KAAK,CAAC;CACf;AA6ED,gFAAgF;AAChF,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,MAAM,GAAG,QAAQ,GAAG,QAAQ,GAAG,UAAU,CAAC;IAClD,6DAA6D;IAC7D,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAqBD,sDAAsD;AACtD,MAAM,MAAM,aAAa,GAAG,YAAY,GAAG,SAAS,GAAG,gBAAgB,CAAC;AAExE,4FAA4F;AAC5F,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACtB,OAAO,EAAE,aAAa,CAAC;IACvB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9C,WAAW,EAAE,gBAAgB,EAAE,CAAC;IAChC,gGAAgG;IAChG,SAAS,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,EAAE,CAAC;IAC1E,WAAW,EAAE,WAAW,GAAG,IAAI,CAAC;IAChC,mGAAmG;IACnG,aAAa,CAAC,EAAE,UAAU,GAAG,cAAc,CAAC;IAC5C,kBAAkB,EAAE,iBAAiB,EAAE,CAAC;IACxC,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AA6CD,uGAAuG;AACvG,wBAAsB,YAAY,CAChC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,OAAO,EACb,QAAQ,EAAE,QAAQ,EAClB,EAAE,EAAE,EAAE,EACN,GAAG,EAAE,OAAO,MAAM,GACjB,OAAO,CAAC,MAAM,CAAC,CAkIjB;AA4BD,6DAA6D;AAC7D,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,GAAG,MAAM,CAqCtE"}