universal-physics-tensor 1.0.1 → 1.0.3

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

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

@@ -1 +1 @@
-{"version":3,"file":"expr-subst.d.ts","sourceRoot":"","sources":["../../src/composition/expr-subst.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAG5D,8DAA8D;AAC9D,UAAU,kBAAkB;IAC1B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CACxB,IAAI,EAAE,QAAQ,EACd,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,QAAQ,GACpB,kBAAkB,CA0CpB"}
+{"version":3,"file":"expr-subst.d.ts","sourceRoot":"","sources":["../../src/composition/expr-subst.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAG5D,8DAA8D;AAC9D,UAAU,kBAAkB;IAC1B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CACxB,IAAI,EAAE,QAAQ,EACd,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,QAAQ,GACpB,kBAAkB,CAiDpB"}

package/dist/composition/expr-subst.js

@@ -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
@@ -51,9 +52,15 @@ export function substitute(expr, name, replacement) {
                 count: of.count + wrt.count,
             };
         }
+        case 'transcendental':
+        case 'abs':
+        case 'dirac-delta': {
+            const inner = substitute(expr.arg, name, replacement);
+            return { expr: { ...expr, arg: inner.expr }, count: inner.count };
+        }
         default:
             throw new SymbolicEvalError(`substitute: node kind '${expr.kind}' is out of scope (scalar ` +
-                `symbol/op/integral/derivative only; tensor nodes are not ` +
+                `symbol/op/integral/derivative/transcendental/abs/dirac-delta only; tensor nodes are not ` +
                 `substitutable here).`);
     }
 }

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

