@cavelang/fusion 0.27.14 → 0.29.1

package/Authors.md

@@ -0,0 +1,5 @@
+# Authors
+
+By adding their name to this file, all listed authors confirm they have copyright over their contributions to this project and are waiving these rights, placing their work in the public domain in accordance with the CC0 1.0 Universal Public Domain Dedication.
+
+- Mirek Rusin (Switzerland)

package/License.md

@@ -0,0 +1,6 @@
+# CC0 1.0 Universal (CC0 1.0) Public Domain Dedication
+
+To the extent possible under law, the authors listed in [Authors.md](./Authors.md) have waived all copyright and related or neighboring rights to this software and associated documentation files (the "Software").
+
+For more information, please see:
+https://creativecommons.org/publicdomain/zero/1.0/

package/README.md

@@ -26,8 +26,16 @@ For normally distributed estimates with `+/- Δ` at kσ: σ = Δ/k, precision
 
 `estimateOf(claim)` extracts `{ mean, sigma, conf }` from any numeric claim
 carrying `+/-` uncertainty (attribute or metric payload); claims without a
-usable estimate are skipped, zero-confidence and zero-σ estimates
-contribute nothing. The spec's worked example is a test case verbatim.
+usable estimate and zero-confidence estimates are skipped. Invalid zero,
+negative, or non-finite σ values throw the same typed core uncertainty error
+used by parsed and constructed claims. The spec's worked example is a test
+case verbatim.
+
+Fusion preserves units at the library boundary. Missing units combine only
+with missing units, arbitrary units combine only by exact equality, and the
+fixed-duration units `ms`, `s`, `min`, and `h` convert to the first estimate's
+unit before weighting. Every other mixture throws a typed `FusionUnitError`;
+adapters surface that same failure instead of maintaining separate checks.
 
 ## Conditional confidence (§10.2)
 

package/dist/src/fuse.d.ts

@@ -17,6 +17,8 @@ import { Claim } from '@cavelang/core';
 export type Estimate = {
     readonly mean: number;
     readonly sigma: number;
+    /** Unit shared by the mean and σ. Missing is a distinct dimension. */
+    readonly unit?: string;
     /** Epistemic confidence used as a precision multiplier (default 1). */
     readonly conf?: number;
 };
@@ -25,7 +27,14 @@ export type Posterior = {
     readonly sigma: number;
     /** Total weighted precision Σ wᵢ. */
     readonly precision: number;
+    /** Unit in which the posterior mean and σ are expressed. */
+    readonly unit?: string;
 };
+/** Typed boundary failure for estimates that do not share a compatible unit. */
+export declare class FusionUnitError extends Error {
+    readonly units: readonly (string | undefined)[];
+    constructor(units: readonly (string | undefined)[]);
+}
 /**
  * Fuses estimates into a posterior. Estimates with `conf` 0 or a
  * non-positive σ contribute nothing and are skipped.

package/dist/src/fuse.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fuse.d.ts","sourceRoot":"","sources":["../../src/fuse.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAA;AAEtC,uEAAuE;AACvE,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,uEAAuE;IACvE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CACvB,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,qCAAqC;IACrC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC3B,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,WAAW,SAAS,QAAQ,EAAE,KAAG,SAAS,GAAG,SAoBjE,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,UAAU,GAAI,OAAO,KAAK,CAAC,CAAC,KAAG,SAAS,GAAG,QAcvD,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,UAAU,GAAI,QAAQ,SAAS,KAAK,CAAC,CAAC,EAAE,KAAG,SAAS,GAAG,SAI/D,CAAA"}
+{"version":3,"file":"fuse.d.ts","sourceRoot":"","sources":["../../src/fuse.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,KAAK,EAAe,MAAM,gBAAgB,CAAA;AAEnD,uEAAuE;AACvE,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,sEAAsE;IACtE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,uEAAuE;IACvE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CACvB,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,qCAAqC;IACrC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,4DAA4D;IAC5D,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CACvB,CAAA;AAiBD,gFAAgF;AAChF,qBAAa,eAAgB,SAAQ,KAAK;IACxC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAA;gBAEnC,KAAK,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE;CAOnD;AAED;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,WAAW,SAAS,QAAQ,EAAE,KAAG,SAAS,GAAG,SAyBjE,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,UAAU,GAAI,OAAO,KAAK,CAAC,CAAC,KAAG,SAAS,GAAG,QAuBvD,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,UAAU,GAAI,QAAQ,SAAS,KAAK,CAAC,CAAC,EAAE,KAAG,SAAS,GAAG,SAI/D,CAAA"}

package/dist/src/fuse.js

@@ -12,31 +12,63 @@
  * The math is an implementation layer, not required syntax (spec §10) —
  * CAVE itself only stores claims and metadata.
  */
