universal-physics-tensor 1.0.1 → 1.0.2

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"proved-seeds.js","sourceRoot":"","sources":["../../../src/composition/edges/proved-seeds.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;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,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AACtE,OAAO,EAAE,sBAAsB,EAAE,MAAM,kDAAkD,CAAC;AAC1F,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAG3E,OAAO,EACL,YAAY,EACZ,oBAAoB,EACpB,mBAAmB,EACnB,wBAAwB,EACxB,gBAAgB,EAChB,UAAU,EACV,gBAAgB,EAChB,mBAAmB,EACnB,WAAW,EACX,gBAAgB,EAChB,KAAK,EACL,+BAA+B,EAC/B,QAAQ,GACT,MAAM,kBAAkB,CAAC;AAE1B,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC;AAC9B,MAAM,IAAI,GAAG,CAAC,IAA4B,EAAY,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;AACxF,MAAM,IAAI,GAAG,CAAC,CAAW,EAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;AAC3D,MAAM,GAAG,GAAG,CAAC,CAAS,EAAY,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;AACnE,MAAM,EAAE,GAAa,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;AAE9C,MAAM,KAAK,GAAG,CAAC,GAAa,EAAE,GAAa,EAAY,EAAE,CAAC,CAAC;IACzD,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;CACjB,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,GAAG,IAAgB,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;AAChF,MAAM,KAAK,GAAG,CAAC,CAAW,EAAE,CAAW,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAC9F,MAAM,IAAI,GAAG,CAAC,CAAW,EAAE,CAAW,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAC7F,MAAM,GAAG,GAAG,CAAC,IAAc,EAAE,GAAa,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;AACtG,MAAM,IAAI,GAAG,CAAC,EAAiB,EAAE,GAAa,EAAY,EAAE,CAAC,CAAC;IAC5D,IAAI,EAAE,gBAAgB;IACtB,EAAE;IACF,GAAG;CACJ,CAAC,CAAC;AAEH,uEAAuE;AACvE,MAAM,aAAa,GAAa,CAAC,GAAG,EAAE;IACpC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,OAAO,IAAI,CACT,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,oBAAoB,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EACnD,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CACnE,CAAC;AACJ,CAAC,CAAC,EAAE,CAAC;AAEL,uBAAuB;AACvB,MAAM,aAAa,GAAa,KAAK,CACnC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAC9C,IAAI,CAAC,GAAG,CAAC,CACV,CAAC;AAEF,qBAAqB;AACrB,MAAM,aAAa,GAAa,KAAK,CACnC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,EACvC,IAAI,CAAC,GAAG,CAAC,CACV,CAAC;AAEF,uBAAuB;AACvB,MAAM,aAAa,GAAa,KAAK,CACnC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAClD,IAAI,CAAC,GAAG,CAAC,CACV,CAAC;AAEF;;;;GAIG;AACH,MAAM,aAAa,GAAa,IAAI,CAClC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;AACzF,oEAAoE;AACpE,+EAA+E;AAC/E,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAC9D,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,+BAA+B,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CACrF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,iFAAiF;IACxF,OAAO,EAAE,CAAC,WAAW,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,mBAAmB,CAAC;IACtF,MAAM,EAAE,wBAAwB;IAChC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,uCAAuC;QACpD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;YAChC,CAAC,CAAC,sBAAsB,CAAC,GAAG,CAAC;YAC7B,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YACvB,KAAK,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;YACjC,KAAK,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;KACnC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,sBAAsB,CAAC;QACrB,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC;QACnB,CAAC,EAAE,CAAC,CAAC,sBAAsB,CAAC;QAC5B,KAAK,EAAE,CAAC,CAAC,uBAAuB,CAAC;QACjC,IAAI,EAAE,CAAC,CAAC,sBAAsB,CAAC;KAChC,CAAC;IACJ,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,2FAA2F;CACtG,CAAC;AAEF;;;GAGG;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,YAAY,CAAC;IACvB,MAAM,EAAE,gBAAgB;IACxB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,wBAAwB;QACrC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC;KACjF;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,UAAU;IACzE,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,yFAAyF;IACnG,QAAQ,EAAE;QACR,IAAI,EAAE,YAAY;QAClB,cAAc,EACZ,oEAAoE;YACpE,qEAAqE;KACxE;CACF,CAAC;AAEF,8CAA8C;AAC9C,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,wBAAwB;IAC/B,OAAO,EAAE,CAAC,QAAQ,CAAC;IACnB,MAAM,EAAE,UAAU;IAClB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,UAAU;QACvB,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;KACtC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,IAAI;IACpE,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,kCAAkC;IAC5C,QAAQ,EAAE;QACR,IAAI,EAAE,YAAY;QAClB,cAAc,EACZ,+DAA+D;YAC/D,0DAA0D;KAC7D;CACF,CAAC;AAEF;;;GAGG;AACH,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,gBAAgB,CAAC;IAC3B,MAAM,EAAE,gBAAgB;IACxB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,kBAAkB;QAC/B,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC;KAC5E;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,UAAU;IAC/E,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,qEAAqE;CAChF,CAAC;AAEF;;;GAGG;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,CAAC,gBAAgB,EAAE,+BAA+B,CAAC;IAC5D,MAAM,EAAE,KAAK;IACb,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,wBAAwB;QACrC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,oCAAoC,CAAC,CAAC;YAC9C,CAAC,CAAC,oCAAoC,CAAC,GAAG,CAAC;YAC3C,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;KACjC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE;QACd,MAAM,KAAK,GAAG,CAAC,CAAC,oBAAoB,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,CAAC,CAAC,oCAAoC,CAAC,CAAC;QACnD,MAAM,SAAS,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACvD,OAAO,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IACxF,CAAC;IACD,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,8BAA8B;CACzC,CAAC;AAEF,oGAAoG;AACpG,MAAM,CAAC,MAAM,iBAAiB,GAA0B;IACtD,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;CACT,CAAC"}

