universal-physics-tensor 9.0.0 → 10.0.0

package/dist/bridges/catalog-types.d.ts

@@ -5,7 +5,7 @@
  * @module bridges/catalog-types
  */
 import type { Dimension } from '../dimensional/types.js';
-import type { Conventions, Counterexample, Regime, RelationContract } from '../relations/types.js';
+import type { ConfrontationOutcome } from './observations/types.js';
 import type { BridgeEquationEntry, BridgeEquationStatus } from './types.js';
 /**
  * Filing label. `cross-domain` means the equation links quantities or
@@ -14,20 +14,18 @@ import type { BridgeEquationEntry, BridgeEquationStatus } from './types.js';
  */
 export type CatalogFiling = 'standard' | 'cross-domain';
 /**
- * One catalog row. `derivedFrom` and `basis` are optional until a nested
- * derivation is pinned. `basis: false` is not a state this record carries.
+ * One catalog row. The row owns the relation contract, the regime, the
+ * conventions and the counterexamples; its relations carry no copy.
  */
 export interface CatalogEntry extends BridgeEquationEntry {
     readonly type: CatalogFiling;
-    readonly derivedFrom?: readonly string[];
-    readonly basis?: true;
     /** The PhysJS manifest key. The reference and its kind are that entry's. */
     readonly formalKey?: string;
-    readonly assumptions?: readonly string[];
-    readonly scopeLimits?: readonly string[];
     readonly dimension?: Dimension;
     /** The confrontation is a caller-supplied table, not a stored outcome. */
     readonly callerTable?: true;
+    /** The adjudication is contested; the row stays out of the null-result list until adjudicated. */
+    readonly contested?: true;
     /** A named statement this row's expression supports. */
     readonly statement?: string;
     /**
@@ -57,17 +55,11 @@ export interface CatalogRelation {
     readonly citation: string;
     readonly coefficientUnset?: boolean;
     readonly formulaFactors?: Readonly<Record<string, number>>;
-    readonly relation?: RelationContract;
-    readonly regime?: Regime;
-    readonly conventions?: Conventions;
-    readonly counterexamples?: readonly Counterexample[];
     readonly reference?: CatalogReference;
     /** A caveat the record states beside its value. The text is the record's; nothing switches on it. */
     readonly notice?: {
         readonly text: string;
     };
-    /** A generic numerical method this record calls. Never a bridge number. */
-    readonly method?: string;
 }
 /** One named input of a catalog evaluator. */
 export interface CatalogEvaluatorParameter {
@@ -91,11 +83,12 @@ export interface CatalogEvaluatorParameter {
         readonly meaning: string;
         readonly toKey: number;
     }[];
-    readonly optional?: true;
 }
 /**
  * A second number the same record returns beside its `value`. The expression
- * reads evaluator parameter keys, the constants, and `value`.
+ * reads evaluator parameter keys, the constants, and `value`. It is computed
+ * when every parameter key it reads was given; a parameter only an output
+ * reads is optional.
  *
  * @public
  */
