@mindpeeker/negentropy 0.1.0

package/dist/experiment/session.js

@@ -0,0 +1,245 @@
+import { NegentropyError } from '../errors.js';
+import { calibrate, theoreticalCalibration } from '../stats/calibration.js';
+import { DEFAULT_BITS_PER_TRIAL, trialStream } from '../stats/trials.js';
+import { stoufferZ } from '../stats/zscores.js';
+import { analyzeTrials } from './batch.js';
+const STEP_TIMEOUT = Symbol('step-timeout');
+function stepDeadline(ms) {
+    let id;
+    const promise = new Promise((resolve) => {
+        id = setTimeout(() => resolve(STEP_TIMEOUT), ms);
+    });
+    return { promise, cancel: () => clearTimeout(id) };
+}
+/**
+ * Live experiment over N sources in lock-step rounds: each tick awaits one
+ * trial from every (still-active) source, so z vectors are step-aligned with
+ * bounded memory — one trial per source in flight. Lazy: no source I/O until
+ * the first tick is pulled. A stalled source stalls the round (that is the
+ * honest behavior for netvar, which needs simultaneity); under
+ * missing:'skip' the round proceeds with whoever answered and a source that
+ * ends is dropped from the roster.
+ */
+export function session(opts) {
+    const { sources } = opts;
+    if (sources.length === 0) {
+        throw new NegentropyError('invalid_config', 'session needs at least one source');
+    }
+    const names = new Set(sources.map((s) => s.name));
+    if (names.size !== sources.length) {
+        throw new NegentropyError('invalid_config', 'source names must be unique');
+    }
+    const config = opts.registration ? opts.registration.config : opts;
+    const bitsPerTrial = config.trial?.bitsPerTrial ?? DEFAULT_BITS_PER_TRIAL;
+    const missing = config.missing ?? 'error';
+    const stepTimeoutMs = opts.stepTimeoutMs ?? 30_000;
+    const now = opts.now ?? (() => Date.now());
+    const events = config.events ?? [];
+    // recorded per-source trial data (post-calibration) + the tick timeline
+    const sums = sources.map(() => []);
+    const trialTimes = sources.map(() => []);
+    let calibrations = Array.isArray(config.calibration)
+        ? null // resolved in start() with validation
+        : config.calibration && typeof config.calibration === 'object'
+            ? null // burn-in — resolved live
+            : sources.map((s) => theoreticalCalibration(s.name, bitsPerTrial));
+    let stopped = false;
+    let generator = null;
+    const iterators = [];
+    const registrationHash = opts.registration?.hash;
+    let abortPromise = null;
+    if (opts.signal) {
+        const signal = opts.signal;
+        abortPromise = new Promise((_, reject) => {
+            signal.addEventListener('abort', () => reject(new NegentropyError('aborted', 'session aborted')), { once: true });
+        });
+        abortPromise.catch(() => { }); // guard: session may end before anyone awaits it
+    }
+    function resolveProvidedCalibrations() {
+        const provided = config.calibration;
+        return sources.map((s) => {
+            const cal = provided.find((c) => c.source === s.name && c.bitsPerTrial === bitsPerTrial);
+            if (!cal) {
+                throw new NegentropyError('calibration_required', `no calibration provided for ${s.name}@${bitsPerTrial} bits`, { source: s.name });
+            }
+            return cal;
+        });
+    }
+    async function pullOne(index) {
+        const deadline = stepDeadline(stepTimeoutMs);
+        try {
+            const raced = await Promise.race([
+                iterators[index].next(),
+                deadline.promise,
+                ...(abortPromise ? [abortPromise] : []),
+            ]);
+            if (raced === STEP_TIMEOUT) {
+                throw new NegentropyError('timeout', `no trial from ${sources[index]?.name} within ${stepTimeoutMs}ms`, {
+                    source: sources[index]?.name,
+                });
+            }
+            if (raced.done) {
+                throw new NegentropyError('source_ended', `${sources[index]?.name} ended during calibration`, {
+                    source: sources[index]?.name,
+                });
+            }
+            return raced.value;
+        }
+        finally {
+            deadline.cancel();
+        }
+    }
+    async function burnInCalibration(burn) {
+        if (!Number.isInteger(burn) || burn < 2) {
+            throw new NegentropyError('invalid_config', `calibration.trials must be an integer ≥ 2, got ${burn}`);
+        }
+        return Promise.all(sources.map(async (source, i) => {
+            const collected = new Float64Array(burn);
+            for (let t = 0; t < burn; t++)
+                collected[t] = (await pullOne(i)).sum;
+            return calibrate({ source: source.name, bitsPerTrial, sums: collected }, { minTrials: burn });
+        }));
+    }
+    async function* run() {
+        if (opts.signal?.aborted)
+            throw new NegentropyError('aborted', 'session aborted before start');
+        for (const source of sources) {
+            iterators.push(trialStream(source, {
+                ...config.trial,
+                signal: opts.signal,
+                ...(opts.now && { now: opts.now }),
+            }));
+        }
+        if (!calibrations) {
+            calibrations = Array.isArray(config.calibration)
+                ? resolveProvidedCalibrations()
+                : await burnInCalibration(config.calibration.trials);
+        }
+        const active = sources.map(() => true);
+        const pending = sources.map(() => null);
+        let step = 0;
+        let runningNetvar = 0;
+        let runningCumdev = 0;
+        try {
+            while (!stopped && active.some(Boolean)) {
+                for (let i = 0; i < sources.length; i++) {
+                    if (active[i] && pending[i] === null) {
+                        pending[i] = iterators[i].next();
+                    }
+                }
+                const deadline = stepDeadline(stepTimeoutMs);
+                let outcomes;
+                try {
+                    outcomes = await Promise.all(sources.map((_, i) => active[i] && pending[i]
+                        ? Promise.race([
+                            pending[i],
+                            deadline.promise,
+                            ...(abortPromise ? [abortPromise] : []),
+                        ])
+                        : Promise.resolve(null)));
+                }
+                finally {
+                    deadline.cancel();
+                }
+                if (stopped)
+                    break;
+                const zBySource = new Float64Array(sources.length).fill(Number.NaN);
+                const present = [];
+                const presentZ = [];
+                for (let i = 0; i < sources.length; i++) {
+                    const outcome = outcomes[i];
+                    if (outcome === null || outcome === undefined)
+                        continue;
+                    if (outcome === STEP_TIMEOUT) {
+                        if (missing === 'error') {
+                            throw new NegentropyError('timeout', `no trial from ${sources[i]?.name} within ${stepTimeoutMs}ms`, { source: sources[i]?.name });
+                        }
+                        continue; // pending promise carries into the next round
+                    }
+                    pending[i] = null;
+                    if (outcome.done) {
+                        if (missing === 'error') {
+                            throw new NegentropyError('source_ended', `${sources[i]?.name} ended mid-session`, {
+                                source: sources[i]?.name,
+                            });
+                        }
+                        active[i] = false;
+                        continue;
+                    }
+                    const trial = outcome.value;
+                    const cal = calibrations[i];
+                    const z = (trial.sum - cal.mean) / cal.sd;
+                    zBySource[i] = z;
+                    present.push(sources[i]?.name);
+                    presentZ.push(z);
+                    sums[i].push(trial.sum);
+                    trialTimes[i].push(trial.at ?? now());
+                }
+                if (present.length === 0) {
+                    if (!active.some(Boolean))
+                        break;
+                    continue; // everyone slow this round — keep waiting
+                }
+                const at = now();
+                const stouffer = stoufferZ(presentZ);
+                runningNetvar += stouffer * stouffer;
+                runningCumdev += stouffer * stouffer - 1;
+                const activeEvents = events
+                    .filter((event) => windowContains(event, step, at))
+                    .map((event) => event.id);
+                yield {
+                    step,
+                    at,
+                    zBySource,
+                    present,
+                    stouffer,
+                    netvar: runningNetvar,
+                    cumdev: runningCumdev,
+                    activeEvents,
+                };
+                step++;
+            }
+        }
+        finally {
+            for (const iterator of iterators)
+                void iterator.return(undefined).catch(() => { });
+        }
+    }
+    function windowContains(event, step, at) {
+        if (event.start instanceof Date && event.end instanceof Date) {
+            return at >= event.start.getTime() && at < event.end.getTime();
+        }
+        return (typeof event.start === 'number' &&
+            typeof event.end === 'number' &&
+            step >= event.start &&
+            step < event.end);
+    }
+    return {
+        [Symbol.asyncIterator]() {
+            generator ??= run();
+            return generator;
+        },
+        stop() {
+            stopped = true;
+            for (const iterator of iterators)
+                void iterator.return(undefined).catch(() => { });
+            if (!calibrations) {
+                throw new NegentropyError('insufficient_data', 'session stopped before live calibration completed');
+            }
+            const series = sources.map((source, i) => ({
+                source: source.name,
+                bitsPerTrial,
+                sums: Float64Array.from(sums[i]),
+                timestamps: Float64Array.from(trialTimes[i]),
+            }));
+            const result = analyzeTrials(series, {
+                trial: config.trial,
+                calibration: calibrations,
+                events,
+                missing: 'skip', // roster changes/misses make exact alignment impossible live
+            });
+            return registrationHash !== undefined ? { ...result, registration: registrationHash } : result;
+        },
+    };
+}
+//# sourceMappingURL=session.js.map