package/dist/composition/enumerate.d.ts

@@ -16,6 +16,7 @@
  *
  * @module composition/enumerate
  */
+import type { ExprNode } from '../dimensional/validator.js';
 import type { BridgeEdge } from './edge.js';
 import type { ComposeOptions } from './compose.js';
 /** One successful pairwise composition found by the enumerator. @public */
@@ -48,6 +49,23 @@ export interface EnumerationReport {
     readonly novel: ReadonlyArray<CompositionCandidate>;
     /** v0.11: name-colliding pairs awaiting an AliasDisposition. */
     readonly requiresDisposition: ReadonlyArray<DispositionRequired>;
+    /**
+     * Pairs `composeSymbolic` accepts, when a seed set was supplied.
+     * Empty on the default call.
+     */
+    readonly proofTargets: ReadonlyArray<{
+        readonly first: BridgeEdge;
+        readonly second: BridgeEdge;
+        readonly expr: ExprNode;
+    }>;
+    /**
+     * Pairs only `composeEdges` accepts, when a seed set was supplied.
+     * Empty on the default call. Unclassified.
+     */
+    readonly notSubstitutable: ReadonlyArray<{
+        readonly first: BridgeEdge;
+        readonly second: BridgeEdge;
+    }>;
 }
 /**
  * The pre-registered composed ids (the CT-* set at v0.10.0). CT-1b's
@@ -63,5 +81,7 @@ export declare const REGISTERED_COMPOSITION_IDS: ReadonlySet<string>;
  */
 export declare function enumerateCompositions(edges: ReadonlyArray<BridgeEdge>, opts?: ComposeOptions & {
     readonly registeredIds?: ReadonlySet<string>;
+    /** When set, only these edge ids are walked, and symbolic pairs are split. */
+    readonly seedIds?: ReadonlySet<string>;
 }): EnumerationReport;
 //# sourceMappingURL=enumerate.d.ts.map

