universal-physics-tensor 0.5.0 → 0.7.0

package/dist/core/labeled-tensor.js

@@ -0,0 +1,275 @@
+/**
+ * `LabeledTensor` — engine-level tensor wrapped with
+ * `UniversalIndex`-tagged metadata. The catalog-facing surface
+ * for physics-axis-aware contractions.
+ *
+ * Phase 2 + Phase 3 of v0.7 Proposal 1 (Intelligent Index Layer).
+ *
+ * Composition (Decision #5): `LabeledTensor` owns an `EngineTensor`,
+ * a `TensorEngine`, and a labels record. The engine handle is the
+ * boundary — `LabeledTensor` doesn't reach into the underlying
+ * Float64Array / MathTS handle. Contract matching is strictly
+ * `UniversalIndexId` equality (Decision #3) — two indices with the
+ * same `axis` and `name` but distinct `id`s do NOT contract.
+ *
+ * Design: `docs/planning/v0.7-Proposal-1-Design.md` Decisions
+ * #1, #3, #5, #6, #7, #9.
+ *
+ * Cross-Phase Invariants preserved:
+ *   - #1 adapter-on-top: this module does NOT import
+ *     `src/dimensional/tensor.ts` or `src/numerical/lowering.ts`.
+ *   - #4 `TensorSymbolNode` + `computeContraction` UNCHANGED.
+ *   - #5 `TensorEngine` interface UNCHANGED (consumes, doesn't
+ *     extend).
+ *
+ * @module core/labeled-tensor
+ */
+import { UPTError } from '../dimensional/errors.js';
+// ---------------------------------------------------------------------------
+// Error classes (Phase 3 surface, declared here for co-location with
+// the guards that throw them)
+// ---------------------------------------------------------------------------
+/**
+ * Thrown by the `LabeledTensor` constructor when the labels record
+ * doesn't agree with the underlying tensor's rank
+ * (`Object.keys(labels).length !== tensor.shape.length`).
+ *
+ * @public
+ */
+export class LabeledTensorConstructionError extends UPTError {
+    labelCount;
+    tensorRank;
+    constructor(labelCount, tensorRank) {
+        super(`LabeledTensor: labels record has ${labelCount} entries but ` +
+            `tensor rank is ${tensorRank}. Every tensor axis must carry exactly ` +
+            `one UniversalIndex label.`);
+        this.name = 'LabeledTensorConstructionError';
+        this.labelCount = labelCount;
+        this.tensorRank = tensorRank;
+        Object.setPrototypeOf(this, LabeledTensorConstructionError.prototype);
+    }
+}
+/**
+ * Thrown by `contract` when two `UniversalIndex` values share an
+ * `id` but disagree on `axis`. Per Decision #7, this is a physics
+ * error caught at the wrapper level. Impossible if both operands
+ * use the `Axes` registry; defensive against off-registry
+ * `makeIndex` consumers.
+ *
+ * @public
+ */
+export class AxisMismatchError extends UPTError {
+    indexId;
+    leftAxis;
+    rightAxis;
+    constructor(indexId, leftAxis, rightAxis) {
+        super(`LabeledTensor.contract: indices with the same id '${indexId}' ` +
+            `disagree on axis ('${leftAxis}' vs '${rightAxis}'). Cross-axis ` +
+            `contraction is a physics error.`);
+        this.name = 'AxisMismatchError';
+        this.indexId = indexId;
+        this.leftAxis = leftAxis;
+        this.rightAxis = rightAxis;
+        Object.setPrototypeOf(this, AxisMismatchError.prototype);
+    }
+}
+/**
+ * Thrown by `contract` when the same `UniversalIndexId` appears in
+ * more than one non-contracted (free) position across the two
+ * operands. Same physical axis showing up free on both sides is
+ * physically meaningful (joint distribution) but the einsum
+ * machinery has no canonical way to disambiguate.
+ *
+ * @public
+ */
+export class IdentityConflictError extends UPTError {
+    indexId;
+    constructor(indexId) {
+        super(`LabeledTensor.contract: UniversalIndexId '${indexId}' appears as a ` +
+            `free axis on both operands. Same physical axis on both sides is ` +
+            `ambiguous — rename or contract one side first.`);
+        this.name = 'IdentityConflictError';
+        this.indexId = indexId;
+        Object.setPrototypeOf(this, IdentityConflictError.prototype);
+    }
+}
+/**
+ * Thrown by `reshape` when the requested shape would change the
+ * tensor rank. v0.7.0 allows only axis-by-axis size change;
+ * rank-changing reshape is deferred to v0.8.0+ (`mergeAxes` /
+ * `splitAxis` helpers).
+ *
+ * @public
+ */
+export class RankPreservationError extends UPTError {
+    fromRank;
+    toRank;
+    constructor(fromRank, toRank) {
+        super(`LabeledTensor.reshape: cannot change rank from ${fromRank} to ` +
+            `${toRank}. v0.7.0 supports only same-rank reshape; use a future ` +
+            `mergeAxes / splitAxis helper for rank changes.`);
+        this.name = 'RankPreservationError';
+        this.fromRank = fromRank;
+        this.toRank = toRank;
+        Object.setPrototypeOf(this, RankPreservationError.prototype);
+    }
+}
+// ---------------------------------------------------------------------------
+// canonicalLabelOrder — Risk 2 mitigation
+// ---------------------------------------------------------------------------
+/**
+ * Stable lexicographic ordering of label keys. JavaScript's
+ * `Object.entries` preserves string-key insertion order, but we
+ * route all label-key→axis-position mapping through this helper
+ * so the contract algorithm doesn't accidentally depend on
+ * constructor-call ordering.
+ *
+ * @internal
+ */
+export function canonicalLabelOrder(labels) {
+    return Object.keys(labels).sort();
+}
+// ---------------------------------------------------------------------------
+// LabeledTensor (wrapper class)
+// ---------------------------------------------------------------------------
+/**
+ * Engine-agnostic wrapper carrying physics-axis-tagged metadata over
+ * an opaque `EngineTensor`. Two `LabeledTensor`s contract over
+ * shared `UniversalIndexId` values; non-shared ids become the
+ * result's free axes.
+ *
+ * Construction enforces `Object.keys(labels).length === tensor.shape.length`.
+ *
+ * @public
+ */
+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);
+        }
+        this.tensor = tensor;
+        this.engine = engine;
+        this.labels = labels;
+    }
+    /**
+     * Identity-aware contraction (Decision #3): match labels by
+     * `UniversalIndexId` equality only. Returns a new `LabeledTensor`
+     * whose free labels are the union of both operands' free labels
+     * minus the contracted ids, evaluated in `this`-first,
+     * `other`-second canonical order.
+     *
+     * Throws:
+     *   - `AxisMismatchError` if a shared id disagrees on axis.
+     *   - `IdentityConflictError` if a non-shared id appears free on
+     *     both operands.
+     *
+     * @public
+     */
+    contract(other) {
+        if (this.engine !== other.engine) {
+            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);
+        // Build id → (operand, axis-position) sites.
+        const sites = new Map();
+        leftOrder.forEach((key, axis) => {
+            const idx = this.labels[key];
+            const list = sites.get(idx.id) ?? [];
+            list.push({ operand: 0, axis, key, axisName: idx.axis });
+            sites.set(idx.id, list);
+        });
+        rightOrder.forEach((key, axis) => {
+            const idx = other.labels[key];
+            const list = sites.get(idx.id) ?? [];
+            list.push({ operand: 1, axis, key, axisName: idx.axis });
+            sites.set(idx.id, list);
+        });
+        // Classify each id: contracted (in both operands) vs free (in one).
+        const contractions = [];
+        const free = [];
+        const resultLabels = {};
+        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;
+                resultLabels[key] = o.operand === 0
+                    ? this.labels[o.key]
+                    : other.labels[o.key];
+            }
+            else if (occurrences.length === 2) {
+                const [a, b] = occurrences;
+                if (a.operand === b.operand) {
+                    // Same id appears twice in one operand: that's a tensor-self-
+                    // contraction situation; flag as free conflict.
+                    throw new IdentityConflictError(id);
+                }
+                if (a.axisName !== b.axisName) {
+                    throw new AxisMismatchError(id, a.axisName, b.axisName);
+                }
+                contractions.push({ pair: [[a.operand, a.axis], [b.operand, b.axis]] });
+            }
+            else {
+                // 3+ occurrences across the two operands: triple+ contraction,
+                // not supported by the binary einsum primitive. Reject.
+                throw new IdentityConflictError(id);
+            }
+        }
+        const spec = { contractions, free };
+        const resultTensor = this.engine.einsum(spec, this.tensor, other.tensor);
+        return new LabeledTensor(resultTensor, this.engine, resultLabels);
+    }
+    /**
+     * Reorder axes per the given permutation of label keys. The new
+     * label record reflects the new axis order; the engine handles
+     * the storage-level permutation via `engine.transpose`.
+     *
+     * @public
+     */
+    transpose(newKeyOrder) {
+        const currentOrder = canonicalLabelOrder(this.labels);
+        if (newKeyOrder.length !== currentOrder.length) {
+            throw new UPTError(`LabeledTensor.transpose: new key order has ${newKeyOrder.length} ` +
+                `entries but tensor has ${currentOrder.length} axes.`);
+        }
+        const currentIndex = new Map(currentOrder.map((k, i) => [k, i]));
+        const perm = [];
+        for (const key of newKeyOrder) {
+            const pos = currentIndex.get(key);
+            if (pos === undefined) {
+                throw new UPTError(`LabeledTensor.transpose: key '${String(key)}' not found in labels.`);
+            }
+            perm.push(pos);
+        }
+        const transposedTensor = this.engine.transpose(this.tensor, perm);
+        return new LabeledTensor(transposedTensor, this.engine, this.labels);
+    }
+    /**
+     * Per-axis size change. Rank must be preserved (Decision #5);
+     * rank-changing reshape throws `RankPreservationError`. v0.8.0+
+     * may add `mergeAxes` / `splitAxis` for rank-changing operations.
+     *
+     * Labels survive unchanged (axis identity is preserved across a
+     * size-only reshape).
+     *
+     * @public
+     */
+    reshape(shape) {
+        if (shape.length !== this.tensor.shape.length) {
+            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);
+    }
+}
+//# sourceMappingURL=labeled-tensor.js.map

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