package/dist/experiment/session.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"session.js","sourceRoot":"","sources":["../../src/experiment/session.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAC9C,OAAO,EAAE,SAAS,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAA;AAC3E,OAAO,EAAE,sBAAsB,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AACxE,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAA;AAE/C,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAwC1C,MAAM,YAAY,GAAkB,MAAM,CAAC,cAAc,CAAC,CAAA;AAE1D,SAAS,YAAY,CAAC,EAAU;IAC9B,IAAI,EAA6C,CAAA;IACjD,MAAM,OAAO,GAAG,IAAI,OAAO,CAAsB,CAAC,OAAO,EAAE,EAAE;QAC3D,EAAE,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,CAAA;IAClD,CAAC,CAAC,CAAA;IACF,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAA;AACpD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,OAAO,CAAC,IAAoB;IAC1C,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAA;IACxB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,eAAe,CAAC,gBAAgB,EAAE,mCAAmC,CAAC,CAAA;IAClF,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IACjD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;QAClC,MAAM,IAAI,eAAe,CAAC,gBAAgB,EAAE,6BAA6B,CAAC,CAAA;IAC5E,CAAC;IACD,MAAM,MAAM,GAAqB,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAA;IACpF,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,EAAE,YAAY,IAAI,sBAAsB,CAAA;IACzE,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,IAAI,OAAO,CAAA;IACzC,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,IAAI,MAAM,CAAA;IAClD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAA;IAC1C,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,CAAA;IAElC,wEAAwE;IACxE,MAAM,IAAI,GAAe,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAA;IAC9C,MAAM,UAAU,GAAe,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAA;IACpD,IAAI,YAAY,GAAyB,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC;QACxE,CAAC,CAAC,IAAI,CAAC,sCAAsC;QAC7C,CAAC,CAAC,MAAM,CAAC,WAAW,IAAI,OAAO,MAAM,CAAC,WAAW,KAAK,QAAQ;YAC5D,CAAC,CAAC,IAAI,CAAC,0BAA0B;YACjC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAA;IAEtE,IAAI,OAAO,GAAG,KAAK,CAAA;IACnB,IAAI,SAAS,GAAuC,IAAI,CAAA;IACxD,MAAM,SAAS,GAA4B,EAAE,CAAA;IAC7C,MAAM,gBAAgB,GAAuB,IAAI,CAAC,YAAY,EAAE,IAAI,CAAA;IAEpE,IAAI,YAAY,GAA0B,IAAI,CAAA;IAC9C,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;QAC1B,YAAY,GAAG,IAAI,OAAO,CAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE;YAC9C,MAAM,CAAC,gBAAgB,CACrB,OAAO,EACP,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,eAAe,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC,EAC/D,EAAE,IAAI,EAAE,IAAI,EAAE,CACf,CAAA;QACH,CAAC,CAAC,CAAA;QACF,YAAY,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAA,CAAC,iDAAiD;IAChF,CAAC;IAED,SAAS,2BAA2B;QAClC,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAqC,CAAA;QAC7D,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACvB,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,YAAY,KAAK,YAAY,CAAC,CAAA;YACxF,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,MAAM,IAAI,eAAe,CACvB,sBAAsB,EACtB,+BAA+B,CAAC,CAAC,IAAI,IAAI,YAAY,OAAO,EAC5D,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,CACnB,CAAA;YACH,CAAC;YACD,OAAO,GAAG,CAAA;QACZ,CAAC,CAAC,CAAA;IACJ,CAAC;IAED,KAAK,UAAU,OAAO,CAAC,KAAa;QAClC,MAAM,QAAQ,GAAG,YAAY,CAAC,aAAa,CAAC,CAAA;QAC5C,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC;gBAC9B,SAAS,CAAC,KAAK,CAA2B,CAAC,IAAI,EAAE;gBAClD,QAAQ,CAAC,OAAO;gBAChB,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;aACxC,CAAC,CAAA;YACF,IAAI,KAAK,KAAK,YAAY,EAAE,CAAC;gBAC3B,MAAM,IAAI,eAAe,CACvB,SAAS,EACT,iBAAiB,OAAO,CAAC,KAAK,CAAC,EAAE,IAAI,WAAW,aAAa,IAAI,EACjE;oBACE,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,IAAI;iBAC7B,CACF,CAAA;YACH,CAAC;YACD,IAAK,KAA+B,CAAC,IAAI,EAAE,CAAC;gBAC1C,MAAM,IAAI,eAAe,CACvB,cAAc,EACd,GAAG,OAAO,CAAC,KAAK,CAAC,EAAE,IAAI,2BAA2B,EAClD;oBACE,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,IAAI;iBAC7B,CACF,CAAA;YACH,CAAC;YACD,OAAQ,KAA+B,CAAC,KAAc,CAAA;QACxD,CAAC;gBAAS,CAAC;YACT,QAAQ,CAAC,MAAM,EAAE,CAAA;QACnB,CAAC;IACH,CAAC;IAED,KAAK,UAAU,iBAAiB,CAAC,IAAY;QAC3C,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,eAAe,CACvB,gBAAgB,EAChB,kDAAkD,IAAI,EAAE,CACzD,CAAA;QACH,CAAC;QACD,OAAO,OAAO,CAAC,GAAG,CAChB,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE;YAC9B,MAAM,SAAS,GAAG,IAAI,YAAY,CAAC,IAAI,CAAC,CAAA;YACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE;gBAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;YACpE,OAAO,SAAS,CACd,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE,EACtD,EAAE,SAAS,EAAE,IAAI,EAAE,CACpB,CAAA;QACH,CAAC,CAAC,CACH,CAAA;IACH,CAAC;IAED,KAAK,SAAS,CAAC,CAAC,GAAG;QACjB,IAAI,IAAI,CAAC,MAAM,EAAE,OAAO;YAAE,MAAM,IAAI,eAAe,CAAC,SAAS,EAAE,8BAA8B,CAAC,CAAA;QAC9F,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,SAAS,CAAC,IAAI,CACZ,WAAW,CAAC,MAAM,EAAE;gBAClB,GAAG,MAAM,CAAC,KAAK;gBACf,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;aACnC,CAAC,CACH,CAAA;QACH,CAAC;QACD,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,YAAY,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC;gBAC9C,CAAC,CAAC,2BAA2B,EAAE;gBAC/B,CAAC,CAAC,MAAM,iBAAiB,CAAE,MAAM,CAAC,WAAkC,CAAC,MAAM,CAAC,CAAA;QAChF,CAAC;QAED,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAA;QACtC,MAAM,OAAO,GAA8C,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAA;QAClF,IAAI,IAAI,GAAG,CAAC,CAAA;QACZ,IAAI,aAAa,GAAG,CAAC,CAAA;QACrB,IAAI,aAAa,GAAG,CAAC,CAAA;QAErB,IAAI,CAAC;YACH,OAAO,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;wBACrC,OAAO,CAAC,CAAC,CAAC,GAAI,SAAS,CAAC,CAAC,CAA2B,CAAC,IAAI,EAAE,CAAA;oBAC7D,CAAC;gBACH,CAAC;gBACD,MAAM,QAAQ,GAAG,YAAY,CAAC,aAAa,CAAC,CAAA;gBAC5C,IAAI,QAAgE,CAAA;gBACpE,IAAI,CAAC;oBACH,QAAQ,GAAG,MAAM,OAAO,CAAC,GAAG,CAC1B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACnB,MAAM,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC;wBACrB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;4BACX,OAAO,CAAC,CAAC,CAAmC;4BAC5C,QAAQ,CAAC,OAAO;4BAChB,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;yBACxC,CAAC;wBACJ,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAC1B,CACF,CAAA;gBACH,CAAC;wBAAS,CAAC;oBACT,QAAQ,CAAC,MAAM,EAAE,CAAA;gBACnB,CAAC;gBACD,IAAI,OAAO;oBAAE,MAAK;gBAElB,MAAM,SAAS,GAAG,IAAI,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;gBACnE,MAAM,OAAO,GAAa,EAAE,CAAA;gBAC5B,MAAM,QAAQ,GAAa,EAAE,CAAA;gBAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;oBAC3B,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS;wBAAE,SAAQ;oBACvD,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;wBAC7B,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;4BACxB,MAAM,IAAI,eAAe,CACvB,SAAS,EACT,iBAAiB,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,WAAW,aAAa,IAAI,EAC7D,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAC7B,CAAA;wBACH,CAAC;wBACD,SAAQ,CAAC,8CAA8C;oBACzD,CAAC;oBACD,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAA;oBACjB,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;wBACjB,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;4BACxB,MAAM,IAAI,eAAe,CAAC,cAAc,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,oBAAoB,EAAE;gCACjF,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI;6BACzB,CAAC,CAAA;wBACJ,CAAC;wBACD,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAA;wBACjB,SAAQ;oBACV,CAAC;oBACD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAc,CAAA;oBACpC,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAgB,CAAA;oBAC1C,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,CAAA;oBACzC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;oBAChB,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAc,CAAC,CAAA;oBACxC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CACf;oBAAC,IAAI,CAAC,CAAC,CAAc,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CACrC;oBAAC,UAAU,CAAC,CAAC,CAAc,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;gBACtD,CAAC;gBAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACzB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;wBAAE,MAAK;oBAChC,SAAQ,CAAC,0CAA0C;gBACrD,CAAC;gBAED,MAAM,EAAE,GAAG,GAAG,EAAE,CAAA;gBAChB,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAA;gBACpC,aAAa,IAAI,QAAQ,GAAG,QAAQ,CAAA;gBACpC,aAAa,IAAI,QAAQ,GAAG,QAAQ,GAAG,CAAC,CAAA;gBACxC,MAAM,YAAY,GAAG,MAAM;qBACxB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;qBAClD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;gBAE3B,MAAM;oBACJ,IAAI;oBACJ,EAAE;oBACF,SAAS;oBACT,OAAO;oBACP,QAAQ;oBACR,MAAM,EAAE,aAAa;oBACrB,MAAM,EAAE,aAAa;oBACrB,YAAY;iBACb,CAAA;gBACD,IAAI,EAAE,CAAA;YACR,CAAC;QACH,CAAC;gBAAS,CAAC;YACT,KAAK,MAAM,QAAQ,IAAI,SAAS;gBAAE,KAAK,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAA;QACnF,CAAC;IACH,CAAC;IAED,SAAS,cAAc,CAAC,KAAgB,EAAE,IAAY,EAAE,EAAU;QAChE,IAAI,KAAK,CAAC,KAAK,YAAY,IAAI,IAAI,KAAK,CAAC,GAAG,YAAY,IAAI,EAAE,CAAC;YAC7D,OAAO,EAAE,IAAI,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,CAAA;QAChE,CAAC;QACD,OAAO,CACL,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;YAC/B,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ;YAC7B,IAAI,IAAI,KAAK,CAAC,KAAK;YACnB,IAAI,GAAG,KAAK,CAAC,GAAG,CACjB,CAAA;IACH,CAAC;IAED,OAAO;QACL,CAAC,MAAM,CAAC,aAAa,CAAC;YACpB,SAAS,KAAK,GAAG,EAAE,CAAA;YACnB,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,IAAI;YACF,OAAO,GAAG,IAAI,CAAA;YACd,KAAK,MAAM,QAAQ,IAAI,SAAS;gBAAE,KAAK,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAA;YACjF,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClB,MAAM,IAAI,eAAe,CACvB,mBAAmB,EACnB,mDAAmD,CACpD,CAAA;YACH,CAAC;YACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;gBACzC,MAAM,EAAE,MAAM,CAAC,IAAI;gBACnB,YAAY;gBACZ,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAa,CAAC;gBAC5C,UAAU,EAAE,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAa,CAAC;aACzD,CAAC,CAAC,CAAA;YACH,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,EAAE;gBACnC,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,WAAW,EAAE,YAAY;gBACzB,MAAM;gBACN,OAAO,EAAE,MAAM,EAAE,6DAA6D;aAC/E,CAAC,CAAA;YACF,OAAO,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,YAAY,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,MAAM,CAAA;QAChG,CAAC;KACF,CAAA;AACH,CAAC"}

