universal-physics-tensor 10.0.0 → 12.0.0

package/dist/cli/statuses.js.map

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

package/dist/cli/stored-results.d.ts

@@ -0,0 +1,7 @@
+/** The artifact `--stored` reads, relative to the repository root; not shipped in the package. */
+export declare const STORED_RESULTS_PATH = "data/atlas/witness-results.json";
+/** The repository root, when this module runs from a checkout (`src/cli/` or `dist/cli/`). */
+export declare function repoRoot(): string;
+/** The absolute path `--stored` reads, which an experiment record hashes as an input. */
+export declare function storedResultsFile(): string;
+//# sourceMappingURL=stored-results.d.ts.map

package/dist/cli/stored-results.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stored-results.d.ts","sourceRoot":"","sources":["../../src/cli/stored-results.ts"],"names":[],"mappings":"AAaA,kGAAkG;AAClG,eAAO,MAAM,mBAAmB,oCAAoC,CAAC;AAErE,8FAA8F;AAC9F,wBAAgB,QAAQ,IAAI,MAAM,CAEjC;AAED,yFAAyF;AACzF,wBAAgB,iBAAiB,IAAI,MAAM,CAE1C"}

package/dist/cli/stored-results.js

@@ -0,0 +1,23 @@
+/**
+ * Where the committed witness-results artifact is: the one owner of the path that
+ * `upt map --stored` / `upt atlas --stored` read and an experiment record hashes as an input.
+ *
+ * A support module: both `commands/_atlas-map.ts` and `record.ts` import it, so no support
+ * module reaches into `commands/` (the survey of 2026-10-15 found `record.ts` doing that).
+ *
+ * @module cli/stored-results
+ * @internal
+ */
+import { join } from 'node:path';
+import { fileURLToPath } from 'node:url';
+/** The artifact `--stored` reads, relative to the repository root; not shipped in the package. */
+export const STORED_RESULTS_PATH = 'data/atlas/witness-results.json';
+/** The repository root, when this module runs from a checkout (`src/cli/` or `dist/cli/`). */
+export function repoRoot() {
+    return fileURLToPath(new URL('../../', import.meta.url));
+}
+/** The absolute path `--stored` reads, which an experiment record hashes as an input. */
+export function storedResultsFile() {
+    return join(repoRoot(), STORED_RESULTS_PATH);
+}
+//# sourceMappingURL=stored-results.js.map

package/dist/cli/stored-results.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stored-results.js","sourceRoot":"","sources":["../../src/cli/stored-results.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,kGAAkG;AAClG,MAAM,CAAC,MAAM,mBAAmB,GAAG,iCAAiC,CAAC;AAErE,8FAA8F;AAC9F,MAAM,UAAU,QAAQ;IACtB,OAAO,aAAa,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,iBAAiB;IAC/B,OAAO,IAAI,CAAC,QAAQ,EAAE,EAAE,mBAAmB,CAAC,CAAC;AAC/C,CAAC","sourcesContent":["/**\n * Where the committed witness-results artifact is: the one owner of the path that\n * `upt map --stored` / `upt atlas --stored` read and an experiment record hashes as an input.\n *\n * A support module: both `commands/_atlas-map.ts` and `record.ts` import it, so no support\n * module reaches into `commands/` (the survey of 2026-10-15 found `record.ts` doing that).\n *\n * @module cli/stored-results\n * @internal\n */\nimport { join } from 'node:path';\nimport { fileURLToPath } from 'node:url';\n\n/** The artifact `--stored` reads, relative to the repository root; not shipped in the package. */\nexport const STORED_RESULTS_PATH = 'data/atlas/witness-results.json';\n\n/** The repository root, when this module runs from a checkout (`src/cli/` or `dist/cli/`). */\nexport function repoRoot(): string {\n  return fileURLToPath(new URL('../../', import.meta.url));\n}\n\n/** The absolute path `--stored` reads, which an experiment record hashes as an input. */\nexport function storedResultsFile(): string {\n  return join(repoRoot(), STORED_RESULTS_PATH);\n}\n"]}

package/dist/cli/version.d.ts

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

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

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

package/dist/cli/version.js

@@ -7,12 +7,15 @@
  * resolves to the package root in both the dev checkout and the installed
  * npm layout (`dist/` ships as part of the published package).
  */
-import { existsSync, readFileSync } from 'node:fs';
+import { existsSync } from 'node:fs';
 import { createRequire } from 'node:module';
 import { join } from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { readJsonFile } from '../core/data-file.js';
