universal-physics-tensor 0.47.1 → 1.0.2

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';
@@ -14,7 +17,7 @@ import { evaluateFLMFirstLaw } from '../../bridges/equations/be-30-flm-first-law
 import { evaluateTCC } from '../../bridges/equations/be-45-tcc.js';
 import { evaluateWeinbergVilenkinP } from '../../bridges/equations/be-46-multiverse-measure.js';
 import { anthropicModelParameterQ, anthropicProbabilityQ, causalSetCount0Q, causalSetCount1Q, causalSetCount2Q, causalSetCount3Q, cosmologicalConstantCurvatureQ, darkReactionRateCoefficientQ, darkSpeciesDensityQ, entanglementEntropyVariationQ, hubbleRateQ, inflationHubbleEnergyQ, lambdaMassDensityQ, landscapeParameterQ, maxEfoldsQ, measureNormalizationQ, modularHamiltonianVariationQ, neutronDensityQ, nucleonYieldDensityQ, nucleonYieldRateQ, planckLengthQ, planckMassEnergyQ, protonDensityQ, ricciScalarQ, smReactionRateCoefficientQ, tccCorrectionCoefficientQ, tensorToScalarRatioQ, transferEfficiencyQ, wormholeCrossSectionAreaQ, wormholeEntanglementEntropyQ, } from '../quantities.js';
-import { isFin, BE20_SYMBOLIC } from './_catalog-helpers.js';
+import { isFin, BE20_SYMBOLIC, BE30_SYMBOLIC } from './_catalog-helpers.js';
 /**
  * BE-20 cosmological-constant mass density:
  * cosmological-constant-curvature → ρ_Λ = c² Λ / (8πG). Wraps
@@ -64,6 +67,7 @@ export const be30Edge = {
         predicate: (i) => isFin(i['modular-hamiltonian-variation']),
     },
     evaluate: (i) => evaluateFLMFirstLaw({ delta_avg_H_R: i['modular-hamiltonian-variation'] }),
+    symbolic: BE30_SYMBOLIC,
     citation: 'Faulkner, Lewkowycz & Maldacena 2013 JHEP 11:074; Blanco et al. 2013 JHEP 08:060',
 };
 /**
@@ -107,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,
@@ -125,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,MAAM,uBAAuB,CAAC;AAE7D;;;;;;;;;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,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;AASH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAgC7C;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,QAAQ,EAAE,UAkCtB,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

@@ -6,15 +6,39 @@
  *
  * @module composition/edges/catalog-quantum
  */
+import { DIMENSIONLESS, FREQUENCY } from '../../dimensional/types.js';
+import { sym } from '../../dimensional/ast-builders.js';
 import { evaluateDNATunneling } from '../../bridges/equations/be-26-dna-tunneling.js';
 import { evaluateDecoherenceRate } from '../../bridges/equations/be-11-decoherence-master.js';
 import { evaluateEinsteinTrace } from '../../bridges/equations/be-13-einstein-trace.js';
 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 = {
+    kind: 'op',
+    op: '*',
+    args: [
+        sym('relaxation-rate', FREQUENCY),
+        {
+            kind: 'op',
+            op: '^',
+            args: [
+                {
+                    kind: 'op',
+                    op: '/',
+                    args: [
+                        sym('system-environment-coupling', DIMENSIONLESS),
+                        sym('reference-coupling', DIMENSIONLESS),
+                    ],
+                },
+                sym('2', DIMENSIONLESS),
+            ],
+        },
+    ],
+};
 /**
  * BE-11 canonical decoherence master rate (Caldeira-Leggett weak-coupling
  * form): (relaxation-rate, system-environment-coupling, reference-coupling) →
@@ -48,6 +72,7 @@ export const be11Edge = {
         lambda: i['system-environment-coupling'],
         lambda0: i['reference-coupling'],
     }),
+    symbolic: BE11_MASTER_SYMBOLIC,
     citation: 'Caldeira & Leggett 1983 Physica A 121:587; Lindblad 1976 CMP 48:119',
     // -- Atlas Phase 1 overlay: mirrors BRIDGE_EQUATIONS' BE-11 row, which carries
     // the full '// source:' citation. tests/atlas/audited-catalog.test.ts
@@ -229,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,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;;;;;;;;;;;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,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;AAmBH,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,UAwBtB,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,9 +22,12 @@
  *
  * @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, } from '../../bridges/equations/be-21-kss-bound.js';
+import { evaluateKSSBound, BE21_KSS_RHS, } from '../../bridges/equations/be-21-kss-bound.js';
 import { evaluateGRWLocalization } from '../../bridges/equations/be-48-grw-localization.js';
 import { evaluateYangMillsBeta } from '../../bridges/equations/be-53-yang-mills-beta.js';
 import { evaluateRandallSundrumH2 } from '../../bridges/equations/be-54-randall-sundrum-brane.js';
@@ -136,6 +139,7 @@ export const be21Edge = {
         predicate: () => true,
     },
     evaluate: () => evaluateKSSBound(),
+    symbolic: BE21_KSS_RHS,
     citation: 'Kovtun, Son & Starinets 2005 PRL 94:111601',
     // -- Atlas Phase 1 overlay: mirrors BRIDGE_EQUATIONS' row, which carries the
     // full '// source:' citation. tests/atlas/audited-catalog.test.ts deep-equals
@@ -222,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,GAEjB,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,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"}