universal-physics-tensor 0.7.3 → 0.15.0

package/dist/core/labeled-tensor.js

@@ -114,6 +114,56 @@ export class RankPreservationError extends UPTError {
         Object.setPrototypeOf(this, RankPreservationError.prototype);
     }
 }
+/**
+ * Thrown by the `LabeledTensor` constructor when an explicit `axisOrder` is
+ * not a valid permutation of the label keys (wrong length, a key that is not a
+ * label, or a duplicate). Distinct from `LabeledTensorConstructionError` (which
+ * means label-count ≠ tensor-rank) so a consumer never reads a rank-mismatch
+ * field on an order error.
+ *
+ * @public
+ */
+export class AxisOrderError extends UPTError {
+    axisOrder;
+    labelKeys;
+    constructor(axisOrder, labelKeys) {
+        super(`LabeledTensor: axisOrder [${axisOrder.join(', ')}] is not a permutation ` +
+            `of the label keys [${labelKeys.join(', ')}] (it must list every label ` +
+            `key exactly once, in engine-axis order).`);
+        this.name = 'AxisOrderError';
+        this.axisOrder = axisOrder;
+        this.labelKeys = labelKeys;
+        Object.setPrototypeOf(this, AxisOrderError.prototype);
+    }
+}
+/**
+ * Thrown by `mergeAxes` when the request is malformed: fewer than two keys, an
+ * unknown key, keys that are not a contiguous run of engine-axis positions, or a
+ * merged key/id that collides with a surviving axis.
+ *
+ * @public
+ */
+export class AxisMergeError extends UPTError {
+    constructor(message) {
+        super(`LabeledTensor.mergeAxes: ${message}`);
+        this.name = 'AxisMergeError';
+        Object.setPrototypeOf(this, AxisMergeError.prototype);
+    }
+}
+/**
+ * Thrown by `splitAxis` when the request is malformed: an unknown key, fewer
+ * than two parts, a non-positive/non-integer part size, a size product that
+ * does not match the original axis size, or a part key/id that collides.
+ *
+ * @public
+ */
+export class AxisSplitError extends UPTError {
+    constructor(message) {
+        super(`LabeledTensor.splitAxis: ${message}`);
+        this.name = 'AxisSplitError';
+        Object.setPrototypeOf(this, AxisSplitError.prototype);
+    }
+}
 // ---------------------------------------------------------------------------
 // canonicalLabelOrder — Risk 2 mitigation
 // ---------------------------------------------------------------------------
