universal-physics-tensor 9.0.0 → 10.0.0

package/dist/composition/retrodiction.d.ts

@@ -49,6 +49,18 @@ export interface RetrodictionOptions {
     /** Relative-error tolerance for reference scoring (default 1e-3). */
     readonly referenceTolerance?: number;
 }
+/** One refused edge in a retrodiction, with the kind of refusal. @public */
+export interface RetrodictionRefusal {
+    readonly edge: string;
+    /**
+     * `domain`: the validity domain rejected the point. `coefficient-unset`: the edge has no
+     * sourced prefactor, whatever the values. `carrier-sign`: the carrier charge and the
+     * mobility had opposite signs. `formula`: the relation's formula did not evaluate at the
+     * point (a 0/0, say). Four facts, kept apart (AGENTS law 4).
+     */
+    readonly kind: 'domain' | 'coefficient-unset' | 'carrier-sign' | 'formula';
+    readonly reason: string;
+}
 /** The result of retrodicting one node. @public */
 export interface RetrodictionResult {
     readonly target: string;
@@ -59,13 +71,11 @@ export interface RetrodictionResult {
     readonly relativeSpread: number;
     readonly tolerance: number;
     /**
-     * Derivations that refused the inputs as outside their validity domain.
-     * A refusal is not an unset coefficient and not a missing input.
+     * Edges that refused the supplied values. `kind` keeps the refusals apart (AGENTS law 4):
+     * `domain`, `carrier-sign` and `formula` are the point (the edge does not fire there);
+     * `coefficient-unset` is the edge's own state (no sourced prefactor), whatever the values.
      */
-    readonly refusals?: readonly {
-        readonly edge: string;
-        readonly reason: string;
-    }[];
+    readonly refusals?: readonly RetrodictionRefusal[];
     /** `outcome !== 'inconsistent'` — the falsification gate. */
     readonly pass: boolean;
     /** Supplied external value, when scored. */

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

@@ -1 +1 @@
-{"version":3,"file":"retrodiction.d.ts","sourceRoot":"","sources":["../../src/composition/retrodiction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAI5C,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAqB3D,gDAAgD;AAChD,MAAM,MAAM,mBAAmB,GAC3B,YAAY,GACZ,cAAc,GACd,QAAQ,GACR,eAAe,CAAC;AAEpB,kEAAkE;AAClE,MAAM,WAAW,sBAAsB;IACrC,4CAA4C;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,uCAAuC;AACvC,MAAM,WAAW,mBAAmB;IAClC,0EAA0E;IAC1E,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC7D,iEAAiE;IACjE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,mEAAmE;IACnE,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACvD,qEAAqE;IACrE,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;CACtC;AAED,mDAAmD;AACnD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,uDAAuD;IACvD,QAAQ,CAAC,WAAW,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACxD,oEAAoE;IACpE,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;OAGG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAClF,6DAA6D;IAC7D,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,4CAA4C;IAC5C,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,kEAAkE;IAClE,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;CAClC;AAED,uDAAuD;AACvD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAChD,6DAA6D;IAC7D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,yDAAyD;IACzD,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;CACjC;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC7C,MAAM,EAAE,SAAS,sBAAsB,EAAE,GACxC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CA0CrB;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC7C,MAAM,EAAE,MAAM,EACd,IAAI,GAAE,mBAAwB,GAC7B,kBAAkB,CAuEpB;AAED;;;;;;GAMG;AACH,wBAAgB,SAAS,CACvB,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC7C,IAAI,GAAE,mBAAwB,GAC7B,kBAAkB,CA2BpB"}
+{"version":3,"file":"retrodiction.d.ts","sourceRoot":"","sources":["../../src/composition/retrodiction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAM5C,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAqB3D,gDAAgD;AAChD,MAAM,MAAM,mBAAmB,GAC3B,YAAY,GACZ,cAAc,GACd,QAAQ,GACR,eAAe,CAAC;AAEpB,kEAAkE;AAClE,MAAM,WAAW,sBAAsB;IACrC,4CAA4C;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,uCAAuC;AACvC,MAAM,WAAW,mBAAmB;IAClC,0EAA0E;IAC1E,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC7D,iEAAiE;IACjE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,mEAAmE;IACnE,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACvD,qEAAqE;IACrE,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;CACtC;AAED,4EAA4E;AAC5E,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,mBAAmB,GAAG,cAAc,GAAG,SAAS,CAAC;IAC3E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,mDAAmD;AACnD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,uDAAuD;IACvD,QAAQ,CAAC,WAAW,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACxD,oEAAoE;IACpE,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACnD,6DAA6D;IAC7D,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,4CAA4C;IAC5C,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,kEAAkE;IAClE,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;CAClC;AAED,uDAAuD;AACvD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAChD,6DAA6D;IAC7D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,yDAAyD;IACzD,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;CACjC;AAgBD;;;;;;;;;;;GAWG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC7C,MAAM,EAAE,SAAS,sBAAsB,EAAE,GACxC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CA+CrB;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC7C,MAAM,EAAE,MAAM,EACd,IAAI,GAAE,mBAAwB,GAC7B,kBAAkB,CA0EpB;AAED;;;;;;GAMG;AACH,wBAAgB,SAAS,CACvB,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC7C,IAAI,GAAE,mBAAwB,GAC7B,kBAAkB,CA2BpB"}

package/dist/composition/retrodiction.js

@@ -28,10 +28,11 @@
  *
  * @module composition/retrodiction
  */
-import { CarrierSignError } from '../bridges/carrier-sign.js';
 import { CANONICAL_GROUP_PREFACTORS } from './canonical-prefactors.js';
-import { evaluateEdge } from './edge.js';
+import { CoefficientUnsetError, evaluateEdge } from './edge.js';
 import { DomainViolationError } from '../bridges/evaluation-errors.js';
+import { CarrierSignError } from '../bridges/carrier-sign.js';
+import { FormulaError } from '../numerical/formula-contract.js';
 import { QUANTITY_IDENTIFICATIONS } from './compose.js';
 import { conventionFactor } from '../dimensional/unit-convention.js';
 import { classifyAll } from './identifiability.js';
@@ -52,6 +53,22 @@ function evaluationInputs(edge, values) {
     }
     return inputs;
 }
+/** The refusal an evaluator error is, or `undefined` when it is not a refusal at all. */
+function refusalKind(err) {
+    if (err instanceof DomainViolationError)
+        return 'domain';
+    if (err instanceof CoefficientUnsetError)
+        return 'coefficient-unset';
+    if (err instanceof CarrierSignError)
+        return 'carrier-sign';
+    if (err instanceof FormulaError)
+        return 'formula';
+    return undefined;
+}
+/** True when the error says the edge does not fire here (or at all, for an unset coefficient). */
+function refusesThePoint(err) {
+    return refusalKind(err) !== undefined;
+}
 /**
  * Monotone forward EVALUATION: propagate values from `groundTruth` through
  * the graph (domain-checked; identifications supply identified names;
@@ -97,8 +114,14 @@ export function forwardEvaluate(edges, groundTruth, idents) {
             try {
                 v = evaluateEdge(e, inputs);
             }
-            catch {
-                continue; // domain violation or evaluator error: edge does not fire
+            catch (err) {
+                // The edge refusing this point (a domain miss, opposite carrier signs, a formula
+                // that has no finite value there) or an unset coefficient is "the edge does not
+                // fire". Anything else (an alias conflict, a TypeError in an evaluator) is a
+                // different fact and is not hidden as a non-derivation (9.0.0 audit §4 C6).
+                if (!refusesThePoint(err))
+                    throw err;
+                continue;
             }
             if (Number.isFinite(v)) {
                 values.set(e.target.name, v);
@@ -134,12 +157,14 @@ export function retrodictNode(edges, groundTruth, target, opts = {}) {
             v = evaluateEdge(e, inputs);
         }
         catch (err) {
-            // A sign rejection is the answer for this target. Swallowing it would
-            // report the quantity as unrecoverable. A domain miss still skips.
-            if (err instanceof CarrierSignError)
+            // A refusal of the point or an unset coefficient is a recorded refusal of
+            // this edge, under its own kind. Any other error (an alias conflict, a
+            // TypeError in an evaluator) is a different fact and propagates instead of
+            // reading as "unrecoverable" (§4 C6).
+            const kind = refusalKind(err);
+            if (kind === undefined)
                 throw err;
-            if (err instanceof DomainViolationError)
-                refusals.push({ edge: e.id, reason: err.message });
+            refusals.push({ edge: e.id, kind, reason: err.message });
             continue;
         }
         if (Number.isFinite(v))

package/dist/composition/retrodiction.js.map

@@ -1 +1 @@
-{"version":3,"file":"retrodiction.js","sourceRoot":"","sources":["../../src/composition/retrodiction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAE9D,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AAEvE,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AACrE,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAEnD;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,IAAgB,EAAE,MAAmC;IAC7E,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO;QAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC;IACnE,MAAM,KAAK,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;IACvE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,CAAC,KAAK,SAAS;YAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AA8DD;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,eAAe,CAC7B,KAA4B,EAC5B,WAA6C,EAC7C,MAAyC;IAEzC,oEAAoE;IACpE,6EAA6E;IAC7E,uEAAuE;IACvE,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QACpD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,SAAS,CACjB,uCAAuC,IAAI,kCAAkC,CAAC,GAAG,CAClF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAiB,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;IACpE,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,OAAO,EAAE,CAAC;QACf,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;gBAChD,MAAM,SAAS,GAAG,OAAO,GAAG,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC7D,IAAI,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;oBAC/B,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;oBAC7B,OAAO,GAAG,IAAI,CAAC;gBACjB,CAAC;YACH,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,SAAS;YACxC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAAE,SAAS;YAC1D,MAAM,MAAM,GAAG,gBAAgB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;YAC3C,IAAI,CAAS,CAAC;YACd,IAAI,CAAC;gBACH,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;YAC9B,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS,CAAC,0DAA0D;YACtE,CAAC;YACD,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBAC7B,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAC3B,KAA4B,EAC5B,WAA6C,EAC7C,MAAc,EACd,IAAI,GAAwB,EAAE;IAE9B,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,IAAI,wBAAwB,CAAC;IAChE,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC;IAEzC,gEAAgE;IAChE,8DAA8D;IAC9D,MAAM,oBAAoB,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IAC3E,MAAM,MAAM,GAAG,eAAe,CAAC,oBAAoB,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;IAE1E,MAAM,WAAW,GAA6B,EAAE,CAAC;IACjD,MAAM,QAAQ,GAAuC,EAAE,CAAC;IACxD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QACvC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAAE,SAAS;QAC1D,MAAM,MAAM,GAAG,gBAAgB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QAC3C,IAAI,CAAS,CAAC;QACd,IAAI,CAAC;YACH,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QAC9B,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,sEAAsE;YACtE,mEAAmE;YACnE,IAAI,GAAG,YAAY,gBAAgB;gBAAE,MAAM,GAAG,CAAC;YAC/C,IAAI,GAAG,YAAY,oBAAoB;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;YAC5F,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,WAAW,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;QAC9B,yEAAyE;QACzE,uEAAuE;QACvE,2EAA2E;QAC3E,4EAA4E;QAC5E,wBAAwB;QACxB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/C,cAAc,GAAG,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC;IAED,IAAI,OAA4B,CAAC;IACjC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,eAAe,CAAC;SACnD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,QAAQ,CAAC;;QACjD,OAAO,GAAG,cAAc,IAAI,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,cAAc,CAAC;IAE3E,MAAM,MAAM,GAAuB;QACjC,MAAM;QACN,OAAO;QACP,WAAW;QACX,cAAc;QACd,SAAS;QACT,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5C,IAAI,EAAE,OAAO,KAAK,cAAc;KACjC,CAAC;IAEF,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,GAAG,KAAK,SAAS,IAAI,WAAW,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,GACR,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC;QACpE,MAAM,iBAAiB,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACtE,OAAO;YACL,GAAG,MAAM;YACT,cAAc,EAAE,GAAG;YACnB,iBAAiB;YACjB,aAAa,EAAE,iBAAiB,IAAI,CAAC,IAAI,CAAC,kBAAkB,IAAI,IAAI,CAAC;SACtE,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CACvB,KAA4B,EAC5B,WAA6C,EAC7C,IAAI,GAAwB,EAAE;IAE9B,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,IAAI,wBAAwB,CAAC;IAChE,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACvC,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE,CAAC,CAAC;IAE1E,MAAM,cAAc,GAAG,UAAU;SAC9B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,iBAAiB,CAAC;SAC9C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACxB,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACvE,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,cAAc,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAExE,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAChC,aAAa,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,CAAC,CAC3C,CAAC;IAEF,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,YAAY,CAAC,CAAC,MAAM,CAAC;IAC5E,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CACjC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,cAAc,CACpC,CAAC,MAAM,CAAC;IAET,OAAO;QACL,OAAO;QACP,OAAO,EAAE,UAAU,GAAG,YAAY;QAClC,UAAU;QACV,YAAY;QACZ,aAAa,EAAE,YAAY,KAAK,CAAC;KAClC,CAAC;AACJ,CAAC"}
+{"version":3,"file":"retrodiction.js","sourceRoot":"","sources":["../../src/composition/retrodiction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAGH,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAChE,OAAO,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAEhE,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AACrE,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAEnD;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,IAAgB,EAAE,MAAmC;IAC7E,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO;QAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC;IACnE,MAAM,KAAK,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;IACvE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,CAAC,KAAK,SAAS;YAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AA4ED,yFAAyF;AACzF,SAAS,WAAW,CAAC,GAAY;IAC/B,IAAI,GAAG,YAAY,oBAAoB;QAAE,OAAO,QAAQ,CAAC;IACzD,IAAI,GAAG,YAAY,qBAAqB;QAAE,OAAO,mBAAmB,CAAC;IACrE,IAAI,GAAG,YAAY,gBAAgB;QAAE,OAAO,cAAc,CAAC;IAC3D,IAAI,GAAG,YAAY,YAAY;QAAE,OAAO,SAAS,CAAC;IAClD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,kGAAkG;AAClG,SAAS,eAAe,CAAC,GAAY;IACnC,OAAO,WAAW,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC;AACxC,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,eAAe,CAC7B,KAA4B,EAC5B,WAA6C,EAC7C,MAAyC;IAEzC,oEAAoE;IACpE,6EAA6E;IAC7E,uEAAuE;IACvE,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QACpD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,SAAS,CACjB,uCAAuC,IAAI,kCAAkC,CAAC,GAAG,CAClF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAiB,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;IACpE,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,OAAO,EAAE,CAAC;QACf,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;gBAChD,MAAM,SAAS,GAAG,OAAO,GAAG,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC7D,IAAI,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;oBAC/B,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;oBAC7B,OAAO,GAAG,IAAI,CAAC;gBACjB,CAAC;YACH,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,SAAS;YACxC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAAE,SAAS;YAC1D,MAAM,MAAM,GAAG,gBAAgB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;YAC3C,IAAI,CAAS,CAAC;YACd,IAAI,CAAC;gBACH,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;YAC9B,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,iFAAiF;gBACjF,gFAAgF;gBAChF,6EAA6E;gBAC7E,4EAA4E;gBAC5E,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC;oBAAE,MAAM,GAAG,CAAC;gBACrC,SAAS;YACX,CAAC;YACD,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBAC7B,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAC3B,KAA4B,EAC5B,WAA6C,EAC7C,MAAc,EACd,IAAI,GAAwB,EAAE;IAE9B,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,IAAI,wBAAwB,CAAC;IAChE,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC;IAEzC,gEAAgE;IAChE,8DAA8D;IAC9D,MAAM,oBAAoB,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IAC3E,MAAM,MAAM,GAAG,eAAe,CAAC,oBAAoB,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;IAE1E,MAAM,WAAW,GAA6B,EAAE,CAAC;IACjD,MAAM,QAAQ,GAA0B,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QACvC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAAE,SAAS;QAC1D,MAAM,MAAM,GAAG,gBAAgB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QAC3C,IAAI,CAAS,CAAC;QACd,IAAI,CAAC;YACH,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QAC9B,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,0EAA0E;YAC1E,uEAAuE;YACvE,2EAA2E;YAC3E,sCAAsC;YACtC,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;YAC9B,IAAI,IAAI,KAAK,SAAS;gBAAE,MAAM,GAAG,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAG,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;YACpE,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,WAAW,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;QAC9B,yEAAyE;QACzE,uEAAuE;QACvE,2EAA2E;QAC3E,4EAA4E;QAC5E,wBAAwB;QACxB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/C,cAAc,GAAG,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC;IAED,IAAI,OAA4B,CAAC;IACjC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,eAAe,CAAC;SACnD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,QAAQ,CAAC;;QACjD,OAAO,GAAG,cAAc,IAAI,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,cAAc,CAAC;IAE3E,MAAM,MAAM,GAAuB;QACjC,MAAM;QACN,OAAO;QACP,WAAW;QACX,cAAc;QACd,SAAS;QACT,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5C,IAAI,EAAE,OAAO,KAAK,cAAc;KACjC,CAAC;IAEF,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,GAAG,KAAK,SAAS,IAAI,WAAW,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,GACR,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC;QACpE,MAAM,iBAAiB,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACtE,OAAO;YACL,GAAG,MAAM;YACT,cAAc,EAAE,GAAG;YACnB,iBAAiB;YACjB,aAAa,EAAE,iBAAiB,IAAI,CAAC,IAAI,CAAC,kBAAkB,IAAI,IAAI,CAAC;SACtE,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CACvB,KAA4B,EAC5B,WAA6C,EAC7C,IAAI,GAAwB,EAAE;IAE9B,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,IAAI,wBAAwB,CAAC;IAChE,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACvC,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE,CAAC,CAAC;IAE1E,MAAM,cAAc,GAAG,UAAU;SAC9B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,iBAAiB,CAAC;SAC9C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACxB,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACvE,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,cAAc,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAExE,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAChC,aAAa,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,CAAC,CAC3C,CAAC;IAEF,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,YAAY,CAAC,CAAC,MAAM,CAAC;IAC5E,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CACjC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,cAAc,CACpC,CAAC,MAAM,CAAC;IAET,OAAO;QACL,OAAO;QACP,OAAO,EAAE,UAAU,GAAG,YAAY;QAClC,UAAU;QACV,YAAY;QACZ,aAAa,EAAE,YAAY,KAAK,CAAC;KAClC,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Retrodiction harness (Consequence 2 of\n * docs/planning/Bridge-Inference-Epistemics-Note.md, designed in\n * docs/planning/Retrodiction-Harness-Design-Note.md).\n *\n * The framework's own falsification benchmark. Mask a quantity the graph\n * can compute, recompute it from ground-truth inputs via EACH independent\n * derivation, and check the predictions agree. This operationalizes the\n * identifiability classifier's OVER-DETERMINED verdict: the surplus\n * derivations of an over-determined node are PREDICTED to be consistency\n * constraints; the harness evaluates them and checks that numerically.\n *\n *   - consistent    — ≥2 derivations agree within tolerance.\n *   - inconsistent  — ≥2 derivations DISAGREE (a falsification: two\n *                     encodings of one quantity-name are not the same\n *                     physics).\n *   - single        — exactly one derivation fired (recovered, no check).\n *   - unrecoverable — no derivation fired from the ground truth.\n *\n * \"Mask\" = compute source values over the graph with every edge INTO the\n * target removed (the classifier's target-removed closure — so the node\n * is genuinely hidden, never read back through its own derivation).\n * Forward evaluation honors `QUANTITY_IDENTIFICATIONS` and is\n * domain-checked (an edge that refuses its domain contributes no\n * prediction). The consistency check needs no external truth and is the\n * re-runnable core; an optional `references` map adds external-value\n * scoring. Pass bar pre-registered in the design note (spread ≤ 1e-6).\n *\n * @module composition/retrodiction\n */\n\nimport type { BridgeEdge } from './edge.js';\nimport { CANONICAL_GROUP_PREFACTORS } from './canonical-prefactors.js';\nimport { CoefficientUnsetError, evaluateEdge } from './edge.js';\nimport { DomainViolationError } from '../bridges/evaluation-errors.js';\nimport { CarrierSignError } from '../bridges/carrier-sign.js';\nimport { FormulaError } from '../numerical/formula-contract.js';\nimport type { QuantityIdentification } from './compose.js';\nimport { QUANTITY_IDENTIFICATIONS } from './compose.js';\nimport { conventionFactor } from '../dimensional/unit-convention.js';\nimport { classifyAll } from './identifiability.js';\n\n/**\n * Source values, plus a dimensionless group the edge multiplies when the\n * ground truth names it. The group is not a source: Buckingham cannot see\n * it, and a missing group is the unset coefficient, not a missing input.\n */\nfunction evaluationInputs(edge: BridgeEdge, values: ReadonlyMap<string, number>): Record<string, number> {\n  const inputs: Record<string, number> = {};\n  for (const s of edge.sources) inputs[s.name] = values.get(s.name)!;\n  const group = CANONICAL_GROUP_PREFACTORS.find((g) => g.id === edge.id);\n  if (group !== undefined) {\n    const g = values.get(group.group);\n    if (g !== undefined) inputs[group.group] = g;\n  }\n  return inputs;\n}\n\n/** Outcome of retrodicting one node. @public */\nexport type RetrodictionOutcome =\n  | 'consistent'\n  | 'inconsistent'\n  | 'single'\n  | 'unrecoverable';\n\n/** One derivation's recovered value for a masked node. @public */\nexport interface RetrodictionPrediction {\n  /** The edge id that produced this value. */\n  readonly edge: string;\n  readonly value: number;\n}\n\n/** Options for the harness. @public */\nexport interface RetrodictionOptions {\n  /** Identifications honored in forward evaluation (default registered). */\n  readonly identifications?: readonly QuantityIdentification[];\n  /** Relative-spread tolerance for `consistent` (default 1e-6). */\n  readonly tolerance?: number;\n  /** External (textbook) values to score recovered nodes against. */\n  readonly references?: Readonly<Record<string, number>>;\n  /** Relative-error tolerance for reference scoring (default 1e-3). */\n  readonly referenceTolerance?: number;\n}\n\n/** One refused edge in a retrodiction, with the kind of refusal. @public */\nexport interface RetrodictionRefusal {\n  readonly edge: string;\n  /**\n   * `domain`: the validity domain rejected the point. `coefficient-unset`: the edge has no\n   * sourced prefactor, whatever the values. `carrier-sign`: the carrier charge and the\n   * mobility had opposite signs. `formula`: the relation's formula did not evaluate at the\n   * point (a 0/0, say). Four facts, kept apart (AGENTS law 4).\n   */\n  readonly kind: 'domain' | 'coefficient-unset' | 'carrier-sign' | 'formula';\n  readonly reason: string;\n}\n\n/** The result of retrodicting one node. @public */\nexport interface RetrodictionResult {\n  readonly target: string;\n  readonly outcome: RetrodictionOutcome;\n  /** Recovered values, one per derivation that fired. */\n  readonly predictions: readonly RetrodictionPrediction[];\n  /** (max − min)/|mean| across predictions; 0 when fewer than two. */\n  readonly relativeSpread: number;\n  readonly tolerance: number;\n  /**\n   * Edges that refused the supplied values. `kind` keeps the refusals apart (AGENTS law 4):\n   * `domain`, `carrier-sign` and `formula` are the point (the edge does not fire there);\n   * `coefficient-unset` is the edge's own state (no sourced prefactor), whatever the values.\n   */\n  readonly refusals?: readonly RetrodictionRefusal[];\n  /** `outcome !== 'inconsistent'` — the falsification gate. */\n  readonly pass: boolean;\n  /** Supplied external value, when scored. */\n  readonly referenceValue?: number;\n  /** |mean(predictions) − reference| / |reference|, when scored. */\n  readonly referenceRelError?: number;\n  readonly referencePass?: boolean;\n}\n\n/** Aggregate report across the swept nodes. @public */\nexport interface RetrodictionReport {\n  readonly results: readonly RetrodictionResult[];\n  /** Nodes with ≥2 derivations (consistent + inconsistent). */\n  readonly checked: number;\n  readonly consistent: number;\n  readonly inconsistent: number;\n  /** The headline gate: no inconsistent node was found. */\n  readonly allConsistent: boolean;\n}\n\n/** The refusal an evaluator error is, or `undefined` when it is not a refusal at all. */\nfunction refusalKind(err: unknown): RetrodictionRefusal['kind'] | undefined {\n  if (err instanceof DomainViolationError) return 'domain';\n  if (err instanceof CoefficientUnsetError) return 'coefficient-unset';\n  if (err instanceof CarrierSignError) return 'carrier-sign';\n  if (err instanceof FormulaError) return 'formula';\n  return undefined;\n}\n\n/** True when the error says the edge does not fire here (or at all, for an unset coefficient). */\nfunction refusesThePoint(err: unknown): boolean {\n  return refusalKind(err) !== undefined;\n}\n\n/**\n * Monotone forward EVALUATION: propagate values from `groundTruth` through\n * the graph (domain-checked; identifications supply identified names;\n * non-finite or domain-refused edges do not fire). Each node is assigned\n * the value of the first edge that fires for it.\n *\n * Exported `@internal` so the discovery magnitude-gate can read a quantity's\n * value AT THE REGISTERED ANCHOR when the static representative-value table\n * has no entry for it (graph-derived quantities like `schwarzschild-radius`).\n *\n * @internal\n */\nexport function forwardEvaluate(\n  edges: readonly BridgeEdge[],\n  groundTruth: Readonly<Record<string, number>>,\n  idents: readonly QuantityIdentification[],\n): Map<string, number> {\n  // Finite-seed guard (matches the computed-value guard below and the\n  // library-wide finiteness discipline): a NaN/∞ seed would propagate silently\n  // through the graph and spoof downstream magnitude/consistency checks.\n  for (const [name, v] of Object.entries(groundTruth)) {\n    if (!Number.isFinite(v)) {\n      throw new TypeError(\n        `forwardEvaluate: ground-truth seed '${name}' must be a finite number, got ${v}.`,\n      );\n    }\n  }\n  const values = new Map<string, number>(Object.entries(groundTruth));\n  let changed = true;\n  while (changed) {\n    changed = false;\n    for (const id of idents) {\n      const fromVal = values.get(id.from);\n      if (fromVal !== undefined && !values.has(id.to)) {\n        const converted = fromVal * conventionFactor(id.from, id.to);\n        if (Number.isFinite(converted)) {\n          values.set(id.to, converted);\n          changed = true;\n        }\n      }\n    }\n    for (const e of edges) {\n      if (values.has(e.target.name)) continue;\n      if (!e.sources.every((s) => values.has(s.name))) continue;\n      const inputs = evaluationInputs(e, values);\n      let v: number;\n      try {\n        v = evaluateEdge(e, inputs);\n      } catch (err) {\n        // The edge refusing this point (a domain miss, opposite carrier signs, a formula\n        // that has no finite value there) or an unset coefficient is \"the edge does not\n        // fire\". Anything else (an alias conflict, a TypeError in an evaluator) is a\n        // different fact and is not hidden as a non-derivation (9.0.0 audit §4 C6).\n        if (!refusesThePoint(err)) throw err;\n        continue;\n      }\n      if (Number.isFinite(v)) {\n        values.set(e.target.name, v);\n        changed = true;\n      }\n    }\n  }\n  return values;\n}\n\n/**\n * Retrodict one node: mask it (source values from the target-removed\n * graph), recover it via each incoming edge, and score the spread.\n *\n * @public\n */\nexport function retrodictNode(\n  edges: readonly BridgeEdge[],\n  groundTruth: Readonly<Record<string, number>>,\n  target: string,\n  opts: RetrodictionOptions = {},\n): RetrodictionResult {\n  const idents = opts.identifications ?? QUANTITY_IDENTIFICATIONS;\n  const tolerance = opts.tolerance ?? 1e-6;\n\n  // Masked source values: never let the target be assigned (so no\n  // derivation reads it back — circular self-support excluded).\n  const edgesMinusIntoTarget = edges.filter((e) => e.target.name !== target);\n  const values = forwardEvaluate(edgesMinusIntoTarget, groundTruth, idents);\n\n  const predictions: RetrodictionPrediction[] = [];\n  const refusals: RetrodictionRefusal[] = [];\n  for (const e of edges) {\n    if (e.target.name !== target) continue;\n    if (!e.sources.every((s) => values.has(s.name))) continue;\n    const inputs = evaluationInputs(e, values);\n    let v: number;\n    try {\n      v = evaluateEdge(e, inputs);\n    } catch (err) {\n      // A refusal of the point or an unset coefficient is a recorded refusal of\n      // this edge, under its own kind. Any other error (an alias conflict, a\n      // TypeError in an evaluator) is a different fact and propagates instead of\n      // reading as \"unrecoverable\" (§4 C6).\n      const kind = refusalKind(err);\n      if (kind === undefined) throw err;\n      refusals.push({ edge: e.id, kind, reason: (err as Error).message });\n      continue;\n    }\n    if (Number.isFinite(v)) predictions.push({ edge: e.id, value: v });\n  }\n\n  let relativeSpread = 0;\n  if (predictions.length >= 2) {\n    const vals = predictions.map((p) => p.value);\n    const max = Math.max(...vals);\n    const min = Math.min(...vals);\n    // Normalize the (max − min) span by the largest MAGNITUDE, not the mean:\n    // opposite-sign predictions (e.g. +6 and −6) cancel in the mean → a ~0\n    // denominator → spurious Infinity, even though the true relative spread is\n    // finite (12/6 = 2). `maxAbs === 0` only when every value is 0 (max = min),\n    // so the span is 0 too.\n    const maxAbs = Math.max(...vals.map(Math.abs));\n    relativeSpread = maxAbs > 0 ? (max - min) / maxAbs : 0;\n  }\n\n  let outcome: RetrodictionOutcome;\n  if (predictions.length === 0) outcome = 'unrecoverable';\n  else if (predictions.length === 1) outcome = 'single';\n  else outcome = relativeSpread <= tolerance ? 'consistent' : 'inconsistent';\n\n  const result: RetrodictionResult = {\n    target,\n    outcome,\n    predictions,\n    relativeSpread,\n    tolerance,\n    ...(refusals.length > 0 ? { refusals } : {}),\n    pass: outcome !== 'inconsistent',\n  };\n\n  const ref = opts.references?.[target];\n  if (ref !== undefined && predictions.length >= 1) {\n    const mean =\n      predictions.reduce((a, p) => a + p.value, 0) / predictions.length;\n    const referenceRelError = Math.abs(mean - ref) / (Math.abs(ref) || 1);\n    return {\n      ...result,\n      referenceValue: ref,\n      referenceRelError,\n      referencePass: referenceRelError <= (opts.referenceTolerance ?? 1e-3),\n    };\n  }\n\n  return result;\n}\n\n/**\n * Sweep the graph: retrodict every over-determined node (the classifier\n * is the feeder), plus any node with a supplied reference value. Returns\n * the per-node results and the headline `allConsistent` gate.\n *\n * @public\n */\nexport function retrodict(\n  edges: readonly BridgeEdge[],\n  groundTruth: Readonly<Record<string, number>>,\n  opts: RetrodictionOptions = {},\n): RetrodictionReport {\n  const idents = opts.identifications ?? QUANTITY_IDENTIFICATIONS;\n  const known = Object.keys(groundTruth);\n  const classified = classifyAll(edges, known, { identifications: idents });\n\n  const overDetermined = classified\n    .filter((r) => r.verdict === 'over-determined')\n    .map((r) => r.target);\n  const refTargets = opts.references ? Object.keys(opts.references) : [];\n  const targets = [...new Set([...overDetermined, ...refTargets])].sort();\n\n  const results = targets.map((t) =>\n    retrodictNode(edges, groundTruth, t, opts),\n  );\n\n  const consistent = results.filter((r) => r.outcome === 'consistent').length;\n  const inconsistent = results.filter(\n    (r) => r.outcome === 'inconsistent',\n  ).length;\n\n  return {\n    results,\n    checked: consistent + inconsistent,\n    consistent,\n    inconsistent,\n    allConsistent: inconsistent === 0,\n  };\n}\n"]}

package/dist/composition/uncertainty.js.map

@@ -1 +1 @@
-{"version":3,"file":"uncertainty.js","sourceRoot":"","sources":["../../src/composition/uncertainty.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,oBAAoB,IAAI,0BAA0B,EAAE,MAAM,iCAAiC,CAAC;AAErG,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AA2DzC;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAgB,EAChB,MAA8B,EAC9B,MAA8B,EAC9B,IAAyB;IAEzB,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAEzC,MAAM,KAAK,GAA2B,EAAE,CAAC;IACzC,MAAM,UAAU,GAA2B,EAAE,CAAC;IAC9C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;QACzB,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,UAAU,CAClB,gCAAgC,IAAI,0BAA0B,CAC/D,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,MAAM,IAAI,UAAU,CAClB,oCAAoC,IAAI,0BAA0B,CACnE,CAAC;QACJ,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,UAAU,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IAC3B,CAAC;IAED,qEAAqE;IACrE,yEAAyE;IACzE,MAAM,IAAI,GAAG,0BAA0B,CACrC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAC7B,KAAK,EACL,UAAU,EACV,EAAE,YAAY,EAAE,IAAI,EAAE,CACvB,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IAEzB,MAAM,KAAK,GAAG,IAAI,EAAE,KAAK,CAAC;IAC1B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACpC,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,UAAU,CAClB,iEAAiE,KAAK,CAAC,KAAK,EAAE,CAC/E,CAAC;IACJ,CAAC;IACD,qEAAqE;IACrE,EAAE;IACF,4FAA4F;IAC5F,gGAAgG;IAChG,yFAAyF;IACzF,0FAA0F;IAC1F,0FAA0F;IAC1F,+FAA+F;IAC/F,iCAAiC;IACjC,EAAE;IACF,iGAAiG;IACjG,wEAAwE;IACxE,EAAE;IACF,iGAAiG;IACjG,iGAAiG;IACjG,iGAAiG;IACjG,gGAAgG;IAChG,kGAAkG;IAClG,mBAAmB;IACnB,OAAO;QACL,KAAK;QACL,KAAK;QACL,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,QAAQ;QACR,KAAK;KACN,CAAC;AACJ,CAAC"}
+{"version":3,"file":"uncertainty.js","sourceRoot":"","sources":["../../src/composition/uncertainty.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,oBAAoB,IAAI,0BAA0B,EAAE,MAAM,iCAAiC,CAAC;AAErG,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AA2DzC;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAgB,EAChB,MAA8B,EAC9B,MAA8B,EAC9B,IAAyB;IAEzB,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAEzC,MAAM,KAAK,GAA2B,EAAE,CAAC;IACzC,MAAM,UAAU,GAA2B,EAAE,CAAC;IAC9C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;QACzB,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,UAAU,CAClB,gCAAgC,IAAI,0BAA0B,CAC/D,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,MAAM,IAAI,UAAU,CAClB,oCAAoC,IAAI,0BAA0B,CACnE,CAAC;QACJ,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,UAAU,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IAC3B,CAAC;IAED,qEAAqE;IACrE,yEAAyE;IACzE,MAAM,IAAI,GAAG,0BAA0B,CACrC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAC7B,KAAK,EACL,UAAU,EACV,EAAE,YAAY,EAAE,IAAI,EAAE,CACvB,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IAEzB,MAAM,KAAK,GAAG,IAAI,EAAE,KAAK,CAAC;IAC1B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACpC,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,UAAU,CAClB,iEAAiE,KAAK,CAAC,KAAK,EAAE,CAC/E,CAAC;IACJ,CAAC;IACD,qEAAqE;IACrE,EAAE;IACF,4FAA4F;IAC5F,gGAAgG;IAChG,yFAAyF;IACzF,0FAA0F;IAC1F,0FAA0F;IAC1F,+FAA+F;IAC/F,iCAAiC;IACjC,EAAE;IACF,iGAAiG;IACjG,wEAAwE;IACxE,EAAE;IACF,iGAAiG;IACjG,iGAAiG;IACjG,iGAAiG;IACjG,gGAAgG;IAChG,kGAAkG;IAClG,mBAAmB;IACnB,OAAO;QACL,KAAK;QACL,KAAK;QACL,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,QAAQ;QACR,KAAK;KACN,CAAC;AACJ,CAAC","sourcesContent":["/**\n * First-order uncertainty propagation through composition edges\n * (v0.10.0 T4 — fulfills the improvement plan's G-3 carrier claim:\n * \"edges carry uncertainties, and uncertainty propagates through\n * composition\").\n *\n *   σ_out² = Σᵢ (∂f/∂xᵢ · σᵢ)²        (independent-input Gaussian,\n *                                       first order)\n *\n * Partials are MathTS central differences with `relativeStep` `1e-6`\n * (`h = 1e-6·max(|xᵢ|, 1e-30)`). Because composed edges ARE `BridgeEdge`s\n * (design D-2 closure), chains need no extra machinery — propagate on\n * the composed edge directly.\n *\n * Scope honesty: independent inputs only (no covariance matrix), first\n * order only (no curvature term). Adequate for the scalar closed-form\n * edges in the graph today; revisit both if correlated observables or\n * strongly nonlinear edges land.\n *\n * @module composition/uncertainty\n */\n\nimport { propagateUncertainty as propagateScalarUncertainty } from '@danielsimonjr/mathts-functions';\nimport type { BridgeEdge } from './edge.js';\nimport { evaluateEdge } from './edge.js';\nimport type { ApproximationBound } from '../relations/types.js';\n\n/**\n * Optional extras for {@link propagateUncertainty}.\n *\n * INTERNAL, not public. Sprint 2's boundary is that nothing new reaches\n * `src/index.ts` before Phase 6. This shipped tagged public, which failed\n * `tests/api/public-tag-vs-index-invariant.test.ts`: a symbol advertised as\n * public but unreachable from the barrel is a promise the package cannot keep.\n *\n * @internal\n */\nexport interface UncertaintyOptions {\n  /**\n   * An approximation bound for the map the edge stands in for. Its `delta` —\n   * the uniform model error in `bound.norm` — is added to the statistical\n   * sigma IN QUADRATURE, on the usual independence assumption between input\n   * noise and model error.\n   *\n   * `bound.K` is deliberately NOT used. The Lipschitz constant composes bounds\n   * ALONG A PATH (`atlas/error-algebra`); applying it here would rescale a\n   * sigma this edge already differentiates directly, double-counting the\n   * sensitivity the partials measure.\n   *\n   * ⚠ The caller is asserting that `bound.norm` is commensurate with the\n   * edge's output quantity. Nothing here can check that — no edge records a\n   * norm — so supplying a bound whose norm is a RELATIVE error against an\n   * absolute-valued edge produces a wrong number silently. Omit `bound` unless\n   * the norms genuinely match.\n   */\n  readonly bound?: ApproximationBound;\n}\n\n/** Result of a propagation. @public */\nexport interface UncertaintyResult {\n  /** Central value f(x) (domain-checked). */\n  readonly value: number;\n  /**\n   * Propagated 1σ STATISTICAL standard deviation, from the input sigmas alone.\n   *\n   * This never includes `bound.delta`. A deterministic bias and a random spread are different\n   * things and this field is only the second; see {@link UncertaintyResult.delta}.\n   */\n  readonly sigma: number;\n  /**\n   * The DETERMINISTIC model-error bound, present only when `opts.bound` was supplied — the echo of\n   * `bound.delta`, surfaced beside `sigma` rather than folded into it.\n   *\n   * A caller needing a single envelope combines them and owns the coverage factor it chose:\n   * `k * sigma + delta`. This function will not choose `k`.\n   */\n  readonly delta?: number;\n  /** Per-input partial derivatives ∂f/∂xᵢ (central difference). */\n  readonly partials: Readonly<Record<string, number>>;\n  /** Echo of `opts.bound`, present only when one was supplied. */\n  readonly bound?: ApproximationBound;\n}\n\n/**\n * Propagate independent 1σ input uncertainties through an edge.\n *\n * `sigmas` keys are source-quantity names; inputs absent from `sigmas`\n * (or with σ = 0) contribute no variance but still get a partial.\n * The central value is domain-checked (`evaluateEdge`); the stencil\n * evaluations use the raw evaluator — a ±h step that exits the\n * validity domain near its boundary would otherwise poison the\n * derivative with a thrown error rather than a number.\n *\n * `opts.bound` is the only way this function's output can differ from its\n * pre-Sprint-2 output: omit it and every field is byte-identical, including\n * the absence of `bound` on the result.\n *\n * @public\n */\nexport function propagateUncertainty(\n  edge: BridgeEdge,\n  inputs: Record<string, number>,\n  sigmas: Record<string, number>,\n  opts?: UncertaintyOptions,\n): UncertaintyResult {\n  const value = evaluateEdge(edge, inputs);\n\n  const point: Record<string, number> = {};\n  const usedSigmas: Record<string, number> = {};\n  for (const source of edge.sources) {\n    const name = source.name;\n    const x = inputs[name];\n    if (!Number.isFinite(x)) {\n      throw new RangeError(\n        `propagateUncertainty: input '${name}' is not a finite number`,\n      );\n    }\n    const sigma = sigmas[name] ?? 0;\n    if (sigma < 0 || !Number.isFinite(sigma)) {\n      throw new RangeError(\n        `propagateUncertainty: sigma for '${name}' must be finite and ≥ 0`,\n      );\n    }\n    point[name] = x;\n    usedSigmas[name] = sigma;\n  }\n\n  // The stencil is the raw evaluator. `value` above is domain-checked.\n  // `bound.delta` is not an input to this call: it stays a separate field.\n  const stat = propagateScalarUncertainty(\n    (vals) => edge.evaluate(vals),\n    point,\n    usedSigmas,\n    { relativeStep: 1e-6 },\n  );\n  const partials = stat.partials;\n  const sigma = stat.sigma;\n\n  const bound = opts?.bound;\n  if (bound === undefined) {\n    return { value, sigma, partials };\n  }\n  if (!Number.isFinite(bound.delta) || bound.delta < 0) {\n    throw new RangeError(\n      `propagateUncertainty: bound.delta must be finite and ≥ 0, got ${bound.delta}`,\n    );\n  }\n  // THE TWO ARE REPORTED SEPARATELY AND ARE DELIBERATELY NOT COMBINED.\n  //\n  // This previously returned `sqrt(variance + delta^2)`, justified by \"the usual independence\n  // assumption between input noise and model error\". INDEPENDENCE DOES NOT LICENSE QUADRATURE FOR\n  // A BIAS. `sigma` is a 1-sigma spread of a zero-mean random variable; `bound.delta` is a\n  // DETERMINISTIC worst-case sup-norm offset. Adding them in quadrature treats a systematic\n  // displacement as if it averaged out, which UNDERSTATES the envelope — and understates it\n  // precisely when the model error is largest relative to the noise, which is when a caller most\n  // needs the number to be honest.\n  //\n  // Raised independently by two reviews that did not see each other (an adversarial physics panel,\n  // and Eve E2), which is the strongest signal this project has produced.\n  //\n  // WHY SEPARATE RATHER THAN ADDED. Collapsing to one number requires choosing a coverage factor —\n  // `k*sigma + delta`, with k about 4.47 for 95% by Chebyshev, or k=1 for a 1-sigma semi-interval.\n  // That choice belongs to the caller's risk posture, not to this library, and baking one in would\n  // repeat the original error in a new costume: a defensible-looking number whose provenance is a\n  // convention nobody stated. A caller who needs one value composes it from the two fields and owns\n  // the k it picked.\n  return {\n    value,\n    sigma,\n    delta: bound.delta,\n    partials,\n    bound,\n  };\n}\n"]}

package/dist/composition/user-equation.js.map

@@ -1 +1 @@
-{"version":3,"file":"user-equation.js","sourceRoot":"","sources":["../../src/composition/user-equation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAClF,OAAO,EAAE,sBAAsB,EAAE,MAAM,mCAAmC,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AACtE,OAAO,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAiB,MAAM,iCAAiC,CAAC;AAC5F,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAGnD,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AACnD,OAAO,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AAE9E,oFAAoF;AACpF,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;;;;;;;;;;;GAWG;AACH,8EAA8E;AAC9E,MAAM,qBAAqB,GAAG,IAAI,CAAC;AAEnC,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,oFAAoF;AACpF,OAAO,EAAE,qBAAqB,EAAE,CAAC;AAEjC,kFAAkF;AAClF,MAAM,UAAU,GAAG,8DAA8D,CAAC;AAElF;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kBAAkB,CAChC,GAAW,EACX,SAA4B,EAC5B,YAAiC;IAEjC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAChD,CAAC,GAAG,EAAE,EAAE,CACN,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACjC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/C,mBAAmB,CAAC,GAAG,EAAE,YAAY,CAAC,KAAK,IAAI,CAClD,CAAC;IACF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAE,CAAC;IAC9D,OAAO,CACL,mEAAmE;QACnE,IAAI,OAAO,MAAM,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAC/C,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,uBAAuB,CAAC,IAAY;IAC3C,IAAI,GAAG,GAAG,IAAI,CAAC;IACf,KAAK,MAAM,EAAE,KAAK,EAAE,IAAI,kBAAkB,EAAE,CAAC;QAC3C,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QAC5B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YACnC,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,SAAS;YACtD,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,oBAAoB,KAAK,kBAAkB,EAAE,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,OAAO,CAChB,0EAA0E,EAC1E,gBAAgB,CACjB,CAAC;AACJ,CAAC;AAcD,SAAS,gBAAgB,CAAC,OAAuC;IAC/D,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,qBAAqB,EAAE,EAAE,CAAC;QAClD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,QAAgB,EAChB,YAAqD;IAErD,IAAI,QAAQ,CAAC,MAAM,GAAG,qBAAqB,EAAE,CAAC;QAC5C,MAAM,IAAI,iBAAiB,CACzB,oBAAoB,qBAAqB,gBAAgB,QAAQ,CAAC,MAAM,GAAG,CAC5E,CAAC;IACJ,CAAC;IACD,iFAAiF;IACjF,MAAM,KAAK,GAAG,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC;IAC7E,MAAM,OAAO,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACxF,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACrC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,MAAM,IAAI,iBAAiB,CACzB,sDAAsD,QAAQ,IAAI,CACnE,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IAChD,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,iBAAiB,CAAC,4CAA4C,CAAC,CAAC;IACvF,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9C,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,iBAAiB,CAAC,uCAAuC,CAAC,CAAC;IAE/E,IAAI,SAA4B,CAAC;IACjC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,CAAC,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACtC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,yFAAyF;QACzF,MAAM,IAAI,iBAAiB,CAAC,wCAAwC,GAAG,MAAO,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;IACvG,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAC9B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAC3D,CAAC;IACF,8FAA8F;IAC9F,yFAAyF;IACzF,MAAM,eAAe,GAAG,KAAK,KAAK,SAAS,IAAI,mBAAmB,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,IAAI,CAAC;IAC3F,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;QAC7C,MAAM,IAAI,iBAAiB,CACzB,4BAA4B,GAAG,6BAA6B,CAC7D,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;AACrD,CAAC;AAED,4DAA4D;AAC5D,MAAM,mBAAmB,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;AAEzF,6FAA6F;AAC7F,MAAM,aAAa,GAAG,CAAC,CAAC;AAExB;;;;;;;;;GASG;AACH,SAAS,UAAU,CAAC,IAAY,EAAE,UAA4B,EAAE,IAAa;IAC3E,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACzC,yFAAyF;IACzF,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1D,kGAAkG;IAClG,+FAA+F;IAC/F,MAAM,MAAM,GAAG,CAAC,KAAa,EAAE,KAAa,EAAW,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,aAAa,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACjH,OAAO,CAAC,GAAG,UAAU,CAAC;SACnB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACZ,MAAM,GAAG,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;IAC7D,CAAC,CAAC;SACD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC;SAC7D,IAAI,CACH,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI;QACf,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ;QACvB,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM;QAC7B,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAC/B;SACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAY,EACZ,YAA8B,EAC9B,CAAC,GAAG,CAAC;IAEL,OAAO,UAAU,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAChC,GAAc,EACd,WAA2C,EAC3C,CAAC,GAAG,CAAC,EACL,IAAa;IAEb,MAAM,IAAI,GAAG,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IAChG,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACxF,CAAC;AAmBD;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,KAAe,EAAE,cAAsB;IACrE,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC;IACnF,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,cAAc,CAAC,CAAC;IAClE,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC;QACtB,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,EAAE,EAAE,EAAE,oBAAoB,EAAE,EAAE,EAAE,CAAC;IAC7G,CAAC;IACD,MAAM,oBAAoB,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,cAAc,CAAC,CAAC;IACvF,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/D,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAChC,IAAI,CAAC,CAAC,EAAE,KAAK,cAAc,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YAAE,SAAS;QAC7E,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC;YAAE,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,gBAAgB,GAAG,CAAC,GAAG,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAChG,OAAO;QACL,QAAQ,EAAE,OAAO,CAAC,IAAI,KAAK,CAAC;QAC5B,WAAW,EAAE,OAAO,CAAC,IAAI;QACzB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,gBAAgB;QAChB,oBAAoB;KACrB,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CACpC,KAAe,EACf,OAAwB,EACxB,OAAO,GAAG,CAAC;IAEX,MAAM,GAAG,GAAG,OAAO,CAAC,oBAAoB,CAAC;IACzC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,MAAM,IAAI,GAAG,CAAC,EAAU,EAAU,EAAE,CAClC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnF,MAAM,OAAO,GAAG,CAAC,EAAU,EAAU,EAAE;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvB,IAAI,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACjB,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC;YAAE,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,CAAC,EAAE,CAAC;QACnE,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAC1B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAC7E,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC1C,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QACd,OAAO,CAAC,2BAA2B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,OAAO;QACL,2BAA2B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,QAAQ;QAC7D,0DAA0D;KAC3D,CAAC;AACJ,CAAC;AA+DD;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,QAAgB,EAChB,WAA2C,EAC3C,OAAoC;IAEpC,MAAM,MAAM,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC;IAC7C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,OAAO,EAAE,cAAc,KAAK,IAAI,CAAC;IACnD,2EAA2E;IAC3E,MAAM,EAAE,GAAG,MAAM,iBAAiB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IAC3D,MAAM,YAAY,GAAG,CAAC,CAAS,EAAiB,EAAE,CAChD,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACnD,MAAM,cAAc,GAAG,CAAC,CAAS,EAAiB,EAAE;QAClD,IAAI,CAAC,SAAS,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACxD,OAAO,mBAAmB,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;IAC9C,CAAC,CAAC;IACF,yEAAyE;IACzE,kDAAkD;IAClD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,aAAa,EAAE,cAAc,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAClF,MAAM,OAAO,GAAG,CAAC,CAAS,EAAiB,EAAE;QAC3C,IAAI,CAAC,SAAS,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACxD,OAAO,mBAAmB,CAAC,CAAC,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;IACxD,CAAC,CAAC;IAEF,gFAAgF;IAChF,6EAA6E;IAC7E,uCAAuC;IACvC,MAAM,IAAI,GAA8B,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;QAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC;IACtE,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAe,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC;IAC5F,CAAC;IACD,0EAA0E;IAC1E,iDAAiD;IACjD,MAAM,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAExD,IAAI,YAAY,GAAqB,IAAI,CAAC;IAC1C,IAAI,gBAAgB,GAA0D,IAAI,CAAC;IACnF,IAAI,UAAU,GAAkB,IAAI,CAAC;IACrC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACjD,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC;QAChC,gBAAgB,GAAG,MAAM,CAAC,IAAI,CAAC;IACjC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,6GAA6G;QAC7G,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAChE,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;QAClE,UAAU,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;IAC9C,CAAC;IAED,MAAM,cAAc,GAAG,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IAC1C,MAAM,eAAe,GAAG,cAAc,CAAC,CAAC,CAAE,MAAM,CAAC,GAAG,CAAC,cAAc,CAAe,CAAC,CAAC,CAAC,IAAI,CAAC;IAE1F,MAAM,YAAY,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,IAAI,gBAAgB,EAAE,CAAC;QACrB,MAAM,gBAAgB,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;QAC3F,MAAM,cAAc,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtE,KAAK,MAAM,CAAC,IAAI,gBAAgB,EAAE,CAAC;YACjC,IAAI,KAAK,GAAoB,IAAI,CAAC;YAClC,IAAI,SAAS,GAAa,EAAE,CAAC;YAC7B,IAAI,eAAe,IAAI,cAAc,KAAK,CAAC,EAAE,CAAC;gBAC5C,MAAM,QAAQ,GAAG,qBAAqB,CAAC,gBAAgB,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC;gBAC7E,IAAI,QAAQ,EAAE,CAAC;oBACb,KAAK,GAAG,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;oBACnD,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,CAAC;wBACrC,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;6BAClC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;6BAC1C,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC;6BACrB,IAAI,EAAE,CAAC;oBACZ,CAAC;gBACH,CAAC;YACH,CAAC;YACD,MAAM,aAAa,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChE,KAAK,CAAC,IAAI,CACR,KAAK;gBACH,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,aAAa,EAAE;gBACtE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,WAAW,EAAE,iBAAiB,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,aAAa,EAAE,CAC1G,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,cAAc,IAAI,CAAC,SAAS,IAAI,YAAY,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;YACvE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,iBAAiB,CAAC,EAAE,CAAC,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;QAClH,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,EAAE,CAAC,OAAO;SACxB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;SACrD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAc,EAAE,KAAK,EAAE,KAAc,EAAE,CAAC,CAAC,CAAC;IAClG,MAAM,cAAc,GAClB,CAAC,SAAS,IAAI,YAAY,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,IAAI;QAC5C,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAc,EAAE,KAAK,EAAE,KAAc,EAAE,CAAC;QAC5G,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO;SAC1B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;SACpD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAE,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAE,CAAc,EAAE,CAAC,CAAC,CAAC;IAE/F,IAAI,UAAU,GAAG,YAAY,IAAI,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAChG,IAAI,OAA2B,CAAC;IAChC,IACE,UAAU,KAAK,KAAK;QACpB,YAAY;QACZ,eAAe;QACf,OAAO,EAAE,KAAK,KAAK,SAAS;QAC5B,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,EACpB,CAAC;QACD,MAAM,MAAM,GAAG,aAAa,CAAC,YAAY,EAAE,eAAe,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QAC3E,MAAM,IAAI,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QACzE,IAAI,IAAI,EAAE,CAAC;YACT,UAAU,GAAG,IAAI,CAAC;YAClB,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;IACH,CAAC;IAED,OAAO;QACL,QAAQ,EAAE;YACR,EAAE,EAAE,eAAe;YACnB,KAAK,EAAE,EAAE,CAAC,IAAI;YACd,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC/C,MAAM,EAAE,cAAc,IAAI,EAAE,CAAC,MAAM;SACpC;QACD,UAAU;QACV,YAAY;QACZ,eAAe;QACf,UAAU;QACV,KAAK;QACL,aAAa,EAAE,CAAC,GAAG,QAAQ,EAAE,GAAG,UAAU,EAAE,GAAG,cAAc,CAAC;QAC9D,YAAY;QACZ,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;KAC3D,CAAC;AACJ,CAAC"}
+{"version":3,"file":"user-equation.js","sourceRoot":"","sources":["../../src/composition/user-equation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAClF,OAAO,EAAE,sBAAsB,EAAE,MAAM,mCAAmC,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AACtE,OAAO,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAiB,MAAM,iCAAiC,CAAC;AAC5F,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAGnD,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AACnD,OAAO,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AAE9E,oFAAoF;AACpF,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;;;;;;;;;;;GAWG;AACH,8EAA8E;AAC9E,MAAM,qBAAqB,GAAG,IAAI,CAAC;AAEnC,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,oFAAoF;AACpF,OAAO,EAAE,qBAAqB,EAAE,CAAC;AAEjC,kFAAkF;AAClF,MAAM,UAAU,GAAG,8DAA8D,CAAC;AAElF;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kBAAkB,CAChC,GAAW,EACX,SAA4B,EAC5B,YAAiC;IAEjC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAChD,CAAC,GAAG,EAAE,EAAE,CACN,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACjC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/C,mBAAmB,CAAC,GAAG,EAAE,YAAY,CAAC,KAAK,IAAI,CAClD,CAAC;IACF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAE,CAAC;IAC9D,OAAO,CACL,mEAAmE;QACnE,IAAI,OAAO,MAAM,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAC/C,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,uBAAuB,CAAC,IAAY;IAC3C,IAAI,GAAG,GAAG,IAAI,CAAC;IACf,KAAK,MAAM,EAAE,KAAK,EAAE,IAAI,kBAAkB,EAAE,CAAC;QAC3C,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QAC5B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YACnC,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,SAAS;YACtD,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,oBAAoB,KAAK,kBAAkB,EAAE,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,OAAO,CAChB,0EAA0E,EAC1E,gBAAgB,CACjB,CAAC;AACJ,CAAC;AAcD,SAAS,gBAAgB,CAAC,OAAuC;IAC/D,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,qBAAqB,EAAE,EAAE,CAAC;QAClD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,QAAgB,EAChB,YAAqD;IAErD,IAAI,QAAQ,CAAC,MAAM,GAAG,qBAAqB,EAAE,CAAC;QAC5C,MAAM,IAAI,iBAAiB,CACzB,oBAAoB,qBAAqB,gBAAgB,QAAQ,CAAC,MAAM,GAAG,CAC5E,CAAC;IACJ,CAAC;IACD,iFAAiF;IACjF,MAAM,KAAK,GAAG,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC;IAC7E,MAAM,OAAO,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACxF,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACrC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,MAAM,IAAI,iBAAiB,CACzB,sDAAsD,QAAQ,IAAI,CACnE,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IAChD,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,iBAAiB,CAAC,4CAA4C,CAAC,CAAC;IACvF,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9C,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,iBAAiB,CAAC,uCAAuC,CAAC,CAAC;IAE/E,IAAI,SAA4B,CAAC;IACjC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,gBAAgB,EAAE,CAAC;QACxC,CAAC,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACtC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,yFAAyF;QACzF,MAAM,IAAI,iBAAiB,CAAC,wCAAwC,GAAG,MAAO,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;IACvG,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAC9B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAC3D,CAAC;IACF,8FAA8F;IAC9F,yFAAyF;IACzF,MAAM,eAAe,GAAG,KAAK,KAAK,SAAS,IAAI,mBAAmB,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,IAAI,CAAC;IAC3F,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;QAC7C,MAAM,IAAI,iBAAiB,CACzB,4BAA4B,GAAG,6BAA6B,CAC7D,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;AACrD,CAAC;AAED,4DAA4D;AAC5D,MAAM,mBAAmB,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;AAEzF,6FAA6F;AAC7F,MAAM,aAAa,GAAG,CAAC,CAAC;AAExB;;;;;;;;;GASG;AACH,SAAS,UAAU,CAAC,IAAY,EAAE,UAA4B,EAAE,IAAa;IAC3E,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACzC,yFAAyF;IACzF,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1D,kGAAkG;IAClG,+FAA+F;IAC/F,MAAM,MAAM,GAAG,CAAC,KAAa,EAAE,KAAa,EAAW,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,aAAa,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACjH,OAAO,CAAC,GAAG,UAAU,CAAC;SACnB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACZ,MAAM,GAAG,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;IAC7D,CAAC,CAAC;SACD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC;SAC7D,IAAI,CACH,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI;QACf,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ;QACvB,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM;QAC7B,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAC/B;SACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAY,EACZ,YAA8B,EAC9B,CAAC,GAAG,CAAC;IAEL,OAAO,UAAU,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAChC,GAAc,EACd,WAA2C,EAC3C,CAAC,GAAG,CAAC,EACL,IAAa;IAEb,MAAM,IAAI,GAAG,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IAChG,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACxF,CAAC;AAmBD;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,KAAe,EAAE,cAAsB;IACrE,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC;IACnF,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,cAAc,CAAC,CAAC;IAClE,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC;QACtB,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,EAAE,EAAE,EAAE,oBAAoB,EAAE,EAAE,EAAE,CAAC;IAC7G,CAAC;IACD,MAAM,oBAAoB,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,cAAc,CAAC,CAAC;IACvF,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/D,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAChC,IAAI,CAAC,CAAC,EAAE,KAAK,cAAc,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YAAE,SAAS;QAC7E,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC;YAAE,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,gBAAgB,GAAG,CAAC,GAAG,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAChG,OAAO;QACL,QAAQ,EAAE,OAAO,CAAC,IAAI,KAAK,CAAC;QAC5B,WAAW,EAAE,OAAO,CAAC,IAAI;QACzB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,gBAAgB;QAChB,oBAAoB;KACrB,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CACpC,KAAe,EACf,OAAwB,EACxB,OAAO,GAAG,CAAC;IAEX,MAAM,GAAG,GAAG,OAAO,CAAC,oBAAoB,CAAC;IACzC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,MAAM,IAAI,GAAG,CAAC,EAAU,EAAU,EAAE,CAClC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnF,MAAM,OAAO,GAAG,CAAC,EAAU,EAAU,EAAE;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvB,IAAI,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACjB,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC;YAAE,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,CAAC,EAAE,CAAC;QACnE,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAC1B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAC7E,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC1C,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QACd,OAAO,CAAC,2BAA2B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,OAAO;QACL,2BAA2B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,QAAQ;QAC7D,0DAA0D;KAC3D,CAAC;AACJ,CAAC;AA+DD;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,QAAgB,EAChB,WAA2C,EAC3C,OAAoC;IAEpC,MAAM,MAAM,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC;IAC7C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,OAAO,EAAE,cAAc,KAAK,IAAI,CAAC;IACnD,2EAA2E;IAC3E,MAAM,EAAE,GAAG,MAAM,iBAAiB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IAC3D,MAAM,YAAY,GAAG,CAAC,CAAS,EAAiB,EAAE,CAChD,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACnD,MAAM,cAAc,GAAG,CAAC,CAAS,EAAiB,EAAE;QAClD,IAAI,CAAC,SAAS,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACxD,OAAO,mBAAmB,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;IAC9C,CAAC,CAAC;IACF,yEAAyE;IACzE,kDAAkD;IAClD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,aAAa,EAAE,cAAc,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAClF,MAAM,OAAO,GAAG,CAAC,CAAS,EAAiB,EAAE;QAC3C,IAAI,CAAC,SAAS,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACxD,OAAO,mBAAmB,CAAC,CAAC,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;IACxD,CAAC,CAAC;IAEF,gFAAgF;IAChF,6EAA6E;IAC7E,uCAAuC;IACvC,MAAM,IAAI,GAA8B,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;QAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC;IACtE,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAe,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC;IAC5F,CAAC;IACD,0EAA0E;IAC1E,iDAAiD;IACjD,MAAM,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAExD,IAAI,YAAY,GAAqB,IAAI,CAAC;IAC1C,IAAI,gBAAgB,GAA0D,IAAI,CAAC;IACnF,IAAI,UAAU,GAAkB,IAAI,CAAC;IACrC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACjD,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC;QAChC,gBAAgB,GAAG,MAAM,CAAC,IAAI,CAAC;IACjC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,6GAA6G;QAC7G,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAChE,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;QAClE,UAAU,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;IAC9C,CAAC;IAED,MAAM,cAAc,GAAG,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IAC1C,MAAM,eAAe,GAAG,cAAc,CAAC,CAAC,CAAE,MAAM,CAAC,GAAG,CAAC,cAAc,CAAe,CAAC,CAAC,CAAC,IAAI,CAAC;IAE1F,MAAM,YAAY,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,IAAI,gBAAgB,EAAE,CAAC;QACrB,MAAM,gBAAgB,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;QAC3F,MAAM,cAAc,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtE,KAAK,MAAM,CAAC,IAAI,gBAAgB,EAAE,CAAC;YACjC,IAAI,KAAK,GAAoB,IAAI,CAAC;YAClC,IAAI,SAAS,GAAa,EAAE,CAAC;YAC7B,IAAI,eAAe,IAAI,cAAc,KAAK,CAAC,EAAE,CAAC;gBAC5C,MAAM,QAAQ,GAAG,qBAAqB,CAAC,gBAAgB,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC;gBAC7E,IAAI,QAAQ,EAAE,CAAC;oBACb,KAAK,GAAG,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;oBACnD,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,CAAC;wBACrC,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;6BAClC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;6BAC1C,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC;6BACrB,IAAI,EAAE,CAAC;oBACZ,CAAC;gBACH,CAAC;YACH,CAAC;YACD,MAAM,aAAa,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChE,KAAK,CAAC,IAAI,CACR,KAAK;gBACH,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,aAAa,EAAE;gBACtE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,WAAW,EAAE,iBAAiB,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,aAAa,EAAE,CAC1G,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,cAAc,IAAI,CAAC,SAAS,IAAI,YAAY,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;YACvE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,iBAAiB,CAAC,EAAE,CAAC,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;QAClH,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,EAAE,CAAC,OAAO;SACxB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;SACrD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAc,EAAE,KAAK,EAAE,KAAc,EAAE,CAAC,CAAC,CAAC;IAClG,MAAM,cAAc,GAClB,CAAC,SAAS,IAAI,YAAY,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,IAAI;QAC5C,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAc,EAAE,KAAK,EAAE,KAAc,EAAE,CAAC;QAC5G,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO;SAC1B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;SACpD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAE,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAE,CAAc,EAAE,CAAC,CAAC,CAAC;IAE/F,IAAI,UAAU,GAAG,YAAY,IAAI,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAChG,IAAI,OAA2B,CAAC;IAChC,IACE,UAAU,KAAK,KAAK;QACpB,YAAY;QACZ,eAAe;QACf,OAAO,EAAE,KAAK,KAAK,SAAS;QAC5B,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,EACpB,CAAC;QACD,MAAM,MAAM,GAAG,aAAa,CAAC,YAAY,EAAE,eAAe,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QAC3E,MAAM,IAAI,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QACzE,IAAI,IAAI,EAAE,CAAC;YACT,UAAU,GAAG,IAAI,CAAC;YAClB,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;IACH,CAAC;IAED,OAAO;QACL,QAAQ,EAAE;YACR,EAAE,EAAE,eAAe;YACnB,KAAK,EAAE,EAAE,CAAC,IAAI;YACd,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC/C,MAAM,EAAE,cAAc,IAAI,EAAE,CAAC,MAAM;SACpC;QACD,UAAU;QACV,YAAY;QACZ,eAAe;QACf,UAAU;QACV,KAAK;QACL,aAAa,EAAE,CAAC,GAAG,QAAQ,EAAE,GAAG,UAAU,EAAE,GAAG,cAAc,CAAC;QAC9D,YAAY;QACZ,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;KAC3D,CAAC;AACJ,CAAC","sourcesContent":["/**\n * User-equation injection — turn a free-form `TARGET = EXPR` string into a graph\n * junction (a target quantity + its source quantities), resolve the user's\n * symbols onto the catalog vocabulary, suggest near-misses, and report where the\n * injected junction lands in a built {@link VizModel}.\n *\n * Free-form means no dimensions: source quantities are the RHS's free variables\n * — extracted by the MathTS expression parser via {@link getFormulaParser},\n * which already drops constants like `pi`/`tau`, numbers, and functions —\n * minus the physics {@link CONSTANTS}. Multi-word quantities may be typed with\n * underscores **or** the catalog's own hyphens (`planck-length`): before parse,\n * {@link rewriteCatalogHyphens} rewrites kebab catalog names to underscores so\n * `-` is not read as subtraction (persona finding W2). Resolution still tries\n * the literal form first, then the `_`↔`-` swap.\n *\n * Pure: no file I/O. The injected junction is rendered as an `extraJunction`\n * (status `'user'`) and is never written into the catalog.\n *\n * @module composition/user-equation\n */\n\nimport { getFormulaParser, parsePhysics } from '../numerical/formula-registry.js';\nimport { formulaSymbolDimension } from '../numerical/formula-dimension.js';\nimport { CONSTANT_SPELLINGS } from '../dimensional/dimension-spec.js';\nimport { CONSTANTS } from '../dimensional/symbolic-constants.js';\nimport { formulaNameDimensions } from '../dimensional/formula-names.js';\nimport { naturalNote, naturalPowers, type UnitMode } from '../dimensional/natural-units.js';\nimport { aliasesForTarget, editDistance } from './aliases.js';\nimport { resolveQuantityName } from '../dimensional/formula-names.js';\nimport { CATALOG_GRAPH } from './catalog-graph.js';\nimport type { VizModel, VizJunction } from './graph-viz.js';\nimport type { Dimension } from '../dimensional/types.js';\nimport { DIMENSIONLESS } from '../dimensional/types.js';\nimport { equals } from '../dimensional/algebra.js';\nimport { inferUnknownDimension } from '../dimensional/dimension-inference.js';\n\n/** Thrown when a user equation cannot be parsed into a target + sources. @public */\nexport class UserEquationError extends Error {\n  constructor(message: string) {\n    super(message);\n    this.name = 'UserEquationError';\n  }\n}\n\n/**\n * A parsed user equation: the target quantity and its source quantities, as\n * written (underscores preserved; constants/numbers/functions removed).\n *\n * @public\n */\nexport interface UserEquation {\n  readonly target: string;\n  readonly sources: readonly string[];\n  /** The original `TARGET = EXPR` text, for the junction label. */\n  readonly text: string;\n}\n\n/**\n * Parse `TARGET = EXPR` into `{ target, sources }`. The target is the text left\n * of the first `=`; the sources are the RHS's free variables minus the physics\n * constants.\n *\n * Uses the active formula parser (MathTS when installed, built-in otherwise) to\n * extract the RHS's free variables.\n *\n * @throws {UserEquationError} on a missing `=`, an empty target, an unparseable\n *   RHS, or an RHS with no source quantities.\n * @public\n */\n/** Upper bound on user `--equation` text to keep hint computation bounded. */\nconst MAX_USER_EQUATION_LEN = 8192;\n\nimport { rewriteCatalogHyphens } from '../dimensional/hyphen-names.js';\n/** Rewrite a catalog hyphenated name to underscores before the expression parse. */\nexport { rewriteCatalogHyphens };\n\n/** A hyphen-joined run of names, `a-b` or `a-b-c`, not the exponent of `1e-5`. */\nconst HYPHEN_RUN = /(?<![A-Za-z0-9_.])[A-Za-z_][A-Za-z0-9_]*(?:-[A-Za-z0-9_]+)+/g;\n\n/**\n * When the parse read a hyphen-joined run (`thermal-mass`) as a subtraction of\n * its pieces, and the run read as one name is a catalog quantity, tell the user\n * `-` is arithmetic here and to use underscores. Persona finding I2.\n *\n * Decided from the parse, not from an error's text: `variables` are the free\n * variables the formula parser read from `rhs`. The parser has no hyphenated\n * identifier, so a run whose underscored name is not a variable and whose\n * pieces are was parsed as a subtraction.\n *\n * @internal\n */\nexport function hyphenSubtractHint(\n  rhs: string,\n  variables: readonly string[],\n  catalogNames: ReadonlySet<string>,\n): string | null {\n  const read = new Set(variables);\n  const split = (rhs.match(HYPHEN_RUN) ?? []).filter(\n    (run) =>\n      !read.has(run.replace(/-/g, '_')) &&\n      run.split('-').some((piece) => read.has(piece)) &&\n      resolveQuantityName(run, catalogNames) !== null,\n  );\n  if (split.length === 0) return null;\n  const example = split.sort((a, b) => b.length - a.length)[0]!;\n  return (\n    `'-' is arithmetic here; multi-word catalog names use underscores ` +\n    `(${example} → ${example.replace(/-/g, '_')})`\n  );\n}\n\n/**\n * Spellings that must not be a bare `e`. Constant aliases come from\n * {@link CONSTANT_SPELLINGS}. `1-eccentricity^2` is the perihelion factor\n * `one_minus_e_sq`.\n */\nfunction rewriteFormulaSpellings(text: string): string {\n  let out = text;\n  for (const { names } of CONSTANT_SPELLINGS) {\n    const canonical = names[0]!;\n    for (const alias of names.slice(1)) {\n      if (!/^[A-Za-z_][A-Za-z0-9_]*$/.test(alias)) continue;\n      out = out.replace(new RegExp(`(?<![A-Za-z0-9_])${alias}(?![A-Za-z0-9_])`, 'g'), canonical);\n    }\n  }\n  return out.replace(\n    /(?<![A-Za-z0-9_])1\\s*-\\s*eccentricity\\s*(?:\\^|\\*\\*)\\s*2(?![A-Za-z0-9_])/g,\n    'one_minus_e_sq',\n  );\n}\n\n/** Options for {@link analyzeUserEquation}. @internal */\nexport interface AnalyzeUserEquationOptions {\n  /**\n   * Bind a one-letter token that is itself a catalog quantity (`a`, `r`, …).\n   * Default false: the match is reported and not applied. The alias `T` →\n   * `temperature` is not a one-letter catalog name and still binds.\n   */\n  readonly bindShortNames?: boolean;\n  /** Reconcile a dimension difference by powers of c, ħ, and (geometrized) G. */\n  readonly units?: Exclude<UnitMode, 'si'>;\n}\n\nfunction withFormulaNames(catalog: ReadonlyMap<string, Dimension>): Map<string, Dimension> {\n  const out = new Map(catalog);\n  for (const [name, dim] of formulaNameDimensions()) {\n    if (!out.has(name)) out.set(name, dim);\n  }\n  return out;\n}\n\nexport async function parseUserEquation(\n  equation: string,\n  catalogNames?: ReadonlySet<string> | Iterable<string>,\n): Promise<UserEquation> {\n  if (equation.length > MAX_USER_EQUATION_LEN) {\n    throw new UserEquationError(\n      `equation exceeds ${MAX_USER_EQUATION_LEN} characters (${equation.length})`,\n    );\n  }\n  // Materialized once: an iterator (`map.keys()`) would be spent by the first use.\n  const names = catalogNames === undefined ? undefined : new Set(catalogNames);\n  const spelled = rewriteFormulaSpellings(equation);\n  const rewritten = names === undefined ? spelled : rewriteCatalogHyphens(spelled, names);\n  const eqIdx = rewritten.indexOf('=');\n  if (eqIdx < 0) {\n    throw new UserEquationError(\n      `equation must be \"TARGET = EXPR\" (no \"=\" found in '${equation}')`,\n    );\n  }\n  const target = rewritten.slice(0, eqIdx).trim();\n  if (!target) throw new UserEquationError('equation has an empty target (left of \"=\")');\n  const rhs = rewritten.slice(eqIdx + 1).trim();\n  if (!rhs) throw new UserEquationError('equation has an empty right-hand side');\n\n  let variables: readonly string[];\n  try {\n    const parser = await getFormulaParser();\n    ({ variables } = parser.parse(rhs));\n  } catch (e) {\n    // No parse tree, so no subtraction was read: the hyphen hint needs the parsed variables.\n    throw new UserEquationError(`could not parse the right-hand side '${rhs}': ${(e as Error).message}`);\n  }\n  const sources = variables.filter(\n    (v) => !Object.prototype.hasOwnProperty.call(CONSTANTS, v),\n  );\n  // An all-constant right-hand side (the Planck length) is an equation about a catalog quantity\n  // only when its target is one; otherwise it names nothing to check (persona finding W5).\n  const targetIsCatalog = names !== undefined && resolveQuantityName(target, names) !== null;\n  if (sources.length === 0 && !targetIsCatalog) {\n    throw new UserEquationError(\n      `no source quantities in '${rhs}' (only constants/numbers?)`,\n    );\n  }\n  return { target, sources, text: rewritten.trim() };\n}\n\n/** Normalize for comparison: lowercase, `_`/`-` unified. */\nconst normalizeForCompare = (s: string): string => s.toLowerCase().replace(/[_-]/g, '-');\n\n/** The shortest name that counts as contained in another for the \"did you mean?\" ranking. */\nconst MIN_CONTAINED = 3;\n\n/**\n * The one \"did you mean?\" ranking, shared by {@link suggestQuantities} and\n * {@link suggestByDimension}: edit distance first, then containment (one name\n * inside the other), then length, then name. Edit distance leads so a one-edit\n * typo beats a substring: `hawkng-temperature` → `hawking-temperature` before\n * `temperature` (persona finding N5). `gate` keeps a candidate only if one name\n * contains the other (the contained one at least three characters long) or the\n * distance is small against the query length; the\n * dimension-based caller passes `false`, because there the dimension is the evidence.\n */\nfunction rankByName(name: string, candidates: Iterable<string>, gate: boolean): string[] {\n  const needle = normalizeForCompare(name);\n  // Without the gate, short catalog names (`a`, `nu`) are spurious \"matches\" for any typo.\n  const maxDist = Math.max(1, Math.ceil(needle.length / 2));\n  // A contained name counts only from MIN_CONTAINED characters: every one-letter name occurs inside\n  // a long input (`schrodinger-equation` holds a, g, q, r), and that is not nearness (audit I5).\n  const within = (outer: string, inner: string): boolean => inner.length >= MIN_CONTAINED && outer.includes(inner);\n  return [...candidates]\n    .map((cand) => {\n      const hay = normalizeForCompare(cand);\n      const contains = within(hay, needle) || within(needle, hay) ? 0 : 1;\n      return { cand, contains, dist: editDistance(needle, hay) };\n    })\n    .filter((s) => !gate || s.contains === 0 || s.dist <= maxDist)\n    .sort(\n      (x, y) =>\n        x.dist - y.dist ||\n        x.contains - y.contains ||\n        x.cand.length - y.cand.length ||\n        x.cand.localeCompare(y.cand),\n    )\n    .map((s) => s.cand);\n}\n\n/**\n * Up to `k` catalog names most similar to `name` — the \"did you mean?\" set for an\n * unmatched user symbol. Ranked by edit distance first, then containment, then\n * length (the shared ranking of `upt map` and `upt explain`).\n *\n * @public\n */\nexport function suggestQuantities(\n  name: string,\n  catalogNames: Iterable<string>,\n  k = 5,\n): string[] {\n  return rankByName(name, catalogNames, true).slice(0, k);\n}\n\n/**\n * Catalog quantity names whose dimension equals `dim`, capped at `k` — the\n * dimension-based \"did you mean?\" set once an unknown symbol's dimension has\n * been inferred. With `near` (the unknown symbol) they are ranked by the same\n * edit-distance ranking as {@link suggestQuantities}, so `lenght` lists `length`\n * first (persona finding N2); without it they are sorted by name.\n *\n * @public\n */\nexport function suggestByDimension(\n  dim: Dimension,\n  catalogDims: ReadonlyMap<string, Dimension>,\n  k = 5,\n  near?: string,\n): string[] {\n  const same = [...catalogDims.entries()].filter(([, d]) => equals(d, dim)).map(([name]) => name);\n  return (near === undefined ? same.sort() : rankByName(near, same, false)).slice(0, k);\n}\n\n/**\n * Where the injected user junction landed, computed from a built `VizModel`.\n *\n * @public\n */\nexport interface EquationLanding {\n  readonly isolated: boolean;\n  /** Junctions in the user equation's connected component (including itself). */\n  readonly clusterSize: number;\n  /** The component holds a law/established junction (anchored to known physics). */\n  readonly anchored: boolean;\n  /** User-equation quantities that also appear in a neighbouring junction. */\n  readonly sharedQuantities: readonly string[];\n  /** Other junction ids in the user equation's component. */\n  readonly connectedJunctionIds: readonly string[];\n}\n\n/**\n * Describe where `userJunctionId` sits in `model`: its component, the junctions it\n * connects to, and the quantities that link it to them.\n *\n * @public\n */\nexport function equationLanding(model: VizModel, userJunctionId: string): EquationLanding {\n  const cluster = model.clusters.find((c) => c.junctionIds.includes(userJunctionId));\n  const self = model.junctions.find((j) => j.id === userJunctionId);\n  if (!cluster || !self) {\n    return { isolated: true, clusterSize: 1, anchored: false, sharedQuantities: [], connectedJunctionIds: [] };\n  }\n  const connectedJunctionIds = cluster.junctionIds.filter((id) => id !== userJunctionId);\n  const selfQuantities = new Set([...self.sources, self.target]);\n  const neighbourQuantities = new Set<string>();\n  for (const j of model.junctions) {\n    if (j.id === userJunctionId || !cluster.junctionIds.includes(j.id)) continue;\n    for (const qn of [...j.sources, j.target]) neighbourQuantities.add(qn);\n  }\n  const sharedQuantities = [...selfQuantities].filter((qn) => neighbourQuantities.has(qn)).sort();\n  return {\n    isolated: cluster.size === 1,\n    clusterSize: cluster.size,\n    anchored: cluster.anchored,\n    sharedQuantities,\n    connectedJunctionIds,\n  };\n}\n\n/**\n * One or two lines summarising `connects to:` (persona findings W3 / I3).\n * Dumping ~100 edge ids next to a correct pendulum equation made shared\n * `length`/`temperature` look like a physics claim. Rank by overlap with the\n * user's shared quantities first, then textbook/law over bridges, then name.\n * When the list is long, state the structural caveat explicitly.\n *\n * @internal\n */\nexport function formatConnectedSummary(\n  model: VizModel,\n  landing: EquationLanding,\n  maxShow = 5,\n): readonly string[] {\n  const ids = landing.connectedJunctionIds;\n  if (ids.length === 0) return [];\n  const shared = new Set(landing.sharedQuantities);\n  const byId = new Map(model.junctions.map((j) => [j.id, j]));\n  const tier = (id: string): number =>\n    id.startsWith('CE-') || id.startsWith('law-') ? 0 : id.startsWith('be-') ? 1 : 2;\n  const overlap = (id: string): number => {\n    const j = byId.get(id);\n    if (!j) return 0;\n    let n = 0;\n    for (const qn of [...j.sources, j.target]) if (shared.has(qn)) n++;\n    return n;\n  };\n  const ranked = [...ids].sort(\n    (a, b) => overlap(b) - overlap(a) || tier(a) - tier(b) || a.localeCompare(b),\n  );\n  const shown = ranked.slice(0, maxShow);\n  const more = ranked.length - shown.length;\n  if (more <= 0) {\n    return [`     nearest equations: ${shown.join(', ')}`];\n  }\n  return [\n    `     nearest equations: ${shown.join(', ')} (+${more} more)`,\n    '     (shared-quantity connectivity, not a physics claim)',\n  ];\n}\n\n/** A \"did you mean?\" suggestion for an unmatched symbol. */\nexport interface EquationHint {\n  readonly name: string;\n  readonly suggestions: readonly string[];\n  /** True when the suggestions come from the symbol's INFERRED dimension. */\n  readonly byDimension: boolean;\n  /**\n   * Registered constants that carry the symbol's inferred dimension (`sigma` → `sigma_sb`,\n   * persona finding L5). Present only when a dimension was inferred and it is not dimensionless.\n   */\n  readonly constants?: readonly string[];\n}\n\n/** A one-letter user name bound to a catalog quantity (persona finding W6). */\nexport interface ShortBinding {\n  readonly name: string;\n  readonly quantity: string;\n  readonly dim: Dimension;\n  /**\n   * Present and false when a one-letter catalog name was recognised and not\n   * applied. Omitted when the name was bound.\n   */\n  readonly bound?: false;\n}\n\n/**\n * Full analysis of a user equation against a catalog name→dimension map: the\n * `user` junction (for the graph), the dimensional verdict (RHS dimension vs the\n * target's catalog dimension), and \"did you mean?\" hints (dimension-based when a\n * single unknown's dimension can be inferred, else name-similarity).\n *\n * Physics constants (`hbar`, `c`, `k_B`, …) are supplied to the parser with\n * their real dimensions (from `CONSTANTS`) so the dimensional check is correct.\n *\n * @public\n */\nexport interface EquationAnalysis {\n  readonly junction: VizJunction;\n  /** Set when the RHS is not dimensionally well-formed (then dims are null). */\n  readonly parseError: string | null;\n  readonly rhsDimension: Dimension | null;\n  readonly targetDimension: Dimension | null;\n  /** rhsDimension === targetDimension; null when unknowable or parse failed. */\n  readonly consistent: boolean | null;\n  readonly hints: readonly EquationHint[];\n  /**\n   * One-letter names that resolved to a catalog quantity. A one-letter name is the likeliest to\n   * mean something else: the catalog's `a` is perihelion's semi-major axis, a length, and the\n   * Unruh formula's `a` is an acceleration (persona finding W6).\n   */\n  readonly shortBindings: readonly ShortBinding[];\n  /**\n   * RHS names given a dimensionless placeholder because they did not resolve.\n   * The reported RHS dimension treats them as dimensionless, so it is not a\n   * check of the formula until they are bound.\n   */\n  readonly placeholders: readonly string[];\n  /** Set when `--natural` / `--geometrized` reconciled the two dimensions. */\n  readonly naturalNote?: string;\n}\n\n/**\n * Parse + dimensionally analyze a user `TARGET = EXPR` against `catalogDims`\n * (catalog quantity name → dimension). Throws {@link UserEquationError} on a\n * structurally malformed equation; reports a dimensional malformation via\n * `parseError`.\n *\n * @public\n */\nexport async function analyzeUserEquation(\n  equation: string,\n  catalogDims: ReadonlyMap<string, Dimension>,\n  options?: AnalyzeUserEquationOptions,\n): Promise<EquationAnalysis> {\n  const dimsIn = withFormulaNames(catalogDims);\n  const catalogNames = new Set(dimsIn.keys());\n  const bindShort = options?.bindShortNames === true;\n  // W2: rewrite catalog kebabs before either parser sees `-` as subtraction.\n  const eq = await parseUserEquation(equation, catalogNames);\n  const literalShort = (n: string): string | null =>\n    n.length === 1 && catalogNames.has(n) ? n : null;\n  const resolveCatalog = (n: string): string | null => {\n    if (!bindShort && literalShort(n) !== null) return null;\n    return resolveQuantityName(n, catalogNames);\n  };\n  // Evaluate keys are aliases of this target's sources. `R` is reflectance\n  // on radiation-pressure and is not a global name.\n  const aliasMap = aliasesForTarget(CATALOG_GRAPH, resolveCatalog(eq.target) ?? '');\n  const resolve = (n: string): string | null => {\n    if (!bindShort && literalShort(n) !== null) return null;\n    return resolveQuantityName(n, catalogNames, aliasMap);\n  };\n\n  // dims for parsePhysics: physics constants carry their REAL dimensions; matched\n  // sources their catalog dimension; the (≤1) unmatched source a DIMENSIONLESS\n  // placeholder so the RHS still parses.\n  const dims: Record<string, Dimension> = {};\n  for (const [name, c] of Object.entries(CONSTANTS)) dims[name] = c.dim;\n  for (const s of eq.sources) {\n    const r = resolve(s);\n    dims[s] = r ? (dimsIn.get(r) as Dimension) : (formulaSymbolDimension(s) ?? DIMENSIONLESS);\n  }\n  // Use the rewritten equation's RHS (eq.text) so planck-length has already\n  // become planck_length before dimensional parse.\n  const rhsText = eq.text.slice(eq.text.indexOf('=') + 1);\n\n  let rhsDimension: Dimension | null = null;\n  let exprForInference: import('../dimensional/validator.js').ExprNode | null = null;\n  let parseError: string | null = null;\n  try {\n    const parsed = await parsePhysics(rhsText, dims);\n    rhsDimension = parsed.dimension;\n    exprForInference = parsed.expr;\n  } catch (e) {\n    const msg = e instanceof Error ? e.message : String(e);\n    // The formula parser already read this right-hand side (parseUserEquation), so its variables are the tree's.\n    const { variables } = (await getFormulaParser()).parse(rhsText);\n    const hint = hyphenSubtractHint(rhsText, variables, catalogNames);\n    parseError = hint ? `${msg}. ${hint}` : msg;\n  }\n\n  const resolvedTarget = resolve(eq.target);\n  const targetDimension = resolvedTarget ? (dimsIn.get(resolvedTarget) as Dimension) : null;\n\n  const placeholders = eq.sources.filter((s) => !resolve(s));\n  const hints: EquationHint[] = [];\n  if (exprForInference) {\n    const unmatchedSources = placeholders.filter((s) => bindShort || literalShort(s) === null);\n    const totalUnmatched = placeholders.length + (resolvedTarget ? 0 : 1);\n    for (const s of unmatchedSources) {\n      let byDim: string[] | null = null;\n      let constants: string[] = [];\n      if (targetDimension && totalUnmatched === 1) {\n        const inferred = inferUnknownDimension(exprForInference, s, targetDimension);\n        if (inferred) {\n          byDim = suggestByDimension(inferred, dimsIn, 5, s);\n          if (!equals(inferred, DIMENSIONLESS)) {\n            constants = Object.entries(CONSTANTS)\n              .filter(([, c]) => equals(c.dim, inferred))\n              .map(([name]) => name)\n              .sort();\n          }\n        }\n      }\n      const withConstants = constants.length > 0 ? { constants } : {};\n      hints.push(\n        byDim\n          ? { name: s, suggestions: byDim, byDimension: true, ...withConstants }\n          : { name: s, suggestions: suggestQuantities(s, catalogNames, 5), byDimension: false, ...withConstants },\n      );\n    }\n    if (!resolvedTarget && (bindShort || literalShort(eq.target) === null)) {\n      hints.push({ name: eq.target, suggestions: suggestQuantities(eq.target, catalogNames, 5), byDimension: false });\n    }\n  }\n\n  const declined = eq.sources\n    .filter((s) => !bindShort && literalShort(s) !== null)\n    .map((s) => ({ name: s, quantity: s, dim: dimsIn.get(s) as Dimension, bound: false as const }));\n  const declinedTarget =\n    !bindShort && literalShort(eq.target) !== null\n      ? [{ name: eq.target, quantity: eq.target, dim: dimsIn.get(eq.target) as Dimension, bound: false as const }]\n      : [];\n  const boundShort = eq.sources\n    .filter((s) => s.length === 1 && resolve(s) !== null)\n    .map((s) => ({ name: s, quantity: resolve(s)!, dim: dimsIn.get(resolve(s)!) as Dimension }));\n\n  let consistent = rhsDimension && targetDimension ? equals(rhsDimension, targetDimension) : null;\n  let natural: string | undefined;\n  if (\n    consistent === false &&\n    rhsDimension &&\n    targetDimension &&\n    options?.units !== undefined &&\n    (hints.length === 0)\n  ) {\n    const powers = naturalPowers(rhsDimension, targetDimension, options.units);\n    const note = powers === null ? null : naturalNote(powers, options.units);\n    if (note) {\n      consistent = true;\n      natural = note;\n    }\n  }\n\n  return {\n    junction: {\n      id: 'user-equation',\n      label: eq.text,\n      status: 'user',\n      sources: eq.sources.map((s) => resolve(s) ?? s),\n      target: resolvedTarget ?? eq.target,\n    },\n    parseError,\n    rhsDimension,\n    targetDimension,\n    consistent,\n    hints,\n    shortBindings: [...declined, ...boundShort, ...declinedTarget],\n    placeholders,\n    ...(natural === undefined ? {} : { naturalNote: natural }),\n  };\n}\n"]}

package/dist/core/axes-registry.d.ts

@@ -23,16 +23,20 @@
  */
 import type { UniversalIndex } from './universal-index.js';
 import type { PhysicalScale, Force, Symmetry, InformationMeasure } from './types.js';
-type ScaleAxes = {
+/** The scale namespace of {@link AxesRegistry}: one index per `PhysicalScale`. @public */
+export type ScaleAxes = {
     readonly [K in PhysicalScale]: UniversalIndex<'scale'>;
 };
-type ForceAxes = {
+/** The force namespace of {@link AxesRegistry}: one index per `Force`. @public */
+export type ForceAxes = {
     readonly [K in Force]: UniversalIndex<'force'>;
 };
-type SymmetryAxes = {
+/** The symmetry namespace of {@link AxesRegistry}: one index per `Symmetry`. @public */
+export type SymmetryAxes = {
     readonly [K in Symmetry]: UniversalIndex<'symmetry'>;
 };
-type InformationAxes = {
+/** The information namespace of {@link AxesRegistry}: one index per `InformationMeasure`. @public */
+export type InformationAxes = {
     readonly [K in InformationMeasure]: UniversalIndex<'information'>;
 };
 /**
@@ -63,5 +67,4 @@ export interface AxesRegistry {
  * @public
  */
 export declare const Axes: AxesRegistry;
-export {};
 //# sourceMappingURL=axes-registry.d.ts.map

package/dist/core/axes-registry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"axes-registry.d.ts","sourceRoot":"","sources":["../../src/core/axes-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAGH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EACV,aAAa,EACb,KAAK,EACL,QAAQ,EACR,kBAAkB,EACnB,MAAM,YAAY,CAAC;AAOpB,KAAK,SAAS,GAAG;IAAE,QAAQ,EAAE,CAAC,IAAI,aAAa,GAAG,cAAc,CAAC,OAAO,CAAC;CAAE,CAAC;AAC5E,KAAK,SAAS,GAAG;IAAE,QAAQ,EAAE,CAAC,IAAI,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC;CAAE,CAAC;AACpE,KAAK,YAAY,GAAG;IAAE,QAAQ,EAAE,CAAC,IAAI,QAAQ,GAAG,cAAc,CAAC,UAAU,CAAC;CAAE,CAAC;AAC7E,KAAK,eAAe,GAAG;IACrB,QAAQ,EAAE,CAAC,IAAI,kBAAkB,GAAG,cAAc,CAAC,aAAa,CAAC;CAClE,CAAC;AAEF;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAC;CACvC;AAoCD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,IAAI,EAAE,YAKjB,CAAC"}
+{"version":3,"file":"axes-registry.d.ts","sourceRoot":"","sources":["../../src/core/axes-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAGH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EACV,aAAa,EACb,KAAK,EACL,QAAQ,EACR,kBAAkB,EACnB,MAAM,YAAY,CAAC;AAOpB,0FAA0F;AAC1F,MAAM,MAAM,SAAS,GAAG;IAAE,QAAQ,EAAE,CAAC,IAAI,aAAa,GAAG,cAAc,CAAC,OAAO,CAAC;CAAE,CAAC;AACnF,kFAAkF;AAClF,MAAM,MAAM,SAAS,GAAG;IAAE,QAAQ,EAAE,CAAC,IAAI,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC;CAAE,CAAC;AAC3E,wFAAwF;AACxF,MAAM,MAAM,YAAY,GAAG;IAAE,QAAQ,EAAE,CAAC,IAAI,QAAQ,GAAG,cAAc,CAAC,UAAU,CAAC;CAAE,CAAC;AACpF,qGAAqG;AACrG,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,EAAE,CAAC,IAAI,kBAAkB,GAAG,cAAc,CAAC,aAAa,CAAC;CAClE,CAAC;AAEF;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAC;CACvC;AAoCD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,IAAI,EAAE,YAKjB,CAAC"}

package/dist/core/axes-registry.js.map

@@ -1 +1 @@
-{"version":3,"file":"axes-registry.js","sourceRoot":"","sources":["../../src/core/axes-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAkCjD,8EAA8E;AAC9E,gEAAgE;AAChE,8EAA8E;AAE9E,MAAM,SAAS,GAAc,MAAM,CAAC,MAAM,CAAC;IACzC,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC;IACtC,UAAU,EAAE,SAAS,CAAC,OAAO,EAAE,YAAY,CAAC;IAC5C,SAAS,EAAE,SAAS,CAAC,OAAO,EAAE,WAAW,CAAC;IAC1C,YAAY,EAAE,SAAS,CAAC,OAAO,EAAE,cAAc,CAAC;CACjD,CAAC,CAAC;AAEH,MAAM,SAAS,GAAc,MAAM,CAAC,MAAM,CAAC;IACzC,aAAa,EAAE,SAAS,CAAC,OAAO,EAAE,eAAe,CAAC;IAClD,eAAe,EAAE,SAAS,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACtD,IAAI,EAAE,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC;IAChC,MAAM,EAAE,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC;IACpC,QAAQ,EAAE,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC;CACzC,CAAC,CAAC;AAEH,MAAM,YAAY,GAAiB,MAAM,CAAC,MAAM,CAAC;IAC/C,QAAQ,EAAE,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC;IAC3C,KAAK,EAAE,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC;IACrC,SAAS,EAAE,SAAS,CAAC,UAAU,EAAE,WAAW,CAAC;IAC7C,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC;IACnC,QAAQ,EAAE,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC;CAC5C,CAAC,CAAC;AAEH,MAAM,eAAe,GAAoB,MAAM,CAAC,MAAM,CAAC;IACrD,UAAU,EAAE,SAAS,CAAC,aAAa,EAAE,YAAY,CAAC;IAClD,OAAO,EAAE,SAAS,CAAC,aAAa,EAAE,SAAS,CAAC;IAC5C,UAAU,EAAE,SAAS,CAAC,aAAa,EAAE,YAAY,CAAC;IAClD,cAAc,EAAE,SAAS,CAAC,aAAa,EAAE,gBAAgB,CAAC;CAC3D,CAAC,CAAC;AAEH;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,IAAI,GAAiB,MAAM,CAAC,MAAM,CAAC;IAC9C,KAAK,EAAE,SAAS;IAChB,KAAK,EAAE,SAAS;IAChB,QAAQ,EAAE,YAAY;IACtB,WAAW,EAAE,eAAe;CAC7B,CAAC,CAAC"}
+{"version":3,"file":"axes-registry.js","sourceRoot":"","sources":["../../src/core/axes-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAsCjD,8EAA8E;AAC9E,gEAAgE;AAChE,8EAA8E;AAE9E,MAAM,SAAS,GAAc,MAAM,CAAC,MAAM,CAAC;IACzC,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC;IACtC,UAAU,EAAE,SAAS,CAAC,OAAO,EAAE,YAAY,CAAC;IAC5C,SAAS,EAAE,SAAS,CAAC,OAAO,EAAE,WAAW,CAAC;IAC1C,YAAY,EAAE,SAAS,CAAC,OAAO,EAAE,cAAc,CAAC;CACjD,CAAC,CAAC;AAEH,MAAM,SAAS,GAAc,MAAM,CAAC,MAAM,CAAC;IACzC,aAAa,EAAE,SAAS,CAAC,OAAO,EAAE,eAAe,CAAC;IAClD,eAAe,EAAE,SAAS,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACtD,IAAI,EAAE,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC;IAChC,MAAM,EAAE,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC;IACpC,QAAQ,EAAE,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC;CACzC,CAAC,CAAC;AAEH,MAAM,YAAY,GAAiB,MAAM,CAAC,MAAM,CAAC;IAC/C,QAAQ,EAAE,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC;IAC3C,KAAK,EAAE,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC;IACrC,SAAS,EAAE,SAAS,CAAC,UAAU,EAAE,WAAW,CAAC;IAC7C,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC;IACnC,QAAQ,EAAE,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC;CAC5C,CAAC,CAAC;AAEH,MAAM,eAAe,GAAoB,MAAM,CAAC,MAAM,CAAC;IACrD,UAAU,EAAE,SAAS,CAAC,aAAa,EAAE,YAAY,CAAC;IAClD,OAAO,EAAE,SAAS,CAAC,aAAa,EAAE,SAAS,CAAC;IAC5C,UAAU,EAAE,SAAS,CAAC,aAAa,EAAE,YAAY,CAAC;IAClD,cAAc,EAAE,SAAS,CAAC,aAAa,EAAE,gBAAgB,CAAC;CAC3D,CAAC,CAAC;AAEH;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,IAAI,GAAiB,MAAM,CAAC,MAAM,CAAC;IAC9C,KAAK,EAAE,SAAS;IAChB,KAAK,EAAE,SAAS;IAChB,QAAQ,EAAE,YAAY;IACtB,WAAW,EAAE,eAAe;CAC7B,CAAC,CAAC","sourcesContent":["/**\n * `Axes` singleton registry — module-load-stable `UniversalIndex`\n * references for every physics-axis value in `src/core/types.ts`.\n *\n * Phase 1 of v0.7 Proposal 1 (Intelligent Index Layer).\n *\n * Per Decision #4 (`docs/planning/v0.7-Proposal-1-Design.md`),\n * `Axes` is computed exactly once per Node process. Both the outer\n * namespace and each per-axis sub-object are `Object.freeze`d:\n * mutation attempts in strict mode throw `TypeError`. The values\n * inside are full `UniversalIndex<Axis>` objects (with stable\n * `id`s assigned at module load); same-object identity across\n * import sites is the load-bearing guarantee.\n *\n * Census basis: `docs/architecture/archive/v0.7-p1-baseline.md` Task 0.1.\n *   - 4 scales × 5 forces × 5 symmetries × 4 information measures\n *     = 18 stable references total\n *   - dimension/topology axes are integer-valued and NOT enumerable\n *     from `TensorConfig` — no `Axes.dimension` or `Axes.topology`\n *     sub-namespace ships in v0.7.0\n *\n * @module core/axes-registry\n */\n\nimport { makeIndex } from './universal-index.js';\nimport type { UniversalIndex } from './universal-index.js';\nimport type {\n  PhysicalScale,\n  Force,\n  Symmetry,\n  InformationMeasure,\n} from './types.js';\n\n// ---------------------------------------------------------------------------\n// Per-namespace records — typed so consumers get autocompletion for\n// `Axes.scale.<quantum|mesoscopic|classical|cosmological>`, etc.\n// ---------------------------------------------------------------------------\n\n/** The scale namespace of {@link AxesRegistry}: one index per `PhysicalScale`. @public */\nexport type ScaleAxes = { readonly [K in PhysicalScale]: UniversalIndex<'scale'> };\n/** The force namespace of {@link AxesRegistry}: one index per `Force`. @public */\nexport type ForceAxes = { readonly [K in Force]: UniversalIndex<'force'> };\n/** The symmetry namespace of {@link AxesRegistry}: one index per `Symmetry`. @public */\nexport type SymmetryAxes = { readonly [K in Symmetry]: UniversalIndex<'symmetry'> };\n/** The information namespace of {@link AxesRegistry}: one index per `InformationMeasure`. @public */\nexport type InformationAxes = {\n  readonly [K in InformationMeasure]: UniversalIndex<'information'>;\n};\n\n/**\n * Outer registry shape. Frozen at module load; per-namespace\n * sub-objects also frozen.\n *\n * @public\n */\nexport interface AxesRegistry {\n  readonly scale: ScaleAxes;\n  readonly force: ForceAxes;\n  readonly symmetry: SymmetryAxes;\n  readonly information: InformationAxes;\n}\n\n// ---------------------------------------------------------------------------\n// Registry construction — one makeIndex call per member, frozen\n// ---------------------------------------------------------------------------\n\nconst scaleAxes: ScaleAxes = Object.freeze({\n  quantum: makeIndex('scale', 'quantum'),\n  mesoscopic: makeIndex('scale', 'mesoscopic'),\n  classical: makeIndex('scale', 'classical'),\n  cosmological: makeIndex('scale', 'cosmological'),\n});\n\nconst forceAxes: ForceAxes = Object.freeze({\n  gravitational: makeIndex('force', 'gravitational'),\n  electromagnetic: makeIndex('force', 'electromagnetic'),\n  weak: makeIndex('force', 'weak'),\n  strong: makeIndex('force', 'strong'),\n  emergent: makeIndex('force', 'emergent'),\n});\n\nconst symmetryAxes: SymmetryAxes = Object.freeze({\n  poincare: makeIndex('symmetry', 'poincare'),\n  gauge: makeIndex('symmetry', 'gauge'),\n  conformal: makeIndex('symmetry', 'conformal'),\n  susy: makeIndex('symmetry', 'susy'),\n  emergent: makeIndex('symmetry', 'emergent'),\n});\n\nconst informationAxes: InformationAxes = Object.freeze({\n  vonNeumann: makeIndex('information', 'vonNeumann'),\n  shannon: makeIndex('information', 'shannon'),\n  kolmogorov: makeIndex('information', 'kolmogorov'),\n  quantumDiscord: makeIndex('information', 'quantumDiscord'),\n});\n\n/**\n * The canonical `Axes` registry. Same object across all import\n * sites; entry references stable across all reads.\n *\n * Usage:\n *   import { Axes } from 'universal-physics-tensor';\n *   const myIdx = Axes.scale.quantum; // UniversalIndex<'scale'>\n *\n * Two `LabeledTensor`s contracting on `Axes.scale.quantum` produce\n * a contraction. Two fresh `makeIndex('scale', 'quantum')` calls are\n * different ids: `contract` throws `IndexNameMismatchError` and names\n * both ids. Use the registry for shared identity (Decision #4).\n *\n * @public\n */\nexport const Axes: AxesRegistry = Object.freeze({\n  scale: scaleAxes,\n  force: forceAxes,\n  symmetry: symmetryAxes,\n  information: informationAxes,\n});\n"]}

package/dist/core/cell.js.map

@@ -1 +1 @@
-{"version":3,"file":"cell.js","sourceRoot":"","sources":["../../src/core/cell.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AA+GH,8EAA8E;AAC9E,qDAAqD;AACrD,8EAA8E;AAC9E,yEAAyE;AACzE,oEAAoE;AACpE,sEAAsE;AACtE,EAAE;AACF,0EAA0E;AAC1E,wEAAwE;AACxE,uEAAuE;AACvE,yEAAyE;AACzE,yEAAyE;AACzE,yEAAyE;AACzE,qEAAqE;AACrE,yEAAyE;AACzE,sEAAsE;AACtE,yEAAyE;AACzE,qEAAqE;AACrE,iCAAiC;AAEjC;;;;;;GAMG;AACH,SAAS,sBAAsB,CAAC,CAAS;IACvC,IAAI,CAAC,IAAI,GAAG;QAAE,OAAO,aAAa,CAAC;IACnC,IAAI,CAAC,IAAI,GAAG;QAAE,OAAO,aAAa,CAAC;IACnC,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,GAAgB;IACxC,OAAO;QACL,IAAI,EAAE,KAAK;QACX,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,UAAU,EAAE,sBAAsB,CAAC,GAAG,CAAC,UAAU,CAAC;QAClD,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,GAAG,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,GAAG,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpF,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1D,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,CAAiB;IAC5C,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,UAAU,EAAE,sBAAsB,CAAC,CAAC,CAAC,UAAU,CAAC;QAChD,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,WAAW,EAAE,CAAC,CAAC,WAAW;KAC3B,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAAC,CAAqB;IACnD,mEAAmE;IACnE,mEAAmE;IACnE,mBAAmB;IACnB,MAAM,QAAQ,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACpF,MAAM,WAAW,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;IAEpF,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,QAAQ;QACR,UAAU,EAAE,sBAAsB,CAAC,CAAC,CAAC,UAAU,CAAC;QAChD,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxC,CAAC;AACJ,CAAC"}
+{"version":3,"file":"cell.js","sourceRoot":"","sources":["../../src/core/cell.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AA+GH,8EAA8E;AAC9E,qDAAqD;AACrD,8EAA8E;AAC9E,yEAAyE;AACzE,oEAAoE;AACpE,sEAAsE;AACtE,EAAE;AACF,0EAA0E;AAC1E,wEAAwE;AACxE,uEAAuE;AACvE,yEAAyE;AACzE,yEAAyE;AACzE,yEAAyE;AACzE,qEAAqE;AACrE,yEAAyE;AACzE,sEAAsE;AACtE,yEAAyE;AACzE,qEAAqE;AACrE,iCAAiC;AAEjC;;;;;;GAMG;AACH,SAAS,sBAAsB,CAAC,CAAS;IACvC,IAAI,CAAC,IAAI,GAAG;QAAE,OAAO,aAAa,CAAC;IACnC,IAAI,CAAC,IAAI,GAAG;QAAE,OAAO,aAAa,CAAC;IACnC,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,GAAgB;IACxC,OAAO;QACL,IAAI,EAAE,KAAK;QACX,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,UAAU,EAAE,sBAAsB,CAAC,GAAG,CAAC,UAAU,CAAC;QAClD,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,GAAG,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,GAAG,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpF,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1D,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,CAAiB;IAC5C,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,UAAU,EAAE,sBAAsB,CAAC,CAAC,CAAC,UAAU,CAAC;QAChD,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,WAAW,EAAE,CAAC,CAAC,WAAW;KAC3B,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAAC,CAAqB;IACnD,mEAAmE;IACnE,mEAAmE;IACnE,mBAAmB;IACnB,MAAM,QAAQ,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACpF,MAAM,WAAW,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;IAEpF,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,QAAQ;QACR,UAAU,EAAE,sBAAsB,CAAC,CAAC,CAAC,UAAU,CAAC;QAChD,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxC,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Typed `Cell` discriminated union for `UniversalTensor`'s cell storage.\n *\n * Three variants — `LawCell`, `BridgeCell`, `EmergenceCell` — each\n * carrying a `kind` discriminator that lets TypeScript narrow to the\n * specific variant at every consumption site. Mirrors the v0.6.1\n * validator-registry's discriminated-union pattern at\n * `src/dimensional/validator-registry.ts`.\n *\n * Design doc: `docs/planning/v0.7-Proposal-3-Design.md`.\n * Review findings: `docs/planning/v0.7-Proposal-3-Review-Findings.md`.\n *\n * Migration relationship to `src/core/types.ts`:\n *   - `PhysicalLaw` ↔ `LawCell` (field-shape faithful; `confidence`\n *     flips `number` → string-literal union)\n *   - `BridgeEquation` ↔ `BridgeCell` (same migration)\n *   - `EmergentPhenomenon` ↔ `EmergenceCell` (same migration)\n *\n * The old interfaces are NOT deleted and NOT `@deprecated`-tagged in\n * this sprint (per Eve-R2 + the Phase 0 consumer-import census:\n * 4 in-repo sites still use them). A future v0.7.x sprint migrates\n * those consumers and then adds `@deprecated`.\n *\n * **No `confidenceToStatus` adapter is shipped** (per Eve-R3). The\n * 42-bridge catalog has BOTH a numeric `confidence` AND a curated\n * string `status` field, set independently; an adapter would\n * produce labels that contradict the catalog curation\n * (e.g. `status: 'established'` + `confidence: 0.7` → adapter\n * returns `'speculative'`). Callers must pass the string explicitly\n * at cell-construction sites.\n *\n * @module core/cell\n */\n\nimport type {\n  PhysicalScale,\n  Force,\n  Symmetry,\n  InformationMeasure,\n  TensorIndices,\n  PhysicalLaw,\n  BridgeEquation,\n  EmergentPhenomenon,\n} from './types.js';\n\n/**\n * Epistemic confidence vocabulary for `Cell` variants. Matches the\n * `'established' | 'speculative' | 'highly-speculative'` portion of\n * `BridgeEquationStatus` from `src/bridges/index.ts:42-46`, minus\n * `'invalid'` — cells in the tensor are by definition active; invalid\n * catalog entries should not be added.\n *\n * @public\n */\nexport type CellConfidence =\n  | 'established'\n  | 'speculative'\n  | 'highly-speculative';\n\n/**\n * Fields common to every `Cell` variant. Each variant extends this\n * with a `kind` discriminator and variant-specific fields. The\n * `equation` field carries LaTeX-formatted mathematical content\n * (matching the existing `PhysicalLaw.equation` / `BridgeEquation.\n * equation` convention).\n *\n * @public\n */\nexport interface CellBase {\n  /** Unique identifier within the parent `UniversalTensor`. */\n  readonly id: string;\n\n  /** Epistemic confidence vocabulary (see `CellConfidence`). */\n  readonly confidence: CellConfidence;\n\n  /** Mathematical formulation (LaTeX). */\n  readonly equation: string;\n}\n\n/**\n * Cell variant representing a known physical law. 1:1 field-shape\n * correspondence with `PhysicalLaw` from `src/core/types.ts:88`,\n * except `confidence` is the string vocabulary (not `number`) and\n * the discriminator `kind: 'law'` is added.\n *\n * @public\n */\nexport interface LawCell extends CellBase {\n  readonly kind: 'law';\n  readonly name: string;\n  readonly scales: ReadonlyArray<PhysicalScale>;\n  readonly forces: ReadonlyArray<Force>;\n  readonly symmetries: ReadonlyArray<Symmetry>;\n  readonly informationMeasures?: ReadonlyArray<InformationMeasure>;\n  readonly dimensions?: ReadonlyArray<number>;\n  readonly topologies?: ReadonlyArray<number>;\n  readonly references?: ReadonlyArray<string>;\n}\n\n/**\n * Cell variant representing a bridge equation between regimes. 1:1\n * field-shape correspondence with `BridgeEquation` from\n * `src/core/types.ts:126`, except `confidence` is the string\n * vocabulary and the discriminator `kind: 'bridge'` is added.\n *\n * @public\n */\nexport interface BridgeCell extends CellBase {\n  readonly kind: 'bridge';\n  readonly name: string;\n  readonly source: TensorIndices;\n  readonly target: TensorIndices;\n  readonly validated: boolean;\n  readonly description: string;\n}\n\n/**\n * Cell variant representing an emergent phenomenon. 1:1 field-shape\n * correspondence with `EmergentPhenomenon` from `src/core/types.ts:155`,\n * except `confidence` is the string vocabulary and the discriminator\n * `kind: 'emergence'` is added. Note: the old interface uses\n * `description` for the mathematical content; `EmergenceCell` carries\n * it as both `equation` (inherited from `CellBase`, mandatory) and\n * `description` (kept for prose-context fidelity, optional).\n *\n * @public\n */\nexport interface EmergenceCell extends CellBase {\n  readonly kind: 'emergence';\n  readonly name: string;\n  readonly order: number;\n  readonly indices: ReadonlyArray<TensorIndices>;\n  readonly description?: string;\n}\n\n/**\n * The disjoint union of all `Cell` variants. Consumers narrow via\n * `switch (cell.kind)` with an exhaustive `_exhaustive: never` arm.\n *\n * @public\n */\nexport type Cell = LawCell | BridgeCell | EmergenceCell;\n\n// ---------------------------------------------------------------------------\n// Inverse adapters (legacy interface → Cell variant)\n// ---------------------------------------------------------------------------\n// Used by UniversalTensor.populatedCells() (Phase 2 Task 2.1) to resolve\n// stored cell-IDs back to Cell objects. Counterparts to the forward\n// adapters (cellToLaw / cellToBridge / cellToEmergence) at tensor.ts.\n//\n// The numeric `confidence: number` from the legacy interfaces is bucketed\n// back into the string vocabulary via `numberToCellConfidence`. This is\n// the lossy direction Eve-R3 flagged — but in THIS direction, the call\n// site is \"we have a legacy entry that was already in the tensor; bucket\n// its numeric confidence into the closest string label\". Per Decision #6\n// fan-out semantics, this can only happen for entries that round-tripped\n// through `addCell` (where the original string was authoritative) OR\n// entries added via the legacy `addLaw`/`addBridge`/`addEmergence` paths\n// (where the consumer chose a number directly). The bucketing matches\n// the forward `statusToConfidenceNumber` in tensor.ts: 0.95→established,\n// 0.6→speculative, 0.3→highly-speculative; thresholds chosen to make\n// the standard round-trip exact.\n\n/**\n * Inverse of `statusToConfidenceNumber` at tensor.ts:48-58. Buckets a\n * numeric confidence in [0,1] back to the string vocabulary. Used by\n * the inverse adapters below.\n *\n * @internal\n */\nfunction numberToCellConfidence(n: number): CellConfidence {\n  if (n >= 0.8) return 'established';\n  if (n >= 0.4) return 'speculative';\n  return 'highly-speculative';\n}\n\n/**\n * Adapter: `PhysicalLaw` (legacy) → `LawCell`. Used by\n * `UniversalTensor.populatedCells()`.\n *\n * @internal\n */\nexport function lawToCell(law: PhysicalLaw): LawCell {\n  return {\n    kind: 'law',\n    id: law.id,\n    name: law.name,\n    equation: law.equation,\n    confidence: numberToCellConfidence(law.confidence),\n    scales: law.scales,\n    forces: law.forces,\n    symmetries: law.symmetries,\n    ...(law.informationMeasures ? { informationMeasures: law.informationMeasures } : {}),\n    ...(law.dimensions ? { dimensions: law.dimensions } : {}),\n    ...(law.topologies ? { topologies: law.topologies } : {}),\n    ...(law.references ? { references: law.references } : {}),\n  };\n}\n\n/**\n * Adapter: `BridgeEquation` (legacy) → `BridgeCell`. Used by\n * `UniversalTensor.populatedCells()`.\n *\n * @internal\n */\nexport function bridgeToCell(b: BridgeEquation): BridgeCell {\n  return {\n    kind: 'bridge',\n    id: b.id,\n    name: b.name,\n    equation: b.equation,\n    confidence: numberToCellConfidence(b.confidence),\n    source: b.source,\n    target: b.target,\n    validated: b.validated,\n    description: b.description,\n  };\n}\n\n/**\n * Adapter: `EmergentPhenomenon` (legacy) → `EmergenceCell`. The\n * legacy `description` field holds the mathematical content (LaTeX);\n * we surface it as `equation` and leave `description` undefined\n * unless the legacy entry had a \"math\\n\\nprose\" split (per the\n * forward `cellToEmergence` adapter convention).\n *\n * @internal\n */\nexport function emergenceToCell(p: EmergentPhenomenon): EmergenceCell {\n  // Split convention: if description contains \"\\n\\n\", treat the part\n  // before as equation and after as prose; otherwise the whole field\n  // is the equation.\n  const splitIdx = p.description.indexOf('\\n\\n');\n  const equation = splitIdx === -1 ? p.description : p.description.slice(0, splitIdx);\n  const description = splitIdx === -1 ? undefined : p.description.slice(splitIdx + 2);\n\n  return {\n    kind: 'emergence',\n    id: p.id,\n    name: p.name,\n    equation,\n    confidence: numberToCellConfidence(p.confidence),\n    order: p.order,\n    indices: p.indices,\n    ...(description ? { description } : {}),\n  };\n}\n"]}

package/dist/core/constants.d.ts

@@ -1,11 +1,9 @@
 /**
- * Canonical CODATA 2018 + SI-defined physical constants for UPT (v0.5.1).
+ * Canonical CODATA 2018 + SI-defined physical constants for UPT.
  *
- * Single source of truth for fundamental physical constants used across the
- * numerical, dimensional, and bridge layers. Replaces the truncated local
- * literals (`c_SI = 2.998e8`, etc.) that drifted across `src/numerical/`,
- * `src/bridges/`, and `tests/fixtures/` — see audit `PC-1` in
- * `docs/architecture/archive/v0.5.1-audit.md`.
+ * The one owner of every fundamental physical constant used across the
+ * numerical, dimensional, and bridge layers; `tests/core/constants-owner.test.ts`
+ * fails on a second copy of any of these decimals elsewhere under `src/`.
  *
  * Values use:
  *   • Exact-SI definitions (`C_SI`, `H_SI`, `K_B_SI`, `E_SI`) where the
@@ -27,6 +25,8 @@
  */
 /** Speed of light in vacuum (m/s). Exact SI definition since 1983. */
 export declare const C_SI = 299792458;
+/** Rydberg constant R∞ (infinite nuclear mass), CODATA 2018: 10 973 731.568 160(21) m⁻¹. */
+export declare const R_INF_SI = 10973731.56816;
 /** Newtonian gravitational constant (m³ kg⁻¹ s⁻²). CODATA 2018. */
 export declare const G_SI = 6.6743e-11;
 /** Planck constant (J·s). Exact SI definition since 2019. */
@@ -83,6 +83,8 @@ export declare const VON_KLITZING_SI: number;
 export declare const JOSEPHSON_CONSTANT_SI: number;
 /** Lorenz number L = (π²/3) (k_B/e)² (W Ω K⁻²). */
 export declare const LORENZ_NUMBER_SI: number;
+/** Euler–Mascheroni constant γ. The BCS gap is π k_B T_c / e^γ; the formula name is `euler_gamma`. */
+export declare const EULER_GAMMA = 0.5772156649015329;
 /** Weak-coupling BCS gap ratio 2Δ(0)/(k_B T_c) = 2π e^{−γ}. */
 export declare const BCS_GAP_RATIO: number;
 /** Lane-Emden n=3 dimensionless radius used by the white-dwarf mass. */
@@ -107,8 +109,6 @@ export declare const GM_SUN_SI = 132712440000000000000;
  * @internal
  */
 export declare const M_SUN_IAU_SI: number;
-/** Where {@link GM_SUN_SI} comes from. @internal */
-export declare const GM_SUN_SOURCE = "IAU 2015 Resolution B3, nominal solar mass parameter (GM)\u2609 = 1.3271244e20 m\u00B3 s\u207B\u00B2";
 /**
  * Electron mass (kg), CODATA 2018. Added for the v0.11 namespacing
  * gate's criterion-3 pin (λ_T of an electron at the Hawking

package/dist/core/constants.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../../src/core/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAIH,sEAAsE;AACtE,eAAO,MAAM,IAAI,YAAY,CAAC;AAE9B,mEAAmE;AACnE,eAAO,MAAM,IAAI,aAAc,CAAC;AAEhC,6DAA6D;AAC7D,eAAO,MAAM,IAAI,iBAAiB,CAAC;AAEnC;;;;;GAKG;AACH,eAAO,MAAM,OAAO,QAAuB,CAAC;AAE5C,8HAA8H;AAC9H,eAAO,MAAM,mBAAmB,kBAAkB,CAAC;AAEnD,gEAAgE;AAChE,eAAO,MAAM,MAAM,eAAe,CAAC;AAEnC,6DAA6D;AAC7D,eAAO,MAAM,IAAI,kBAAkB,CAAC;AAEpC,8DAA8D;AAC9D,eAAO,MAAM,KAAK,kBAAkB,CAAC;AAErC,2DAA2D;AAC3D,eAAO,MAAM,OAAO,mBAAmB,CAAC;AAExC,mFAAmF;AACnF,eAAO,MAAM,MAAM,QAA8B,CAAC;AAElD,sEAAsE;AACtE,eAAO,MAAM,WAAW,iBAAiB,CAAC;AAE1C,6CAA6C;AAC7C,eAAO,MAAM,MAAM,cAAc,CAAC;AAElC,+CAA+C;AAC/C,eAAO,MAAM,MAAM,eAAe,CAAC;AAEnC,6CAA6C;AAC7C,eAAO,MAAM,MAAM,eAAe,CAAC;AAWnC;;;;;;;;GAQG;AACH,eAAO,MAAM,KAAK,QAA0C,CAAC;AAE7D;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,YAAW,CAAC;AAEjC,mEAAmE;AACnE,eAAO,MAAM,QAAQ,YAAW,CAAC;AAEjC,8CAA8C;AAC9C,eAAO,MAAM,eAAe,QAAuB,CAAC;AAEpD,4CAA4C;AAC5C,eAAO,MAAM,qBAAqB,QAAoB,CAAC;AAEvD,mDAAmD;AACnD,eAAO,MAAM,gBAAgB,QAA4C,CAAC;AAK1E,+DAA+D;AAC/D,eAAO,MAAM,aAAa,QAAwC,CAAC;AAEnE,wEAAwE;AACxE,eAAO,MAAM,iBAAiB,UAAU,CAAC;AAEzC,kCAAkC;AAClC,eAAO,MAAM,wBAAwB,mBAAmB,CAAC;AAEzD;;;;;;;;;GASG;AACH,eAAO,MAAM,SAAS,wBAAe,CAAC;AAEtC;;;;;GAKG;AACH,eAAO,MAAM,YAAY,QAAmB,CAAC;AAE7C,oDAAoD;AACpD,eAAO,MAAM,aAAa,yGAAqF,CAAC;AAEhH;;;;;GAKG;AACH,eAAO,MAAM,MAAM,mBAAmB,CAAC;AAEvC;;;;GAIG;AACH,eAAO,MAAM,WAAW,oBAAoB,CAAC;AAE7C;;;GAGG;AACH,eAAO,MAAM,MAAM,iBAAgB,CAAC;AAEpC;;;GAGG;AACH,eAAO,MAAM,UAAU,QAAgB,CAAC;AAExC;;;;GAIG;AACH,eAAO,MAAM,SAAS,iBAAiB,CAAC;AAExC;;;;;GAKG;AACH,eAAO,MAAM,MAAM,mBAAoB,CAAC"}
+{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../../src/core/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAIH,sEAAsE;AACtE,eAAO,MAAM,IAAI,YAAY,CAAC;AAC9B,4FAA4F;AAC5F,eAAO,MAAM,QAAQ,iBAAiB,CAAC;AAEvC,mEAAmE;AACnE,eAAO,MAAM,IAAI,aAAc,CAAC;AAEhC,6DAA6D;AAC7D,eAAO,MAAM,IAAI,iBAAiB,CAAC;AAEnC;;;;;GAKG;AACH,eAAO,MAAM,OAAO,QAAuB,CAAC;AAE5C,8HAA8H;AAC9H,eAAO,MAAM,mBAAmB,kBAAkB,CAAC;AAEnD,gEAAgE;AAChE,eAAO,MAAM,MAAM,eAAe,CAAC;AAEnC,6DAA6D;AAC7D,eAAO,MAAM,IAAI,kBAAkB,CAAC;AAEpC,8DAA8D;AAC9D,eAAO,MAAM,KAAK,kBAAkB,CAAC;AAErC,2DAA2D;AAC3D,eAAO,MAAM,OAAO,mBAAmB,CAAC;AAExC,mFAAmF;AACnF,eAAO,MAAM,MAAM,QAA8B,CAAC;AAElD,sEAAsE;AACtE,eAAO,MAAM,WAAW,iBAAiB,CAAC;AAE1C,6CAA6C;AAC7C,eAAO,MAAM,MAAM,cAAc,CAAC;AAElC,+CAA+C;AAC/C,eAAO,MAAM,MAAM,eAAe,CAAC;AAEnC,6CAA6C;AAC7C,eAAO,MAAM,MAAM,eAAe,CAAC;AAWnC;;;;;;;;GAQG;AACH,eAAO,MAAM,KAAK,QAA0C,CAAC;AAE7D;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,YAAW,CAAC;AAEjC,mEAAmE;AACnE,eAAO,MAAM,QAAQ,YAAW,CAAC;AAEjC,8CAA8C;AAC9C,eAAO,MAAM,eAAe,QAAuB,CAAC;AAEpD,4CAA4C;AAC5C,eAAO,MAAM,qBAAqB,QAAoB,CAAC;AAEvD,mDAAmD;AACnD,eAAO,MAAM,gBAAgB,QAA4C,CAAC;AAE1E,sGAAsG;AACtG,eAAO,MAAM,WAAW,qBAAqB,CAAC;AAE9C,+DAA+D;AAC/D,eAAO,MAAM,aAAa,QAAwC,CAAC;AAEnE,wEAAwE;AACxE,eAAO,MAAM,iBAAiB,UAAU,CAAC;AAEzC,kCAAkC;AAClC,eAAO,MAAM,wBAAwB,mBAAmB,CAAC;AAEzD;;;;;;;;;GASG;AACH,eAAO,MAAM,SAAS,wBAAe,CAAC;AAEtC;;;;;GAKG;AACH,eAAO,MAAM,YAAY,QAAmB,CAAC;AAE7C;;;;;GAKG;AACH,eAAO,MAAM,MAAM,mBAAmB,CAAC;AAEvC;;;;GAIG;AACH,eAAO,MAAM,WAAW,oBAAoB,CAAC;AAE7C;;;GAGG;AACH,eAAO,MAAM,MAAM,iBAAgB,CAAC;AAEpC;;;GAGG;AACH,eAAO,MAAM,UAAU,QAAgB,CAAC;AAExC;;;;GAIG;AACH,eAAO,MAAM,SAAS,iBAAiB,CAAC;AAExC;;;;;GAKG;AACH,eAAO,MAAM,MAAM,mBAAoB,CAAC"}

package/dist/core/constants.js

@@ -1,11 +1,9 @@
 /**
- * Canonical CODATA 2018 + SI-defined physical constants for UPT (v0.5.1).
+ * Canonical CODATA 2018 + SI-defined physical constants for UPT.
  *
- * Single source of truth for fundamental physical constants used across the
- * numerical, dimensional, and bridge layers. Replaces the truncated local
- * literals (`c_SI = 2.998e8`, etc.) that drifted across `src/numerical/`,
- * `src/bridges/`, and `tests/fixtures/` — see audit `PC-1` in
- * `docs/architecture/archive/v0.5.1-audit.md`.
+ * The one owner of every fundamental physical constant used across the
+ * numerical, dimensional, and bridge layers; `tests/core/constants-owner.test.ts`
+ * fails on a second copy of any of these decimals elsewhere under `src/`.
  *
  * Values use:
  *   • Exact-SI definitions (`C_SI`, `H_SI`, `K_B_SI`, `E_SI`) where the
@@ -28,6 +26,8 @@
 import { checkedDataFile } from './data-file.js';
 /** Speed of light in vacuum (m/s). Exact SI definition since 1983. */
 export const C_SI = 299792458;
+/** Rydberg constant R∞ (infinite nuclear mass), CODATA 2018: 10 973 731.568 160(21) m⁻¹. */
+export const R_INF_SI = 10973731.56816;
 /** Newtonian gravitational constant (m³ kg⁻¹ s⁻²). CODATA 2018. */
 export const G_SI = 6.67430e-11;
 /** Planck constant (J·s). Exact SI definition since 2019. */
@@ -93,8 +93,8 @@ export const VON_KLITZING_SI = H_SI / (E_SI * E_SI);
 export const JOSEPHSON_CONSTANT_SI = (2 * E_SI) / H_SI;
 /** Lorenz number L = (π²/3) (k_B/e)² (W Ω K⁻²). */
 export const LORENZ_NUMBER_SI = (Math.PI ** 2 / 3) * (K_B_SI / E_SI) ** 2;
-/** Euler-Mascheroni constant γ. */
-const EULER_GAMMA = 0.5772156649015329;
+/** Euler–Mascheroni constant γ. The BCS gap is π k_B T_c / e^γ; the formula name is `euler_gamma`. */
+export const EULER_GAMMA = 0.5772156649015329;
 /** Weak-coupling BCS gap ratio 2Δ(0)/(k_B T_c) = 2π e^{−γ}. */
 export const BCS_GAP_RATIO = (2 * Math.PI) / Math.exp(EULER_GAMMA);
 /** Lane-Emden n=3 dimensionless radius used by the white-dwarf mass. */
@@ -119,8 +119,6 @@ export const GM_SUN_SI = 1.3271244e20;
  * @internal
  */
 export const M_SUN_IAU_SI = GM_SUN_SI / G_SI;
-/** Where {@link GM_SUN_SI} comes from. @internal */
-export const GM_SUN_SOURCE = 'IAU 2015 Resolution B3, nominal solar mass parameter (GM)☉ = 1.3271244e20 m³ s⁻²';
 /**
  * Electron mass (kg), CODATA 2018. Added for the v0.11 namespacing
  * gate's criterion-3 pin (λ_T of an electron at the Hawking

package/dist/core/constants.js.map

@@ -1 +1 @@
-{"version":3,"file":"constants.js","sourceRoot":"","sources":["../../src/core/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEjD,sEAAsE;AACtE,MAAM,CAAC,MAAM,IAAI,GAAG,SAAS,CAAC;AAE9B,mEAAmE;AACnE,MAAM,CAAC,MAAM,IAAI,GAAG,WAAW,CAAC;AAEhC,6DAA6D;AAC7D,MAAM,CAAC,MAAM,IAAI,GAAG,cAAc,CAAC;AAEnC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;AAE5C,8HAA8H;AAC9H,MAAM,CAAC,MAAM,mBAAmB,GAAG,eAAe,CAAC;AAEnD,gEAAgE;AAChE,MAAM,CAAC,MAAM,MAAM,GAAG,YAAY,CAAC;AAEnC,6DAA6D;AAC7D,MAAM,CAAC,MAAM,IAAI,GAAG,eAAe,CAAC;AAEpC,8DAA8D;AAC9D,MAAM,CAAC,MAAM,KAAK,GAAG,eAAe,CAAC;AAErC,2DAA2D;AAC3D,MAAM,CAAC,MAAM,OAAO,GAAG,gBAAgB,CAAC;AAExC,mFAAmF;AACnF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,OAAO,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;AAElD,sEAAsE;AACtE,MAAM,CAAC,MAAM,WAAW,GAAG,cAAc,CAAC;AAE1C,6CAA6C;AAC7C,MAAM,CAAC,MAAM,MAAM,GAAG,WAAW,CAAC;AAElC,+CAA+C;AAC/C,MAAM,CAAC,MAAM,MAAM,GAAG,YAAY,CAAC;AAEnC,6CAA6C;AAC7C,MAAM,CAAC,MAAM,MAAM,GAAG,YAAY,CAAC;AAEnC,iHAAiH;AACjH,SAAS,gBAAgB,CAAC,MAAc;IACtC,MAAM,IAAI,GAAG,eAAe,CAAC,YAAY,CAAmG,CAAC;IAC7I,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC;IAC5E,MAAM,KAAK,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,MAAM,yCAAyC,KAAK,IAAI,QAAQ,GAAG,CAAC,CAAC;IAC3I,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,GAAG,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;AAE7D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,QAAQ,CAAC;AAEjC,mEAAmE;AACnE,MAAM,CAAC,MAAM,QAAQ,GAAG,QAAQ,CAAC;AAEjC,8CAA8C;AAC9C,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC;AAEpD,4CAA4C;AAC5C,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;AAEvD,mDAAmD;AACnD,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;AAE1E,mCAAmC;AACnC,MAAM,WAAW,GAAG,kBAAkB,CAAC;AAEvC,+DAA+D;AAC/D,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;AAEnE,wEAAwE;AACxE,MAAM,CAAC,MAAM,iBAAiB,GAAG,OAAO,CAAC;AAEzC,kCAAkC;AAClC,MAAM,CAAC,MAAM,wBAAwB,GAAG,gBAAgB,CAAC;AAEzD;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,YAAY,CAAC;AAEtC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,SAAS,GAAG,IAAI,CAAC;AAE7C,oDAAoD;AACpD,MAAM,CAAC,MAAM,aAAa,GAAG,kFAAkF,CAAC;AAEhH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,gBAAgB,CAAC;AAEvC;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,iBAAiB,CAAC;AAE7C;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,aAAa,CAAC;AAEpC;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,GAAG,IAAI,CAAC;AAExC;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,cAAc,CAAC;AAExC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,iBAAiB,CAAC"}
+{"version":3,"file":"constants.js","sourceRoot":"","sources":["../../src/core/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEjD,sEAAsE;AACtE,MAAM,CAAC,MAAM,IAAI,GAAG,SAAS,CAAC;AAC9B,4FAA4F;AAC5F,MAAM,CAAC,MAAM,QAAQ,GAAG,cAAc,CAAC;AAEvC,mEAAmE;AACnE,MAAM,CAAC,MAAM,IAAI,GAAG,WAAW,CAAC;AAEhC,6DAA6D;AAC7D,MAAM,CAAC,MAAM,IAAI,GAAG,cAAc,CAAC;AAEnC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;AAE5C,8HAA8H;AAC9H,MAAM,CAAC,MAAM,mBAAmB,GAAG,eAAe,CAAC;AAEnD,gEAAgE;AAChE,MAAM,CAAC,MAAM,MAAM,GAAG,YAAY,CAAC;AAEnC,6DAA6D;AAC7D,MAAM,CAAC,MAAM,IAAI,GAAG,eAAe,CAAC;AAEpC,8DAA8D;AAC9D,MAAM,CAAC,MAAM,KAAK,GAAG,eAAe,CAAC;AAErC,2DAA2D;AAC3D,MAAM,CAAC,MAAM,OAAO,GAAG,gBAAgB,CAAC;AAExC,mFAAmF;AACnF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,OAAO,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;AAElD,sEAAsE;AACtE,MAAM,CAAC,MAAM,WAAW,GAAG,cAAc,CAAC;AAE1C,6CAA6C;AAC7C,MAAM,CAAC,MAAM,MAAM,GAAG,WAAW,CAAC;AAElC,+CAA+C;AAC/C,MAAM,CAAC,MAAM,MAAM,GAAG,YAAY,CAAC;AAEnC,6CAA6C;AAC7C,MAAM,CAAC,MAAM,MAAM,GAAG,YAAY,CAAC;AAEnC,iHAAiH;AACjH,SAAS,gBAAgB,CAAC,MAAc;IACtC,MAAM,IAAI,GAAG,eAAe,CAAC,YAAY,CAAmG,CAAC;IAC7I,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC;IAC5E,MAAM,KAAK,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,MAAM,yCAAyC,KAAK,IAAI,QAAQ,GAAG,CAAC,CAAC;IAC3I,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,GAAG,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;AAE7D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,QAAQ,CAAC;AAEjC,mEAAmE;AACnE,MAAM,CAAC,MAAM,QAAQ,GAAG,QAAQ,CAAC;AAEjC,8CAA8C;AAC9C,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC;AAEpD,4CAA4C;AAC5C,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;AAEvD,mDAAmD;AACnD,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;AAE1E,sGAAsG;AACtG,MAAM,CAAC,MAAM,WAAW,GAAG,kBAAkB,CAAC;AAE9C,+DAA+D;AAC/D,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;AAEnE,wEAAwE;AACxE,MAAM,CAAC,MAAM,iBAAiB,GAAG,OAAO,CAAC;AAEzC,kCAAkC;AAClC,MAAM,CAAC,MAAM,wBAAwB,GAAG,gBAAgB,CAAC;AAEzD;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,YAAY,CAAC;AAEtC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,SAAS,GAAG,IAAI,CAAC;AAE7C;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,gBAAgB,CAAC;AAEvC;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,iBAAiB,CAAC;AAE7C;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,aAAa,CAAC;AAEpC;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,GAAG,IAAI,CAAC;AAExC;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,cAAc,CAAC;AAExC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,iBAAiB,CAAC","sourcesContent":["/**\n * Canonical CODATA 2018 + SI-defined physical constants for UPT.\n *\n * The one owner of every fundamental physical constant used across the\n * numerical, dimensional, and bridge layers; `tests/core/constants-owner.test.ts`\n * fails on a second copy of any of these decimals elsewhere under `src/`.\n *\n * Values use:\n *   • Exact-SI definitions (`C_SI`, `H_SI`, `K_B_SI`, `E_SI`) where the\n *     2019 SI redefinition fixed their values exactly.\n *   • `HBAR_SI` is the exact quotient `H_SI / (2π)`, not the truncated CODATA display.\n *   • CODATA 2018 best estimates for measured constants (`G_SI`, `ALPHA`, Planck units).\n *   • Planck 2018 best estimate for `H0_SI`, in SI through the unit table's parsec.\n *\n * This file is the one owner of every value. `PhysicalConstants` in\n * `src/core/types.ts` and the constant registry in\n * `src/dimensional/symbolic-constants.ts` are projections of it, and a test\n * refuses a CODATA literal anywhere else under `src/`. A unit is the unit\n * table's: `H0_SI` reads the parsec from `data/units.json` rather than\n * restating it, so the Hubble rate here and `67.4 km/s/Mpc` read through the\n * unit table are one number.\n *\n * @module core/constants\n * @public\n */\n\nimport { checkedDataFile } from './data-file.js';\n\n/** Speed of light in vacuum (m/s). Exact SI definition since 1983. */\nexport const C_SI = 299792458;\n/** Rydberg constant R∞ (infinite nuclear mass), CODATA 2018: 10 973 731.568 160(21) m⁻¹. */\nexport const R_INF_SI = 10973731.56816;\n\n/** Newtonian gravitational constant (m³ kg⁻¹ s⁻²). CODATA 2018. */\nexport const G_SI = 6.67430e-11;\n\n/** Planck constant (J·s). Exact SI definition since 2019. */\nexport const H_SI = 6.62607015e-34;\n\n/**\n * Reduced Planck constant h/(2π) (J·s). Exact, from the 2019 SI definition of\n * h. The CODATA display `1.054571817e-34` is that quotient truncated; it is\n * smaller by a relative `6.127e-10`. Planck units below stay the published\n * CODATA 2018 values, which were computed from the truncated display.\n */\nexport const HBAR_SI = H_SI / (2 * Math.PI);\n\n/** The CODATA 2018 display value of ħ: {@link HBAR_SI} truncated. Kept so the difference is computed, not typed. @internal */\nexport const HBAR_CODATA_DISPLAY = 1.054571817e-34;\n\n/** Boltzmann constant (J/K). Exact SI definition since 2019. */\nexport const K_B_SI = 1.380649e-23;\n\n/** Elementary charge (C). Exact SI definition since 2019. */\nexport const E_SI = 1.602176634e-19;\n\n/** Fine-structure constant α (dimensionless). CODATA 2018. */\nexport const ALPHA = 7.2973525693e-3;\n\n/** Vacuum permittivity ε₀ (F/m). CODATA 2018. @internal */\nexport const EPS0_SI = 8.8541878128e-12;\n\n/** Vacuum permeability μ₀ = 1/(ε₀ c²) (H/m), from ε₀ and the exact c. @internal */\nexport const MU0_SI = 1 / (EPS0_SI * C_SI * C_SI);\n\n/** Stefan–Boltzmann constant σ (W m⁻² K⁻⁴). CODATA 2018. @internal */\nexport const SIGMA_SB_SI = 5.670374419e-8;\n\n/** Planck mass √(ℏc/G) (kg). CODATA 2018. */\nexport const M_P_SI = 2.176434e-8;\n\n/** Planck length √(ℏG/c³) (m). CODATA 2018. */\nexport const L_P_SI = 1.616255e-35;\n\n/** Planck time √(ℏG/c⁵) (s). CODATA 2018. */\nexport const T_P_SI = 5.391247e-44;\n\n/** The `scale` of the `symbol` row in `data/units.json`, which must be a plain decimal (metres for a length). */\nfunction unitTableDecimal(symbol: string): number {\n  const file = checkedDataFile('units.json') as { readonly units: readonly { readonly symbols: readonly string[]; readonly scale: string }[] };\n  const scale = file.units.find((row) => row.symbols.includes(symbol))?.scale;\n  const value = scale === undefined ? Number.NaN : Number(scale);\n  if (!Number.isFinite(value)) throw new Error(`data/units.json: the '${symbol}' row must state a decimal scale (got ${scale ?? 'no row'})`);\n  return value;\n}\n\n/**\n * Hubble parameter H₀ (s⁻¹).\n *\n * Planck 2018 TT,TE,EE+lowE+lensing best estimate: 67.4 km/s/Mpc, converted\n * with the parsec of the unit table (`data/units.json`, 648000/π au), so it is\n * the value `convertValue('67.4km/s/Mpc', 'Hz')` reads: one Hubble rate,\n * 2.1842852410855023e-18 s⁻¹. The unit table is the one place the parsec is\n * written; this module reads it rather than restating it.\n */\nexport const H0_SI = 67.4e3 / (1e6 * unitTableDecimal('pc'));\n\n/**\n * Solar mass (kg). IAU 2015 nominal value rounded to the\n * repo-conventional literal (used by the BE-42 docstring, the\n * bridge-gradient tests, and the v0.8.0 calibration edges).\n * @public\n */\nexport const M_SUN_SI = 1.989e30;\n\n/** Solar mass in kilograms. The same value as {@link M_SUN_SI}. */\nexport const M_SUN_KG = M_SUN_SI;\n\n/** von Klitzing constant R_K = h/e² (ohm). */\nexport const VON_KLITZING_SI = H_SI / (E_SI * E_SI);\n\n/** Josephson constant K_J = 2e/h (Hz/V). */\nexport const JOSEPHSON_CONSTANT_SI = (2 * E_SI) / H_SI;\n\n/** Lorenz number L = (π²/3) (k_B/e)² (W Ω K⁻²). */\nexport const LORENZ_NUMBER_SI = (Math.PI ** 2 / 3) * (K_B_SI / E_SI) ** 2;\n\n/** Euler–Mascheroni constant γ. The BCS gap is π k_B T_c / e^γ; the formula name is `euler_gamma`. */\nexport const EULER_GAMMA = 0.5772156649015329;\n\n/** Weak-coupling BCS gap ratio 2Δ(0)/(k_B T_c) = 2π e^{−γ}. */\nexport const BCS_GAP_RATIO = (2 * Math.PI) / Math.exp(EULER_GAMMA);\n\n/** Lane-Emden n=3 dimensionless radius used by the white-dwarf mass. */\nexport const LANE_EMDEN_OMEGA3 = 2.01824;\n\n/** Thomson cross section (m²). */\nexport const THOMSON_CROSS_SECTION_SI = 6.6524587321e-29;\n\n/**\n * Nominal solar gravitational parameter (GM)☉ (m³ s⁻²), IAU 2015 Resolution B3.\n *\n * The product GM☉ is known to about 10 significant digits, while G alone is\n * known to about 5, so a confrontation that needs GM☉ takes this value rather\n * than `G_SI × M_SUN_SI`: that product is 3.0e-4 too high, five times the VLBI\n * 1σ on the solar-limb deflection. A mass that some evaluator requires in kg\n * is `GM_SUN_SI / G_SI`, which reproduces G·M = GM☉ exactly.\n * @public\n */\nexport const GM_SUN_SI = 1.3271244e20;\n\n/**\n * The solar mass (kg) that reproduces {@link GM_SUN_SI} with {@link G_SI}:\n * the double `GM_SUN_SI / G_SI`. The unit `Msun_iau` and the registry name\n * `Msun_iau` both read this one value.\n * @internal\n */\nexport const M_SUN_IAU_SI = GM_SUN_SI / G_SI;\n\n/**\n * Electron mass (kg), CODATA 2018. Added for the v0.11 namespacing\n * gate's criterion-3 pin (λ_T of an electron at the Hawking\n * temperature — see the Adam vet A-5).\n * @public\n */\nexport const M_E_SI = 9.1093837015e-31;\n\n/**\n * Proton mass (kg). CODATA 2018. Shared by the Eddington evaluator and\n * `upt eval` (`m_p`, `m_proton`). Not the Planck mass `M_P_SI`.\n * @internal\n */\nexport const M_PROTON_SI = 1.67262192369e-27;\n\n/**\n * Avogadro constant (mol⁻¹). Exact in the 2019 SI.\n * @internal\n */\nexport const N_A_SI = 6.02214076e23;\n\n/**\n * Faraday constant (C·mol⁻¹), `N_A * e`.\n * @internal\n */\nexport const FARADAY_SI = N_A_SI * E_SI;\n\n/**\n * Wien displacement-law constant b = λ_max·T (m·K). CODATA 2018.\n *\n * @public\n */\nexport const B_WIEN_SI = 2.897771955e-3;\n\n/**\n * Unified atomic mass unit (kg). CODATA 2018 atomic mass constant.\n * One value for the Chandrasekhar evaluator and the symbolic constant `m_u`.\n * Kept off the package barrel: callers use `m_u` in the symbolic registry.\n * @internal\n */\nexport const M_U_SI = 1.66053906660e-27;\n"]}