universal-physics-tensor 9.0.0 → 11.0.0

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/bridges/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,YAAY,EACV,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,mBAAmB,EACnB,UAAU,GACX,MAAM,YAAY,CAAC;AACpB,yDAAyD;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE5C,uDAAuD;AACvD,OAAO,EACL,aAAa,EACb,qBAAqB,EACrB,iBAAiB,EACjB,gBAAgB,EAChB,WAAW,EACX,wBAAwB,EACxB,eAAe,GAChB,MAAM,sBAAsB,CAAC;AAC9B,yDAAyD;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAErD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACtD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAGpD,0CAA0C;AAC1C,eAAO,MAAM,gBAAgB,EAAE,SAAS,mBAAmB,EAAqB,CAAC;AAEjF,kEAAkE;AAClE,wBAAgB,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAE5D;AAED;;;GAGG;AACH,eAAO,MAAM,0BAA0B,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAC3E,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/bridges/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAGtD,iEAAiE;AACjE,YAAY,EACV,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,mBAAmB,EACnB,UAAU,GACX,MAAM,YAAY,CAAC;AAEpB;;;;;;;;GAQG;AACH,OAAO,EACL,aAAa,EACb,qBAAqB,EACrB,iBAAiB,EACjB,gBAAgB,EAChB,WAAW,EACX,wBAAwB,EACxB,eAAe,GAChB,MAAM,sBAAsB,CAAC;AAC9B,yDAAyD;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,8DAA8D;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAE5D,wCAAwC;AACxC,eAAO,MAAM,gBAAgB,EAAE,SAAS,mBAAmB,EAAqB,CAAC"}

package/dist/bridges/index.js

@@ -1,25 +1,24 @@
 /**
- * Bridge catalog projection. Rows, regimes, and the spine are loaded from
+ * Bridge catalog projection. The rows are loaded from
  * `data/bridge-catalog.json`. This module does not declare an equation.
  *
  * @module bridges
  */
-/** An active status is every status except `invalid`. */
-export { isActiveStatus } from './types.js';
-/** Physical constants the catalog expressions name. */
+import { catalogEntries } from './catalog-load.js';
+/**
+ * Derived constants of the catalog's closed forms, re-exported for callers
+ * who want the number by name. A catalog expression reads `m_p` and
+ * `sigma_T` through the constant registry (`dimensional/constant-rows.ts`),
+ * which carries `M_PROTON_SI`, `THOMSON_CROSS_SECTION_SI` and
+ * `LANE_EMDEN_OMEGA3`; the von Klitzing, Josephson, Lorenz and BCS-gap
+ * values are not read by any expression and are the catalog's documented
+ * reference numbers.
+ */
 export { BCS_GAP_RATIO, JOSEPHSON_CONSTANT_SI, LANE_EMDEN_OMEGA3, LORENZ_NUMBER_SI, M_PROTON_SI, THOMSON_CROSS_SECTION_SI, VON_KLITZING_SI, } from '../core/constants.js';
 /** Thrown when two carrier roles have opposite signs. */
 export { CarrierSignError } from './carrier-sign.js';
-import { bridgeCatalog, catalogEntries, catalogEntry } from './catalog-load.js';
-/** Catalog rows in file order. @public */
+/** Thrown when a caller input names a registered constant. */
+export { ConstantInputError } from './evaluation-errors.js';
+/** Catalog rows in id order. @public */
 export const BRIDGE_EQUATIONS = catalogEntries();
-/** The regime recorded on a catalog row, when the row has one. */
-export function catalogRegime(id) {
-    return catalogEntry(id)?.regime;
-}
-/**
- * Dimensionless groups at the points the gravitational confrontations used.
- * Keys are catalog ids. Values are group formula → number.
- */
-export const SPINE_CONFRONTATION_POINTS = bridgeCatalog().spine;
 //# sourceMappingURL=index.js.map

package/dist/bridges/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/bridges/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AASH,yDAAyD;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE5C,uDAAuD;AACvD,OAAO,EACL,aAAa,EACb,qBAAqB,EACrB,iBAAiB,EACjB,gBAAgB,EAChB,WAAW,EACX,wBAAwB,EACxB,eAAe,GAChB,MAAM,sBAAsB,CAAC;AAC9B,yDAAyD;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAIrD,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEhF,0CAA0C;AAC1C,MAAM,CAAC,MAAM,gBAAgB,GAAmC,cAAc,EAAE,CAAC;AAEjF,kEAAkE;AAClE,MAAM,UAAU,aAAa,CAAC,EAAU;IACtC,OAAO,YAAY,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;AAClC,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,0BAA0B,GACrC,aAAa,EAAE,CAAC,KAAK,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/bridges/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAWnD;;;;;;;;GAQG;AACH,OAAO,EACL,aAAa,EACb,qBAAqB,EACrB,iBAAiB,EACjB,gBAAgB,EAChB,WAAW,EACX,wBAAwB,EACxB,eAAe,GAChB,MAAM,sBAAsB,CAAC;AAC9B,yDAAyD;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,8DAA8D;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAE5D,wCAAwC;AACxC,MAAM,CAAC,MAAM,gBAAgB,GAAmC,cAAc,EAAE,CAAC","sourcesContent":["/**\n * Bridge catalog projection. The rows are loaded from\n * `data/bridge-catalog.json`. This module does not declare an equation.\n *\n * @module bridges\n */\n\nimport type { BridgeEquationEntry } from './types.js';\nimport { catalogEntries } from './catalog-load.js';\n\n/** The catalog row and its status, issue and severity unions. */\nexport type {\n  BridgeEquationEntry,\n  BridgeEquationStatus,\n  BridgeIssueFixable,\n  BridgeIssueSeverity,\n  KnownIssue,\n} from './types.js';\n\n/**\n * Derived constants of the catalog's closed forms, re-exported for callers\n * who want the number by name. A catalog expression reads `m_p` and\n * `sigma_T` through the constant registry (`dimensional/constant-rows.ts`),\n * which carries `M_PROTON_SI`, `THOMSON_CROSS_SECTION_SI` and\n * `LANE_EMDEN_OMEGA3`; the von Klitzing, Josephson, Lorenz and BCS-gap\n * values are not read by any expression and are the catalog's documented\n * reference numbers.\n */\nexport {\n  BCS_GAP_RATIO,\n  JOSEPHSON_CONSTANT_SI,\n  LANE_EMDEN_OMEGA3,\n  LORENZ_NUMBER_SI,\n  M_PROTON_SI,\n  THOMSON_CROSS_SECTION_SI,\n  VON_KLITZING_SI,\n} from '../core/constants.js';\n/** Thrown when two carrier roles have opposite signs. */\nexport { CarrierSignError } from './carrier-sign.js';\n/** Thrown when a caller input names a registered constant. */\nexport { ConstantInputError } from './evaluation-errors.js';\n\n/** Catalog rows in id order. @public */\nexport const BRIDGE_EQUATIONS: readonly BridgeEquationEntry[] = catalogEntries();\n"]}

package/dist/bridges/input-contract.js.map