@@ -129,6 +179,24 @@ export class RankPreservationError extends UPTError {
 export function canonicalLabelOrder(labels) {
     return Object.keys(labels).sort();
 }
+/**
+ * True iff `order` lists exactly the members of `keys`, each once (same length,
+ * no duplicates, no foreign entries). Used to validate an explicit `axisOrder`.
+ *
+ * @internal
+ */
+function isPermutationOf(order, keys) {
+    if (order.length !== keys.length)
+        return false;
+    const seen = new Set();
+    const keySet = new Set(keys);
+    for (const k of order) {
+        if (!keySet.has(k) || seen.has(k))
+            return false;
+        seen.add(k);
+    }
+    return true;
+}
 // ---------------------------------------------------------------------------
 // LabeledTensor (wrapper class)
 // ---------------------------------------------------------------------------
@@ -146,14 +214,42 @@ export class LabeledTensor {
     tensor;
     engine;
     labels;
-    constructor(tensor, engine, labels) {
-        const labelCount = Object.keys(labels).length;
-        if (labelCount !== tensor.shape.length) {
-            throw new LabeledTensorConstructionError(labelCount, tensor.shape.length);
+    /**
+     * The label keys in ENGINE-AXIS order: `axisOrder[i]` is the key of engine
+     * axis `i`. This is the AUTHORITATIVE label↔axis mapping — consumers must use
+     * it (or {@link axisOf}) rather than re-deriving position by sorting keys,
+     * because `transpose` / `contract` can leave the engine axes in a non-sorted
+     * order. Defaults to `canonicalLabelOrder(labels)` (sorted) when not supplied.
+     */
+    axisOrder;
+    constructor(tensor, engine, labels, axisOrder) {
+        const labelKeys = Object.keys(labels);
+        if (labelKeys.length !== tensor.shape.length) {
+            throw new LabeledTensorConstructionError(labelKeys.length, tensor.shape.length);
+        }
+        const order = axisOrder ?? canonicalLabelOrder(labels);
+        // Validate `order` is a permutation of the label keys: same length, every
+        // entry is a label key, no duplicates.
+        if (order.length !== labelKeys.length || !isPermutationOf(order, labelKeys)) {
+            throw new AxisOrderError(order, labelKeys);
         }
         this.tensor = tensor;
         this.engine = engine;
         this.labels = labels;
+        this.axisOrder = order;
+    }
+    /**
+     * Engine-axis position of a label key (the inverse of {@link axisOrder}).
+     * Throws if the key is not a label.
+     *
+     * @public
+     */
+    axisOf(key) {
+        const axis = this.axisOrder.indexOf(key);
+        if (axis === -1) {
+            throw new UPTError(`LabeledTensor.axisOf: '${key}' is not a label key.`);
+        }
+        return axis;
     }
     /**
      * Identity-aware contraction (Decision #3): match labels by
@@ -174,8 +270,11 @@ export class LabeledTensor {
             throw new UPTError(`LabeledTensor.contract: engine mismatch (${this.engine.name} vs ` +
                 `${other.engine.name}). Both operands must share an engine.`);
         }
-        const leftOrder = canonicalLabelOrder(this.labels);
-        const rightOrder = canonicalLabelOrder(other.labels);
+        // Map labels → ENGINE axis positions via each operand's authoritative
+        // axisOrder (NOT sorted key order — an operand may carry a non-sorted order
+        // from a prior transpose/contract).
+        const leftOrder = this.axisOrder;
+        const rightOrder = other.axisOrder;
         // Build id → (operand, axis-position) sites.
         const sites = new Map();
         leftOrder.forEach((key, axis) => {
@@ -194,18 +293,33 @@ export class LabeledTensor {
         const contractions = [];
         const free = [];
         const resultLabels = {};
+        // The result's engine-axis order: the result key of each free axis, pushed
+        // in the SAME order the free axes enter `spec.free` (which is the order the
+        // engine emits result axes). Kept exactly parallel to `free` so it is always
+        // a valid permutation of `Object.keys(resultLabels)`.
+        const resultAxisOrder = [];
         for (const [id, occurrences] of sites) {
             if (occurrences.length === 1) {
                 // Free axis on exactly one operand. Carry through.
                 const o = occurrences[0];
                 free.push({ operand: o.operand, axis: o.axis });
-                // Preserve the original label key if no collision; otherwise
-                // suffix with operand index (rare — only when both operands
-                // use the same string key for *different* ids).
-                const key = resultLabels[o.key] ? `${o.key}_${o.operand}` : o.key;
+                // Preserve the original label key; on collision (both operands use the
+                // same string key for *different* ids) suffix until a FREE key is found
+                // (`x` → `x_0`/`x_1` → `x_0_0`…), so result keys stay UNIQUE and
+                // resultAxisOrder remains a valid permutation (Eve Y1: guarding only the
+                // unsuffixed key could overwrite an existing suffixed key).
+                let key = o.key;
+                if (resultLabels[key] !== undefined) {
+                    let n = 0;
+                    do {
+                        key = `${o.key}_${o.operand}${n === 0 ? '' : `_${n}`}`;
+                        n++;
+                    } while (resultLabels[key] !== undefined);
+                }
                 resultLabels[key] = o.operand === 0
                     ? this.labels[o.key]
                     : other.labels[o.key];
+                resultAxisOrder.push(key);
             }
             else if (occurrences.length === 2) {
                 const [a, b] = occurrences;
@@ -227,7 +341,7 @@ export class LabeledTensor {
         }
         const spec = { contractions, free };
         const resultTensor = this.engine.einsum(spec, this.tensor, other.tensor);
-        return new LabeledTensor(resultTensor, this.engine, resultLabels);
+        return new LabeledTensor(resultTensor, this.engine, resultLabels, resultAxisOrder);
     }
     /**
      * Reorder axes per the given permutation of label keys. The new
@@ -237,12 +351,14 @@ export class LabeledTensor {
      * @public
      */
     transpose(newKeyOrder) {
-        const currentOrder = canonicalLabelOrder(this.labels);
-        if (newKeyOrder.length !== currentOrder.length) {
+        // Permutation is computed against the CURRENT engine-axis order
+        // (`this.axisOrder`), NOT the sorted key order — `this.axisOrder` may
+        // already be non-sorted (e.g. a contract result, or a prior transpose).
+        if (newKeyOrder.length !== this.axisOrder.length) {
             throw new UPTError(`LabeledTensor.transpose: new key order has ${newKeyOrder.length} ` +
-                `entries but tensor has ${currentOrder.length} axes.`);
+                `entries but tensor has ${this.axisOrder.length} axes.`);
         }
-        const currentIndex = new Map(currentOrder.map((k, i) => [k, i]));
+        const currentIndex = new Map(this.axisOrder.map((k, i) => [k, i]));
         const perm = [];
         for (const key of newKeyOrder) {
             const pos = currentIndex.get(key);
@@ -252,7 +368,9 @@ export class LabeledTensor {
             perm.push(pos);
         }
         const transposedTensor = this.engine.transpose(this.tensor, perm);
-        return new LabeledTensor(transposedTensor, this.engine, this.labels);
+        // The result's engine axis i is the old axis perm[i] = newKeyOrder[i], so
+        // the new axisOrder IS newKeyOrder.
+        return new LabeledTensor(transposedTensor, this.engine, this.labels, [...newKeyOrder]);
     }
     /**
      * Per-axis size change. Rank must be preserved (Decision #5);
@@ -269,7 +387,135 @@ export class LabeledTensor {
             throw new RankPreservationError(this.tensor.shape.length, shape.length);
         }
         const reshapedTensor = this.engine.reshape(this.tensor, shape);
-        return new LabeledTensor(reshapedTensor, this.engine, this.labels);
+        // Rank-preserving size change never reorders axes — carry axisOrder through.
+        return new LabeledTensor(reshapedTensor, this.engine, this.labels, this.axisOrder);
+    }
+    /**
+     * Fuse a CONTIGUOUS run of engine axes (named by `keys`) into ONE axis
+     * carrying the caller-supplied `merged` label. Rank R → R − (keys.length − 1).
+     *
+     * The keys must occupy a gapless consecutive run of engine-axis positions
+     * (`engine.reshape` fuses STORAGE-adjacent axes only) — `transpose` them
+     * adjacent first otherwise. The fused axis spans the merged axes in ENGINE
+     * order; the order `keys` are listed does not matter (the merged axis is
+     * opaque). The caller owns the merged axis's identity — no composite-id is
+     * synthesized.
+     *
+     * @public
+     */
+    mergeAxes(keys, merged) {
+        if (keys.length < 2) {
+            throw new AxisMergeError(`need at least 2 keys to merge, got ${keys.length}.`);
+        }
+        if (new Set(keys).size !== keys.length) {
+            throw new AxisMergeError(`keys ${JSON.stringify(keys)} contain a duplicate.`);
+        }
+        const positions = [];
+        for (const k of keys) {
+            const p = this.axisOrder.indexOf(k);
+            if (p === -1)
+                throw new AxisMergeError(`'${k}' is not a label key.`);
+            positions.push(p);
+        }
+        const sorted = [...positions].sort((a, b) => a - b);
+        const lo = sorted[0];
+        const hi = sorted[sorted.length - 1];
+        if (new Set(sorted).size !== sorted.length || hi - lo !== sorted.length - 1) {
+            throw new AxisMergeError(`keys ${JSON.stringify(keys)} are not a contiguous run of engine axes ` +
+                `(positions ${JSON.stringify(positions)}); transpose them adjacent first.`);
+        }
+        // Surviving keys = axes outside the merged run. (A merged key may safely
+        // REUSE one of the consumed keys' names — those are not surviving.)
+        const survivingKeys = this.axisOrder.filter((_, i) => i < lo || i > hi);
+        if (survivingKeys.includes(merged.key)) {
+            throw new AxisMergeError(`merged key '${merged.key}' collides with a surviving label key.`);
+        }
+        for (const k of survivingKeys) {
+            if (this.labels[k].id === merged.index.id) {
+                throw new AxisMergeError(`merged id '${merged.index.id}' collides with surviving axis '${k}'.`);
+            }
+        }
+        const shape = this.tensor.shape;
+        let mergedSize = 1;
+        for (let i = lo; i <= hi; i++)
+            mergedSize *= shape[i];
+        const newShape = [...shape.slice(0, lo), mergedSize, ...shape.slice(hi + 1)];
+        const newLabels = {};
+        for (const k of survivingKeys)
+            newLabels[k] = this.labels[k];
+        newLabels[merged.key] = merged.index;
+        const newAxisOrder = [
+            ...this.axisOrder.slice(0, lo),
+            merged.key,
+            ...this.axisOrder.slice(hi + 1),
+        ];
+        const reshaped = this.engine.reshape(this.tensor, newShape);
+        return new LabeledTensor(reshaped, this.engine, newLabels, newAxisOrder);
+    }
+    /**
+     * Split ONE engine axis (named `key`) into several, each carrying a
+     * caller-supplied sub-label whose sizes multiply to the original axis size.
+     * Rank R → R + (parts.length − 1). The parts occupy the split axis's position
+     * in `parts` order. Inverse of {@link mergeAxes}.
+     *
+     * @public
+     */
+    splitAxis(key, parts) {
+        const p = this.axisOrder.indexOf(key);
+        if (p === -1)
+            throw new AxisSplitError(`'${key}' is not a label key.`);
+        if (parts.length < 2) {
+            throw new AxisSplitError(`need at least 2 parts to split into, got ${parts.length}.`);
+        }
+        let product = 1;
+        for (const part of parts) {
+            if (!Number.isInteger(part.size) || part.size <= 0) {
+                throw new AxisSplitError(`part '${part.key}' size must be a positive integer, got ${part.size}.`);
+            }
+            product *= part.size;
+        }
+        const axisSize = this.tensor.shape[p];
+        if (product !== axisSize) {
+            throw new AxisSplitError(`part sizes multiply to ${product} but axis '${key}' has size ${axisSize}.`);
+        }
+        const survivingKeys = this.axisOrder.filter((k) => k !== key);
+        const seen = new Set();
+        const seenIds = new Set();
+        for (const part of parts) {
+            if (survivingKeys.includes(part.key)) {
+                throw new AxisSplitError(`part key '${part.key}' collides with a surviving label key.`);
+            }
+            if (seen.has(part.key))
+                throw new AxisSplitError(`duplicate part key '${part.key}'.`);
+            seen.add(part.key);
+            // Both parts SURVIVE, so two parts sharing one id would build a tensor
+            // that `contract` later rejects as IdentityConflictError — fail here at
+            // the malformed call instead (Eve Y1). (mergeAxes has no analogue: its
+            // merged id replaces consumed axes, so reusing a consumed id is legal.)
+            if (seenIds.has(part.index.id)) {
+                throw new AxisSplitError(`two parts share id '${part.index.id}'.`);
+            }
+            seenIds.add(part.index.id);
+            for (const k of survivingKeys) {
+                if (this.labels[k].id === part.index.id) {
+                    throw new AxisSplitError(`part id '${part.index.id}' collides with surviving axis '${k}'.`);
+                }
+            }
+        }
+        const shape = this.tensor.shape;
+        const newShape = [...shape.slice(0, p), ...parts.map((pt) => pt.size), ...shape.slice(p + 1)];
+        const newLabels = {};
+        for (const k of survivingKeys)
+            newLabels[k] = this.labels[k];
+        for (const part of parts)
+            newLabels[part.key] = part.index;
+        const newAxisOrder = [
+            ...this.axisOrder.slice(0, p),
+            ...parts.map((pt) => pt.key),
+            ...this.axisOrder.slice(p + 1),
+        ];
+        const reshaped = this.engine.reshape(this.tensor, newShape);
+        return new LabeledTensor(reshaped, this.engine, newLabels, newAxisOrder);
     }
 }
 //# sourceMappingURL=labeled-tensor.js.map

package/dist/core/labeled-tensor.js.map

@@ -1 +1 @@
-{"version":3,"file":"labeled-tensor.js","sourceRoot":"","sources":["../../src/core/labeled-tensor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAGpD,8EAA8E;AAC9E,qEAAqE;AACrE,8BAA8B;AAC9B,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,OAAO,8BAA+B,SAAQ,QAAQ;IAC1C,UAAU,CAAS;IACnB,UAAU,CAAS;IACnC,YAAY,UAAkB,EAAE,UAAkB;QAChD,KAAK,CACH,oCAAoC,UAAU,eAAe;YAC7D,kBAAkB,UAAU,yCAAyC;YACrE,2BAA2B,CAC5B,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,gCAAgC,CAAC;QAC7C,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,8BAA8B,CAAC,SAAS,CAAC,CAAC;IACxE,CAAC;CACF;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,iBAAkB,SAAQ,QAAQ;IAC7B,OAAO,CAAmB;IAC1B,QAAQ,CAAW;IACnB,SAAS,CAAW;IACpC,YACE,OAAyB,EACzB,QAAkB,EAClB,SAAmB;QAEnB,KAAK,CACH,qDAAqD,OAAO,IAAI;YAChE,sBAAsB,QAAQ,SAAS,SAAS,iBAAiB;YACjE,iCAAiC,CAClC,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;QAChC,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,iBAAiB,CAAC,SAAS,CAAC,CAAC;IAC3D,CAAC;CACF;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,qBAAsB,SAAQ,QAAQ;IACjC,OAAO,CAAmB;IAC1C,YAAY,OAAyB;QACnC,KAAK,CACH,6CAA6C,OAAO,iBAAiB;YACrE,kEAAkE;YAClE,gDAAgD,CACjD,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAC/D,CAAC;CACF;AAED;;;;;;;GAOG;AACH,MAAM,OAAO,qBAAsB,SAAQ,QAAQ;IACjC,QAAQ,CAAS;IACjB,MAAM,CAAS;IAC/B,YAAY,QAAgB,EAAE,MAAc;QAC1C,KAAK,CACH,kDAAkD,QAAQ,MAAM;YAChE,GAAG,MAAM,yDAAyD;YAClE,gDAAgD,CACjD,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAC/D,CAAC;CACF;AAED,8EAA8E;AAC9E,0CAA0C;AAC1C,8EAA8E;AAE9E;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAS;IAET,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;AACpC,CAAC;AAED,8EAA8E;AAC9E,gCAAgC;AAChC,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,OAAO,aAAa;IAGR,MAAM,CAAe;IACrB,MAAM,CAAe;IACrB,MAAM,CAAI;IAE1B,YAAY,MAAoB,EAAE,MAAoB,EAAE,MAAS;QAC/D,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;QAC9C,IAAI,UAAU,KAAK,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YACvC,MAAM,IAAI,8BAA8B,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC5E,CAAC;QACD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED;;;;;;;;;;;;;OAaG;IACI,QAAQ,CACb,KAAuB;QAEvB,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;YACjC,MAAM,IAAI,QAAQ,CAChB,4CAA4C,IAAI,CAAC,MAAM,CAAC,IAAI,MAAM;gBAClE,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,wCAAwC,CAC7D,CAAC;QACJ,CAAC;QAED,MAAM,SAAS,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnD,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAErD,6CAA6C;QAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,EAA8F,CAAC;QACpH,SAAS,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;YAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;YACrC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YACzD,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC;QACH,UAAU,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;YAC/B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;YACrC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YACzD,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,oEAAoE;QACpE,MAAM,YAAY,GAAyC,EAAE,CAAC;QAC9D,MAAM,IAAI,GAAiC,EAAE,CAAC;QAC9C,MAAM,YAAY,GAA6C,EAAE,CAAC;QAElE,KAAK,MAAM,CAAC,EAAE,EAAE,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC;YACtC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC7B,mDAAmD;gBACnD,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;gBACzB,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAChD,6DAA6D;gBAC7D,4DAA4D;gBAC5D,gDAAgD;gBAChD,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;gBAClE,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,KAAK,CAAC;oBACjC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC;oBACpB,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAC1B,CAAC;iBAAM,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACpC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC;gBAC3B,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;oBAC5B,8DAA8D;oBAC9D,gDAAgD;oBAChD,MAAM,IAAI,qBAAqB,CAAC,EAAE,CAAC,CAAC;gBACtC,CAAC;gBACD,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;oBAC9B,MAAM,IAAI,iBAAiB,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;gBAC1D,CAAC;gBACD,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;YAC1E,CAAC;iBAAM,CAAC;gBACN,+DAA+D;gBAC/D,wDAAwD;gBACxD,MAAM,IAAI,qBAAqB,CAAC,EAAE,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QAED,MAAM,IAAI,GAAe,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;QAChD,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACzE,OAAO,IAAI,aAAa,CAAC,YAAY,EAAE,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACpE,CAAC;IAED;;;;;;OAMG;IACI,SAAS,CAAC,WAA4C;QAC3D,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACtD,IAAI,WAAW,CAAC,MAAM,KAAK,YAAY,CAAC,MAAM,EAAE,CAAC;YAC/C,MAAM,IAAI,QAAQ,CAChB,8CAA8C,WAAW,CAAC,MAAM,GAAG;gBACnE,0BAA0B,YAAY,CAAC,MAAM,QAAQ,CACtD,CAAC;QACJ,CAAC;QACD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACjE,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAClC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,MAAM,IAAI,QAAQ,CAChB,iCAAiC,MAAM,CAAC,GAAG,CAAC,wBAAwB,CACrE,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjB,CAAC;QACD,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAClE,OAAO,IAAI,aAAa,CAAC,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IACvE,CAAC;IAED;;;;;;;;;OASG;IACI,OAAO,CAAC,KAA4B;QACzC,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YAC9C,MAAM,IAAI,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAC1E,CAAC;QACD,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC/D,OAAO,IAAI,aAAa,CAAC,cAAc,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IACrE,CAAC;CACF"}
+{"version":3,"file":"labeled-tensor.js","sourceRoot":"","sources":["../../src/core/labeled-tensor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAGpD,8EAA8E;AAC9E,qEAAqE;AACrE,8BAA8B;AAC9B,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,OAAO,8BAA+B,SAAQ,QAAQ;IAC1C,UAAU,CAAS;IACnB,UAAU,CAAS;IACnC,YAAY,UAAkB,EAAE,UAAkB;QAChD,KAAK,CACH,oCAAoC,UAAU,eAAe;YAC7D,kBAAkB,UAAU,yCAAyC;YACrE,2BAA2B,CAC5B,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,gCAAgC,CAAC;QAC7C,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,8BAA8B,CAAC,SAAS,CAAC,CAAC;IACxE,CAAC;CACF;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,iBAAkB,SAAQ,QAAQ;IAC7B,OAAO,CAAmB;IAC1B,QAAQ,CAAW;IACnB,SAAS,CAAW;IACpC,YACE,OAAyB,EACzB,QAAkB,EAClB,SAAmB;QAEnB,KAAK,CACH,qDAAqD,OAAO,IAAI;YAChE,sBAAsB,QAAQ,SAAS,SAAS,iBAAiB;YACjE,iCAAiC,CAClC,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;QAChC,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,iBAAiB,CAAC,SAAS,CAAC,CAAC;IAC3D,CAAC;CACF;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,qBAAsB,SAAQ,QAAQ;IACjC,OAAO,CAAmB;IAC1C,YAAY,OAAyB;QACnC,KAAK,CACH,6CAA6C,OAAO,iBAAiB;YACrE,kEAAkE;YAClE,gDAAgD,CACjD,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAC/D,CAAC;CACF;AAED;;;;;;;GAOG;AACH,MAAM,OAAO,qBAAsB,SAAQ,QAAQ;IACjC,QAAQ,CAAS;IACjB,MAAM,CAAS;IAC/B,YAAY,QAAgB,EAAE,MAAc;QAC1C,KAAK,CACH,kDAAkD,QAAQ,MAAM;YAChE,GAAG,MAAM,yDAAyD;YAClE,gDAAgD,CACjD,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAC/D,CAAC;CACF;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,cAAe,SAAQ,QAAQ;IAC1B,SAAS,CAAoB;IAC7B,SAAS,CAAoB;IAC7C,YAAY,SAA4B,EAAE,SAA4B;QACpE,KAAK,CACH,6BAA6B,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,yBAAyB;YAC1E,sBAAsB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,8BAA8B;YACxE,0CAA0C,CAC3C,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAC;QAC7B,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC;IACxD,CAAC;CACF;AAED;;;;;;GAMG;AACH,MAAM,OAAO,cAAe,SAAQ,QAAQ;IAC1C,YAAY,OAAe;QACzB,KAAK,CAAC,4BAA4B,OAAO,EAAE,CAAC,CAAC;QAC7C,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAC;QAC7B,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC;IACxD,CAAC;CACF;AAED;;;;;;GAMG;AACH,MAAM,OAAO,cAAe,SAAQ,QAAQ;IAC1C,YAAY,OAAe;QACzB,KAAK,CAAC,4BAA4B,OAAO,EAAE,CAAC,CAAC;QAC7C,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAC;QAC7B,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC;IACxD,CAAC;CACF;AAED,8EAA8E;AAC9E,0CAA0C;AAC1C,8EAA8E;AAE9E;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAS;IAET,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;AACpC,CAAC;AAED;;;;;GAKG;AACH,SAAS,eAAe,CAAC,KAAwB,EAAE,IAAuB;IACxE,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC/C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAChD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8EAA8E;AAC9E,gCAAgC;AAChC,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,OAAO,aAAa;IAGR,MAAM,CAAe;IACrB,MAAM,CAAe;IACrB,MAAM,CAAI;IAC1B;;;;;;OAMG;IACa,SAAS,CAAoB;IAE7C,YACE,MAAoB,EACpB,MAAoB,EACpB,MAAS,EACT,SAA6B;QAE7B,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI,SAAS,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YAC7C,MAAM,IAAI,8BAA8B,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAClF,CAAC;QACD,MAAM,KAAK,GAAG,SAAS,IAAI,mBAAmB,CAAC,MAAM,CAAC,CAAC;QACvD,0EAA0E;QAC1E,uCAAuC;QACvC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;YAC5E,MAAM,IAAI,cAAc,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC7C,CAAC;QACD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC;IACzB,CAAC;IAED;;;;;OAKG;IACI,MAAM,CAAC,GAAW;QACvB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACzC,IAAI,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC;YAChB,MAAM,IAAI,QAAQ,CAAC,0BAA0B,GAAG,uBAAuB,CAAC,CAAC;QAC3E,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;;;;;;;;;;OAaG;IACI,QAAQ,CACb,KAAuB;QAEvB,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;YACjC,MAAM,IAAI,QAAQ,CAChB,4CAA4C,IAAI,CAAC,MAAM,CAAC,IAAI,MAAM;gBAClE,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,wCAAwC,CAC7D,CAAC;QACJ,CAAC;QAED,sEAAsE;QACtE,4EAA4E;QAC5E,oCAAoC;QACpC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QACjC,MAAM,UAAU,GAAG,KAAK,CAAC,SAAS,CAAC;QAEnC,6CAA6C;QAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,EAA8F,CAAC;QACpH,SAAS,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;YAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;YACrC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YACzD,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC;QACH,UAAU,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;YAC/B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;YACrC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YACzD,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,oEAAoE;QACpE,MAAM,YAAY,GAAyC,EAAE,CAAC;QAC9D,MAAM,IAAI,GAAiC,EAAE,CAAC;QAC9C,MAAM,YAAY,GAA6C,EAAE,CAAC;QAClE,2EAA2E;QAC3E,4EAA4E;QAC5E,6EAA6E;QAC7E,sDAAsD;QACtD,MAAM,eAAe,GAAa,EAAE,CAAC;QAErC,KAAK,MAAM,CAAC,EAAE,EAAE,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC;YACtC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC7B,mDAAmD;gBACnD,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;gBACzB,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAChD,uEAAuE;gBACvE,wEAAwE;gBACxE,iEAAiE;gBACjE,yEAAyE;gBACzE,4DAA4D;gBAC5D,IAAI,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;gBAChB,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE,CAAC;oBACpC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACV,GAAG,CAAC;wBACF,GAAG,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;wBACvD,CAAC,EAAE,CAAC;oBACN,CAAC,QAAQ,YAAY,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE;gBAC5C,CAAC;gBACD,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,KAAK,CAAC;oBACjC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC;oBACpB,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBACxB,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC5B,CAAC;iBAAM,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACpC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC;gBAC3B,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;oBAC5B,8DAA8D;oBAC9D,gDAAgD;oBAChD,MAAM,IAAI,qBAAqB,CAAC,EAAE,CAAC,CAAC;gBACtC,CAAC;gBACD,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;oBAC9B,MAAM,IAAI,iBAAiB,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;gBAC1D,CAAC;gBACD,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;YAC1E,CAAC;iBAAM,CAAC;gBACN,+DAA+D;gBAC/D,wDAAwD;gBACxD,MAAM,IAAI,qBAAqB,CAAC,EAAE,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QAED,MAAM,IAAI,GAAe,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;QAChD,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACzE,OAAO,IAAI,aAAa,CAAC,YAAY,EAAE,IAAI,CAAC,MAAM,EAAE,YAAY,EAAE,eAAe,CAAC,CAAC;IACrF,CAAC;IAED;;;;;;OAMG;IACI,SAAS,CAAC,WAA4C;QAC3D,gEAAgE;QAChE,sEAAsE;QACtE,wEAAwE;QACxE,IAAI,WAAW,CAAC,MAAM,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;YACjD,MAAM,IAAI,QAAQ,CAChB,8CAA8C,WAAW,CAAC,MAAM,GAAG;gBACnE,0BAA0B,IAAI,CAAC,SAAS,CAAC,MAAM,QAAQ,CACxD,CAAC;QACJ,CAAC;QACD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnE,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAClC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,MAAM,IAAI,QAAQ,CAChB,iCAAiC,MAAM,CAAC,GAAG,CAAC,wBAAwB,CACrE,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjB,CAAC;QACD,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAClE,0EAA0E;QAC1E,oCAAoC;QACpC,OAAO,IAAI,aAAa,CAAC,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC;IACzF,CAAC;IAED;;;;;;;;;OASG;IACI,OAAO,CAAC,KAA4B;QACzC,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YAC9C,MAAM,IAAI,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAC1E,CAAC;QACD,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC/D,6EAA6E;QAC7E,OAAO,IAAI,aAAa,CAAC,cAAc,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IACrF,CAAC;IAED;;;;;;;;;;;;OAYG;IACI,SAAS,CACd,IAAuB,EACvB,MAAwD;QAExD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,cAAc,CAAC,sCAAsC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QACjF,CAAC;QACD,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YACvC,MAAM,IAAI,cAAc,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QAChF,CAAC;QACD,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACpC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAAE,MAAM,IAAI,cAAc,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;YACrE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACpD,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACrC,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM,IAAI,EAAE,GAAG,EAAE,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5E,MAAM,IAAI,cAAc,CACtB,QAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,2CAA2C;gBACvE,cAAc,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,mCAAmC,CAC3E,CAAC;QACJ,CAAC;QACD,yEAAyE;QACzE,oEAAoE;QACpE,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QACxE,IAAI,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,cAAc,CAAC,eAAe,MAAM,CAAC,GAAG,wCAAwC,CAAC,CAAC;QAC9F,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;gBAC1C,MAAM,IAAI,cAAc,CACtB,cAAc,MAAM,CAAC,KAAK,CAAC,EAAE,mCAAmC,CAAC,IAAI,CACtE,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QAChC,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE;YAAE,UAAU,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;QACtD,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAE7E,MAAM,SAAS,GAA6C,EAAE,CAAC;QAC/D,KAAK,MAAM,CAAC,IAAI,aAAa;YAAE,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC7D,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;QAErC,MAAM,YAAY,GAAG;YACnB,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YAC9B,MAAM,CAAC,GAAG;YACV,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;SAChC,CAAC;QAEF,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC5D,OAAO,IAAI,aAAa,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;IAC3E,CAAC;IAED;;;;;;;OAOG;IACI,SAAS,CACd,GAAW,EACX,KAAgF;QAEhF,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,CAAC,KAAK,CAAC,CAAC;YAAE,MAAM,IAAI,cAAc,CAAC,IAAI,GAAG,uBAAuB,CAAC,CAAC;QACvE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,cAAc,CAAC,4CAA4C,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACxF,CAAC;QACD,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC;gBACnD,MAAM,IAAI,cAAc,CAAC,SAAS,IAAI,CAAC,GAAG,0CAA0C,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;YACpG,CAAC;YACD,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC;QACvB,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YACzB,MAAM,IAAI,cAAc,CACtB,0BAA0B,OAAO,cAAc,GAAG,cAAc,QAAQ,GAAG,CAC5E,CAAC;QACJ,CAAC;QACD,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;QAC9D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC5C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACrC,MAAM,IAAI,cAAc,CAAC,aAAa,IAAI,CAAC,GAAG,wCAAwC,CAAC,CAAC;YAC1F,CAAC;YACD,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;gBAAE,MAAM,IAAI,cAAc,CAAC,uBAAuB,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;YACtF,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACnB,uEAAuE;YACvE,wEAAwE;YACxE,uEAAuE;YACvE,wEAAwE;YACxE,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC/B,MAAM,IAAI,cAAc,CAAC,uBAAuB,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;YACrE,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC3B,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;gBAC9B,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,IAAI,cAAc,CACtB,YAAY,IAAI,CAAC,KAAK,CAAC,EAAE,mCAAmC,CAAC,IAAI,CAClE,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QAChC,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAE9F,MAAM,SAAS,GAA6C,EAAE,CAAC;QAC/D,KAAK,MAAM,CAAC,IAAI,aAAa;YAAE,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC7D,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;QAE3D,MAAM,YAAY,GAAG;YACnB,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;YAC7B,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC;YAC5B,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC;SAC/B,CAAC;QAEF,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC5D,OAAO,IAAI,aAAa,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;IAC3E,CAAC;CACF"}

package/dist/core/universal-index.d.ts

@@ -15,7 +15,7 @@
  *
  * Design: `docs/planning/v0.7-Proposal-1-Design.md` Decisions #2,
  * #4, #10. Empirical census at
- * `docs/architecture/v0.7-p1-baseline.md`.
+ * `docs/architecture/archive/v0.7-p1-baseline.md`.
  *
  * Per Eve verification (proposals doc has ZERO `prime` / `arrow`
  * mentions), v0.7.0 ships only the §2.2 sketch fields:

package/dist/core/universal-index.js

@@ -15,7 +15,7 @@
  *
  * Design: `docs/planning/v0.7-Proposal-1-Design.md` Decisions #2,
  * #4, #10. Empirical census at
- * `docs/architecture/v0.7-p1-baseline.md`.
+ * `docs/architecture/archive/v0.7-p1-baseline.md`.
  *
  * Per Eve verification (proposals doc has ZERO `prime` / `arrow`
  * mentions), v0.7.0 ships only the §2.2 sketch fields:

package/dist/diff/bridge-gradient.d.ts

@@ -10,15 +10,25 @@
  *
  * Per P8 Decision #1, this lives in `src/diff/` (NOT in
  * `src/bridges/`), keeping bridge evaluators untouched. The AD
- * dependency `mathts-autograd` is in `optionalDependencies`; this
- * module throws `EngineCapabilityError` via the existing
- * `MathTSEngine.reverseGrad` call-site pattern (degrades gracefully
- * when the peer is absent).
+ * dependency `mathts-autograd` is in `optionalDependencies`. Note this
+ * gives `bridgeGradient` TWO failure modes, not graceful success: when
+ * the peer is ABSENT it throws `EngineCapabilityError`; when the peer is
+ * PRESENT it still throws (see the AD limitation below) — installing the
+ * peer does not make AD of the plain-JS bridges work.
  *
- * Per P8 Adam-H1 + Eve verification: the autograd peer may not be
- * installed in CI (npm install --include=optional required). Tests
- * use `hasAutogradSupport(engine)` to skip the real-AD assertions
- * when the peer isn't present.
+ * IMPORTANT — AD limitation (verified empirically): `bridgeGradient`
+ * does NOT actually differentiate the catalog evaluators. Because P8
+ * Decision #1 keeps those evaluators as plain-JS scalar functions
+ * (`Math.*` / raw arithmetic on numbers), neither reverse-mode (tape)
+ * nor forward-mode (dual) AD can trace them — the tape/dual instrument
+ * only sees ops routed through engine-traced tensors. With
+ * `Float64ReferenceEngine` the AD path throws; with `MathTSEngine` it
+ * also throws (the autograd `TapedTensor` does not survive
+ * `engine.toNested`). `bridgeGradient` therefore only works for
+ * functions written in engine ops — not the plain-JS bridges.
+ *
+ * The SUPPORTED way to differentiate a plain-JS bridge evaluator is
+ * {@link bridgeGradientNumerical} (central finite differences, no engine).
  *
  * @module diff/bridge-gradient
  */
@@ -91,4 +101,37 @@ export declare function bridgeGradient<Input>(spec: BridgeDiffSpec<Input>, engin
  * @public
  */
 export declare function gradientToNamed<Input>(spec: BridgeDiffSpec<Input>, gradient: EngineTensor, engine: TensorEngine): Record<string, number>;
+/**
+ * Result of {@link bridgeGradientNumerical}: the bridge's scalar `value`
+ * at the supplied point, plus the `gradient` of partial derivatives keyed
+ * by `paramName` (insertion follows `spec.paramNames` order).
+ *
+ * @public
+ */
+export interface BridgeNumericalGradientResult {
+    readonly value: number;
+    readonly gradient: Readonly<Record<string, number>>;
+}
+/**
+ * Gradient of a bridge evaluator by **central finite differences** — the
+ * supported way to differentiate the catalog's plain-JS evaluators.
+ *
+ * Reverse-/forward-mode AD ({@link bridgeGradient}) cannot trace these
+ * evaluators: per P8 Decision #1 they are plain-JS scalar functions
+ * (`Math.*` / raw arithmetic on numbers), so a tape/dual engine observes no
+ * traced ops. `bridgeGradientNumerical` perturbs the inputs instead, so it
+ * needs no engine and is synchronous.
+ *
+ * For each differentiable param with value `x` it uses a relative step
+ * `h = max(|x|, 1)·cbrt(eps)` and the ACTUAL representable denominator
+ * `dx = (x + h) − (x − h)` — so the perturbation survives floating-point
+ * rounding even at astrophysical scales (e.g. `M ≈ 2e30 kg`). The supplied
+ * `params` must contain every key in `spec.paramNames`; non-differentiable
+ * fields come from `spec.defaults`.
+ *
+ * @public
+ */
+export declare function bridgeGradientNumerical<Input>(spec: BridgeDiffSpec<Input>, params: Record<string, number>, opts?: {
+    readonly relStep?: number;
+}): BridgeNumericalGradientResult;
 //# sourceMappingURL=bridge-gradient.d.ts.map

package/dist/diff/bridge-gradient.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"bridge-gradient.d.ts","sourceRoot":"","sources":["../../src/diff/bridge-gradient.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAIhF;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,cAAc,CAAC,KAAK;IACnC,iEAAiE;IACjE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,iDAAiD;IACjD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC;IACzD;;;;;;;OAOG;IACH,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAClC,qCAAqC;IACrC,QAAQ,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC;CAC7C;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;CACjC;AAED;;;;;;;;;;GAUG;AACH,wBAAsB,cAAc,CAAC,KAAK,EACxC,IAAI,EAAE,cAAc,CAAC,KAAK,CAAC,EAC3B,MAAM,EAAE,YAAY,EACpB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAC7B,OAAO,CAAC,oBAAoB,CAAC,CAmC/B;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,KAAK,EACnC,IAAI,EAAE,cAAc,CAAC,KAAK,CAAC,EAC3B,QAAQ,EAAE,YAAY,EACtB,MAAM,EAAE,YAAY,GACnB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAOxB"}
+{"version":3,"file":"bridge-gradient.d.ts","sourceRoot":"","sources":["../../src/diff/bridge-gradient.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAIhF;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,cAAc,CAAC,KAAK;IACnC,iEAAiE;IACjE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,iDAAiD;IACjD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC;IACzD;;;;;;;OAOG;IACH,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAClC,qCAAqC;IACrC,QAAQ,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC;CAC7C;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;CACjC;AAED;;;;;;;;;;GAUG;AACH,wBAAsB,cAAc,CAAC,KAAK,EACxC,IAAI,EAAE,cAAc,CAAC,KAAK,CAAC,EAC3B,MAAM,EAAE,YAAY,EACpB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAC7B,OAAO,CAAC,oBAAoB,CAAC,CAmC/B;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,KAAK,EACnC,IAAI,EAAE,cAAc,CAAC,KAAK,CAAC,EAC3B,QAAQ,EAAE,YAAY,EACtB,MAAM,EAAE,YAAY,GACnB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAOxB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACrD;AAUD;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAC3C,IAAI,EAAE,cAAc,CAAC,KAAK,CAAC,EAC3B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAC9B,IAAI,CAAC,EAAE;IAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,GACnC,6BAA6B,CAmC/B"}

package/dist/diff/bridge-gradient.js

@@ -10,15 +10,25 @@
  *
  * Per P8 Decision #1, this lives in `src/diff/` (NOT in
  * `src/bridges/`), keeping bridge evaluators untouched. The AD
- * dependency `mathts-autograd` is in `optionalDependencies`; this
- * module throws `EngineCapabilityError` via the existing
- * `MathTSEngine.reverseGrad` call-site pattern (degrades gracefully
- * when the peer is absent).
+ * dependency `mathts-autograd` is in `optionalDependencies`. Note this
+ * gives `bridgeGradient` TWO failure modes, not graceful success: when
+ * the peer is ABSENT it throws `EngineCapabilityError`; when the peer is
+ * PRESENT it still throws (see the AD limitation below) — installing the
+ * peer does not make AD of the plain-JS bridges work.
  *
- * Per P8 Adam-H1 + Eve verification: the autograd peer may not be
- * installed in CI (npm install --include=optional required). Tests
- * use `hasAutogradSupport(engine)` to skip the real-AD assertions
- * when the peer isn't present.
+ * IMPORTANT — AD limitation (verified empirically): `bridgeGradient`
+ * does NOT actually differentiate the catalog evaluators. Because P8
+ * Decision #1 keeps those evaluators as plain-JS scalar functions
+ * (`Math.*` / raw arithmetic on numbers), neither reverse-mode (tape)
+ * nor forward-mode (dual) AD can trace them — the tape/dual instrument
+ * only sees ops routed through engine-traced tensors. With
+ * `Float64ReferenceEngine` the AD path throws; with `MathTSEngine` it
+ * also throws (the autograd `TapedTensor` does not survive
+ * `engine.toNested`). `bridgeGradient` therefore only works for
+ * functions written in engine ops — not the plain-JS bridges.
+ *
+ * The SUPPORTED way to differentiate a plain-JS bridge evaluator is
+ * {@link bridgeGradientNumerical} (central finite differences, no engine).
  *
  * @module diff/bridge-gradient
  */
@@ -80,4 +90,61 @@ export function gradientToNamed(spec, gradient, engine) {
     });
     return out;
 }
+/**
+ * Relative step for central differences: `cbrt(eps)` balances the `O(h²)`
+ * truncation error against the `O(eps/h)` round-off error (the central-diff
+ * optimum). `sqrt(eps)` — the FORWARD-diff optimum — would leave precision on
+ * the table for central differences.
+ */
+const CENTRAL_DIFF_REL_STEP = Math.cbrt(Number.EPSILON); // ≈ 6.06e-6
+/**
+ * Gradient of a bridge evaluator by **central finite differences** — the
+ * supported way to differentiate the catalog's plain-JS evaluators.
+ *
+ * Reverse-/forward-mode AD ({@link bridgeGradient}) cannot trace these
+ * evaluators: per P8 Decision #1 they are plain-JS scalar functions
+ * (`Math.*` / raw arithmetic on numbers), so a tape/dual engine observes no
+ * traced ops. `bridgeGradientNumerical` perturbs the inputs instead, so it
+ * needs no engine and is synchronous.
+ *
+ * For each differentiable param with value `x` it uses a relative step
+ * `h = max(|x|, 1)·cbrt(eps)` and the ACTUAL representable denominator
+ * `dx = (x + h) − (x − h)` — so the perturbation survives floating-point
+ * rounding even at astrophysical scales (e.g. `M ≈ 2e30 kg`). The supplied
+ * `params` must contain every key in `spec.paramNames`; non-differentiable
+ * fields come from `spec.defaults`.
+ *
+ * @public
+ */
+export function bridgeGradientNumerical(spec, params, opts) {
+    const relStep = opts?.relStep ?? CENTRAL_DIFF_REL_STEP;
+    // Same contract as bridgeGradient: every paramName must be a number.
+    for (const k of spec.paramNames) {
+        if (typeof params[k] !== 'number') {
+            throw new TypeError(`bridgeGradientNumerical: ${spec.bridgeId}: missing or non-numeric param '${k}' ` +
+                `(got ${typeof params[k]}). All paramNames must be numbers in the params object.`);
+        }
+    }
+    // Build the full Input struct (defaults + differentiable params), with an
+    // optional single-param override for the perturbed evaluations.
+    const buildInput = (override) => {
+        const input = { ...spec.defaults };
+        for (const k of spec.paramNames)
+            input[k] = params[k];
+        if (override)
+            input[override.key] = override.val;
+        return input;
+    };
+    const value = spec.evaluate(buildInput());
+    const gradient = {};
+    for (const k of spec.paramNames) {
+        const x = params[k];
+        const h = Math.max(Math.abs(x), 1) * relStep;
+        const dx = x + h - (x - h); // actual representable step (huge-x safe)
+        const fp = spec.evaluate(buildInput({ key: k, val: x + h }));
+        const fm = spec.evaluate(buildInput({ key: k, val: x - h }));
+        gradient[k] = (fp - fm) / dx;
+    }
+    return { value, gradient };
+}
 //# sourceMappingURL=bridge-gradient.js.map

package/dist/diff/bridge-gradient.js.map

@@ -1 +1 @@
-{"version":3,"file":"bridge-gradient.js","sourceRoot":"","sources":["../../src/diff/bridge-gradient.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAGH,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAqD/D;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,IAA2B,EAC3B,MAAoB,EACpB,MAA8B;IAE9B,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IAC9D,CAAC;IAED,0DAA0D;IAC1D,MAAM,MAAM,GAAa,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACjD,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1B,MAAM,IAAI,SAAS,CACjB,mBAAmB,IAAI,CAAC,QAAQ,mCAAmC,CAAC,IAAI;gBACxE,QAAQ,OAAO,CAAC,yDAAyD,CAC1E,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IAE/D,yDAAyD;IACzD,4DAA4D;IAC5D,8DAA8D;IAC9D,mBAAmB;IACnB,MAAM,EAAE,GAAG,CAAC,CAAe,EAAgB,EAAE;QAC3C,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAa,CAAC;QAChD,MAAM,KAAK,GAAG,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAsB,CAAC;QACvD,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAC9B,KAAiC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACpC,OAAO,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACvC,CAAC,CAAC;IAEF,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,MAAM,MAAM,CAAC,WAAY,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;IACvE,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAW,CAAC;IACrD,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC;AAC1C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC7B,IAA2B,EAC3B,QAAsB,EACtB,MAAoB;IAEpB,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAa,CAAC;IAClD,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC/B,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC"}
+{"version":3,"file":"bridge-gradient.js","sourceRoot":"","sources":["../../src/diff/bridge-gradient.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAGH,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAqD/D;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,IAA2B,EAC3B,MAAoB,EACpB,MAA8B;IAE9B,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IAC9D,CAAC;IAED,0DAA0D;IAC1D,MAAM,MAAM,GAAa,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACjD,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1B,MAAM,IAAI,SAAS,CACjB,mBAAmB,IAAI,CAAC,QAAQ,mCAAmC,CAAC,IAAI;gBACxE,QAAQ,OAAO,CAAC,yDAAyD,CAC1E,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IAE/D,yDAAyD;IACzD,4DAA4D;IAC5D,8DAA8D;IAC9D,mBAAmB;IACnB,MAAM,EAAE,GAAG,CAAC,CAAe,EAAgB,EAAE;QAC3C,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAa,CAAC;QAChD,MAAM,KAAK,GAAG,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAsB,CAAC;QACvD,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAC9B,KAAiC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACpC,OAAO,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACvC,CAAC,CAAC;IAEF,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,MAAM,MAAM,CAAC,WAAY,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;IACvE,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAW,CAAC;IACrD,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC;AAC1C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC7B,IAA2B,EAC3B,QAAsB,EACtB,MAAoB;IAEpB,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAa,CAAC;IAClD,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC/B,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC;AAcD;;;;;GAKG;AACH,MAAM,qBAAqB,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY;AAErE;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,uBAAuB,CACrC,IAA2B,EAC3B,MAA8B,EAC9B,IAAoC;IAEpC,MAAM,OAAO,GAAG,IAAI,EAAE,OAAO,IAAI,qBAAqB,CAAC;IAEvD,qEAAqE;IACrE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,IAAI,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;YAClC,MAAM,IAAI,SAAS,CACjB,4BAA4B,IAAI,CAAC,QAAQ,mCAAmC,CAAC,IAAI;gBACjF,QAAQ,OAAO,MAAM,CAAC,CAAC,CAAC,yDAAyD,CAClF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,gEAAgE;IAChE,MAAM,UAAU,GAAG,CAAC,QAAuC,EAAS,EAAE;QACpE,MAAM,KAAK,GAAG,EAAE,GAAG,IAAI,CAAC,QAAQ,EAA6B,CAAC;QAC9D,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU;YAAE,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACtD,IAAI,QAAQ;YAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC;QACjD,OAAO,KAAyB,CAAC;IACnC,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC;IAE1C,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC;QAC7C,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,0CAA0C;QACtE,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7D,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7D,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC;IAC/B,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC7B,CAAC"}