@@ -105,8 +98,6 @@ export interface CatalogEvaluatorOutput {
     readonly unit: string;
     readonly meaning: string;
     readonly expression: string;
-    /** Optional parameter keys this output needs. It is left out when one is not given. */
-    readonly requires?: readonly string[];
 }
 /** The input contract of one catalog evaluator. */
 export interface CatalogEvaluator {
@@ -115,19 +106,45 @@ export interface CatalogEvaluator {
     readonly parameters: readonly CatalogEvaluatorParameter[];
     readonly outputs?: readonly CatalogEvaluatorOutput[];
 }
-/** One committed data confrontation of a catalog record. */
+/**
+ * The prediction point of a value-kind confrontation, in the evaluator's input
+ * spellings. The evaluator at these inputs returns the outcome's `predicted`:
+ * its value, or the extra output `output` names.
+ */
+export interface CatalogPrediction {
+    readonly inputs: Readonly<Record<string, number>>;
+    readonly output?: string;
+}
+/** One committed data confrontation of a catalog record, its outcome narrowed on `kind` when the catalog loads. */
 export interface CatalogConfrontation {
     readonly catalogId: number;
     readonly title: string;
     readonly kind: 'value' | 'upper-bound' | 'consistency' | 'table';
     readonly rigor: 'stringent' | 'moderate' | 'loose';
-    readonly outcome: Record<string, unknown>;
-    /** Inputs of the prediction, in catalog quantity names, when elasticity is defined. */
-    readonly prediction?: {
-        readonly inputs: Readonly<Record<string, number>>;
-    };
+    readonly outcome: ConfrontationOutcome;
+    readonly prediction?: CatalogPrediction;
 }
-/** The on-disk catalog: schema 3, entries, relations, evaluators, and confrontations. */
+/** A confrontation as the file stores it: the outcome is checked arm by arm when the catalog loads. */
+export type CatalogConfrontationRecord = Omit<CatalogConfrontation, 'outcome'> & {
+    readonly outcome: Readonly<Record<string, unknown>>;
+};
+/** One row of the negative catalog: adjudicated not-a-bridge under the membership criterion. */
+export interface CatalogRejection {
+    readonly catalogId: number;
+    readonly name: string;
+    /** Why the endpoints do NOT differ in regime attributes. */
+    readonly reason: string;
+    readonly citation: string;
+}
+/**
+ * A relation as the file stores it. `confidence` is stored only on a relation
+ * that has no catalog row; a relation with a row takes its row's `status`
+ * when the catalog loads, so the two cannot drift.
+ */
+export type CatalogRelationRecord = Omit<CatalogRelation, 'confidence'> & {
+    readonly confidence?: CatalogRelation['confidence'];
+};
+/** The loaded catalog: schema 3, entries, relations, evaluators, confrontations, the two ledgers and the spine. */
 export interface CatalogFile {
     readonly schemaVersion: 3;
     readonly packageVersion: string;
@@ -137,8 +154,15 @@ export interface CatalogFile {
     readonly confrontations: readonly CatalogConfrontation[];
     /** The adjudication ledger: recorded verdicts on identification hypotheses. `composition/adjudication.ts` projects it. */
     readonly adjudications: readonly CatalogAdjudication[];
+    /** The negative catalog. `bridges/rejected.ts` projects it. */
+    readonly rejections: readonly CatalogRejection[];
     readonly spine: Readonly<Record<string, Readonly<Record<string, number>>>>;
 }
+/** The catalog as `data/bridge-catalog.json` stores it, before the loader derives the per-relation fields and narrows each outcome. */
+export type CatalogFileRecord = Omit<CatalogFile, 'relations' | 'confrontations'> & {
+    readonly relations: readonly CatalogRelationRecord[];
+    readonly confrontations: readonly CatalogConfrontationRecord[];
+};
 /**
  * A recorded human verdict on an identification hypothesis `a ≟ b`.
  * - `genuine`  — real physics AND a new link (nothing recorded qualifies yet).

package/dist/bridges/catalog-types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"catalog-types.d.ts","sourceRoot":"","sources":["../../src/bridges/catalog-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACnG,OAAO,KAAK,EACV,mBAAmB,EACnB,oBAAoB,EACrB,MAAM,YAAY,CAAC;AAEpB;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,cAAc,CAAC;AAExD;;;GAGG;AACH,MAAM,WAAW,YAAa,SAAQ,mBAAmB;IACvD,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC;IACtB,4EAA4E;IAC5E,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAC/B,0EAA0E;IAC1E,QAAQ,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC;IAC5B,wDAAwD;IACxD,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B;;;OAGG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;CACpC;AAED,gEAAgE;AAChE,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAClD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,mEAAmE;AACnE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,KAAK,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;IAC9D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,aAAa,GAAG,aAAa,GAAG,oBAAoB,CAAC;IAC1E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,cAAc,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3D,QAAQ,CAAC,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IACrC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;IACnC,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IACrD,QAAQ,CAAC,SAAS,CAAC,EAAE,gBAAgB,CAAC;IACtC,qGAAqG;IACrG,QAAQ,CAAC,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5C,2EAA2E;IAC3E,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,8CAA8C;AAC9C,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,GAAG,UAAU,GAAG,YAAY,GAAG,kBAAkB,GAAG,iBAAiB,CAAC;IAClG,QAAQ,CAAC,WAAW,CAAC,EAAE,UAAU,CAAC;IAClC;;;;OAIG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,GAAG,aAAa,GAAG,KAAK,CAAC;IACnD,6FAA6F;IAC7F,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC5G,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;CAC1B;AAED;;;;;GAKG;AACH,MAAM,WAAW,sBAAsB;IACrC,2DAA2D;IAC3D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,uFAAuF;IACvF,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC;AAED,mDAAmD;AACnD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,SAAS,yBAAyB,EAAE,CAAC;IAC1D,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;CACtD;AAED,4DAA4D;AAC5D,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,aAAa,GAAG,aAAa,GAAG,OAAO,CAAC;IACjE,QAAQ,CAAC,KAAK,EAAE,WAAW,GAAG,UAAU,GAAG,OAAO,CAAC;IACnD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC1C,uFAAuF;IACvF,QAAQ,CAAC,UAAU,CAAC,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;KAAE,CAAC;CAC7E;AAED,yFAAyF;AACzF,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;IAC1C,QAAQ,CAAC,SAAS,EAAE,SAAS,eAAe,EAAE,CAAC;IAC/C,QAAQ,CAAC,UAAU,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACjD,QAAQ,CAAC,cAAc,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACzD,0HAA0H;IAC1H,QAAQ,CAAC,aAAa,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACvD,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;CAC5E;AAED;;;;;;GAMG;AACH,MAAM,MAAM,mBAAmB,GAAG,SAAS,GAAG,OAAO,GAAG,UAAU,GAAG,UAAU,CAAC;AAEhF,2EAA2E;AAC3E,MAAM,WAAW,mBAAmB;IAClC,+FAA+F;IAC/F,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,8EAA8E;IAC9E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,uDAAuD;IACvD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,yCAAyC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,yCAAyC;AACzC,YAAY,EAAE,oBAAoB,EAAE,CAAC"}
+{"version":3,"file":"catalog-types.d.ts","sourceRoot":"","sources":["../../src/bridges/catalog-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,KAAK,EACV,mBAAmB,EACnB,oBAAoB,EACrB,MAAM,YAAY,CAAC;AAEpB;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,cAAc,CAAC;AAExD;;;GAGG;AACH,MAAM,WAAW,YAAa,SAAQ,mBAAmB;IACvD,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,4EAA4E;IAC5E,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAC/B,0EAA0E;IAC1E,QAAQ,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC;IAC5B,kGAAkG;IAClG,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC;IAC1B,wDAAwD;IACxD,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B;;;OAGG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;CACpC;AAED,gEAAgE;AAChE,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAClD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,mEAAmE;AACnE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,KAAK,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;IAC9D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,aAAa,GAAG,aAAa,GAAG,oBAAoB,CAAC;IAC1E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,cAAc,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3D,QAAQ,CAAC,SAAS,CAAC,EAAE,gBAAgB,CAAC;IACtC,qGAAqG;IACrG,QAAQ,CAAC,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;CAC7C;AAED,8CAA8C;AAC9C,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,GAAG,UAAU,GAAG,YAAY,GAAG,kBAAkB,GAAG,iBAAiB,CAAC;IAClG,QAAQ,CAAC,WAAW,CAAC,EAAE,UAAU,CAAC;IAClC;;;;OAIG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,GAAG,aAAa,GAAG,KAAK,CAAC;IACnD,6FAA6F;IAC7F,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAC7G;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,sBAAsB;IACrC,2DAA2D;IAC3D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,mDAAmD;AACnD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,SAAS,yBAAyB,EAAE,CAAC;IAC1D,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;CACtD;AAED;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAClD,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,mHAAmH;AACnH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,aAAa,GAAG,aAAa,GAAG,OAAO,CAAC;IACjE,QAAQ,CAAC,KAAK,EAAE,WAAW,GAAG,UAAU,GAAG,OAAO,CAAC;IACnD,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC;IACvC,QAAQ,CAAC,UAAU,CAAC,EAAE,iBAAiB,CAAC;CACzC;AAED,uGAAuG;AACvG,MAAM,MAAM,0BAA0B,GAAG,IAAI,CAAC,oBAAoB,EAAE,SAAS,CAAC,GAAG;IAC/E,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACrD,CAAC;AAEF,gGAAgG;AAChG,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,4DAA4D;IAC5D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,GAAG,IAAI,CAAC,eAAe,EAAE,YAAY,CAAC,GAAG;IACxE,QAAQ,CAAC,UAAU,CAAC,EAAE,eAAe,CAAC,YAAY,CAAC,CAAC;CACrD,CAAC;AAEF,mHAAmH;AACnH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;IAC1C,QAAQ,CAAC,SAAS,EAAE,SAAS,eAAe,EAAE,CAAC;IAC/C,QAAQ,CAAC,UAAU,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACjD,QAAQ,CAAC,cAAc,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACzD,0HAA0H;IAC1H,QAAQ,CAAC,aAAa,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACvD,+DAA+D;IAC/D,QAAQ,CAAC,UAAU,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACjD,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;CAC5E;AAED,uIAAuI;AACvI,MAAM,MAAM,iBAAiB,GAAG,IAAI,CAAC,WAAW,EAAE,WAAW,GAAG,gBAAgB,CAAC,GAAG;IAClF,QAAQ,CAAC,SAAS,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACrD,QAAQ,CAAC,cAAc,EAAE,SAAS,0BAA0B,EAAE,CAAC;CAChE,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,mBAAmB,GAAG,SAAS,GAAG,OAAO,GAAG,UAAU,GAAG,UAAU,CAAC;AAEhF,2EAA2E;AAC3E,MAAM,WAAW,mBAAmB;IAClC,+FAA+F;IAC/F,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,8EAA8E;IAC9E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,uDAAuD;IACvD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,yCAAyC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,yCAAyC;AACzC,YAAY,EAAE,oBAAoB,EAAE,CAAC"}

package/dist/bridges/catalog-types.js.map

@@ -1 +1 @@
-{"version":3,"file":"catalog-types.js","sourceRoot":"","sources":["../../src/bridges/catalog-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}
+{"version":3,"file":"catalog-types.js","sourceRoot":"","sources":["../../src/bridges/catalog-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG","sourcesContent":["/**\n * Catalog record shapes. The file `data/bridge-catalog.json` is the source.\n * A bridge number is the `id` field. It is not a code identifier.\n *\n * @module bridges/catalog-types\n */\n\nimport type { Dimension } from '../dimensional/types.js';\nimport type { ConfrontationOutcome } from './observations/types.js';\nimport type {\n  BridgeEquationEntry,\n  BridgeEquationStatus,\n} from './types.js';\n\n/**\n * Filing label. `cross-domain` means the equation links quantities or\n * constants from two distinct fields. `standard` means it stays inside one.\n * Absence is not a state this record carries.\n */\nexport type CatalogFiling = 'standard' | 'cross-domain';\n\n/**\n * One catalog row. The row owns the relation contract, the regime, the\n * conventions and the counterexamples; its relations carry no copy.\n */\nexport interface CatalogEntry extends BridgeEquationEntry {\n  readonly type: CatalogFiling;\n  /** The PhysJS manifest key. The reference and its kind are that entry's. */\n  readonly formalKey?: string;\n  readonly dimension?: Dimension;\n  /** The confrontation is a caller-supplied table, not a stored outcome. */\n  readonly callerTable?: true;\n  /** The adjudication is contested; the row stays out of the null-result list until adjudicated. */\n  readonly contested?: true;\n  /** A named statement this row's expression supports. */\n  readonly statement?: string;\n  /**\n   * Scalar expression for a row that has no relation. The structural\n   * registry parses it. It is not a graph edge and it is not evaluated.\n   */\n  readonly scalarExpression?: string;\n}\n\n/** Inputs and the number the engine returns at those inputs. */\nexport interface CatalogReference {\n  readonly inputs: Readonly<Record<string, number>>;\n  readonly value: number;\n}\n\n/** One closed form. Several relations may share one catalog id. */\nexport interface CatalogRelation {\n  readonly id: string;\n  readonly catalogId: number | null;\n  readonly kind: 'bridge' | 'law';\n  readonly label: string;\n  readonly expression: string;\n  readonly target: string;\n  readonly sources: readonly string[];\n  readonly aliases: Readonly<Record<string, readonly string[]>>;\n  readonly holds: string;\n  readonly domain: string;\n  readonly confidence: 'established' | 'speculative' | 'highly-speculative';\n  readonly citation: string;\n  readonly coefficientUnset?: boolean;\n  readonly formulaFactors?: Readonly<Record<string, number>>;\n  readonly reference?: CatalogReference;\n  /** A caveat the record states beside its value. The text is the record's; nothing switches on it. */\n  readonly notice?: { readonly text: string };\n}\n\n/** One named input of a catalog evaluator. */\nexport interface CatalogEvaluatorParameter {\n  readonly key: string;\n  readonly quantity: string;\n  readonly symbol: string;\n  readonly unit: string;\n  readonly meaning: string;\n  readonly geometry?: 'radius' | 'diameter' | 'separation' | 'impact-parameter' | 'semi-major-axis';\n  readonly temperature?: 'absolute';\n  /**\n   * The sign this input must have. `positive` is `> 0`, `nonnegative` is `>= 0`,\n   * and `any` states that the quantity is signed and overrides the temperature\n   * rule. An absolute temperature is `nonnegative` when no sign is stated.\n   */\n  readonly sign?: 'positive' | 'nonnegative' | 'any';\n  /** An angular frequency in rad/s. A cycle unit (Hz, rpm) given to it is multiplied by 2π. */\n  readonly angular?: true;\n  readonly alternates?: readonly { readonly key: string; readonly meaning: string; readonly toKey: number }[];\n}\n\n/**\n * A second number the same record returns beside its `value`. The expression\n * reads evaluator parameter keys, the constants, and `value`. It is computed\n * when every parameter key it reads was given; a parameter only an output\n * reads is optional.\n *\n * @public\n */\nexport interface CatalogEvaluatorOutput {\n  /** The result key, with its unit as a suffix (`E_F_J`). */\n  readonly name: string;\n  readonly unit: string;\n  readonly meaning: string;\n  readonly expression: string;\n}\n\n/** The input contract of one catalog evaluator. */\nexport interface CatalogEvaluator {\n  readonly catalogId: number;\n  readonly name: string;\n  readonly parameters: readonly CatalogEvaluatorParameter[];\n  readonly outputs?: readonly CatalogEvaluatorOutput[];\n}\n\n/**\n * The prediction point of a value-kind confrontation, in the evaluator's input\n * spellings. The evaluator at these inputs returns the outcome's `predicted`:\n * its value, or the extra output `output` names.\n */\nexport interface CatalogPrediction {\n  readonly inputs: Readonly<Record<string, number>>;\n  readonly output?: string;\n}\n\n/** One committed data confrontation of a catalog record, its outcome narrowed on `kind` when the catalog loads. */\nexport interface CatalogConfrontation {\n  readonly catalogId: number;\n  readonly title: string;\n  readonly kind: 'value' | 'upper-bound' | 'consistency' | 'table';\n  readonly rigor: 'stringent' | 'moderate' | 'loose';\n  readonly outcome: ConfrontationOutcome;\n  readonly prediction?: CatalogPrediction;\n}\n\n/** A confrontation as the file stores it: the outcome is checked arm by arm when the catalog loads. */\nexport type CatalogConfrontationRecord = Omit<CatalogConfrontation, 'outcome'> & {\n  readonly outcome: Readonly<Record<string, unknown>>;\n};\n\n/** One row of the negative catalog: adjudicated not-a-bridge under the membership criterion. */\nexport interface CatalogRejection {\n  readonly catalogId: number;\n  readonly name: string;\n  /** Why the endpoints do NOT differ in regime attributes. */\n  readonly reason: string;\n  readonly citation: string;\n}\n\n/**\n * A relation as the file stores it. `confidence` is stored only on a relation\n * that has no catalog row; a relation with a row takes its row's `status`\n * when the catalog loads, so the two cannot drift.\n */\nexport type CatalogRelationRecord = Omit<CatalogRelation, 'confidence'> & {\n  readonly confidence?: CatalogRelation['confidence'];\n};\n\n/** The loaded catalog: schema 3, entries, relations, evaluators, confrontations, the two ledgers and the spine. */\nexport interface CatalogFile {\n  readonly schemaVersion: 3;\n  readonly packageVersion: string;\n  readonly entries: readonly CatalogEntry[];\n  readonly relations: readonly CatalogRelation[];\n  readonly evaluators: readonly CatalogEvaluator[];\n  readonly confrontations: readonly CatalogConfrontation[];\n  /** The adjudication ledger: recorded verdicts on identification hypotheses. `composition/adjudication.ts` projects it. */\n  readonly adjudications: readonly CatalogAdjudication[];\n  /** The negative catalog. `bridges/rejected.ts` projects it. */\n  readonly rejections: readonly CatalogRejection[];\n  readonly spine: Readonly<Record<string, Readonly<Record<string, number>>>>;\n}\n\n/** The catalog as `data/bridge-catalog.json` stores it, before the loader derives the per-relation fields and narrows each outcome. */\nexport type CatalogFileRecord = Omit<CatalogFile, 'relations' | 'confrontations'> & {\n  readonly relations: readonly CatalogRelationRecord[];\n  readonly confrontations: readonly CatalogConfrontationRecord[];\n};\n\n/**\n * A recorded human verdict on an identification hypothesis `a ≟ b`.\n * - `genuine`  — real physics AND a new link (nothing recorded qualifies yet).\n * - `entailed` — real physics already carried by the L-layer; not a new link.\n * - `decoy`    — dimensional coincidence / no mechanism, including trivial and definitional identifications.\n * - `deferred` — reviewed and consciously parked (not the same as absent, which means never reviewed).\n */\nexport type AdjudicationVerdict = 'genuine' | 'decoy' | 'entailed' | 'deferred';\n\n/** One record of the adjudication ledger in `data/bridge-catalog.json`. */\nexport interface CatalogAdjudication {\n  /** `candidateId(a, b)` of the identification: the two slugs in sorted order, joined by `~`. */\n  readonly id: string;\n  readonly verdict: AdjudicationVerdict;\n  /** Why, condensed from the adjudication document; never machine-generated. */\n  readonly grounds: string;\n  /** Repo-relative path of the adjudication document. */\n  readonly source: string;\n  /** ISO date the verdict was recorded. */\n  readonly date: string;\n}\n\n/** Lifecycle status of a catalog row. */\nexport type { BridgeEquationStatus };\n"]}

package/dist/bridges/coefficient-statement.js

@@ -21,11 +21,7 @@ export function oneLoopCoefficientStatement(colorNumber, flavorNumber) {
     if (relation === undefined) {
         throw new Error('oneLoopCoefficientStatement: the statement has no expression');
     }
-    const beta = evaluateFormula(relation.expression, {
-        'gauge-coupling': 1,
-        'color-number': colorNumber,
-        'flavor-number': flavorNumber,
-    });
+    const beta = evaluateFormula(relation.expression, { 'gauge-coupling': 1, 'color-number': colorNumber, 'flavor-number': flavorNumber }, relation.sources);
     const b0 = -beta * 16 * Math.PI * Math.PI;
     const sign = b0 > 0 ? 'positive' : b0 < 0 ? 'negative' : 'zero';
     return { label: 'one-loop coefficient', sign, b0 };

package/dist/bridges/coefficient-statement.js.map

@@ -1 +1 @@
-{"version":3,"file":"coefficient-statement.js","sourceRoot":"","sources":["../../src/bridges/coefficient-statement.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpE,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAiBlD;;;;;GAKG;AACH,MAAM,UAAU,2BAA2B,CACzC,WAAmB,EACnB,YAAoB;IAEpB,MAAM,KAAK,GAAG,cAAc,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,KAAK,sBAAsB,CAAC,CAAC;IACvF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,gFAAgF,CAAC,CAAC;IACpG,CAAC;IACD,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC3C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;IAClF,CAAC;IACD,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,CAAC,UAAU,EAAE;QAChD,gBAAgB,EAAE,CAAC;QACnB,cAAc,EAAE,WAAW;QAC3B,eAAe,EAAE,YAAY;KAC9B,CAAC,CAAC;IACH,MAAM,EAAE,GAAG,CAAC,IAAI,GAAG,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;IAC1C,MAAM,IAAI,GAA2B,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC;IACxF,OAAO,EAAE,KAAK,EAAE,sBAAsB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;AACrD,CAAC"}
+{"version":3,"file":"coefficient-statement.js","sourceRoot":"","sources":["../../src/bridges/coefficient-statement.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpE,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAiBlD;;;;;GAKG;AACH,MAAM,UAAU,2BAA2B,CACzC,WAAmB,EACnB,YAAoB;IAEpB,MAAM,KAAK,GAAG,cAAc,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,KAAK,sBAAsB,CAAC,CAAC;IACvF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,gFAAgF,CAAC,CAAC;IACpG,CAAC;IACD,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC3C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;IAClF,CAAC;IACD,MAAM,IAAI,GAAG,eAAe,CAC1B,QAAQ,CAAC,UAAU,EACnB,EAAE,gBAAgB,EAAE,CAAC,EAAE,cAAc,EAAE,WAAW,EAAE,eAAe,EAAE,YAAY,EAAE,EACnF,QAAQ,CAAC,OAAO,CACjB,CAAC;IACF,MAAM,EAAE,GAAG,CAAC,IAAI,GAAG,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;IAC1C,MAAM,IAAI,GAA2B,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC;IACxF,OAAO,EAAE,KAAK,EAAE,sBAAsB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;AACrD,CAAC","sourcesContent":["/**\n * Sign of the one-loop coefficient, read from the catalog expression.\n * The statement is the coefficient, not a residual against a measurement.\n *\n * @module bridges/coefficient-statement\n */\n\nimport { catalogEntries, primaryRelation } from './catalog-load.js';\nimport { evaluateFormula } from './expr-parse.js';\n\n/** Sign of the one-loop coefficient. @public */\nexport type OneLoopCoefficientSign = 'positive' | 'zero' | 'negative';\n\n/**\n * Whether b₀ is positive, zero, or negative for a stated color number and\n * flavor number. Positive is asymptotic freedom in this one-loop truncation.\n *\n * @public\n */\nexport interface OneLoopCoefficientStatement {\n  readonly label: 'one-loop coefficient';\n  readonly sign: OneLoopCoefficientSign;\n  readonly b0: number;\n}\n\n/**\n * State the sign of b₀ for the catalog row whose statement is the one-loop\n * coefficient. At unit coupling, β = −b₀ / (16π²).\n *\n * @public\n */\nexport function oneLoopCoefficientStatement(\n  colorNumber: number,\n  flavorNumber: number,\n): OneLoopCoefficientStatement {\n  const entry = catalogEntries().find((row) => row.statement === 'one-loop-coefficient');\n  if (entry === undefined) {\n    throw new Error('oneLoopCoefficientStatement: the catalog has no one-loop coefficient statement');\n  }\n  const relation = primaryRelation(entry.id);\n  if (relation === undefined) {\n    throw new Error('oneLoopCoefficientStatement: the statement has no expression');\n  }\n  const beta = evaluateFormula(\n    relation.expression,\n    { 'gauge-coupling': 1, 'color-number': colorNumber, 'flavor-number': flavorNumber },\n    relation.sources,\n  );\n  const b0 = -beta * 16 * Math.PI * Math.PI;\n  const sign: OneLoopCoefficientSign = b0 > 0 ? 'positive' : b0 < 0 ? 'negative' : 'zero';\n  return { label: 'one-loop coefficient', sign, b0 };\n}\n"]}

package/dist/bridges/confrontation-coverage.js.map

@@ -1 +1 @@
-{"version":3,"file":"confrontation-coverage.js","sourceRoot":"","sources":["../../src/bridges/confrontation-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAErD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAC7D,CAAC,GAAG,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CACjD,CAAC"}
+{"version":3,"file":"confrontation-coverage.js","sourceRoot":"","sources":["../../src/bridges/confrontation-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAErD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAC7D,CAAC,GAAG,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CACjD,CAAC","sourcesContent":["/**\n * Catalog ids with a committed real-data confrontation.\n *\n * `DATA_CONFRONTED_IDS` is a sorted projection of `CONFRONTATIONS`.\n * `composition/bridge-analysis.ts` imports it in the allowed direction.\n * The coverage audit that scans `CATALOG_GRAPH` lives in\n * `composition/audit-coverage.ts`. This file does not import `composition/`.\n *\n * @module bridges/confrontation-coverage\n */\n\nimport { CONFRONTATIONS } from './confrontations.js';\n\n/**\n * Catalog ids with a committed real-data confrontation — a SORTED\n * projection of the confrontation registry's keyset (single source of\n * truth; adding a `ConfrontationEntry` grows this set automatically).\n * Consumed by `composition/bridge-analysis.ts` for the scorecard's\n * data-confrontation flag.\n *\n * @internal\n */\nexport const DATA_CONFRONTED_IDS: ReadonlySet<number> = new Set(\n  [...CONFRONTATIONS.keys()].sort((a, b) => a - b),\n);\n"]}

package/dist/bridges/confrontations.d.ts

@@ -20,7 +20,7 @@ export declare const CONFRONTATION_RIGOR: ReadonlyMap<number, RigorTier>;
 export declare function confrontationRigor(bridgeId: number): RigorTier;
 /** Count of confrontations by rigor tier. @public */
 export declare function rigorDistribution(): Record<RigorTier, number>;
-/** Catalog id → confrontation. @public */
+/** Catalog id → confrontation. One per id: the loader refuses a second. @public */
 export declare const CONFRONTATIONS: ReadonlyMap<number, ConfrontationEntry>;
 /** Every confrontation, in catalog order. @public */
 export declare function listConfrontations(): ConfrontationEntry[];

package/dist/bridges/confrontations.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"confrontations.d.ts","sourceRoot":"","sources":["../../src/bridges/confrontations.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAGrF,4CAA4C;AAC5C,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,GAAG,IAAI,oBAAoB,CAAC;CAC7B;AAED,wCAAwC;AACxC,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,UAAU,GAAG,OAAO,CAAC;AAI3D,iEAAiE;AACjE,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAE9D,CAAC;AAEF,yFAAyF;AACzF,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAE9D;AAED,qDAAqD;AACrD,wBAAgB,iBAAiB,IAAI,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAI7D;AAED,0CAA0C;AAC1C,eAAO,MAAM,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAUlE,CAAC;AAEF,qDAAqD;AACrD,wBAAgB,kBAAkB,IAAI,kBAAkB,EAAE,CAEzD;AAED,0EAA0E;AAC1E,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,oBAAoB,GAAG,SAAS,CAEnF"}
+{"version":3,"file":"confrontations.d.ts","sourceRoot":"","sources":["../../src/bridges/confrontations.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAGrF,4CAA4C;AAC5C,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,GAAG,IAAI,oBAAoB,CAAC;CAC7B;AAED,wCAAwC;AACxC,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,UAAU,GAAG,OAAO,CAAC;AAI3D,iEAAiE;AACjE,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAE9D,CAAC;AAEF,yFAAyF;AACzF,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAE9D;AAED,qDAAqD;AACrD,wBAAgB,iBAAiB,IAAI,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAI7D;AAED,mFAAmF;AACnF,eAAO,MAAM,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAUlE,CAAC;AAEF,qDAAqD;AACrD,wBAAgB,kBAAkB,IAAI,kBAAkB,EAAE,CAEzD;AAED,0EAA0E;AAC1E,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,oBAAoB,GAAG,SAAS,CAEnF"}

package/dist/bridges/confrontations.js

@@ -19,7 +19,7 @@ export function rigorDistribution() {
         counts[tier] += 1;
     return counts;
 }
-/** Catalog id → confrontation. @public */
+/** Catalog id → confrontation. One per id: the loader refuses a second. @public */
 export const CONFRONTATIONS = new Map(ROWS.map((row) => [
     row.catalogId,
     {

package/dist/bridges/confrontations.js.map

@@ -1 +1 @@
-{"version":3,"file":"confrontations.js","sourceRoot":"","sources":["../../src/bridges/confrontations.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAa1D,MAAM,IAAI,GAAG,qBAAqB,EAAE,CAAC;AAErC,iEAAiE;AACjE,MAAM,CAAC,MAAM,mBAAmB,GAAmC,IAAI,GAAG,CACxE,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAC9C,CAAC;AAEF,yFAAyF;AACzF,MAAM,UAAU,kBAAkB,CAAC,QAAgB;IACjD,OAAO,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC;AACtD,CAAC;AAED,qDAAqD;AACrD,MAAM,UAAU,iBAAiB;IAC/B,MAAM,MAAM,GAA8B,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAClF,KAAK,MAAM,IAAI,IAAI,mBAAmB,CAAC,MAAM,EAAE;QAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,0CAA0C;AAC1C,MAAM,CAAC,MAAM,cAAc,GAA4C,IAAI,GAAG,CAC5E,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;IAChB,GAAG,CAAC,SAAS;IACb;QACE,QAAQ,EAAE,GAAG,CAAC,SAAS;QACvB,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,OAA0C;KAC1D;CACF,CAAC,CACH,CAAC;AAEF,qDAAqD;AACrD,MAAM,UAAU,kBAAkB;IAChC,OAAO,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC;AACtC,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,gBAAgB,CAAC,QAAgB;IAC/C,OAAO,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC;AAC7C,CAAC"}
+{"version":3,"file":"confrontations.js","sourceRoot":"","sources":["../../src/bridges/confrontations.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAa1D,MAAM,IAAI,GAAG,qBAAqB,EAAE,CAAC;AAErC,iEAAiE;AACjE,MAAM,CAAC,MAAM,mBAAmB,GAAmC,IAAI,GAAG,CACxE,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAC9C,CAAC;AAEF,yFAAyF;AACzF,MAAM,UAAU,kBAAkB,CAAC,QAAgB;IACjD,OAAO,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC;AACtD,CAAC;AAED,qDAAqD;AACrD,MAAM,UAAU,iBAAiB;IAC/B,MAAM,MAAM,GAA8B,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAClF,KAAK,MAAM,IAAI,IAAI,mBAAmB,CAAC,MAAM,EAAE;QAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,mFAAmF;AACnF,MAAM,CAAC,MAAM,cAAc,GAA4C,IAAI,GAAG,CAC5E,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;IAChB,GAAG,CAAC,SAAS;IACb;QACE,QAAQ,EAAE,GAAG,CAAC,SAAS;QACvB,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO;KACvB;CACF,CAAC,CACH,CAAC;AAEF,qDAAqD;AACrD,MAAM,UAAU,kBAAkB;IAChC,OAAO,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC;AACtC,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,gBAAgB,CAAC,QAAgB;IAC/C,OAAO,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC;AAC7C,CAAC","sourcesContent":["/**\n * Confrontations projected from the catalog. The outcome is the recorded\n * comparison. Residual arithmetic stays in `observations/types.ts`.\n *\n * @module bridges/confrontations\n */\n\nimport type { ConfrontationOutcome, ObservationKind } from './observations/types.js';\nimport { catalogConfrontations } from './catalog-load.js';\n\n/** One registered confrontation. @public */\nexport interface ConfrontationEntry {\n  readonly bridgeId: number;\n  readonly title: string;\n  readonly kind: ObservationKind;\n  run(): ConfrontationOutcome;\n}\n\n/** Rigor of a confrontation. @public */\nexport type RigorTier = 'stringent' | 'moderate' | 'loose';\n\nconst ROWS = catalogConfrontations();\n\n/** Author-recorded rigor, projected from the catalog. @public */\nexport const CONFRONTATION_RIGOR: ReadonlyMap<number, RigorTier> = new Map(\n  ROWS.map((row) => [row.catalogId, row.rigor]),\n);\n\n/** The rigor tier of a confronted catalog id (`loose` when none is recorded). @public */\nexport function confrontationRigor(bridgeId: number): RigorTier {\n  return CONFRONTATION_RIGOR.get(bridgeId) ?? 'loose';\n}\n\n/** Count of confrontations by rigor tier. @public */\nexport function rigorDistribution(): Record<RigorTier, number> {\n  const counts: Record<RigorTier, number> = { stringent: 0, moderate: 0, loose: 0 };\n  for (const tier of CONFRONTATION_RIGOR.values()) counts[tier] += 1;\n  return counts;\n}\n\n/** Catalog id → confrontation. One per id: the loader refuses a second. @public */\nexport const CONFRONTATIONS: ReadonlyMap<number, ConfrontationEntry> = new Map(\n  ROWS.map((row) => [\n    row.catalogId,\n    {\n      bridgeId: row.catalogId,\n      title: row.title,\n      kind: row.kind,\n      run: () => row.outcome,\n    },\n  ]),\n);\n\n/** Every confrontation, in catalog order. @public */\nexport function listConfrontations(): ConfrontationEntry[] {\n  return [...CONFRONTATIONS.values()];\n}\n\n/** Run one confrontation, or `undefined` when the id has none. @public */\nexport function runConfrontation(bridgeId: number): ConfrontationOutcome | undefined {\n  return CONFRONTATIONS.get(bridgeId)?.run();\n}\n"]}

package/dist/bridges/evaluation-errors.d.ts

@@ -44,6 +44,19 @@ export declare class NonFiniteInputError extends Error {
     /** The id evaluated, the key, and the value that was given. */
     constructor(id: string, key: string, value: number);
 }
+/**
+ * A binding names π, a registered physical constant or a formula overlay
+ * (`G`, `k_B`, `m_p`, …). A constant is never an input: the value would
+ * silently replace the constant in the formula. A relation's own declared
+ * source may carry such a name (a named default the caller overrides); any
+ * other key with that name is refused before the formula is evaluated.
+ * @public
+ */
+export declare class ConstantInputError extends Error {
+    readonly key: string;
+    /** The key that was given. */
+    constructor(key: string);
+}
 /** One input is given twice, under two of its spellings (its key, an alias, or an alternate). @public */
 export declare class DuplicateInputError extends Error {
     readonly id: string | undefined;
@@ -54,11 +67,11 @@ export declare class DuplicateInputError extends Error {
 }
 /**
  * True for an error the input contract throws: an absent, unknown, non-number,
- * non-finite or twice-given input. A caller that reports input errors one way
+ * non-finite, twice-given or constant-named input. A caller that reports input errors one way
  * and domain errors another asks this, not the message.
  * @internal
  */
-export declare function isInputContractError(error: unknown): error is MissingInputError | UnknownInputError | InputTypeError | NonFiniteInputError | DuplicateInputError;
+export declare function isInputContractError(error: unknown): error is MissingInputError | UnknownInputError | InputTypeError | NonFiniteInputError | DuplicateInputError | ConstantInputError;
 /**
  * Evaluation refused: the inputs fall outside the relation's validity domain.
  *

package/dist/bridges/evaluation-errors.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"evaluation-errors.d.ts","sourceRoot":"","sources":["../../src/bridges/evaluation-errors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,4EAA4E;AAC5E,qBAAa,iBAAkB,SAAQ,KAAK;IAGxC,QAAQ,CAAC,EAAE,EAAE,MAAM;IACnB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE;IACnC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE;IAJpC,iEAAiE;IACjE,YACW,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,MAAM,EAAE,SAAS,MAAM,EAAE,EAInC;CACF;AAID,+EAA+E;AAC/E,qBAAa,iBAAkB,SAAQ,KAAK;IAGxC,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS;IAC/B,QAAQ,CAAC,GAAG,EAAE,MAAM;IACpB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE;IAJpC,0GAA0G;IAC1G,YACW,EAAE,EAAE,MAAM,GAAG,SAAS,EACtB,GAAG,EAAE,MAAM,EACX,MAAM,EAAE,SAAS,MAAM,EAAE,EAInC;CACF;AAED,wFAAwF;AACxF,qBAAa,cAAe,SAAQ,SAAS;IAGzC,QAAQ,CAAC,EAAE,EAAE,MAAM;IACnB,QAAQ,CAAC,GAAG,EAAE,MAAM;IACpB,QAAQ,CAAC,GAAG,EAAE,MAAM;IAJtB,yEAAyE;IACzE,YACW,EAAE,EAAE,MAAM,EACV,GAAG,EAAE,MAAM,EACX,GAAG,EAAE,MAAM,EAIrB;CACF;AAED;;;;GAIG;AACH,qBAAa,mBAAoB,SAAQ,KAAK;IAG1C,QAAQ,CAAC,EAAE,EAAE,MAAM;IACnB,QAAQ,CAAC,GAAG,EAAE,MAAM;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM;IAJxB,+DAA+D;IAC/D,YACW,EAAE,EAAE,MAAM,EACV,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,MAAM,EAIvB;CACF;AAED,yGAAyG;AACzG,qBAAa,mBAAoB,SAAQ,KAAK;IAG1C,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS;IAC/B,QAAQ,CAAC,GAAG,EAAE,MAAM;IACpB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC;IAJ/C,sHAAsH;IACtH,YACW,EAAE,EAAE,MAAM,GAAG,SAAS,EACtB,GAAG,EAAE,MAAM,EACX,SAAS,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,EAQ9C;CACF;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,iBAAiB,GAAG,iBAAiB,GAAG,cAAc,GAAG,mBAAmB,GAAG,mBAAmB,CAQ7G;AAED;;;;;;;;;;GAUG;AACH,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF"}
+{"version":3,"file":"evaluation-errors.d.ts","sourceRoot":"","sources":["../../src/bridges/evaluation-errors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,4EAA4E;AAC5E,qBAAa,iBAAkB,SAAQ,KAAK;IAGxC,QAAQ,CAAC,EAAE,EAAE,MAAM;IACnB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE;IACnC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE;IAJpC,iEAAiE;IACjE,YACW,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,MAAM,EAAE,SAAS,MAAM,EAAE,EAInC;CACF;AAID,+EAA+E;AAC/E,qBAAa,iBAAkB,SAAQ,KAAK;IAGxC,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS;IAC/B,QAAQ,CAAC,GAAG,EAAE,MAAM;IACpB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE;IAJpC,0GAA0G;IAC1G,YACW,EAAE,EAAE,MAAM,GAAG,SAAS,EACtB,GAAG,EAAE,MAAM,EACX,MAAM,EAAE,SAAS,MAAM,EAAE,EAInC;CACF;AAED,wFAAwF;AACxF,qBAAa,cAAe,SAAQ,SAAS;IAGzC,QAAQ,CAAC,EAAE,EAAE,MAAM;IACnB,QAAQ,CAAC,GAAG,EAAE,MAAM;IACpB,QAAQ,CAAC,GAAG,EAAE,MAAM;IAJtB,yEAAyE;IACzE,YACW,EAAE,EAAE,MAAM,EACV,GAAG,EAAE,MAAM,EACX,GAAG,EAAE,MAAM,EAIrB;CACF;AAED;;;;GAIG;AACH,qBAAa,mBAAoB,SAAQ,KAAK;IAG1C,QAAQ,CAAC,EAAE,EAAE,MAAM;IACnB,QAAQ,CAAC,GAAG,EAAE,MAAM;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM;IAJxB,+DAA+D;IAC/D,YACW,EAAE,EAAE,MAAM,EACV,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,MAAM,EAIvB;CACF;AAED;;;;;;;GAOG;AACH,qBAAa,kBAAmB,SAAQ,KAAK;IAE/B,QAAQ,CAAC,GAAG,EAAE,MAAM;IADhC,8BAA8B;IAC9B,YAAqB,GAAG,EAAE,MAAM,EAG/B;CACF;AAED,yGAAyG;AACzG,qBAAa,mBAAoB,SAAQ,KAAK;IAG1C,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS;IAC/B,QAAQ,CAAC,GAAG,EAAE,MAAM;IACpB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC;IAJ/C,sHAAsH;IACtH,YACW,EAAE,EAAE,MAAM,GAAG,SAAS,EACtB,GAAG,EAAE,MAAM,EACX,SAAS,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,EAQ9C;CACF;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,iBAAiB,GAAG,iBAAiB,GAAG,cAAc,GAAG,mBAAmB,GAAG,mBAAmB,GAAG,kBAAkB,CASlI;AAED;;;;;;;;;;GAUG;AACH,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF"}

package/dist/bridges/evaluation-errors.js

@@ -69,6 +69,23 @@ export class NonFiniteInputError extends Error {
         this.name = 'NonFiniteInputError';
     }
 }
+/**
+ * A binding names π, a registered physical constant or a formula overlay
+ * (`G`, `k_B`, `m_p`, …). A constant is never an input: the value would
+ * silently replace the constant in the formula. A relation's own declared
+ * source may carry such a name (a named default the caller overrides); any
+ * other key with that name is refused before the formula is evaluated.
+ * @public
+ */
+export class ConstantInputError extends Error {
+    key;
+    /** The key that was given. */
+    constructor(key) {
+        super(`'${key}' names a registered constant and is not an input`);
+        this.key = key;
+        this.name = 'ConstantInputError';
+    }
+}
 /** One input is given twice, under two of its spellings (its key, an alias, or an alternate). @public */
 export class DuplicateInputError extends Error {
     id;
@@ -87,7 +104,7 @@ export class DuplicateInputError extends Error {
 }
 /**
  * True for an error the input contract throws: an absent, unknown, non-number,
- * non-finite or twice-given input. A caller that reports input errors one way
+ * non-finite, twice-given or constant-named input. A caller that reports input errors one way
  * and domain errors another asks this, not the message.
  * @internal
  */
@@ -96,7 +113,8 @@ export function isInputContractError(error) {
         error instanceof UnknownInputError ||
         error instanceof InputTypeError ||
         error instanceof NonFiniteInputError ||
-        error instanceof DuplicateInputError);
+        error instanceof DuplicateInputError ||
+        error instanceof ConstantInputError);
 }
 /**
  * Evaluation refused: the inputs fall outside the relation's validity domain.

package/dist/bridges/evaluation-errors.js.map

@@ -1 +1 @@
-{"version":3,"file":"evaluation-errors.js","sourceRoot":"","sources":["../../src/bridges/evaluation-errors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,4EAA4E;AAC5E,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IAG/B,EAAE;IACF,OAAO;IACP,MAAM;IAJjB,iEAAiE;IACjE,YACW,EAAU,EACV,OAA0B,EAC1B,MAAyB;QAElC,KAAK,CAAC,GAAG,EAAE,mBAAmB,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;kBAJ1G,EAAE;uBACF,OAAO;sBACP,MAAM;QAGf,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IAClC,CAAC;CACF;AAED,MAAM,MAAM,GAAG,CAAC,EAAsB,EAAU,EAAE,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAEvF,+EAA+E;AAC/E,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IAG/B,EAAE;IACF,GAAG;IACH,MAAM;IAJjB,0GAA0G;IAC1G,YACW,EAAsB,EACtB,GAAW,EACX,MAAyB;QAElC,KAAK,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,IAAI,GAAG,2CAA2C,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;kBAJjF,EAAE;mBACF,GAAG;sBACH,MAAM;QAGf,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IAClC,CAAC;CACF;AAED,wFAAwF;AACxF,MAAM,OAAO,cAAe,SAAQ,SAAS;IAGhC,EAAE;IACF,GAAG;IACH,GAAG;IAJd,yEAAyE;IACzE,YACW,EAAU,EACV,GAAW,EACX,GAAW;QAEpB,KAAK,CAAC,GAAG,EAAE,KAAK,GAAG,0BAA0B,GAAG,EAAE,CAAC,CAAC;kBAJ3C,EAAE;mBACF,GAAG;mBACH,GAAG;QAGZ,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAC;IAC/B,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IAGjC,EAAE;IACF,GAAG;IACH,KAAK;IAJhB,+DAA+D;IAC/D,YACW,EAAU,EACV,GAAW,EACX,KAAa;QAEtB,KAAK,CAAC,GAAG,EAAE,KAAK,GAAG,iCAAiC,KAAK,EAAE,CAAC,CAAC;kBAJpD,EAAE;mBACF,GAAG;qBACH,KAAK;QAGd,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;IACpC,CAAC;CACF;AAED,yGAAyG;AACzG,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IAGjC,EAAE;IACF,GAAG;IACH,SAAS;IAJpB,sHAAsH;IACtH,YACW,EAAsB,EACtB,GAAW,EACX,SAAoC;QAE7C,KAAK,CACH,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC;YAC3B,CAAC,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,IAAI,GAAG,kBAAkB;YACxC,CAAC,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,IAAI,GAAG,iDAAiD,SAAS,CAAC,CAAC,CAAC,QAAQ,SAAS,CAAC,CAAC,CAAC,EAAE,CAC5G,CAAC;kBARO,EAAE;mBACF,GAAG;yBACH,SAAS;QAOlB,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;IACpC,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAc;IAEd,OAAO,CACL,KAAK,YAAY,iBAAiB;QAClC,KAAK,YAAY,iBAAiB;QAClC,KAAK,YAAY,cAAc;QAC/B,KAAK,YAAY,mBAAmB;QACpC,KAAK,YAAY,mBAAmB,CACrC,CAAC;AACJ,CAAC;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"}
+{"version":3,"file":"evaluation-errors.js","sourceRoot":"","sources":["../../src/bridges/evaluation-errors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,4EAA4E;AAC5E,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IAG/B,EAAE;IACF,OAAO;IACP,MAAM;IAJjB,iEAAiE;IACjE,YACW,EAAU,EACV,OAA0B,EAC1B,MAAyB;QAElC,KAAK,CAAC,GAAG,EAAE,mBAAmB,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;kBAJ1G,EAAE;uBACF,OAAO;sBACP,MAAM;QAGf,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IAClC,CAAC;CACF;AAED,MAAM,MAAM,GAAG,CAAC,EAAsB,EAAU,EAAE,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAEvF,+EAA+E;AAC/E,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IAG/B,EAAE;IACF,GAAG;IACH,MAAM;IAJjB,0GAA0G;IAC1G,YACW,EAAsB,EACtB,GAAW,EACX,MAAyB;QAElC,KAAK,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,IAAI,GAAG,2CAA2C,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;kBAJjF,EAAE;mBACF,GAAG;sBACH,MAAM;QAGf,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IAClC,CAAC;CACF;AAED,wFAAwF;AACxF,MAAM,OAAO,cAAe,SAAQ,SAAS;IAGhC,EAAE;IACF,GAAG;IACH,GAAG;IAJd,yEAAyE;IACzE,YACW,EAAU,EACV,GAAW,EACX,GAAW;QAEpB,KAAK,CAAC,GAAG,EAAE,KAAK,GAAG,0BAA0B,GAAG,EAAE,CAAC,CAAC;kBAJ3C,EAAE;mBACF,GAAG;mBACH,GAAG;QAGZ,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAC;IAC/B,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IAGjC,EAAE;IACF,GAAG;IACH,KAAK;IAJhB,+DAA+D;IAC/D,YACW,EAAU,EACV,GAAW,EACX,KAAa;QAEtB,KAAK,CAAC,GAAG,EAAE,KAAK,GAAG,iCAAiC,KAAK,EAAE,CAAC,CAAC;kBAJpD,EAAE;mBACF,GAAG;qBACH,KAAK;QAGd,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;IACpC,CAAC;CACF;AAED;;;;;;;GAOG;AACH,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IAEtB,GAAG;IADxB,8BAA8B;IAC9B,YAAqB,GAAW;QAC9B,KAAK,CAAC,IAAI,GAAG,mDAAmD,CAAC,CAAC;mBAD/C,GAAG;QAEtB,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACnC,CAAC;CACF;AAED,yGAAyG;AACzG,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IAGjC,EAAE;IACF,GAAG;IACH,SAAS;IAJpB,sHAAsH;IACtH,YACW,EAAsB,EACtB,GAAW,EACX,SAAoC;QAE7C,KAAK,CACH,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC;YAC3B,CAAC,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,IAAI,GAAG,kBAAkB;YACxC,CAAC,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,IAAI,GAAG,iDAAiD,SAAS,CAAC,CAAC,CAAC,QAAQ,SAAS,CAAC,CAAC,CAAC,EAAE,CAC5G,CAAC;kBARO,EAAE;mBACF,GAAG;yBACH,SAAS;QAOlB,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;IACpC,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAc;IAEd,OAAO,CACL,KAAK,YAAY,iBAAiB;QAClC,KAAK,YAAY,iBAAiB;QAClC,KAAK,YAAY,cAAc;QAC/B,KAAK,YAAY,mBAAmB;QACpC,KAAK,YAAY,mBAAmB;QACpC,KAAK,YAAY,kBAAkB,CACpC,CAAC;AACJ,CAAC;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","sourcesContent":["/**\n * The errors one evaluation throws, in the order it checks: the bindings\n * against the declared inputs first (an unknown key, a non-number, a number\n * that is not finite, a key given twice, an absent input), then the validity\n * domain. An input error says what the caller left out or misspelled; a\n * domain error says the physics refuses the values. The library throws these classes so a caller can tell them\n * apart by type, never by message text.\n *\n * @module bridges/evaluation-errors\n */\n\n/** A required input is absent. It is not a physically bad value. @public */\nexport class MissingInputError extends Error {\n  /** The id evaluated, the absent keys, and every declared key. */\n  constructor(\n    readonly id: string,\n    readonly missing: readonly string[],\n    readonly inputs: readonly string[],\n  ) {\n    super(`${id}: missing input ${missing.map((key) => `'${key}'`).join(', ')}; the inputs are: ${inputs.join(', ')}`);\n    this.name = 'MissingInputError';\n  }\n}\n\nconst prefix = (id: string | undefined): string => (id === undefined ? '' : `${id}: `);\n\n/** A binding names no declared input, alias or alternate of the id. @public */\nexport class UnknownInputError extends Error {\n  /** The id evaluated (absent when the reader was not told it), the unknown key, and every declared key. */\n  constructor(\n    readonly id: string | undefined,\n    readonly key: string,\n    readonly inputs: readonly string[],\n  ) {\n    super(`${prefix(id)}'${key}' is not an input here; the inputs are: ${inputs.join(', ')}`);\n    this.name = 'UnknownInputError';\n  }\n}\n\n/** A binding's value is not a number. A `TypeError`, as before it was typed. @public */\nexport class InputTypeError extends TypeError {\n  /** The id evaluated, the key, and the JavaScript type that was given. */\n  constructor(\n    readonly id: string,\n    readonly key: string,\n    readonly got: string,\n  ) {\n    super(`${id}: ${key} must be a number, got ${got}`);\n    this.name = 'InputTypeError';\n  }\n}\n\n/**\n * A binding's value is a number that is not finite (`NaN`, `Infinity`,\n * `-Infinity`). It is refused before the domain, so a validity predicate never\n * sees it and a closed form never turns it into an unset result. @public\n */\nexport class NonFiniteInputError extends Error {\n  /** The id evaluated, the key, and the value that was given. */\n  constructor(\n    readonly id: string,\n    readonly key: string,\n    readonly value: number,\n  ) {\n    super(`${id}: ${key} must be a finite number, got ${value}`);\n    this.name = 'NonFiniteInputError';\n  }\n}\n\n/**\n * A binding names π, a registered physical constant or a formula overlay\n * (`G`, `k_B`, `m_p`, …). A constant is never an input: the value would\n * silently replace the constant in the formula. A relation's own declared\n * source may carry such a name (a named default the caller overrides); any\n * other key with that name is refused before the formula is evaluated.\n * @public\n */\nexport class ConstantInputError extends Error {\n  /** The key that was given. */\n  constructor(readonly key: string) {\n    super(`'${key}' names a registered constant and is not an input`);\n    this.name = 'ConstantInputError';\n  }\n}\n\n/** One input is given twice, under two of its spellings (its key, an alias, or an alternate). @public */\nexport class DuplicateInputError extends Error {\n  /** The id evaluated (absent when the reader was not told it), the input, and the two spellings it was given under. */\n  constructor(\n    readonly id: string | undefined,\n    readonly key: string,\n    readonly spellings: readonly [string, string],\n  ) {\n    super(\n      spellings[0] === spellings[1]\n        ? `${prefix(id)}'${key}' is given twice`\n        : `${prefix(id)}'${key}' is given twice (once through an alternate): ${spellings[0]} and ${spellings[1]}`,\n    );\n    this.name = 'DuplicateInputError';\n  }\n}\n\n/**\n * True for an error the input contract throws: an absent, unknown, non-number,\n * non-finite, twice-given or constant-named input. A caller that reports input errors one way\n * and domain errors another asks this, not the message.\n * @internal\n */\nexport function isInputContractError(\n  error: unknown,\n): error is MissingInputError | UnknownInputError | InputTypeError | NonFiniteInputError | DuplicateInputError | ConstantInputError {\n  return (\n    error instanceof MissingInputError ||\n    error instanceof UnknownInputError ||\n    error instanceof InputTypeError ||\n    error instanceof NonFiniteInputError ||\n    error instanceof DuplicateInputError ||\n    error instanceof ConstantInputError\n  );\n}\n\n/**\n * Evaluation refused: the inputs fall outside the relation's validity domain.\n *\n * Honest deviation from design D-3's \"domain-incompatible at compose\n * time\": domain predicates are opaque functions, so incompatibility is\n * detectable only at evaluation. This error is thrown by `evaluateEdge`, by\n * a catalog evaluator, and by composed edges internally, not by\n * `composeEdges`.\n *\n * @public\n */\nexport class DomainViolationError extends Error {\n  constructor(message: string) {\n    super(message);\n    this.name = 'DomainViolationError';\n  }\n}\n"]}

package/dist/bridges/evaluator-inputs.js.map

@@ -1 +1 @@
-{"version":3,"file":"evaluator-inputs.js","sourceRoot":"","sources":["../../src/bridges/evaluator-inputs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,SAAS,EAA2B,MAAM,yBAAyB,CAAC;AACrH,OAAO,EACL,mBAAmB,EACnB,YAAY,EACZ,mBAAmB,EACnB,uBAAuB,GACxB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,gBAAgB,EAA4B,MAAM,+BAA+B,CAAC;AAE3F,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAahF,mEAAmE;AACnE,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC;AAE9D,+DAA+D;AAC/D,SAAS,SAAS,CAAC,KAAa;IAC9B,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACzC,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAC5D,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAoB,EAAE;IAC/C,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,EAAE,IAAI,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IAC5E,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;AAC3C,CAAC,CAAC;AAEF,SAAS,OAAO,CACd,CAAqB,EACrB,GAAW,EACX,OAA2B,EAC3B,QAAwC,EACxC,SAAiB;IAEjB,MAAM,IAAI,GAAG,gBAAgB,CAAC,SAAS,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3F,IAAI,CAAC,IAAI,CAAC,WAAW;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IACpD,+FAA+F;IAC/F,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC;IAChG,4GAA4G;IAC5G,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,SAAS,CAAC,IAAI,GAAG,CAAC,IAAI,EAAE,gFAAgF,CAAC,CAAC;IACtH,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC;IAC7E,MAAM,SAAS,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,oBAAoB,KAAK,GAAG,CAAC;IACpG,MAAM,IAAI,GAAG,GAAG,GAAG,CAAC,IAAI,EAAE,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,iBAAiB,GAAG,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;IACnH,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC;AACzG,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CACpC,UAAyC,EACzC,IAAuB,EACvB,EAAW;IAEX,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC5F,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7D,MAAM,QAAQ,GAA0B,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACvD,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;QACjC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IACH,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC;QACvF,MAAM,OAAO,GAAG,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC/G,MAAM,UAAU,GAAG,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,OAAO,CAAC,CAAC;QAC5F,MAAM,CAAC,GAAG,MAAM,IAAI,MAAM,IAAI,UAAU,CAAC;QACzC,IAAI,CAAC,KAAK,SAAS;YAAE,MAAM,IAAI,iBAAiB,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;QACjE,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,uBAAuB,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC;QAChH,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;QAC/C,MAAM,GAAG,GAAG,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,UAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACjH,MAAM,KAAK,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;QAChE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC;YAC/C,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;YAChC,MAAM,aAAa,GACjB,KAAK,KAAK,SAAS,IAAI,WAAW,KAAK,GAAG,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YACnG,IAAI,aAAa,IAAI,OAAO,CAAC,KAAK,KAAK,KAAK;gBAAE,SAAS;YACvD,IAAI,aAAa,EAAE,CAAC;gBAClB,MAAM,mBAAmB,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAE,CAAC;YACjG,CAAC;YACD,MAAM,IAAI,mBAAmB,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC;QAC/D,CAAC;QACD,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QACtB,QAAQ,CAAC,IAAI,CAAC;YACZ,GAAG,EAAE,CAAC,CAAC,GAAG;YACV,KAAK;YACL,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,KAAK,EAAE,GAAG;YACV,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACtE,GAAG,CAAC,GAAG,KAAK,SAAS;gBACnB,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,GAAG,IAAI,GAAG,CAAC,IAAI,EAAE,OAAO,GAAG,CAAC,OAAO,KAAK,CAAC,CAAC,GAAG,MAAM,GAAG,CAAC,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;gBAC3H,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS;oBACpB,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;SACxB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC"}
+{"version":3,"file":"evaluator-inputs.js","sourceRoot":"","sources":["../../src/bridges/evaluator-inputs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,SAAS,EAA2B,MAAM,yBAAyB,CAAC;AACrH,OAAO,EACL,mBAAmB,EACnB,YAAY,EACZ,mBAAmB,EACnB,uBAAuB,GACxB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,gBAAgB,EAA4B,MAAM,+BAA+B,CAAC;AAE3F,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAahF,mEAAmE;AACnE,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC;AAE9D,+DAA+D;AAC/D,SAAS,SAAS,CAAC,KAAa;IAC9B,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACzC,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAC5D,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAoB,EAAE;IAC/C,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,EAAE,IAAI,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IAC5E,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;AAC3C,CAAC,CAAC;AAEF,SAAS,OAAO,CACd,CAAqB,EACrB,GAAW,EACX,OAA2B,EAC3B,QAAwC,EACxC,SAAiB;IAEjB,MAAM,IAAI,GAAG,gBAAgB,CAAC,SAAS,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3F,IAAI,CAAC,IAAI,CAAC,WAAW;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IACpD,+FAA+F;IAC/F,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC;IAChG,4GAA4G;IAC5G,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,SAAS,CAAC,IAAI,GAAG,CAAC,IAAI,EAAE,gFAAgF,CAAC,CAAC;IACtH,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC;IAC7E,MAAM,SAAS,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,oBAAoB,KAAK,GAAG,CAAC;IACpG,MAAM,IAAI,GAAG,GAAG,GAAG,CAAC,IAAI,EAAE,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,iBAAiB,GAAG,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;IACnH,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC;AACzG,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CACpC,UAAyC,EACzC,IAAuB,EACvB,EAAW;IAEX,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC5F,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7D,MAAM,QAAQ,GAA0B,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACvD,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;QACjC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IACH,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC;QACvF,MAAM,OAAO,GAAG,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC/G,MAAM,UAAU,GAAG,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,OAAO,CAAC,CAAC;QAC5F,MAAM,CAAC,GAAG,MAAM,IAAI,MAAM,IAAI,UAAU,CAAC;QACzC,IAAI,CAAC,KAAK,SAAS;YAAE,MAAM,IAAI,iBAAiB,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;QACjE,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,uBAAuB,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC;QAChH,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;QAC/C,MAAM,GAAG,GAAG,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,UAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACjH,MAAM,KAAK,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;QAChE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC;YAC/C,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;YAChC,MAAM,aAAa,GACjB,KAAK,KAAK,SAAS,IAAI,WAAW,KAAK,GAAG,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YACnG,IAAI,aAAa,IAAI,OAAO,CAAC,KAAK,KAAK,KAAK;gBAAE,SAAS;YACvD,IAAI,aAAa,EAAE,CAAC;gBAClB,MAAM,mBAAmB,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAE,CAAC;YACjG,CAAC;YACD,MAAM,IAAI,mBAAmB,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC;QAC/D,CAAC;QACD,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QACtB,QAAQ,CAAC,IAAI,CAAC;YACZ,GAAG,EAAE,CAAC,CAAC,GAAG;YACV,KAAK;YACL,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,KAAK,EAAE,GAAG;YACV,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACtE,GAAG,CAAC,GAAG,KAAK,SAAS;gBACnB,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,GAAG,IAAI,GAAG,CAAC,IAAI,EAAE,OAAO,GAAG,CAAC,OAAO,KAAK,CAAC,CAAC,GAAG,MAAM,GAAG,CAAC,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;gBAC3H,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS;oBACpB,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;SACxB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC","sourcesContent":["/**\n * `key=value[unit]` arguments → an evaluator's numeric inputs, through the\n * evaluator's declared parameters.\n *\n * Every argument must name a declared input or a declared alternate: an\n * unrecognised key is refused rather than ignored, because an ignored\n * `radius_m=` beside a required `diameter_m` is exactly the silent mistake the\n * declarations exist to catch. A value may carry a unit; it is converted into\n * the declared unit only when the dimensions agree.\n *\n * @module bridges/evaluator-inputs\n */\nimport { affineReadingNote, unitConventionNotes, UnitError, type TemperatureReading } from '../dimensional/units.js';\nimport {\n  resolveQuantityName,\n  synonymGroup,\n  synonymDisagreement,\n  temperatureQuantityRole,\n} from '../dimensional/formula-names.js';\nimport { readNamedBinding, type NamedBindingSibling } from '../numerical/binding-value.js';\nimport type { EvaluatorParameter } from './evaluators.js';\nimport { DuplicateInputError, UnknownInputError } from './evaluation-errors.js';\n\n/** One input as it was given and as the evaluator receives it. @internal */\nexport interface ResolvedInput {\n  readonly key: string;\n  readonly value: number;\n  readonly unit: string;\n  readonly given: string;\n  /** The alternate key it was given under, when it was. */\n  readonly via?: string;\n  readonly note?: string;\n}\n\n/** 15 significant digits: the value itself is passed unrounded. */\nconst show = (v: number): number => Number(v.toPrecision(15));\n\n/** Disclosures that a unit symbol does not carry by itself. */\nfunction unitAside(given: string): string {\n  const notes = unitConventionNotes(given);\n  return notes.length === 0 ? '' : ` — ${notes.join('; ')}`;\n}\n\nconst splitArg = (a: string): [string, string] => {\n  const eq = a.indexOf('=');\n  if (eq <= 0) throw new UnitError(`'${a}' must be key=value (e.g. d_m=1um)`);\n  return [a.slice(0, eq), a.slice(eq + 1)];\n};\n\nfunction convert(\n  p: EvaluatorParameter,\n  raw: string,\n  reading: TemperatureReading,\n  siblings: readonly NamedBindingSibling[],\n  givenName: string,\n): { value: number; note?: string } {\n  const read = readNamedBinding(givenName, raw, { reading, siblings, declaredUnit: p.unit });\n  if (!read.dimensioned) return { value: read.value };\n  // How an affine reading was applied comes from the unit table's own row (scale and ice point).\n  const offset = read.affine === undefined ? '' : ` (${affineReadingNote(read.affine, reading)})`;\n  // An angular input counts radians; a cycle-counting unit (the `cycles` flag on its row) takes 2π per cycle.\n  const turns = p.angular === true ? read.cycles : 0;\n  if (Number.isNaN(turns)) {\n    throw new UnitError(`'${raw.trim()}' adds a cycle rate to a plain rate, so its radians per second are not defined`);\n  }\n  const value = turns === 0 ? read.value : read.value * (2 * Math.PI) ** turns;\n  const turnsNote = turns === 0 ? '' : turns === 1 ? ' (cycles: × 2π)' : ` (cycles: × (2π)^${turns})`;\n  const base = `${raw.trim()} → ${show(value)} ${p.unit || '(dimensionless)'}${offset}${turnsNote}${unitAside(raw)}`;\n  return { value, note: read.temperatureNote === undefined ? base : `${base}. ${read.temperatureNote}` };\n}\n\n/**\n * Resolve `args` against `parameters`. `id` names the evaluated id in an input error.\n * @throws UnknownInputError on an unknown key.\n * @throws DuplicateInputError on an input given twice.\n * @throws UnitError on a unit that does not fit.\n * @internal\n */\nexport function resolveEvaluatorInputs(\n  parameters: readonly EvaluatorParameter[],\n  args: readonly string[],\n  id?: string,\n): { inputs: Record<string, number>; resolved: ResolvedInput[] } {\n  const inputs: Record<string, number> = {};\n  const resolved: ResolvedInput[] = [];\n  const known = parameters.flatMap((p) => [p.key, ...(p.alternates ?? []).map((a) => a.key)]);\n  const parameterNames = new Set(parameters.map((p) => p.key));\n  const siblings: NamedBindingSibling[] = args.map((arg) => {\n    const [key, raw] = splitArg(arg);\n    return { name: key, raw };\n  });\n  for (const arg of args) {\n    const [key, raw] = splitArg(arg);\n    const direct = parameters.find((p) => p.key === key);\n    const viaAlt = parameters.find((p) => (p.alternates ?? []).some((a) => a.key === key));\n    const viaName = direct === undefined && viaAlt === undefined ? resolveQuantityName(key, parameterNames) : null;\n    const viaSynonym = viaName === null ? undefined : parameters.find((p) => p.key === viaName);\n    const p = direct ?? viaAlt ?? viaSynonym;\n    if (p === undefined) throw new UnknownInputError(id, key, known);\n    const earlier = resolved.find((r) => r.key === p.key);\n    const role = temperatureQuantityRole(p.quantity) === 'difference' ? 'difference' : temperatureQuantityRole(key);\n    const c = convert(p, raw, role, siblings, key);\n    const alt = direct === undefined && viaAlt !== undefined ? p.alternates!.find((a) => a.key === key)! : undefined;\n    const value = alt === undefined ? c.value : c.value * alt.toKey;\n    if (earlier !== undefined) {\n      const earlierName = earlier.via ?? earlier.key;\n      const group = synonymGroup(key);\n      const synonymRepeat =\n        group !== undefined && earlierName !== key && group.includes(earlierName) && group.includes(key);\n      if (synonymRepeat && earlier.value === value) continue;\n      if (synonymRepeat) {\n        throw synonymDisagreement([earlierName, key], { [earlierName]: earlier.value, [key]: value })!;\n      }\n      throw new DuplicateInputError(id, p.key, [earlierName, key]);\n    }\n    inputs[p.key] = value;\n    resolved.push({\n      key: p.key,\n      value,\n      unit: p.unit,\n      given: raw,\n      ...(alt !== undefined || viaSynonym !== undefined ? { via: key } : {}),\n      ...(alt !== undefined\n        ? { note: `${key}=${raw.trim()} is ${alt.meaning}; ${p.key} = ${alt.toKey} × ${show(c.value)} = ${show(value)} ${p.unit}` }\n        : c.note === undefined\n          ? {}\n          : { note: c.note }),\n    });\n  }\n  return { inputs, resolved };\n}\n"]}

package/dist/bridges/evaluators.d.ts

@@ -9,7 +9,7 @@
  *
  * @module bridges/evaluators
  */
-import type { CatalogEvaluatorOutput } from './catalog-types.js';
+import type { CatalogEvaluator, CatalogEvaluatorOutput } from './catalog-types.js';
 import { type EvaluationWant, type InputContract } from './input-contract.js';
 /** How a length input is read: radius, diameter, separation, impact parameter, or semi-major axis. @public */
 export type GeometryRole = 'radius' | 'diameter' | 'separation' | 'impact-parameter' | 'semi-major-axis';
@@ -33,6 +33,7 @@ export interface EvaluatorParameter {
     /** An angular frequency in rad/s. A cycle unit (Hz, rpm) given to it is multiplied by 2π. */
     readonly angular?: true;
     readonly alternates?: readonly ParameterAlternate[];
+    /** Derived: the parameter binds no relation source, so only an extra output reads it. */
     readonly optional?: true;
 }
 /** A callable bridge evaluator with its input contract. @public */
@@ -60,9 +61,23 @@ export interface EvaluatorSpec {
  * the value, so a caller who varies one sees no effect.
  */
 export declare function unusedInputKeys(spec: EvaluatorSpec): string[];
+/**
+ * The spec of one catalog evaluator row. A parameter that binds no relation
+ * source is read only by an extra output and is optional: the output is left
+ * out when it is not given. An output expression reads the scope by
+ * parameter key, so a key that names a registered constant (be-66's
+ * reflectance `R`) may bind the relation's source but may not be read by an
+ * output: building the spec refuses it.
+ * @internal
+ */
+export declare function buildEvaluatorSpec(row: CatalogEvaluator): EvaluatorSpec;
 /** Bridge id → evaluator. @internal */
 export declare const BRIDGE_EVALUATORS: ReadonlyMap<number, EvaluatorSpec>;
-/** What to say when an id is not in {@link BRIDGE_EVALUATORS}. @internal */
+/**
+ * What to say when an id is not in {@link BRIDGE_EVALUATORS}: an id outside
+ * the catalog and a catalog row with no evaluator are two different facts.
+ * @internal
+ */
 export declare function missingEvaluatorMessage(bridgeId: number): string;
 /**
  * Evaluate a catalog id with a numeric input record: the evaluator's `run`,

package/dist/bridges/evaluators.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"evaluators.d.ts","sourceRoot":"","sources":["../../src/bridges/evaluators.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAKH,OAAO,KAAK,EAAE,sBAAsB,EAA8C,MAAM,oBAAoB,CAAC;AAK7G,OAAO,EAA8B,KAAK,cAAc,EAAE,KAAK,aAAa,EAAkB,MAAM,qBAAqB,CAAC;AAE1H,8GAA8G;AAC9G,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,UAAU,GAAG,YAAY,GAAG,kBAAkB,GAAG,iBAAiB,CAAC;AAEzG,mEAAmE;AACnE,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,+CAA+C;AAC/C,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,WAAW,CAAC,EAAE,UAAU,CAAC;IAClC,yFAAyF;IACzF,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,GAAG,aAAa,GAAG,KAAK,CAAC;IACnD,6FAA6F;IAC7F,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACpD,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;CAC1B;AAED,mEAAmE;AACnE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACnD,qEAAqE;IACrE,QAAQ,CAAC,OAAO,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACpD,gGAAgG;IAChG,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC;;;;;;OAMG;IACH,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9F;AAoCD;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,aAAa,GAAG,MAAM,EAAE,CAc7D;AA8GD,uCAAuC;AACvC,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAKhE,CAAC;AAEF,4EAA4E;AAC5E,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAEhE;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GACvC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAIxB"}
+{"version":3,"file":"evaluators.d.ts","sourceRoot":"","sources":["../../src/bridges/evaluators.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAIH,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAA8C,MAAM,oBAAoB,CAAC;AAK/H,OAAO,EAA8B,KAAK,cAAc,EAAE,KAAK,aAAa,EAAkB,MAAM,qBAAqB,CAAC;AAE1H,8GAA8G;AAC9G,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,UAAU,GAAG,YAAY,GAAG,kBAAkB,GAAG,iBAAiB,CAAC;AAEzG,mEAAmE;AACnE,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,+CAA+C;AAC/C,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,WAAW,CAAC,EAAE,UAAU,CAAC;IAClC,yFAAyF;IACzF,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,GAAG,aAAa,GAAG,KAAK,CAAC;IACnD,6FAA6F;IAC7F,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACpD,yFAAyF;IACzF,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;CAC1B;AAED,mEAAmE;AACnE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACnD,qEAAqE;IACrE,QAAQ,CAAC,OAAO,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACpD,gGAAgG;IAChG,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC;;;;;;OAMG;IACH,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9F;AAoCD;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,aAAa,GAAG,MAAM,EAAE,CAc7D;AAsED;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,gBAAgB,GAAG,aAAa,CAKvE;AAsDD,uCAAuC;AACvC,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAEhE,CAAC;AAEF;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAOhE;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GACvC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAIxB"}

package/dist/bridges/evaluators.js

@@ -10,13 +10,12 @@
  * @module bridges/evaluators
  */
 import { FORMULA_NAMED } from '../dimensional/formula-names.js';
-import { primaryRelation } from './catalog-load.js';
-import { catalogEvaluators } from './catalog-load.js';
-import { evaluateFormula, formulaVariables, parseCatalogExpression } from './expr-parse.js';
+import { catalogEntries, catalogEntry, catalogEvaluators, primaryRelation } from './catalog-load.js';
+import { evaluateFormula, formulaVariables, parseCatalogExpression, reservedFormulaNames } from './expr-parse.js';
 import { evaluateCatalogRelation, relationHolds } from './relation-eval.js';
 import { DomainViolationError } from './evaluation-errors.js';
 import { checkInputs, inputContract } from './input-contract.js';
-function toParameter(row) {
+function toParameter(row, optional) {
     return {
         key: row.key,
         quantity: row.quantity,
@@ -28,7 +27,7 @@ function toParameter(row) {
         ...(row.sign !== undefined ? { sign: row.sign } : {}),
         ...(row.angular === true ? { angular: true } : {}),
         ...(row.alternates !== undefined ? { alternates: row.alternates } : {}),
-        ...(row.optional === true ? { optional: true } : {}),
+        ...(optional ? { optional: true } : {}),
     };
 }
 const NAMED_DEFAULT = new Map(FORMULA_NAMED.map((named) => [named.name, named.value]));
@@ -140,11 +139,39 @@ function bindRelationInputs(relation, parameters, inputs) {
     }
     return bound;
 }
+/**
+ * The spec of one catalog evaluator row. A parameter that binds no relation
+ * source is read only by an extra output and is optional: the output is left
+ * out when it is not given. An output expression reads the scope by
+ * parameter key, so a key that names a registered constant (be-66's
+ * reflectance `R`) may bind the relation's source but may not be read by an
+ * output: building the spec refuses it.
+ * @internal
+ */
+export function buildEvaluatorSpec(row) {
+    const relation = primaryRelation(row.catalogId);
+    if (relation === undefined)
+        throw new Error(missingEvaluatorMessage(row.catalogId));
+    const parameters = row.parameters.map((p) => toParameter(p, sourceOfParameter(relation, p) === undefined));
+    return buildSpec(row.catalogId, row.name, parameters, row.outputs ?? []);
+}
 function buildSpec(catalogId, name, parameters, outputs) {
     const relation = primaryRelation(catalogId);
     if (relation === undefined)
         throw new Error(missingEvaluatorMessage(catalogId));
     const contract = evaluatorContract(catalogId, relation, parameters);
+    const keys = parameters.map((parameter) => parameter.key);
+    const reserved = reservedFormulaNames();
+    for (const output of outputs) {
+        const shadowed = formulaVariables(output.expression).find((name) => reserved.has(name) && keys.includes(name));
+        if (shadowed !== undefined) {
+            throw new Error(`be-${catalogId}: output '${output.name}' reads '${shadowed}', which names a registered constant`);
+        }
+    }
+    // An output reads the parameter keys and `value`; a key that shadows a constant is refused above.
+    const outputScope = [...keys, 'value'];
+    // An output is computed when every parameter key it reads was given.
+    const reads = outputs.map((output) => formulaVariables(output.expression).filter((name) => keys.includes(name)));
     return {
         bridgeId: catalogId,
         name,
@@ -168,23 +195,29 @@ function buildSpec(catalogId, name, parameters, outputs) {
             const result = { value };
             if (want === 'value')
                 return result;
-            for (const output of outputs) {
-                if ((output.requires ?? []).some((key) => given[key] === undefined))
-                    continue;
-                result[output.name] = evaluateFormula(output.expression, { ...given, value });
-            }
+            outputs.forEach((output, i) => {
+                if (reads[i].some((key) => given[key] === undefined))
+                    return;
+                result[output.name] = evaluateFormula(output.expression, { ...given, value }, outputScope);
+            });
             return result;
         },
     };
 }
 /** Bridge id → evaluator. @internal */
-export const BRIDGE_EVALUATORS = new Map(catalogEvaluators().map((row) => {
-    const parameters = row.parameters.map(toParameter);
-    return [row.catalogId, buildSpec(row.catalogId, row.name, parameters, row.outputs ?? [])];
-}));
-/** What to say when an id is not in {@link BRIDGE_EVALUATORS}. @internal */
+export const BRIDGE_EVALUATORS = new Map(catalogEvaluators().map((row) => [row.catalogId, buildEvaluatorSpec(row)]));
+/**
+ * What to say when an id is not in {@link BRIDGE_EVALUATORS}: an id outside
+ * the catalog and a catalog row with no evaluator are two different facts.
+ * @internal
+ */
 export function missingEvaluatorMessage(bridgeId) {
-    return `evaluateBridge: catalog id ${bridgeId} has no evaluator`;
+    const entry = catalogEntry(bridgeId);
+    if (entry === undefined) {
+        const ids = catalogEntries().map((e) => e.id);
+        return `be-${bridgeId} is not a catalog id (the catalog holds be-${Math.min(...ids)} to be-${Math.max(...ids)})`;
+    }
+    return `be-${bridgeId} (${entry.name}) has no evaluator; \`upt atlas be-${bridgeId}\` prints its record, and \`upt evaluate\` with no id lists the evaluable ids`;
 }
 /**
  * Evaluate a catalog id with a numeric input record: the evaluator's `run`,