@@ -1 +1 @@
-{"version":3,"file":"expr-subst.js","sourceRoot":"","sources":["../../src/composition/expr-subst.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAQnD;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CACxB,IAAc,EACd,IAAY,EACZ,WAAqB;IAErB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,IAAI,KAAK,IAAI;gBACvB,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE;gBACjC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAEzB,KAAK,IAAI,EAAE,CAAC;YACV,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC/B,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;gBAC3C,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC;gBACjB,OAAO,CAAC,CAAC,IAAI,CAAC;YAChB,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC;QAC5C,CAAC;QAED,KAAK,UAAU,EAAE,CAAC;YAChB,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YACtD,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YAChE,OAAO;gBACL,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI,EAAE;gBAC7D,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC,KAAK;aACpC,CAAC;QACJ,CAAC;QAED,KAAK,YAAY,EAAE,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YAClD,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YACpD,OAAO;gBACL,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE;gBAC7C,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,GAAG,CAAC,KAAK;aAC5B,CAAC;QACJ,CAAC;QAED;YACE,MAAM,IAAI,iBAAiB,CACzB,0BAA0B,IAAI,CAAC,IAAI,4BAA4B;gBAC7D,2DAA2D;gBAC3D,sBAAsB,CACzB,CAAC;IACN,CAAC;AACH,CAAC"}
+{"version":3,"file":"expr-subst.js","sourceRoot":"","sources":["../../src/composition/expr-subst.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAQnD;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CACxB,IAAc,EACd,IAAY,EACZ,WAAqB;IAErB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,IAAI,KAAK,IAAI;gBACvB,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE;gBACjC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAEzB,KAAK,IAAI,EAAE,CAAC;YACV,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC/B,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;gBAC3C,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC;gBACjB,OAAO,CAAC,CAAC,IAAI,CAAC;YAChB,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC;QAC5C,CAAC;QAED,KAAK,UAAU,EAAE,CAAC;YAChB,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YACtD,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YAChE,OAAO;gBACL,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI,EAAE;gBAC7D,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC,KAAK;aACpC,CAAC;QACJ,CAAC;QAED,KAAK,YAAY,EAAE,CAAC;YAClB,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YAClD,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YACpD,OAAO;gBACL,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE;gBAC7C,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,GAAG,CAAC,KAAK;aAC5B,CAAC;QACJ,CAAC;QAED,KAAK,gBAAgB,CAAC;QACtB,KAAK,KAAK,CAAC;QACX,KAAK,aAAa,EAAE,CAAC;YACnB,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YACtD,OAAO,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;QACpE,CAAC;QAED;YACE,MAAM,IAAI,iBAAiB,CACzB,0BAA0B,IAAI,CAAC,IAAI,4BAA4B;gBAC7D,0FAA0F;gBAC1F,sBAAsB,CACzB,CAAC;IACN,CAAC;AACH,CAAC"}

package/dist/composition/not-composable-seeds.d.ts

@@ -0,0 +1,30 @@
+/**
+ * Proved atlas seeds that are not composition-graph edges.
+ *
+ * A kind-`bridge` atlas fact is a route between models. It becomes a
+ * chain premise only when a `BridgeEdge` can state it as quantities in
+ * and one quantity out. Each entry below is an equation-to-equation
+ * analogy: the proved statement is a transformation of a differential
+ * equation, or a bound on that transformation, and it has no scalar
+ * target. Forcing a side identification (a frequency, a wave speed)
+ * into an edge would state a different law from the theorem.
+ *
+ * Catalog seeds are not listed here. They have a quantity formula and
+ * an edge.
+ *
+ * @module composition/not-composable-seeds
+ */
+/** One proved seed the composition graph does not carry, and why. */
+export interface NotComposableSeed {
+    /** Manifest key, the same string `bridgeSeedKeys` returns. */
+    readonly id: string;
+    /** Why this seed has no quantity-in / quantity-out edge. */
+    readonly reason: string;
+}
+/**
+ * The ten atlas seeds. The list is the exemption the edge-validity
+ * test checks against `bridgeSeedKeys`. A new atlas seed fails that
+ * test until it has an edge or a row here.
+ */
+export declare const NOT_COMPOSABLE_SEEDS: readonly NotComposableSeed[];
+//# sourceMappingURL=not-composable-seeds.d.ts.map

package/dist/composition/not-composable-seeds.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"not-composable-seeds.d.ts","sourceRoot":"","sources":["../../src/composition/not-composable-seeds.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,qEAAqE;AACrE,MAAM,WAAW,iBAAiB;IAChC,8DAA8D;IAC9D,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,4DAA4D;IAC5D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,EAAE,SAAS,iBAAiB,EA6E5D,CAAC"}

package/dist/composition/not-composable-seeds.js

@@ -0,0 +1,90 @@
+/**
+ * Proved atlas seeds that are not composition-graph edges.
+ *
+ * A kind-`bridge` atlas fact is a route between models. It becomes a
+ * chain premise only when a `BridgeEdge` can state it as quantities in
+ * and one quantity out. Each entry below is an equation-to-equation
+ * analogy: the proved statement is a transformation of a differential
+ * equation, or a bound on that transformation, and it has no scalar
+ * target. Forcing a side identification (a frequency, a wave speed)
+ * into an edge would state a different law from the theorem.
+ *
+ * Catalog seeds are not listed here. They have a quantity formula and
+ * an edge.
+ *
+ * @module composition/not-composable-seeds
+ */
+/**
+ * The ten atlas seeds. The list is the exemption the edge-validity
+ * test checks against `bridgeSeedKeys`. A new atlas seed fails that
+ * test until it has an edge or a row here.
+ */
+export const NOT_COMPOSABLE_SEEDS = [
+    {
+        id: 'ab-kg-schrodinger',
+        reason: 'Klein–Gordon to the free Schrödinger equation is a field redefinition ' +
+            '(factor out e^{−iω₀t}) plus a bound on the kinetic-frequency error. ' +
+            'PhysJS.KgSchrodinger.covers_bound_delta states that bound at the ' +
+            'dispersion relation. It does not map input quantities to one output quantity.',
+    },
+    {
+        id: 'ab-klein-gordon-wave',
+        reason: 'Dropping the Klein–Gordon mass term recovers the 1-D wave equation. ' +
+            'PhysJS.KleinGordonWave.covers_bound_delta is the phase-velocity error ' +
+            'of that limit. The dispersion relation is the premise of the bound, ' +
+            'not a scalar edge.',
+    },
+    {
+        id: 'ab-stiff-string',
+        reason: 'Dropping the bending term EI y_xxxx takes the stiff-string equation ' +
+            'to the flexible string. PhysJS.StiffString.covers_bound_delta is the ' +
+            'phase-velocity error. ω²(k) is a dispersion relation of a PDE, not a ' +
+            'single target quantity.',
+    },
+    {
+        id: 'ab-telegraph-diffusion',
+        reason: 'The singular limit τ → 0 drops the second time derivative and takes ' +
+            'the telegraph equation to Fick’s law. PhysJS.TelegraphDiffusion.covers_bound_delta ' +
+            'bounds the slow-mode decay rate. Both sides are field equations.',
+    },
+    {
+        id: 'ab-telegraph-wave',
+        reason: 'Dropping the first time derivative takes the telegraph equation to ' +
+            'the wave equation. PhysJS.TelegraphWave.covers_bound_delta bounds the ' +
+            'oscillation-frequency error. c² = D/τ is how that approximation is ' +
+            'stated; the theorem does not certify a speed formula as its statement.',
+    },
+    {
+        id: 'ab-pendulum-linear',
+        reason: 'PhysJS.Pendulum.linearizedEquationOfMotion_iff is the small-angle ' +
+            'replacement sin θ → θ between two ordinary differential equations. ' +
+            'ω₀² = g/ℓ is a parameter identification inside that analogy, not the ' +
+            'proved statement, so it is not an edge.',
+    },
+    {
+        id: 'ab-kg-oscillator',
+        reason: 'PhysJS.KgOscillator.uniform_solves_equationOfMotion restricts the ' +
+            'Klein–Gordon field to a spatially uniform mode, which then matches ' +
+            'the spring equation. A field restriction is not a scalar formula.',
+    },
+    {
+        id: 'ab-spring-lc',
+        reason: 'PhysJS.SpringLc.time_rescale_equationOfMotion is the lossless ' +
+            'dictionary m ↔ L, k ↔ 1/C, x ↔ q and a rescaling of time. The two ' +
+            'oscillator equations become the same dimensionless equation. There ' +
+            'is no single target quantity.',
+    },
+    {
+        id: 'ab-damped-rlc',
+        reason: 'PhysJS.DampedRlc is the same dictionary plus the damping-ratio side ' +
+            'condition. The proved statement is an equivalence of two equations ' +
+            'of motion, not a map from inputs to one output.',
+    },
+    {
+        id: 'ab-wave-dalembert',
+        reason: 'Characteristics turn u_tt = c² u_xx into u_ξη = 0. d’Alembert’s ' +
+            'formula is u = f(x−ct) + g(x+ct) for arbitrary waveforms f and g. ' +
+            'A scalar edge has one numeric target; it cannot carry those functions.',
+    },
+];
+//# sourceMappingURL=not-composable-seeds.js.map

package/dist/composition/not-composable-seeds.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"not-composable-seeds.js","sourceRoot":"","sources":["../../src/composition/not-composable-seeds.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAUH;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAiC;IAChE;QACE,EAAE,EAAE,mBAAmB;QACvB,MAAM,EACJ,wEAAwE;YACxE,sEAAsE;YACtE,mEAAmE;YACnE,+EAA+E;KAClF;IACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,MAAM,EACJ,sEAAsE;YACtE,wEAAwE;YACxE,sEAAsE;YACtE,oBAAoB;KACvB;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,MAAM,EACJ,sEAAsE;YACtE,uEAAuE;YACvE,uEAAuE;YACvE,yBAAyB;KAC5B;IACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,MAAM,EACJ,sEAAsE;YACtE,qFAAqF;YACrF,kEAAkE;KACrE;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,MAAM,EACJ,qEAAqE;YACrE,wEAAwE;YACxE,qEAAqE;YACrE,wEAAwE;KAC3E;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,MAAM,EACJ,oEAAoE;YACpE,qEAAqE;YACrE,uEAAuE;YACvE,yCAAyC;KAC5C;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,MAAM,EACJ,oEAAoE;YACpE,qEAAqE;YACrE,mEAAmE;KACtE;IACD;QACE,EAAE,EAAE,cAAc;QAClB,MAAM,EACJ,gEAAgE;YAChE,oEAAoE;YACpE,qEAAqE;YACrE,+BAA+B;KAClC;IACD;QACE,EAAE,EAAE,eAAe;QACnB,MAAM,EACJ,sEAAsE;YACtE,qEAAqE;YACrE,iDAAiD;KACpD;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,MAAM,EACJ,kEAAkE;YAClE,oEAAoE;YACpE,wEAAwE;KAC3E;CACF,CAAC"}

package/dist/composition/quantities/_dims.d.ts

@@ -31,5 +31,11 @@ export declare const TORSION_CONTRACTION: Dimension;
 export declare const SPIN_DENSITY_SQUARED: Dimension;
 /** Energy [M L² T⁻²] — joule (BE-18 VEV/mass, natural-units energy). */
 export declare const ENERGY_DIM2: Dimension;
+/** Electrical conductance [I² T³ M⁻¹ L⁻²] (siemens) — Hall conductance σ_xy. */
+export declare const CONDUCTANCE: Dimension;
+/** Electric potential difference [M L² T⁻³ I⁻¹] (volt). */
+export declare const VOLTAGE: Dimension;
+/** Energy⁴ [M⁴ L⁸ T⁻⁸] — natural-unit potential density (composite Higgs V). */
+export declare const ENERGY4: Dimension;
 /** Canonical node for `boundary-entanglement-entropy`. */
 //# sourceMappingURL=_dims.d.ts.map

package/dist/composition/quantities/_dims.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"_dims.d.ts","sourceRoot":"","sources":["../../../src/composition/quantities/_dims.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAE5D,sDAAsD;AACtD,eAAO,MAAM,UAAU,EAAE,SAA6D,CAAC;AACvF,mBAAmB;AACnB,eAAO,MAAM,aAAa,WAAY,CAAC;AACvC,oEAAoE;AACpE,eAAO,MAAM,YAAY,EAAE,SAA6D,CAAC;AACzF,kEAAkE;AAClE,eAAO,MAAM,MAAM,EAAE,SAA6D,CAAC;AAInF,6EAA6E;AAC7E,eAAO,MAAM,QAAQ,EAAE,SAA6D,CAAC;AACrF,yDAAyD;AACzD,eAAO,MAAM,UAAU,EAAE,SAA6D,CAAC;AACvF,0DAA0D;AAC1D,eAAO,MAAM,cAAc,EAAE,SAA8D,CAAC;AAC5F,yDAAyD;AACzD,eAAO,MAAM,QAAQ,EAAE,SAA6D,CAAC;AACrF,qDAAqD;AACrD,eAAO,MAAM,WAAW,EAAE,SAA8D,CAAC;AACzF,8BAA8B;AAC9B,eAAO,MAAM,cAAc,EAAE,SAA6D,CAAC;AAC3F,yDAAyD;AACzD,eAAO,MAAM,mBAAmB,EAAE,SAA8D,CAAC;AACjG,+DAA+D;AAC/D,eAAO,MAAM,gBAAgB,EAAE,SAA8D,CAAC;AAC9F,iEAAiE;AACjE,eAAO,MAAM,0BAA0B,EAAE,SAA6D,CAAC;AACvG,yDAAyD;AACzD,eAAO,MAAM,mBAAmB,EAAE,SAA6D,CAAC;AAChG,4DAA4D;AAC5D,eAAO,MAAM,oBAAoB,EAAE,SAA8D,CAAC;AAClG,wEAAwE;AACxE,eAAO,MAAM,WAAW,EAAE,SAAsB,CAAC;AAEjD,0DAA0D"}
+{"version":3,"file":"_dims.d.ts","sourceRoot":"","sources":["../../../src/composition/quantities/_dims.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAE5D,sDAAsD;AACtD,eAAO,MAAM,UAAU,EAAE,SAA6D,CAAC;AACvF,mBAAmB;AACnB,eAAO,MAAM,aAAa,WAAY,CAAC;AACvC,oEAAoE;AACpE,eAAO,MAAM,YAAY,EAAE,SAA6D,CAAC;AACzF,kEAAkE;AAClE,eAAO,MAAM,MAAM,EAAE,SAA6D,CAAC;AAInF,6EAA6E;AAC7E,eAAO,MAAM,QAAQ,EAAE,SAA6D,CAAC;AACrF,yDAAyD;AACzD,eAAO,MAAM,UAAU,EAAE,SAA6D,CAAC;AACvF,0DAA0D;AAC1D,eAAO,MAAM,cAAc,EAAE,SAA8D,CAAC;AAC5F,yDAAyD;AACzD,eAAO,MAAM,QAAQ,EAAE,SAA6D,CAAC;AACrF,qDAAqD;AACrD,eAAO,MAAM,WAAW,EAAE,SAA8D,CAAC;AACzF,8BAA8B;AAC9B,eAAO,MAAM,cAAc,EAAE,SAA6D,CAAC;AAC3F,yDAAyD;AACzD,eAAO,MAAM,mBAAmB,EAAE,SAA8D,CAAC;AACjG,+DAA+D;AAC/D,eAAO,MAAM,gBAAgB,EAAE,SAA8D,CAAC;AAC9F,iEAAiE;AACjE,eAAO,MAAM,0BAA0B,EAAE,SAA6D,CAAC;AACvG,yDAAyD;AACzD,eAAO,MAAM,mBAAmB,EAAE,SAA6D,CAAC;AAChG,4DAA4D;AAC5D,eAAO,MAAM,oBAAoB,EAAE,SAA8D,CAAC;AAClG,wEAAwE;AACxE,eAAO,MAAM,WAAW,EAAE,SAAsB,CAAC;AACjD,gFAAgF;AAChF,eAAO,MAAM,WAAW,EAAE,SAA8D,CAAC;AACzF,2DAA2D;AAC3D,eAAO,MAAM,OAAO,EAAE,SAA8D,CAAC;AACrF,gFAAgF;AAChF,eAAO,MAAM,OAAO,EAAE,SAA6D,CAAC;AAEpF,0DAA0D"}

package/dist/composition/quantities/_dims.js

@@ -41,5 +41,11 @@ export const TORSION_CONTRACTION = { L: -4, M: 0, T: 2, I: 0, Theta: 0, N: 0, J:
 export const SPIN_DENSITY_SQUARED = { L: -2, M: 2, T: -2, I: 0, Theta: 0, N: 0, J: 0 };
 /** Energy [M L² T⁻²] — joule (BE-18 VEV/mass, natural-units energy). */
 export const ENERGY_DIM2 = ENERGY_DIM;
+/** Electrical conductance [I² T³ M⁻¹ L⁻²] (siemens) — Hall conductance σ_xy. */
+export const CONDUCTANCE = { L: -2, M: -1, T: 3, I: 2, Theta: 0, N: 0, J: 0 };
+/** Electric potential difference [M L² T⁻³ I⁻¹] (volt). */
+export const VOLTAGE = { L: 2, M: 1, T: -3, I: -1, Theta: 0, N: 0, J: 0 };
+/** Energy⁴ [M⁴ L⁸ T⁻⁸] — natural-unit potential density (composite Higgs V). */
+export const ENERGY4 = { L: 8, M: 4, T: -8, I: 0, Theta: 0, N: 0, J: 0 };
 /** Canonical node for `boundary-entanglement-entropy`. */
 //# sourceMappingURL=_dims.js.map

package/dist/composition/quantities/_dims.js.map

@@ -1 +1 @@
-{"version":3,"file":"_dims.js","sourceRoot":"","sources":["../../../src/composition/quantities/_dims.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAGvD,sDAAsD;AACtD,MAAM,CAAC,MAAM,UAAU,GAAc,EAAE,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,EAAE,CAAC;AACvF,mBAAmB;AACnB,MAAM,CAAC,MAAM,aAAa,GAAG,SAAS,CAAC;AACvC,oEAAoE;AACpE,MAAM,CAAC,MAAM,YAAY,GAAc,EAAE,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,EAAE,CAAC;AACzF,kEAAkE;AAClE,MAAM,CAAC,MAAM,MAAM,GAAc,EAAE,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,EAAE,CAAC;AAEnF,+CAA+C;AAE/C,6EAA6E;AAC7E,MAAM,CAAC,MAAM,QAAQ,GAAc,EAAE,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,EAAE,CAAC;AACrF,yDAAyD;AACzD,MAAM,CAAC,MAAM,UAAU,GAAc,EAAE,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,EAAE,CAAC;AACvF,0DAA0D;AAC1D,MAAM,CAAC,MAAM,cAAc,GAAc,EAAE,CAAC,EAAE,CAAC,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,EAAE,CAAC;AAC5F,yDAAyD;AACzD,MAAM,CAAC,MAAM,QAAQ,GAAc,EAAE,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,EAAE,CAAC;AACrF,qDAAqD;AACrD,MAAM,CAAC,MAAM,WAAW,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AACzF,8BAA8B;AAC9B,MAAM,CAAC,MAAM,cAAc,GAAc,EAAE,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,EAAE,CAAC;AAC3F,yDAAyD;AACzD,MAAM,CAAC,MAAM,mBAAmB,GAAc,EAAE,CAAC,EAAE,CAAC,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,EAAE,CAAC;AACjG,+DAA+D;AAC/D,MAAM,CAAC,MAAM,gBAAgB,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAC9F,iEAAiE;AACjE,MAAM,CAAC,MAAM,0BAA0B,GAAc,EAAE,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,EAAE,CAAC;AACvG,yDAAyD;AACzD,MAAM,CAAC,MAAM,mBAAmB,GAAc,EAAE,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,EAAE,CAAC;AAChG,4DAA4D;AAC5D,MAAM,CAAC,MAAM,oBAAoB,GAAc,EAAE,CAAC,EAAE,CAAC,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,EAAE,CAAC;AAClG,wEAAwE;AACxE,MAAM,CAAC,MAAM,WAAW,GAAc,UAAU,CAAC;AAEjD,0DAA0D"}
+{"version":3,"file":"_dims.js","sourceRoot":"","sources":["../../../src/composition/quantities/_dims.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAGvD,sDAAsD;AACtD,MAAM,CAAC,MAAM,UAAU,GAAc,EAAE,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,EAAE,CAAC;AACvF,mBAAmB;AACnB,MAAM,CAAC,MAAM,aAAa,GAAG,SAAS,CAAC;AACvC,oEAAoE;AACpE,MAAM,CAAC,MAAM,YAAY,GAAc,EAAE,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,EAAE,CAAC;AACzF,kEAAkE;AAClE,MAAM,CAAC,MAAM,MAAM,GAAc,EAAE,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,EAAE,CAAC;AAEnF,+CAA+C;AAE/C,6EAA6E;AAC7E,MAAM,CAAC,MAAM,QAAQ,GAAc,EAAE,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,EAAE,CAAC;AACrF,yDAAyD;AACzD,MAAM,CAAC,MAAM,UAAU,GAAc,EAAE,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,EAAE,CAAC;AACvF,0DAA0D;AAC1D,MAAM,CAAC,MAAM,cAAc,GAAc,EAAE,CAAC,EAAE,CAAC,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,EAAE,CAAC;AAC5F,yDAAyD;AACzD,MAAM,CAAC,MAAM,QAAQ,GAAc,EAAE,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,EAAE,CAAC;AACrF,qDAAqD;AACrD,MAAM,CAAC,MAAM,WAAW,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AACzF,8BAA8B;AAC9B,MAAM,CAAC,MAAM,cAAc,GAAc,EAAE,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,EAAE,CAAC;AAC3F,yDAAyD;AACzD,MAAM,CAAC,MAAM,mBAAmB,GAAc,EAAE,CAAC,EAAE,CAAC,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,EAAE,CAAC;AACjG,+DAA+D;AAC/D,MAAM,CAAC,MAAM,gBAAgB,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAC9F,iEAAiE;AACjE,MAAM,CAAC,MAAM,0BAA0B,GAAc,EAAE,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,EAAE,CAAC;AACvG,yDAAyD;AACzD,MAAM,CAAC,MAAM,mBAAmB,GAAc,EAAE,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,EAAE,CAAC;AAChG,4DAA4D;AAC5D,MAAM,CAAC,MAAM,oBAAoB,GAAc,EAAE,CAAC,EAAE,CAAC,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,EAAE,CAAC;AAClG,wEAAwE;AACxE,MAAM,CAAC,MAAM,WAAW,GAAc,UAAU,CAAC;AACjD,gFAAgF;AAChF,MAAM,CAAC,MAAM,WAAW,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AACzF,2DAA2D;AAC3D,MAAM,CAAC,MAAM,OAAO,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AACrF,gFAAgF;AAChF,MAAM,CAAC,MAAM,OAAO,GAAc,EAAE,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,EAAE,CAAC;AAEpF,0DAA0D"}

package/dist/composition/quantities/condensed-matter.d.ts

@@ -60,4 +60,20 @@ export declare const defectRestMassQ: Quantity;
 export declare const reheatingTemperatureQ: Quantity;
 /** Canonical node for `defect-density` (n_defect, dimensionless scaling). */
 export declare const defectDensityQ: Quantity;
+/** Canonical node for `chern-number` (C, TKNN integer). Not the fractional filling. */
+export declare const chernNumberQ: Quantity;
+/** Canonical node for `filling-fraction` (ν = p/q). Not the integer Chern number. */
+export declare const fillingFractionQ: Quantity;
+/** Canonical node for `hall-conductance` (σ_xy, siemens). Shared by the integer and fractional Hall relations. */
+export declare const hallConductanceQ: Quantity;
+/** Canonical node for `voltage` (V, volt). Electric potential difference. */
+export declare const voltageQ: Quantity;
+/**
+ * Canonical node for `frequency` (f, hertz).
+ * The same node as the wave relation v = fλ. Attributes stay empty:
+ * a classical wave and the Josephson frequency are one quantity, and a
+ * scale tag on the shared node would mark every use of it.
+ * Distinct from `attempt-frequency`, a molecular kinetic prefactor.
+ */
+export declare const frequencyQ: Quantity;
 //# sourceMappingURL=condensed-matter.d.ts.map

package/dist/composition/quantities/condensed-matter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"condensed-matter.d.ts","sourceRoot":"","sources":["../../../src/composition/quantities/condensed-matter.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAgB/C,wCAAwC;AAIxC,eAAO,MAAM,YAAY,EAAE,QAK1B,CAAC;AACF,yDAAyD;AACzD,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,0CAA0C;AAC1C,eAAO,MAAM,KAAK,EAAE,QAKnB,CAAC;AACF,0DAA0D;AAC1D,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AACF,4DAA4D;AAC5D,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AACF,wDAAwD;AACxD,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,gFAAgF;AAChF,eAAO,MAAM,+BAA+B,EAAE,QAQ7C,CAAC;AACF,wEAAwE;AACxE,eAAO,MAAM,6BAA6B,EAAE,QAK3C,CAAC;AACF,4DAA4D;AAC5D,eAAO,MAAM,oBAAoB,EAAE,QAKlC,CAAC;AACF,wGAAwG;AACxG,eAAO,MAAM,cAAc,EAAE,QAQ5B,CAAC;AACF,yDAAyD;AACzD,eAAO,MAAM,eAAe,EAAE,QAM7B,CAAC;AACF,wEAAwE;AACxE,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,oDAAoD;AACpD,eAAO,MAAM,YAAY,EAAE,QAK1B,CAAC;AACF,mEAAmE;AACnE,eAAO,MAAM,kBAAkB,EAAE,QAKhC,CAAC;AACF,+DAA+D;AAC/D,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AACF,oEAAoE;AACpE,eAAO,MAAM,2BAA2B,EAAE,QAKzC,CAAC;AACF,6DAA6D;AAC7D,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AACF,kEAAkE;AAClE,eAAO,MAAM,iBAAiB,EAAE,QAM/B,CAAC;AACF,kEAAkE;AAClE,eAAO,MAAM,iBAAiB,EAAE,QAM/B,CAAC;AACF,wEAAwE;AACxE,eAAO,MAAM,yBAAyB,EAAE,QAKvC,CAAC;AACF,wDAAwD;AACxD,eAAO,MAAM,gBAAgB,EAAE,QAK9B,CAAC;AACF,mEAAmE;AACnE,eAAO,MAAM,0BAA0B,EAAE,QAKxC,CAAC;AACF,iEAAiE;AACjE,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AACF,6DAA6D;AAC7D,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,+DAA+D;AAC/D,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AACF,6EAA6E;AAC7E,eAAO,MAAM,cAAc,EAAE,QAK5B,CAAC"}
+{"version":3,"file":"condensed-matter.d.ts","sourceRoot":"","sources":["../../../src/composition/quantities/condensed-matter.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAmB/C,wCAAwC;AAIxC,eAAO,MAAM,YAAY,EAAE,QAK1B,CAAC;AACF,yDAAyD;AACzD,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,0CAA0C;AAC1C,eAAO,MAAM,KAAK,EAAE,QAKnB,CAAC;AACF,0DAA0D;AAC1D,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AACF,4DAA4D;AAC5D,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AACF,wDAAwD;AACxD,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,gFAAgF;AAChF,eAAO,MAAM,+BAA+B,EAAE,QAQ7C,CAAC;AACF,wEAAwE;AACxE,eAAO,MAAM,6BAA6B,EAAE,QAK3C,CAAC;AACF,4DAA4D;AAC5D,eAAO,MAAM,oBAAoB,EAAE,QAKlC,CAAC;AACF,wGAAwG;AACxG,eAAO,MAAM,cAAc,EAAE,QAQ5B,CAAC;AACF,yDAAyD;AACzD,eAAO,MAAM,eAAe,EAAE,QAM7B,CAAC;AACF,wEAAwE;AACxE,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,oDAAoD;AACpD,eAAO,MAAM,YAAY,EAAE,QAK1B,CAAC;AACF,mEAAmE;AACnE,eAAO,MAAM,kBAAkB,EAAE,QAKhC,CAAC;AACF,+DAA+D;AAC/D,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AACF,oEAAoE;AACpE,eAAO,MAAM,2BAA2B,EAAE,QAKzC,CAAC;AACF,6DAA6D;AAC7D,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AACF,kEAAkE;AAClE,eAAO,MAAM,iBAAiB,EAAE,QAM/B,CAAC;AACF,kEAAkE;AAClE,eAAO,MAAM,iBAAiB,EAAE,QAM/B,CAAC;AACF,wEAAwE;AACxE,eAAO,MAAM,yBAAyB,EAAE,QAKvC,CAAC;AACF,wDAAwD;AACxD,eAAO,MAAM,gBAAgB,EAAE,QAK9B,CAAC;AACF,mEAAmE;AACnE,eAAO,MAAM,0BAA0B,EAAE,QAKxC,CAAC;AACF,iEAAiE;AACjE,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AACF,6DAA6D;AAC7D,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,+DAA+D;AAC/D,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AACF,6EAA6E;AAC7E,eAAO,MAAM,cAAc,EAAE,QAK5B,CAAC;AACF,uFAAuF;AACvF,eAAO,MAAM,YAAY,EAAE,QAK1B,CAAC;AACF,qFAAqF;AACrF,eAAO,MAAM,gBAAgB,EAAE,QAK9B,CAAC;AACF,kHAAkH;AAClH,eAAO,MAAM,gBAAgB,EAAE,QAK9B,CAAC;AACF,6EAA6E;AAC7E,eAAO,MAAM,QAAQ,EAAE,QAKtB,CAAC;AACF;;;;;;GAMG;AACH,eAAO,MAAM,UAAU,EAAE,QAKxB,CAAC"}

package/dist/composition/quantities/condensed-matter.js

@@ -1,5 +1,5 @@
-import { DIMENSIONLESS, LENGTH, MASS, TEMPERATURE, TIME, } from '../../dimensional/types.js';
-import { INV_LENGTH, MOBILITY, RESISTIVITY, NUMBER_DENSITY, ENERGY_DIM2, } from './_dims.js';
+import { DIMENSIONLESS, FREQUENCY, LENGTH, MASS, TEMPERATURE, TIME, } from '../../dimensional/types.js';
+import { INV_LENGTH, MOBILITY, RESISTIVITY, NUMBER_DENSITY, ENERGY_DIM2, CONDUCTANCE, VOLTAGE, } from './_dims.js';
 /** Canonical node for `temperature`. */
 // audit 2026-07-02: stripped — generic (spans classical thermodynamics and
 // the quantum Hawking-temperature fold target; also resolves the
@@ -194,4 +194,45 @@ export const defectDensityQ = {
     dim: DIMENSIONLESS,
     attributes: { scale: 'cosmological' },
 };
+/** Canonical node for `chern-number` (C, TKNN integer). Not the fractional filling. */
+export const chernNumberQ = {
+    name: 'chern-number',
+    symbol: 'C',
+    dim: DIMENSIONLESS,
+    attributes: { scale: 'quantum', topology: 'chern' },
+};
+/** Canonical node for `filling-fraction` (ν = p/q). Not the integer Chern number. */
+export const fillingFractionQ = {
+    name: 'filling-fraction',
+    symbol: 'ν',
+    dim: DIMENSIONLESS,
+    attributes: { scale: 'quantum', topology: 'chern' },
+};
+/** Canonical node for `hall-conductance` (σ_xy, siemens). Shared by the integer and fractional Hall relations. */
+export const hallConductanceQ = {
+    name: 'hall-conductance',
+    symbol: 'σ_xy',
+    dim: CONDUCTANCE,
+    attributes: { scale: 'classical', force: 'electromagnetic' },
+};
+/** Canonical node for `voltage` (V, volt). Electric potential difference. */
+export const voltageQ = {
+    name: 'voltage',
+    symbol: 'V',
+    dim: VOLTAGE,
+    attributes: { scale: 'classical', force: 'electromagnetic' },
+};
+/**
+ * Canonical node for `frequency` (f, hertz).
+ * The same node as the wave relation v = fλ. Attributes stay empty:
+ * a classical wave and the Josephson frequency are one quantity, and a
+ * scale tag on the shared node would mark every use of it.
+ * Distinct from `attempt-frequency`, a molecular kinetic prefactor.
+ */
+export const frequencyQ = {
+    name: 'frequency',
+    symbol: 'f',
+    dim: FREQUENCY,
+    attributes: {},
+};
 //# sourceMappingURL=condensed-matter.js.map

package/dist/composition/quantities/condensed-matter.js.map

@@ -1 +1 @@
-{"version":3,"file":"condensed-matter.js","sourceRoot":"","sources":["../../../src/composition/quantities/condensed-matter.ts"],"names":[],"mappings":"AAUA,OAAO,EACL,aAAa,EACb,MAAM,EACN,IAAI,EACJ,WAAW,EACX,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,UAAU,EACV,QAAQ,EACR,WAAW,EACX,cAAc,EACd,WAAW,GACZ,MAAM,YAAY,CAAC;AAEpB,wCAAwC;AACxC,2EAA2E;AAC3E,iEAAiE;AACjE,8EAA8E;AAC9E,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE;CACf,CAAC;AACF,yDAAyD;AACzD,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,QAAQ;IACb,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE;CACvD,CAAC;AACF,0CAA0C;AAC1C,MAAM,CAAC,MAAM,KAAK,GAAa;IAC7B,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE;CACf,CAAC;AACF,0DAA0D;AAC1D,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,mBAAmB;IACzB,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE;CACvD,CAAC;AACF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,UAAU;IACf,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE;CAC7D,CAAC;AACF,wDAAwD;AACxD,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,gFAAgF;AAChF,MAAM,CAAC,MAAM,+BAA+B,GAAa;IACvD,IAAI,EAAE,kCAAkC;IACxC,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,2EAA2E;IAC3E,2EAA2E;IAC3E,mFAAmF;IACnF,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE;CAC7E,CAAC;AACF,wEAAwE;AACxE,MAAM,CAAC,MAAM,6BAA6B,GAAa;IACrD,IAAI,EAAE,gCAAgC;IACtC,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE;CAC7D,CAAC;AACF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;CAC7D,CAAC;AACF,wGAAwG;AACxG,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,gBAAgB;IACtB,MAAM,EAAE,IAAI;IACZ,GAAG,EAAE,IAAI;IACT,qFAAqF;IACrF,qFAAqF;IACrF,sFAAsF;IACtF,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE,UAAU,EAAE,WAAW,EAAE;CACpF,CAAC;AACF,yDAAyD;AACzD,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,cAAc;IACnB,+EAA+E;IAC/E,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE,UAAU,EAAE,WAAW,EAAE;CACpF,CAAC;AACF,wEAAwE;AACxE,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,oDAAoD;AACpD,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;CAC7D,CAAC;AACF,mEAAmE;AACnE,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,qBAAqB;IAC3B,MAAM,EAAE,UAAU;IAClB,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE;CACvD,CAAC;AACF,+DAA+D;AAC/D,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE;CACvD,CAAC;AACF,oEAAoE;AACpE,MAAM,CAAC,MAAM,2BAA2B,GAAa;IACnD,IAAI,EAAE,8BAA8B;IACpC,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,6DAA6D;AAC7D,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,kEAAkE;AAClE,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,qFAAqF;IACrF,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE;CACxD,CAAC;AACF,kEAAkE;AAClE,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,uDAAuD;IACvD,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE;CACxD,CAAC;AACF,wEAAwE;AACxE,MAAM,CAAC,MAAM,yBAAyB,GAAa;IACjD,IAAI,EAAE,4BAA4B;IAClC,MAAM,EAAE,WAAW;IACnB,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,wDAAwD;AACxD,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,mEAAmE;AACnE,MAAM,CAAC,MAAM,0BAA0B,GAAa;IAClD,IAAI,EAAE,6BAA6B;IACnC,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,iEAAiE;AACjE,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,mBAAmB;IACzB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE;CACf,CAAC;AACF,6DAA6D;AAC7D,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,UAAU;IAClB,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,+DAA+D;AAC/D,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,6EAA6E;AAC7E,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,gBAAgB;IACtB,MAAM,EAAE,UAAU;IAClB,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC"}
+{"version":3,"file":"condensed-matter.js","sourceRoot":"","sources":["../../../src/composition/quantities/condensed-matter.ts"],"names":[],"mappings":"AAUA,OAAO,EACL,aAAa,EACb,SAAS,EACT,MAAM,EACN,IAAI,EACJ,WAAW,EACX,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,UAAU,EACV,QAAQ,EACR,WAAW,EACX,cAAc,EACd,WAAW,EACX,WAAW,EACX,OAAO,GACR,MAAM,YAAY,CAAC;AAEpB,wCAAwC;AACxC,2EAA2E;AAC3E,iEAAiE;AACjE,8EAA8E;AAC9E,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE;CACf,CAAC;AACF,yDAAyD;AACzD,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,QAAQ;IACb,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE;CACvD,CAAC;AACF,0CAA0C;AAC1C,MAAM,CAAC,MAAM,KAAK,GAAa;IAC7B,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE;CACf,CAAC;AACF,0DAA0D;AAC1D,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,mBAAmB;IACzB,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE;CACvD,CAAC;AACF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,UAAU;IACf,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE;CAC7D,CAAC;AACF,wDAAwD;AACxD,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,gFAAgF;AAChF,MAAM,CAAC,MAAM,+BAA+B,GAAa;IACvD,IAAI,EAAE,kCAAkC;IACxC,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,2EAA2E;IAC3E,2EAA2E;IAC3E,mFAAmF;IACnF,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE;CAC7E,CAAC;AACF,wEAAwE;AACxE,MAAM,CAAC,MAAM,6BAA6B,GAAa;IACrD,IAAI,EAAE,gCAAgC;IACtC,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE;CAC7D,CAAC;AACF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;CAC7D,CAAC;AACF,wGAAwG;AACxG,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,gBAAgB;IACtB,MAAM,EAAE,IAAI;IACZ,GAAG,EAAE,IAAI;IACT,qFAAqF;IACrF,qFAAqF;IACrF,sFAAsF;IACtF,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE,UAAU,EAAE,WAAW,EAAE;CACpF,CAAC;AACF,yDAAyD;AACzD,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,cAAc;IACnB,+EAA+E;IAC/E,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE,UAAU,EAAE,WAAW,EAAE;CACpF,CAAC;AACF,wEAAwE;AACxE,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,oDAAoD;AACpD,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;CAC7D,CAAC;AACF,mEAAmE;AACnE,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,qBAAqB;IAC3B,MAAM,EAAE,UAAU;IAClB,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE;CACvD,CAAC;AACF,+DAA+D;AAC/D,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE;CACvD,CAAC;AACF,oEAAoE;AACpE,MAAM,CAAC,MAAM,2BAA2B,GAAa;IACnD,IAAI,EAAE,8BAA8B;IACpC,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,6DAA6D;AAC7D,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,kEAAkE;AAClE,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,qFAAqF;IACrF,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE;CACxD,CAAC;AACF,kEAAkE;AAClE,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,uDAAuD;IACvD,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE;CACxD,CAAC;AACF,wEAAwE;AACxE,MAAM,CAAC,MAAM,yBAAyB,GAAa;IACjD,IAAI,EAAE,4BAA4B;IAClC,MAAM,EAAE,WAAW;IACnB,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,wDAAwD;AACxD,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,mEAAmE;AACnE,MAAM,CAAC,MAAM,0BAA0B,GAAa;IAClD,IAAI,EAAE,6BAA6B;IACnC,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,iEAAiE;AACjE,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,mBAAmB;IACzB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE;CACf,CAAC;AACF,6DAA6D;AAC7D,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,UAAU;IAClB,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,+DAA+D;AAC/D,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,6EAA6E;AAC7E,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,gBAAgB;IACtB,MAAM,EAAE,UAAU;IAClB,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,uFAAuF;AACvF,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE;CACpD,CAAC;AACF,qFAAqF;AACrF,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE;CACpD,CAAC;AACF,kHAAkH;AAClH,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;CAC7D,CAAC;AACF,6EAA6E;AAC7E,MAAM,CAAC,MAAM,QAAQ,GAAa;IAChC,IAAI,EAAE,SAAS;IACf,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,OAAO;IACZ,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;CAC7D,CAAC;AACF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,UAAU,GAAa;IAClC,IAAI,EAAE,WAAW;IACjB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,SAAS;IACd,UAAU,EAAE,EAAE;CACf,CAAC"}

package/dist/composition/quantities/fields.d.ts

@@ -56,4 +56,14 @@ export declare const scalarFieldReferenceQ: Quantity;
 export declare const planckMassQ: Quantity;
 /** Canonical node for `swampland-tower-mass` (m(φ), [M]). */
 export declare const swamplandTowerMassQ: Quantity;
+/** Canonical node for `higgs-field` (h, energy). Shared electroweak scale with the decay constant. */
+export declare const higgsFieldQ: Quantity;
+/** Canonical node for `higgs-decay-constant` (f, energy). */
+export declare const higgsDecayConstantQ: Quantity;
+/** Canonical node for `composite-higgs-alpha` (α, dimensionless Wilson coefficient). */
+export declare const compositeHiggsAlphaQ: Quantity;
+/** Canonical node for `composite-higgs-beta` (β, dimensionless Wilson coefficient). */
+export declare const compositeHiggsBetaQ: Quantity;
+/** Canonical node for `composite-higgs-potential` (V, energy⁴). */
+export declare const compositeHiggsPotentialQ: Quantity;
 //# sourceMappingURL=fields.d.ts.map