universal-physics-tensor 1.0.1 → 1.0.3

package/dist/composition/edges/catalog-gravitation-cosmology.js

@@ -6,6 +6,9 @@
  *
  * @module composition/edges/catalog-gravitation-cosmology
  */
+import { DIMENSIONLESS } from '../../dimensional/types.js';
+import { sym } from '../../dimensional/ast-builders.js';
+import { CONSTANTS } from '../../dimensional/symbolic-constants.js';
 import { evaluateBBNDark } from '../../bridges/equations/be-47-bbn-dark-sector.js';
 import { evaluateBenincasaDowker } from '../../bridges/equations/be-31-causal-set-bd.js';
 import { evaluateCosmologicalConstantDensity } from '../../bridges/equations/be-20-vacuum-energy.js';
@@ -108,10 +111,35 @@ export const be31Edge = {
  * Mirrors BE-14's SI convention; uses a distinct `wormhole-*` source/target so
  * it does not silently fuse with the BE-14 Ryu-Takayanagi nodes (different
  * geometry: bulk minimal surface vs. ER bridge cross-section).
+ * S = k_B c³ A / (4 G ℏ), which is k_B A / (4 ℓ_P²).
  *
  * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
  * export for the 26-edge tranche — root-surface budget decision).
  */
+const BE43_SYMBOLIC = {
+    kind: 'op',
+    op: '/',
+    args: [
+        {
+            kind: 'op',
+            op: '*',
+            args: [
+                sym('k_B', CONSTANTS.k_B.dim),
+                { kind: 'op', op: '^', args: [sym('c', CONSTANTS.c.dim), sym('3', DIMENSIONLESS)] },
+                sym(wormholeCrossSectionAreaQ.name, wormholeCrossSectionAreaQ.dim),
+            ],
+        },
+        {
+            kind: 'op',
+            op: '*',
+            args: [
+                sym('4', DIMENSIONLESS),
+                sym('G', CONSTANTS.G.dim),
+                sym('hbar', CONSTANTS.hbar.dim),
+            ],
+        },
+    ],
+};
 export const be43Edge = {
     id: 'be-43',
     beId: 43,
@@ -126,6 +154,7 @@ export const be43Edge = {
             i['wormhole-cross-section-area'] >= 0,
     },
     evaluate: (i) => evaluateEREPRBound({ area_m2: i['wormhole-cross-section-area'] }),
+    symbolic: BE43_SYMBOLIC,
     citation: 'Maldacena & Susskind 2013 Fortschr. Phys. 61:781; Bekenstein 1973 PRD 7:2333',
 };
 /**

package/dist/composition/edges/catalog-gravitation-cosmology.js.map

@@ -1 +1 @@
-{"version":3,"file":"catalog-gravitation-cosmology.js","sourceRoot":"","sources":["../../../src/composition/edges/catalog-gravitation-cosmology.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,kDAAkD,CAAC;AACnF,OAAO,EAAE,uBAAuB,EAAE,MAAM,gDAAgD,CAAC;AACzF,OAAO,EAAE,mCAAmC,EAAE,MAAM,gDAAgD,CAAC;AACrG,OAAO,EAAE,kBAAkB,EAAE,MAAM,yCAAyC,CAAC;AAC7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,gDAAgD,CAAC;AACrF,OAAO,EAAE,WAAW,EAAE,MAAM,sCAAsC,CAAC;AACnE,OAAO,EAAE,yBAAyB,EAAE,MAAM,qDAAqD,CAAC;AAEhG,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,8BAA8B,EAC9B,4BAA4B,EAC5B,mBAAmB,EACnB,6BAA6B,EAC7B,WAAW,EACX,sBAAsB,EACtB,kBAAkB,EAClB,mBAAmB,EACnB,UAAU,EACV,qBAAqB,EACrB,4BAA4B,EAC5B,eAAe,EACf,oBAAoB,EACpB,iBAAiB,EACjB,aAAa,EACb,iBAAiB,EACjB,cAAc,EACd,YAAY,EACZ,0BAA0B,EAC1B,yBAAyB,EACzB,oBAAoB,EACpB,mBAAmB,EACnB,yBAAyB,EACzB,4BAA4B,GAC7B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAE5E;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,kDAAkD;IACzD,OAAO,EAAE,CAAC,8BAA8B,CAAC;IACzC,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,wBAAwB;QACrC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC;YAC3C,CAAC,CAAC,iCAAiC,CAAC,IAAI,CAAC;KAC5C;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,mCAAmC,CAAC;QAClC,aAAa,EAAE,CAAC,CAAC,iCAAiC,CAAC;KACpD,CAAC;IACJ,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,iEAAiE;CAC5E,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,8BAA8B;IACrC,OAAO,EAAE,CAAC,4BAA4B,CAAC;IACvC,MAAM,EAAE,6BAA6B;IACrC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,sBAAsB;QACnC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC;KAC5D;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,mBAAmB,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,+BAA+B,CAAC,EAAE,CAAC;IAC5E,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,kFAAkF;CAC7F,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,6DAA6D;IACpE,OAAO,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,aAAa,CAAC;IAChG,MAAM,EAAE,YAAY;IACpB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,0BAA0B;QACvC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;YACzB,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC;KACzB;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,uBAAuB,CAAC;QACtB,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC5B,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC5B,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC5B,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC5B,KAAK,EAAE,CAAC,CAAC,eAAe,CAAC;KAC1B,CAAC;IACJ,QAAQ,EAAE,wCAAwC;CACnD,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,wCAAwC;IAC/C,OAAO,EAAE,CAAC,yBAAyB,CAAC;IACpC,MAAM,EAAE,4BAA4B;IACpC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,qBAAqB;QAClC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC;YACvC,CAAC,CAAC,6BAA6B,CAAC,IAAI,CAAC;KACxC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,kBAAkB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,6BAA6B,CAAC,EAAE,CAAC;IACnE,QAAQ,EAAE,8EAA8E;CACzF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,oDAAoD;IAC3D,OAAO,EAAE,CAAC,iBAAiB,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,yBAAyB,CAAC;IACrG,MAAM,EAAE,UAAU;IAClB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,qCAAqC;QAClD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC;YAC3B,KAAK,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC;YACnC,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC;YAChC,KAAK,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC;YAClC,CAAC,CAAC,wBAAwB,CAAC,GAAG,CAAC;YAC/B,KAAK,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC;KACzC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,WAAW,CAAC;QACV,OAAO,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAChC,SAAS,EAAE,CAAC,CAAC,yBAAyB,CAAC;QACvC,CAAC,EAAE,CAAC,CAAC,wBAAwB,CAAC;QAC9B,KAAK,EAAE,CAAC,CAAC,4BAA4B,CAAC;KACvC,CAAC;IACJ,QAAQ,EAAE,wCAAwC;CACnD,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,0CAA0C;IACjD,OAAO,EAAE,CAAC,qBAAqB,EAAE,wBAAwB,EAAE,mBAAmB,CAAC;IAC/E,MAAM,EAAE,qBAAqB;IAC7B,UAAU,EAAE,oBAAoB;IAChC,MAAM,EAAE;QACN,WAAW,EAAE,oBAAoB;QACjC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;YACjC,KAAK,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC;YACrC,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;YAC/B,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC;KAC/B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,yBAAyB,CAAC;QACxB,aAAa,EAAE,CAAC,CAAC,uBAAuB,CAAC;QACzC,KAAK,EAAE,CAAC,CAAC,2BAA2B,CAAC;QACrC,MAAM,EAAE,CAAC,CAAC,qBAAqB,CAAC;KACjC,CAAC;IACJ,QAAQ,EAAE,qDAAqD;CAChE,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,kEAAkE;IACzE,OAAO,EAAE;QACP,WAAW;QACX,oBAAoB;QACpB,0BAA0B;QAC1B,cAAc;QACd,eAAe;QACf,4BAA4B;QAC5B,mBAAmB;QACnB,mBAAmB;KACpB;IACD,MAAM,EAAE,iBAAiB;IACzB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,mCAAmC;QAChD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YACvB,KAAK,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;YACjC,KAAK,CAAC,CAAC,CAAC,8BAA8B,CAAC,CAAC;YACxC,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC1B,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC3B,KAAK,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC;YAC1C,KAAK,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;YAChC,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;KAClC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,eAAe,CAAC;QACd,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC;QACnB,CAAC,EAAE,CAAC,CAAC,uBAAuB,CAAC;QAC7B,SAAS,EAAE,CAAC,CAAC,8BAA8B,CAAC;QAC5C,GAAG,EAAE,CAAC,CAAC,gBAAgB,CAAC;QACxB,GAAG,EAAE,CAAC,CAAC,iBAAiB,CAAC;QACzB,WAAW,EAAE,CAAC,CAAC,gCAAgC,CAAC;QAChD,KAAK,EAAE,CAAC,CAAC,sBAAsB,CAAC;QAChC,YAAY,EAAE,CAAC,CAAC,qBAAqB,CAAC;KACvC,CAAC;IACJ,QAAQ,EAAE,8DAA8D;CACzE,CAAC"}
+{"version":3,"file":"catalog-gravitation-cosmology.js","sourceRoot":"","sources":["../../../src/composition/edges/catalog-gravitation-cosmology.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACpE,OAAO,EAAE,eAAe,EAAE,MAAM,kDAAkD,CAAC;AACnF,OAAO,EAAE,uBAAuB,EAAE,MAAM,gDAAgD,CAAC;AACzF,OAAO,EAAE,mCAAmC,EAAE,MAAM,gDAAgD,CAAC;AACrG,OAAO,EAAE,kBAAkB,EAAE,MAAM,yCAAyC,CAAC;AAC7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,gDAAgD,CAAC;AACrF,OAAO,EAAE,WAAW,EAAE,MAAM,sCAAsC,CAAC;AACnE,OAAO,EAAE,yBAAyB,EAAE,MAAM,qDAAqD,CAAC;AAEhG,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,8BAA8B,EAC9B,4BAA4B,EAC5B,mBAAmB,EACnB,6BAA6B,EAC7B,WAAW,EACX,sBAAsB,EACtB,kBAAkB,EAClB,mBAAmB,EACnB,UAAU,EACV,qBAAqB,EACrB,4BAA4B,EAC5B,eAAe,EACf,oBAAoB,EACpB,iBAAiB,EACjB,aAAa,EACb,iBAAiB,EACjB,cAAc,EACd,YAAY,EACZ,0BAA0B,EAC1B,yBAAyB,EACzB,oBAAoB,EACpB,mBAAmB,EACnB,yBAAyB,EACzB,4BAA4B,GAC7B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAE5E;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,kDAAkD;IACzD,OAAO,EAAE,CAAC,8BAA8B,CAAC;IACzC,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,wBAAwB;QACrC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC;YAC3C,CAAC,CAAC,iCAAiC,CAAC,IAAI,CAAC;KAC5C;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,mCAAmC,CAAC;QAClC,aAAa,EAAE,CAAC,CAAC,iCAAiC,CAAC;KACpD,CAAC;IACJ,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,iEAAiE;CAC5E,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,8BAA8B;IACrC,OAAO,EAAE,CAAC,4BAA4B,CAAC;IACvC,MAAM,EAAE,6BAA6B;IACrC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,sBAAsB;QACnC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC;KAC5D;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,mBAAmB,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,+BAA+B,CAAC,EAAE,CAAC;IAC5E,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,kFAAkF;CAC7F,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,6DAA6D;IACpE,OAAO,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,aAAa,CAAC;IAChG,MAAM,EAAE,YAAY;IACpB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,0BAA0B;QACvC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;YACzB,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC;KACzB;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,uBAAuB,CAAC;QACtB,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC5B,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC5B,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC5B,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC5B,KAAK,EAAE,CAAC,CAAC,eAAe,CAAC;KAC1B,CAAC;IACJ,QAAQ,EAAE,wCAAwC;CACnD,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,aAAa,GAAa;IAC9B,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;gBAC7B,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE;gBACnF,GAAG,CAAC,yBAAyB,CAAC,IAAI,EAAE,yBAAyB,CAAC,GAAG,CAAC;aACnE;SACF;QACD;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC;gBACzB,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC;aAChC;SACF;KACF;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,wCAAwC;IAC/C,OAAO,EAAE,CAAC,yBAAyB,CAAC;IACpC,MAAM,EAAE,4BAA4B;IACpC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,qBAAqB;QAClC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC;YACvC,CAAC,CAAC,6BAA6B,CAAC,IAAI,CAAC;KACxC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,kBAAkB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,6BAA6B,CAAC,EAAE,CAAC;IACnE,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,8EAA8E;CACzF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,oDAAoD;IAC3D,OAAO,EAAE,CAAC,iBAAiB,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,yBAAyB,CAAC;IACrG,MAAM,EAAE,UAAU;IAClB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,qCAAqC;QAClD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC;YAC3B,KAAK,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC;YACnC,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC;YAChC,KAAK,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC;YAClC,CAAC,CAAC,wBAAwB,CAAC,GAAG,CAAC;YAC/B,KAAK,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC;KACzC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,WAAW,CAAC;QACV,OAAO,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAChC,SAAS,EAAE,CAAC,CAAC,yBAAyB,CAAC;QACvC,CAAC,EAAE,CAAC,CAAC,wBAAwB,CAAC;QAC9B,KAAK,EAAE,CAAC,CAAC,4BAA4B,CAAC;KACvC,CAAC;IACJ,QAAQ,EAAE,wCAAwC;CACnD,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,0CAA0C;IACjD,OAAO,EAAE,CAAC,qBAAqB,EAAE,wBAAwB,EAAE,mBAAmB,CAAC;IAC/E,MAAM,EAAE,qBAAqB;IAC7B,UAAU,EAAE,oBAAoB;IAChC,MAAM,EAAE;QACN,WAAW,EAAE,oBAAoB;QACjC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;YACjC,KAAK,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC;YACrC,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;YAC/B,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC;KAC/B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,yBAAyB,CAAC;QACxB,aAAa,EAAE,CAAC,CAAC,uBAAuB,CAAC;QACzC,KAAK,EAAE,CAAC,CAAC,2BAA2B,CAAC;QACrC,MAAM,EAAE,CAAC,CAAC,qBAAqB,CAAC;KACjC,CAAC;IACJ,QAAQ,EAAE,qDAAqD;CAChE,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,kEAAkE;IACzE,OAAO,EAAE;QACP,WAAW;QACX,oBAAoB;QACpB,0BAA0B;QAC1B,cAAc;QACd,eAAe;QACf,4BAA4B;QAC5B,mBAAmB;QACnB,mBAAmB;KACpB;IACD,MAAM,EAAE,iBAAiB;IACzB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,mCAAmC;QAChD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YACvB,KAAK,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;YACjC,KAAK,CAAC,CAAC,CAAC,8BAA8B,CAAC,CAAC;YACxC,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC1B,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC3B,KAAK,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC;YAC1C,KAAK,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;YAChC,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;KAClC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,eAAe,CAAC;QACd,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC;QACnB,CAAC,EAAE,CAAC,CAAC,uBAAuB,CAAC;QAC7B,SAAS,EAAE,CAAC,CAAC,8BAA8B,CAAC;QAC5C,GAAG,EAAE,CAAC,CAAC,gBAAgB,CAAC;QACxB,GAAG,EAAE,CAAC,CAAC,iBAAiB,CAAC;QACzB,WAAW,EAAE,CAAC,CAAC,gCAAgC,CAAC;QAChD,KAAK,EAAE,CAAC,CAAC,sBAAsB,CAAC;QAChC,YAAY,EAAE,CAAC,CAAC,qBAAqB,CAAC;KACvC,CAAC;IACJ,QAAQ,EAAE,8DAA8D;CACzE,CAAC"}

package/dist/composition/edges/catalog-quantum.d.ts

@@ -71,15 +71,5 @@ export declare const be26Edge: BridgeEdge;
  * export for the 26-edge tranche — root-surface budget decision).
  */
 export declare const be49Edge: BridgeEdge;