-import { Claim } from '@cavelang/core';
+import { Claim, Uncertainty } from '@cavelang/core';
+const durationScale = {
+    ms: 0.001,
+    s: 1,
+    min: 60,
+    h: 3_600
+};
+const conversionFactor = (from, to) => {
+    if (from === to)
+        return 1;
+    if (from === undefined || to === undefined)
+        return undefined;
+    const fromScale = durationScale[from];
+    const toScale = durationScale[to];
+    return fromScale === undefined || toScale === undefined ? undefined : fromScale / toScale;
+};
+/** Typed boundary failure for estimates that do not share a compatible unit. */
+export class FusionUnitError extends Error {
+    units;
+    constructor(units) {
+        const unique = [...new Set(units)].sort((a, b) => (a ?? '').localeCompare(b ?? ''));
+        super('cannot fuse mixed units: ' +
+            `${unique.map(unit => unit ?? '(none)').join(', ')} — convert the estimates to one unit first`);
+        this.name = 'FusionUnitError';
+        this.units = unique;
+    }
+}
 /**
  * Fuses estimates into a posterior. Estimates with `conf` 0 or a
  * non-positive σ contribute nothing and are skipped.
  * @returns `undefined` when no estimate carries usable weight.
  */
 export const fuse = (estimates) => {
+    estimates.forEach(estimate => Uncertainty.validateSigma(estimate.sigma));
+    const usable = estimates.filter(estimate => (estimate.conf ?? 1) > 0);
+    if (usable.length === 0)
+        return undefined;
+    const unit = usable[0].unit;
+    const factors = usable.map(estimate => conversionFactor(estimate.unit, unit));
+    if (factors.some(factor => factor === undefined)) {
+        throw new FusionUnitError(usable.map(estimate => estimate.unit));
+    }
     let totalWeight = 0;
     let weightedSum = 0;
-    for (const estimate of estimates) {
+    for (const [index, estimate] of usable.entries()) {
         const conf = estimate.conf ?? 1;
-        if (!(estimate.sigma > 0) || !(conf > 0)) {
-            continue;
-        }
-        const weight = conf / (estimate.sigma * estimate.sigma);
+        const factor = factors[index];
+        const sigma = estimate.sigma * factor;
+        const weight = conf / (sigma * sigma);
         totalWeight += weight;
-        weightedSum += weight * estimate.mean;
-    }
-    if (totalWeight === 0) {
-        return undefined;
+        weightedSum += weight * estimate.mean * factor;
     }
     return {
         mean: weightedSum / totalWeight,
         sigma: 1 / Math.sqrt(totalWeight),
-        precision: totalWeight
+        precision: totalWeight,
+        ...unit === undefined ? {} : { unit }
     };
 };
 /**
@@ -56,7 +88,16 @@ export const estimateOf = (claim) => {
     if (sigma === undefined || !(sigma > 0)) {
         return undefined;
     }
-    return { mean: value.num, sigma, conf: claim.conf };
+    const factor = conversionFactor(claim.delta?.unit, value.unit);
+    if (factor === undefined) {
+        throw new FusionUnitError([value.unit, claim.delta?.unit]);
+    }
+    return {
+        mean: value.num,
+        sigma: sigma * factor,
+        ...value.unit === undefined ? {} : { unit: value.unit },
+        conf: claim.conf
+    };
 };
 /**
  * Fuses the numeric estimates found in `claims` (spec §10.1's worked

package/dist/src/fuse.js.map

@@ -1 +1 @@
-{"version":3,"file":"fuse.js","sourceRoot":"","sources":["../../src/fuse.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAA;AAiBtC;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,SAA8B,EAAyB,EAAE;IAC5E,IAAI,WAAW,GAAG,CAAC,CAAA;IACnB,IAAI,WAAW,GAAG,CAAC,CAAA;IACnB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,IAAI,CAAC,CAAA;QAC/B,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC;YACzC,SAAQ;QACV,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;QACvD,WAAW,IAAI,MAAM,CAAA;QACrB,WAAW,IAAI,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAA;IACvC,CAAC;IACD,IAAI,WAAW,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO;QACL,IAAI,EAAE,WAAW,GAAG,WAAW;QAC/B,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC;QACjC,SAAS,EAAE,WAAW;KACvB,CAAA;AACH,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAc,EAAwB,EAAE;IACjE,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAA;IAC7B,MAAM,KAAK,GACT,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9C,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC3C,SAAS,CAAA;IACX,IAAI,KAAK,EAAE,GAAG,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IAClC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;QACxC,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAA;AACrD,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAA0B,EAAyB,EAAE,CAC9E,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;IAC1B,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;IAClC,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;AACjD,CAAC,CAAC,CAAC,CAAA"}
+{"version":3,"file":"fuse.js","sourceRoot":"","sources":["../../src/fuse.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAA;AAqBnD,MAAM,aAAa,GAAqC;IACtD,EAAE,EAAE,KAAK;IACT,CAAC,EAAE,CAAC;IACJ,GAAG,EAAE,EAAE;IACP,CAAC,EAAE,KAAK;CACT,CAAA;AAED,MAAM,gBAAgB,GAAG,CAAC,IAAwB,EAAE,EAAsB,EAAsB,EAAE;IAChG,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,CAAC,CAAA;IACzB,IAAI,IAAI,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC5D,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,CAAA;IACrC,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,CAAC,CAAA;IACjC,OAAO,SAAS,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,GAAG,OAAO,CAAA;AAC3F,CAAC,CAAA;AAED,gFAAgF;AAChF,MAAM,OAAO,eAAgB,SAAQ,KAAK;IAC/B,KAAK,CAAiC;IAE/C,YAAY,KAAsC;QAChD,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;QACnF,KAAK,CAAC,2BAA2B;YAC/B,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAA;QACjG,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAA;QAC7B,IAAI,CAAC,KAAK,GAAG,MAAM,CAAA;IACrB,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,SAA8B,EAAyB,EAAE;IAC5E,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,WAAW,CAAC,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAA;IACxE,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;IACrE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IACzC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAA;IAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAA;IAC7E,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA;IAClE,CAAC;IACD,IAAI,WAAW,GAAG,CAAC,CAAA;IACnB,IAAI,WAAW,GAAG,CAAC,CAAA;IACnB,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,IAAI,CAAC,CAAA;QAC/B,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAE,CAAA;QAC9B,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,GAAG,MAAM,CAAA;QACrC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,GAAG,KAAK,CAAC,CAAA;QACrC,WAAW,IAAI,MAAM,CAAA;QACrB,WAAW,IAAI,MAAM,GAAG,QAAQ,CAAC,IAAI,GAAG,MAAM,CAAA;IAChD,CAAC;IACD,OAAO;QACL,IAAI,EAAE,WAAW,GAAG,WAAW;QAC/B,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC;QACjC,SAAS,EAAE,WAAW;QACtB,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE;KACtC,CAAA;AACH,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAc,EAAwB,EAAE;IACjE,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAA;IAC7B,MAAM,KAAK,GACT,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9C,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC3C,SAAS,CAAA;IACX,IAAI,KAAK,EAAE,GAAG,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IAClC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;QACxC,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;IAC9D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,IAAI,eAAe,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAA;IAC5D,CAAC;IACD,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,GAAG;QACf,KAAK,EAAE,KAAK,GAAG,MAAM;QACrB,GAAG,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;QACvD,IAAI,EAAE,KAAK,CAAC,IAAI;KACjB,CAAA;AACH,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAA0B,EAAyB,EAAE,CAC9E,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;IAC1B,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;IAClC,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;AACjD,CAAC,CAAC,CAAC,CAAA"}

package/dist/src/index.d.ts

@@ -6,7 +6,7 @@
  * independence assumption (§10.2), and competing-hypothesis helpers
  * (§10.3). No storage, no I/O.
  */
-export { fuse, fuseClaims, estimateOf } from './fuse.ts';
+export { FusionUnitError, fuse, fuseClaims, estimateOf } from './fuse.ts';
 export type { Estimate, Posterior } from './fuse.ts';
 export { noisyAndIndependent, normalizeHypotheses, hypothesisGap } from './conditional.ts';
 //# sourceMappingURL=index.d.ts.map

package/dist/src/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,WAAW,CAAA;AACxD,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AACpD,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,eAAe,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,WAAW,CAAA;AACzE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AACpD,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA"}

package/dist/src/index.js

@@ -6,6 +6,6 @@
  * independence assumption (§10.2), and competing-hypothesis helpers
  * (§10.3). No storage, no I/O.
  */
-export { fuse, fuseClaims, estimateOf } from "./fuse.js";
+export { FusionUnitError, fuse, fuseClaims, estimateOf } from "./fuse.js";
 export { noisyAndIndependent, normalizeHypotheses, hypothesisGap } from "./conditional.js";
 //# sourceMappingURL=index.js.map

package/dist/src/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,WAAW,CAAA;AAExD,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,eAAe,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,WAAW,CAAA;AAEzE,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA"}

package/package.json

@@ -1,8 +1,18 @@
 {
   "name": "@cavelang/fusion",
-  "version": "0.27.14",
+  "version": "0.29.1",
   "type": "module",
   "description": "CAVE probabilistic layer — Bayesian fusion of numeric estimates, noisy-AND conditional confidence, hypothesis helpers.",
+  "keywords": [
+    "cave",
+    "knowledge-graph",
+    "knowledge-representation",
+    "typescript"
+  ],
+  "homepage": "https://github.com/mirek/cave#readme",
+  "bugs": {
+    "url": "https://github.com/mirek/cave/issues"
+  },
   "license": "CC0-1.0",
   "author": "Mirek Rusin (https://github.com/mirek)",
   "repository": {
@@ -26,17 +36,18 @@
     "src",
     "!src/**/*.test.ts",
     "README.md",
-    "License.md"
+    "License.md",
+    "Authors.md"
   ],
   "publishConfig": {
     "access": "public"
   },
   "dependencies": {
-    "@cavelang/core": "0.27.14"
+    "@cavelang/core": "0.29.1"
   },
   "scripts": {
     "build": "tsc -b",
-    "test": "node --disable-warning=ExperimentalWarning --test 'test/*.test.ts'",
+    "test": "node --disable-warning=ExperimentalWarning --test \"test/*.test.ts\"",
     "typecheck": "tsc -b"
   }
 }

package/src/fuse.ts

@@ -13,12 +13,14 @@
  * CAVE itself only stores claims and metadata.
  */
 
-import { Claim } from '@cavelang/core'
+import { Claim, Uncertainty } from '@cavelang/core'
 
 /** One numeric estimate: mean, σ, and confidence weight p ∈ (0, 1]. */
 export type Estimate = {
   readonly mean: number
   readonly sigma: number
+  /** Unit shared by the mean and σ. Missing is a distinct dimension. */
+  readonly unit?: string
   /** Epistemic confidence used as a precision multiplier (default 1). */
   readonly conf?: number
 }
@@ -28,6 +30,36 @@ export type Posterior = {
   readonly sigma: number
   /** Total weighted precision Σ wᵢ. */
   readonly precision: number
+  /** Unit in which the posterior mean and σ are expressed. */
+  readonly unit?: string
+}
+
+const durationScale: Readonly<Record<string, number>> = {
+  ms: 0.001,
+  s: 1,
+  min: 60,
+  h: 3_600
+}
+
+const conversionFactor = (from: undefined | string, to: undefined | string): undefined | number => {
+  if (from === to) return 1
+  if (from === undefined || to === undefined) return undefined
+  const fromScale = durationScale[from]
+  const toScale = durationScale[to]
+  return fromScale === undefined || toScale === undefined ? undefined : fromScale / toScale
+}
+
+/** Typed boundary failure for estimates that do not share a compatible unit. */
+export class FusionUnitError extends Error {
+  readonly units: readonly (string | undefined)[]
+
+  constructor(units: readonly (string | undefined)[]) {
+    const unique = [...new Set(units)].sort((a, b) => (a ?? '').localeCompare(b ?? ''))
+    super('cannot fuse mixed units: ' +
+      `${unique.map(unit => unit ?? '(none)').join(', ')} — convert the estimates to one unit first`)
+    this.name = 'FusionUnitError'
+    this.units = unique
+  }
 }
 
 /**
@@ -36,24 +68,29 @@ export type Posterior = {
  * @returns `undefined` when no estimate carries usable weight.
  */
 export const fuse = (estimates: readonly Estimate[]): undefined | Posterior => {
+  estimates.forEach(estimate => Uncertainty.validateSigma(estimate.sigma))
+  const usable = estimates.filter(estimate => (estimate.conf ?? 1) > 0)
+  if (usable.length === 0) return undefined
+  const unit = usable[0]!.unit
+  const factors = usable.map(estimate => conversionFactor(estimate.unit, unit))
+  if (factors.some(factor => factor === undefined)) {
+    throw new FusionUnitError(usable.map(estimate => estimate.unit))
+  }
   let totalWeight = 0
   let weightedSum = 0
-  for (const estimate of estimates) {
+  for (const [index, estimate] of usable.entries()) {
     const conf = estimate.conf ?? 1
-    if (!(estimate.sigma > 0) || !(conf > 0)) {
-      continue
-    }
-    const weight = conf / (estimate.sigma * estimate.sigma)
+    const factor = factors[index]!
+    const sigma = estimate.sigma * factor
+    const weight = conf / (sigma * sigma)
     totalWeight += weight
-    weightedSum += weight * estimate.mean
-  }
-  if (totalWeight === 0) {
-    return undefined
+    weightedSum += weight * estimate.mean * factor
   }
   return {
     mean: weightedSum / totalWeight,
     sigma: 1 / Math.sqrt(totalWeight),
-    precision: totalWeight
+    precision: totalWeight,
+    ...unit === undefined ? {} : { unit }
   }
 }
 
@@ -75,7 +112,16 @@ export const estimateOf = (claim: Claim.t): undefined | Estimate => {
   if (sigma === undefined || !(sigma > 0)) {
     return undefined
   }
-  return { mean: value.num, sigma, conf: claim.conf }
+  const factor = conversionFactor(claim.delta?.unit, value.unit)
+  if (factor === undefined) {
+    throw new FusionUnitError([value.unit, claim.delta?.unit])
+  }
+  return {
+    mean: value.num,
+    sigma: sigma * factor,
+    ...value.unit === undefined ? {} : { unit: value.unit },
+    conf: claim.conf
+  }
 }
 
 /**

package/src/index.ts

@@ -7,6 +7,6 @@
  * (§10.3). No storage, no I/O.
  */
 
-export { fuse, fuseClaims, estimateOf } from './fuse.ts'
+export { FusionUnitError, fuse, fuseClaims, estimateOf } from './fuse.ts'
 export type { Estimate, Posterior } from './fuse.ts'
 export { noisyAndIndependent, normalizeHypotheses, hypothesisGap } from './conditional.ts'