@@ -0,0 +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"}

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

@@ -0,0 +1,169 @@
+/**
+ * `RegimeType` extension system — v0.8 Proposal 5.
+ *
+ * Per P5 Decision #1, this module ships the extension MECHANISM
+ * (`defineRegime`, `lookupRegime`, `listRegimesByAxis`,
+ * `provenanceFor`) PLUS the eight v0.6-shipped closed-union values
+ * pre-registered (per Phase 2 — see `src/core/regimes-builtins.ts`).
+ * Closed taxonomy of new physics-regime built-ins is deferred to
+ * v0.9 per Decision #1 framing.
+ *
+ * Per P5 Adam-H1 reconciliation, Phase 4's per-cell regime field
+ * ships as a sibling registry (`regimesForCell`) keyed by cell id
+ * rather than as a new field on `BridgeCell` (avoids the
+ * `cellToBridge` adapter round-trip that would strip unknown
+ * fields).
+ *
+ * Per P5 Eve-M2 reconciliation, `FluxRuleKind` is extended with
+ * `'regime-consistency'` discriminator in this commit (Phase 4
+ * rule fires from `addCell`).
+ *
+ * @module core/regime-registry
+ */
+import type { AxisName } from './universal-index.js';
+/**
+ * Provenance for a registered regime. Tracks WHO registered the
+ * regime (the catalog source or downstream package name) and WHEN.
+ * Per P5 Decision #4.
+ *
+ * @public
+ */
+export interface RegimeProvenance {
+    /** The package or module that registered this regime. */
+    readonly registeredBy: string;
+    /** ISO-8601 timestamp string. Filled in by `defineRegime`. */
+    readonly registeredAt: string;
+    /** Optional citation (URL, DOI, or free-text). */
+    readonly citation?: string;
+}
+/**
+ * The base shape every registered regime carries. Implementation
+ * detail: callers always interact via the per-axis convenience
+ * APIs (`defineScale`, `defineForce`, ... — Phase 3) which
+ * narrow `axis` to a literal at the type level.
+ *
+ * Per P5 Decision #2 (locked field set): `axis`, `tag`,
+ * `displayName`, `tags?`, `limits?`, `provenance`.
+ *
+ * @public
+ */
+export interface RegimeValueBase {
+    readonly axis: AxisName;
+    readonly tag: string;
+    readonly displayName: string;
+    readonly tags?: ReadonlyArray<string>;
+    readonly limits?: {
+        readonly min?: number;
+        readonly max?: number;
+    };
+    readonly provenance: RegimeProvenance;
+}
+/**
+ * Spec passed to `defineRegime` to register a new regime value
+ * under a given axis. The `provenance.registeredAt` field is
+ * filled by `defineRegime` (so callers don't have to thread the
+ * timestamp themselves).
+ *
+ * @public
+ */
+export interface RegimeSpec<Axis extends AxisName = AxisName> {
+    readonly axis: Axis;
+    readonly tag: string;
+    readonly displayName: string;
+    readonly tags?: ReadonlyArray<string>;
+    readonly limits?: {
+        readonly min?: number;
+        readonly max?: number;
+    };
+    readonly provenance: Omit<RegimeProvenance, 'registeredAt'> & {
+        readonly registeredAt?: string;
+    };
+}
+/**
+ * Thrown when `defineRegime` receives a spec that contradicts an
+ * already-registered (axis, tag) pair. Carries both specs for
+ * diagnosis. Per P5 Decision #4 + Eve-L1 reconciliation
+ * (idempotent re-registration with the SAME spec is allowed;
+ * collisions throw).
+ *
+ * @public
+ */
+export declare class RegimeCollisionError extends Error {
+    readonly axis: AxisName;
+    readonly tag: string;
+    constructor(axis: AxisName, tag: string, existing: RegimeValueBase, incoming: RegimeSpec);
+}
+/**
+ * Register a regime under its `(axis, tag)` coordinate. Idempotent
+ * for identical re-registrations; throws `RegimeCollisionError`
+ * for the same `(axis, tag)` with different content.
+ *
+ * Returns the canonicalized `RegimeValueBase` (with
+ * `provenance.registeredAt` filled in if omitted).
+ *
+ * @public
+ */
+export declare function defineRegime<Axis extends AxisName>(spec: RegimeSpec<Axis>): RegimeValueBase;
+/**
+ * Look up a registered regime by `(axis, tag)`. Returns `undefined`
+ * if not registered.
+ *
+ * @public
+ */
+export declare function lookupRegime(axis: AxisName, tag: string): RegimeValueBase | undefined;
+/**
+ * Enumerate all regimes registered under a given axis. Returns
+ * a snapshot array (safe to iterate without holding a registry
+ * reference).
+ *
+ * @public
+ */
+export declare function listRegimesByAxis(axis: AxisName): ReadonlyArray<RegimeValueBase>;
+/**
+ * Get the provenance of a specific `(axis, tag)` regime. Helper
+ * for audit-tooling that needs to know who registered what.
+ *
+ * @public
+ */
+export declare function provenanceFor(axis: AxisName, tag: string): RegimeProvenance | undefined;
+/**
+ * Attach regime values to a cell by its `id`. Per P5 Adam-M1
+ * resolution, regimes ride on a sibling registry rather than as a
+ * `BridgeCell.regimes?` field — this preserves the P3 surface
+ * contract (no new `BridgeCell` fields) and avoids the
+ * `cellToBridge` adapter round-trip.
+ *
+ * Idempotent (same id + same regime set is a no-op).
+ *
+ * @public
+ */
+export declare function attachRegimesToCell(cellId: string, regimes: ReadonlyArray<RegimeValueBase>): void;
+/**
+ * Get the regimes attached to a cell by its `id`. Returns
+ * `undefined` if no regimes are attached.
+ *
+ * @public
+ */
+export declare function getCellRegimes(cellId: string): ReadonlyArray<RegimeValueBase> | undefined;
+/**
+ * Clear all registered regimes AND all cell attachments. Test-only
+ * helper — DO NOT call from production code.
+ *
+ * @internal
+ */
+export declare function _resetRegistryForTesting(): void;
+type AxisConvenience<Axis extends AxisName> = (spec: Omit<RegimeSpec<Axis>, 'axis'>) => RegimeValueBase;
+/** Register a regime on the `'scale'` axis. @public */
+export declare const defineScale: AxisConvenience<'scale'>;
+/** Register a regime on the `'force'` axis. @public */
+export declare const defineForce: AxisConvenience<'force'>;
+/** Register a regime on the `'symmetry'` axis. @public */
+export declare const defineSymmetry: AxisConvenience<'symmetry'>;
+/** Register a regime on the `'information'` axis. @public */
+export declare const defineInformation: AxisConvenience<'information'>;
+/** Register a regime on the `'dimension'` axis. @public */
+export declare const defineDimension: AxisConvenience<'dimension'>;
+/** Register a regime on the `'topology'` axis. @public */
+export declare const defineTopology: AxisConvenience<'topology'>;
+export {};
+//# sourceMappingURL=regime-registry.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"regime-registry.d.ts","sourceRoot":"","sources":["../../src/core/regime-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAErD;;;;;;GAMG;AACH,MAAM,WAAW,gBAAgB;IAC/B,yDAAyD;IACzD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,8DAA8D;IAC9D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,kDAAkD;IAClD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,MAAM,CAAC,EAAE;QAChB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;KACvB,CAAC;IACF,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC;CACvC;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,UAAU,CAAC,IAAI,SAAS,QAAQ,GAAG,QAAQ;IAC1D,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACnE,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,gBAAgB,EAAE,cAAc,CAAC,GAAG;QAC5D,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;KAChC,CAAC;CACH;AAED;;;;;;;;GAQG;AACH,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,SAAgB,IAAI,EAAE,QAAQ,CAAC;IAC/B,SAAgB,GAAG,EAAE,MAAM,CAAC;gBAChB,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,eAAe,EAAE,QAAQ,EAAE,UAAU;CAWzF;AAqBD;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAAC,IAAI,SAAS,QAAQ,EAChD,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,GACrB,eAAe,CA2BjB;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,eAAe,GAAG,SAAS,CAErF;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,QAAQ,GAAG,aAAa,CAAC,eAAe,CAAC,CAGhF;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS,CAEvF;AAQD;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,aAAa,CAAC,eAAe,CAAC,GACtC,IAAI,CAEN;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC,eAAe,CAAC,GAAG,SAAS,CAEzF;AAED;;;;;GAKG;AACH,wBAAgB,wBAAwB,IAAI,IAAI,CAG/C;AAMD,KAAK,eAAe,CAAC,IAAI,SAAS,QAAQ,IAAI,CAC5C,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,KACjC,eAAe,CAAC;AAErB,uDAAuD;AACvD,eAAO,MAAM,WAAW,EAAE,eAAe,CAAC,OAAO,CACV,CAAC;AAExC,uDAAuD;AACvD,eAAO,MAAM,WAAW,EAAE,eAAe,CAAC,OAAO,CACV,CAAC;AAExC,0DAA0D;AAC1D,eAAO,MAAM,cAAc,EAAE,eAAe,CAAC,UAAU,CACb,CAAC;AAE3C,6DAA6D;AAC7D,eAAO,MAAM,iBAAiB,EAAE,eAAe,CAAC,aAAa,CAChB,CAAC;AAE9C,2DAA2D;AAC3D,eAAO,MAAM,eAAe,EAAE,eAAe,CAAC,WAAW,CACd,CAAC;AAE5C,0DAA0D;AAC1D,eAAO,MAAM,cAAc,EAAE,eAAe,CAAC,UAAU,CACb,CAAC"}