package/dist/experiment/types.d.ts

@@ -0,0 +1,68 @@
+import type { Calibration, TrialConfig, TrialSeries } from '../types.js';
+export type EventStatistic = 'netvar' | 'devvar' | 'correlation';
+/**
+ * A pre-registered event window. Registering the statistic and window BEFORE
+ * looking at the data is what gives the resulting p-value its stated meaning
+ * — see `registerExperiment` and the pointwise-envelope caveat in cumdev.
+ */
+export interface EventSpec {
+    id: string;
+    /** Hypothesis label, recorded verbatim in the result. */
+    label?: string;
+    statistic: EventStatistic;
+    /** Step index (number) or wall-clock Date (needs trial timestamps). Inclusive. */
+    start: number | Date;
+    /** Step index or Date. Exclusive. */
+    end: number | Date;
+}
+export interface ExperimentConfig {
+    trial?: TrialConfig;
+    /**
+     * 'theoretical' (default): Binomial(k, ½) normalization.
+     * Calibration[]: pre-fit calibrations, one per source.
+     * { trials: n }: burn the first n trials per source as a calibration
+     * window, disjoint from analysis by construction (recommend n ≥ 500).
+     * Event windows then index the post-calibration remainder.
+     */
+    calibration?: 'theoretical' | readonly Calibration[] | {
+        trials: number;
+    };
+    /** May be empty for pure live monitoring — the composite is then NaN. */
+    events?: readonly EventSpec[];
+    /**
+     * A source with no trial for a step: 'error' (default, fail-closed) or
+     * 'skip' — batch truncates to the shortest series; live combines over the
+     * sources that answered each round.
+     */
+    missing?: 'error' | 'skip';
+}
+export interface EventResult {
+    id: string;
+    label?: string;
+    statistic: EventStatistic;
+    value: number;
+    df: number;
+    pValue: number;
+    /** Normal-equivalent z of the one-sided pValue — the composite input. */
+    z: number;
+    steps: number;
+    /** cumsum(Z_s² − 1) inside the window — plot alongside significanceEnvelope(steps). */
+    cumulative: Float64Array;
+    sources: readonly string[];
+}
+export interface ExperimentComposite {
+    /** Stouffer across event z's. NaN when there were no events. */
+    z: number;
+    pValue: number;
+    events: number;
+}
+export interface ExperimentResult {
+    events: readonly EventResult[];
+    composite: ExperimentComposite;
+    calibration: readonly Calibration[];
+    /** Full archival trial data (post-calibration split) — reanalysis without re-running. */
+    series: readonly TrialSeries[];
+    /** SHA-256 hash of the pre-registered config, when one was used. */
+    registration?: string;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/experiment/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/experiment/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAExE,MAAM,MAAM,cAAc,GAAG,QAAQ,GAAG,QAAQ,GAAG,aAAa,CAAA;AAEhE;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAA;IACV,yDAAyD;IACzD,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,SAAS,EAAE,cAAc,CAAA;IACzB,kFAAkF;IAClF,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IACpB,qCAAqC;IACrC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAA;CACnB;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB;;;;;;OAMG;IACH,WAAW,CAAC,EAAE,aAAa,GAAG,SAAS,WAAW,EAAE,GAAG;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;IACzE,yEAAyE;IACzE,MAAM,CAAC,EAAE,SAAS,SAAS,EAAE,CAAA;IAC7B;;;;OAIG;IACH,OAAO,CAAC,EAAE,OAAO,GAAG,MAAM,CAAA;CAC3B;AAED,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAA;IACV,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,SAAS,EAAE,cAAc,CAAA;IACzB,KAAK,EAAE,MAAM,CAAA;IACb,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,EAAE,MAAM,CAAA;IACd,yEAAyE;IACzE,CAAC,EAAE,MAAM,CAAA;IACT,KAAK,EAAE,MAAM,CAAA;IACb,uFAAuF;IACvF,UAAU,EAAE,YAAY,CAAA;IACxB,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;CAC3B;AAED,MAAM,WAAW,mBAAmB;IAClC,gEAAgE;IAChE,CAAC,EAAE,MAAM,CAAA;IACT,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,SAAS,WAAW,EAAE,CAAA;IAC9B,SAAS,EAAE,mBAAmB,CAAA;IAC9B,WAAW,EAAE,SAAS,WAAW,EAAE,CAAA;IACnC,yFAAyF;IACzF,MAAM,EAAE,SAAS,WAAW,EAAE,CAAA;IAC9B,oEAAoE;IACpE,YAAY,CAAC,EAAE,MAAM,CAAA;CACtB"}

package/dist/experiment/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/experiment/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/experiment/types.ts"],"names":[],"mappings":""}

package/dist/extract/accounting.d.ts

@@ -0,0 +1,52 @@
+import type { ToeplitzExtractor } from './toeplitz.js';
+/**
+ * Honest min-entropy bookkeeping through an extraction pipeline. Claims are
+ * conservative and only ever shrink relative to what the bytes could hold;
+ * every step records itself in the trace (mirroring EntropyResult.sources).
+ */
+export interface EntropyClaim {
+    /** Total claimed min-entropy in bits. Invariant: 0 ≤ minEntropy ≤ 8·bytes. */
+    minEntropy: number;
+    /** Statistical distance from uniform accumulated by extraction steps (union bound). */
+    epsilon: number;
+    basis: 'declared' | 'measured' | 'derived';
+    /** Conditions the claim rests on (e.g. iid input bits, seed independence). */
+    assumptions: readonly string[];
+}
+export type PipelineOp = 'debias:von-neumann' | 'debias:peres' | 'condition:sha256' | 'condition:hmac' | 'extract:toeplitz';
+export interface PipelineStep {
+    op: PipelineOp;
+    inBytes: number;
+    outBytes: number;
+    inMinEntropy: number;
+    outMinEntropy: number;
+}
+export interface AccountedBytes {
+    bytes: Uint8Array;
+    claim: EntropyClaim;
+    trace: readonly PipelineStep[];
+}
+/** SP 800-90B §3.1.5.1.2 vetted-conditioning output credit: min(h_in, 0.999·n_out). */
+export declare function vettedOutputEntropy(inputMinEntropy: number, outputBits: number): number;
+/** Start a pipeline: wrap raw bytes with a declared or measured per-byte claim. */
+export declare function claimBytes(bytes: Uint8Array, minEntropyPerByte: number, basis?: 'declared' | 'measured'): AccountedBytes;
+/**
+ * Debias the input's BITS (von Neumann or Peres). Output bits are exactly
+ * uniform under the iid-bits assumption, so the packed output gets full
+ * credit — there is no distributional slack parameter, hence the assumption
+ * tag rather than an epsilon. Trailing bits that don't fill a byte are
+ * dropped (and not credited).
+ */
+export declare function debiasAccounted(input: AccountedBytes, method?: 'von-neumann' | 'peres'): AccountedBytes;
+/** SP 800-90B vetted conditioning of the whole input into one 32-byte block. */
+export declare function conditionAccounted(input: AccountedBytes, opts?: {
+    mode?: 'sha256' | 'hmac';
+    key?: Uint8Array;
+}): Promise<AccountedBytes>;
+/**
+ * Toeplitz extraction with leftover-hash-lemma enforcement: requires
+ * claim.minEntropy ≥ outputBits + 2·log₂(1/ε). Statistical distances add
+ * across composed extractions (union bound).
+ */
+export declare function extractAccounted(input: AccountedBytes, extractor: ToeplitzExtractor, epsilon?: number): AccountedBytes;
+//# sourceMappingURL=accounting.d.ts.map

package/dist/extract/accounting.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"accounting.d.ts","sourceRoot":"","sources":["../../src/extract/accounting.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AAEtD;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,8EAA8E;IAC9E,UAAU,EAAE,MAAM,CAAA;IAClB,uFAAuF;IACvF,OAAO,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,UAAU,GAAG,UAAU,GAAG,SAAS,CAAA;IAC1C,8EAA8E;IAC9E,WAAW,EAAE,SAAS,MAAM,EAAE,CAAA;CAC/B;AAED,MAAM,MAAM,UAAU,GAClB,oBAAoB,GACpB,cAAc,GACd,kBAAkB,GAClB,gBAAgB,GAChB,kBAAkB,CAAA;AAEtB,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,UAAU,CAAA;IACd,OAAO,EAAE,MAAM,CAAA;IACf,QAAQ,EAAE,MAAM,CAAA;IAChB,YAAY,EAAE,MAAM,CAAA;IACpB,aAAa,EAAE,MAAM,CAAA;CACtB;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,UAAU,CAAA;IACjB,KAAK,EAAE,YAAY,CAAA;IACnB,KAAK,EAAE,SAAS,YAAY,EAAE,CAAA;CAC/B;AAED,uFAAuF;AACvF,wBAAgB,mBAAmB,CAAC,eAAe,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAEvF;AAED,mFAAmF;AACnF,wBAAgB,UAAU,CACxB,KAAK,EAAE,UAAU,EACjB,iBAAiB,EAAE,MAAM,EACzB,KAAK,GAAE,UAAU,GAAG,UAAuB,GAC1C,cAAc,CAiBhB;AAcD;;;;;;GAMG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,cAAc,EACrB,MAAM,GAAE,aAAa,GAAG,OAAiB,GACxC,cAAc,CAsBhB;AAED,gFAAgF;AAChF,wBAAsB,kBAAkB,CACtC,KAAK,EAAE,cAAc,EACrB,IAAI,GAAE;IAAE,IAAI,CAAC,EAAE,QAAQ,GAAG,MAAM,CAAC;IAAC,GAAG,CAAC,EAAE,UAAU,CAAA;CAAO,GACxD,OAAO,CAAC,cAAc,CAAC,CA2BzB;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,cAAc,EACrB,SAAS,EAAE,iBAAiB,EAC5B,OAAO,SAAW,GACjB,cAAc,CAmChB"}

package/dist/extract/accounting.js

@@ -0,0 +1,130 @@
+import { NegentropyError } from '../errors.js';
+import { toBits } from '../internal/bytes.js';
+import { hmacCondition, sha256Condition } from './condition.js';
+import { peres, vonNeumann } from './debias.js';
+/** SP 800-90B §3.1.5.1.2 vetted-conditioning output credit: min(h_in, 0.999·n_out). */
+export function vettedOutputEntropy(inputMinEntropy, outputBits) {
+    return Math.min(inputMinEntropy, 0.999 * outputBits);
+}
+/** Start a pipeline: wrap raw bytes with a declared or measured per-byte claim. */
+export function claimBytes(bytes, minEntropyPerByte, basis = 'declared') {
+    if (!(minEntropyPerByte > 0 && minEntropyPerByte <= 8)) {
+        throw new NegentropyError('invalid_config', `minEntropyPerByte must be in (0, 8], got ${minEntropyPerByte}`);
+    }
+    return {
+        bytes,
+        claim: {
+            minEntropy: bytes.length * minEntropyPerByte,
+            epsilon: 0,
+            basis,
+            assumptions: [`${basis} h_in = ${minEntropyPerByte} bits/byte`],
+        },
+        trace: [],
+    };
+}
+/** Pack 0/1 bits MSB-first into bytes; trailing bits (<8) are dropped. */
+function packBits(bits) {
+    const byteCount = Math.floor(bits.length / 8);
+    const out = new Uint8Array(byteCount);
+    for (let i = 0; i < byteCount; i++) {
+        let value = 0;
+        for (let j = 0; j < 8; j++)
+            value = (value << 1) | (bits[i * 8 + j] & 1);
+        out[i] = value;
+    }
+    return out;
+}
+/**
+ * Debias the input's BITS (von Neumann or Peres). Output bits are exactly
+ * uniform under the iid-bits assumption, so the packed output gets full
+ * credit — there is no distributional slack parameter, hence the assumption
+ * tag rather than an epsilon. Trailing bits that don't fill a byte are
+ * dropped (and not credited).
+ */
+export function debiasAccounted(input, method = 'peres') {
+    const bits = toBits(input.bytes);
+    const debiased = method === 'peres' ? peres(bits) : vonNeumann(bits);
+    const bytes = packBits(debiased);
+    const outMinEntropy = bytes.length * 8;
+    const step = {
+        op: method === 'peres' ? 'debias:peres' : 'debias:von-neumann',
+        inBytes: input.bytes.length,
+        outBytes: bytes.length,
+        inMinEntropy: input.claim.minEntropy,
+        outMinEntropy,
+    };
+    return {
+        bytes,
+        claim: {
+            minEntropy: outMinEntropy,
+            epsilon: input.claim.epsilon,
+            basis: 'derived',
+            assumptions: [...input.claim.assumptions, 'iid input bits (debiaser requirement)'],
+        },
+        trace: [...input.trace, step],
+    };
+}
+/** SP 800-90B vetted conditioning of the whole input into one 32-byte block. */
+export async function conditionAccounted(input, opts = {}) {
+    const mode = opts.mode ?? 'sha256';
+    if (mode === 'hmac' && !opts.key) {
+        throw new NegentropyError('invalid_config', 'hmac conditioning requires a key');
+    }
+    const bytes = mode === 'hmac'
+        ? await hmacCondition(opts.key, input.bytes)
+        : await sha256Condition(input.bytes);
+    const outMinEntropy = vettedOutputEntropy(input.claim.minEntropy, bytes.length * 8);
+    const step = {
+        op: mode === 'hmac' ? 'condition:hmac' : 'condition:sha256',
+        inBytes: input.bytes.length,
+        outBytes: bytes.length,
+        inMinEntropy: input.claim.minEntropy,
+        outMinEntropy,
+    };
+    return {
+        bytes,
+        claim: {
+            minEntropy: outMinEntropy,
+            epsilon: input.claim.epsilon,
+            basis: 'derived',
+            assumptions: [...input.claim.assumptions, 'SP 800-90B vetted conditioning component'],
+        },
+        trace: [...input.trace, step],
+    };
+}
+/**
+ * Toeplitz extraction with leftover-hash-lemma enforcement: requires
+ * claim.minEntropy ≥ outputBits + 2·log₂(1/ε). Statistical distances add
+ * across composed extractions (union bound).
+ */
+export function extractAccounted(input, extractor, epsilon = 2 ** -32) {
+    if (!(epsilon > 0 && epsilon < 1)) {
+        throw new NegentropyError('invalid_config', `epsilon must be in (0, 1), got ${epsilon}`);
+    }
+    if (extractor.inputBits !== input.bytes.length * 8) {
+        throw new NegentropyError('invalid_config', `extractor expects ${extractor.inputBits} input bits, accounted input has ${input.bytes.length * 8}`);
+    }
+    const required = extractor.outputBits + 2 * Math.log2(1 / epsilon);
+    if (input.claim.minEntropy < required) {
+        throw new NegentropyError('invalid_config', `leftover hash lemma violated: need ≥ ${required} bits of min-entropy for ${extractor.outputBits} output bits at ε=${epsilon}, have ${input.claim.minEntropy}`);
+    }
+    const bytes = extractor.extract(input.bytes);
+    const step = {
+        op: 'extract:toeplitz',
+        inBytes: input.bytes.length,
+        outBytes: bytes.length,
+        inMinEntropy: input.claim.minEntropy,
+        outMinEntropy: extractor.outputBits,
+    };
+    return {
+        bytes,
+        claim: {
+            minEntropy: extractor.outputBits,
+            epsilon: input.claim.epsilon + epsilon,
+            basis: 'derived',
+            assumptions: [...input.claim.assumptions, 'uniform seed independent of the input'],
+        },
+        trace: [...input.trace, step],
+    };
+}
+//# sourceMappingURL=accounting.js.map

package/dist/extract/accounting.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"accounting.js","sourceRoot":"","sources":["../../src/extract/accounting.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAC7C,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAA;AAC/D,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAuC/C,uFAAuF;AACvF,MAAM,UAAU,mBAAmB,CAAC,eAAuB,EAAE,UAAkB;IAC7E,OAAO,IAAI,CAAC,GAAG,CAAC,eAAe,EAAE,KAAK,GAAG,UAAU,CAAC,CAAA;AACtD,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,UAAU,CACxB,KAAiB,EACjB,iBAAyB,EACzB,QAAiC,UAAU;IAE3C,IAAI,CAAC,CAAC,iBAAiB,GAAG,CAAC,IAAI,iBAAiB,IAAI,CAAC,CAAC,EAAE,CAAC;QACvD,MAAM,IAAI,eAAe,CACvB,gBAAgB,EAChB,4CAA4C,iBAAiB,EAAE,CAChE,CAAA;IACH,CAAC;IACD,OAAO;QACL,KAAK;QACL,KAAK,EAAE;YACL,UAAU,EAAE,KAAK,CAAC,MAAM,GAAG,iBAAiB;YAC5C,OAAO,EAAE,CAAC;YACV,KAAK;YACL,WAAW,EAAE,CAAC,GAAG,KAAK,WAAW,iBAAiB,YAAY,CAAC;SAChE;QACD,KAAK,EAAE,EAAE;KACV,CAAA;AACH,CAAC;AAED,0EAA0E;AAC1E,SAAS,QAAQ,CAAC,IAAuB;IACvC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAC7C,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,SAAS,CAAC,CAAA;IACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,IAAI,KAAK,GAAG,CAAC,CAAA;QACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,KAAK,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAE,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAY,GAAG,CAAC,CAAC,CAAA;QACpF,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAA;IAChB,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAC7B,KAAqB,EACrB,SAAkC,OAAO;IAEzC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAChC,MAAM,QAAQ,GAAG,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;IACpE,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAA;IAChC,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAA;IACtC,MAAM,IAAI,GAAiB;QACzB,EAAE,EAAE,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,oBAAoB;QAC9D,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;QAC3B,QAAQ,EAAE,KAAK,CAAC,MAAM;QACtB,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,UAAU;QACpC,aAAa;KACd,CAAA;IACD,OAAO;QACL,KAAK;QACL,KAAK,EAAE;YACL,UAAU,EAAE,aAAa;YACzB,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO;YAC5B,KAAK,EAAE,SAAS;YAChB,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,uCAAuC,CAAC;SACnF;QACD,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC;KAC9B,CAAA;AACH,CAAC;AAED,gFAAgF;AAChF,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,KAAqB,EACrB,OAAuD,EAAE;IAEzD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAA;IAClC,IAAI,IAAI,KAAK,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;QACjC,MAAM,IAAI,eAAe,CAAC,gBAAgB,EAAE,kCAAkC,CAAC,CAAA;IACjF,CAAC;IACD,MAAM,KAAK,GACT,IAAI,KAAK,MAAM;QACb,CAAC,CAAC,MAAM,aAAa,CAAC,IAAI,CAAC,GAAiB,EAAE,KAAK,CAAC,KAAK,CAAC;QAC1D,CAAC,CAAC,MAAM,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IACxC,MAAM,aAAa,GAAG,mBAAmB,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IACnF,MAAM,IAAI,GAAiB;QACzB,EAAE,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,kBAAkB;QAC3D,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;QAC3B,QAAQ,EAAE,KAAK,CAAC,MAAM;QACtB,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,UAAU;QACpC,aAAa;KACd,CAAA;IACD,OAAO;QACL,KAAK;QACL,KAAK,EAAE;YACL,UAAU,EAAE,aAAa;YACzB,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO;YAC5B,KAAK,EAAE,SAAS;YAChB,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,0CAA0C,CAAC;SACtF;QACD,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC;KAC9B,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAqB,EACrB,SAA4B,EAC5B,OAAO,GAAG,CAAC,IAAI,CAAC,EAAE;IAElB,IAAI,CAAC,CAAC,OAAO,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,eAAe,CAAC,gBAAgB,EAAE,kCAAkC,OAAO,EAAE,CAAC,CAAA;IAC1F,CAAC;IACD,IAAI,SAAS,CAAC,SAAS,KAAK,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,eAAe,CACvB,gBAAgB,EAChB,qBAAqB,SAAS,CAAC,SAAS,oCAAoC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CACrG,CAAA;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,UAAU,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,OAAO,CAAC,CAAA;IAClE,IAAI,KAAK,CAAC,KAAK,CAAC,UAAU,GAAG,QAAQ,EAAE,CAAC;QACtC,MAAM,IAAI,eAAe,CACvB,gBAAgB,EAChB,wCAAwC,QAAQ,4BAA4B,SAAS,CAAC,UAAU,qBAAqB,OAAO,UAAU,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,CAC/J,CAAA;IACH,CAAC;IACD,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAC5C,MAAM,IAAI,GAAiB;QACzB,EAAE,EAAE,kBAAkB;QACtB,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;QAC3B,QAAQ,EAAE,KAAK,CAAC,MAAM;QACtB,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,UAAU;QACpC,aAAa,EAAE,SAAS,CAAC,UAAU;KACpC,CAAA;IACD,OAAO;QACL,KAAK;QACL,KAAK,EAAE;YACL,UAAU,EAAE,SAAS,CAAC,UAAU;YAChC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,GAAG,OAAO;YACtC,KAAK,EAAE,SAAS;YAChB,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,uCAAuC,CAAC;SACnF;QACD,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC;KAC9B,CAAA;AACH,CAAC"}

package/dist/extract/condition.d.ts

@@ -0,0 +1,23 @@
+/** SHA-256 conditioning (SP 800-90B vetted component). 32 bytes out. */
+export declare function sha256Condition(input: Uint8Array): Promise<Uint8Array>;
+/** HMAC-SHA-256 conditioning (SP 800-90B vetted component). 32 bytes out. */
+export declare function hmacCondition(key: Uint8Array, input: Uint8Array): Promise<Uint8Array>;
+export interface ConditionStreamOptions {
+    /** Assessed min-entropy of the raw input, bits per byte (0 < h ≤ 8). */
+    minEntropyPerByte: number;
+    /** Pool safetyFactor × 256 credited bits per 32-byte output block. Default 2. */
+    safetyFactor?: number;
+    mode?: 'sha256' | 'hmac';
+    /** Required for 'hmac'. */
+    key?: Uint8Array;
+    signal?: AbortSignal;
+}
+/**
+ * Streaming conditioner: pools raw bytes until the credited min-entropy
+ * reaches safetyFactor × 256 bits, then emits one 32-byte conditioned block.
+ * Lazy and pull-based. A trailing under-filled pool is dropped, never
+ * emitted — no partial-credit output. Health testing is deliberately
+ * separate (`ContinuousHealth`) so raw analysis and conditioning compose.
+ */
+export declare function conditionStream(raw: AsyncIterable<Uint8Array>, opts: ConditionStreamOptions): AsyncGenerator<Uint8Array>;
+//# sourceMappingURL=condition.d.ts.map

package/dist/extract/condition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"condition.d.ts","sourceRoot":"","sources":["../../src/extract/condition.ts"],"names":[],"mappings":"AAGA,wEAAwE;AACxE,wBAAsB,eAAe,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAE5E;AAED,6EAA6E;AAC7E,wBAAsB,aAAa,CAAC,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAS3F;AAED,MAAM,WAAW,sBAAsB;IACrC,wEAAwE;IACxE,iBAAiB,EAAE,MAAM,CAAA;IACzB,iFAAiF;IACjF,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,IAAI,CAAC,EAAE,QAAQ,GAAG,MAAM,CAAA;IACxB,2BAA2B;IAC3B,GAAG,CAAC,EAAE,UAAU,CAAA;IAChB,MAAM,CAAC,EAAE,WAAW,CAAA;CACrB;AAED;;;;;;GAMG;AACH,wBAAuB,eAAe,CACpC,GAAG,EAAE,aAAa,CAAC,UAAU,CAAC,EAC9B,IAAI,EAAE,sBAAsB,GAC3B,cAAc,CAAC,UAAU,CAAC,CAkC5B"}