+/** Read the package version from `package.json` at run time. */
 export function packageVersion() {
-    const pkgPath = new URL('../../package.json', import.meta.url);
-    const pkg = JSON.parse(readFileSync(pkgPath, 'utf8'));
+    const pkgPath = fileURLToPath(new URL('../../package.json', import.meta.url));
+    const pkg = readJsonFile(pkgPath);
     return pkg.version;
 }
 /**
@@ -22,7 +25,7 @@ export function packageVersion() {
  * the record still names those versions so a replay can see a parser change.
  */
 export function peerVersions() {
-    const pkg = JSON.parse(readFileSync(new URL('../../package.json', import.meta.url), 'utf8'));
+    const pkg = readJsonFile(fileURLToPath(new URL('../../package.json', import.meta.url)));
     const names = [
         ...Object.keys(pkg.dependencies ?? {}).filter((n) => n.startsWith('@danielsimonjr/')),
         ...Object.keys(pkg.peerDependencies ?? {}),
@@ -34,7 +37,7 @@ export function peerVersions() {
         for (const dir of require.resolve.paths(name) ?? []) {
             const manifest = join(dir, name, 'package.json');
             if (existsSync(manifest)) {
-                peers[name] = JSON.parse(readFileSync(manifest, 'utf8')).version ?? null;
+                peers[name] = readJsonFile(manifest).version ?? null;
                 break;
             }
         }

package/dist/cli/version.js.map

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

package/dist/cli-api.d.ts

@@ -26,6 +26,8 @@ export { parseDimensionSpec } from './dimensional/dimension-spec.js';
 export { predictMissingBridges } from './composition/bridge-prediction.js';
 export { catalogFrontierAccount, formatFrontierAccount } from './composition/frontier-account.js';
 export { rankDiscoveries, ANCHOR_DEFAULT } from './composition/discovery.js';
+/** The one magnitude-evidence predicate behind the two promising tiers, and the selector of both tiers. */
+export { hasMagnitudeEvidence, isPromisingTier } from './composition/discovery.js';
 export { BRIDGE_EQUATIONS } from './bridges/index.js';
 export { auditCoverage } from './composition/audit-coverage.js';
 export { CONFRONTATIONS, listConfrontations, runConfrontation, confrontationRigor, rigorDistribution, } from './bridges/confrontations.js';
@@ -33,6 +35,10 @@ export { CONFRONTATIONS, listConfrontations, runConfrontation, confrontationRigo
 export { requestCallerTableConfrontation } from './bridges/caller-table.js';
 /** The catalog row, the id parser (and its non-throwing form), and the relation a numeric id evaluates. */
 export { catalogEntry, catalogIdNumber, parseBridgeId, primaryRelation } from './bridges/catalog-load.js';
+/** The graph key of a catalog number (`be-<n>`): the one place that spelling is written. */
+export { catalogEdgeKey } from './bridges/catalog-load.js';
+/** `_` written as `-`: the one fold every spelling comparison uses. */
+export { foldName } from './dimensional/quantity-registry.js';
 /** The two composition demonstrations the CLI prints. */
 export { demonstrationEdges } from './composition/catalog-graph.js';
 export type { ConfrontationEntry, RigorTier } from './bridges/confrontations.js';
@@ -51,7 +57,8 @@ export { APPLIED_CASES, runAppliedCase } from './cases/index.js';
 export type { AppliedCase, CaseCheck, CaseResult } from './cases/index.js';
 /** The unit reader's conversion, its refusal and the rows of the unit table. */
 export { convertValue, UnitError, unitRows } from './dimensional/units.js';
-export { auditAxisDiscrimination } from './composition/axis-audit.js';
+/** The axis-discrimination audit and the level (0.05) at which an axis's evidence is earned. */
+export { auditAxisDiscrimination, AUDIT_ALPHA } from './composition/axis-audit.js';
 export type { AxisDiscrimination } from './composition/axis-audit.js';
 export { AXES } from './composition/axes.js';
 export type { AxisSpec } from './composition/axes.js';
@@ -62,6 +69,13 @@ export { deriveProposedBridges } from './composition/proposed-bridges.js';
 export { describeDerivedClaim } from './composition/consequence.js';
 export { filterEdges, formatFilterLegend } from './composition/graph-viz.js';
 export { deriveEdgeEvidence } from './cli/map-evidence.js';
+/**
+ * `upt map --communities | --cycles | --rank-hubs`: layout communities (Louvain, heuristic; never
+ * physics), derivation cycles, and betweenness hub ranking on demand. Internal.
+ */
+export { communitiesOf, derivationCycles, rankHubs } from './composition/graph-structure.js';
+/** The community report, one derivation cycle, and one hub rank, as `upt map` prints them. */
+export type { CommunityReport, DerivationCycle, HubRank } from './composition/graph-structure.js';
 /**
  * Experimental Product B (expression / residual search). Not the identification
  * funnel (`rankDiscoveries`). CLI `upt probe` only.
@@ -78,8 +92,19 @@ export type { ConventionKey } from './atlas/conventions.js';
 export { describeGrounding, describeReadiness } from './composition/grounding.js';
 export { REPRESENTATIVE_VALUES } from './composition/representative-values.js';
 export { compareWithCanonical, compareUserEquation, describeComparison, describeComparisons, describeKnownRelation, matchingCatalogEdges, } from './composition/canonical-compare.js';
-export type { CanonicalComparison, CatalogEdgeMatch } from './composition/canonical-compare.js';
+/** The comparison row, the catalog-edge match, and the exponent-difference diagnosis of a form mismatch. */
+export type { CanonicalComparison, CatalogEdgeMatch, ExponentDifference } from './composition/canonical-compare.js';
+/** One line for an exponent difference (`yours/canonical ∝ mass^-1 (R² = 1): …`), for `upt derive` to print. */
+export { describeExponentDifference } from './composition/canonical-compare.js';
+/** One owner for "a constant times that one" (proposal 6): `upt derive` recovers its prefactor here. */
+export { FIXED_POINT_EXPONENTS, constantRatio, fixedPoint, recoverMonomialPrefactor, } from './canonical/fixed-points.js';
+/** The fixed-point scheme, the ratio statistic and the recovery result types of `canonical/fixed-points.ts`. */
+export type { ConstantRatio, ConstantRatioOptions, FixedPointScheme, PrefactorRecovery, PrefactorRecoveryScheme, RatioStatistic, } from './canonical/fixed-points.js';
 export { CONSTANTS, CONSTANT_PROVENANCE } from './dimensional/symbolic-constants.js';
+/** The one decimal-literal rule (`2`, `1e3`; not `0x2`, `''`, `Infinity`): a symbol name that is a number. */
+export { isDecimalLiteral } from './dimensional/ast-leaves.js';
+/** The one scalar-leaf walk of an `ExprNode`: `op` arguments always, other arms as the caller opts in. */
+export { forEachScalarLeaf } from './dimensional/ast-leaves.js';
 export type { CandidateGrounding, CandidateReadiness } from './composition/grounding.js';
 export { OSCILLATOR_FAMILY } from './atlas/oscillators/index.js';
 export { ATLAS_FAMILIES } from './atlas/families.js';
@@ -117,7 +142,9 @@ export { scanCompositionRecovery } from './composition/composition-recovery.js';
  *
  * @internal
  */
-export { curvatureReport, kerrEquatorialCircular, kerrGeodesic, kerrTurningPointOrbit, MetricMassError, schwarzschildCircularOrbit, type MetricId, } from './numerical/spacetime-metrics.js';
+export { curvatureReport, kerrEquatorialCircular, kerrGeodesic, kerrTurningPointOrbit, MetricMassError, MetricValueError, schwarzschildCircularOrbit, type MetricId, } from './numerical/spacetime-metrics.js';
+/** One split of a `name=value` token; a null is the command's own usage or value error. */
+export { splitAssignment } from './core/assignment.js';
 /**
  * Binding readers for `upt eval`, `upt evaluate`, `upt regime`, and `upt path`.
  *
@@ -140,6 +167,8 @@ export { assertSynonymAgreement, expandSynonymValues } from './dimensional/formu
 export { CANONICAL_GROUP_PREFACTORS } from './composition/canonical-prefactors.js';
 /** The one number formatter of explain text. */
 export { formatQuantity, formatExact } from './composition/explain.js';
+/** A fraction printed as a percentage (fixed decimals, or significant digits for a statistic). */
+export { formatPercent } from './core/format.js';
 /** A monomial odd in both carrier charge and mobility with opposite signs. */
 export { CarrierSignError } from './bridges/carrier-sign.js';
 /** The constant values a natural-unit mode overrides. */
@@ -147,13 +176,15 @@ export { naturalConstantOverrides } from './dimensional/natural-units.js';
 /** The constant-value mode a formula is evaluated in: SI, natural, or geometrized. */
 export type { UnitMode } from './dimensional/natural-units.js';
 /** Kebab catalog names rewritten to one symbol each before a formula is parsed. */
-export { rewriteCatalogHyphens } from './dimensional/hyphen-names.js';
+export { escapeRegExp, rewriteCatalogHyphens } from './dimensional/hyphen-names.js';
 /** The ledger id of an orphan-connector pair, when both names are slugs. */
 export { candidateIdIfSlug } from './composition/adjudication.js';
 /** The catalog or parameter name a spelling means. The commands call this, not a second table. */
 export { resolveQuantityName } from './index.js';
 /** The edge and the closed-form evaluator for an id. An evaluator with no edge is not unknown. */
-export { evaluatorOutput, resolveEvaluable } from './composition/evaluate-relation.js';
+export { evaluateResolved, resolveEvaluable } from './composition/evaluate-relation.js';
+/** The SI unit of a dimension, in the form `parseUnit` reads back. The CLI's derived label reads it. */
+export { siUnitOf } from './dimensional/algebra.js';
 /** The required inputs of an evaluator that no relation source reads. They do not change the value. */
 export { unusedInputKeys } from './bridges/evaluators.js';
 /** Two spellings of one quantity were given different numbers. The formula is not run. */

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

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

package/dist/cli-api.js

@@ -30,6 +30,8 @@ export { parseDimensionSpec } from './dimensional/dimension-spec.js';
 export { predictMissingBridges } from './composition/bridge-prediction.js';
 export { catalogFrontierAccount, formatFrontierAccount } from './composition/frontier-account.js';
 export { rankDiscoveries, ANCHOR_DEFAULT } from './composition/discovery.js';
+/** The one magnitude-evidence predicate behind the two promising tiers, and the selector of both tiers. */
+export { hasMagnitudeEvidence, isPromisingTier } from './composition/discovery.js';
 export { BRIDGE_EQUATIONS } from './bridges/index.js';
 export { auditCoverage } from './composition/audit-coverage.js';
 export { CONFRONTATIONS, listConfrontations, runConfrontation, confrontationRigor, rigorDistribution, } from './bridges/confrontations.js';
@@ -37,6 +39,10 @@ export { CONFRONTATIONS, listConfrontations, runConfrontation, confrontationRigo
 export { requestCallerTableConfrontation } from './bridges/caller-table.js';
 /** The catalog row, the id parser (and its non-throwing form), and the relation a numeric id evaluates. */
 export { catalogEntry, catalogIdNumber, parseBridgeId, primaryRelation } from './bridges/catalog-load.js';
+/** The graph key of a catalog number (`be-<n>`): the one place that spelling is written. */
+export { catalogEdgeKey } from './bridges/catalog-load.js';
+/** `_` written as `-`: the one fold every spelling comparison uses. */
+export { foldName } from './dimensional/quantity-registry.js';
 /** The two composition demonstrations the CLI prints. */
 export { demonstrationEdges } from './composition/catalog-graph.js';
 export { consistencyComparison } from './bridges/observations/types.js';
@@ -52,7 +58,8 @@ export { resolveEvaluatorInputs } from './bridges/evaluator-inputs.js';
 export { APPLIED_CASES, runAppliedCase } from './cases/index.js';
 /** The unit reader's conversion, its refusal and the rows of the unit table. */
 export { convertValue, UnitError, unitRows } from './dimensional/units.js';
-export { auditAxisDiscrimination } from './composition/axis-audit.js';
+/** The axis-discrimination audit and the level (0.05) at which an axis's evidence is earned. */
+export { auditAxisDiscrimination, AUDIT_ALPHA } from './composition/axis-audit.js';
 export { AXES } from './composition/axes.js';
 export { simplifyObservable, isSimplifierAvailable } from './composition/expr-simplify.js';
 export { CANONICAL_EQUATIONS, bridgesWithoutCanonicalPartner, } from './canonical/registry.js';
@@ -65,6 +72,11 @@ export { describeDerivedClaim } from './composition/consequence.js';
 // derivation lives in cli/map-evidence.ts, which is what calls it.
 export { filterEdges, formatFilterLegend } from './composition/graph-viz.js';
 export { deriveEdgeEvidence } from './cli/map-evidence.js';
+/**
+ * `upt map --communities | --cycles | --rank-hubs`: layout communities (Louvain, heuristic; never
+ * physics), derivation cycles, and betweenness hub ranking on demand. Internal.
+ */
+export { communitiesOf, derivationCycles, rankHubs } from './composition/graph-structure.js';
 /**
  * Experimental Product B (expression / residual search). Not the identification
  * funnel (`rankDiscoveries`). CLI `upt probe` only.
@@ -88,7 +100,15 @@ export { describeGrounding, describeReadiness } from './composition/grounding.js
 export { REPRESENTATIVE_VALUES } from './composition/representative-values.js';
 // User formula vs the canonical equation it restates (persona finding L2).
 export { compareWithCanonical, compareUserEquation, describeComparison, describeComparisons, describeKnownRelation, matchingCatalogEdges, } from './composition/canonical-compare.js';
+/** One line for an exponent difference (`yours/canonical ∝ mass^-1 (R² = 1): …`), for `upt derive` to print. */
+export { describeExponentDifference } from './composition/canonical-compare.js';
+/** One owner for "a constant times that one" (proposal 6): `upt derive` recovers its prefactor here. */
+export { FIXED_POINT_EXPONENTS, constantRatio, fixedPoint, recoverMonomialPrefactor, } from './canonical/fixed-points.js';
 export { CONSTANTS, CONSTANT_PROVENANCE } from './dimensional/symbolic-constants.js';
+/** The one decimal-literal rule (`2`, `1e3`; not `0x2`, `''`, `Infinity`): a symbol name that is a number. */
+export { isDecimalLiteral } from './dimensional/ast-leaves.js';
+/** The one scalar-leaf walk of an `ExprNode`: `op` arguments always, other arms as the caller opts in. */
+export { forEachScalarLeaf } from './dimensional/ast-leaves.js';
 // Atlas Phase 2 CLI surface (`upt regime`, `upt path`). Regime admission and
 // route bounds are `@internal`; the CLI is their only consumer today.
 export { OSCILLATOR_FAMILY } from './atlas/oscillators/index.js';
@@ -121,7 +141,9 @@ export { scanCompositionRecovery } from './composition/composition-recovery.js';
  *
  * @internal
  */
-export { curvatureReport, kerrEquatorialCircular, kerrGeodesic, kerrTurningPointOrbit, MetricMassError, schwarzschildCircularOrbit, } from './numerical/spacetime-metrics.js';
+export { curvatureReport, kerrEquatorialCircular, kerrGeodesic, kerrTurningPointOrbit, MetricMassError, MetricValueError, schwarzschildCircularOrbit, } from './numerical/spacetime-metrics.js';
+/** One split of a `name=value` token; a null is the command's own usage or value error. */
+export { splitAssignment } from './core/assignment.js';
 /**
  * Binding readers for `upt eval`, `upt evaluate`, `upt regime`, and `upt path`.
  *
@@ -142,18 +164,22 @@ export { assertSynonymAgreement, expandSynonymValues } from './dimensional/formu
 export { CANONICAL_GROUP_PREFACTORS } from './composition/canonical-prefactors.js';
 /** The one number formatter of explain text. */
 export { formatQuantity, formatExact } from './composition/explain.js';
+/** A fraction printed as a percentage (fixed decimals, or significant digits for a statistic). */
+export { formatPercent } from './core/format.js';
 /** A monomial odd in both carrier charge and mobility with opposite signs. */
 export { CarrierSignError } from './bridges/carrier-sign.js';
 /** The constant values a natural-unit mode overrides. */
 export { naturalConstantOverrides } from './dimensional/natural-units.js';
 /** Kebab catalog names rewritten to one symbol each before a formula is parsed. */
-export { rewriteCatalogHyphens } from './dimensional/hyphen-names.js';
+export { escapeRegExp, rewriteCatalogHyphens } from './dimensional/hyphen-names.js';
 /** The ledger id of an orphan-connector pair, when both names are slugs. */
 export { candidateIdIfSlug } from './composition/adjudication.js';
 /** The catalog or parameter name a spelling means. The commands call this, not a second table. */
 export { resolveQuantityName } from './index.js';
 /** The edge and the closed-form evaluator for an id. An evaluator with no edge is not unknown. */
-export { evaluatorOutput, resolveEvaluable } from './composition/evaluate-relation.js';
+export { evaluateResolved, resolveEvaluable } from './composition/evaluate-relation.js';
+/** The SI unit of a dimension, in the form `parseUnit` reads back. The CLI's derived label reads it. */
+export { siUnitOf } from './dimensional/algebra.js';
 /** The required inputs of an evaluator that no relation source reads. They do not change the value. */
 export { unusedInputKeys } from './bridges/evaluators.js';
 /** Two spellings of one quantity were given different numbers. The formula is not run. */

package/dist/cli-api.js.map

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