package/dist/composition/enumerate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"enumerate.d.ts","sourceRoot":"","sources":["../../src/composition/enumerate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAG5C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAEnD,2EAA2E;AAC3E,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,oEAAoE;IACpE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,8DAA8D;IAC9D,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,kCAAkC;AAClC,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAC;IAClD,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAC;IACzD,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAC;IACpD,gEAAgE;IAChE,QAAQ,CAAC,mBAAmB,EAAE,aAAa,CAAC,mBAAmB,CAAC,CAAC;CAClE;AAED;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B,EAAE,WAAW,CAAC,MAAM,CAKzD,CAAC;AAEH;;;;GAIG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,EAChC,IAAI,GAAE,cAAc,GAAG;IACrB,QAAQ,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACzC,GACL,iBAAiB,CAuCnB"}
+{"version":3,"file":"enumerate.d.ts","sourceRoot":"","sources":["../../src/composition/enumerate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAG5C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAGnD,2EAA2E;AAC3E,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,oEAAoE;IACpE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,8DAA8D;IAC9D,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAuBD,kCAAkC;AAClC,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAC;IAClD,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAC;IACzD,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAC;IACpD,gEAAgE;IAChE,QAAQ,CAAC,mBAAmB,EAAE,aAAa,CAAC,mBAAmB,CAAC,CAAC;IACjE;;;OAGG;IACH,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC;QACnC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;QAC3B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;QAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;KACzB,CAAC,CAAC;IACH;;;OAGG;IACH,QAAQ,CAAC,gBAAgB,EAAE,aAAa,CAAC;QACvC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;QAC3B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;KAC7B,CAAC,CAAC;CACJ;AAED;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B,EAAE,WAAW,CAAC,MAAM,CAKzD,CAAC;AAEH;;;;GAIG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,EAChC,IAAI,GAAE,cAAc,GAAG;IACrB,QAAQ,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7C,8EAA8E;IAC9E,QAAQ,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACnC,GACL,iBAAiB,CA0DnB"}

package/dist/composition/enumerate.js

@@ -18,6 +18,7 @@
  */
 import { CompositionAliasError } from './edge.js';
 import { composeEdges } from './compose.js';
+import { composeSymbolic } from './compose-symbolic.js';
 /**
  * The pre-registered composed ids (the CT-* set at v0.10.0). CT-1b's
  * 3-edge chain appears pairwise as its two links.
@@ -39,10 +40,18 @@ export function enumerateCompositions(edges, opts = {}) {
     const registeredIds = opts.registeredIds ?? REGISTERED_COMPOSITION_IDS;
     const all = [];
     const requiresDisposition = [];
+    const proofTargets = [];
+    const notSubstitutable = [];
+    const seeded = opts.seedIds !== undefined;
+    const inSeed = (edge) => opts.seedIds === undefined || opts.seedIds.has(edge.id);
     for (const first of edges) {
+        if (!inSeed(first))
+            continue;
         for (const second of edges) {
             if (first === second)
                 continue;
+            if (!inSeed(second))
+                continue;
             let edge;
             try {
                 edge = composeEdges(first, second, opts);
@@ -66,6 +75,18 @@ export function enumerateCompositions(edges, opts = {}) {
                 edge,
                 novel: !registeredIds.has(edge.id),
             });
+            if (!seeded)
+                continue;
+            try {
+                proofTargets.push({
+                    first,
+                    second,
+                    expr: composeSymbolic(first, second, opts).expr,
+                });
+            }
+            catch {
+                notSubstitutable.push({ first, second });
+            }
         }
     }
     return {
@@ -73,6 +94,8 @@ export function enumerateCompositions(edges, opts = {}) {
         registered: all.filter((c) => !c.novel),
         novel: all.filter((c) => c.novel),
         requiresDisposition,
+        proofTargets,
+        notSubstitutable,
     };
 }
 //# sourceMappingURL=enumerate.js.map

package/dist/composition/enumerate.js.map

@@ -1 +1 @@
-{"version":3,"file":"enumerate.js","sourceRoot":"","sources":["../../src/composition/enumerate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAGH,OAAO,EAAE,qBAAqB,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAqC5C;;;;;GAKG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAwB,IAAI,GAAG,CAAC;IACrE,cAAc,EAAE,OAAO;IACvB,wCAAwC,EAAE,eAAe;IACzD,qBAAqB,EAAE,eAAe;IACtC,oBAAoB,EAAE,OAAO;CAC9B,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAAgC,EAChC,IAAI,GAEA,EAAE;IAEN,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,IAAI,0BAA0B,CAAC;IACvE,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,MAAM,mBAAmB,GAA0B,EAAE,CAAC;IAEtD,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QAC1B,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;YAC3B,IAAI,KAAK,KAAK,MAAM;gBAAE,SAAS;YAC/B,IAAI,IAAgB,CAAC;YACrB,IAAI,CAAC;gBACH,IAAI,GAAG,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAC3C,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,IAAI,GAAG,YAAY,qBAAqB,EAAE,CAAC;oBACzC,wDAAwD;oBACxD,qDAAqD;oBACrD,mBAAmB,CAAC,IAAI,CAAC;wBACvB,KAAK;wBACL,MAAM;wBACN,UAAU,EAAE,GAAG,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,EAAE;wBACvC,OAAO,EAAE,GAAG,CAAC,OAAO;qBACrB,CAAC,CAAC;gBACL,CAAC;gBACD,SAAS,CAAC,qDAAqD;YACjE,CAAC;YACD,GAAG,CAAC,IAAI,CAAC;gBACP,KAAK;gBACL,MAAM;gBACN,IAAI;gBACJ,KAAK,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;aACnC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,GAAG;QACH,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QACvC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;QACjC,mBAAmB;KACpB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"enumerate.js","sourceRoot":"","sources":["../../src/composition/enumerate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAIH,OAAO,EAAE,qBAAqB,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE5C,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AA0ExD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAwB,IAAI,GAAG,CAAC;IACrE,cAAc,EAAE,OAAO;IACvB,wCAAwC,EAAE,eAAe;IACzD,qBAAqB,EAAE,eAAe;IACtC,oBAAoB,EAAE,OAAO;CAC9B,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAAgC,EAChC,IAAI,GAIA,EAAE;IAEN,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,IAAI,0BAA0B,CAAC;IACvE,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,MAAM,mBAAmB,GAA0B,EAAE,CAAC;IACtD,MAAM,YAAY,GAA0B,EAAE,CAAC;IAC/C,MAAM,gBAAgB,GAA2B,EAAE,CAAC;IACpD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC;IAC1C,MAAM,MAAM,GAAG,CAAC,IAAgB,EAAW,EAAE,CAC3C,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAE1D,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,SAAS;QAC7B,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;YAC3B,IAAI,KAAK,KAAK,MAAM;gBAAE,SAAS;YAC/B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBAAE,SAAS;YAC9B,IAAI,IAAgB,CAAC;YACrB,IAAI,CAAC;gBACH,IAAI,GAAG,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAC3C,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,IAAI,GAAG,YAAY,qBAAqB,EAAE,CAAC;oBACzC,wDAAwD;oBACxD,qDAAqD;oBACrD,mBAAmB,CAAC,IAAI,CAAC;wBACvB,KAAK;wBACL,MAAM;wBACN,UAAU,EAAE,GAAG,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,EAAE;wBACvC,OAAO,EAAE,GAAG,CAAC,OAAO;qBACrB,CAAC,CAAC;gBACL,CAAC;gBACD,SAAS,CAAC,qDAAqD;YACjE,CAAC;YACD,GAAG,CAAC,IAAI,CAAC;gBACP,KAAK;gBACL,MAAM;gBACN,IAAI;gBACJ,KAAK,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;aACnC,CAAC,CAAC;YACH,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,IAAI,CAAC;gBACH,YAAY,CAAC,IAAI,CAAC;oBAChB,KAAK;oBACL,MAAM;oBACN,IAAI,EAAE,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI;iBAChD,CAAC,CAAC;YACL,CAAC;YAAC,MAAM,CAAC;gBACP,gBAAgB,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,GAAG;QACH,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QACvC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;QACjC,mBAAmB;QACnB,YAAY;QACZ,gBAAgB;KACjB,CAAC;AACJ,CAAC"}

package/dist/composition/expr-eval.d.ts

@@ -1,8 +1,8 @@
 /**
  * Scalar `ExprNode` value evaluator (v0.12 symbolic composition).
  *
- * Numerically evaluates a SCALAR `ExprNode` (the `symbol` / `op` / `integral`
- * / `derivative` arms) given leaf values. The dimensional validator infers
+ * Numerically evaluates a SCALAR `ExprNode` (the `symbol` / `op` /
+ * `transcendental` / `abs` arms) given leaf values. The dimensional validator infers
  * dimensions but never computes values, and the formula parser evaluates a
  * DIFFERENT AST — so this is the missing primitive that makes a bridge's
  * `symbolic` form executable.
@@ -10,8 +10,9 @@
  * Leaf resolution order (Adam A-1, A-5): caller `values` win, then the
  * `CONSTANTS` registry, then a base-10 numeric-literal symbol (`'2'`, `'3'`);
  * an unresolved or non-finite leaf throws. `^` reads its exponent from the
- * second arg's `name` via `Number(...)` (matching validator.ts) and uses
- * `Math.pow`. Tensor / integral / derivative arms are out of scope and throw.
+ * second arg's value and uses `Math.pow`. `transcendental` and `abs` evaluate
+ * their scalar argument. Tensor / integral / derivative arms are out of scope
+ * and throw.
  *
  * INTERNAL — not on the public surface.
  *

package/dist/composition/expr-eval.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"expr-eval.d.ts","sourceRoot":"","sources":["../../src/composition/expr-eval.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAG5D;yCACyC;AACzC,qBAAa,iBAAkB,SAAQ,KAAK;IAC1C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAiBD;;;;;GAKG;AACH,wBAAgB,QAAQ,CACtB,IAAI,EAAE,QAAQ,EACd,MAAM,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,GAC5C,MAAM,CAyCR"}
+{"version":3,"file":"expr-eval.d.ts","sourceRoot":"","sources":["../../src/composition/expr-eval.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAG5D;yCACyC;AACzC,qBAAa,iBAAkB,SAAQ,KAAK;IAC1C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAiBD;;;;;GAKG;AACH,wBAAgB,QAAQ,CACtB,IAAI,EAAE,QAAQ,EACd,MAAM,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,GAC5C,MAAM,CA+CR"}

package/dist/composition/expr-eval.js

@@ -1,8 +1,8 @@
 /**
  * Scalar `ExprNode` value evaluator (v0.12 symbolic composition).
  *
- * Numerically evaluates a SCALAR `ExprNode` (the `symbol` / `op` / `integral`
- * / `derivative` arms) given leaf values. The dimensional validator infers
+ * Numerically evaluates a SCALAR `ExprNode` (the `symbol` / `op` /
+ * `transcendental` / `abs` arms) given leaf values. The dimensional validator infers
  * dimensions but never computes values, and the formula parser evaluates a
  * DIFFERENT AST — so this is the missing primitive that makes a bridge's
  * `symbolic` form executable.
@@ -10,8 +10,9 @@
  * Leaf resolution order (Adam A-1, A-5): caller `values` win, then the
  * `CONSTANTS` registry, then a base-10 numeric-literal symbol (`'2'`, `'3'`);
  * an unresolved or non-finite leaf throws. `^` reads its exponent from the
- * second arg's `name` via `Number(...)` (matching validator.ts) and uses
- * `Math.pow`. Tensor / integral / derivative arms are out of scope and throw.
+ * second arg's value and uses `Math.pow`. `transcendental` and `abs` evaluate
+ * their scalar argument. Tensor / integral / derivative arms are out of scope
+ * and throw.
  *
  * INTERNAL — not on the public surface.
  *
@@ -82,12 +83,42 @@ export function evalExpr(node, values = {}) {
             }
             return finite(acc, node);
         }
+        case 'transcendental':
+            return finite(applyTranscendental(node.fn, evalExpr(node.arg, values)), node);
+        case 'abs':
+            return finite(Math.abs(evalExpr(node.arg, values)), node);
         default:
             throw new SymbolicEvalError(`evalExpr: node kind '${node.kind}' is out of scope (scalar ` +
-                `symbol/op only; integral/derivative/tensor nodes are not ` +
+                `symbol/op/transcendental/abs only; integral/derivative/tensor nodes are not ` +
                 `numerically evaluable here).`);
     }
 }
+function applyTranscendental(fn, arg) {
+    switch (fn) {
+        case 'exp':
+            return Math.exp(arg);
+        case 'ln':
+            return Math.log(arg);
+        case 'log2':
+            return Math.log2(arg);
+        case 'log10':
+            return Math.log10(arg);
+        case 'sin':
+            return Math.sin(arg);
+        case 'cos':
+            return Math.cos(arg);
+        case 'tan':
+            return Math.tan(arg);
+        case 'sinh':
+            return Math.sinh(arg);
+        case 'cosh':
+            return Math.cosh(arg);
+        case 'tanh':
+            return Math.tanh(arg);
+        default:
+            throw new SymbolicEvalError(`evalExpr: unknown transcendental '${fn}'.`);
+    }
+}
 function finite(value, node) {
     if (!Number.isFinite(value)) {
         throw new SymbolicEvalError(`evalExpr: '${node.op ?? node.kind}' produced a ` +

package/dist/composition/expr-eval.js.map

@@ -1 +1 @@
-{"version":3,"file":"expr-eval.js","sourceRoot":"","sources":["../../src/composition/expr-eval.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAC;AAElF;yCACyC;AACzC,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IAC1C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IAClC,CAAC;CACF;AAED,2EAA2E;AAC3E,SAAS,WAAW,CAAC,IAAY,EAAE,MAAwC;IACzE,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;IAC5E,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC,KAAK,CAAC;IAClD,MAAM,EAAE,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC;IAC7C,MAAM,IAAI,iBAAiB,CACzB,0BAA0B,IAAI,uCAAuC;QACnE,8CAA8C,CACjD,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,QAAQ,CACtB,IAAc,EACd,MAAM,GAAqC,EAAE;IAE7C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAExC,KAAK,IAAI,EAAE,CAAC;YACV,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;gBACpB,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC3B,MAAM,IAAI,iBAAiB,CACzB,2CAA2C,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAC/D,CAAC;gBACJ,CAAC;gBACD,wEAAwE;gBACxE,sEAAsE;gBACtE,0DAA0D;gBAC1D,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBAC5C,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBAC3C,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;YAC3C,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3B,iEAAiE;gBACjE,OAAO,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACpD,CAAC;YACD,IAAI,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;YACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC1C,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBACzC,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;oBAAE,GAAG,IAAI,CAAC,CAAC;qBACzB,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;oBAAE,GAAG,IAAI,CAAC,CAAC;qBAC9B,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;oBAAE,GAAG,IAAI,CAAC,CAAC;;oBAC9B,GAAG,IAAI,CAAC,CAAC;YAChB,CAAC;YACD,OAAO,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC3B,CAAC;QAED;YACE,MAAM,IAAI,iBAAiB,CACzB,wBAAwB,IAAI,CAAC,IAAI,4BAA4B;gBAC3D,2DAA2D;gBAC3D,8BAA8B,CACjC,CAAC;IACN,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,KAAa,EAAE,IAAc;IAC3C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,iBAAiB,CACzB,cAAe,IAAwB,CAAC,EAAE,IAAI,IAAI,CAAC,IAAI,eAAe;YACpE,qBAAqB,KAAK,IAAI,CACjC,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"expr-eval.js","sourceRoot":"","sources":["../../src/composition/expr-eval.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAC;AAElF;yCACyC;AACzC,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IAC1C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IAClC,CAAC;CACF;AAED,2EAA2E;AAC3E,SAAS,WAAW,CAAC,IAAY,EAAE,MAAwC;IACzE,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;IAC5E,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC,KAAK,CAAC;IAClD,MAAM,EAAE,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC;IAC7C,MAAM,IAAI,iBAAiB,CACzB,0BAA0B,IAAI,uCAAuC;QACnE,8CAA8C,CACjD,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,QAAQ,CACtB,IAAc,EACd,MAAM,GAAqC,EAAE;IAE7C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAExC,KAAK,IAAI,EAAE,CAAC;YACV,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;gBACpB,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC3B,MAAM,IAAI,iBAAiB,CACzB,2CAA2C,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAC/D,CAAC;gBACJ,CAAC;gBACD,wEAAwE;gBACxE,sEAAsE;gBACtE,0DAA0D;gBAC1D,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBAC5C,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBAC3C,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;YAC3C,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3B,iEAAiE;gBACjE,OAAO,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACpD,CAAC;YACD,IAAI,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;YACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC1C,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBACzC,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;oBAAE,GAAG,IAAI,CAAC,CAAC;qBACzB,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;oBAAE,GAAG,IAAI,CAAC,CAAC;qBAC9B,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;oBAAE,GAAG,IAAI,CAAC,CAAC;;oBAC9B,GAAG,IAAI,CAAC,CAAC;YAChB,CAAC;YACD,OAAO,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC3B,CAAC;QAED,KAAK,gBAAgB;YACnB,OAAO,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAEhF,KAAK,KAAK;YACR,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAE5D;YACE,MAAM,IAAI,iBAAiB,CACzB,wBAAwB,IAAI,CAAC,IAAI,4BAA4B;gBAC3D,8EAA8E;gBAC9E,8BAA8B,CACjC,CAAC;IACN,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,EAAU,EAAE,GAAW;IAClD,QAAQ,EAAE,EAAE,CAAC;QACX,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvB,KAAK,IAAI;YACP,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvB,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACzB,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvB,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvB,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvB,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB;YACE,MAAM,IAAI,iBAAiB,CAAC,qCAAqC,EAAE,IAAI,CAAC,CAAC;IAC7E,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,KAAa,EAAE,IAAc;IAC3C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,iBAAiB,CACzB,cAAe,IAAwB,CAAC,EAAE,IAAI,IAAI,CAAC,IAAI,eAAe;YACpE,qBAAqB,KAAK,IAAI,CACjC,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/composition/expr-subst.d.ts

@@ -3,7 +3,8 @@
  *
  * `substitute(expr, name, replacement)` replaces every `{kind:'symbol', name}`
  * leaf with `replacement`, recursing the scalar arms (`op` / `integral` /
- * `derivative`). It returns the new tree AND the occurrence count — the count
+ * `derivative` / `transcendental` / `abs` / `dirac-delta`). It returns the new
+ * tree AND the occurrence count — the count
  * is load-bearing: `composeSymbolic` rejects a ZERO-occurrence substitution
  * (a silent no-op that would yield a dimensionally-valid but physics-wrong
  * composition ignoring the first operand — Adam A-3). Tensor arms are out of