package/dist/extract/condition.js

@@ -0,0 +1,50 @@
+import { NegentropyError } from '../errors.js';
+import { concatBytes } from '../internal/bytes.js';
+/** SHA-256 conditioning (SP 800-90B vetted component). 32 bytes out. */
+export async function sha256Condition(input) {
+    return new Uint8Array(await crypto.subtle.digest('SHA-256', input));
+}
+/** HMAC-SHA-256 conditioning (SP 800-90B vetted component). 32 bytes out. */
+export async function hmacCondition(key, input) {
+    const cryptoKey = await crypto.subtle.importKey('raw', key, { name: 'HMAC', hash: 'SHA-256' }, false, ['sign']);
+    return new Uint8Array(await crypto.subtle.sign('HMAC', cryptoKey, input));
+}
+/**
+ * Streaming conditioner: pools raw bytes until the credited min-entropy
+ * reaches safetyFactor × 256 bits, then emits one 32-byte conditioned block.
+ * Lazy and pull-based. A trailing under-filled pool is dropped, never
+ * emitted — no partial-credit output. Health testing is deliberately
+ * separate (`ContinuousHealth`) so raw analysis and conditioning compose.
+ */
+export async function* conditionStream(raw, opts) {
+    const { minEntropyPerByte, mode = 'sha256', key, signal } = opts;
+    const safetyFactor = opts.safetyFactor ?? 2;
+    if (!(minEntropyPerByte > 0 && minEntropyPerByte <= 8)) {
+        throw new NegentropyError('invalid_config', `minEntropyPerByte must be in (0, 8], got ${minEntropyPerByte}`);
+    }
+    if (!(safetyFactor >= 1)) {
+        throw new NegentropyError('invalid_config', `safetyFactor must be ≥ 1, got ${safetyFactor}`);
+    }
+    if (mode === 'hmac' && !key) {
+        throw new NegentropyError('invalid_config', 'hmac conditioning requires a key');
+    }
+    const bytesPerBlock = Math.ceil((safetyFactor * 256) / minEntropyPerByte);
+    const digest = (block) => mode === 'hmac' ? hmacCondition(key, block) : sha256Condition(block);
+    let pool = [];
+    let pooled = 0;
+    for await (const chunk of raw) {
+        if (signal?.aborted)
+            throw new NegentropyError('aborted', 'condition stream aborted');
+        pool.push(chunk);
+        pooled += chunk.length;
+        while (pooled >= bytesPerBlock) {
+            const all = concatBytes(pool);
+            const block = all.slice(0, bytesPerBlock);
+            const rest = all.slice(bytesPerBlock);
+            pool = rest.length > 0 ? [rest] : [];
+            pooled = rest.length;
+            yield await digest(block);
+        }
+    }
+}
+//# sourceMappingURL=condition.js.map