-/**
- * BE-50 Wheeler-Feynman time-symmetry residual: (retarded-field-amplitude,
- * advanced-field-amplitude) → r_TS = (A_ret − A_adv)/(A_ret + A_adv). Wraps
- * `evaluateWFTimeSymmetry` (any consistent amplitude unit; returns
- * dimensionless). The evaluator throws RangeError when A_ret + A_adv = 0; the
- * domain rejects that case so `evaluateEdge` surfaces DomainViolationError.
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
 export declare const be50Edge: BridgeEdge;
 //# sourceMappingURL=catalog-quantum.d.ts.map

package/dist/composition/edges/catalog-quantum.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"catalog-quantum.d.ts","sourceRoot":"","sources":["../../../src/composition/edges/catalog-quantum.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAYH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAwD7C;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,QAAQ,EAAE,UAmCtB,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UAoBtB,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,QAAQ,EAAE,UAsBtB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,QAAQ,EAAE,UAyBtB,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UAgCtB,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UAyBtB,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,QAAQ,EAAE,UAqBtB,CAAC"}
+{"version":3,"file":"catalog-quantum.d.ts","sourceRoot":"","sources":["../../../src/composition/edges/catalog-quantum.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAWH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAwD7C;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,QAAQ,EAAE,UAmCtB,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UAoBtB,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,QAAQ,EAAE,UAsBtB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,QAAQ,EAAE,UAyBtB,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UAgCtB,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UAyBtB,CAAC;AA4BF,eAAO,MAAM,QAAQ,EAAE,UAiBtB,CAAC"}

package/dist/composition/edges/catalog-quantum.js

@@ -14,8 +14,7 @@ import { evaluateEinsteinTrace } from '../../bridges/equations/be-13-einstein-tr
 import { evaluateFRETEfficiency } from '../../bridges/equations/be-24-foerster-fret.js';
 import { evaluateIntrinsicInformation } from '../../bridges/equations/be-25-iit-phi.js';
 import { evaluateQuantumDarwinism } from '../../bridges/equations/be-49-quantum-darwinism.js';
-import { evaluateWFTimeSymmetry } from '../../bridges/equations/be-50-wheeler-feynman.js';
-import { advancedFieldAmplitudeQ, attemptFrequencyQ, barrierHeightQ, barrierWidthQ, biologicalRateCorrectionQ, conditionalProbabilityQ, cosmologicalConstantCurvatureQ, darwinismDecayExponentQ, darwinismMagnitudeQ, decoherenceRateQ, donorAcceptorDistanceQ, foersterRadiusQ, fragmentCountQ, fragmentMutualInformationQ, fretEfficiencyQ, intrinsicInformationQ, marginalProbabilityQ, mutationRateQ, referenceCouplingQ, relaxationRateQ, retardedFieldAmplitudeQ, ricciScalarQ, stressEnergyTraceQ, systemEnvironmentCouplingQ, timeSymmetryResidualQ, totalMutualInformationQ, tunnelingMassQ, } from '../quantities.js';
+import { advancedFieldAmplitudeQ, attemptFrequencyQ, barrierHeightQ, barrierWidthQ, biologicalRateCorrectionQ, conditionalProbabilityQ, cosmologicalConstantCurvatureQ, darwinismDecayExponentQ, darwinismMagnitudeQ, decoherenceRateQ, donorAcceptorDistanceQ, foersterRadiusQ, fragmentCountQ, fragmentMutualInformationQ, fretEfficiencyQ, intrinsicInformationQ, marginalProbabilityQ, mutationRateQ, referenceCouplingQ, relaxationRateQ, retardedFieldAmplitudeQ, ricciScalarQ, stressEnergyTraceQ, systemEnvironmentCouplingQ, timeSymmetricFieldAmplitudeQ, totalMutualInformationQ, tunnelingMassQ, } from '../quantities.js';
 import { isFin } from './_catalog-helpers.js';
 /** γ_k = γ_0 (λ / λ_0)², leaves in graph quantity names. */
 const BE11_MASTER_SYMBOLIC = {
@@ -255,33 +254,44 @@ export const be49Edge = {
     citation: 'Zurek 2009 Nat. Phys. 5:181; Blume-Kohout & Zurek 2006 PRA 73:062310',
 };
 /**
- * BE-50 Wheeler-Feynman time-symmetry residual: (retarded-field-amplitude,
- * advanced-field-amplitude) → r_TS = (A_ret − A_adv)/(A_ret + A_adv). Wraps
- * `evaluateWFTimeSymmetry` (any consistent amplitude unit; returns
- * dimensionless). The evaluator throws RangeError when A_ret + A_adv = 0; the
- * domain rejects that case so `evaluateEdge` surfaces DomainViolationError.
+ * BE-50 Wheeler-Feynman time-symmetric field:
+ * A = (A_ret + A_adv)/2. This is the catalog `formula_latex` and the
+ * PhysJS statement. The residual r = (A_ret − A_adv)/(A_ret + A_adv)
+ * remains `evaluateWFTimeSymmetry` and `time-symmetry-residual`; it is
+ * not the theorem, so the edge no longer evaluates it.
  *
  * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
  * export for the 26-edge tranche — root-surface budget decision).
  */
+const BE50_SYMBOLIC = {
+    kind: 'op',
+    op: '/',
+    args: [
+        {
+            kind: 'op',
+            op: '+',
+            args: [
+                sym(retardedFieldAmplitudeQ.name, retardedFieldAmplitudeQ.dim),
+                sym(advancedFieldAmplitudeQ.name, advancedFieldAmplitudeQ.dim),
+            ],
+        },
+        sym('2', DIMENSIONLESS),
+    ],
+};
 export const be50Edge = {
     id: 'be-50',
     beId: 50,
     kind: 'bridge',
-    label: 'Wheeler-Feynman residual r_TS = (A_ret − A_adv)/(A_ret + A_adv)',
+    label: 'Wheeler-Feynman A = (A_ret + A_adv)/2',
     sources: [retardedFieldAmplitudeQ, advancedFieldAmplitudeQ],
-    target: timeSymmetryResidualQ,
+    target: timeSymmetricFieldAmplitudeQ,
     confidence: 'highly-speculative',
     domain: {
-        description: 'A_ret, A_adv finite and A_ret + A_adv ≠ 0',
-        predicate: (i) => isFin(i['retarded-field-amplitude']) &&
-            isFin(i['advanced-field-amplitude']) &&
-            i['retarded-field-amplitude'] + i['advanced-field-amplitude'] !== 0,
+        description: 'A_ret and A_adv finite',
+        predicate: (i) => isFin(i['retarded-field-amplitude']) && isFin(i['advanced-field-amplitude']),
     },
-    evaluate: (i) => evaluateWFTimeSymmetry({
-        A_retarded: i['retarded-field-amplitude'],
-        A_advanced: i['advanced-field-amplitude'],
-    }),
+    evaluate: (i) => (i['retarded-field-amplitude'] + i['advanced-field-amplitude']) / 2,
+    symbolic: BE50_SYMBOLIC,
     citation: 'Wheeler & Feynman 1945 RMP 17:157; Cramer 1986 RMP 58:647',
 };
 //# sourceMappingURL=catalog-quantum.js.map

package/dist/composition/edges/catalog-quantum.js.map

@@ -1 +1 @@
-{"version":3,"file":"catalog-quantum.js","sourceRoot":"","sources":["../../../src/composition/edges/catalog-quantum.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAEtE,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EAAE,oBAAoB,EAAE,MAAM,gDAAgD,CAAC;AACtF,OAAO,EAAE,uBAAuB,EAAE,MAAM,qDAAqD,CAAC;AAC9F,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gDAAgD,CAAC;AACxF,OAAO,EAAE,4BAA4B,EAAE,MAAM,0CAA0C,CAAC;AACxF,OAAO,EAAE,wBAAwB,EAAE,MAAM,oDAAoD,CAAC;AAC9F,OAAO,EAAE,sBAAsB,EAAE,MAAM,kDAAkD,CAAC;AAE1F,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,cAAc,EACd,aAAa,EACb,yBAAyB,EACzB,uBAAuB,EACvB,8BAA8B,EAC9B,uBAAuB,EACvB,mBAAmB,EACnB,gBAAgB,EAChB,sBAAsB,EACtB,eAAe,EACf,cAAc,EACd,0BAA0B,EAC1B,eAAe,EACf,qBAAqB,EACrB,oBAAoB,EACpB,aAAa,EACb,kBAAkB,EAClB,eAAe,EACf,uBAAuB,EACvB,YAAY,EACZ,kBAAkB,EAClB,0BAA0B,EAC1B,qBAAqB,EACrB,uBAAuB,EACvB,cAAc,GACf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAE9C,4DAA4D;AAC5D,MAAM,oBAAoB,GAAa;IACrC,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ,GAAG,CAAC,iBAAiB,EAAE,SAAS,CAAC;QACjC;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI;oBACV,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE;wBACJ,GAAG,CAAC,6BAA6B,EAAE,aAAa,CAAC;wBACjD,GAAG,CAAC,oBAAoB,EAAE,aAAa,CAAC;qBACzC;iBACF;gBACD,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB;SACF;KACF;CACF,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,cAAc;IAClB,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,4CAA4C;IACnD,OAAO,EAAE,CAAC,eAAe,EAAE,0BAA0B,EAAE,kBAAkB,CAAC;IAC1E,MAAM,EAAE,gBAAgB;IACxB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,4BAA4B;QACzC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC3B,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC;YACzB,KAAK,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC;YACvC,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC;KAC9B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,uBAAuB,CAAC;QACtB,YAAY,EAAE,CAAC,CAAC,iBAAiB,CAAC;QAClC,MAAM,EAAE,CAAC,CAAC,6BAA6B,CAAC;QACxC,OAAO,EAAE,CAAC,CAAC,oBAAoB,CAAC;KACjC,CAAC;IACJ,QAAQ,EAAE,oBAAoB;IAC9B,QAAQ,EAAE,qEAAqE;IAC/E,+EAA+E;IAC/E,sEAAsE;IACtE,wEAAwE;IACxE,QAAQ,EAAE;QACR,IAAI,EAAE,iBAAiB;QACvB,cAAc,EACZ,yEAAyE;YACzE,qEAAqE;YACrE,kBAAkB;KACrB;CACF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,oCAAoC;IAC3C,OAAO,EAAE,CAAC,8BAA8B,EAAE,kBAAkB,CAAC;IAC7D,MAAM,EAAE,YAAY;IACpB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,yBAAyB;QACtC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC;YAC3C,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;KAClC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC;QACpB,aAAa,EAAE,CAAC,CAAC,iCAAiC,CAAC;QACnD,gBAAgB,EAAE,CAAC,CAAC,qBAAqB,CAAC;KAC3C,CAAC;IACJ,QAAQ,EAAE,kDAAkD;CAC7D,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,sCAAsC;IAC7C,OAAO,EAAE,CAAC,sBAAsB,EAAE,eAAe,CAAC;IAClD,MAAM,EAAE,eAAe;IACvB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,mBAAmB;QAChC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC;YACnC,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC;YAChC,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC3B,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC;KAC3B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,sBAAsB,CAAC;QACrB,CAAC,EAAE,CAAC,CAAC,yBAAyB,CAAC;QAC/B,GAAG,EAAE,CAAC,CAAC,iBAAiB,CAAC;KAC1B,CAAC;IACJ,QAAQ,EAAE,iFAAiF;CAC5F,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,4DAA4D;IACnE,OAAO,EAAE,CAAC,uBAAuB,EAAE,oBAAoB,CAAC;IACxD,MAAM,EAAE,qBAAqB;IAC7B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,sEAAsE;QACnF,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE;YACf,MAAM,EAAE,GAAG,CAAC,CAAC,yBAAyB,CAAC,CAAC;YACxC,MAAM,EAAE,GAAG,CAAC,CAAC,sBAAsB,CAAC,CAAC;YACrC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;YACjD,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;YACjD,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YACrC,OAAO,IAAI,CAAC;QACd,CAAC;KACF;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,4BAA4B,CAAC;QAC3B,MAAM,EAAE,CAAC,CAAC,yBAAyB,CAAC;QACpC,MAAM,EAAE,CAAC,CAAC,sBAAsB,CAAC;KAClC,CAAC;IACJ,QAAQ,EAAE,kGAAkG;CAC7G,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,gDAAgD;IACvD,OAAO,EAAE,CAAC,iBAAiB,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,yBAAyB,CAAC;IACtG,MAAM,EAAE,aAAa;IACrB,oEAAoE;IACpE,2EAA2E;IAC3E,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,qDAAqD;QAClE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;YAC7B,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC3B,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC1B,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC;YACvB,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC1B,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACxB,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;YACzB,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC;YACtB,KAAK,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC;KACzC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,oBAAoB,CAAC;QACnB,IAAI,EAAE,CAAC,CAAC,mBAAmB,CAAC;QAC5B,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC;QACtB,SAAS,EAAE,CAAC,CAAC,gBAAgB,CAAC;QAC9B,aAAa,EAAE,CAAC,CAAC,eAAe,CAAC;QACjC,YAAY,EAAE,CAAC,CAAC,4BAA4B,CAAC;KAC9C,CAAC;IACJ,QAAQ,EAAE,kDAAkD;CAC7D,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,gDAAgD;IACvD,OAAO,EAAE,CAAC,uBAAuB,EAAE,mBAAmB,EAAE,cAAc,EAAE,uBAAuB,CAAC;IAChG,MAAM,EAAE,0BAA0B;IAClC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,4BAA4B;QACzC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;YACpC,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;YAC/B,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC1B,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC;YACvB,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;KACvC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,wBAAwB,CAAC;QACvB,IAAI,EAAE,CAAC,CAAC,0BAA0B,CAAC;QACnC,KAAK,EAAE,CAAC,CAAC,qBAAqB,CAAC;QAC/B,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC;QACtB,IAAI,EAAE,CAAC,CAAC,0BAA0B,CAAC;KACpC,CAAC;IACJ,QAAQ,EAAE,sEAAsE;CACjF,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,iEAAiE;IACxE,OAAO,EAAE,CAAC,uBAAuB,EAAE,uBAAuB,CAAC;IAC3D,MAAM,EAAE,qBAAqB;IAC7B,UAAU,EAAE,oBAAoB;IAChC,MAAM,EAAE;QACN,WAAW,EAAE,2CAA2C;QACxD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;YACpC,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;YACpC,CAAC,CAAC,0BAA0B,CAAC,GAAG,CAAC,CAAC,0BAA0B,CAAC,KAAK,CAAC;KACtE;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,sBAAsB,CAAC;QACrB,UAAU,EAAE,CAAC,CAAC,0BAA0B,CAAC;QACzC,UAAU,EAAE,CAAC,CAAC,0BAA0B,CAAC;KAC1C,CAAC;IACJ,QAAQ,EAAE,2DAA2D;CACtE,CAAC"}
+{"version":3,"file":"catalog-quantum.js","sourceRoot":"","sources":["../../../src/composition/edges/catalog-quantum.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAEtE,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EAAE,oBAAoB,EAAE,MAAM,gDAAgD,CAAC;AACtF,OAAO,EAAE,uBAAuB,EAAE,MAAM,qDAAqD,CAAC;AAC9F,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gDAAgD,CAAC;AACxF,OAAO,EAAE,4BAA4B,EAAE,MAAM,0CAA0C,CAAC;AACxF,OAAO,EAAE,wBAAwB,EAAE,MAAM,oDAAoD,CAAC;AAE9F,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,cAAc,EACd,aAAa,EACb,yBAAyB,EACzB,uBAAuB,EACvB,8BAA8B,EAC9B,uBAAuB,EACvB,mBAAmB,EACnB,gBAAgB,EAChB,sBAAsB,EACtB,eAAe,EACf,cAAc,EACd,0BAA0B,EAC1B,eAAe,EACf,qBAAqB,EACrB,oBAAoB,EACpB,aAAa,EACb,kBAAkB,EAClB,eAAe,EACf,uBAAuB,EACvB,YAAY,EACZ,kBAAkB,EAClB,0BAA0B,EAC1B,4BAA4B,EAC5B,uBAAuB,EACvB,cAAc,GACf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAE9C,4DAA4D;AAC5D,MAAM,oBAAoB,GAAa;IACrC,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ,GAAG,CAAC,iBAAiB,EAAE,SAAS,CAAC;QACjC;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI;oBACV,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE;wBACJ,GAAG,CAAC,6BAA6B,EAAE,aAAa,CAAC;wBACjD,GAAG,CAAC,oBAAoB,EAAE,aAAa,CAAC;qBACzC;iBACF;gBACD,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB;SACF;KACF;CACF,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,cAAc;IAClB,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,4CAA4C;IACnD,OAAO,EAAE,CAAC,eAAe,EAAE,0BAA0B,EAAE,kBAAkB,CAAC;IAC1E,MAAM,EAAE,gBAAgB;IACxB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,4BAA4B;QACzC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC3B,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC;YACzB,KAAK,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC;YACvC,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC;KAC9B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,uBAAuB,CAAC;QACtB,YAAY,EAAE,CAAC,CAAC,iBAAiB,CAAC;QAClC,MAAM,EAAE,CAAC,CAAC,6BAA6B,CAAC;QACxC,OAAO,EAAE,CAAC,CAAC,oBAAoB,CAAC;KACjC,CAAC;IACJ,QAAQ,EAAE,oBAAoB;IAC9B,QAAQ,EAAE,qEAAqE;IAC/E,+EAA+E;IAC/E,sEAAsE;IACtE,wEAAwE;IACxE,QAAQ,EAAE;QACR,IAAI,EAAE,iBAAiB;QACvB,cAAc,EACZ,yEAAyE;YACzE,qEAAqE;YACrE,kBAAkB;KACrB;CACF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,oCAAoC;IAC3C,OAAO,EAAE,CAAC,8BAA8B,EAAE,kBAAkB,CAAC;IAC7D,MAAM,EAAE,YAAY;IACpB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,yBAAyB;QACtC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC;YAC3C,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;KAClC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC;QACpB,aAAa,EAAE,CAAC,CAAC,iCAAiC,CAAC;QACnD,gBAAgB,EAAE,CAAC,CAAC,qBAAqB,CAAC;KAC3C,CAAC;IACJ,QAAQ,EAAE,kDAAkD;CAC7D,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,sCAAsC;IAC7C,OAAO,EAAE,CAAC,sBAAsB,EAAE,eAAe,CAAC;IAClD,MAAM,EAAE,eAAe;IACvB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,mBAAmB;QAChC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC;YACnC,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC;YAChC,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC3B,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC;KAC3B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,sBAAsB,CAAC;QACrB,CAAC,EAAE,CAAC,CAAC,yBAAyB,CAAC;QAC/B,GAAG,EAAE,CAAC,CAAC,iBAAiB,CAAC;KAC1B,CAAC;IACJ,QAAQ,EAAE,iFAAiF;CAC5F,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,4DAA4D;IACnE,OAAO,EAAE,CAAC,uBAAuB,EAAE,oBAAoB,CAAC;IACxD,MAAM,EAAE,qBAAqB;IAC7B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,sEAAsE;QACnF,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE;YACf,MAAM,EAAE,GAAG,CAAC,CAAC,yBAAyB,CAAC,CAAC;YACxC,MAAM,EAAE,GAAG,CAAC,CAAC,sBAAsB,CAAC,CAAC;YACrC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;YACjD,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;YACjD,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YACrC,OAAO,IAAI,CAAC;QACd,CAAC;KACF;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,4BAA4B,CAAC;QAC3B,MAAM,EAAE,CAAC,CAAC,yBAAyB,CAAC;QACpC,MAAM,EAAE,CAAC,CAAC,sBAAsB,CAAC;KAClC,CAAC;IACJ,QAAQ,EAAE,kGAAkG;CAC7G,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,gDAAgD;IACvD,OAAO,EAAE,CAAC,iBAAiB,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,yBAAyB,CAAC;IACtG,MAAM,EAAE,aAAa;IACrB,oEAAoE;IACpE,2EAA2E;IAC3E,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,qDAAqD;QAClE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;YAC7B,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC3B,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC1B,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC;YACvB,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC1B,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACxB,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;YACzB,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC;YACtB,KAAK,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC;KACzC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,oBAAoB,CAAC;QACnB,IAAI,EAAE,CAAC,CAAC,mBAAmB,CAAC;QAC5B,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC;QACtB,SAAS,EAAE,CAAC,CAAC,gBAAgB,CAAC;QAC9B,aAAa,EAAE,CAAC,CAAC,eAAe,CAAC;QACjC,YAAY,EAAE,CAAC,CAAC,4BAA4B,CAAC;KAC9C,CAAC;IACJ,QAAQ,EAAE,kDAAkD;CAC7D,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,gDAAgD;IACvD,OAAO,EAAE,CAAC,uBAAuB,EAAE,mBAAmB,EAAE,cAAc,EAAE,uBAAuB,CAAC;IAChG,MAAM,EAAE,0BAA0B;IAClC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,4BAA4B;QACzC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;YACpC,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;YAC/B,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC1B,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC;YACvB,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;KACvC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,wBAAwB,CAAC;QACvB,IAAI,EAAE,CAAC,CAAC,0BAA0B,CAAC;QACnC,KAAK,EAAE,CAAC,CAAC,qBAAqB,CAAC;QAC/B,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC;QACtB,IAAI,EAAE,CAAC,CAAC,0BAA0B,CAAC;KACpC,CAAC;IACJ,QAAQ,EAAE,sEAAsE;CACjF,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,aAAa,GAAa;IAC9B,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ,GAAG,CAAC,uBAAuB,CAAC,IAAI,EAAE,uBAAuB,CAAC,GAAG,CAAC;gBAC9D,GAAG,CAAC,uBAAuB,CAAC,IAAI,EAAE,uBAAuB,CAAC,GAAG,CAAC;aAC/D;SACF;QACD,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;KACxB;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,uCAAuC;IAC9C,OAAO,EAAE,CAAC,uBAAuB,EAAE,uBAAuB,CAAC;IAC3D,MAAM,EAAE,4BAA4B;IACpC,UAAU,EAAE,oBAAoB;IAChC,MAAM,EAAE;QACN,WAAW,EAAE,wBAAwB;QACrC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;KAC/E;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,CAAC,CAAC,CAAC,0BAA0B,CAAC,GAAG,CAAC,CAAC,0BAA0B,CAAC,CAAC,GAAG,CAAC;IACrE,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,2DAA2D;CACtE,CAAC"}

package/dist/composition/edges/catalog-tranche.d.ts

@@ -93,20 +93,5 @@ export declare const be48Edge: BridgeEdge;
  * @public
  */
 export declare const be53Edge: BridgeEdge;
-/**
- * BE-54 Randall-Sundrum brane cosmology as a graph edge:
- * (mass-density, brane-tension) → H² = (8πG/3) ρ (1 + ρ/(2σ)).
- * Wraps `evaluateRandallSundrumH2` (SI kg/m³ inputs; returns s⁻²).
- * Shares the `mass-density` source and `hubble-rate-squared` target
- * quantity nodes with {@link be19Edge} — both are modified-Friedmann
- * edges over the same physical quantities.
- *
- * Adaptation note: the wrapped evaluator drops the Λ/3 term and the
- * dark-radiation (Weyl) term — documented omissions in the BE-54
- * module — so unlike BE-19 this edge takes no cosmological-constant
- * source.
- *
- * @public
- */
 export declare const be54Edge: BridgeEdge;
 //# sourceMappingURL=catalog-tranche.d.ts.map

package/dist/composition/edges/catalog-tranche.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"catalog-tranche.d.ts","sourceRoot":"","sources":["../../../src/composition/edges/catalog-tranche.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAoBH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAuC7C;;;;;;;;;;GAUG;AACH,eAAO,MAAM,QAAQ,EAAE,UAiBtB,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,QAAQ,EAAE,UAwBtB,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,QAAQ,EAAE,UAyBtB,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,QAAQ,EAAE,UAwBtB,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,QAAQ,EAAE,UAwBtB,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,QAAQ,EAAE,UAsBtB,CAAC"}
+{"version":3,"file":"catalog-tranche.d.ts","sourceRoot":"","sources":["../../../src/composition/edges/catalog-tranche.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAuBH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAuC7C;;;;;;;;;;GAUG;AACH,eAAO,MAAM,QAAQ,EAAE,UAiBtB,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,QAAQ,EAAE,UAwBtB,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,QAAQ,EAAE,UAyBtB,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,QAAQ,EAAE,UAwBtB,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,QAAQ,EAAE,UAwBtB,CAAC;AAkEF,eAAO,MAAM,QAAQ,EAAE,UAwBtB,CAAC"}

package/dist/composition/edges/catalog-tranche.js

@@ -22,6 +22,9 @@
  *
  * @module composition/edges/catalog-tranche
  */
+import { sym } from '../../dimensional/ast-builders.js';
+import { CONSTANTS } from '../../dimensional/symbolic-constants.js';
+import { DIMENSIONLESS, } from '../../dimensional/types.js';
 import { evaluateRyuTakayanagi } from '../../bridges/equations/be-14-ryu-takayanagi.js';
 import { evaluateQuantumBounce } from '../../bridges/equations/be-19-quantum-bounce.js';
 import { evaluateKSSBound, BE21_KSS_RHS, } from '../../bridges/equations/be-21-kss-bound.js';
@@ -223,38 +226,88 @@ export const be53Edge = {
 };
 /**
  * BE-54 Randall-Sundrum brane cosmology as a graph edge:
- * (mass-density, brane-tension) → H² = (8πG/3) ρ (1 + ρ/(2σ)).
- * Wraps `evaluateRandallSundrumH2` (SI kg/m³ inputs; returns s⁻²).
- * Shares the `mass-density` source and `hubble-rate-squared` target
- * quantity nodes with {@link be19Edge} — both are modified-Friedmann
- * edges over the same physical quantities.
- *
- * Adaptation note: the wrapped evaluator drops the Λ/3 term and the
- * dark-radiation (Weyl) term — documented omissions in the BE-54
- * module — so unlike BE-19 this edge takes no cosmological-constant
- * source.
+ * (mass-density, brane-tension, rescaled-cosmological-constant) →
+ * H² = (8πG/3) ρ (1 + ρ/(2σ)) + Λ/3.
+ * The wrapped evaluator drops Λ/3 and the Weyl C/a⁴ term. The edge
+ * adds Λ/3, the term the theorem and `formula_latex` include, using
+ * the same `rescaled-cosmological-constant` node as {@link be19Edge}.
+ * The Weyl term stays out: it is not in the theorem.
  *
  * @public
  */
+const BE54_SYMBOLIC = {
+    kind: 'op',
+    op: '+',
+    args: [
+        {
+            kind: 'op',
+            op: '*',
+            args: [
+                {
+                    kind: 'op',
+                    op: '/',
+                    args: [
+                        {
+                            kind: 'op',
+                            op: '*',
+                            args: [sym('8pi', CONSTANTS['8pi'].dim), sym('G', CONSTANTS.G.dim)],
+                        },
+                        sym('3', DIMENSIONLESS),
+                    ],
+                },
+                sym('mass-density', massDensityQ.dim),
+                {
+                    kind: 'op',
+                    op: '+',
+                    args: [
+                        sym('1', DIMENSIONLESS),
+                        {
+                            kind: 'op',
+                            op: '/',
+                            args: [
+                                sym('mass-density', massDensityQ.dim),
+                                {
+                                    kind: 'op',
+                                    op: '*',
+                                    args: [sym('2', DIMENSIONLESS), sym('brane-tension', braneTensionQ.dim)],
+                                },
+                            ],
+                        },
+                    ],
+                },
+            ],
+        },
+        {
+            kind: 'op',
+            op: '/',
+            args: [
+                sym('rescaled-cosmological-constant', rescaledCosmologicalConstantQ.dim),
+                sym('3', DIMENSIONLESS),
+            ],
+        },
+    ],
+};
 export const be54Edge = {
     id: 'be-54',
     beId: 54,
     kind: 'bridge',
-    label: 'Randall-Sundrum brane H² = (8πG/3) ρ (1 + ρ/(2σ))',
-    sources: [massDensityQ, braneTensionQ],
+    label: 'Randall-Sundrum brane H² = (8πG/3) ρ (1 + ρ/(2σ)) + Λ/3',
+    sources: [massDensityQ, braneTensionQ, rescaledCosmologicalConstantQ],
     target: hubbleRateSquaredQ,
     confidence: 'speculative',
     domain: {
-        description: 'ρ ≥ 0 and σ > 0 (brane tension positive, all SI)',
+        description: 'ρ ≥ 0, σ > 0, Λ finite (all SI)',
         predicate: (i) => Number.isFinite(i['mass-density']) &&
             i['mass-density'] >= 0 &&
             Number.isFinite(i['brane-tension']) &&
-            i['brane-tension'] > 0,
+            i['brane-tension'] > 0 &&
+            Number.isFinite(i['rescaled-cosmological-constant']),
     },
     evaluate: (i) => evaluateRandallSundrumH2({
         rho_kg_per_m3: i['mass-density'],
         sigma_kg_per_m3: i['brane-tension'],
-    }),
+    }) + i['rescaled-cosmological-constant'] / 3,
+    symbolic: BE54_SYMBOLIC,
     citation: 'Randall & Sundrum 1999 PRL 83:4690; Binétruy et al. 2000 PLB 477:285',
 };
 //# sourceMappingURL=catalog-tranche.js.map

package/dist/composition/edges/catalog-tranche.js.map

@@ -1 +1 @@
-{"version":3,"file":"catalog-tranche.js","sourceRoot":"","sources":["../../../src/composition/edges/catalog-tranche.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAUH,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EACL,gBAAgB,EAChB,YAAY,GAEb,MAAM,4CAA4C,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,mDAAmD,CAAC;AAC5F,OAAO,EAAE,qBAAqB,EAAE,MAAM,kDAAkD,CAAC;AACzF,OAAO,EAAE,wBAAwB,EAAE,MAAM,wDAAwD,CAAC;AAElG,OAAO,EACL,4BAA4B,EAC5B,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,cAAc,EACd,oBAAoB,EACpB,kBAAkB,EAClB,YAAY,EACZ,KAAK,EACL,mBAAmB,EACnB,6BAA6B,EAC7B,sBAAsB,EACtB,cAAc,GACf,MAAM,kBAAkB,CAAC;AAE1B,kCAAkC;AAElC,oEAAoE;AACpE,MAAM,YAAY,GAAc;IAC9B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF,kEAAkE;AAClE,MAAM,MAAM,GAAc;IACxB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF,yBAAyB;AAEzB,qEAAqE;AACrE,uEAAuE;AACvE,gEAAgE;AAChE,6DAA6D;AAC7D,oCAAoC;AACpC,gBAAgB;AAEhB;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,iDAAiD;IACxD,OAAO,EAAE,CAAC,mBAAmB,CAAC;IAC9B,MAAM,EAAE,4BAA4B;IACpC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,yCAAyC;QACtD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;YAC1C,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC;KACjC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC;IAC/D,QAAQ,EAAE,qCAAqC;CAChD,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,gDAAgD;IACvD,OAAO,EAAE,CAAC,YAAY,EAAE,gBAAgB,EAAE,6BAA6B,CAAC;IACxE,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,sCAAsC;QACnD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAClC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC;YACtB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;YACtC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC;YACzB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC;KACvD;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC;QACpB,GAAG,EAAE,CAAC,CAAC,cAAc,CAAC;QACtB,QAAQ,EAAE,CAAC,CAAC,kBAAkB,CAAC;QAC/B,YAAY,EAAE,CAAC,CAAC,gCAAgC,CAAC;KAClD,CAAC;IACJ,QAAQ,EAAE,gDAAgD;CAC3D,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,4BAA4B;IACnC,OAAO,EAAE,EAAE;IACX,MAAM,EAAE,sBAAsB;IAC9B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,kDAAkD;QAC/D,SAAS,EAAE,GAAG,EAAE,CAAC,IAAI;KACtB;IACD,QAAQ,EAAE,GAAG,EAAE,CAAC,gBAAgB,EAAE;IAClC,QAAQ,EAAE,YAAY;IACtB,QAAQ,EAAE,4CAA4C;IACtD,6EAA6E;IAC7E,8EAA8E;IAC9E,4DAA4D;IAC5D,QAAQ,EAAE;QACR,IAAI,EAAE,YAAY;QAClB,cAAc,EACZ,+DAA+D;YAC/D,yEAAyE;YACzE,yBAAyB;KAC5B;CACF,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,2CAA2C;IAClD,OAAO,EAAE,CAAC,KAAK,CAAC;IAChB,MAAM,EAAE,oBAAoB;IAC5B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,gCAAgC;QAC7C,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;KAC9D;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;IAC7D,QAAQ,EAAE,0CAA0C;IACpD,6EAA6E;IAC7E,8EAA8E;IAC9E,4DAA4D;IAC5D,QAAQ,EAAE;QACR,IAAI,EAAE,YAAY;QAClB,cAAc,EACZ,yEAAyE;YACzE,yEAAyE;YACzE,4DAA4D;KAC/D;CACF,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,qDAAqD;IAC5D,OAAO,EAAE,CAAC,cAAc,EAAE,YAAY,EAAE,aAAa,CAAC;IACtD,MAAM,EAAE,cAAc;IACtB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,4BAA4B;QACzC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YACpC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAClC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC;YACrB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;YACnC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC;KAC1B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC;QACpB,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC;QACtB,GAAG,EAAE,CAAC,CAAC,cAAc,CAAC;QACtB,GAAG,EAAE,CAAC,CAAC,eAAe,CAAC;KACxB,CAAC;IACJ,QAAQ,EAAE,6DAA6D;CACxE,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,mDAAmD;IAC1D,OAAO,EAAE,CAAC,YAAY,EAAE,aAAa,CAAC;IACtC,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,kDAAkD;QAC/D,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAClC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC;YACtB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;YACnC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC;KACzB;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,wBAAwB,CAAC;QACvB,aAAa,EAAE,CAAC,CAAC,cAAc,CAAC;QAChC,eAAe,EAAE,CAAC,CAAC,eAAe,CAAC;KACpC,CAAC;IACJ,QAAQ,EAAE,sEAAsE;CACjF,CAAC"}
+{"version":3,"file":"catalog-tranche.js","sourceRoot":"","sources":["../../../src/composition/edges/catalog-tranche.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAGH,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACpE,OAAO,EACL,aAAa,GAKd,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EACL,gBAAgB,EAChB,YAAY,GAEb,MAAM,4CAA4C,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,mDAAmD,CAAC;AAC5F,OAAO,EAAE,qBAAqB,EAAE,MAAM,kDAAkD,CAAC;AACzF,OAAO,EAAE,wBAAwB,EAAE,MAAM,wDAAwD,CAAC;AAElG,OAAO,EACL,4BAA4B,EAC5B,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,cAAc,EACd,oBAAoB,EACpB,kBAAkB,EAClB,YAAY,EACZ,KAAK,EACL,mBAAmB,EACnB,6BAA6B,EAC7B,sBAAsB,EACtB,cAAc,GACf,MAAM,kBAAkB,CAAC;AAE1B,kCAAkC;AAElC,oEAAoE;AACpE,MAAM,YAAY,GAAc;IAC9B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF,kEAAkE;AAClE,MAAM,MAAM,GAAc;IACxB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF,yBAAyB;AAEzB,qEAAqE;AACrE,uEAAuE;AACvE,gEAAgE;AAChE,6DAA6D;AAC7D,oCAAoC;AACpC,gBAAgB;AAEhB;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,iDAAiD;IACxD,OAAO,EAAE,CAAC,mBAAmB,CAAC;IAC9B,MAAM,EAAE,4BAA4B;IACpC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,yCAAyC;QACtD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;YAC1C,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC;KACjC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC;IAC/D,QAAQ,EAAE,qCAAqC;CAChD,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,gDAAgD;IACvD,OAAO,EAAE,CAAC,YAAY,EAAE,gBAAgB,EAAE,6BAA6B,CAAC;IACxE,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,sCAAsC;QACnD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAClC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC;YACtB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;YACtC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC;YACzB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC;KACvD;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC;QACpB,GAAG,EAAE,CAAC,CAAC,cAAc,CAAC;QACtB,QAAQ,EAAE,CAAC,CAAC,kBAAkB,CAAC;QAC/B,YAAY,EAAE,CAAC,CAAC,gCAAgC,CAAC;KAClD,CAAC;IACJ,QAAQ,EAAE,gDAAgD;CAC3D,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,4BAA4B;IACnC,OAAO,EAAE,EAAE;IACX,MAAM,EAAE,sBAAsB;IAC9B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,kDAAkD;QAC/D,SAAS,EAAE,GAAG,EAAE,CAAC,IAAI;KACtB;IACD,QAAQ,EAAE,GAAG,EAAE,CAAC,gBAAgB,EAAE;IAClC,QAAQ,EAAE,YAAY;IACtB,QAAQ,EAAE,4CAA4C;IACtD,6EAA6E;IAC7E,8EAA8E;IAC9E,4DAA4D;IAC5D,QAAQ,EAAE;QACR,IAAI,EAAE,YAAY;QAClB,cAAc,EACZ,+DAA+D;YAC/D,yEAAyE;YACzE,yBAAyB;KAC5B;CACF,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,2CAA2C;IAClD,OAAO,EAAE,CAAC,KAAK,CAAC;IAChB,MAAM,EAAE,oBAAoB;IAC5B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,gCAAgC;QAC7C,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;KAC9D;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;IAC7D,QAAQ,EAAE,0CAA0C;IACpD,6EAA6E;IAC7E,8EAA8E;IAC9E,4DAA4D;IAC5D,QAAQ,EAAE;QACR,IAAI,EAAE,YAAY;QAClB,cAAc,EACZ,yEAAyE;YACzE,yEAAyE;YACzE,4DAA4D;KAC/D;CACF,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,qDAAqD;IAC5D,OAAO,EAAE,CAAC,cAAc,EAAE,YAAY,EAAE,aAAa,CAAC;IACtD,MAAM,EAAE,cAAc;IACtB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,4BAA4B;QACzC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YACpC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAClC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC;YACrB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;YACnC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC;KAC1B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC;QACpB,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC;QACtB,GAAG,EAAE,CAAC,CAAC,cAAc,CAAC;QACtB,GAAG,EAAE,CAAC,CAAC,eAAe,CAAC;KACxB,CAAC;IACJ,QAAQ,EAAE,6DAA6D;CACxE,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,aAAa,GAAa;IAC9B,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI;oBACV,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,IAAI;4BACV,EAAE,EAAE,GAAG;4BACP,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;yBACpE;wBACD,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;qBACxB;iBACF;gBACD,GAAG,CAAC,cAAc,EAAE,YAAY,CAAC,GAAG,CAAC;gBACrC;oBACE,IAAI,EAAE,IAAI;oBACV,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE;wBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;wBACvB;4BACE,IAAI,EAAE,IAAI;4BACV,EAAE,EAAE,GAAG;4BACP,IAAI,EAAE;gCACJ,GAAG,CAAC,cAAc,EAAE,YAAY,CAAC,GAAG,CAAC;gCACrC;oCACE,IAAI,EAAE,IAAI;oCACV,EAAE,EAAE,GAAG;oCACP,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC;iCACzE;6BACF;yBACF;qBACF;iBACF;aACF;SACF;QACD;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ,GAAG,CAAC,gCAAgC,EAAE,6BAA6B,CAAC,GAAG,CAAC;gBACxE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB;SACF;KACF;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,yDAAyD;IAChE,OAAO,EAAE,CAAC,YAAY,EAAE,aAAa,EAAE,6BAA6B,CAAC;IACrE,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,iCAAiC;QAC9C,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAClC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC;YACtB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;YACnC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC;YACtB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC;KACvD;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,wBAAwB,CAAC;QACvB,aAAa,EAAE,CAAC,CAAC,cAAc,CAAC;QAChC,eAAe,EAAE,CAAC,CAAC,eAAe,CAAC;KACpC,CAAC,GAAG,CAAC,CAAC,gCAAgC,CAAC,GAAG,CAAC;IAC9C,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,sEAAsE;CACjF,CAAC"}

package/dist/composition/edges/proved-seeds.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Composition edges for proved catalog seeds that had no graph edge.
+ *
+ * BE-40 is a `law`: the SILH potential is one electroweak regime, and
+ * `REJECTED_BRIDGE_IDS` records that adjudication. The edge stays out of
+ * `CATALOG_FULL_EDGES` so that array's rejection guard still holds. The
+ * theorem states V(h), so the graph carries the equation.
+ *
+ * BE-55, BE-59, BE-60, and BE-63 are bridges. BE-55 and BE-60 share one
+ * `hall-conductance` target. BE-63's target is the existing `mass` node.
+ *
+ * @module composition/edges/proved-seeds
+ */
+import type { BridgeEdge } from '../edge.js';
+/**
+ * BE-40 composite-Higgs potential. A law: every endpoint is quantum/weak.
+ * Wraps `evaluateCompositeHiggs` (natural units).
+ */
+export declare const be40Edge: BridgeEdge;
+/**
+ * BE-55 integer quantum Hall conductance σ_xy = C e²/h.
+ * The resistance R_H = h/(C e²) is the reciprocal of this relation.
+ */
+export declare const be55Edge: BridgeEdge;
+/** BE-59 AC Josephson frequency f = 2eV/h. */
+export declare const be59Edge: BridgeEdge;
+/**
+ * BE-60 fractional quantum Hall conductance σ_xy = ν e²/h.
+ * Same target object as {@link be55Edge}. The wrapped evaluator accepts ν > 0 only.
+ */
+export declare const be60Edge: BridgeEdge;
+/**
+ * BE-63 Chandrasekhar mass. Target is `mass`: the limit is a mass.
+ * ω₃⁰ stays an input. `m_u` is the registered atomic-mass constant.
+ */
+export declare const be63Edge: BridgeEdge;
+/** Proved catalog seeds that were absent from the calibration, tranche, and catalog-full arrays. */
+export declare const PROVED_SEED_EDGES: readonly BridgeEdge[];
+//# sourceMappingURL=proved-seeds.d.ts.map

package/dist/composition/edges/proved-seeds.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proved-seeds.d.ts","sourceRoot":"","sources":["../../../src/composition/edges/proved-seeds.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAWH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAmF7C;;;GAGG;AACH,eAAO,MAAM,QAAQ,EAAE,UA0BtB,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,QAAQ,EAAE,UAqBtB,CAAC;AAEF,8CAA8C;AAC9C,eAAO,MAAM,QAAQ,EAAE,UAqBtB,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,QAAQ,EAAE,UAetB,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,QAAQ,EAAE,UAuBtB,CAAC;AAEF,oGAAoG;AACpG,eAAO,MAAM,iBAAiB,EAAE,SAAS,UAAU,EAMlD,CAAC"}

package/dist/composition/edges/proved-seeds.js

@@ -0,0 +1,197 @@
+/**
+ * Composition edges for proved catalog seeds that had no graph edge.
+ *
+ * BE-40 is a `law`: the SILH potential is one electroweak regime, and
+ * `REJECTED_BRIDGE_IDS` records that adjudication. The edge stays out of
+ * `CATALOG_FULL_EDGES` so that array's rejection guard still holds. The
+ * theorem states V(h), so the graph carries the equation.
+ *
+ * BE-55, BE-59, BE-60, and BE-63 are bridges. BE-55 and BE-60 share one
+ * `hall-conductance` target. BE-63's target is the existing `mass` node.
+ *
+ * @module composition/edges/proved-seeds
+ */
+import { DIMENSIONLESS } from '../../dimensional/types.js';
+import { sym } from '../../dimensional/ast-builders.js';
+import { CONSTANTS } from '../../dimensional/symbolic-constants.js';
+import { C_SI, G_SI, HBAR_SI, M_U_SI } from '../../core/constants.js';
+import { evaluateCompositeHiggs } from '../../bridges/equations/be-40-composite-higgs.js';
+import { evaluateQuantumHall } from '../../bridges/be55-quantum-hall.js';
+import { evaluateACJosephson } from '../../bridges/be59-ac-josephson.js';
+import { evaluateFractionalQH } from '../../bridges/be60-fractional-qh.js';
+import { chernNumberQ, compositeHiggsAlphaQ, compositeHiggsBetaQ, compositeHiggsPotentialQ, fillingFractionQ, frequencyQ, hallConductanceQ, higgsDecayConstantQ, higgsFieldQ, laneEmdenOmega3Q, massQ, meanMolecularWeightPerElectronQ, voltageQ, } from '../quantities.js';
+const isFin = Number.isFinite;
+const csym = (name) => sym(name, CONSTANTS[name].dim);
+const qsym = (q) => sym(q.name, q.dim);
+const lit = (n) => sym(String(n), DIMENSIONLESS);
+const pi = sym('pi', DIMENSIONLESS);
+const ratio = (num, den) => ({
+    kind: 'op',
+    op: '/',
+    args: [num, den],
+});
+const prod = (...args) => ({ kind: 'op', op: '*', args });
+const minus = (a, b) => ({ kind: 'op', op: '-', args: [a, b] });
+const plus = (a, b) => ({ kind: 'op', op: '+', args: [a, b] });
+const pow = (base, exp) => ({ kind: 'op', op: '^', args: [base, exp] });
+const trig = (fn, arg) => ({
+    kind: 'transcendental',
+    fn,
+    arg,
+});
+/** V(h) = −α f⁴ sin²(h/f) + β f⁴ [sin⁴(h/f) − sin²(h/f) cos²(h/f)]. */
+const BE40_SYMBOLIC = (() => {
+    const arg = ratio(qsym(higgsFieldQ), qsym(higgsDecayConstantQ));
+    const sin2 = pow(trig('sin', arg), lit(2));
+    const sin4 = pow(trig('sin', arg), lit(4));
+    const cos2 = pow(trig('cos', arg), lit(2));
+    const f4 = pow(qsym(higgsDecayConstantQ), lit(4));
+    return plus(prod(lit(-1), qsym(compositeHiggsAlphaQ), f4, sin2), prod(qsym(compositeHiggsBetaQ), f4, minus(sin4, prod(sin2, cos2))));
+})();
+/** σ_xy = C e² / h. */
+const BE55_SYMBOLIC = ratio(prod(qsym(chernNumberQ), csym('e'), csym('e')), csym('h'));
+/** f = 2 e V / h. */
+const BE59_SYMBOLIC = ratio(prod(lit(2), csym('e'), qsym(voltageQ)), csym('h'));
+/** σ_xy = ν e² / h. */
+const BE60_SYMBOLIC = ratio(prod(qsym(fillingFractionQ), csym('e'), csym('e')), csym('h'));
+/**
+ * M = (ω₃⁰ √(3π) / 2) (ℏ c / G)^{3/2} (μ_e m_u)^{−2}.
+ * ω₃⁰ is an input. The decimal 2.01824 is the catalog evaluator's choice,
+ * not a leaf of this form.
+ */
+const BE63_SYMBOLIC = prod(ratio(prod(qsym(laneEmdenOmega3Q), pow(prod(lit(3), pi), ratio(lit(1), lit(2)))), lit(2)), 
+// 3/2 is a numeric-literal exponent: the base ℏc/G is dimensionful.
+// (μ_e m_u)^{−2} is written as a square in the denominator so the leaf is `2`.
+pow(ratio(prod(csym('hbar'), csym('c')), csym('G')), lit(1.5)), ratio(lit(1), pow(prod(qsym(meanMolecularWeightPerElectronQ), csym('m_u')), lit(2))));
+/**
+ * BE-40 composite-Higgs potential. A law: every endpoint is quantum/weak.
+ * Wraps `evaluateCompositeHiggs` (natural units).
+ */
+export const be40Edge = {
+    id: 'be-40',
+    beId: 40,
+    kind: 'law',
+    label: 'Composite Higgs V(h) = −α f⁴ sin²(h/f) + β f⁴ [sin⁴(h/f) − sin²(h/f) cos²(h/f)]',
+    sources: [higgsFieldQ, higgsDecayConstantQ, compositeHiggsAlphaQ, compositeHiggsBetaQ],
+    target: compositeHiggsPotentialQ,
+    confidence: 'established',
+    domain: {
+        description: 'f > 0; h, α, β finite (natural units)',
+        predicate: (i) => isFin(i['higgs-decay-constant']) &&
+            i['higgs-decay-constant'] > 0 &&
+            isFin(i['higgs-field']) &&
+            isFin(i['composite-higgs-alpha']) &&
+            isFin(i['composite-higgs-beta']),
+    },
+    evaluate: (i) => evaluateCompositeHiggs({
+        h: i['higgs-field'],
+        f: i['higgs-decay-constant'],
+        alpha: i['composite-higgs-alpha'],
+        beta: i['composite-higgs-beta'],
+    }),
+    symbolic: BE40_SYMBOLIC,
+    citation: 'Kaplan & Georgi 1984 PLB 136:183; Giudice, Grojean, Pomarol & Rattazzi 2007 JHEP 0706:045',
+};
+/**
+ * BE-55 integer quantum Hall conductance σ_xy = C e²/h.
+ * The resistance R_H = h/(C e²) is the reciprocal of this relation.
+ */
+export const be55Edge = {
+    id: 'be-55',
+    beId: 55,
+    kind: 'bridge',
+    label: 'Integer quantum Hall σ_xy = C e²/h',
+    sources: [chernNumberQ],
+    target: hallConductanceQ,
+    confidence: 'established',
+    domain: {
+        description: 'C is a nonzero integer',
+        predicate: (i) => Number.isInteger(i['chern-number']) && i['chern-number'] !== 0,
+    },
+    evaluate: (i) => evaluateQuantumHall({ C: i['chern-number'] }).sigma_xy_S,
+    symbolic: BE55_SYMBOLIC,
+    citation: 'von Klitzing 1980 PRL 45:494; Thouless, Kohmoto, Nightingale & den Nijs 1982 PRL 49:405',
+    relation: {
+        type: 'derivation',
+        transformation: 'filled Bloch bands of a 2D electron gas in a strong field -> Kubo ' +
+            'transverse conductance sigma_xy = C e^2/h, C the TKNN/Chern integer',
+    },
+};
+/** BE-59 AC Josephson frequency f = 2eV/h. */
+export const be59Edge = {
+    id: 'be-59',
+    beId: 59,
+    kind: 'bridge',
+    label: 'AC Josephson f = 2eV/h',
+    sources: [voltageQ],
+    target: frequencyQ,
+    confidence: 'established',
+    domain: {
+        description: 'V finite',
+        predicate: (i) => isFin(i['voltage']),
+    },
+    evaluate: (i) => evaluateACJosephson({ V_volts: i['voltage'] }).f_Hz,
+    symbolic: BE59_SYMBOLIC,
+    citation: 'Josephson 1962 Phys. Lett. 1:251',
+    relation: {
+        type: 'derivation',
+        transformation: 'DC bias V across a Josephson junction -> radiation frequency ' +
+            'f = (2e/h) V via the phase relation d(phi)/dt = 2eV/hbar',
+    },
+};
+/**
+ * BE-60 fractional quantum Hall conductance σ_xy = ν e²/h.
+ * Same target object as {@link be55Edge}. The wrapped evaluator accepts ν > 0 only.
+ */
+export const be60Edge = {
+    id: 'be-60',
+    beId: 60,
+    kind: 'bridge',
+    label: 'Fractional quantum Hall σ_xy = ν e²/h',
+    sources: [fillingFractionQ],
+    target: hallConductanceQ,
+    confidence: 'established',
+    domain: {
+        description: 'ν finite and > 0',
+        predicate: (i) => isFin(i['filling-fraction']) && i['filling-fraction'] > 0,
+    },
+    evaluate: (i) => evaluateFractionalQH({ nu: i['filling-fraction'] }).sigma_xy_S,
+    symbolic: BE60_SYMBOLIC,
+    citation: 'Tsui, Störmer & Gossard 1982 PRL 48:1559; Laughlin 1983 PRL 50:1395',
+};
+/**
+ * BE-63 Chandrasekhar mass. Target is `mass`: the limit is a mass.
+ * ω₃⁰ stays an input. `m_u` is the registered atomic-mass constant.
+ */
+export const be63Edge = {
+    id: 'be-63',
+    beId: 63,
+    kind: 'bridge',
+    label: 'Chandrasekhar mass M = (ω₃⁰ √(3π)/2) (ℏc/G)^{3/2} (μ_e m_u)^{−2}',
+    sources: [laneEmdenOmega3Q, meanMolecularWeightPerElectronQ],
+    target: massQ,
+    confidence: 'established',
+    domain: {
+        description: 'μ_e > 0 and ω₃⁰ finite',
+        predicate: (i) => isFin(i['mean-molecular-weight-per-electron']) &&
+            i['mean-molecular-weight-per-electron'] > 0 &&
+            isFin(i['lane-emden-omega-3']),
+    },
+    evaluate: (i) => {
+        const omega = i['lane-emden-omega-3'];
+        const mu = i['mean-molecular-weight-per-electron'];
+        const prefactor = (omega * Math.sqrt(3 * Math.PI)) / 2;
+        return prefactor * Math.pow((HBAR_SI * C_SI) / G_SI, 1.5) * Math.pow(mu * M_U_SI, -2);
+    },
+    symbolic: BE63_SYMBOLIC,
+    citation: 'Chandrasekhar 1931 ApJ 74:81',
+};
+/** Proved catalog seeds that were absent from the calibration, tranche, and catalog-full arrays. */
+export const PROVED_SEED_EDGES = [
+    be40Edge,
+    be55Edge,
+    be59Edge,
+    be60Edge,
+    be63Edge,
+];
+//# sourceMappingURL=proved-seeds.js.map