@@ -1 +1 @@
-{"version":3,"file":"input-contract.js","sourceRoot":"","sources":["../../src/bridges/input-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAiChC,MAAM,KAAK,GAAG,IAAI,OAAO,EAAgC,CAAC;AAE1D;;;GAGG;AACH,SAAS,aAAa,CAAC,QAAuB;IAC5C,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACnC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,MAAM,KAAK,GAAG,IAAI,GAAG,EAA+C,CAAC;IACrE,MAAM,IAAI,GAAG,CAAC,QAAgB,EAAE,IAAe,EAAE,MAAc,EAAQ,EAAE;QACvE,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACpC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACnD,MAAM,IAAI,KAAK,CACb,GAAG,QAAQ,CAAC,EAAE,4BAA4B,QAAQ,eAAe,OAAO,CAAC,IAAI,CAAC,GAAG,UAAU,IAAI,CAAC,GAAG,GAAG,CACvG,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,KAAK,SAAS;YAAE,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACnE,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK;QAAE,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS;YAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAClG,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK;QAAE,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU;YAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;IACrG,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC3B,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,EAAU,EAAE,KAA2B;IACnE,MAAM,QAAQ,GAAkB,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;IAC9C,aAAa,CAAC,QAAQ,CAAC,CAAC;IACxB,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,WAAW,CACzB,QAAuB,EACvB,QAA2C,EAC3C,IAAI,GAAmB,KAAK;IAE5B,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpF,MAAM,UAAU,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC3C,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpD,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,iBAAiB,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QAC/E,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,MAAM,IAAI,cAAc,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,OAAO,KAAK,CAAC,CAAC;QACxF,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,mBAAmB,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;QACpF,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,IAAI,mBAAmB,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;QACtG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACjC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;IAC7C,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,IAAe,EAAW,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC;IAC7G,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClH,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,iBAAiB,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAClF,OAAO,GAAG,CAAC;AACb,CAAC"}
+{"version":3,"file":"input-contract.js","sourceRoot":"","sources":["../../src/bridges/input-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAiChC,MAAM,KAAK,GAAG,IAAI,OAAO,EAAgC,CAAC;AAE1D;;;GAGG;AACH,SAAS,aAAa,CAAC,QAAuB;IAC5C,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACnC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,MAAM,KAAK,GAAG,IAAI,GAAG,EAA+C,CAAC;IACrE,MAAM,IAAI,GAAG,CAAC,QAAgB,EAAE,IAAe,EAAE,MAAc,EAAQ,EAAE;QACvE,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACpC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACnD,MAAM,IAAI,KAAK,CACb,GAAG,QAAQ,CAAC,EAAE,4BAA4B,QAAQ,eAAe,OAAO,CAAC,IAAI,CAAC,GAAG,UAAU,IAAI,CAAC,GAAG,GAAG,CACvG,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,KAAK,SAAS;YAAE,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACnE,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK;QAAE,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS;YAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAClG,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK;QAAE,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU;YAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;IACrG,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC3B,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,EAAU,EAAE,KAA2B;IACnE,MAAM,QAAQ,GAAkB,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;IAC9C,aAAa,CAAC,QAAQ,CAAC,CAAC;IACxB,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,WAAW,CACzB,QAAuB,EACvB,QAA2C,EAC3C,IAAI,GAAmB,KAAK;IAE5B,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpF,MAAM,UAAU,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC3C,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpD,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,iBAAiB,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QAC/E,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,MAAM,IAAI,cAAc,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,OAAO,KAAK,CAAC,CAAC;QACxF,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,mBAAmB,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;QACpF,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,IAAI,mBAAmB,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;QACtG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACjC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;IAC7C,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,IAAe,EAAW,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC;IAC7G,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClH,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,iBAAiB,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAClF,OAAO,GAAG,CAAC;AACb,CAAC","sourcesContent":["/**\n * The one check of a binding record against an id's declared inputs.\n *\n * Every evaluation runs it before any domain check: `evaluateRelation`, the\n * CLI's `upt evaluate`, an evaluator's `run`, the uncertainty probes that\n * call `run`, and an applied case. It refuses an unknown key, a non-number, a\n * number that is not finite and a key given twice, converts a declared\n * alternate onto its key, and names every absent required input, in that\n * order.\n *\n * A spelling binds one slot. {@link inputContract} builds a contract and\n * refuses one whose spellings or alternates name two slots, so an ambiguous\n * key fails when the contract is built, not when a caller happens to use it.\n *\n * What is required depends on what the caller asks for. A slot is read by the\n * value (it owns a source of the relation) or only by the extra outputs. A\n * caller who wants the value alone (`evaluateRelation`, the graph edge) need\n * not give an output-only input; a caller who wants every output must.\n *\n * @module bridges/input-contract\n */\n\nimport {\n  DuplicateInputError,\n  InputTypeError,\n  MissingInputError,\n  NonFiniteInputError,\n  UnknownInputError,\n} from './evaluation-errors.js';\n\n/** A second key that converts into a slot's key by a factor. @public */\nexport interface ContractAlternate {\n  readonly key: string;\n  readonly toKey: number;\n}\n\n/** One declared input: the key the evaluation reads, and every spelling that binds it. @public */\nexport interface InputSlot {\n  readonly key: string;\n  /** Spellings that bind this slot as given (the key, its quantity, its source and aliases). */\n  readonly spellings: readonly string[];\n  readonly alternates: readonly ContractAlternate[];\n  readonly optional: boolean;\n  /** `'value'` when the relation's value reads this slot; `'outputs'` when only an extra output does. */\n  readonly readBy: 'value' | 'outputs';\n  /** Listed in a message as one of \"the inputs\". A constant a caller may override is not. */\n  readonly listed: boolean;\n}\n\n/** What the caller wants back: the relation's value alone, or the value and every extra output. @public */\nexport type EvaluationWant = 'value' | 'all';\n\n/** The declared inputs of one id. @public */\nexport interface InputContract {\n  readonly id: string;\n  readonly slots: readonly InputSlot[];\n}\n\n/** Spelling → the slot it binds and the factor onto the slot's key. */\ntype SpellingIndex = ReadonlyMap<string, { readonly slot: InputSlot; readonly factor: number }>;\n\nconst INDEX = new WeakMap<InputContract, SpellingIndex>();\n\n/**\n * Every spelling and alternate of `contract`, each onto its one slot.\n * @throws Error when one spelling names two slots.\n */\nfunction spellingIndex(contract: InputContract): SpellingIndex {\n  const cached = INDEX.get(contract);\n  if (cached !== undefined) return cached;\n  const index = new Map<string, { slot: InputSlot; factor: number }>();\n  const bind = (spelling: string, slot: InputSlot, factor: number): void => {\n    const earlier = index.get(spelling);\n    if (earlier !== undefined && earlier.slot !== slot) {\n      throw new Error(\n        `${contract.id}: input contract spells '${spelling}' for both '${earlier.slot.key}' and '${slot.key}'`,\n      );\n    }\n    if (earlier === undefined) index.set(spelling, { slot, factor });\n  };\n  for (const slot of contract.slots) for (const spelling of slot.spellings) bind(spelling, slot, 1);\n  for (const slot of contract.slots) for (const alt of slot.alternates) bind(alt.key, slot, alt.toKey);\n  INDEX.set(contract, index);\n  return index;\n}\n\n/**\n * A contract for `id` with `slots`, checked once here: every spelling and\n * alternate binds exactly one slot.\n *\n * @throws Error when a spelling or an alternate names two slots.\n * @public\n */\nexport function inputContract(id: string, slots: readonly InputSlot[]): InputContract {\n  const contract: InputContract = { id, slots };\n  spellingIndex(contract);\n  return contract;\n}\n\n/**\n * `bindings` keyed by slot key, after the contract's checks.\n *\n * @throws UnknownInputError a key no slot spells.\n * @throws InputTypeError a value that is not a number.\n * @throws NonFiniteInputError a number that is `NaN`, `Infinity` or `-Infinity`.\n * @throws DuplicateInputError one slot bound under two spellings.\n * @throws MissingInputError a required slot left unbound (every one is named).\n *   With `want` `'value'`, a slot only an extra output reads is not required.\n */\nexport function checkInputs(\n  contract: InputContract,\n  bindings: Readonly<Record<string, unknown>>,\n  want: EvaluationWant = 'all',\n): Record<string, number> {\n  const listed = contract.slots.filter((slot) => slot.listed).map((slot) => slot.key);\n  const bySpelling = spellingIndex(contract);\n  const out: Record<string, number> = {};\n  const givenAs = new Map<string, string>();\n  for (const [key, value] of Object.entries(bindings)) {\n    const found = bySpelling.get(key);\n    if (found === undefined) throw new UnknownInputError(contract.id, key, listed);\n    if (typeof value !== 'number') throw new InputTypeError(contract.id, key, typeof value);\n    if (!Number.isFinite(value)) throw new NonFiniteInputError(contract.id, key, value);\n    const earlier = givenAs.get(found.slot.key);\n    if (earlier !== undefined) throw new DuplicateInputError(contract.id, found.slot.key, [earlier, key]);\n    givenAs.set(found.slot.key, key);\n    out[found.slot.key] = value * found.factor;\n  }\n  const required = (slot: InputSlot): boolean => !slot.optional && (want === 'all' || slot.readBy === 'value');\n  const missing = contract.slots.filter((slot) => required(slot) && !givenAs.has(slot.key)).map((slot) => slot.key);\n  if (missing.length > 0) throw new MissingInputError(contract.id, missing, listed);\n  return out;\n}\n"]}

package/dist/bridges/membership.d.ts

@@ -8,7 +8,8 @@
  * not yet graph-encoded — the `bridges: [a, b]` tuple is the proxy.
  *
  * Adjudication precedence (design r2-4): the negative catalog
- * (`rejected.ts`) overlays the tuple proxy — an id listed there is
+ * (the `rejections` ledger of `data/bridge-catalog.json`, projected by
+ * `rejected.ts`) overlays the tuple proxy — an id listed there is
  * `'not-a-bridge'` regardless of its tuple (the repo's
  * `['unknown','unknown']` convention historically marked NOT-A-BRIDGE
  * entries, so the tuple alone cannot distinguish "rejected" from
@@ -18,6 +19,7 @@
  * @module bridges/membership
  */
 import type { BridgeEquationEntry } from './index.js';
+import { REJECTED_BRIDGE_ADJUDICATIONS, REJECTED_BRIDGE_IDS, type RejectedBridgeAdjudication } from './rejected.js';
 /** Adjudication verdict for a catalog entry. @public */
 export type BridgeVerdict = 'bridge' | 'not-a-bridge' | 'unadjudicated';
 /**
@@ -39,6 +41,6 @@ export interface CatalogAdjudicationReport {
  * @public
  */
 export declare function adjudicateCatalog(catalog: ReadonlyArray<BridgeEquationEntry>): CatalogAdjudicationReport;
-export { REJECTED_BRIDGE_ADJUDICATIONS, REJECTED_BRIDGE_IDS } from './rejected.js';
-export type { RejectedBridgeAdjudication } from './rejected.js';
+export { REJECTED_BRIDGE_ADJUDICATIONS, REJECTED_BRIDGE_IDS };
+export type { RejectedBridgeAdjudication };
 //# sourceMappingURL=membership.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"membership.d.ts","sourceRoot":"","sources":["../../src/bridges/membership.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAGtD,wDAAwD;AACxD,MAAM,MAAM,aAAa,GAAG,QAAQ,GAAG,cAAc,GAAG,eAAe,CAAC;AAExE;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,mBAAmB,GAAG,aAAa,CAK/E;AAED,iDAAiD;AACjD,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACxC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC5C,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAC/C;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,aAAa,CAAC,mBAAmB,CAAC,GAC1C,yBAAyB,CAW3B;AAKD,OAAO,EAAE,6BAA6B,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AACnF,YAAY,EAAE,0BAA0B,EAAE,MAAM,eAAe,CAAC"}
+{"version":3,"file":"membership.d.ts","sourceRoot":"","sources":["../../src/bridges/membership.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACtD,OAAO,EAAE,6BAA6B,EAAE,mBAAmB,EAAE,KAAK,0BAA0B,EAAE,MAAM,eAAe,CAAC;AAEpH,wDAAwD;AACxD,MAAM,MAAM,aAAa,GAAG,QAAQ,GAAG,cAAc,GAAG,eAAe,CAAC;AAExE;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,mBAAmB,GAAG,aAAa,CAK/E;AAED,iDAAiD;AACjD,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACxC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC5C,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAC/C;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,aAAa,CAAC,mBAAmB,CAAC,GAC1C,yBAAyB,CAW3B;AAGD,OAAO,EAAE,6BAA6B,EAAE,mBAAmB,EAAE,CAAC;AAC9D,YAAY,EAAE,0BAA0B,EAAE,CAAC"}

package/dist/bridges/membership.js

@@ -8,7 +8,8 @@
  * not yet graph-encoded — the `bridges: [a, b]` tuple is the proxy.
  *
  * Adjudication precedence (design r2-4): the negative catalog
- * (`rejected.ts`) overlays the tuple proxy — an id listed there is
+ * (the `rejections` ledger of `data/bridge-catalog.json`, projected by
+ * `rejected.ts`) overlays the tuple proxy — an id listed there is
  * `'not-a-bridge'` regardless of its tuple (the repo's
  * `['unknown','unknown']` convention historically marked NOT-A-BRIDGE
  * entries, so the tuple alone cannot distinguish "rejected" from
@@ -17,7 +18,7 @@
  *
  * @module bridges/membership
  */
-import { REJECTED_BRIDGE_IDS } from './rejected.js';
+import { REJECTED_BRIDGE_ADJUDICATIONS, REJECTED_BRIDGE_IDS } from './rejected.js';
 /**
  * Apply the membership criterion to one catalog entry (tuple proxy +
  * rejected-registry overlay).
@@ -52,8 +53,6 @@ export function adjudicateCatalog(catalog) {
     }
     return { bridges, notABridges, unadjudicated };
 }
-// Re-exports: the negative catalog travels with the criterion it
-// overlays (v0.8.0 punch-list — replaced the membership-surface.ts
-// barrel indirection).
-export { REJECTED_BRIDGE_ADJUDICATIONS, REJECTED_BRIDGE_IDS } from './rejected.js';
+// Re-exports: the negative catalog travels with the criterion it overlays.
+export { REJECTED_BRIDGE_ADJUDICATIONS, REJECTED_BRIDGE_IDS };
 //# sourceMappingURL=membership.js.map

package/dist/bridges/membership.js.map

@@ -1 +1 @@
-{"version":3,"file":"membership.js","sourceRoot":"","sources":["../../src/bridges/membership.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAKpD;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAA0B;IAC9D,IAAI,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAAE,OAAO,cAAc,CAAC;IAC7D,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;IAC7B,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,eAAe,CAAC;IAC/D,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC7C,CAAC;AASD;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAC/B,OAA2C;IAE3C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;QAC7C,IAAI,OAAO,KAAK,QAAQ;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;aAC5C,IAAI,OAAO,KAAK,cAAc;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;;YAC3D,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC;AACjD,CAAC;AAED,iEAAiE;AACjE,mEAAmE;AACnE,uBAAuB;AACvB,OAAO,EAAE,6BAA6B,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC"}
+{"version":3,"file":"membership.js","sourceRoot":"","sources":["../../src/bridges/membership.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,OAAO,EAAE,6BAA6B,EAAE,mBAAmB,EAAmC,MAAM,eAAe,CAAC;AAKpH;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAA0B;IAC9D,IAAI,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAAE,OAAO,cAAc,CAAC;IAC7D,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;IAC7B,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,eAAe,CAAC;IAC/D,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC7C,CAAC;AASD;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAC/B,OAA2C;IAE3C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;QAC7C,IAAI,OAAO,KAAK,QAAQ;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;aAC5C,IAAI,OAAO,KAAK,cAAc;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;;YAC3D,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC;AACjD,CAAC;AAED,2EAA2E;AAC3E,OAAO,EAAE,6BAA6B,EAAE,mBAAmB,EAAE,CAAC","sourcesContent":["/**\n * Bridge-membership criterion (v0.8.0 G-2) — the computable form.\n *\n * **Criterion:** *a bridge is an edge whose endpoint quantities differ\n * in at least one regime attribute; a law is an edge whose endpoints\n * share all stated regime attributes.* For graph edges this is\n * `regimesDiffer` (src/composition/quantity.ts). For catalog entries —\n * not yet graph-encoded — the `bridges: [a, b]` tuple is the proxy.\n *\n * Adjudication precedence (design r2-4): the negative catalog\n * (the `rejections` ledger of `data/bridge-catalog.json`, projected by\n * `rejected.ts`) overlays the tuple proxy — an id listed there is\n * `'not-a-bridge'` regardless of its tuple (the repo's\n * `['unknown','unknown']` convention historically marked NOT-A-BRIDGE\n * entries, so the tuple alone cannot distinguish \"rejected\" from\n * \"never adjudicated\"). Only after the overlay does an\n * `'unknown'`-containing tuple mean `'unadjudicated'`.\n *\n * @module bridges/membership\n */\n\nimport type { BridgeEquationEntry } from './index.js';\nimport { REJECTED_BRIDGE_ADJUDICATIONS, REJECTED_BRIDGE_IDS, type RejectedBridgeAdjudication } from './rejected.js';\n\n/** Adjudication verdict for a catalog entry. @public */\nexport type BridgeVerdict = 'bridge' | 'not-a-bridge' | 'unadjudicated';\n\n/**\n * Apply the membership criterion to one catalog entry (tuple proxy +\n * rejected-registry overlay).\n *\n * @public\n */\nexport function adjudicateBridgeEntry(entry: BridgeEquationEntry): BridgeVerdict {\n  if (REJECTED_BRIDGE_IDS.has(entry.id)) return 'not-a-bridge';\n  const [a, b] = entry.bridges;\n  if (a === 'unknown' || b === 'unknown') return 'unadjudicated';\n  return a === b ? 'not-a-bridge' : 'bridge';\n}\n\n/** Whole-catalog adjudication report. @public */\nexport interface CatalogAdjudicationReport {\n  readonly bridges: ReadonlyArray<number>;\n  readonly notABridges: ReadonlyArray<number>;\n  readonly unadjudicated: ReadonlyArray<number>;\n}\n\n/**\n * Adjudicate every entry of a catalog under the membership criterion.\n *\n * @public\n */\nexport function adjudicateCatalog(\n  catalog: ReadonlyArray<BridgeEquationEntry>,\n): CatalogAdjudicationReport {\n  const bridges: number[] = [];\n  const notABridges: number[] = [];\n  const unadjudicated: number[] = [];\n  for (const entry of catalog) {\n    const verdict = adjudicateBridgeEntry(entry);\n    if (verdict === 'bridge') bridges.push(entry.id);\n    else if (verdict === 'not-a-bridge') notABridges.push(entry.id);\n    else unadjudicated.push(entry.id);\n  }\n  return { bridges, notABridges, unadjudicated };\n}\n\n// Re-exports: the negative catalog travels with the criterion it overlays.\nexport { REJECTED_BRIDGE_ADJUDICATIONS, REJECTED_BRIDGE_IDS };\nexport type { RejectedBridgeAdjudication };\n"]}

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

@@ -1 +1 @@
-{"version":3,"file":"notices.d.ts","sourceRoot":"","sources":["../../src/bridges/notices.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAO1D,gEAAgE;AAChE,wBAAgB,eAAe,CAAC,QAAQ,EAAE,eAAe,GAAG,MAAM,EAAE,CAKnE"}
+{"version":3,"file":"notices.d.ts","sourceRoot":"","sources":["../../src/bridges/notices.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAG1D,gEAAgE;AAChE,wBAAgB,eAAe,CAAC,QAAQ,EAAE,eAAe,GAAG,MAAM,EAAE,CAQnE"}

package/dist/bridges/notices.js

@@ -6,16 +6,16 @@
  * @module bridges/notices
  */
 import { constantNotes } from '../dimensional/symbolic-constants.js';
-/** Identifiers in an expression, in order of first appearance. */
-function identifiers(expression) {
-    return [...new Set(expression.match(/[A-Za-z_][A-Za-z0-9_]*/g) ?? [])];
-}
+import { expressionNames } from './expr-parse.js';
 /** The caveats to print beside `relation`'s value. @internal */
 export function relationNotices(relation) {
     const notes = [];
     if (relation.notice !== undefined)
         notes.push(relation.notice.text);
-    for (const note of constantNotes(identifiers(relation.expression)))
+    // The names are read after the kebab rewrite: a bare identifier regex read be-39's
+    // `truncation-coefficient-b` as the constant `b`. A `reduced-planck-constant` spelling is
+    // `hbar` (tests/bridges/expression-names.test.ts).
+    for (const note of constantNotes(expressionNames(relation.expression)))
         notes.push(`note: ${note}`);
     return notes;
 }

package/dist/bridges/notices.js.map

@@ -1 +1 @@
-{"version":3,"file":"notices.js","sourceRoot":"","sources":["../../src/bridges/notices.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,sCAAsC,CAAC;AAGrE,kEAAkE;AAClE,SAAS,WAAW,CAAC,UAAkB;IACrC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,yBAAyB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AACzE,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,eAAe,CAAC,QAAyB;IACvD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACpE,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,WAAW,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;IAChG,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"notices.js","sourceRoot":"","sources":["../../src/bridges/notices.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,sCAAsC,CAAC;AAErE,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAElD,gEAAgE;AAChE,MAAM,UAAU,eAAe,CAAC,QAAyB;IACvD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACpE,mFAAmF;IACnF,0FAA0F;IAC1F,mDAAmD;IACnD,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,eAAe,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;IACpG,OAAO,KAAK,CAAC;AACf,CAAC","sourcesContent":["/**\n * The caveats printed beside a relation's value: the record's own notice, and\n * the note of every registered constant its expression names. No caller\n * switches on a notice; the text is the record's or the constant's.\n *\n * @module bridges/notices\n */\n\nimport { constantNotes } from '../dimensional/symbolic-constants.js';\nimport type { CatalogRelation } from './catalog-types.js';\nimport { expressionNames } from './expr-parse.js';\n\n/** The caveats to print beside `relation`'s value. @internal */\nexport function relationNotices(relation: CatalogRelation): string[] {\n  const notes: string[] = [];\n  if (relation.notice !== undefined) notes.push(relation.notice.text);\n  // The names are read after the kebab rewrite: a bare identifier regex read be-39's\n  // `truncation-coefficient-b` as the constant `b`. A `reduced-planck-constant` spelling is\n  // `hbar` (tests/bridges/expression-names.test.ts).\n  for (const note of constantNotes(expressionNames(relation.expression))) notes.push(`note: ${note}`);\n  return notes;\n}\n"]}

package/dist/bridges/observations/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/bridges/observations/types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAwKH,kEAAkE;AAClE,MAAM,UAAU,eAAe,CAAC,SAAiB,EAAE,QAAgB,EAAE,KAAa;IAChF,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,UAAU,CAAC,+CAA+C,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,GAAG,QAAQ,CAAC,GAAG,KAAK,CAAC;AAChD,CAAC;AAeD;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CACnC,CAAyD;IAEzD,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,UAAU,CAAC,6DAA6D,CAAC,CAAC;IACtF,CAAC;IACD,MAAM,kBAAkB,GAAG,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC;IACtE,MAAM,cAAc,GAAG,CAAC,CAAC,eAAe,KAAK,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;IACxF,MAAM,UAAU,GAAG,oCAA6C,CAAC;IACjE,IAAI,CAAC,CAAC,WAAW,KAAK,aAAa,EAAE,CAAC;QACpC,IAAI,cAAc,KAAK,IAAI,EAAE,CAAC;YAC5B,MAAM,IAAI,UAAU,CAAC,iEAAiE,CAAC,CAAC;QAC1F,CAAC;QACD,OAAO,EAAE,kBAAkB,EAAE,UAAU,EAAE,cAAc,EAAE,IAAI,EAAE,kCAAkC,EAAE,WAAW,EAAE,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;IAChJ,CAAC;IACD,OAAO;QACL,kBAAkB;QAClB,UAAU;QACV,cAAc;QACd,IAAI,EAAE,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gCAAgC;QACvE,WAAW,EAAE,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,kBAAkB,CAAC,IAAI,cAAc;KAC7F,CAAC;AACJ,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,mBAAmB,CAAC,UAAqC;IACvE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,UAAU,CAAC,kDAAkD,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;AAC9E,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/bridges/observations/types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAwKH,kEAAkE;AAClE,MAAM,UAAU,eAAe,CAAC,SAAiB,EAAE,QAAgB,EAAE,KAAa;IAChF,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,UAAU,CAAC,+CAA+C,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,GAAG,QAAQ,CAAC,GAAG,KAAK,CAAC;AAChD,CAAC;AAeD;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CACnC,CAAyD;IAEzD,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,UAAU,CAAC,6DAA6D,CAAC,CAAC;IACtF,CAAC;IACD,MAAM,kBAAkB,GAAG,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC;IACtE,MAAM,cAAc,GAAG,CAAC,CAAC,eAAe,KAAK,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;IACxF,MAAM,UAAU,GAAG,oCAA6C,CAAC;IACjE,IAAI,CAAC,CAAC,WAAW,KAAK,aAAa,EAAE,CAAC;QACpC,IAAI,cAAc,KAAK,IAAI,EAAE,CAAC;YAC5B,MAAM,IAAI,UAAU,CAAC,iEAAiE,CAAC,CAAC;QAC1F,CAAC;QACD,OAAO,EAAE,kBAAkB,EAAE,UAAU,EAAE,cAAc,EAAE,IAAI,EAAE,kCAAkC,EAAE,WAAW,EAAE,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;IAChJ,CAAC;IACD,OAAO;QACL,kBAAkB;QAClB,UAAU;QACV,cAAc;QACd,IAAI,EAAE,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gCAAgC;QACvE,WAAW,EAAE,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,kBAAkB,CAAC,IAAI,cAAc;KAC7F,CAAC;AACJ,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,mBAAmB,CAAC,UAAqC;IACvE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,UAAU,CAAC,kDAAkD,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;AAC9E,CAAC","sourcesContent":["/**\n * Typed observation + confrontation-outcome layer for `upt confront`.\n * The outcome is a discriminated union on `kind` so each confrontation\n * carries only the fields it can honestly populate (no NaN placeholders).\n *\n * @module bridges/observations/types\n */\n\n/** Provenance every observation record must carry. @public */\nexport interface ObservationProvenance {\n  /** Paper + locus, e.g. \"Bertotti-Iess-Tortora 2003, Nature 425:374\". */\n  readonly citation: string;\n  readonly year: number;\n  /** ISO date the value was transcribed into the repo. */\n  readonly retrieved: string;\n  /** Caveats: what was digitized, unit conversions, model conventions. */\n  readonly note?: string;\n}\n\n/** One named uncertainty component (e.g. statistical vs systematic). @public */\nexport interface SigmaComponent {\n  readonly label: string;\n  readonly value: number;\n}\n\n/** How the observation constrains the prediction. @public */\nexport type ObservationKind = 'value' | 'upper-bound' | 'consistency' | 'table';\n\n/**\n * Where in this repository the support for a recorded statement is written:\n * a path from the repository root, and either a verbatim `quote` that must\n * occur in that file or a `symbol` the file must declare. A reference that\n * resolves shows only that the cited text exists; it does not show that the\n * statement it supports is true, nor that the text covers every clause.\n *\n * @public\n */\nexport type SourceRef =\n  | { readonly file: string; readonly quote: string }\n  | { readonly file: string; readonly symbol: string };\n\n/** One or more references; a statement is never sourced by nothing. @public */\nexport type SourceRefs = readonly [SourceRef, ...SourceRef[]];\n\n/**\n * What was done to the source's number before it reached the comparison\n * (averaging, selection, conversion, encoding of a stated agreement).\n * `source` names what supports the statement. `not-recorded` means the record\n * states nothing — it is not \"no preprocessing\".\n *\n * @public\n */\nexport type ConfrontationPreprocessing =\n  | { readonly state: 'recorded'; readonly statement: string; readonly source: SourceRefs }\n  | { readonly state: 'not-recorded' };\n\n/**\n * Whether the prediction is independent of the measurement it is compared\n * with. Separate from goodness of fit: a record can agree within 1σ and still\n * share an input with its prediction. `no-fitted-parameter`: the prediction\n * takes no parameter fitted to this measurement. `shares-input`: prediction\n * and observation share `shared` (a constant, calibration, baseline, or the\n * value itself). `not-recorded`: the record states neither.\n *\n * @public\n */\nexport type ConfrontationIndependence =\n  | { readonly state: 'no-fitted-parameter'; readonly statement: string; readonly source: SourceRefs }\n  | {\n      readonly state: 'shares-input';\n      readonly shared: string;\n      readonly statement: string;\n      readonly source: SourceRefs;\n    }\n  | { readonly state: 'not-recorded' };\n\n/** Data-handling fields every confrontation outcome carries. @public */\nexport interface ConfrontationDataHandling {\n  readonly preprocessing: ConfrontationPreprocessing;\n  readonly independence: ConfrontationIndependence;\n}\n\n/**\n * Normalized confrontation result — discriminated on `kind`. Each arm\n * carries only the fields it can honestly populate.\n *\n * @public\n */\nexport type ConfrontationOutcome = ConfrontationDataHandling & (\n  | {\n      readonly kind: 'value';\n      readonly predicted: number;\n      readonly observed: number;\n      readonly sigma: number;\n      readonly residualInSigma: number;\n      readonly withinObserved: boolean;\n      readonly units: string;\n      readonly provenance: ObservationProvenance;\n      /**\n       * Present when `observed` is DERIVED from a different measured quantity\n       * rather than measured itself. BE-51's \"observed\" deflection is the\n       * prediction times (1 + γ)/2: VLBI measured γ, not a solar-limb\n       * deflection to 16 digits. The report shows this measurement, and labels\n       * `observed` as derived by `derivation`.\n       */\n      readonly measured?: {\n        readonly quantity: string;\n        readonly value: number;\n        readonly sigma: number;\n        readonly source: string;\n        readonly derivation: string;\n      };\n    }\n  | {\n      readonly kind: 'upper-bound';\n      readonly predicted: number;\n      /** The observed upper limit. */\n      readonly bound: number;\n      readonly satisfied: boolean;\n      /**\n       * What `predicted` is. `'point'` (the default when absent): a predicted\n       * value, satisfied when it lies at or below the observed limit.\n       * `'encoded-bound'`: the bridge's own claim is a range `|x| ≤ predicted`,\n       * satisfied when the observed limit lies inside it (BE-36). The two are\n       * different comparisons and are displayed as such.\n       */\n      readonly predictedIs?: 'point' | 'encoded-bound';\n      /**\n       * Optional honesty caveat surfaced in the confront summary line — e.g. a\n       * one-sided pass where only part of an asymmetric observed interval was\n       * tested against a symmetric encoded bound (BE-36).\n       */\n      readonly caveat?: string;\n      readonly units: string;\n      readonly provenance: ObservationProvenance;\n    }\n  | {\n      readonly kind: 'consistency';\n      readonly predicted: number;\n      readonly approaches: number;\n      /** Holds what `fractionalGapIs` says; the name predates that split. */\n      readonly fractionalGap: number;\n      /**\n       * `'agreement-bound'`: `fractionalGap` is the record's stated tolerance\n       * on |observed − predicted|/|predicted|, NOT a measured difference.\n       * `'observed-difference'`: it is the difference itself, and the outcome\n       * carries no agreement bound. `consistencyComparison` computes the\n       * difference either way.\n       */\n      readonly fractionalGapIs: 'agreement-bound' | 'observed-difference';\n      /**\n       * What `predicted` is. `'reference'` (the default when absent): a reference value the\n       * observation is compared with. `'lower-limit'`: the bridge claims the range\n       * `x ≥ predicted` (BE-21's KSS bound η/s ≥ 1/(4π)), decided by observed ≥ predicted. A lower\n       * limit carries no agreement bound, so it requires `fractionalGapIs: 'observed-difference'`.\n       */\n      readonly predictedIs?: 'reference' | 'lower-limit';\n      readonly units: string;\n      readonly provenance: ObservationProvenance;\n    }\n  | {\n      readonly kind: 'table';\n      readonly rows: ReadonlyArray<{\n        readonly label: string;\n        readonly predicted: number;\n        readonly observed: number;\n        readonly sigma: number;\n        readonly residualInSigma: number;\n      }>;\n      readonly units: string;\n      readonly provenance: ObservationProvenance;\n    }\n);\n\n/** |predicted − observed| in units of the observed 1σ. @public */\nexport function residualInSigma(predicted: number, observed: number, sigma: number): number {\n  if (!(Number.isFinite(sigma) && sigma > 0)) {\n    throw new RangeError('residualInSigma: sigma must be finite and > 0');\n  }\n  return Math.abs(predicted - observed) / sigma;\n}\n\n/** A consistency outcome's actual difference, kept apart from its agreement bound. @public */\nexport interface ConsistencyComparison {\n  /** (observed − predicted) / predicted, signed; \"observed\" is the outcome's `approaches`. */\n  readonly relativeDifference: number;\n  readonly definition: '(observed − predicted) / predicted';\n  /** The record's stated tolerance on |relativeDifference|; null when the outcome carries none. */\n  readonly agreementBound: number | null;\n  /** The rule the decision applies; null when the outcome states none. */\n  readonly rule: '|difference| ≤ agreement bound' | 'observed ≥ predicted lower limit' | null;\n  /** The decision under `rule`: compatible (true) or not (false); null when there is no rule. */\n  readonly withinBound: boolean | null;\n}\n\n/**\n * The actual difference of a consistency outcome, computed from its own\n * predicted and observed values, and the compatibility decision: against its\n * agreement bound when it has one, or observed ≥ predicted when the prediction\n * is a lower limit.\n *\n * @public\n */\nexport function consistencyComparison(\n  o: Extract<ConfrontationOutcome, { kind: 'consistency' }>,\n): ConsistencyComparison {\n  if (!(Number.isFinite(o.predicted) && o.predicted !== 0)) {\n    throw new RangeError('consistencyComparison: predicted must be finite and nonzero');\n  }\n  const relativeDifference = (o.approaches - o.predicted) / o.predicted;\n  const agreementBound = o.fractionalGapIs === 'agreement-bound' ? o.fractionalGap : null;\n  const definition = '(observed − predicted) / predicted' as const;\n  if (o.predictedIs === 'lower-limit') {\n    if (agreementBound !== null) {\n      throw new RangeError('consistencyComparison: a lower limit carries no agreement bound');\n    }\n    return { relativeDifference, definition, agreementBound, rule: 'observed ≥ predicted lower limit', withinBound: o.approaches >= o.predicted };\n  }\n  return {\n    relativeDifference,\n    definition,\n    agreementBound,\n    rule: agreementBound === null ? null : '|difference| ≤ agreement bound',\n    withinBound: agreementBound === null ? null : Math.abs(relativeDifference) <= agreementBound,\n  };\n}\n\n/** Combined 1σ from named components (root-sum-square). @public */\nexport function combineInQuadrature(components: readonly SigmaComponent[]): number {\n  if (components.length === 0) {\n    throw new RangeError('combineInQuadrature: need at least one component');\n  }\n  return Math.sqrt(components.reduce((acc, c) => acc + c.value * c.value, 0));\n}\n"]}

package/dist/bridges/rejected.d.ts

@@ -1,19 +1,15 @@
 /**
- * Negative catalog (v0.8.0 P-4) — NOT-A-BRIDGE adjudications as
- * first-class data.
+ * Negative catalog — NOT-A-BRIDGE adjudications, projected from the
+ * `rejections` ledger of `data/bridge-catalog.json`.
  *
- * Each entry records the outcome of applying the v0.8.0 graph-native
- * membership criterion (*a bridge is an edge whose endpoint quantities
- * differ in at least one regime attribute*) to a catalog row, with the
- * physics reason and a citation. Rejected entries REMAIN in
- * `BRIDGE_EQUATIONS` (their formulas and encodings are still valid
- * physics); this registry is the adjudication overlay consumed by
- * `membership.ts` — an id listed here reports `'not-a-bridge'`
+ * Each record is the outcome of applying the graph-native membership
+ * criterion (*a bridge is an edge whose endpoint quantities differ in at
+ * least one regime attribute*) to a catalog row, with the physics reason and
+ * a citation. Rejected rows REMAIN in `BRIDGE_EQUATIONS` (their formulas are
+ * still valid physics); this projection is the adjudication overlay
+ * `membership.ts` consumes — an id listed here reports `'not-a-bridge'`
  * regardless of its `bridges` tuple (design r2-4 precedence).
  *
- * Recording rejections as data rather than audit-doc prose prevents
- * re-litigation and documents the criterion by counterexample.
- *
  * @module bridges/rejected
  */
 /** A NOT-A-BRIDGE adjudication record. @public */
@@ -26,11 +22,9 @@ export interface RejectedBridgeAdjudication {
     readonly citation: string;
 }
 /**
- * The negative catalog. Adjudicated 2026-06-11 (v0.8.0 Phase 4),
- * upholding five of the BRIDGE-PHYSICS-AUDIT §3 classifications under
- * the graph-native criterion. BE-42 was REVERSED to a bridge (see the
- * catalog entry and `docs/architecture/v0.8.0-catalog-adjudication.md`);
- * BE-44/46/50 remain contested/unadjudicated (same doc, with reasons).
+ * The negative catalog, in ledger order. Adjudicated 2026-06-11 (v0.8.0
+ * Phase 4); BE-42 was REVERSED to a bridge and BE-44/46/50 remain contested
+ * (`docs/architecture/v0.8.0-catalog-adjudication.md`).
  *
  * @public
  */

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

@@ -1 +1 @@
-{"version":3,"file":"rejected.d.ts","sourceRoot":"","sources":["../../src/bridges/rejected.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,kDAAkD;AAClD,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,4DAA4D;IAC5D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,6BAA6B,EAAE,aAAa,CAAC,0BAA0B,CAwDjF,CAAC;AAEJ,8DAA8D;AAC9D,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAEnD,CAAC"}
+{"version":3,"file":"rejected.d.ts","sourceRoot":"","sources":["../../src/bridges/rejected.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH,kDAAkD;AAClD,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,4DAA4D;IAC5D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;GAMG;AACH,eAAO,MAAM,6BAA6B,EAAE,aAAa,CAAC,0BAA0B,CAEnF,CAAC;AAEF,8DAA8D;AAC9D,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAEnD,CAAC"}

package/dist/bridges/rejected.js

@@ -1,81 +1,26 @@
 /**
- * Negative catalog (v0.8.0 P-4) — NOT-A-BRIDGE adjudications as
- * first-class data.
+ * Negative catalog — NOT-A-BRIDGE adjudications, projected from the
+ * `rejections` ledger of `data/bridge-catalog.json`.
  *
- * Each entry records the outcome of applying the v0.8.0 graph-native
- * membership criterion (*a bridge is an edge whose endpoint quantities
- * differ in at least one regime attribute*) to a catalog row, with the
- * physics reason and a citation. Rejected entries REMAIN in
- * `BRIDGE_EQUATIONS` (their formulas and encodings are still valid
- * physics); this registry is the adjudication overlay consumed by
- * `membership.ts` — an id listed here reports `'not-a-bridge'`
+ * Each record is the outcome of applying the graph-native membership
+ * criterion (*a bridge is an edge whose endpoint quantities differ in at
+ * least one regime attribute*) to a catalog row, with the physics reason and
+ * a citation. Rejected rows REMAIN in `BRIDGE_EQUATIONS` (their formulas are
+ * still valid physics); this projection is the adjudication overlay
+ * `membership.ts` consumes — an id listed here reports `'not-a-bridge'`
  * regardless of its `bridges` tuple (design r2-4 precedence).
  *
- * Recording rejections as data rather than audit-doc prose prevents
- * re-litigation and documents the criterion by counterexample.
- *
  * @module bridges/rejected
  */
+import { catalogRejections } from './catalog-load.js';
 /**
- * The negative catalog. Adjudicated 2026-06-11 (v0.8.0 Phase 4),
- * upholding five of the BRIDGE-PHYSICS-AUDIT §3 classifications under
- * the graph-native criterion. BE-42 was REVERSED to a bridge (see the
- * catalog entry and `docs/architecture/v0.8.0-catalog-adjudication.md`);
- * BE-44/46/50 remain contested/unadjudicated (same doc, with reasons).
+ * The negative catalog, in ledger order. Adjudicated 2026-06-11 (v0.8.0
+ * Phase 4); BE-42 was REVERSED to a bridge and BE-44/46/50 remain contested
+ * (`docs/architecture/v0.8.0-catalog-adjudication.md`).
  *
  * @public
  */
-export const REJECTED_BRIDGE_ADJUDICATIONS = [
-    {
-        beId: 28,
-        name: 'Maximum Entropy Production Principle',
-        verdict: 'not-a-bridge',
-        reason: 'The encoded σ = Σᵢ Jᵢ Xᵢ is the definiendum of entropy ' +
-            'production within nonequilibrium thermodynamics — fluxes, ' +
-            'forces, and σ all live in the same classical statistical ' +
-            'regime. The variational MEPP claim (which might bridge) is ' +
-            'not what is encoded (see the catalog entry’s ⚠ warning).',
-        citation: 'Martyushev & Seleznev 2006 Phys. Rep. 426:1',
-    },
-    {
-        beId: 29,
-        name: 'Jarzynski free-energy equality (canonical 1997 form)',
-        verdict: 'not-a-bridge',
-        reason: '⟨e^(−βW)⟩ = e^(−βΔF) relates a nonequilibrium work ' +
-            'distribution to an equilibrium free energy, both within ' +
-            'classical statistical mechanics. Equilibrium-vs-nonequilibrium ' +
-            'status is not one of the regime axes — the endpoints share ' +
-            'scale and force attributes.',
-        citation: 'Jarzynski 1997 PRL 78:2690',
-    },
-    {
-        beId: 32,
-        name: 'Quantum Reference Frame Transformation',
-        verdict: 'not-a-bridge',
-        reason: 'A transformation between quantum descriptions relative to ' +
-            'different reference frames — both endpoints are quantum-scale ' +
-            'quantities; the relation is internal to quantum theory.',
-        citation: 'Giacomini, Castro-Ruiz & Brukner 2019 Nat. Commun. 10:494',
-    },
-    {
-        beId: 35,
-        name: 'Conformal Bootstrap - Physical Operator Equation',
-        verdict: 'not-a-bridge',
-        reason: 'The crossing-symmetry constraint is internal to a CFT’s ' +
-            'operator algebra — a consistency condition within one QFT ' +
-            'regime, not a relation between regimes.',
-        citation: 'Rattazzi, Rychkov, Tonni & Vichi 2008 JHEP 0812:031',
-    },
-    {
-        beId: 40,
-        name: 'Composite Higgs Potential',
-        verdict: 'not-a-bridge',
-        reason: 'The SILH effective potential V(h) is a single-regime ' +
-            'electroweak-QFT object; its endpoints (field value, potential ' +
-            'energy density) share scale and force attributes.',
-        citation: 'Giudice, Grojean, Pomarol & Rattazzi 2007 JHEP 0706:045',
-    },
-];
+export const REJECTED_BRIDGE_ADJUDICATIONS = catalogRejections().map((row) => ({ beId: row.catalogId, name: row.name, verdict: 'not-a-bridge', reason: row.reason, citation: row.citation }));
 /** The rejected ids as a Set, for overlay lookups. @public */
 export const REJECTED_BRIDGE_IDS = new Set(REJECTED_BRIDGE_ADJUDICATIONS.map((r) => r.beId));
 //# sourceMappingURL=rejected.js.map

package/dist/bridges/rejected.js.map

@@ -1 +1 @@
-{"version":3,"file":"rejected.js","sourceRoot":"","sources":["../../src/bridges/rejected.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAYH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,6BAA6B,GACxC;IACE;QACE,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,sCAAsC;QAC5C,OAAO,EAAE,cAAc;QACvB,MAAM,EACJ,yDAAyD;YACzD,4DAA4D;YAC5D,2DAA2D;YAC3D,6DAA6D;YAC7D,0DAA0D;QAC5D,QAAQ,EAAE,6CAA6C;KACxD;IACD;QACE,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,sDAAsD;QAC5D,OAAO,EAAE,cAAc;QACvB,MAAM,EACJ,qDAAqD;YACrD,0DAA0D;YAC1D,iEAAiE;YACjE,6DAA6D;YAC7D,6BAA6B;QAC/B,QAAQ,EAAE,4BAA4B;KACvC;IACD;QACE,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,wCAAwC;QAC9C,OAAO,EAAE,cAAc;QACvB,MAAM,EACJ,4DAA4D;YAC5D,gEAAgE;YAChE,yDAAyD;QAC3D,QAAQ,EAAE,2DAA2D;KACtE;IACD;QACE,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,kDAAkD;QACxD,OAAO,EAAE,cAAc;QACvB,MAAM,EACJ,0DAA0D;YAC1D,4DAA4D;YAC5D,yCAAyC;QAC3C,QAAQ,EAAE,qDAAqD;KAChE;IACD;QACE,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,2BAA2B;QACjC,OAAO,EAAE,cAAc;QACvB,MAAM,EACJ,uDAAuD;YACvD,gEAAgE;YAChE,mDAAmD;QACrD,QAAQ,EAAE,yDAAyD;KACpE;CACF,CAAC;AAEJ,8DAA8D;AAC9D,MAAM,CAAC,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAC7D,6BAA6B,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACjD,CAAC"}
+{"version":3,"file":"rejected.js","sourceRoot":"","sources":["../../src/bridges/rejected.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAYtD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAA8C,iBAAiB,EAAE,CAAC,GAAG,CAC7G,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,CACxH,CAAC;AAEF,8DAA8D;AAC9D,MAAM,CAAC,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAC7D,6BAA6B,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACjD,CAAC","sourcesContent":["/**\n * Negative catalog — NOT-A-BRIDGE adjudications, projected from the\n * `rejections` ledger of `data/bridge-catalog.json`.\n *\n * Each record is the outcome of applying the graph-native membership\n * criterion (*a bridge is an edge whose endpoint quantities differ in at\n * least one regime attribute*) to a catalog row, with the physics reason and\n * a citation. Rejected rows REMAIN in `BRIDGE_EQUATIONS` (their formulas are\n * still valid physics); this projection is the adjudication overlay\n * `membership.ts` consumes — an id listed here reports `'not-a-bridge'`\n * regardless of its `bridges` tuple (design r2-4 precedence).\n *\n * @module bridges/rejected\n */\n\nimport { catalogRejections } from './catalog-load.js';\n\n/** A NOT-A-BRIDGE adjudication record. @public */\nexport interface RejectedBridgeAdjudication {\n  readonly beId: number;\n  readonly name: string;\n  readonly verdict: 'not-a-bridge';\n  /** Why the endpoints do NOT differ in regime attributes. */\n  readonly reason: string;\n  readonly citation: string;\n}\n\n/**\n * The negative catalog, in ledger order. Adjudicated 2026-06-11 (v0.8.0\n * Phase 4); BE-42 was REVERSED to a bridge and BE-44/46/50 remain contested\n * (`docs/architecture/v0.8.0-catalog-adjudication.md`).\n *\n * @public\n */\nexport const REJECTED_BRIDGE_ADJUDICATIONS: ReadonlyArray<RejectedBridgeAdjudication> = catalogRejections().map(\n  (row) => ({ beId: row.catalogId, name: row.name, verdict: 'not-a-bridge', reason: row.reason, citation: row.citation }),\n);\n\n/** The rejected ids as a Set, for overlay lookups. @public */\nexport const REJECTED_BRIDGE_IDS: ReadonlySet<number> = new Set(\n  REJECTED_BRIDGE_ADJUDICATIONS.map((r) => r.beId),\n);\n"]}

package/dist/bridges/relation-eval.d.ts

@@ -6,18 +6,17 @@
  */
 import { CarrierSignError } from './carrier-sign.js';
 import type { CatalogRelation } from './catalog-types.js';
+import { type ConditionDomain } from './validity.js';
 /** Thrown when two carrier roles have opposite signs. */
 export { CarrierSignError };
-/** Whether `inputs` satisfy the relation's validity condition. */
-export declare function relationHolds(rel: CatalogRelation, inputs: Readonly<Record<string, number>>): boolean;
+/**
+ * The relation's validity domain, read from its `holds`: the predicate, the
+ * description and the violated conditions all come from that one text.
+ */
+export declare function relationDomain(rel: CatalogRelation): ConditionDomain;
 /**
  * The relation's number at `inputs`. The caller has already checked the
  * validity condition. Opposite carrier signs throw {@link CarrierSignError}.
  */
 export declare function evaluateCatalogRelation(rel: CatalogRelation, inputs: Readonly<Record<string, number>>): number;
-/**
- * Recover the one missing finite input that makes the relation equal `target`.
- * A bracket that does not change sign has no root and throws.
- */
-export declare function solveCatalogRelation(rel: CatalogRelation, known: Readonly<Record<string, number>>, unknown: string, target?: number): number;
 //# sourceMappingURL=relation-eval.d.ts.map

package/dist/bridges/relation-eval.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"relation-eval.d.ts","sourceRoot":"","sources":["../../src/bridges/relation-eval.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAA0B,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAI1D,yDAAyD;AACzD,OAAO,EAAE,gBAAgB,EAAE,CAAC;AA4D5B,kEAAkE;AAClE,wBAAgB,aAAa,CAAC,GAAG,EAAE,eAAe,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,OAAO,CAOrG;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CACrC,GAAG,EAAE,eAAe,EACpB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GACvC,MAAM,CAiBR;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,eAAe,EACpB,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACvC,OAAO,EAAE,MAAM,EACf,MAAM,SAAI,GACT,MAAM,CA2BR"}
+{"version":3,"file":"relation-eval.d.ts","sourceRoot":"","sources":["../../src/bridges/relation-eval.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,EAA0B,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAE1D,OAAO,EAAmB,KAAK,eAAe,EAAE,MAAM,eAAe,CAAC;AAEtE,yDAAyD;AACzD,OAAO,EAAE,gBAAgB,EAAE,CAAC;AA8D5B;;;GAGG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,eAAe,GAAG,eAAe,CAMpE;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CACrC,GAAG,EAAE,eAAe,EACpB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GACvC,MAAM,CAiBR"}

package/dist/bridges/relation-eval.js

@@ -5,9 +5,10 @@
  * @module bridges/relation-eval
  */
 import { quantityRecord } from '../dimensional/quantity-registry.js';
+import { withinSymmetric } from '../core/compare.js';
 import { applyCarrierSignPolicy, CarrierSignError } from './carrier-sign.js';
 import { evaluateFormula, formulaNames, formulaScope } from './expr-parse.js';
-import { holds, HoldsError } from './holds.js';
+import { conditionDomain } from './validity.js';
 /** Thrown when two carrier roles have opposite signs. */
 export { CarrierSignError };
 const parityCache = new Map();
@@ -41,17 +42,17 @@ function classify(rel) {
             let pos;
             let neg;
             try {
-                pos = evaluateFormula(rel.expression, { ...base, [name]: magnitude });
-                neg = evaluateFormula(rel.expression, { ...base, [name]: -magnitude });
+                pos = evaluateFormula(rel.expression, { ...base, [name]: magnitude }, rel.sources);
+                neg = evaluateFormula(rel.expression, { ...base, [name]: -magnitude }, rel.sources);
             }
             catch {
                 continue;
             }
             if (!Number.isFinite(pos) || !Number.isFinite(neg))
                 continue;
-            const scale = Math.max(Math.abs(pos), Math.abs(neg), 1);
-            const isEven = Math.abs(pos - neg) <= 1e-8 * scale;
-            const isOdd = Math.abs(pos + neg) <= 1e-8 * scale;
+            // The scale is max(|pos|, |neg|, 1): relative far from one, absolute near zero.
+            const isEven = withinSymmetric(pos, neg, 1e-8, 1);
+            const isOdd = withinSymmetric(pos, -neg, 1e-8, 1);
             if (isEven && !isOdd)
                 even.push(name);
             if (isOdd && !isEven) {
@@ -72,16 +73,18 @@ function classify(rel) {
     parityCache.set(rel.id, found);
     return found;
 }
-/** Whether `inputs` satisfy the relation's validity condition. */
-export function relationHolds(rel, inputs) {
-    try {
-        return holds(rel.holds, inputs, formulaScope(), [...formulaNames()]);
-    }
-    catch (error) {
-        if (error instanceof HoldsError)
-            return false;
-        throw error;
-    }
+const domainCache = new Map();
+/**
+ * The relation's validity domain, read from its `holds`: the predicate, the
+ * description and the violated conditions all come from that one text.
+ */
+export function relationDomain(rel) {
+    const hit = domainCache.get(rel.id);
+    if (hit !== undefined)
+        return hit;
+    const domain = conditionDomain(rel.holds, formulaNames, formulaScope, rel.sources);
+    domainCache.set(rel.id, domain);
+    return domain;
 }
 /**
  * The relation's number at `inputs`. The caller has already checked the
@@ -98,39 +101,6 @@ export function evaluateCatalogRelation(rel, inputs) {
             left: named(rel, pair.charge),
             right: named(rel, pair.mobility),
         });
-    return evaluateFormula(rel.expression, adjusted);
-}
-/**
- * Recover the one missing finite input that makes the relation equal `target`.
- * A bracket that does not change sign has no root and throws.
- */
-export function solveCatalogRelation(rel, known, unknown, target = 0) {
-    const f = (value) => evaluateCatalogRelation(rel, { ...known, [unknown]: value }) - target;
-    let lo = 1e-6;
-    let hi = 1;
-    let flo = f(lo);
-    let fhi = f(hi);
-    for (let i = 0; i < 60 && flo * fhi > 0; i += 1) {
-        lo /= 2;
-        hi *= 2;
-        flo = f(lo);
-        fhi = f(hi);
-    }
-    if (!(flo * fhi <= 0)) {
-        throw new Error(`solveCatalogRelation: ${rel.id} has no root for ${unknown}`);
-    }
-    for (let i = 0; i < 80; i += 1) {
-        const mid = (lo + hi) / 2;
-        const fmid = f(mid);
-        if (flo * fmid <= 0) {
-            hi = mid;
-            fhi = fmid;
-        }
-        else {
-            lo = mid;
-            flo = fmid;
-        }
-    }
-    return (lo + hi) / 2;
+    return evaluateFormula(rel.expression, adjusted, rel.sources);
 }
 //# sourceMappingURL=relation-eval.js.map

package/dist/bridges/relation-eval.js.map

@@ -1 +1 @@
-{"version":3,"file":"relation-eval.js","sourceRoot":"","sources":["../../src/bridges/relation-eval.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AACrE,OAAO,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAE7E,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC9E,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAE/C,yDAAyD;AACzD,OAAO,EAAE,gBAAgB,EAAE,CAAC;AAE5B,MAAM,WAAW,GAAG,IAAI,GAAG,EAAwH,CAAC;AAEpJ,SAAS,KAAK,CAAC,GAAoB,EAAE,IAAY;IAC/C,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,KAAK,GAAG,CAAC;AAC3D,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;AACxC,CAAC;AAED,SAAS,YAAY,CAAC,GAAoB;IACxC,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS;QAAE,OAAO,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;IACpE,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,GAAoB;IACpC,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACvC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAC/B,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,MAAM,GAAG,GAA6C,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACnF,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;YACrB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAAE,SAAS;YAChE,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,GAAW,CAAC;YAChB,IAAI,GAAW,CAAC;YAChB,IAAI,CAAC;gBACH,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC;gBACtE,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC;YACzE,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS;YACX,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YACxD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,KAAK,CAAC;YACnD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,KAAK,CAAC;YAClD,IAAI,MAAM,IAAI,CAAC,KAAK;gBAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;gBACrB,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAC5B,IAAI,IAAI,KAAK,QAAQ;oBAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC7C,IAAI,IAAI,KAAK,UAAU;oBAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC7B,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG;QACZ,IAAI;QACJ,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1F,CAAC;IACF,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC/B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,aAAa,CAAC,GAAoB,EAAE,MAAwC;IAC1F,IAAI,CAAC;QACH,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,EAAE,CAAC,GAAG,YAAY,EAAE,CAAC,CAAC,CAAC;IACvE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,UAAU;YAAE,OAAO,KAAK,CAAC;QAC9C,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CACrC,GAAoB,EACpB,MAAwC;IAExC,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,MAAM,QAAQ,GAAG,sBAAsB,CACrC,IAAI,EACJ,MAAM,EACN,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EACpB,IAAI,KAAK,SAAS;QAChB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC;YACE,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG;YACpC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,GAAG;YACtC,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC;YAC7B,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC;SACjC,CACN,CAAC;IACF,OAAO,eAAe,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;AACnD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAClC,GAAoB,EACpB,KAAuC,EACvC,OAAe,EACf,MAAM,GAAG,CAAC;IAEV,MAAM,CAAC,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,uBAAuB,CAAC,GAAG,EAAE,EAAE,GAAG,KAAK,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC;IAC3G,IAAI,EAAE,GAAG,IAAI,CAAC;IACd,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,IAAI,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;IAChB,IAAI,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,GAAG,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,EAAE,IAAI,CAAC,CAAC;QACR,EAAE,IAAI,CAAC,CAAC;QACR,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QACZ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;IACd,CAAC;IACD,IAAI,CAAC,CAAC,GAAG,GAAG,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,yBAAyB,GAAG,CAAC,EAAE,oBAAoB,OAAO,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QACpB,IAAI,GAAG,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC;YACpB,EAAE,GAAG,GAAG,CAAC;YACT,GAAG,GAAG,IAAI,CAAC;QACb,CAAC;aAAM,CAAC;YACN,EAAE,GAAG,GAAG,CAAC;YACT,GAAG,GAAG,IAAI,CAAC;QACb,CAAC;IACH,CAAC;IACD,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;AACvB,CAAC"}
+{"version":3,"file":"relation-eval.js","sourceRoot":"","sources":["../../src/bridges/relation-eval.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAE7E,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC9E,OAAO,EAAE,eAAe,EAAwB,MAAM,eAAe,CAAC;AAEtE,yDAAyD;AACzD,OAAO,EAAE,gBAAgB,EAAE,CAAC;AAE5B,MAAM,WAAW,GAAG,IAAI,GAAG,EAAwH,CAAC;AAEpJ,SAAS,KAAK,CAAC,GAAoB,EAAE,IAAY;IAC/C,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,KAAK,GAAG,CAAC;AAC3D,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;AACxC,CAAC;AAED,SAAS,YAAY,CAAC,GAAoB;IACxC,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS;QAAE,OAAO,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;IACpE,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,GAAoB;IACpC,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACvC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAC/B,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,MAAM,GAAG,GAA6C,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACnF,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;YACrB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAAE,SAAS;YAChE,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,GAAW,CAAC;YAChB,IAAI,GAAW,CAAC;YAChB,IAAI,CAAC;gBACH,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;gBACnF,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;YACtF,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS;YACX,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC7D,gFAAgF;YAChF,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YAClD,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YAClD,IAAI,MAAM,IAAI,CAAC,KAAK;gBAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;gBACrB,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAC5B,IAAI,IAAI,KAAK,QAAQ;oBAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC7C,IAAI,IAAI,KAAK,UAAU;oBAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC7B,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG;QACZ,IAAI;QACJ,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1F,CAAC;IACF,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC/B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAA2B,CAAC;AAEvD;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,GAAoB;IACjD,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACpC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC;IAClC,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IACnF,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAChC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CACrC,GAAoB,EACpB,MAAwC;IAExC,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,MAAM,QAAQ,GAAG,sBAAsB,CACrC,IAAI,EACJ,MAAM,EACN,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EACpB,IAAI,KAAK,SAAS;QAChB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC;YACE,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG;YACpC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,GAAG;YACtC,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC;YAC7B,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC;SACjC,CACN,CAAC;IACF,OAAO,eAAe,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;AAChE,CAAC","sourcesContent":["/**\n * Evaluate one catalog relation: validity condition, carrier-sign policy,\n * and the parsed expression. No per-equation branch.\n *\n * @module bridges/relation-eval\n */\n\nimport { quantityRecord } from '../dimensional/quantity-registry.js';\nimport { withinSymmetric } from '../core/compare.js';\nimport { applyCarrierSignPolicy, CarrierSignError } from './carrier-sign.js';\nimport type { CatalogRelation } from './catalog-types.js';\nimport { evaluateFormula, formulaNames, formulaScope } from './expr-parse.js';\nimport { conditionDomain, type ConditionDomain } from './validity.js';\n\n/** Thrown when two carrier roles have opposite signs. */\nexport { CarrierSignError };\n\nconst parityCache = new Map<string, { readonly even: readonly string[]; readonly pair?: { readonly charge: string; readonly mobility: string } }>();\n\nfunction named(rel: CatalogRelation, name: string): string {\n  const alias = rel.aliases[name]?.[0];\n  return alias === undefined ? name : `${name} (${alias})`;\n}\n\nfunction signRole(name: string): 'charge' | 'mobility' | undefined {\n  return quantityRecord(name)?.signRole;\n}\n\nfunction sampleInputs(rel: CatalogRelation): Record<string, number> | null {\n  if (rel.reference !== undefined) return { ...rel.reference.inputs };\n  if (rel.sources.length === 0) return {};\n  return null;\n}\n\nfunction classify(rel: CatalogRelation): { even: readonly string[]; pair?: { charge: string; mobility: string } } {\n  const cached = parityCache.get(rel.id);\n  if (cached !== undefined) return cached;\n  const base = sampleInputs(rel);\n  const even: string[] = [];\n  const odd: { charge: string[]; mobility: string[] } = { charge: [], mobility: [] };\n  if (base !== null) {\n    for (const name of rel.sources) {\n      const x = base[name];\n      if (x === undefined || x === 0 || !Number.isFinite(x)) continue;\n      const magnitude = Math.abs(x);\n      let pos: number;\n      let neg: number;\n      try {\n        pos = evaluateFormula(rel.expression, { ...base, [name]: magnitude }, rel.sources);\n        neg = evaluateFormula(rel.expression, { ...base, [name]: -magnitude }, rel.sources);\n      } catch {\n        continue;\n      }\n      if (!Number.isFinite(pos) || !Number.isFinite(neg)) continue;\n      // The scale is max(|pos|, |neg|, 1): relative far from one, absolute near zero.\n      const isEven = withinSymmetric(pos, neg, 1e-8, 1);\n      const isOdd = withinSymmetric(pos, -neg, 1e-8, 1);\n      if (isEven && !isOdd) even.push(name);\n      if (isOdd && !isEven) {\n        const role = signRole(name);\n        if (role === 'charge') odd.charge.push(name);\n        if (role === 'mobility') odd.mobility.push(name);\n      }\n    }\n  }\n  const charge = odd.charge[0];\n  const mobility = odd.mobility[0];\n  const found = {\n    even,\n    ...(charge !== undefined && mobility !== undefined ? { pair: { charge, mobility } } : {}),\n  };\n  parityCache.set(rel.id, found);\n  return found;\n}\n\nconst domainCache = new Map<string, ConditionDomain>();\n\n/**\n * The relation's validity domain, read from its `holds`: the predicate, the\n * description and the violated conditions all come from that one text.\n */\nexport function relationDomain(rel: CatalogRelation): ConditionDomain {\n  const hit = domainCache.get(rel.id);\n  if (hit !== undefined) return hit;\n  const domain = conditionDomain(rel.holds, formulaNames, formulaScope, rel.sources);\n  domainCache.set(rel.id, domain);\n  return domain;\n}\n\n/**\n * The relation's number at `inputs`. The caller has already checked the\n * validity condition. Opposite carrier signs throw {@link CarrierSignError}.\n */\nexport function evaluateCatalogRelation(\n  rel: CatalogRelation,\n  inputs: Readonly<Record<string, number>>,\n): number {\n  const policy = classify(rel);\n  const pair = policy.pair;\n  const adjusted = applyCarrierSignPolicy(\n    null,\n    inputs,\n    new Set(policy.even),\n    pair === undefined\n      ? undefined\n      : {\n          a: inputs[pair.charge] ?? Number.NaN,\n          b: inputs[pair.mobility] ?? Number.NaN,\n          left: named(rel, pair.charge),\n          right: named(rel, pair.mobility),\n        },\n  );\n  return evaluateFormula(rel.expression, adjusted, rel.sources);\n}\n"]}

package/dist/bridges/rhs-registry.js.map

@@ -1 +1 @@
-{"version":3,"file":"rhs-registry.js","sourceRoot":"","sources":["../../src/bridges/rhs-registry.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACnF,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AAEzD,iGAAiG;AACjG,OAAO,EAAE,aAAa,EAAE,CAAC;AAEzB,4DAA4D;AAC5D,MAAM,CAAC,MAAM,gBAAgB,GAAkC,IAAI,GAAG,CACpE,cAAc,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;IACjC,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,UAAU,IAAI,KAAK,CAAC,gBAAgB,CAAC;IACnF,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACxC,OAAO,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,sBAAsB,CAAC,UAAU,CAAC,CAAU,CAAC,CAAC;AACnE,CAAC,CAAC,CACH,CAAC"}
+{"version":3,"file":"rhs-registry.js","sourceRoot":"","sources":["../../src/bridges/rhs-registry.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACnF,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AAEzD,iGAAiG;AACjG,OAAO,EAAE,aAAa,EAAE,CAAC;AAEzB,4DAA4D;AAC5D,MAAM,CAAC,MAAM,gBAAgB,GAAkC,IAAI,GAAG,CACpE,cAAc,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;IACjC,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,UAAU,IAAI,KAAK,CAAC,gBAAgB,CAAC;IACnF,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACxC,OAAO,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,sBAAsB,CAAC,UAAU,CAAC,CAAU,CAAC,CAAC;AACnE,CAAC,CAAC,CACH,CAAC","sourcesContent":["/**\n * Right-hand side of each catalog id that has a relation, projected from\n * that relation's expression.\n *\n * @module bridges/rhs-registry\n */\n\nimport type { ExprNode } from '../dimensional/ast-types.js';\nimport { catalogEntries, parseBridgeId, primaryRelation } from './catalog-load.js';\nimport { parseCatalogExpression } from './expr-parse.js';\n\n/** Parse `42`, `be-42`, or `BE-42` into a catalog id. This module re-exports the only parser. */\nexport { parseBridgeId };\n\n/** Catalog id → expression tree of its primary relation. */\nexport const BRIDGE_RHS_BY_ID: ReadonlyMap<number, ExprNode> = new Map(\n  catalogEntries().flatMap((entry) => {\n    const expression = primaryRelation(entry.id)?.expression ?? entry.scalarExpression;\n    if (expression === undefined) return [];\n    return [[entry.id, parseCatalogExpression(expression)] as const];\n  }),\n);\n"]}