package/dist/extract/condition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"condition.js","sourceRoot":"","sources":["../../src/extract/condition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAA;AAElD,wEAAwE;AACxE,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,KAAiB;IACrD,OAAO,IAAI,UAAU,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,KAAqB,CAAC,CAAC,CAAA;AACrF,CAAC;AAED,6EAA6E;AAC7E,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,GAAe,EAAE,KAAiB;IACpE,MAAM,SAAS,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,SAAS,CAC7C,KAAK,EACL,GAAmB,EACnB,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EACjC,KAAK,EACL,CAAC,MAAM,CAAC,CACT,CAAA;IACD,OAAO,IAAI,UAAU,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,KAAqB,CAAC,CAAC,CAAA;AAC3F,CAAC;AAaD;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,SAAS,CAAC,CAAC,eAAe,CACpC,GAA8B,EAC9B,IAA4B;IAE5B,MAAM,EAAE,iBAAiB,EAAE,IAAI,GAAG,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,IAAI,CAAA;IAChE,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,IAAI,CAAC,CAAA;IAC3C,IAAI,CAAC,CAAC,iBAAiB,GAAG,CAAC,IAAI,iBAAiB,IAAI,CAAC,CAAC,EAAE,CAAC;QACvD,MAAM,IAAI,eAAe,CACvB,gBAAgB,EAChB,4CAA4C,iBAAiB,EAAE,CAChE,CAAA;IACH,CAAC;IACD,IAAI,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,eAAe,CAAC,gBAAgB,EAAE,iCAAiC,YAAY,EAAE,CAAC,CAAA;IAC9F,CAAC;IACD,IAAI,IAAI,KAAK,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC;QAC5B,MAAM,IAAI,eAAe,CAAC,gBAAgB,EAAE,kCAAkC,CAAC,CAAA;IACjF,CAAC;IACD,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,YAAY,GAAG,GAAG,CAAC,GAAG,iBAAiB,CAAC,CAAA;IACzE,MAAM,MAAM,GAAG,CAAC,KAAiB,EAAE,EAAE,CACnC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,GAAiB,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAA;IAEpF,IAAI,IAAI,GAAiB,EAAE,CAAA;IAC3B,IAAI,MAAM,GAAG,CAAC,CAAA;IACd,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;QAC9B,IAAI,MAAM,EAAE,OAAO;YAAE,MAAM,IAAI,eAAe,CAAC,SAAS,EAAE,0BAA0B,CAAC,CAAA;QACrF,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAChB,MAAM,IAAI,KAAK,CAAC,MAAM,CAAA;QACtB,OAAO,MAAM,IAAI,aAAa,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,CAAA;YAC7B,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,aAAa,CAAC,CAAA;YACzC,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,CAAA;YACrC,IAAI,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;YACpC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;YACpB,MAAM,MAAM,MAAM,CAAC,KAAK,CAAC,CAAA;QAC3B,CAAC;IACH,CAAC;AACH,CAAC"}