package/dist/core/regime-registry.js

@@ -0,0 +1,174 @@
+/**
+ * `RegimeType` extension system — v0.8 Proposal 5.
+ *
+ * Per P5 Decision #1, this module ships the extension MECHANISM
+ * (`defineRegime`, `lookupRegime`, `listRegimesByAxis`,
+ * `provenanceFor`) PLUS the eight v0.6-shipped closed-union values
+ * pre-registered (per Phase 2 — see `src/core/regimes-builtins.ts`).
+ * Closed taxonomy of new physics-regime built-ins is deferred to
+ * v0.9 per Decision #1 framing.
+ *
+ * Per P5 Adam-H1 reconciliation, Phase 4's per-cell regime field
+ * ships as a sibling registry (`regimesForCell`) keyed by cell id
+ * rather than as a new field on `BridgeCell` (avoids the
+ * `cellToBridge` adapter round-trip that would strip unknown
+ * fields).
+ *
+ * Per P5 Eve-M2 reconciliation, `FluxRuleKind` is extended with
+ * `'regime-consistency'` discriminator in this commit (Phase 4
+ * rule fires from `addCell`).
+ *
+ * @module core/regime-registry
+ */
+/**
+ * Thrown when `defineRegime` receives a spec that contradicts an
+ * already-registered (axis, tag) pair. Carries both specs for
+ * diagnosis. Per P5 Decision #4 + Eve-L1 reconciliation
+ * (idempotent re-registration with the SAME spec is allowed;
+ * collisions throw).
+ *
+ * @public
+ */
+export class RegimeCollisionError extends Error {
+    axis;
+    tag;
+    constructor(axis, tag, existing, incoming) {
+        super(`RegimeRegistry.defineRegime: cannot re-register (${axis}, '${tag}') ` +
+            `with a different displayName ('${existing.displayName}' vs ` +
+            `'${incoming.displayName}'). Identical re-registrations are ` +
+            `idempotent; only conflicting specs throw.`);
+        this.name = 'RegimeCollisionError';
+        this.axis = axis;
+        this.tag = tag;
+    }
+}
+// ---------------------------------------------------------------------------
+// Private singleton storage
+// ---------------------------------------------------------------------------
+const registry = new Map();
+function ensureAxisMap(axis) {
+    let m = registry.get(axis);
+    if (!m) {
+        m = new Map();
+        registry.set(axis, m);
+    }
+    return m;
+}
+// ---------------------------------------------------------------------------
+// Public API (Phase 1)
+// ---------------------------------------------------------------------------
+/**
+ * Register a regime under its `(axis, tag)` coordinate. Idempotent
+ * for identical re-registrations; throws `RegimeCollisionError`
+ * for the same `(axis, tag)` with different content.
+ *
+ * Returns the canonicalized `RegimeValueBase` (with
+ * `provenance.registeredAt` filled in if omitted).
+ *
+ * @public
+ */
+export function defineRegime(spec) {
+    const axisMap = ensureAxisMap(spec.axis);
+    const existing = axisMap.get(spec.tag);
+    const canonical = {
+        axis: spec.axis,
+        tag: spec.tag,
+        displayName: spec.displayName,
+        ...(spec.tags ? { tags: spec.tags } : {}),
+        ...(spec.limits ? { limits: spec.limits } : {}),
+        provenance: {
+            registeredBy: spec.provenance.registeredBy,
+            registeredAt: spec.provenance.registeredAt ?? new Date().toISOString(),
+            ...(spec.provenance.citation ? { citation: spec.provenance.citation } : {}),
+        },
+    };
+    if (existing) {
+        // Idempotency check: identical (modulo timestamp).
+        if (existing.displayName !== canonical.displayName ||
+            existing.provenance.registeredBy !== canonical.provenance.registeredBy) {
+            throw new RegimeCollisionError(spec.axis, spec.tag, existing, spec);
+        }
+        return existing;
+    }
+    axisMap.set(spec.tag, canonical);
+    return canonical;
+}
+/**
+ * Look up a registered regime by `(axis, tag)`. Returns `undefined`
+ * if not registered.
+ *
+ * @public
+ */
+export function lookupRegime(axis, tag) {
+    return registry.get(axis)?.get(tag);
+}
+/**
+ * Enumerate all regimes registered under a given axis. Returns
+ * a snapshot array (safe to iterate without holding a registry
+ * reference).
+ *
+ * @public
+ */
+export function listRegimesByAxis(axis) {
+    const m = registry.get(axis);
+    return m ? [...m.values()] : [];
+}
+/**
+ * Get the provenance of a specific `(axis, tag)` regime. Helper
+ * for audit-tooling that needs to know who registered what.
+ *
+ * @public
+ */
+export function provenanceFor(axis, tag) {
+    return lookupRegime(axis, tag)?.provenance;
+}
+// ---------------------------------------------------------------------------
+// Phase 4 — per-cell regime attachment (sibling registry per Adam-M1)
+// ---------------------------------------------------------------------------
+const cellRegimes = new Map();
+/**
+ * Attach regime values to a cell by its `id`. Per P5 Adam-M1
+ * resolution, regimes ride on a sibling registry rather than as a
+ * `BridgeCell.regimes?` field — this preserves the P3 surface
+ * contract (no new `BridgeCell` fields) and avoids the
+ * `cellToBridge` adapter round-trip.
+ *
+ * Idempotent (same id + same regime set is a no-op).
+ *
+ * @public
+ */
+export function attachRegimesToCell(cellId, regimes) {
+    cellRegimes.set(cellId, regimes);
+}
+/**
+ * Get the regimes attached to a cell by its `id`. Returns
+ * `undefined` if no regimes are attached.
+ *
+ * @public
+ */
+export function getCellRegimes(cellId) {
+    return cellRegimes.get(cellId);
+}
+/**
+ * Clear all registered regimes AND all cell attachments. Test-only
+ * helper — DO NOT call from production code.
+ *
+ * @internal
+ */
+export function _resetRegistryForTesting() {
+    registry.clear();
+    cellRegimes.clear();
+}
+/** Register a regime on the `'scale'` axis. @public */
+export const defineScale = (s) => defineRegime({ ...s, axis: 'scale' });
+/** Register a regime on the `'force'` axis. @public */
+export const defineForce = (s) => defineRegime({ ...s, axis: 'force' });
+/** Register a regime on the `'symmetry'` axis. @public */
+export const defineSymmetry = (s) => defineRegime({ ...s, axis: 'symmetry' });
+/** Register a regime on the `'information'` axis. @public */
+export const defineInformation = (s) => defineRegime({ ...s, axis: 'information' });
+/** Register a regime on the `'dimension'` axis. @public */
+export const defineDimension = (s) => defineRegime({ ...s, axis: 'dimension' });
+/** Register a regime on the `'topology'` axis. @public */
+export const defineTopology = (s) => defineRegime({ ...s, axis: 'topology' });
+//# sourceMappingURL=regime-registry.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"regime-registry.js","sourceRoot":"","sources":["../../src/core/regime-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AA8DH;;;;;;;;GAQG;AACH,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC7B,IAAI,CAAW;IACf,GAAG,CAAS;IAC5B,YAAY,IAAc,EAAE,GAAW,EAAE,QAAyB,EAAE,QAAoB;QACtF,KAAK,CACH,oDAAoD,IAAI,MAAM,GAAG,KAAK;YACtE,kCAAkC,QAAQ,CAAC,WAAW,OAAO;YAC7D,IAAI,QAAQ,CAAC,WAAW,qCAAqC;YAC7D,2CAA2C,CAC5C,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;QACnC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;IACjB,CAAC;CACF;AAED,8EAA8E;AAC9E,4BAA4B;AAC5B,8EAA8E;AAE9E,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA0C,CAAC;AAEnE,SAAS,aAAa,CAAC,IAAc;IACnC,IAAI,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3B,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,CAAC,GAAG,IAAI,GAAG,EAAE,CAAC;QACd,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,UAAU,YAAY,CAC1B,IAAsB;IAEtB,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvC,MAAM,SAAS,GAAoB;QACjC,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,UAAU,EAAE;YACV,YAAY,EAAE,IAAI,CAAC,UAAU,CAAC,YAAY;YAC1C,YAAY,EAAE,IAAI,CAAC,UAAU,CAAC,YAAY,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACtE,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC5E;KACF,CAAC;IACF,IAAI,QAAQ,EAAE,CAAC;QACb,mDAAmD;QACnD,IACE,QAAQ,CAAC,WAAW,KAAK,SAAS,CAAC,WAAW;YAC9C,QAAQ,CAAC,UAAU,CAAC,YAAY,KAAK,SAAS,CAAC,UAAU,CAAC,YAAY,EACtE,CAAC;YACD,MAAM,IAAI,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QACtE,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IACjC,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,IAAc,EAAE,GAAW;IACtD,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;AACtC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAc;IAC9C,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7B,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAClC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,IAAc,EAAE,GAAW;IACvD,OAAO,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,UAAU,CAAC;AAC7C,CAAC;AAED,8EAA8E;AAC9E,sEAAsE;AACtE,8EAA8E;AAE9E,MAAM,WAAW,GAAG,IAAI,GAAG,EAA0C,CAAC;AAEtE;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAc,EACd,OAAuC;IAEvC,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AACnC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,MAAc;IAC3C,OAAO,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,wBAAwB;IACtC,QAAQ,CAAC,KAAK,EAAE,CAAC;IACjB,WAAW,CAAC,KAAK,EAAE,CAAC;AACtB,CAAC;AAUD,uDAAuD;AACvD,MAAM,CAAC,MAAM,WAAW,GAA6B,CAAC,CAAC,EAAE,EAAE,CACzD,YAAY,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;AAExC,uDAAuD;AACvD,MAAM,CAAC,MAAM,WAAW,GAA6B,CAAC,CAAC,EAAE,EAAE,CACzD,YAAY,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;AAExC,0DAA0D;AAC1D,MAAM,CAAC,MAAM,cAAc,GAAgC,CAAC,CAAC,EAAE,EAAE,CAC/D,YAAY,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;AAE3C,6DAA6D;AAC7D,MAAM,CAAC,MAAM,iBAAiB,GAAmC,CAAC,CAAC,EAAE,EAAE,CACrE,YAAY,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC;AAE9C,2DAA2D;AAC3D,MAAM,CAAC,MAAM,eAAe,GAAiC,CAAC,CAAC,EAAE,EAAE,CACjE,YAAY,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;AAE5C,0DAA0D;AAC1D,MAAM,CAAC,MAAM,cAAc,GAAgC,CAAC,CAAC,EAAE,EAAE,CAC/D,YAAY,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC"}

