universal-physics-tensor 1.0.4 → 2.0.1

package/dist/relations/category.d.ts

@@ -3,8 +3,10 @@
  *
  * An object is an id together with a `Regime`. A morphism is the ids of
  * its source and target, plus the `RelationType` it asserts.
- * `composeMorphisms` calls `composeRelation` and returns
- * `'no-composite-claim'` unchanged. There is no second composition table.
+ * `composeMorphisms` returns `'no-composite-claim'` when `first.target`
+ * is not `second.source`. Otherwise it returns `composeRelation`.
+ * Endpoint identity is string equality on the ids the caller stored.
+ * There is no second composition table.
  *
  * Identity morphisms and 2-cells are omitted. Part IX §3 leaves identity
  * unspecified, and a non-commuting pair is two chains.
@@ -32,6 +34,10 @@ export interface CategoryMorphism {
 /**
  * The relation a chain of two morphisms may assert.
  *
+ * A pair that does not meet is `'no-composite-claim'`, including when
+ * the table cell for the two relation types is defined. Meeting is
+ * `first.target === second.source`.
+ *
  * @internal
  */
 export declare function composeMorphisms(first: CategoryMorphism, second: CategoryMorphism): CompositionResult;

package/dist/relations/category.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"category.d.ts","sourceRoot":"","sources":["../../src/relations/category.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACvD,OAAO,EAAmB,KAAK,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAEjF,sEAAsE;AACtE,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;CACjC;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,gBAAgB,EACvB,MAAM,EAAE,gBAAgB,GACvB,iBAAiB,CAEnB"}
+{"version":3,"file":"category.d.ts","sourceRoot":"","sources":["../../src/relations/category.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACvD,OAAO,EAAmB,KAAK,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAEjF,sEAAsE;AACtE,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;CACjC;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,gBAAgB,EACvB,MAAM,EAAE,gBAAgB,GACvB,iBAAiB,CAGnB"}

package/dist/relations/category.js

@@ -3,8 +3,10 @@
  *
  * An object is an id together with a `Regime`. A morphism is the ids of
  * its source and target, plus the `RelationType` it asserts.
- * `composeMorphisms` calls `composeRelation` and returns
- * `'no-composite-claim'` unchanged. There is no second composition table.
+ * `composeMorphisms` returns `'no-composite-claim'` when `first.target`
+ * is not `second.source`. Otherwise it returns `composeRelation`.
+ * Endpoint identity is string equality on the ids the caller stored.
+ * There is no second composition table.
  *
  * Identity morphisms and 2-cells are omitted. Part IX §3 leaves identity
  * unspecified, and a non-commuting pair is two chains.
@@ -15,9 +17,15 @@ import { composeRelation } from './composition-table.js';
 /**
  * The relation a chain of two morphisms may assert.
  *
+ * A pair that does not meet is `'no-composite-claim'`, including when
+ * the table cell for the two relation types is defined. Meeting is
+ * `first.target === second.source`.
+ *
  * @internal
  */
 export function composeMorphisms(first, second) {
+    if (first.target !== second.source)
+        return 'no-composite-claim';
     return composeRelation(first.relation, second.relation);
 }
 //# sourceMappingURL=category.js.map

package/dist/relations/category.js.map

@@ -1 +1 @@
-{"version":3,"file":"category.js","sourceRoot":"","sources":["../../src/relations/category.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAE,eAAe,EAA0B,MAAM,wBAAwB,CAAC;AAoBjF;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAuB,EACvB,MAAwB;IAExB,OAAO,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;AAC1D,CAAC"}
+{"version":3,"file":"category.js","sourceRoot":"","sources":["../../src/relations/category.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,EAAE,eAAe,EAA0B,MAAM,wBAAwB,CAAC;AAoBjF;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAuB,EACvB,MAAwB;IAExB,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;QAAE,OAAO,oBAAoB,CAAC;IAChE,OAAO,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;AAC1D,CAAC"}

package/dist/relations/regime-vocabularies.d.ts

@@ -0,0 +1,40 @@
+/**
+ * Names for the three regime vocabularies. They are not one type, and
+ * nothing here converts a value from one into another. The join gate does
+ * not import this module.
+ *
+ * - Tensor-cell registry: `defineRegime` in `src/core/regime-registry.ts`.
+ *   A named value on a scale, force, symmetry, information, topology, or
+ *   dimension axis, with provenance.
+ * - π-group regime: `regimeHolds` and `regimeOverlap` in `src/relations/regime.ts`.
+ *   Inequalities on Buckingham groups. `regimeHolds` is tri-state.
+ * - Quantity attributes: `regimesDiffer` in `src/composition/quantity.ts`,
+ *   gated by `GATE_AXES` in `src/composition/axes.ts`. Scale and force on a
+ *   quantity. That module is not imported: this layer importing composition
+ *   is an upward edge.
+ *
+ * @module relations/regime-vocabularies
+ */
+import type { RegimeValueBase } from '../core/regime-registry.js';
+import type { Regime } from './types.js';
+/**
+ * The value `defineRegime` returns. `src/relations/` importing
+ * `src/core/regime-registry.ts` is a downward edge.
+ *
+ * @internal
+ */
+export type TensorCellRegime = RegimeValueBase;
+/**
+ * The inequalities `regimeHolds` checks.
+ *
+ * @internal
+ */
+export type PiGroupRegime = Regime;
+/**
+ * The quantity-attribute vocabulary, named and not imported.
+ * `regimesDiffer` stays in `src/composition/quantity.ts`.
+ *
+ * @internal
+ */
+export type QuantityAttributeRegime = never;
+//# sourceMappingURL=regime-vocabularies.d.ts.map

package/dist/relations/regime-vocabularies.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"regime-vocabularies.d.ts","sourceRoot":"","sources":["../../src/relations/regime-vocabularies.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEzC;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,GAAG,eAAe,CAAC;AAE/C;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC;AAEnC;;;;;GAKG;AACH,MAAM,MAAM,uBAAuB,GAAG,KAAK,CAAC"}

package/dist/relations/regime-vocabularies.js

@@ -0,0 +1,19 @@
+/**
+ * Names for the three regime vocabularies. They are not one type, and
+ * nothing here converts a value from one into another. The join gate does
+ * not import this module.
+ *
+ * - Tensor-cell registry: `defineRegime` in `src/core/regime-registry.ts`.
+ *   A named value on a scale, force, symmetry, information, topology, or
+ *   dimension axis, with provenance.
+ * - π-group regime: `regimeHolds` and `regimeOverlap` in `src/relations/regime.ts`.
+ *   Inequalities on Buckingham groups. `regimeHolds` is tri-state.
+ * - Quantity attributes: `regimesDiffer` in `src/composition/quantity.ts`,
+ *   gated by `GATE_AXES` in `src/composition/axes.ts`. Scale and force on a
+ *   quantity. That module is not imported: this layer importing composition
+ *   is an upward edge.
+ *
+ * @module relations/regime-vocabularies
+ */
+export {};
+//# sourceMappingURL=regime-vocabularies.js.map

package/dist/relations/regime-vocabularies.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"regime-vocabularies.js","sourceRoot":"","sources":["../../src/relations/regime-vocabularies.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "universal-physics-tensor",
-  "version": "1.0.4",
+  "version": "2.0.1",
   "description": "Computational framework for exploring unified physics through tensor formalism",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",
@@ -99,16 +99,18 @@
     "url": "https://github.com/danielsimonjr/universal-physics-tensor/issues"
   },
   "homepage": "https://github.com/danielsimonjr/universal-physics-tensor#readme",
-  "devDependencies": {
-    "@danielsimonjr/mathts-autograd": "^0.3.15",
-    "@danielsimonjr/mathts-core": "^0.15.5",
-    "@danielsimonjr/mathts-expression": "^0.8.2",
-    "@danielsimonjr/mathts-functions": "^0.65.0",
-    "@danielsimonjr/mathts-matrix": "^0.7.5",
-    "@danielsimonjr/mathts-parallel": "^0.6.7",
-    "@danielsimonjr/mathts-tensor": "^0.2.21",
+  "dependencies": {
+    "@danielsimonjr/mathts-autograd": "^0.3.16",
+    "@danielsimonjr/mathts-core": "^0.16.0",
+    "@danielsimonjr/mathts-expression": "^0.9.0",
+    "@danielsimonjr/mathts-functions": "^0.67.0",
+    "@danielsimonjr/mathts-matrix": "^0.7.6",
+    "@danielsimonjr/mathts-parallel": "^0.6.8",
+    "@danielsimonjr/mathts-tensor": "^0.2.22",
     "@danielsimonjr/mathts-wasm": "^0.3.0",
-    "@danielsimonjr/mathts-workerpool": "^0.2.6",
+    "@danielsimonjr/mathts-workerpool": "^0.2.6"
+  },
+  "devDependencies": {
     "@types/node": "^26.0.0",
     "@vitest/coverage-v8": "^4.1.7",
     "@viz-js/viz": "^3.28.0",
@@ -120,45 +122,9 @@
     "vitest": "^4.1.7"
   },
   "peerDependencies": {
-    "@danielsimonjr/mathts-autograd": "^0.3.15",
-    "@danielsimonjr/mathts-core": "^0.15.5",
-    "@danielsimonjr/mathts-expression": "^0.8.2",
-    "@danielsimonjr/mathts-functions": "^0.65.0",
-    "@danielsimonjr/mathts-matrix": "^0.7.5",
-    "@danielsimonjr/mathts-parallel": "^0.6.7",
-    "@danielsimonjr/mathts-tensor": "^0.2.21",
-    "@danielsimonjr/mathts-wasm": "^0.3.0",
-    "@danielsimonjr/mathts-workerpool": "^0.2.6",
     "@viz-js/viz": "^3.28.0"
   },
   "peerDependenciesMeta": {
-    "@danielsimonjr/mathts-autograd": {
-      "optional": true
-    },
-    "@danielsimonjr/mathts-core": {
-      "optional": true
-    },
-    "@danielsimonjr/mathts-expression": {
-      "optional": true
-    },
-    "@danielsimonjr/mathts-functions": {
-      "optional": true
-    },
-    "@danielsimonjr/mathts-matrix": {
-      "optional": true
-    },
-    "@danielsimonjr/mathts-parallel": {
-      "optional": true
-    },
-    "@danielsimonjr/mathts-tensor": {
-      "optional": true
-    },
-    "@danielsimonjr/mathts-wasm": {
-      "optional": true
-    },
-    "@danielsimonjr/mathts-workerpool": {
-      "optional": true
-    },
     "@viz-js/viz": {
       "optional": true
     }

package/dist/numerical/float64-engine.d.ts

@@ -1,55 +0,0 @@
-/**
- * Float64ReferenceEngine — the pure-TypeScript, Float64Array-backed
- * TensorEngine implementation. v0.3.5's default engine. Zero runtime
- * dependencies. Naive O(n) algorithms: a correctness baseline, not a
- * performance target (v0.3.5-Design.md §13). MathTSEngine (Task 11) is
- * the performance answer.
- *
- * @module numerical/float64-engine
- */
-import type { EngineTensor, TensorEngine, EinsumSpec, ForwardGradResult, ReverseGradResult } from './tensor-engine.js';
-import type { NestedArray } from './types.js';
-/**
- * The pure-TypeScript, zero-dependency `TensorEngine` — the correctness
- * baseline and conformance reference. Fallback engine in v0.4.0+: active
- * when @danielsimonjr/mathts-tensor is not installed (see engine-registry.ts).
- * Was the default in v0.3.5 before MathTSEngine was introduced.
- * @public
- */
-export declare class Float64ReferenceEngine implements TensorEngine {
-    readonly name = "Float64ReferenceEngine";
-    fromNested(data: NestedArray, shape: ReadonlyArray<number>): EngineTensor;
-    toNested(t: EngineTensor): NestedArray;
-    add(a: EngineTensor, b: EngineTensor): EngineTensor;
-    sub(a: EngineTensor, b: EngineTensor): EngineTensor;
-    mul(a: EngineTensor, b: EngineTensor): EngineTensor;
-    scale(t: EngineTensor, k: number): EngineTensor;
-    identity(n: number): EngineTensor;
-    normInf(t: EngineTensor): number;
-    reshape(t: EngineTensor, shape: ReadonlyArray<number>): EngineTensor;
-    transpose(t: EngineTensor, perm?: ReadonlyArray<number>): EngineTensor;
-    matMul(a: EngineTensor, b: EngineTensor): EngineTensor;
-    einsum(spec: EinsumSpec, ...operands: EngineTensor[]): EngineTensor;
-    /**
-     * Compute the value and full Jacobian of `fn` at point `x` using
-     * forward-mode automatic differentiation (dual numbers).
-     *
-     * Returns `{ value, jacobian }` where `jacobian.shape = [...value.shape, ...x.shape]`
-     * (row-major). `jacobian.data[kY * xSize + kX] = ∂y[kY] / ∂x[kX]`.
-     *
-     * Guard: if `fn` returns a non-EngineDualTensor, throws a clear error
-     * ("AD-traceable" guard, reconciliation fix S6/I2).
-     */
-    forwardGrad(fn: (x: EngineTensor) => EngineTensor, x: EngineTensor): Promise<ForwardGradResult>;
-    /**
-     * Compute the value and gradient (VJP) of `fn` at point `x` using
-     * reverse-mode automatic differentiation (tape).
-     *
-     * `cotangent` defaults to ones-like(value). For non-scalar outputs,
-     * cotangent.shape must match value.shape.
-     *
-     * Guard: if `fn` returns a non-EngineTapedTensor, throws a clear error.
-     */
-    reverseGrad(fn: (x: EngineTensor) => EngineTensor, x: EngineTensor, cotangent?: EngineTensor): Promise<ReverseGradResult>;
-}
-//# sourceMappingURL=float64-engine.d.ts.map

package/dist/numerical/float64-engine.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"float64-engine.d.ts","sourceRoot":"","sources":["../../src/numerical/float64-engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AA6W9C;;;;;;GAMG;AACH,qBAAa,sBAAuB,YAAW,YAAY;IACzD,QAAQ,CAAC,IAAI,4BAA4B;IAEzC,UAAU,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,YAAY,CAExE;IAED,QAAQ,CAAC,CAAC,EAAE,YAAY,GAAG,WAAW,CAErC;IAED,GAAG,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,YAAY,GAAG,YAAY,CAElD;IACD,GAAG,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,YAAY,GAAG,YAAY,CAElD;IACD,GAAG,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,YAAY,GAAG,YAAY,CAElD;IACD,KAAK,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,MAAM,GAAG,YAAY,CAa9C;IAED,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,YAAY,CAIhC;IAED,OAAO,CAAC,CAAC,EAAE,YAAY,GAAG,MAAM,CAQ/B;IAED,OAAO,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,YAAY,CASnE;IAED,SAAS,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,YAAY,CA0CrE;IAED,MAAM,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,YAAY,GAAG,YAAY,CAsBrD;IAED,MAAM,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,QAAQ,EAAE,YAAY,EAAE,GAAG,YAAY,CAkIlE;IAMD;;;;;;;;;OASG;IACG,WAAW,CACf,EAAE,EAAE,CAAC,CAAC,EAAE,YAAY,KAAK,YAAY,EACrC,CAAC,EAAE,YAAY,GACd,OAAO,CAAC,iBAAiB,CAAC,CA0C5B;IAMD;;;;;;;;OAQG;IACG,WAAW,CACf,EAAE,EAAE,CAAC,CAAC,EAAE,YAAY,KAAK,YAAY,EACrC,CAAC,EAAE,YAAY,EACf,SAAS,CAAC,EAAE,YAAY,GACvB,OAAO,CAAC,iBAAiB,CAAC,CA0C5B;CACF"}