universal-physics-tensor 8.0.0 → 10.0.0

package/dist/composition/edge.d.ts

@@ -171,20 +171,6 @@ export declare class CompositionJunctionError extends Error {
 export declare class CompositionDimensionError extends Error {
     constructor(message: string);
 }
-/**
- * Evaluation refused: inputs fall outside an edge's validity domain.
- *
- * Honest deviation from design D-3's "domain-incompatible at compose
- * time": domain predicates are opaque functions, so incompatibility is
- * detectable only at evaluation — this error is thrown by
- * {@link evaluateEdge} (and by composed edges internally), not by
- * `composeEdges`.
- *
- * @public
- */
-export declare class DomainViolationError extends Error {
-    constructor(message: string);
-}
 /**
  * The edge's coefficient has no sourced number and its group is unbound.
  *
@@ -198,6 +184,16 @@ export declare class CoefficientUnsetError extends Error {
     readonly formula: string;
     constructor(id: string, formula: string);
 }
+/**
+ * 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 declare function assertCoefficientSet(edge: BridgeEdge, inputs: Record<string, number>): void;
 /**
  * Composition refused: the composed sources would contain a duplicate
  * quantity NAME across operands without a recorded disposition (v0.11
@@ -221,15 +217,16 @@ export declare 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
  */

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

@@ -1 +1 @@
-{"version":3,"file":"edge.d.ts","sourceRoot":"","sources":["../../src/composition/edge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAE5D,OAAO,KAAK,EACV,WAAW,EACX,cAAc,EACd,MAAM,EACN,gBAAgB,EACjB,MAAM,uBAAuB,CAAC;AAE/B;;;;;;GAMG;AACH,MAAM,WAAW,cAAc;IAC7B,uEAAuE;IACvE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,oDAAoD;IACpD,QAAQ,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,OAAO,CAAC;CACjE;AAED;;;;;GAKG;AACH,MAAM,MAAM,cAAc,GACtB,aAAa,GACb,aAAa,GACb,oBAAoB,CAAC;AAEzB;;;;;;;;GAQG;AACH,MAAM,WAAW,UAAU;IACzB,0DAA0D;IAC1D,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,uDAAuD;IACvD,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,2EAA2E;IAC3E,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,KAAK,CAAC;IAChC,4BAA4B;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,gCAAgC;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;IACtC;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;IAC/D,uBAAuB;IACvB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,6DAA6D;IAC7D,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,MAAM,CAAC;IAC9D;;;;;;;OAOG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B;;;;;OAKG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IACpC;;;;;;;OAOG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3D;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC;;;;;;OAMG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE;QAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;KAC5B,CAAC;IACF;;;OAGG;IACH,QAAQ,CAAC,qBAAqB,CAAC,EAAE,aAAa,CAAC;QAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,OAAO,EAAE,QAAQ,GAAG;YAAE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;SAAE,CAAC;QAC/D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;KAC5B,CAAC,CAAC;IAGH,wEAAwE;IACxE,QAAQ,CAAC,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IACrC;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,6CAA6C;IAC7C,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;IACnC,4DAA4D;IAC5D,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IACrD;;;;;;OAMG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC1D;AAED,gEAAgE;AAChE,qBAAa,wBAAyB,SAAQ,KAAK;IACjD,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED,6EAA6E;AAC7E,qBAAa,yBAA0B,SAAQ,KAAK;IAClD,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED;;;;;;;;;;GAUG;AACH,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED;;;;;;;GAOG;AACH,qBAAa,qBAAsB,SAAQ,KAAK;IAC9C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,YAAY,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAKtC;CACF;AAUD;;;;;;;;GAQG;AACH,qBAAa,qBAAsB,SAAQ,KAAK;IAC9C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,qBAAa,yBAA0B,SAAQ,KAAK;IAClD,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAgDD;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,UAAU,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAUjE;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAC1B,IAAI,EAAE,UAAU,EAChB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAC7B,MAAM,CAWR"}
+{"version":3,"file":"edge.d.ts","sourceRoot":"","sources":["../../src/composition/edge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAE5D,OAAO,KAAK,EACV,WAAW,EACX,cAAc,EACd,MAAM,EACN,gBAAgB,EACjB,MAAM,uBAAuB,CAAC;AAG/B;;;;;;GAMG;AACH,MAAM,WAAW,cAAc;IAC7B,uEAAuE;IACvE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,oDAAoD;IACpD,QAAQ,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,OAAO,CAAC;CACjE;AAED;;;;;GAKG;AACH,MAAM,MAAM,cAAc,GACtB,aAAa,GACb,aAAa,GACb,oBAAoB,CAAC;AAEzB;;;;;;;;GAQG;AACH,MAAM,WAAW,UAAU;IACzB,0DAA0D;IAC1D,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,uDAAuD;IACvD,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,2EAA2E;IAC3E,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,KAAK,CAAC;IAChC,4BAA4B;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,gCAAgC;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;IACtC;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;IAC/D,uBAAuB;IACvB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,6DAA6D;IAC7D,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,MAAM,CAAC;IAC9D;;;;;;;OAOG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B;;;;;OAKG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IACpC;;;;;;;OAOG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3D;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC;;;;;;OAMG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE;QAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;KAC5B,CAAC;IACF;;;OAGG;IACH,QAAQ,CAAC,qBAAqB,CAAC,EAAE,aAAa,CAAC;QAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,OAAO,EAAE,QAAQ,GAAG;YAAE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;SAAE,CAAC;QAC/D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;KAC5B,CAAC,CAAC;IAGH,wEAAwE;IACxE,QAAQ,CAAC,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IACrC;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,6CAA6C;IAC7C,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;IACnC,4DAA4D;IAC5D,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IACrD;;;;;;OAMG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC1D;AAED,gEAAgE;AAChE,qBAAa,wBAAyB,SAAQ,KAAK;IACjD,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED,6EAA6E;AAC7E,qBAAa,yBAA0B,SAAQ,KAAK;IAClD,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED;;;;;;;GAOG;AACH,qBAAa,qBAAsB,SAAQ,KAAK;IAC9C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,YAAY,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAKtC;CACF;AAUD;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,CAI3F;AAED;;;;;;;;GAQG;AACH,qBAAa,qBAAsB,SAAQ,KAAK;IAC9C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,qBAAa,yBAA0B,SAAQ,KAAK;IAClD,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAgDD;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,UAAU,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAUjE;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAC1B,IAAI,EAAE,UAAU,EAChB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAC7B,MAAM,CASR"}

package/dist/composition/edge.js

@@ -12,6 +12,7 @@
  * @module composition/edge
  */
 import { CANONICAL_GROUP_PREFACTORS } from './canonical-prefactors.js';
+import { DomainViolationError } from '../bridges/evaluation-errors.js';
 /** Composition failed: no junction quantity matched. @public */
 export class CompositionJunctionError extends Error {
     constructor(message) {
@@ -26,23 +27,6 @@ export class CompositionDimensionError extends Error {
         this.name = 'CompositionDimensionError';
     }
 }
-/**
- * Evaluation refused: inputs fall outside an edge's validity domain.
- *
- * Honest deviation from design D-3's "domain-incompatible at compose
- * time": domain predicates are opaque functions, so incompatibility is
- * detectable only at evaluation — this error is thrown by
- * {@link evaluateEdge} (and by composed edges internally), not by
- * `composeEdges`.
- *
- * @public
- */
-export class DomainViolationError extends Error {
-    constructor(message) {
-        super(message);
-        this.name = 'DomainViolationError';
-    }
-}
 /**
  * The edge's coefficient has no sourced number and its group is unbound.
  *
@@ -69,6 +53,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
@@ -95,15 +93,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
  */
@@ -184,9 +183,7 @@ export function evaluateEdge(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);
-    }
+    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;AAmKvE,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;;;;;;;;;;GAUG;AACH,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACrC,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,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,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;;;;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,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 } from '../bridges/evaluation-errors.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  /** Human-readable statement, e.g. 'M > 0 and b ≫ r_s (weak field)'. */\n  readonly description: string;\n  /** Machine-checkable form of the same statement. */\n  readonly predicate: (inputs: Record<string, number>) => boolean;\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/**\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    },\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(\n      `${edge.id}: inputs violate validity domain (${edge.domain.description})`,\n    );\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;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,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,CAsEzB"}

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,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;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;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","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 { CompositionAliasError, UndefinedCompositionError } from './edge.js';\nimport { composeEdges } from './compose.js';\nimport type { ComposeOptions } from './compose.js';\nimport { composeSymbolic } from './compose-symbolic.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        }\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 {\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

@@ -1,14 +1,18 @@
 /**
  * One public evaluation of a catalog id or a canonical id.
  *
- * The number is the edge's closed form, which stays that id's single
- * numeric body. A formula string is not parsed. An unset coefficient is
- * `kind: 'unset'` and is not a number.
+ * A catalog id with a closed-form evaluator is that evaluator's `run`, the
+ * same call `upt evaluate` makes, so the library and the CLI check the
+ * bindings, the domain and the value in one place. A canonical id is its
+ * graph edge, checked against the same {@link checkInputs} contract first.
+ * A formula string is not parsed. An unset coefficient is `kind: 'unset'` and
+ * is not a number.
  *
  * @module composition/evaluate-relation
  */
 import type { Dimension } from '../dimensional/types.js';
 import { type EvaluatorSpec } from '../bridges/evaluators.js';
+import { type InputContract } from '../bridges/input-contract.js';
 import { type BridgeEdge } from './edge.js';
 /**
  * A sourced number, or an unset coefficient.
@@ -34,6 +38,22 @@ 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
+ * against exactly this contract.
+ * @internal
+ */
+export declare function evaluableContract(found: Evaluable): InputContract;
 /**
  * The edge and the closed-form evaluator for `id`, when either exists.
  * An unknown id throws. An id with an evaluator and no edge is not unknown.
@@ -43,8 +63,12 @@ export declare function resolveEvaluable(id: string | number): Evaluable;
  * Evaluate `id` at `bindings`.
  *
  * A catalog id is `be-70` or `70`. A canonical id is `CE-sound-speed`.
- * Binding keys are the edge's quantity names or its aliases.
- * A missing input, a domain failure, and a sign failure throw.
+ * Binding keys are the inputs' keys, quantity names or aliases.
+ * The bindings are checked before the domain: an unknown key throws
+ * `UnknownInputError`, a non-number `InputTypeError` (a `TypeError`), a
+ * `NaN` or an infinity `NonFiniteInputError`, a key given twice
+ * `DuplicateInputError`, an absent input `MissingInputError`.
+ * A domain failure throws `DomainViolationError`.
  * 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.

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;;;;;;;;GAQG;AAIH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAEzD,OAAO,EAAqB,KAAK,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAIjF,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;AAyBD;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAY/D;AAgDD;;;;;;;;;;;GAWG;AACH,wBAAgB,gBAAgB,CAC9B,EAAE,EAAE,MAAM,GAAG,MAAM,EACnB,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GACzC,UAAU,CAkBZ"}
+{"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"}

package/dist/composition/evaluate-relation.js

@@ -1,32 +1,81 @@
 /**
  * One public evaluation of a catalog id or a canonical id.
  *
- * The number is the edge's closed form, which stays that id's single
- * numeric body. A formula string is not parsed. An unset coefficient is
- * `kind: 'unset'` and is not a number.
+ * A catalog id with a closed-form evaluator is that evaluator's `run`, the
+ * same call `upt evaluate` makes, so the library and the CLI check the
+ * bindings, the domain and the value in one place. A canonical id is its
+ * graph edge, checked against the same {@link checkInputs} contract first.
+ * A formula string is not parsed. An unset coefficient is `kind: 'unset'` and
+ * is not a number.
  *
  * @module composition/evaluate-relation
  */
-import { equals } from '../dimensional/algebra.js';
 import { EXPECTED_DIMENSION_BY_BRIDGE } from '../dimensional/bridge-check.js';
-import { parseUnit } from '../dimensional/units.js';
 import { BRIDGE_EVALUATORS } from '../bridges/evaluators.js';
-import { catalogEdgeKey, parseBridgeId } from '../bridges/catalog-load.js';
+import { checkInputs, inputContract } from '../bridges/input-contract.js';
+import { catalogEdgeKey, parseBridgeId, primaryRelation } from '../bridges/catalog-load.js';
+import { CANONICAL_EQUATIONS } from '../canonical/registry.js';
+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';
-/** Every source is present and finite, under its name or an alias. */
-function sourcesFinite(edge, bindings) {
-    for (const source of edge.sources) {
-        const keys = [source.name, ...(edge.aliases?.[source.name] ?? [])];
-        const present = keys.some((key) => {
-            const value = bindings[key];
-            return value !== undefined && Number.isFinite(value);
-        });
-        if (!present)
-            return false;
-    }
-    return true;
+/**
+ * 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
+ * factors, and a bound dimensionless group such as `gamma`.
+ */
+function canonicalNames(id) {
+    const equation = CANONICAL_EQUATIONS.find((candidate) => candidate.id === id);
+    return [
+        ...(equation?.dimensional.governing.map((g) => g.name) ?? []),
+        ...CANONICAL_GROUP_PREFACTORS.filter((group) => group.id === id).map((group) => group.group),
+    ];
+}
+/**
+ * The declared inputs of an edge with no evaluator: each source under its name
+ * and aliases, required; and, optional, its formula factors, the canonical
+ * equation's governing names and a bound dimensionless group. A name that
+ * already spells a source binds that source, so it is not a second slot.
+ */
+function edgeContract(id, edge) {
+    const sourceSlots = edge.sources.map((source) => ({
+        key: source.name,
+        spellings: [source.name, ...(edge.aliases?.[source.name] ?? [])],
+        alternates: [],
+        optional: false,
+        readBy: 'value',
+        listed: true,
+    }));
+    const spelled = new Set(sourceSlots.flatMap((slot) => slot.spellings));
+    const optional = [...Object.keys(edge.formulaFactors ?? {}), ...canonicalNames(id)].filter((name) => !spelled.has(name));
+    return inputContract(id, [
+        ...sourceSlots,
+        ...[...new Set(optional)].map((name) => ({ key: name, spellings: [name], alternates: [], optional: true, readBy: 'value', listed: false })),
+    ]);
+}
+/**
+ * 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
+ * against exactly this contract.
+ * @internal
+ */
+export function evaluableContract(found) {
+    if (found.evaluator !== undefined)
+        return found.evaluator.contract;
+    return edgeContract(found.id, found.edge);
 }
 function idOf(id) {
     if (typeof id === 'number')
@@ -56,52 +105,33 @@ export function resolveEvaluable(id) {
         ...(evaluator === undefined ? {} : { evaluator }),
     };
 }
-/** Unit dimensions a result key's suffix can be read as. `mK` stays millikelvin. */
-function suffixDimensions(key) {
-    const parts = key.split('_');
-    const dims = [];
-    for (let i = 1; i < parts.length; i++) {
-        const expr = parts.slice(i).join('_').replace(/_per_/g, '/').replaceAll('_', '*');
-        try {
-            const parsed = parseUnit(expr);
-            if (parsed.affine === undefined)
-                dims.push(parsed.dim);
-        }
-        catch {
-            // This suffix is not a unit expression.
-        }
-    }
-    return dims;
-}
 /**
- * The result field whose dimension is the catalog signature.
- * Input keys are echoed and are not candidates. A single remaining number
- * is that output when no suffix parses to the signature.
+ * 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).
  */
-function closedFormEvaluation(spec, bindings) {
-    const raw = spec.run({ ...bindings });
-    if (raw === null || typeof raw !== 'object') {
-        throw new Error(`evaluateRelation: be-${spec.bridgeId} did not return a result`);
-    }
-    const expected = EXPECTED_DIMENSION_BY_BRIDGE.get(spec.bridgeId);
-    if (expected === undefined) {
+function closedFormEvaluation(spec, edge, bindings) {
+    const { value } = spec.run(bindings, 'value');
+    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`);
     }
-    const inputs = new Set(spec.inputKeys);
-    const numeric = Object.entries(raw).filter((entry) => typeof entry[1] === 'number' && Number.isFinite(entry[1]) && !inputs.has(entry[0]));
-    const matched = numeric.filter(([key]) => suffixDimensions(key).some((dim) => equals(dim, expected)));
-    const chosen = matched.length === 1 ? matched[0] : matched.length === 0 && numeric.length === 1 ? numeric[0] : undefined;
-    if (chosen === undefined) {
-        throw new Error(`evaluateRelation: be-${spec.bridgeId} has no unique output of the catalog dimension`);
-    }
-    return { kind: 'value', value: chosen[1], dimension: expected };
+    if (Number.isFinite(value))
+        return { kind: 'value', value, dimension };
+    // `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 };
 }
 /**
  * Evaluate `id` at `bindings`.
  *
  * A catalog id is `be-70` or `70`. A canonical id is `CE-sound-speed`.
- * Binding keys are the edge's quantity names or its aliases.
- * A missing input, a domain failure, and a sign failure throw.
+ * Binding keys are the inputs' keys, quantity names or aliases.
+ * The bindings are checked before the domain: an unknown key throws
+ * `UnknownInputError`, a non-number `InputTypeError` (a `TypeError`), a
+ * `NaN` or an infinity `NonFiniteInputError`, a key given twice
+ * `DuplicateInputError`, an absent input `MissingInputError`.
+ * A domain failure throws `DomainViolationError`.
  * 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.
@@ -110,23 +140,21 @@ function closedFormEvaluation(spec, bindings) {
  */
 export function evaluateRelation(id, bindings) {
     const found = resolveEvaluable(id);
-    if (found.edge !== undefined) {
-        try {
-            const value = evaluateEdge(found.edge, { ...bindings });
-            if (!Number.isFinite(value)) {
-                if (sourcesFinite(found.edge, bindings))
-                    return { kind: 'unset', formula: found.edge.label };
-                throw new Error(`evaluateRelation: ${found.edge.id} is missing a finite input`);
-            }
-            return { kind: 'value', value, dimension: found.edge.target.dim };
-        }
-        catch (error) {
-            if (error instanceof CoefficientUnsetError) {
-                return { kind: 'unset', formula: error.formula };
-            }
-            throw error;
-        }
+    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 closedFormEvaluation(found.evaluator, bindings);
 }
 //# 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;;;;;;;;GAQG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AACnD,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAC;AAE9E,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAsB,MAAM,0BAA0B,CAAC;AACjF,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3E,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,sEAAsE;AACtE,SAAS,aAAa,CAAC,IAAgB,EAAE,QAA0C;IACjF,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACnE,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE;YAChC,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;YAC5B,OAAO,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,OAAO;YAAE,OAAO,KAAK,CAAC;IAC7B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,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,oFAAoF;AACpF,SAAS,gBAAgB,CAAC,GAAW;IACnC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAgB,EAAE,CAAC;IAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAClF,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;gBAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACzD,CAAC;QAAC,MAAM,CAAC;YACP,wCAAwC;QAC1C,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,SAAS,oBAAoB,CAC3B,IAAmB,EACnB,QAA0C;IAE1C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,QAAQ,EAAE,CAAC,CAAC;IACtC,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5C,MAAM,IAAI,KAAK,CAAC,wBAAwB,IAAI,CAAC,QAAQ,0BAA0B,CAAC,CAAC;IACnF,CAAC;IACD,MAAM,QAAQ,GAAG,4BAA4B,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjE,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,wBAAwB,IAAI,CAAC,QAAQ,2BAA2B,CAAC,CAAC;IACpF,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAA8B,CAAC,CAAC,MAAM,CACnE,CAAC,KAAK,EAA6B,EAAE,CACnC,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CACrF,CAAC;IACF,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IACtG,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzH,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,wBAAwB,IAAI,CAAC,QAAQ,gDAAgD,CAAC,CAAC;IACzG,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AAClE,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,gBAAgB,CAC9B,EAAmB,EACnB,QAA0C;IAE1C,MAAM,KAAK,GAAG,gBAAgB,CAAC,EAAE,CAAC,CAAC;IACnC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,CAAC;YACxD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5B,IAAI,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC;oBAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC7F,MAAM,IAAI,KAAK,CAAC,qBAAqB,KAAK,CAAC,IAAI,CAAC,EAAE,4BAA4B,CAAC,CAAC;YAClF,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;QACpE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACjB,IAAI,KAAK,YAAY,qBAAqB,EAAE,CAAC;gBAC3C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;YACnD,CAAC;YACD,MAAM,KAAK,CAAC;QACZ,CAAC;IACH,CAAC;IACD,OAAO,oBAAoB,CAAC,KAAK,CAAC,SAAU,EAAE,QAAQ,CAAC,CAAC;AAC1D,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;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","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 type { Dimension } from '../dimensional/types.js';\nimport { BRIDGE_EVALUATORS, type EvaluatorSpec } from '../bridges/evaluators.js';\nimport { checkInputs, inputContract, 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 sourced number, or an unset coefficient.\n *\n * `dimension` is the edge target. `formula` is the edge label.\n *\n * @public\n */\nexport type Evaluation =\n  | { readonly kind: 'value'; readonly value: number; readonly dimension: Dimension }\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 * The output of a closed-form evaluator: the quantity it computes and that\n * quantity's dimension. An evaluator with no catalog dimension (a closed form\n * with no AST) names no dimension.\n */\nexport function evaluatorOutput(spec: EvaluatorSpec): { readonly name: string; readonly dimension?: Dimension } {\n  const relation = primaryRelation(spec.bridgeId);\n  const dimension = EXPECTED_DIMENSION_BY_BRIDGE.get(spec.bridgeId);\n  return {\n    name: relation?.target ?? 'value',\n    ...(dimension === undefined ? {} : { dimension }),\n  };\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's primary output, through the evaluator's `run`. A record's\n * `value` is the catalog signature; any other number it returns is an extra\n * output, named by `spec.outputs`. A non-finite value at finite inputs is an\n * unset result (a dropped factor, a singularity).\n */\nfunction closedFormEvaluation(\n  spec: EvaluatorSpec,\n  edge: BridgeEdge | undefined,\n  bindings: Readonly<Record<string, number>>,\n): Evaluation {\n  const { value } = spec.run(bindings, 'value');\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  if (Number.isFinite(value)) return { kind: 'value', value, dimension };\n  // `run` refused a non-finite input, so a non-finite value here comes from the closed form.\n  return { kind: 'unset', formula: edge?.label ?? primaryRelation(spec.bridgeId)?.label ?? spec.name };\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 *\n * @public\n */\nexport function evaluateRelation(\n  id: string | number,\n  bindings: Readonly<Record<string, number>>,\n): Evaluation {\n  const found = resolveEvaluable(id);\n  if (found.evaluator !== undefined) return closedFormEvaluation(found.evaluator, found.edge, bindings);\n  const edge = found.edge!;\n  const checked = checkInputs(evaluableContract(found), bindings);\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 { kind: 'value', value, dimension: edge.target.dim };\n  } catch (error) {\n    if (error instanceof CoefficientUnsetError) return { kind: 'unset', formula: error.formula };\n    throw error;\n  }\n}\n"]}