universal-physics-tensor 8.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,19 +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;
     /**
@@ -56,15 +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 named evaluation notice. The text lives with the notice, not with an id switch. */
-    readonly notice?: string;
-    /** A generic numerical method this record calls. Never a bridge number. */
-    readonly method?: string;
+    /** A caveat the record states beside its value. The text is the record's; nothing switches on it. */
+    readonly notice?: {
+        readonly text: string;
+    };
 }
 /** One named input of a catalog evaluator. */
 export interface CatalogEvaluatorParameter {
@@ -75,32 +70,81 @@ export interface CatalogEvaluatorParameter {
     readonly meaning: string;
     readonly geometry?: 'radius' | 'diameter' | 'separation' | 'impact-parameter' | 'semi-major-axis';
     readonly temperature?: 'absolute';
+    /**
+     * The sign this input must have. `positive` is `> 0`, `nonnegative` is `>= 0`,
+     * and `any` states that the quantity is signed and overrides the temperature
+     * rule. An absolute temperature is `nonnegative` when no sign is stated.
+     */
+    readonly sign?: 'positive' | 'nonnegative' | 'any';
+    /** An angular frequency in rad/s. A cycle unit (Hz, rpm) given to it is multiplied by 2π. */
+    readonly angular?: true;
     readonly alternates?: readonly {
         readonly key: string;
         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`. It is computed
+ * when every parameter key it reads was given; a parameter only an output
+ * reads is optional.
+ *
+ * @public
+ */
+export interface CatalogEvaluatorOutput {
+    /** The result key, with its unit as a suffix (`E_F_J`). */
+    readonly name: string;
+    readonly unit: string;
+    readonly meaning: string;
+    readonly expression: string;
 }
 /** The input contract of one catalog evaluator. */
 export interface CatalogEvaluator {
     readonly catalogId: number;
     readonly name: string;
     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;
@@ -108,12 +152,37 @@ export interface CatalogFile {
     readonly relations: readonly CatalogRelation[];
     readonly evaluators: readonly CatalogEvaluator[];
     readonly confrontations: readonly CatalogConfrontation[];
-    readonly adjudications: readonly {
-        readonly id: string;
-        readonly verdict: string;
-    }[];
+    /** 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).
+ * - `entailed` — real physics already carried by the L-layer; not a new link.
+ * - `decoy`    — dimensional coincidence / no mechanism, including trivial and definitional identifications.
+ * - `deferred` — reviewed and consciously parked (not the same as absent, which means never reviewed).
+ */
+export type AdjudicationVerdict = 'genuine' | 'decoy' | 'entailed' | 'deferred';
+/** One record of the adjudication ledger in `data/bridge-catalog.json`. */
+export interface CatalogAdjudication {
+    /** `candidateId(a, b)` of the identification: the two slugs in sorted order, joined by `~`. */
+    readonly id: string;
+    readonly verdict: AdjudicationVerdict;
+    /** Why, condensed from the adjudication document; never machine-generated. */
+    readonly grounds: string;
+    /** Repo-relative path of the adjudication document. */
+    readonly source: string;
+    /** ISO date the verdict was recorded. */
+    readonly date: string;
+}
 /** Lifecycle status of a catalog row. */
 export type { BridgeEquationStatus };
 //# sourceMappingURL=catalog-types.d.ts.map

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,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,wFAAwF;IACxF,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,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,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,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;CAC3D;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,QAAQ,CAAC,aAAa,EAAE,SAAS;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACrF,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;CAC5E;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

@@ -0,0 +1,89 @@
+/**
+ * The errors one evaluation throws, in the order it checks: the bindings
+ * against the declared inputs first (an unknown key, a non-number, a number
+ * that is not finite, a key given twice, an absent input), then the validity
+ * domain. An input error says what the caller left out or misspelled; a
+ * domain error says the physics refuses the values. The library throws these classes so a caller can tell them
+ * apart by type, never by message text.
+ *
+ * @module bridges/evaluation-errors
+ */
+/** A required input is absent. It is not a physically bad value. @public */
+export declare class MissingInputError extends Error {
+    readonly id: string;
+    readonly missing: readonly string[];
+    readonly inputs: readonly string[];
+    /** The id evaluated, the absent keys, and every declared key. */
+    constructor(id: string, missing: readonly string[], inputs: readonly string[]);
+}
+/** A binding names no declared input, alias or alternate of the id. @public */
+export declare class UnknownInputError extends Error {
+    readonly id: string | undefined;
+    readonly key: string;
+    readonly inputs: readonly string[];
+    /** The id evaluated (absent when the reader was not told it), the unknown key, and every declared key. */
+    constructor(id: string | undefined, key: string, inputs: readonly string[]);
+}
+/** A binding's value is not a number. A `TypeError`, as before it was typed. @public */
+export declare class InputTypeError extends TypeError {
+    readonly id: string;
+    readonly key: string;
+    readonly got: string;
+    /** The id evaluated, the key, and the JavaScript type that was given. */
+    constructor(id: string, key: string, got: string);
+}
+/**
+ * A binding's value is a number that is not finite (`NaN`, `Infinity`,
+ * `-Infinity`). It is refused before the domain, so a validity predicate never
+ * sees it and a closed form never turns it into an unset result. @public
+ */
+export declare class NonFiniteInputError extends Error {
+    readonly id: string;
+    readonly key: string;
+    readonly value: number;
+    /** 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;
+    readonly key: string;
+    readonly spellings: readonly [string, string];
+    /** The id evaluated (absent when the reader was not told it), the input, and the two spellings it was given under. */
+    constructor(id: string | undefined, key: string, spellings: readonly [string, string]);
+}
+/**
+ * True for an error the input contract throws: an absent, unknown, non-number,
+ * 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 | ConstantInputError;
+/**
+ * Evaluation refused: the inputs fall outside the relation'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 `evaluateEdge`, by
+ * a catalog evaluator, and by composed edges internally, not by
+ * `composeEdges`.
+ *
+ * @public
+ */
+export declare class DomainViolationError extends Error {
+    constructor(message: string);
+}
+//# sourceMappingURL=evaluation-errors.d.ts.map

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

@@ -0,0 +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;;;;;;;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

@@ -0,0 +1,136 @@
+/**
+ * The errors one evaluation throws, in the order it checks: the bindings
+ * against the declared inputs first (an unknown key, a non-number, a number
+ * that is not finite, a key given twice, an absent input), then the validity
+ * domain. An input error says what the caller left out or misspelled; a
+ * domain error says the physics refuses the values. The library throws these classes so a caller can tell them
+ * apart by type, never by message text.
+ *
+ * @module bridges/evaluation-errors
+ */
+/** A required input is absent. It is not a physically bad value. @public */
+export class MissingInputError extends Error {
+    id;
+    missing;
+    inputs;
+    /** The id evaluated, the absent keys, and every declared key. */
+    constructor(id, missing, inputs) {
+        super(`${id}: missing input ${missing.map((key) => `'${key}'`).join(', ')}; the inputs are: ${inputs.join(', ')}`);
+        this.id = id;
+        this.missing = missing;
+        this.inputs = inputs;
+        this.name = 'MissingInputError';
+    }
+}
+const prefix = (id) => (id === undefined ? '' : `${id}: `);
+/** A binding names no declared input, alias or alternate of the id. @public */
+export class UnknownInputError extends Error {
+    id;
+    key;
+    inputs;
+    /** The id evaluated (absent when the reader was not told it), the unknown key, and every declared key. */
+    constructor(id, key, inputs) {
+        super(`${prefix(id)}'${key}' is not an input here; the inputs are: ${inputs.join(', ')}`);
+        this.id = id;
+        this.key = key;
+        this.inputs = inputs;
+        this.name = 'UnknownInputError';
+    }
+}
+/** A binding's value is not a number. A `TypeError`, as before it was typed. @public */
+export class InputTypeError extends TypeError {
+    id;
+    key;
+    got;
+    /** The id evaluated, the key, and the JavaScript type that was given. */
+    constructor(id, key, got) {
+        super(`${id}: ${key} must be a number, got ${got}`);
+        this.id = id;
+        this.key = key;
+        this.got = got;
+        this.name = 'InputTypeError';
+    }
+}
+/**
+ * A binding's value is a number that is not finite (`NaN`, `Infinity`,
+ * `-Infinity`). It is refused before the domain, so a validity predicate never
+ * sees it and a closed form never turns it into an unset result. @public
+ */
+export class NonFiniteInputError extends Error {
+    id;
+    key;
+    value;
+    /** The id evaluated, the key, and the value that was given. */
+    constructor(id, key, value) {
+        super(`${id}: ${key} must be a finite number, got ${value}`);
+        this.id = id;
+        this.key = key;
+        this.value = value;
+        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;
+    key;
+    spellings;
+    /** The id evaluated (absent when the reader was not told it), the input, and the two spellings it was given under. */
+    constructor(id, key, spellings) {
+        super(spellings[0] === spellings[1]
+            ? `${prefix(id)}'${key}' is given twice`
+            : `${prefix(id)}'${key}' is given twice (once through an alternate): ${spellings[0]} and ${spellings[1]}`);
+        this.id = id;
+        this.key = key;
+        this.spellings = spellings;
+        this.name = 'DuplicateInputError';
+    }
+}
+/**
+ * True for an error the input contract throws: an absent, unknown, non-number,
+ * 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 function isInputContractError(error) {
+    return (error instanceof MissingInputError ||
+        error instanceof UnknownInputError ||
+        error instanceof InputTypeError ||
+        error instanceof NonFiniteInputError ||
+        error instanceof DuplicateInputError ||
+        error instanceof ConstantInputError);
+}
+/**
+ * Evaluation refused: the inputs fall outside the relation'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 `evaluateEdge`, by
+ * a catalog evaluator, and by composed edges internally, not by
+ * `composeEdges`.
+ *
+ * @public
+ */
+export class DomainViolationError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'DomainViolationError';
+    }
+}
+//# sourceMappingURL=evaluation-errors.js.map

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

@@ -0,0 +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;;;;;;;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.d.ts

@@ -10,11 +10,13 @@ export interface ResolvedInput {
     readonly note?: string;
 }
 /**
- * Resolve `args` against `parameters`.
- * @throws UnitError on an unknown key, a repeated input, or a unit that does not fit.
+ * Resolve `args` against `parameters`. `id` names the evaluated id in an input error.
+ * @throws UnknownInputError on an unknown key.
+ * @throws DuplicateInputError on an input given twice.
+ * @throws UnitError on a unit that does not fit.
  * @internal
  */
-export declare function resolveEvaluatorInputs(parameters: readonly EvaluatorParameter[], args: readonly string[]): {
+export declare function resolveEvaluatorInputs(parameters: readonly EvaluatorParameter[], args: readonly string[], id?: string): {
     inputs: Record<string, number>;
     resolved: ResolvedInput[];
 };

package/dist/bridges/evaluator-inputs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"evaluator-inputs.d.ts","sourceRoot":"","sources":["../../src/bridges/evaluator-inputs.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAE1D,4EAA4E;AAC5E,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,yDAAyD;IACzD,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AA0CD;;;;GAIG;AACH,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,SAAS,kBAAkB,EAAE,EACzC,IAAI,EAAE,SAAS,MAAM,EAAE,GACtB;IAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAAC,QAAQ,EAAE,aAAa,EAAE,CAAA;CAAE,CAkD/D"}
+{"version":3,"file":"evaluator-inputs.d.ts","sourceRoot":"","sources":["../../src/bridges/evaluator-inputs.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAG1D,4EAA4E;AAC5E,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,yDAAyD;IACzD,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAuCD;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,SAAS,kBAAkB,EAAE,EACzC,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,EAAE,CAAC,EAAE,MAAM,GACV;IAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAAC,QAAQ,EAAE,aAAa,EAAE,CAAA;CAAE,CAgD/D"}