package/dist/core/regime-rule-install.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Wiring: installs P5's `RegimeConsistency` rule body into the
+ * flux-rules registry. Importing this module activates Rule 4
+ * (regime-consistency, WARNING tier) on every `UniversalTensor`.
+ *
+ * Phase 4 of v0.8 Proposal 5.
+ *
+ * The rule body checks: for each attached regime on a cell (via
+ * `getCellRegimes(cell.id)`), does the regime's axis MATCH a
+ * coordinate axis the cell occupies? If not, emit a warning.
+ * Example: a `LawCell` with `scales: ['classical']` attached to
+ * a regime whose `axis === 'scale'` but `tag === 'quantum'`
+ * — the cell sits in classical coords but is tagged with a quantum
+ * regime → warning.
+ *
+ * Per P5 Adam-M2 reconciliation, cells carry PLURAL axis arrays
+ * (`LawCell.scales`, `LawCell.forces`); the rule reads any of them
+ * and matches against the regime tag.
+ *
+ * Importing this module installs the rule. Consumers who don't
+ * want regime checks can simply skip the import.
+ *
+ * @module core/regime-rule-install
+ */
+export {};
+//# sourceMappingURL=regime-rule-install.d.ts.map

package/dist/core/regime-rule-install.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"regime-rule-install.d.ts","sourceRoot":"","sources":["../../src/core/regime-rule-install.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG"}