universal-physics-tensor 9.0.0 → 11.0.0

package/dist/composition/edge.js

@@ -13,6 +13,21 @@
  */
 import { CANONICAL_GROUP_PREFACTORS } from './canonical-prefactors.js';
 import { DomainViolationError } from '../bridges/evaluation-errors.js';
+import { formulaNames, formulaScope } from '../bridges/expr-parse.js';
+import { conditionDomain } from '../bridges/validity.js';
+/**
+ * The validity domain a condition states, in the catalog's condition grammar
+ * (`v > 0 and abs(x) < 1`; `true` for none). The predicate, the description
+ * and the violations are all read from that one text. `names` lists the
+ * hyphenated quantity names the condition reads beyond the registered ones;
+ * registered constants are bound. `declared` lists the constant names the
+ * condition may take as inputs (a relation's own sources).
+ *
+ * @public
+ */
+export function validityDomain(condition, names = [], declared = []) {
+    return conditionDomain(condition, () => [...formulaNames(), ...names], formulaScope, declared);
+}
 /** Composition failed: no junction quantity matched. @public */
 export class CompositionJunctionError extends Error {
     constructor(message) {
@@ -53,6 +68,20 @@ function groupBound(edge, inputs) {
     const value = inputs[group.group];
     return value !== undefined && Number.isFinite(value);
 }
+/**
+ * The unset-coefficient gate: an edge whose coefficient is unset and whose
+ * group is not a finite input throws {@link CoefficientUnsetError}. This is
+ * the one rule; `evaluateEdge` applies it to the edge it is given, and a
+ * composed edge's evaluator applies it to each operand before calling it, so
+ * a monomial times an absent 1 never reaches a caller as a number.
+ *
+ * @internal
+ */
+export function assertCoefficientSet(edge, inputs) {
+    if (edge.coefficientUnset === true && !groupBound(edge, inputs)) {
+        throw new CoefficientUnsetError(edge.id, edge.label);
+    }
+}
 /**
  * Composition refused: the composed sources would contain a duplicate
  * quantity NAME across operands without a recorded disposition (v0.11
@@ -79,15 +108,16 @@ export class CompositionAliasError extends Error {
  * the composite is known to be false. The message names both edge ids AND both
  * relation types, so the refused pair is identifiable without the table.
  *
- * Thrown ONLY when both operands carry a `relation`. An edge with no relation
- * overlay composes exactly as it did before Atlas Phase 1.
+ * Thrown when both operands carry a `relation` and the table is silent, or
+ * when both carry a `regime` of different families (this layer does not state
+ * where a cross-family chain applies). An edge with no relation overlay and no
+ * regime composes exactly as it did before Atlas Phase 1.
  *
- * `@internal`, not `@public`, for the same reason the rest of the Atlas overlay
- * is: nothing atlas-related joins the published surface before ROADMAP Phase 6.
- * It is reachable from the `src/composition/index.ts` barrel, which is what
- * internal consumers and tests use. Promote it in Phase 6 together with the
- * overlay fields, and update `tests/api/public-surface.test.ts`'s snapshot in
- * the same commit — that snapshot caught this addition, which is it working.
+ * Internal, not public: nothing atlas-related joins the published
+ * surface before ROADMAP Phase 6. It is reachable from the
+ * `src/composition/index.ts` barrel, which is what internal consumers and
+ * tests use. Promoting it is a public-surface change and goes through
+ * `tests/api/public-surface.test.ts` like any other.
  *
  * @internal
  */
@@ -138,6 +168,12 @@ function bindAliasInputs(edge, inputs) {
     }
     return out ?? inputs;
 }
+/** The key the caller gave `name` under: the name itself, else the first alias present. */
+function givenKey(edge, inputs, name) {
+    if (Object.hasOwn(inputs, name))
+        return name;
+    return (edge.aliases?.[name] ?? []).find((alias) => Object.hasOwn(inputs, alias)) ?? name;
+}
 /**
  * The domain predicate and `evaluate` read source names. This copy reads
  * aliases first, so a CLI key reaches the same formula.
@@ -151,6 +187,7 @@ export function withBoundAliases(edge) {
         domain: {
             description: edge.domain.description,
             predicate: (inputs) => edge.domain.predicate(bindAliasInputs(edge, inputs)),
+            violations: (inputs, keyOf = (name) => name) => edge.domain.violations(bindAliasInputs(edge, inputs), (name) => keyOf(givenKey(edge, inputs, name))),
         },
         evaluate: (inputs) => edge.evaluate(bindAliasInputs(edge, inputs)),
     };
@@ -166,11 +203,9 @@ export function withBoundAliases(edge) {
 export function evaluateEdge(edge, inputs) {
     const bound = bindAliasInputs(edge, inputs);
     if (!edge.domain.predicate(bound)) {
-        throw new DomainViolationError(`${edge.id}: inputs violate validity domain (${edge.domain.description})`);
-    }
-    if (edge.coefficientUnset === true && !groupBound(edge, bound)) {
-        throw new CoefficientUnsetError(edge.id, edge.label);
+        throw new DomainViolationError(edge.id, edge.domain.violations(bound, (name) => givenKey(edge, inputs, name)));
     }
+    assertCoefficientSet(edge, bound);
     return edge.evaluate(bound);
 }
 //# sourceMappingURL=edge.js.map

package/dist/composition/edge.js.map

@@ -1 +1 @@
-{"version":3,"file":"edge.js","sourceRoot":"","sources":["../../src/composition/edge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AAOvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AA6JvE,gEAAgE;AAChE,MAAM,OAAO,wBAAyB,SAAQ,KAAK;IACjD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;IACzC,CAAC;CACF;AAED,6EAA6E;AAC7E,MAAM,OAAO,yBAA0B,SAAQ,KAAK;IAClD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,2BAA2B,CAAC;IAC1C,CAAC;CACF;AAED;;;;;;;GAOG;AACH,MAAM,OAAO,qBAAsB,SAAQ,KAAK;IACrC,EAAE,CAAS;IACX,OAAO,CAAS;IACzB,YAAY,EAAU,EAAE,OAAe;QACrC,KAAK,CAAC,iBAAiB,EAAE,0BAA0B,OAAO,GAAG,CAAC,CAAC;QAC/D,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;CACF;AAED,2EAA2E;AAC3E,SAAS,UAAU,CAAC,IAAgB,EAAE,MAA8B;IAClE,MAAM,KAAK,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3E,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAClC,OAAO,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACvD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,qBAAsB,SAAQ,KAAK;IAC9C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;IACtC,CAAC;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,OAAO,yBAA0B,SAAQ,KAAK;IAClD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,2BAA2B,CAAC;IAC1C,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,kBAAmB,SAAQ,KAAK;IACpC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACnC,CAAC;CACF;AAED;;;;;GAKG;AACH,SAAS,eAAe,CACtB,IAAgB,EAChB,MAA8B;IAE9B,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IAC9C,IAAI,GAAuC,CAAC;IAC5C,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;QACjE,IAAI,CAAC,KAAK,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC7C,MAAM,MAAM,GAAG;YACb,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/D,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAE,EAAE,CAAC,CAAC;SACxD,CAAC;QACF,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC;QAC/B,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;YACvD,MAAM,IAAI,kBAAkB,CAC1B,GAAG,IAAI,CAAC,EAAE,KAAK,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,qBAAqB,QAAQ,EAAE,CAC3G,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,GAAG,KAAK,EAAE,GAAG,MAAM,EAAE,CAAC;YACtB,GAAG,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC;QACxB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,IAAI,MAAM,CAAC;AACvB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAuB,IAAO;IAC5D,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5C,OAAO;QACL,GAAG,IAAI;QACP,MAAM,EAAE;YACN,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,WAAW;YACpC,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;SAC5E;QACD,QAAQ,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;KACnE,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAC1B,IAAgB,EAChB,MAA8B;IAE9B,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5C,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,oBAAoB,CAC5B,GAAG,IAAI,CAAC,EAAE,qCAAqC,IAAI,CAAC,MAAM,CAAC,WAAW,GAAG,CAC1E,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,gBAAgB,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,qBAAqB,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC"}
+{"version":3,"file":"edge.js","sourceRoot":"","sources":["../../src/composition/edge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AAOvE,OAAO,EAAE,oBAAoB,EAAwB,MAAM,iCAAiC,CAAC;AAC7F,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AA0BzD;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAC5B,SAAiB,EACjB,KAAK,GAAsB,EAAE,EAC7B,QAAQ,GAAsB,EAAE;IAEhC,OAAO,eAAe,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,YAAY,EAAE,EAAE,GAAG,KAAK,CAAC,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;AACjG,CAAC;AA+ID,gEAAgE;AAChE,MAAM,OAAO,wBAAyB,SAAQ,KAAK;IACjD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;IACzC,CAAC;CACF;AAED,6EAA6E;AAC7E,MAAM,OAAO,yBAA0B,SAAQ,KAAK;IAClD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,2BAA2B,CAAC;IAC1C,CAAC;CACF;AAED;;;;;;;GAOG;AACH,MAAM,OAAO,qBAAsB,SAAQ,KAAK;IACrC,EAAE,CAAS;IACX,OAAO,CAAS;IACzB,YAAY,EAAU,EAAE,OAAe;QACrC,KAAK,CAAC,iBAAiB,EAAE,0BAA0B,OAAO,GAAG,CAAC,CAAC;QAC/D,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;CACF;AAED,2EAA2E;AAC3E,SAAS,UAAU,CAAC,IAAgB,EAAE,MAA8B;IAClE,MAAM,KAAK,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3E,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAClC,OAAO,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACvD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAgB,EAAE,MAA8B;IACnF,IAAI,IAAI,CAAC,gBAAgB,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;QAChE,MAAM,IAAI,qBAAqB,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,qBAAsB,SAAQ,KAAK;IAC9C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;IACtC,CAAC;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,OAAO,yBAA0B,SAAQ,KAAK;IAClD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,2BAA2B,CAAC;IAC1C,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,kBAAmB,SAAQ,KAAK;IACpC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACnC,CAAC;CACF;AAED;;;;;GAKG;AACH,SAAS,eAAe,CACtB,IAAgB,EAChB,MAA8B;IAE9B,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IAC9C,IAAI,GAAuC,CAAC;IAC5C,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;QACjE,IAAI,CAAC,KAAK,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC7C,MAAM,MAAM,GAAG;YACb,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/D,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAE,EAAE,CAAC,CAAC;SACxD,CAAC;QACF,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC;QAC/B,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;YACvD,MAAM,IAAI,kBAAkB,CAC1B,GAAG,IAAI,CAAC,EAAE,KAAK,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,qBAAqB,QAAQ,EAAE,CAC3G,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,GAAG,KAAK,EAAE,GAAG,MAAM,EAAE,CAAC;YACtB,GAAG,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC;QACxB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,IAAI,MAAM,CAAC;AACvB,CAAC;AAED,2FAA2F;AAC3F,SAAS,QAAQ,CAAC,IAAgB,EAAE,MAAwC,EAAE,IAAY;IACxF,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7C,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC;AAC5F,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAuB,IAAO;IAC5D,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5C,OAAO;QACL,GAAG,IAAI;QACP,MAAM,EAAE;YACN,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,WAAW;YACpC,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC3E,UAAU,EAAE,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAC7C,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;SACvG;QACD,QAAQ,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;KACnE,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAC1B,IAAgB,EAChB,MAA8B;IAE9B,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5C,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,oBAAoB,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACjH,CAAC;IACD,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAClC,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC","sourcesContent":["/**\n * Composition graph — edges (bridges and laws) + validity domains\n * (v0.8.0 T1+T2+T3, per docs/planning/v0.8.0-Design.md §3).\n *\n * A `BridgeEdge` is an edge in the composition graph: n-ary source\n * quantities → one target quantity, carrying a closed-form evaluator,\n * a first-class validity domain (G-8), a confidence grade, and a\n * literature citation. `kind: 'law'` marks diagonal-law edges (P-1) —\n * edges whose endpoints share regime attributes, serving as the\n * connective tissue composition chains pass through.\n *\n * @module composition/edge\n */\n\nimport type { Quantity } from './quantity.js';\nimport type { ExprNode } from '../dimensional/validator.js';\nimport { CANONICAL_GROUP_PREFACTORS } from './canonical-prefactors.js';\nimport type {\n  Conventions,\n  Counterexample,\n  Regime,\n  RelationContract,\n} from '../relations/types.js';\nimport { DomainViolationError, type DomainViolation } from '../bridges/evaluation-errors.js';\nimport { formulaNames, formulaScope } from '../bridges/expr-parse.js';\nimport { conditionDomain } from '../bridges/validity.js';\n\n/**\n * First-class validity domain (v0.8.0 G-8). The predicate receives the\n * same keyed inputs as `evaluate` and returns whether the edge's\n * formula applies there (e.g. weak-field, positive mass, bound orbit).\n *\n * @public\n */\nexport interface ValidityDomain {\n  /** The conditions written out, read from the same text the predicate runs (a catalog relation's `holds`). */\n  readonly description: string;\n  /** Whether every condition holds. */\n  readonly predicate: (inputs: Record<string, number>) => boolean;\n  /**\n   * The conditions `inputs` violate, each written with the caller's keys and\n   * naming the inputs it reads; empty exactly when `predicate` holds.\n   * `keyOf` maps a name the domain reads to the key the caller gave; a name it\n   * does not map is its own key.\n   */\n  readonly violations: (\n    inputs: Record<string, number>,\n    keyOf?: (name: string) => string,\n  ) => readonly DomainViolation[];\n}\n\n/**\n * The validity domain a condition states, in the catalog's condition grammar\n * (`v > 0 and abs(x) < 1`; `true` for none). The predicate, the description\n * and the violations are all read from that one text. `names` lists the\n * hyphenated quantity names the condition reads beyond the registered ones;\n * registered constants are bound. `declared` lists the constant names the\n * condition may take as inputs (a relation's own sources).\n *\n * @public\n */\nexport function validityDomain(\n  condition: string,\n  names: readonly string[] = [],\n  declared: readonly string[] = [],\n): ValidityDomain {\n  return conditionDomain(condition, () => [...formulaNames(), ...names], formulaScope, declared);\n}\n\n/**\n * Confidence grade — mirrors the catalog's status taxonomy. Composition\n * demotes via {@link minConfidence}; it never promotes.\n *\n * @public\n */\nexport type EdgeConfidence =\n  | 'established'\n  | 'speculative'\n  | 'highly-speculative';\n\n/**\n * An edge in the composition graph.\n *\n * `evaluate` is keyed by source-quantity `name`s. For catalog-backed\n * edges, `beId` cross-references `BRIDGE_EQUATIONS`; diagonal-law\n * edges have `beId: null` (BE-1–10 are not individually catalogued).\n *\n * @public\n */\nexport interface BridgeEdge {\n  /** Graph id, e.g. 'be-42', 'law-schwarzschild-radius'. */\n  readonly id: string;\n  /** Catalog cross-reference; null for diagonal laws. */\n  readonly beId: number | null;\n  /** Bridge (endpoints differ in regime) vs law (endpoints share regime). */\n  readonly kind: 'bridge' | 'law';\n  /** Human-readable label. */\n  readonly label: string;\n  /** Input quantities (n-ary). */\n  readonly sources: readonly Quantity[];\n  /**\n   * Evaluator keys and the symbols a reader copies, keyed by source name.\n   * `evaluate`, the domain predicate, and `evaluateEdge` copy an alias onto\n   * that source name before the formula. Explain, search, map, and derive\n   * read the same record.\n   */\n  readonly aliases?: Readonly<Record<string, readonly string[]>>;\n  /** Output quantity. */\n  readonly target: Quantity;\n  readonly confidence: EdgeConfidence;\n  readonly domain: ValidityDomain;\n  /** Closed-form evaluator; keys are source-quantity names. */\n  readonly evaluate: (inputs: Record<string, number>) => number;\n  /**\n   * OPTIONAL symbolic form of the target (v0.12 symbolic composition): an\n   * `ExprNode` whose leaf symbols are EITHER this edge's source-quantity\n   * NAMES (graph vocabulary, e.g. `'mass'`) or registered constant symbols\n   * (`hbar`, `c`, `G`, `k_B`, `8pi`, `ln2`, …). When present, `composeSymbolic`\n   * can thread it through a junction by AST substitution; a drift-guard test\n   * binds it to `evaluate`. Absent on numeric-only edges (the default).\n   */\n  readonly symbolic?: ExprNode;\n  readonly citation: string;\n  /**\n   * The canonical entry is dimensional and no sourced prefactor multiplies\n   * the monomial. The evaluator's leading 1 is that absence. It is not a\n   * recovered constant. Absent on catalog edges and on a dimensional entry\n   * whose table already supplies the factor, including a sourced 1.\n   */\n  readonly coefficientUnset?: boolean;\n  /**\n   * Exponents of dimensionless counts the dimensional monomial cannot see.\n   * A fully-quantitative scalar AST records them (`N` in `P = N k_B T/V`,\n   * `one_minus_e_sq` in the Einstein perihelion formula). They are sources.\n   * Buckingham drops them, so the audit multiplies these exponents back in.\n   * Absent when the formula has no such count. A `scalar-up-to-constant`\n   * stub is not one of these.\n   */\n  readonly formulaFactors?: Readonly<Record<string, number>>;\n  /**\n   * Source names the scalar formula is an even function of. The evaluator\n   * takes the absolute value of each one. Buckingham still writes the\n   * dimensional exponent, which is odd for `√(q²)` and for `|q|`. Explain\n   * prints those names as magnitudes. Absent when no source is even.\n   */\n  readonly evenInputs?: readonly string[];\n  /**\n   * Provenance: the quantity identification the junction used, when a\n   * composed edge was formed via `QUANTITY_IDENTIFICATIONS` rather than\n   * a name match. Absent on primitive edges and name-matched\n   * compositions. (v0.8.0 punch-list: surfaced from the previously\n   * unused `findJunction` return.)\n   */\n  readonly identificationUsed?: {\n    readonly from: string;\n    readonly to: string;\n    readonly rationale: string;\n    readonly citation?: string;\n  };\n  /**\n   * Provenance: alias dispositions consumed at composition (v0.11\n   * Option D) — which duplicate-name collisions were resolved, and how.\n   */\n  readonly aliasDispositionsUsed?: ReadonlyArray<{\n    readonly name: string;\n    readonly treatAs: 'shared' | { readonly renameSecond: string };\n    readonly rationale: string;\n    readonly citation?: string;\n  }>;\n\n  // ── Atlas Phase 1 overlay (all OPTIONAL; an edge without them is unchanged) ──\n  /** The typed relation this edge asserts, when one has been recorded. */\n  readonly relation?: RelationContract;\n  /**\n   * Where in π-group space this edge is claimed to apply, when a regime has\n   * been recorded (Atlas Phase 2).\n   *\n   * ADDITIVE, and it does NOT replace `domain`. The two are different claims:\n   * `domain.predicate` is an opaque closure over RAW inputs that may encode\n   * conditions no π-group captures — positivity, integer-ness, a branch cut —\n   * while a `Regime` is declarative inequalities over DIMENSIONLESS groups,\n   * traceable back to the dimension matrix. Replacing the predicate with a\n   * regime would discard those conditions invisibly, because the result still\n   * type-checks and still answers (design note §1).\n   *\n   * When both are present the validity domain is satisfied IFF\n   * `predicate(rawInputs) === true` AND `regimeHolds(piGroups).ok === true`.\n   * Logical AND, no precedence: neither side wins, and a `'unknown'` from\n   * `regimeHolds` is a failure to confirm validity, never validity.\n   *\n   * A regime is stated over π-groups, so the CALLER supplies the group values.\n   * Nothing in this library infers them from raw inputs — that would be a\n   * silent, lossy guess at the mapping. An edge without this field behaves\n   * exactly as it did before Phase 2.\n   */\n  readonly regime?: Regime;\n  /** Sign/unit choices the edge depends on. */\n  readonly conventions?: Conventions;\n  /** Cases the edge does NOT cover, each with its witness. */\n  readonly counterexamples?: readonly Counterexample[];\n  /**\n   * Provenance for a `relation` that `composeEdges` DERIVED from the\n   * composition table, rather than one an author recorded: the ids of the two\n   * operands, in composition order. Present only on composed edges whose BOTH\n   * operands carried a `relation`; absent everywhere else, including on every\n   * primitive catalog edge.\n   */\n  readonly relationDerivedFrom?: readonly [string, string];\n}\n\n/** Composition failed: no junction quantity matched. @public */\nexport class CompositionJunctionError extends Error {\n  constructor(message: string) {\n    super(message);\n    this.name = 'CompositionJunctionError';\n  }\n}\n\n/** Composition failed: junction dimensions are not exactly equal. @public */\nexport class CompositionDimensionError extends Error {\n  constructor(message: string) {\n    super(message);\n    this.name = 'CompositionDimensionError';\n  }\n}\n\n/**\n * The edge's coefficient has no sourced number and its group is unbound.\n *\n * `evaluateEdge` throws this. `evaluateRelation` records it as\n * `kind: 'unset'` and does not return a number.\n *\n * @public\n */\nexport class CoefficientUnsetError extends Error {\n  readonly id: string;\n  readonly formula: string;\n  constructor(id: string, formula: string) {\n    super(`evaluateEdge: ${id} coefficient is unset (${formula})`);\n    this.name = 'CoefficientUnsetError';\n    this.id = id;\n    this.formula = formula;\n  }\n}\n\n/** A group prefactor is sourced only when that group is a finite input. */\nfunction groupBound(edge: BridgeEdge, inputs: Record<string, number>): boolean {\n  const group = CANONICAL_GROUP_PREFACTORS.find((row) => row.id === edge.id);\n  if (group === undefined) return false;\n  const value = inputs[group.group];\n  return value !== undefined && Number.isFinite(value);\n}\n\n/**\n * The unset-coefficient gate: an edge whose coefficient is unset and whose\n * group is not a finite input throws {@link CoefficientUnsetError}. This is\n * the one rule; `evaluateEdge` applies it to the edge it is given, and a\n * composed edge's evaluator applies it to each operand before calling it, so\n * a monomial times an absent 1 never reaches a caller as a number.\n *\n * @internal\n */\nexport function assertCoefficientSet(edge: BridgeEdge, inputs: Record<string, number>): void {\n  if (edge.coefficientUnset === true && !groupBound(edge, inputs)) {\n    throw new CoefficientUnsetError(edge.id, edge.label);\n  }\n}\n\n/**\n * Composition refused: the composed sources would contain a duplicate\n * quantity NAME across operands without a recorded disposition (v0.11\n * namespacing gate, Option D — pure name-collision rule per the Adam\n * vet A-1: object identity cannot distinguish wrong-physics aliasing\n * from deliberate sharing).\n *\n * @public\n */\nexport class CompositionAliasError extends Error {\n  constructor(message: string) {\n    super(message);\n    this.name = 'CompositionAliasError';\n  }\n}\n\n/**\n * Composition refused: BOTH operands carry a `relation`, and the composition\n * table (`src/atlas/composition-table.ts`) returns `'no-composite-claim'` for\n * that ordered pair — this library declines to assert what the chain relates.\n *\n * Silence, not a defect in the operands: the table is a deliberate\n * under-approximation (design note `docs/planning/Atlas-Phase-1-Design.md`\n * §2.2), so a refusal here means the composite type is unrecorded, never that\n * the composite is known to be false. The message names both edge ids AND both\n * relation types, so the refused pair is identifiable without the table.\n *\n * Thrown when both operands carry a `relation` and the table is silent, or\n * when both carry a `regime` of different families (this layer does not state\n * where a cross-family chain applies). An edge with no relation overlay and no\n * regime composes exactly as it did before Atlas Phase 1.\n *\n * Internal, not public: nothing atlas-related joins the published\n * surface before ROADMAP Phase 6. It is reachable from the\n * `src/composition/index.ts` barrel, which is what internal consumers and\n * tests use. Promoting it is a public-surface change and goes through\n * `tests/api/public-surface.test.ts` like any other.\n *\n * @internal\n */\nexport class UndefinedCompositionError extends Error {\n  constructor(message: string) {\n    super(message);\n    this.name = 'UndefinedCompositionError';\n  }\n}\n\n/**\n * Two keys for one source disagree. The formula is not run.\n * The message names the source and every key that was set.\n * @internal\n */\nclass AliasConflictError extends Error {\n  constructor(message: string) {\n    super(message);\n    this.name = 'AliasConflictError';\n  }\n}\n\n/**\n * Copy each present alias onto its source name. The caller's record is\n * not mutated. A source that is already set to the same number stays.\n * Two different numbers for one source throw {@link AliasConflictError}.\n * @internal\n */\nfunction bindAliasInputs(\n  edge: BridgeEdge,\n  inputs: Record<string, number>,\n): Record<string, number> {\n  if (edge.aliases === undefined) return inputs;\n  let out: Record<string, number> | undefined;\n  for (const [quantity, keys] of Object.entries(edge.aliases)) {\n    const named = Object.hasOwn(inputs, quantity);\n    const present = keys.filter((key) => Object.hasOwn(inputs, key));\n    if (!named && present.length === 0) continue;\n    const values = [\n      ...(named ? [{ key: quantity, value: inputs[quantity]! }] : []),\n      ...present.map((key) => ({ key, value: inputs[key]! })),\n    ];\n    const first = values[0]!.value;\n    if (values.some((row) => !Object.is(row.value, first))) {\n      throw new AliasConflictError(\n        `${edge.id}: ${values.map((row) => `${row.key}=${row.value}`).join(' and ')}; those keys name ${quantity}`,\n      );\n    }\n    if (!named) {\n      out ??= { ...inputs };\n      out[quantity] = first;\n    }\n  }\n  return out ?? inputs;\n}\n\n/** The key the caller gave `name` under: the name itself, else the first alias present. */\nfunction givenKey(edge: BridgeEdge, inputs: Readonly<Record<string, number>>, name: string): string {\n  if (Object.hasOwn(inputs, name)) return name;\n  return (edge.aliases?.[name] ?? []).find((alias) => Object.hasOwn(inputs, alias)) ?? name;\n}\n\n/**\n * The domain predicate and `evaluate` read source names. This copy reads\n * aliases first, so a CLI key reaches the same formula.\n * @internal\n */\nexport function withBoundAliases<E extends BridgeEdge>(edge: E): E {\n  if (edge.aliases === undefined) return edge;\n  return {\n    ...edge,\n    domain: {\n      description: edge.domain.description,\n      predicate: (inputs) => edge.domain.predicate(bindAliasInputs(edge, inputs)),\n      violations: (inputs, keyOf = (name) => name) =>\n        edge.domain.violations(bindAliasInputs(edge, inputs), (name) => keyOf(givenKey(edge, inputs, name))),\n    },\n    evaluate: (inputs) => edge.evaluate(bindAliasInputs(edge, inputs)),\n  };\n}\n\n/**\n * Domain-checked evaluation: throws {@link DomainViolationError} when\n * `inputs` violate `edge.domain`, otherwise returns `edge.evaluate`.\n * An alias is copied onto its source name first. An unset coefficient\n * throws {@link CoefficientUnsetError} instead of a monomial times 1.\n *\n * @public\n */\nexport function evaluateEdge(\n  edge: BridgeEdge,\n  inputs: Record<string, number>,\n): number {\n  const bound = bindAliasInputs(edge, inputs);\n  if (!edge.domain.predicate(bound)) {\n    throw new DomainViolationError(edge.id, edge.domain.violations(bound, (name) => givenKey(edge, inputs, name)));\n  }\n  assertCoefficientSet(edge, bound);\n  return edge.evaluate(bound);\n}\n"]}

package/dist/composition/enumerate.d.ts

@@ -99,7 +99,8 @@ export interface EnumerationReport {
  * @public
  */
 export declare const REGISTERED_COMPOSITION_IDS: ReadonlySet<string>;
-type EnumerationOptions = ComposeOptions & {
+/** Options of {@link enumerateCompositions}: the compose options plus the registered and seed id sets. @public */
+export type EnumerationOptions = ComposeOptions & {
     readonly registeredIds?: ReadonlySet<string>;
     /** When set, only these edge ids are walked, and symbolic pairs are split. */
     readonly seedIds?: ReadonlySet<string>;
@@ -124,5 +125,4 @@ export declare function enumerateCompositions(edges: ReadonlyArray<BridgeEdge>,
  * @internal
  */
 export declare function enumerateCompositionsWithRefusals(edges: ReadonlyArray<BridgeEdge>, opts?: EnumerationOptions): EnumerationWithRefusals;
-export {};
 //# sourceMappingURL=enumerate.d.ts.map

package/dist/composition/enumerate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"enumerate.d.ts","sourceRoot":"","sources":["../../src/composition/enumerate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAG5C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAGnD,2EAA2E;AAC3E,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,oEAAoE;IACpE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,8DAA8D;IAC9D,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAuBD;;;;;;;GAOG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,mCAAmC;IACnC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;;;GAKG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;IACnC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,oBAAoB,EAAE,CAAC;CAC5D;AAED,kCAAkC;AAClC,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAC;IAClD,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAC;IACzD,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAC;IACpD,gEAAgE;IAChE,QAAQ,CAAC,mBAAmB,EAAE,aAAa,CAAC,mBAAmB,CAAC,CAAC;IACjE;;;OAGG;IACH,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC;QACnC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;QAC3B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;QAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;KACzB,CAAC,CAAC;IACH;;;OAGG;IACH,QAAQ,CAAC,gBAAgB,EAAE,aAAa,CAAC;QACvC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;QAC3B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;KAC7B,CAAC,CAAC;CACJ;AAED;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B,EAAE,WAAW,CAAC,MAAM,CAKzD,CAAC;AAEH,KAAK,kBAAkB,GAAG,cAAc,GAAG;IACzC,QAAQ,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7C,8EAA8E;IAC9E,QAAQ,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACxC,CAAC;AAEF;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,EAChC,IAAI,GAAE,kBAAuB,GAC5B,iBAAiB,CAEnB;AAED;;;;;;;;;GASG;AACH,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,EAChC,IAAI,GAAE,kBAAuB,GAC5B,uBAAuB,CAsEzB"}
+{"version":3,"file":"enumerate.d.ts","sourceRoot":"","sources":["../../src/composition/enumerate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAQ5C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAInD,2EAA2E;AAC3E,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,oEAAoE;IACpE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,8DAA8D;IAC9D,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAuBD;;;;;;;GAOG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,mCAAmC;IACnC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;;;GAKG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;IACnC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,oBAAoB,EAAE,CAAC;CAC5D;AAED,kCAAkC;AAClC,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAC;IAClD,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAC;IACzD,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAC;IACpD,gEAAgE;IAChE,QAAQ,CAAC,mBAAmB,EAAE,aAAa,CAAC,mBAAmB,CAAC,CAAC;IACjE;;;OAGG;IACH,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC;QACnC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;QAC3B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;QAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;KACzB,CAAC,CAAC;IACH;;;OAGG;IACH,QAAQ,CAAC,gBAAgB,EAAE,aAAa,CAAC;QACvC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;QAC3B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;KAC7B,CAAC,CAAC;CACJ;AAED;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B,EAAE,WAAW,CAAC,MAAM,CAKzD,CAAC;AAEH,kHAAkH;AAClH,MAAM,MAAM,kBAAkB,GAAG,cAAc,GAAG;IAChD,QAAQ,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7C,8EAA8E;IAC9E,QAAQ,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACxC,CAAC;AAEF;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,EAChC,IAAI,GAAE,kBAAuB,GAC5B,iBAAiB,CAEnB;AAED;;;;;;;;;GASG;AACH,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,EAChC,IAAI,GAAE,kBAAuB,GAC5B,uBAAuB,CAoFzB"}

package/dist/composition/enumerate.js

@@ -16,9 +16,10 @@
  *
  * @module composition/enumerate
  */
-import { CompositionAliasError, UndefinedCompositionError } from './edge.js';
+import { CompositionAliasError, CompositionDimensionError, CompositionJunctionError, UndefinedCompositionError, } from './edge.js';
 import { composeEdges } from './compose.js';
-import { composeSymbolic } from './compose-symbolic.js';
+import { composeSymbolic, SymbolicCompositionError } from './compose-symbolic.js';
+import { SymbolicEvalError } from './expr-eval.js';
 /**
  * The pre-registered composed ids (the CT-* set at v0.10.0). CT-1b's
  * 3-edge chain appears pairwise as its two links.
@@ -92,6 +93,15 @@ export function enumerateCompositionsWithRefusals(edges, opts = {}) {
                         message: err.message,
                     });
                 }
+                else if (!(err instanceof CompositionDimensionError) &&
+                    !(err instanceof CompositionJunctionError) &&
+                    !(err instanceof SymbolicEvalError)) {
+                    // Only the composer's own refusals are a non-pair: a dimension or junction
+                    // failure, or `substitute` declining a node kind while the composed edge's
+                    // symbolic form is built. Anything else is the instrument breaking, and a
+                    // broken instrument must not read as "no composition here".
+                    throw err;
+                }
                 // A dimension or junction failure stays a silent non-pair.
                 continue;
             }
@@ -110,7 +120,12 @@ export function enumerateCompositionsWithRefusals(edges, opts = {}) {
                     expr: composeSymbolic(first, second, opts).expr,
                 });
             }
-            catch {
+            catch (err) {
+                // A pair `composeSymbolic` declines (no symbolic form, no junction leaf, a
+                // non-homogeneous result, or a node kind `substitute` does not read) is
+                // not substitutable. Any other error is rethrown.
+                if (!(err instanceof SymbolicCompositionError) && !(err instanceof SymbolicEvalError))
+                    throw err;
                 notSubstitutable.push({ first, second });
             }
         }

package/dist/composition/enumerate.js.map

@@ -1 +1 @@
-{"version":3,"file":"enumerate.js","sourceRoot":"","sources":["../../src/composition/enumerate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAIH,OAAO,EAAE,qBAAqB,EAAE,yBAAyB,EAAE,MAAM,WAAW,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE5C,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAqGxD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAwB,IAAI,GAAG,CAAC;IACrE,cAAc,EAAE,OAAO;IACvB,wCAAwC,EAAE,eAAe;IACzD,qBAAqB,EAAE,eAAe;IACtC,oBAAoB,EAAE,OAAO;CAC9B,CAAC,CAAC;AAQH;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAAgC,EAChC,IAAI,GAAuB,EAAE;IAE7B,OAAO,iCAAiC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC;AAC/D,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,iCAAiC,CAC/C,KAAgC,EAChC,IAAI,GAAuB,EAAE;IAE7B,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,IAAI,0BAA0B,CAAC;IACvE,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,MAAM,mBAAmB,GAA0B,EAAE,CAAC;IACtD,MAAM,gBAAgB,GAA2B,EAAE,CAAC;IACpD,MAAM,YAAY,GAA0B,EAAE,CAAC;IAC/C,MAAM,gBAAgB,GAA2B,EAAE,CAAC;IACpD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC;IAC1C,MAAM,MAAM,GAAG,CAAC,IAAgB,EAAW,EAAE,CAC3C,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAE1D,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,SAAS;QAC7B,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;YAC3B,IAAI,KAAK,KAAK,MAAM;gBAAE,SAAS;YAC/B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBAAE,SAAS;YAC9B,IAAI,IAAgB,CAAC;YACrB,IAAI,CAAC;gBACH,IAAI,GAAG,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAC3C,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,IAAI,GAAG,YAAY,qBAAqB,EAAE,CAAC;oBACzC,wDAAwD;oBACxD,qDAAqD;oBACrD,mBAAmB,CAAC,IAAI,CAAC;wBACvB,KAAK;wBACL,MAAM;wBACN,UAAU,EAAE,GAAG,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,EAAE;wBACvC,OAAO,EAAE,GAAG,CAAC,OAAO;qBACrB,CAAC,CAAC;gBACL,CAAC;qBAAM,IAAI,GAAG,YAAY,yBAAyB,EAAE,CAAC;oBACpD,gBAAgB,CAAC,IAAI,CAAC;wBACpB,KAAK;wBACL,MAAM;wBACN,UAAU,EAAE,GAAG,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,EAAE;wBACvC,OAAO,EAAE,GAAG,CAAC,OAAO;qBACrB,CAAC,CAAC;gBACL,CAAC;gBACD,2DAA2D;gBAC3D,SAAS;YACX,CAAC;YACD,GAAG,CAAC,IAAI,CAAC;gBACP,KAAK;gBACL,MAAM;gBACN,IAAI;gBACJ,KAAK,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;aACnC,CAAC,CAAC;YACH,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,IAAI,CAAC;gBACH,YAAY,CAAC,IAAI,CAAC;oBAChB,KAAK;oBACL,MAAM;oBACN,IAAI,EAAE,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI;iBAChD,CAAC,CAAC;YACL,CAAC;YAAC,MAAM,CAAC;gBACP,gBAAgB,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,MAAM,EAAE;YACN,GAAG;YACH,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;YACvC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;YACjC,mBAAmB;YACnB,YAAY;YACZ,gBAAgB;SACjB;QACD,gBAAgB;KACjB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"enumerate.js","sourceRoot":"","sources":["../../src/composition/enumerate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAIH,OAAO,EACL,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE5C,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAqGnD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAwB,IAAI,GAAG,CAAC;IACrE,cAAc,EAAE,OAAO;IACvB,wCAAwC,EAAE,eAAe;IACzD,qBAAqB,EAAE,eAAe;IACtC,oBAAoB,EAAE,OAAO;CAC9B,CAAC,CAAC;AASH;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAAgC,EAChC,IAAI,GAAuB,EAAE;IAE7B,OAAO,iCAAiC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC;AAC/D,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,iCAAiC,CAC/C,KAAgC,EAChC,IAAI,GAAuB,EAAE;IAE7B,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,IAAI,0BAA0B,CAAC;IACvE,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,MAAM,mBAAmB,GAA0B,EAAE,CAAC;IACtD,MAAM,gBAAgB,GAA2B,EAAE,CAAC;IACpD,MAAM,YAAY,GAA0B,EAAE,CAAC;IAC/C,MAAM,gBAAgB,GAA2B,EAAE,CAAC;IACpD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC;IAC1C,MAAM,MAAM,GAAG,CAAC,IAAgB,EAAW,EAAE,CAC3C,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAE1D,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,SAAS;QAC7B,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;YAC3B,IAAI,KAAK,KAAK,MAAM;gBAAE,SAAS;YAC/B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBAAE,SAAS;YAC9B,IAAI,IAAgB,CAAC;YACrB,IAAI,CAAC;gBACH,IAAI,GAAG,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAC3C,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,IAAI,GAAG,YAAY,qBAAqB,EAAE,CAAC;oBACzC,wDAAwD;oBACxD,qDAAqD;oBACrD,mBAAmB,CAAC,IAAI,CAAC;wBACvB,KAAK;wBACL,MAAM;wBACN,UAAU,EAAE,GAAG,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,EAAE;wBACvC,OAAO,EAAE,GAAG,CAAC,OAAO;qBACrB,CAAC,CAAC;gBACL,CAAC;qBAAM,IAAI,GAAG,YAAY,yBAAyB,EAAE,CAAC;oBACpD,gBAAgB,CAAC,IAAI,CAAC;wBACpB,KAAK;wBACL,MAAM;wBACN,UAAU,EAAE,GAAG,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,EAAE;wBACvC,OAAO,EAAE,GAAG,CAAC,OAAO;qBACrB,CAAC,CAAC;gBACL,CAAC;qBAAM,IACL,CAAC,CAAC,GAAG,YAAY,yBAAyB,CAAC;oBAC3C,CAAC,CAAC,GAAG,YAAY,wBAAwB,CAAC;oBAC1C,CAAC,CAAC,GAAG,YAAY,iBAAiB,CAAC,EACnC,CAAC;oBACD,2EAA2E;oBAC3E,2EAA2E;oBAC3E,0EAA0E;oBAC1E,4DAA4D;oBAC5D,MAAM,GAAG,CAAC;gBACZ,CAAC;gBACD,2DAA2D;gBAC3D,SAAS;YACX,CAAC;YACD,GAAG,CAAC,IAAI,CAAC;gBACP,KAAK;gBACL,MAAM;gBACN,IAAI;gBACJ,KAAK,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;aACnC,CAAC,CAAC;YACH,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,IAAI,CAAC;gBACH,YAAY,CAAC,IAAI,CAAC;oBAChB,KAAK;oBACL,MAAM;oBACN,IAAI,EAAE,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI;iBAChD,CAAC,CAAC;YACL,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,2EAA2E;gBAC3E,wEAAwE;gBACxE,kDAAkD;gBAClD,IAAI,CAAC,CAAC,GAAG,YAAY,wBAAwB,CAAC,IAAI,CAAC,CAAC,GAAG,YAAY,iBAAiB,CAAC;oBAAE,MAAM,GAAG,CAAC;gBACjG,gBAAgB,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,MAAM,EAAE;YACN,GAAG;YACH,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;YACvC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;YACjC,mBAAmB;YACnB,YAAY;YACZ,gBAAgB;SACjB;QACD,gBAAgB;KACjB,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Phase-D novel-candidate enumeration (v0.10.0 T3 — Part-IX §6's\n * \"novel candidate generated for physicist review\").\n *\n * Enumerates every ordered pair of edges that `composeEdges` accepts\n * (junction by name or registered identification; exact dimension\n * functor; the same checks as hand-written compositions) and\n * partitions the results into REGISTERED (the pre-registered CT-*\n * compositions, by composed id) and NOVEL (everything else — the\n * candidates a physicist should look at).\n *\n * The enumerator PROPOSES; it never promotes. Per the Part-VI §XXVII-B\n * protocol, a novel candidate's only output path is human review —\n * `docs/research/v0.11.0-novel-candidates.md` is the current review\n * surface (v0.10.0 report superseded).\n *\n * @module composition/enumerate\n */\n\nimport type { ExprNode } from '../dimensional/validator.js';\nimport type { BridgeEdge } from './edge.js';\nimport {\n  CompositionAliasError,\n  CompositionDimensionError,\n  CompositionJunctionError,\n  UndefinedCompositionError,\n} from './edge.js';\nimport { composeEdges } from './compose.js';\nimport type { ComposeOptions } from './compose.js';\nimport { composeSymbolic, SymbolicCompositionError } from './compose-symbolic.js';\nimport { SymbolicEvalError } from './expr-eval.js';\n\n/** One successful pairwise composition found by the enumerator. @public */\nexport interface CompositionCandidate {\n  readonly first: BridgeEdge;\n  readonly second: BridgeEdge;\n  /** The composed edge (carries demoted confidence, piped domain). */\n  readonly edge: BridgeEdge;\n  /** True when the composed id is NOT in the registered set. */\n  readonly novel: boolean;\n}\n\n/**\n * A pair that is junction- and dimension-compatible but whose composed\n * sources would collide on a quantity name without a recorded\n * disposition (v0.11 Option D) — the enumerator surfaces these for\n * human judgment instead of silently aliasing them.\n *\n * @public\n */\nexport interface DispositionRequired {\n  readonly first: BridgeEdge;\n  readonly second: BridgeEdge;\n  readonly composedId: string;\n  readonly message: string;\n}\n\n/**\n * A pair `composeSymbolic` accepts. The expression is the substituted\n * scalar formula. A pair that only `composeEdges` accepts is not one of\n * these. Inlined on {@link EnumerationReport} so the package barrel gains\n * no name.\n */\ninterface SymbolicProofTarget {\n  readonly first: BridgeEdge;\n  readonly second: BridgeEdge;\n  readonly expr: ExprNode;\n}\n\n/**\n * A pair `composeEdges` accepts and `composeSymbolic` refuses. Unclassified:\n * the gap note owns the reading. Not a proof target.\n */\ninterface NotSubstitutablePair {\n  readonly first: BridgeEdge;\n  readonly second: BridgeEdge;\n}\n\n/**\n * A pair both of whose edges carry a relation, refused by the composition table.\n *\n * This is {@link UndefinedCompositionError} only. A dimension or junction\n * failure is not one of these, and neither is {@link CompositionAliasError}.\n *\n * @internal\n */\nexport interface RelationTableRefusal {\n  readonly first: BridgeEdge;\n  readonly second: BridgeEdge;\n  /** `${first.id}>>${second.id}`. */\n  readonly composedId: string;\n  readonly message: string;\n}\n\n/**\n * The report {@link enumerateCompositions} returns, plus the table refusals\n * that report does not carry.\n *\n * @internal\n */\nexport interface EnumerationWithRefusals {\n  readonly report: EnumerationReport;\n  readonly relationRefusals: readonly RelationTableRefusal[];\n}\n\n/** Enumeration report. @public */\nexport interface EnumerationReport {\n  readonly all: ReadonlyArray<CompositionCandidate>;\n  readonly registered: ReadonlyArray<CompositionCandidate>;\n  readonly novel: ReadonlyArray<CompositionCandidate>;\n  /** v0.11: name-colliding pairs awaiting an AliasDisposition. */\n  readonly requiresDisposition: ReadonlyArray<DispositionRequired>;\n  /**\n   * Pairs `composeSymbolic` accepts, when a seed set was supplied.\n   * Empty on the default call.\n   */\n  readonly proofTargets: ReadonlyArray<{\n    readonly first: BridgeEdge;\n    readonly second: BridgeEdge;\n    readonly expr: ExprNode;\n  }>;\n  /**\n   * Pairs only `composeEdges` accepts, when a seed set was supplied.\n   * Empty on the default call. Unclassified.\n   */\n  readonly notSubstitutable: ReadonlyArray<{\n    readonly first: BridgeEdge;\n    readonly second: BridgeEdge;\n  }>;\n}\n\n/**\n * The pre-registered composed ids (the CT-* set at v0.10.0). CT-1b's\n * 3-edge chain appears pairwise as its two links.\n *\n * @public\n */\nexport const REGISTERED_COMPOSITION_IDS: ReadonlySet<string> = new Set([\n  'be-42>>be-16', // CT-1\n  'law-schwarzschild-radius>>be-42-via-rs', // CT-1b link 1\n  'be-42-via-rs>>be-16', // CT-1b link 2\n  'be-12>>be-11-zurek', // CT-3\n]);\n\n/** Options of {@link enumerateCompositions}: the compose options plus the registered and seed id sets. @public */\nexport type EnumerationOptions = ComposeOptions & {\n  readonly registeredIds?: ReadonlySet<string>;\n  /** When set, only these edge ids are walked, and symbolic pairs are split. */\n  readonly seedIds?: ReadonlySet<string>;\n};\n\n/**\n * Enumerate all valid ordered pairwise compositions over `edges`.\n *\n * A table refusal is not in this report. {@link enumerateCompositionsWithRefusals}\n * returns the same report plus that list.\n *\n * @public\n */\nexport function enumerateCompositions(\n  edges: ReadonlyArray<BridgeEdge>,\n  opts: EnumerationOptions = {},\n): EnumerationReport {\n  return enumerateCompositionsWithRefusals(edges, opts).report;\n}\n\n/**\n * The pairs {@link enumerateCompositions} returns, plus each\n * {@link UndefinedCompositionError} on its own list.\n *\n * `report.proofTargets` is that function's list. A refused pair is not\n * moved onto it. A dimension or junction failure stays a silent non-pair:\n * absent from `relationRefusals` and from `report`.\n *\n * @internal\n */\nexport function enumerateCompositionsWithRefusals(\n  edges: ReadonlyArray<BridgeEdge>,\n  opts: EnumerationOptions = {},\n): EnumerationWithRefusals {\n  const registeredIds = opts.registeredIds ?? REGISTERED_COMPOSITION_IDS;\n  const all: CompositionCandidate[] = [];\n  const requiresDisposition: DispositionRequired[] = [];\n  const relationRefusals: RelationTableRefusal[] = [];\n  const proofTargets: SymbolicProofTarget[] = [];\n  const notSubstitutable: NotSubstitutablePair[] = [];\n  const seeded = opts.seedIds !== undefined;\n  const inSeed = (edge: BridgeEdge): boolean =>\n    opts.seedIds === undefined || opts.seedIds.has(edge.id);\n\n  for (const first of edges) {\n    if (!inSeed(first)) continue;\n    for (const second of edges) {\n      if (first === second) continue;\n      if (!inSeed(second)) continue;\n      let edge: BridgeEdge;\n      try {\n        edge = composeEdges(first, second, opts);\n      } catch (err) {\n        if (err instanceof CompositionAliasError) {\n          // Junction + dimensions passed; only the name collision\n          // blocks it — a human disposition unlocks this pair.\n          requiresDisposition.push({\n            first,\n            second,\n            composedId: `${first.id}>>${second.id}`,\n            message: err.message,\n          });\n        } else if (err instanceof UndefinedCompositionError) {\n          relationRefusals.push({\n            first,\n            second,\n            composedId: `${first.id}>>${second.id}`,\n            message: err.message,\n          });\n        } else if (\n          !(err instanceof CompositionDimensionError) &&\n          !(err instanceof CompositionJunctionError) &&\n          !(err instanceof SymbolicEvalError)\n        ) {\n          // Only the composer's own refusals are a non-pair: a dimension or junction\n          // failure, or `substitute` declining a node kind while the composed edge's\n          // symbolic form is built. Anything else is the instrument breaking, and a\n          // broken instrument must not read as \"no composition here\".\n          throw err;\n        }\n        // A dimension or junction failure stays a silent non-pair.\n        continue;\n      }\n      all.push({\n        first,\n        second,\n        edge,\n        novel: !registeredIds.has(edge.id),\n      });\n      if (!seeded) continue;\n      try {\n        proofTargets.push({\n          first,\n          second,\n          expr: composeSymbolic(first, second, opts).expr,\n        });\n      } catch (err) {\n        // A pair `composeSymbolic` declines (no symbolic form, no junction leaf, a\n        // non-homogeneous result, or a node kind `substitute` does not read) is\n        // not substitutable. Any other error is rethrown.\n        if (!(err instanceof SymbolicCompositionError) && !(err instanceof SymbolicEvalError)) throw err;\n        notSubstitutable.push({ first, second });\n      }\n    }\n  }\n\n  return {\n    report: {\n      all,\n      registered: all.filter((c) => !c.novel),\n      novel: all.filter((c) => c.novel),\n      requiresDisposition,\n      proofTargets,\n      notSubstitutable,\n    },\n    relationRefusals,\n  };\n}\n"]}

package/dist/composition/evaluate-relation.d.ts

@@ -12,12 +12,29 @@
  */
 import type { Dimension } from '../dimensional/types.js';
 import { type EvaluatorSpec } from '../bridges/evaluators.js';
-import { type InputContract } from '../bridges/input-contract.js';
+import { type EvaluationWant, type InputContract } from '../bridges/input-contract.js';
 import { type BridgeEdge } from './edge.js';
+/**
+ * A further number an evaluator returns beside its value (be-52's
+ * `precession_arcsec_per_century`), with the unit and meaning its record states.
+ *
+ * @public
+ */
+export interface ExtraOutput {
+    readonly name: string;
+    readonly value: number;
+    readonly unit: string;
+    readonly meaning: string;
+}
 /**
  * A sourced number, or an unset coefficient.
  *
- * `dimension` is the edge target. `formula` is the edge label.
+ * A value carries what it is: `name` is the quantity the relation computes
+ * (its target), `unit` that quantity's SI unit written from `dimension` (the
+ * form `parseUnit` reads back), `meaning` the relation as its record states it
+ * (a sign convention included), and `extras` every further output whose inputs
+ * were given. `upt evaluate` prints and serializes this object; it computes no
+ * label of its own. `formula` is the edge label.
  *
  * @public
  */
@@ -25,6 +42,10 @@ export type Evaluation = {
     readonly kind: 'value';
     readonly value: number;
     readonly dimension: Dimension;
+    readonly name: string;
+    readonly unit: string;
+    readonly meaning: string;
+    readonly extras: readonly ExtraOutput[];
 } | {
     readonly kind: 'unset';
     readonly formula: string;
@@ -38,15 +59,6 @@ export interface Evaluable {
     readonly edge?: BridgeEdge;
     readonly evaluator?: EvaluatorSpec;
 }
-/**
- * The output of a closed-form evaluator: the quantity it computes and that
- * quantity's dimension. An evaluator with no catalog dimension (a closed form
- * with no AST) names no dimension.
- */
-export declare function evaluatorOutput(spec: EvaluatorSpec): {
-    readonly name: string;
-    readonly dimension?: Dimension;
-};
 /**
  * The declared inputs of an evaluable id: the closed-form evaluator's contract
  * when it has one, else its edge's. {@link evaluateRelation} checks bindings
@@ -59,6 +71,15 @@ export declare function evaluableContract(found: Evaluable): InputContract;
  * An unknown id throws. An id with an evaluator and no edge is not unknown.
  */
 export declare function resolveEvaluable(id: string | number): Evaluable;
+/**
+ * The one result builder: evaluate a resolved id at `bindings`. A closed-form
+ * evaluator is its `run`; an edge with none is checked against its contract and
+ * evaluated. {@link evaluateRelation} calls it with `want` `'value'`;
+ * `upt evaluate` calls it with `'all'`, which also requires an input only an
+ * extra output reads. Both get the same {@link Evaluation}.
+ * @internal
+ */
+export declare function evaluateResolved(found: Evaluable, bindings: Readonly<Record<string, number>>, want: EvaluationWant): Evaluation;
 /**
  * Evaluate `id` at `bindings`.
  *
@@ -72,6 +93,9 @@ export declare function resolveEvaluable(id: string | number): Evaluable;
  * An unset coefficient returns `{ kind: 'unset', formula }` and no number.
  * A complete finite input whose closed form is not finite (a dropped factor,
  * a singularity) is the same unset result, not a missing input.
+ * A value carries its name, SI unit and meaning, and every extra output whose
+ * inputs were given (`extras`); an input only an extra output reads is not
+ * required.
  *
  * @public
  */

package/dist/composition/evaluate-relation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"evaluate-relation.d.ts","sourceRoot":"","sources":["../../src/composition/evaluate-relation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAqB,KAAK,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACjF,OAAO,EAA8B,KAAK,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAM9F,OAAO,EAAuC,KAAK,UAAU,EAAE,MAAM,WAAW,CAAC;AAEjF;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;CAAE,GACjF;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzD;;;GAGG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC;CACpC;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,aAAa,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAA;CAAE,CAO9G;AAsCD;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,SAAS,GAAG,aAAa,CAGjE;AAYD;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAY/D;AAuBD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,gBAAgB,CAC9B,EAAE,EAAE,MAAM,GAAG,MAAM,EACnB,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GACzC,UAAU,CAcZ"}
+{"version":3,"file":"evaluate-relation.d.ts","sourceRoot":"","sources":["../../src/composition/evaluate-relation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAqB,KAAK,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACjF,OAAO,EAA8B,KAAK,cAAc,EAAE,KAAK,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAMnH,OAAO,EAAuC,KAAK,UAAU,EAAE,MAAM,WAAW,CAAC;AAEjF;;;;;GAKG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,UAAU,GAClB;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;CACzC,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzD;;;GAGG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC;CACpC;AAsCD;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,SAAS,GAAG,aAAa,CAGjE;AAYD;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAY/D;AAoCD;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,SAAS,EAChB,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC1C,IAAI,EAAE,cAAc,GACnB,UAAU,CAqBZ;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,gBAAgB,CAC9B,EAAE,EAAE,MAAM,GAAG,MAAM,EACnB,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GACzC,UAAU,CAEZ"}

package/dist/composition/evaluate-relation.js

@@ -11,6 +11,7 @@
  * @module composition/evaluate-relation
  */
 import { EXPECTED_DIMENSION_BY_BRIDGE } from '../dimensional/bridge-check.js';
+import { siUnitOf } from '../dimensional/algebra.js';
 import { BRIDGE_EVALUATORS } from '../bridges/evaluators.js';
 import { checkInputs, inputContract } from '../bridges/input-contract.js';
 import { catalogEdgeKey, parseBridgeId, primaryRelation } from '../bridges/catalog-load.js';
@@ -19,19 +20,6 @@ import { CANONICAL_GROUP_PREFACTORS } from './canonical-prefactors.js';
 import { CANONICAL_GRAPH } from './canonical-graph.js';
 import { CATALOG_GRAPH } from './catalog-graph.js';
 import { CoefficientUnsetError, evaluateEdge } from './edge.js';
-/**
- * The output of a closed-form evaluator: the quantity it computes and that
- * quantity's dimension. An evaluator with no catalog dimension (a closed form
- * with no AST) names no dimension.
- */
-export function evaluatorOutput(spec) {
-    const relation = primaryRelation(spec.bridgeId);
-    const dimension = EXPECTED_DIMENSION_BY_BRIDGE.get(spec.bridgeId);
-    return {
-        name: relation?.target ?? 'value',
-        ...(dimension === undefined ? {} : { dimension }),
-    };
-}
 /**
  * Names a canonical id may be bound under besides its sources: the equation's
  * governing names (a registered constant may be overridden), its formula
@@ -106,21 +94,67 @@ export function resolveEvaluable(id) {
     };
 }
 /**
- * The closed form's primary output, through the evaluator's `run`. A record's
- * `value` is the catalog signature; any other number it returns is an extra
- * output, named by `spec.outputs`. A non-finite value at finite inputs is an
- * unset result (a dropped factor, a singularity).
+ * The closed form through the evaluator's `run`, the one evaluation. A record's
+ * `value` is the catalog signature; every other number `run` returns is an
+ * extra output, labelled from `spec.outputs`. A non-finite value at finite
+ * inputs is an unset result (a dropped factor, a singularity).
  */
-function closedFormEvaluation(spec, edge, bindings) {
-    const { value } = spec.run(bindings, 'value');
+function closedFormEvaluation(spec, edge, bindings, want) {
+    const numbers = spec.run(bindings, want);
+    const relation = primaryRelation(spec.bridgeId);
     const dimension = edge?.target.dim ?? EXPECTED_DIMENSION_BY_BRIDGE.get(spec.bridgeId);
     if (dimension === undefined) {
         throw new Error(`evaluateRelation: be-${spec.bridgeId} has no catalog dimension`);
     }
-    if (Number.isFinite(value))
-        return { kind: 'value', value, dimension };
+    const value = numbers.value;
     // `run` refused a non-finite input, so a non-finite value here comes from the closed form.
-    return { kind: 'unset', formula: edge?.label ?? primaryRelation(spec.bridgeId)?.label ?? spec.name };
+    if (!Number.isFinite(value))
+        return { kind: 'unset', formula: edge?.label ?? relation?.label ?? spec.name };
+    return {
+        kind: 'value',
+        value,
+        dimension,
+        name: relation?.target ?? edge?.target.name ?? 'value',
+        unit: siUnitOf(dimension),
+        meaning: relation?.label ?? edge?.label ?? spec.name,
+        extras: spec.outputs
+            .filter((output) => numbers[output.name] !== undefined)
+            .map((output) => ({ name: output.name, value: numbers[output.name], unit: output.unit, meaning: output.meaning })),
+    };
+}
+/**
+ * The one result builder: evaluate a resolved id at `bindings`. A closed-form
+ * evaluator is its `run`; an edge with none is checked against its contract and
+ * evaluated. {@link evaluateRelation} calls it with `want` `'value'`;
+ * `upt evaluate` calls it with `'all'`, which also requires an input only an
+ * extra output reads. Both get the same {@link Evaluation}.
+ * @internal
+ */
+export function evaluateResolved(found, bindings, want) {
+    if (found.evaluator !== undefined)
+        return closedFormEvaluation(found.evaluator, found.edge, bindings, want);
+    const edge = found.edge;
+    const checked = checkInputs(evaluableContract(found), bindings, want);
+    try {
+        const value = evaluateEdge(edge, { ...checked });
+        // `checkInputs` refused a non-finite input, so a non-finite value comes from the formula.
+        if (!Number.isFinite(value))
+            return { kind: 'unset', formula: edge.label };
+        return {
+            kind: 'value',
+            value,
+            dimension: edge.target.dim,
+            name: edge.target.name,
+            unit: siUnitOf(edge.target.dim),
+            meaning: edge.label,
+            extras: [],
+        };
+    }
+    catch (error) {
+        if (error instanceof CoefficientUnsetError)
+            return { kind: 'unset', formula: error.formula };
+        throw error;
+    }
 }
 /**
  * Evaluate `id` at `bindings`.
@@ -135,26 +169,13 @@ function closedFormEvaluation(spec, edge, bindings) {
  * An unset coefficient returns `{ kind: 'unset', formula }` and no number.
  * A complete finite input whose closed form is not finite (a dropped factor,
  * a singularity) is the same unset result, not a missing input.
+ * A value carries its name, SI unit and meaning, and every extra output whose
+ * inputs were given (`extras`); an input only an extra output reads is not
+ * required.
  *
  * @public
  */
 export function evaluateRelation(id, bindings) {
-    const found = resolveEvaluable(id);
-    if (found.evaluator !== undefined)
-        return closedFormEvaluation(found.evaluator, found.edge, bindings);
-    const edge = found.edge;
-    const checked = checkInputs(evaluableContract(found), bindings);
-    try {
-        const value = evaluateEdge(edge, { ...checked });
-        // `checkInputs` refused a non-finite input, so a non-finite value comes from the formula.
-        if (!Number.isFinite(value))
-            return { kind: 'unset', formula: edge.label };
-        return { kind: 'value', value, dimension: edge.target.dim };
-    }
-    catch (error) {
-        if (error instanceof CoefficientUnsetError)
-            return { kind: 'unset', formula: error.formula };
-        throw error;
-    }
+    return evaluateResolved(resolveEvaluable(id), bindings, 'value');
 }
 //# sourceMappingURL=evaluate-relation.js.map

package/dist/composition/evaluate-relation.js.map

@@ -1 +1 @@
-{"version":3,"file":"evaluate-relation.js","sourceRoot":"","sources":["../../src/composition/evaluate-relation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAC;AAE9E,OAAO,EAAE,iBAAiB,EAAsB,MAAM,0BAA0B,CAAC;AACjF,OAAO,EAAE,WAAW,EAAE,aAAa,EAAsB,MAAM,8BAA8B,CAAC;AAC9F,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC5F,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,qBAAqB,EAAE,YAAY,EAAmB,MAAM,WAAW,CAAC;AAuBjF;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,IAAmB;IACjD,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,4BAA4B,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClE,OAAO;QACL,IAAI,EAAE,QAAQ,EAAE,MAAM,IAAI,OAAO;QACjC,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;KAClD,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CAAC,EAAU;IAChC,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9E,OAAO;QACL,GAAG,CAAC,QAAQ,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7D,GAAG,0BAA0B,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC;KAC7F,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,EAAU,EAAE,IAAgB;IAChD,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAChD,GAAG,EAAE,MAAM,CAAC,IAAI;QAChB,SAAS,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAChE,UAAU,EAAE,EAAE;QACd,QAAQ,EAAE,KAAK;QACf,MAAM,EAAE,OAAgB;QACxB,MAAM,EAAE,IAAI;KACb,CAAC,CAAC,CAAC;IACJ,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC,EAAE,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACzH,OAAO,aAAa,CAAC,EAAE,EAAE;QACvB,GAAG,WAAW;QACd,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,OAAgB,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;KACrJ,CAAC,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAgB;IAChD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC;IACnE,OAAO,YAAY,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAK,CAAC,CAAC;AAC7C,CAAC;AAED,SAAS,IAAI,CAAC,EAAmB;IAC/B,IAAI,OAAO,EAAE,KAAK,QAAQ;QAAE,OAAO,EAAE,GAAG,EAAE,cAAc,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAC5E,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;QAClC,OAAO,EAAE,GAAG,EAAE,cAAc,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC;IACnD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IACzC,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,EAAmB;IAClD,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,CAAC,GAAG,aAAa,EAAE,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC;IAC9F,MAAM,SAAS,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACrF,IAAI,IAAI,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CAAC,iCAAiC,GAAG,GAAG,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO;QACL,EAAE,EAAE,GAAG;QACP,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QACvC,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;KAClD,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,oBAAoB,CAC3B,IAAmB,EACnB,IAA4B,EAC5B,QAA0C;IAE1C,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC9C,MAAM,SAAS,GAAG,IAAI,EAAE,MAAM,CAAC,GAAG,IAAI,4BAA4B,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACtF,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,wBAAwB,IAAI,CAAC,QAAQ,2BAA2B,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IACvE,2FAA2F;IAC3F,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,IAAI,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;AACvG,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,gBAAgB,CAC9B,EAAmB,EACnB,QAA0C;IAE1C,MAAM,KAAK,GAAG,gBAAgB,CAAC,EAAE,CAAC,CAAC;IACnC,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS;QAAE,OAAO,oBAAoB,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACtG,MAAM,IAAI,GAAG,KAAK,CAAC,IAAK,CAAC;IACzB,MAAM,OAAO,GAAG,WAAW,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAC;IAChE,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;QACjD,0FAA0F;QAC1F,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3E,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC9D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,qBAAqB;YAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;QAC7F,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC"}
+{"version":3,"file":"evaluate-relation.js","sourceRoot":"","sources":["../../src/composition/evaluate-relation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAC;AAC9E,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AAErD,OAAO,EAAE,iBAAiB,EAAsB,MAAM,0BAA0B,CAAC;AACjF,OAAO,EAAE,WAAW,EAAE,aAAa,EAA2C,MAAM,8BAA8B,CAAC;AACnH,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC5F,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,qBAAqB,EAAE,YAAY,EAAmB,MAAM,WAAW,CAAC;AAiDjF;;;;GAIG;AACH,SAAS,cAAc,CAAC,EAAU;IAChC,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9E,OAAO;QACL,GAAG,CAAC,QAAQ,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7D,GAAG,0BAA0B,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC;KAC7F,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,EAAU,EAAE,IAAgB;IAChD,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAChD,GAAG,EAAE,MAAM,CAAC,IAAI;QAChB,SAAS,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAChE,UAAU,EAAE,EAAE;QACd,QAAQ,EAAE,KAAK;QACf,MAAM,EAAE,OAAgB;QACxB,MAAM,EAAE,IAAI;KACb,CAAC,CAAC,CAAC;IACJ,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC,EAAE,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACzH,OAAO,aAAa,CAAC,EAAE,EAAE;QACvB,GAAG,WAAW;QACd,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,OAAgB,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;KACrJ,CAAC,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAgB;IAChD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC;IACnE,OAAO,YAAY,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAK,CAAC,CAAC;AAC7C,CAAC;AAED,SAAS,IAAI,CAAC,EAAmB;IAC/B,IAAI,OAAO,EAAE,KAAK,QAAQ;QAAE,OAAO,EAAE,GAAG,EAAE,cAAc,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAC5E,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;QAClC,OAAO,EAAE,GAAG,EAAE,cAAc,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC;IACnD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IACzC,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,EAAmB;IAClD,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,CAAC,GAAG,aAAa,EAAE,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC;IAC9F,MAAM,SAAS,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACrF,IAAI,IAAI,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CAAC,iCAAiC,GAAG,GAAG,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO;QACL,EAAE,EAAE,GAAG;QACP,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QACvC,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;KAClD,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,oBAAoB,CAC3B,IAAmB,EACnB,IAA4B,EAC5B,QAA0C,EAC1C,IAAoB;IAEpB,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,IAAI,EAAE,MAAM,CAAC,GAAG,IAAI,4BAA4B,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACtF,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,wBAAwB,IAAI,CAAC,QAAQ,2BAA2B,CAAC,CAAC;IACpF,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAM,CAAC;IAC7B,2FAA2F;IAC3F,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,IAAI,QAAQ,EAAE,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;IAC5G,OAAO;QACL,IAAI,EAAE,OAAO;QACb,KAAK;QACL,SAAS;QACT,IAAI,EAAE,QAAQ,EAAE,MAAM,IAAI,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,OAAO;QACtD,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC;QACzB,OAAO,EAAE,QAAQ,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC,IAAI;QACpD,MAAM,EAAE,IAAI,CAAC,OAAO;aACjB,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC;aACtD,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;KACtH,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAgB,EAChB,QAA0C,EAC1C,IAAoB;IAEpB,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS;QAAE,OAAO,oBAAoB,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC5G,MAAM,IAAI,GAAG,KAAK,CAAC,IAAK,CAAC;IACzB,MAAM,OAAO,GAAG,WAAW,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IACtE,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;QACjD,0FAA0F;QAC1F,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3E,OAAO;YACL,IAAI,EAAE,OAAO;YACb,KAAK;YACL,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG;YAC1B,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI;YACtB,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;YAC/B,OAAO,EAAE,IAAI,CAAC,KAAK;YACnB,MAAM,EAAE,EAAE;SACX,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,qBAAqB;YAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;QAC7F,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,gBAAgB,CAC9B,EAAmB,EACnB,QAA0C;IAE1C,OAAO,gBAAgB,CAAC,gBAAgB,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;AACnE,CAAC","sourcesContent":["/**\n * One public evaluation of a catalog id or a canonical id.\n *\n * A catalog id with a closed-form evaluator is that evaluator's `run`, the\n * same call `upt evaluate` makes, so the library and the CLI check the\n * bindings, the domain and the value in one place. A canonical id is its\n * graph edge, checked against the same {@link checkInputs} contract first.\n * A formula string is not parsed. An unset coefficient is `kind: 'unset'` and\n * is not a number.\n *\n * @module composition/evaluate-relation\n */\n\nimport { EXPECTED_DIMENSION_BY_BRIDGE } from '../dimensional/bridge-check.js';\nimport { siUnitOf } from '../dimensional/algebra.js';\nimport type { Dimension } from '../dimensional/types.js';\nimport { BRIDGE_EVALUATORS, type EvaluatorSpec } from '../bridges/evaluators.js';\nimport { checkInputs, inputContract, type EvaluationWant, type InputContract } from '../bridges/input-contract.js';\nimport { catalogEdgeKey, parseBridgeId, primaryRelation } from '../bridges/catalog-load.js';\nimport { CANONICAL_EQUATIONS } from '../canonical/registry.js';\nimport { CANONICAL_GROUP_PREFACTORS } from './canonical-prefactors.js';\nimport { CANONICAL_GRAPH } from './canonical-graph.js';\nimport { CATALOG_GRAPH } from './catalog-graph.js';\nimport { CoefficientUnsetError, evaluateEdge, type BridgeEdge } from './edge.js';\n\n/**\n * A further number an evaluator returns beside its value (be-52's\n * `precession_arcsec_per_century`), with the unit and meaning its record states.\n *\n * @public\n */\nexport interface ExtraOutput {\n  readonly name: string;\n  readonly value: number;\n  readonly unit: string;\n  readonly meaning: string;\n}\n\n/**\n * A sourced number, or an unset coefficient.\n *\n * A value carries what it is: `name` is the quantity the relation computes\n * (its target), `unit` that quantity's SI unit written from `dimension` (the\n * form `parseUnit` reads back), `meaning` the relation as its record states it\n * (a sign convention included), and `extras` every further output whose inputs\n * were given. `upt evaluate` prints and serializes this object; it computes no\n * label of its own. `formula` is the edge label.\n *\n * @public\n */\nexport type Evaluation =\n  | {\n      readonly kind: 'value';\n      readonly value: number;\n      readonly dimension: Dimension;\n      readonly name: string;\n      readonly unit: string;\n      readonly meaning: string;\n      readonly extras: readonly ExtraOutput[];\n    }\n  | { readonly kind: 'unset'; readonly formula: string };\n\n/**\n * An id the library can evaluate: a graph edge, a closed-form evaluator, or both.\n * The CLI and {@link evaluateRelation} both call this. Neither looks the id up again.\n */\nexport interface Evaluable {\n  readonly id: string;\n  readonly edge?: BridgeEdge;\n  readonly evaluator?: EvaluatorSpec;\n}\n\n/**\n * Names a canonical id may be bound under besides its sources: the equation's\n * governing names (a registered constant may be overridden), its formula\n * factors, and a bound dimensionless group such as `gamma`.\n */\nfunction canonicalNames(id: string): string[] {\n  const equation = CANONICAL_EQUATIONS.find((candidate) => candidate.id === id);\n  return [\n    ...(equation?.dimensional.governing.map((g) => g.name) ?? []),\n    ...CANONICAL_GROUP_PREFACTORS.filter((group) => group.id === id).map((group) => group.group),\n  ];\n}\n\n/**\n * The declared inputs of an edge with no evaluator: each source under its name\n * and aliases, required; and, optional, its formula factors, the canonical\n * equation's governing names and a bound dimensionless group. A name that\n * already spells a source binds that source, so it is not a second slot.\n */\nfunction edgeContract(id: string, edge: BridgeEdge): InputContract {\n  const sourceSlots = edge.sources.map((source) => ({\n    key: source.name,\n    spellings: [source.name, ...(edge.aliases?.[source.name] ?? [])],\n    alternates: [],\n    optional: false,\n    readBy: 'value' as const,\n    listed: true,\n  }));\n  const spelled = new Set(sourceSlots.flatMap((slot) => slot.spellings));\n  const optional = [...Object.keys(edge.formulaFactors ?? {}), ...canonicalNames(id)].filter((name) => !spelled.has(name));\n  return inputContract(id, [\n    ...sourceSlots,\n    ...[...new Set(optional)].map((name) => ({ key: name, spellings: [name], alternates: [], optional: true, readBy: 'value' as const, listed: false })),\n  ]);\n}\n\n/**\n * The declared inputs of an evaluable id: the closed-form evaluator's contract\n * when it has one, else its edge's. {@link evaluateRelation} checks bindings\n * against exactly this contract.\n * @internal\n */\nexport function evaluableContract(found: Evaluable): InputContract {\n  if (found.evaluator !== undefined) return found.evaluator.contract;\n  return edgeContract(found.id, found.edge!);\n}\n\nfunction idOf(id: string | number): { key: string; numeric: number | undefined } {\n  if (typeof id === 'number') return { key: catalogEdgeKey(id), numeric: id };\n  try {\n    const numeric = parseBridgeId(id);\n    return { key: catalogEdgeKey(numeric), numeric };\n  } catch {\n    return { key: id, numeric: undefined };\n  }\n}\n\n/**\n * The edge and the closed-form evaluator for `id`, when either exists.\n * An unknown id throws. An id with an evaluator and no edge is not unknown.\n */\nexport function resolveEvaluable(id: string | number): Evaluable {\n  const { key, numeric } = idOf(id);\n  const edge = [...CATALOG_GRAPH, ...CANONICAL_GRAPH].find((candidate) => candidate.id === key);\n  const evaluator = numeric === undefined ? undefined : BRIDGE_EVALUATORS.get(numeric);\n  if (edge === undefined && evaluator === undefined) {\n    throw new Error(`evaluateRelation: unknown id '${key}'`);\n  }\n  return {\n    id: key,\n    ...(edge === undefined ? {} : { edge }),\n    ...(evaluator === undefined ? {} : { evaluator }),\n  };\n}\n\n/**\n * The closed form through the evaluator's `run`, the one evaluation. A record's\n * `value` is the catalog signature; every other number `run` returns is an\n * extra output, labelled from `spec.outputs`. A non-finite value at finite\n * inputs is an unset result (a dropped factor, a singularity).\n */\nfunction closedFormEvaluation(\n  spec: EvaluatorSpec,\n  edge: BridgeEdge | undefined,\n  bindings: Readonly<Record<string, number>>,\n  want: EvaluationWant,\n): Evaluation {\n  const numbers = spec.run(bindings, want);\n  const relation = primaryRelation(spec.bridgeId);\n  const dimension = edge?.target.dim ?? EXPECTED_DIMENSION_BY_BRIDGE.get(spec.bridgeId);\n  if (dimension === undefined) {\n    throw new Error(`evaluateRelation: be-${spec.bridgeId} has no catalog dimension`);\n  }\n  const value = numbers.value!;\n  // `run` refused a non-finite input, so a non-finite value here comes from the closed form.\n  if (!Number.isFinite(value)) return { kind: 'unset', formula: edge?.label ?? relation?.label ?? spec.name };\n  return {\n    kind: 'value',\n    value,\n    dimension,\n    name: relation?.target ?? edge?.target.name ?? 'value',\n    unit: siUnitOf(dimension),\n    meaning: relation?.label ?? edge?.label ?? spec.name,\n    extras: spec.outputs\n      .filter((output) => numbers[output.name] !== undefined)\n      .map((output) => ({ name: output.name, value: numbers[output.name]!, unit: output.unit, meaning: output.meaning })),\n  };\n}\n\n/**\n * The one result builder: evaluate a resolved id at `bindings`. A closed-form\n * evaluator is its `run`; an edge with none is checked against its contract and\n * evaluated. {@link evaluateRelation} calls it with `want` `'value'`;\n * `upt evaluate` calls it with `'all'`, which also requires an input only an\n * extra output reads. Both get the same {@link Evaluation}.\n * @internal\n */\nexport function evaluateResolved(\n  found: Evaluable,\n  bindings: Readonly<Record<string, number>>,\n  want: EvaluationWant,\n): Evaluation {\n  if (found.evaluator !== undefined) return closedFormEvaluation(found.evaluator, found.edge, bindings, want);\n  const edge = found.edge!;\n  const checked = checkInputs(evaluableContract(found), bindings, want);\n  try {\n    const value = evaluateEdge(edge, { ...checked });\n    // `checkInputs` refused a non-finite input, so a non-finite value comes from the formula.\n    if (!Number.isFinite(value)) return { kind: 'unset', formula: edge.label };\n    return {\n      kind: 'value',\n      value,\n      dimension: edge.target.dim,\n      name: edge.target.name,\n      unit: siUnitOf(edge.target.dim),\n      meaning: edge.label,\n      extras: [],\n    };\n  } catch (error) {\n    if (error instanceof CoefficientUnsetError) return { kind: 'unset', formula: error.formula };\n    throw error;\n  }\n}\n\n/**\n * Evaluate `id` at `bindings`.\n *\n * A catalog id is `be-70` or `70`. A canonical id is `CE-sound-speed`.\n * Binding keys are the inputs' keys, quantity names or aliases.\n * The bindings are checked before the domain: an unknown key throws\n * `UnknownInputError`, a non-number `InputTypeError` (a `TypeError`), a\n * `NaN` or an infinity `NonFiniteInputError`, a key given twice\n * `DuplicateInputError`, an absent input `MissingInputError`.\n * A domain failure throws `DomainViolationError`.\n * An unset coefficient returns `{ kind: 'unset', formula }` and no number.\n * A complete finite input whose closed form is not finite (a dropped factor,\n * a singularity) is the same unset result, not a missing input.\n * A value carries its name, SI unit and meaning, and every extra output whose\n * inputs were given (`extras`); an input only an extra output reads is not\n * required.\n *\n * @public\n */\nexport function evaluateRelation(\n  id: string | number,\n  bindings: Readonly<Record<string, number>>,\n): Evaluation {\n  return evaluateResolved(resolveEvaluable(id), bindings, 'value');\n}\n"]}

package/dist/composition/explain.d.ts

@@ -29,12 +29,11 @@ import type { IdentifiabilityResult } from './identifiability.js';
 import type { RetrodictionResult } from './retrodiction.js';
 import type { Dimension } from '../dimensional/types.js';
 /**
- * Text form of a recovered quantity: 15 significant digits, the precision an
- * evaluator input is already passed at. JSON keeps the number; this is only
- * the printed form. An integer stays an integer (`1`, not `1.0000e+0`).
+ * The printed forms of a number, owned by `core/format` and re-exported here so the commands'
+ * imports stay as they were: every command prints a number through `formatQuantity` or `formatExact`.
  * @internal
  */
-export declare function formatQuantity(value: number): string;
+export { formatQuantity, formatExact } from '../core/format.js';
 import type { DimensionalDeterminationResult } from '../dimensional/buckingham.js';
 /** One structural derivation of the target, with the recovered value when
  *  ground-truth values were supplied. @public */
@@ -103,11 +102,8 @@ export interface QuantityExplanation {
     /** Whether the KNOWN set dimensionally fixes the target (Buckingham-π);
      *  absent when the target has no resolvable dimension. */
     readonly dimensional?: DimensionalDeterminationResult;
-    /** Derivations that refused the given values as outside their validity domain. */
-    readonly refusals?: readonly {
-        readonly edge: string;
-        readonly reason: string;
-    }[];
+    /** Derivations that refused the given values, each under its own kind (`RetrodictionRefusal`). */
+    readonly refusals?: RetrodictionResult['refusals'];
     /** Upstream gaps for an under-determined target (from the classifier). */
     readonly blockingFrontier: readonly string[];
     /** Plain-language synthesis of the above. */

package/dist/composition/explain.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"explain.d.ts","sourceRoot":"","sources":["../../src/composition/explain.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAE3D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAElE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAE5D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAIzD;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEpD;AACD,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,8BAA8B,CAAC;AAKnF;iDACiD;AACjD,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,yDAAyD;IACzD,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC;;;;;OAKG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE;QACzB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QACpD,4EAA4E;QAC5E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;KAC1B,CAAC;IACF,yEAAyE;IACzE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,mDAAmD;AACnD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC7D,mEAAmE;IACnE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B;;;;OAIG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;CAChE;AAED,uDAAuD;AACvD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,mEAAmE;IACnE,QAAQ,CAAC,eAAe,EAAE,qBAAqB,CAAC;IAChD,iEAAiE;IACjE,QAAQ,CAAC,WAAW,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACvD,wEAAwE;IACxE,QAAQ,CAAC,WAAW,CAAC,EAAE,kBAAkB,CAAC;IAC1C,2EAA2E;IAC3E,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC;;;;OAIG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,GAAG,OAAO,GAAG,OAAO,CAAC;IACrD;8DAC0D;IAC1D,QAAQ,CAAC,WAAW,CAAC,EAAE,8BAA8B,CAAC;IACtD,kFAAkF;IAClF,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAClF,0EAA0E;IAC1E,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,6CAA6C;IAC7C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AA2QD;;;;;;;;;;GAUG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC3D,IAAI,GAAE,cAAmB,GACxB,mBAAmB,CAwOrB"}
+{"version":3,"file":"explain.d.ts","sourceRoot":"","sources":["../../src/composition/explain.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAE3D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAGlE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAE5D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAKzD;;;;GAIG;AACH,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChE,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,8BAA8B,CAAC;AAKnF;iDACiD;AACjD,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,yDAAyD;IACzD,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC;;;;;OAKG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE;QACzB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QACpD,4EAA4E;QAC5E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;KAC1B,CAAC;IACF,yEAAyE;IACzE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,mDAAmD;AACnD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC7D,mEAAmE;IACnE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B;;;;OAIG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;CAChE;AAED,uDAAuD;AACvD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,mEAAmE;IACnE,QAAQ,CAAC,eAAe,EAAE,qBAAqB,CAAC;IAChD,iEAAiE;IACjE,QAAQ,CAAC,WAAW,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACvD,wEAAwE;IACxE,QAAQ,CAAC,WAAW,CAAC,EAAE,kBAAkB,CAAC;IAC1C,2EAA2E;IAC3E,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC;;;;OAIG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,GAAG,OAAO,GAAG,OAAO,CAAC;IACrD;8DAC0D;IAC1D,QAAQ,CAAC,WAAW,CAAC,EAAE,8BAA8B,CAAC;IACtD,kGAAkG;IAClG,QAAQ,CAAC,QAAQ,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACnD,0EAA0E;IAC1E,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,6CAA6C;IAC7C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAuRD;;;;;;;;;;GAUG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC3D,IAAI,GAAE,cAAmB,GACxB,mBAAmB,CAoPrB"}