@smthrs/gateway 0.34.0 → 1.0.0-rc.3

package/dist/esm/internal/callEvents.d.ts

@@ -0,0 +1,97 @@
+/**
+ * Shared call lifecycle identity rules for full and incremental projections.
+ *
+ * @since 1.0.0
+ */
+/** A sparse historical observation is readable without inventing missing fields.
+ * @category models
+ * @since 1.0.0
+ */
+export interface CallObservation {
+    readonly kind?: string | undefined;
+    readonly runId?: string | undefined;
+    readonly sequence?: number | undefined;
+    readonly payload?: unknown;
+}
+/** Interpret only the native producer's versioned, run-scoped outbox facts.
+ * @category projections
+ * @since 1.0.0
+ */
+export declare const nativeCallEvent: <Event extends CallObservation>(event: Event) => Event | undefined;
+/** Normalize a checkpoint only within its recorded execution and source.
+ * Replayed prefixes retain the generation that first recorded the work.
+ * @category projections
+ * @since 1.0.0
+ */
+export declare const nativeStepEvent: <Event extends CallObservation>(event: Event) => Event | undefined;
+/** Scope call matching to the recorded invocation, including its generation.
+ * @category projections
+ * @since 1.0.0
+ */
+export declare const callScope: (event: CallObservation) => string | undefined;
+/**
+ * Identity first; the upgrade fallback can consume only unidentified starts.
+ *
+ * @category projections
+ * @since 1.0.0
+ */
+export declare const openCallIndex: (open: ReadonlyArray<{
+    readonly flowName: string;
+    readonly callId?: string | undefined;
+    readonly scope?: string | undefined;
+}>, callId: string | undefined, flowName: string | undefined, scope?: string) => number;
+/**
+ * Deduplicate identified call lifecycles and committed checkpoint observations.
+ *
+ * @category projections
+ * @since 1.0.0
+ */
+export declare const callEventKey: (event: CallObservation) => string | undefined;
+/**
+ * Native facts supersede identified telemetry while retaining its display
+ * position. Unidentified history cannot acquire an invented identity.
+ *
+ * @category projections
+ * @since 1.0.0
+ */
+export declare const uniqueCallEvents: <Event extends CallObservation>(events: ReadonlyArray<Event>) => ReadonlyArray<Event>;
+/**
+ * What {@link CallEventFilter} did with one event.
+ *
+ * `rewrite` means the event superseded one the filter already kept: the batch
+ * rule replaces the earlier event in place, so a reader holding the earlier
+ * output must refold from the whole journal.
+ *
+ * @category projections
+ * @since 1.0.0
+ */
+export type CallEventVerdict<Event> = {
+    readonly _tag: "keep";
+    readonly event: Event;
+} | {
+    readonly _tag: "drop";
+} | {
+    readonly _tag: "rewrite";
+};
+/**
+ * {@link uniqueCallEvents} one event at a time, for a journal read in order.
+ *
+ * The sets are exactly the ones the batch builds, so a filter fed a whole
+ * journal holds the state the batch ended with. Only one case cannot be
+ * answered in order: a native fact whose key an earlier telemetry event
+ * already claimed. That verdict is `rewrite`.
+ *
+ * @category projections
+ * @since 1.0.0
+ */
+export interface CallEventFilter<Event extends CallObservation> {
+    readonly push: (event: Event) => CallEventVerdict<Event>;
+}
+/**
+ * Builds an empty {@link CallEventFilter}.
+ *
+ * @category projections
+ * @since 1.0.0
+ */
+export declare const callEventFilter: <Event extends CallObservation>() => CallEventFilter<Event>;
+//# sourceMappingURL=callEvents.d.ts.map

package/dist/esm/internal/callEvents.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"callEvents.d.ts","sourceRoot":"","sources":["../../../src/internal/callEvents.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAKH;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAClC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACnC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACtC,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;CAC3B;AAED;;;GAGG;AACH,eAAO,MAAM,eAAe,GAAI,KAAK,SAAS,eAAe,EAAE,OAAO,KAAK,KAAG,KAAK,GAAG,SAsBrF,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,eAAe,GAAI,KAAK,SAAS,eAAe,EAAE,OAAO,KAAK,KAAG,KAAK,GAAG,SA8BrF,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,SAAS,GAAI,OAAO,eAAe,KAAG,MAAM,GAAG,SAe3D,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,aAAa,GACxB,MAAM,aAAa,CACjB;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CACzG,EACD,QAAQ,MAAM,GAAG,SAAS,EAC1B,UAAU,MAAM,GAAG,SAAS,EAC5B,QAAQ,MAAM,KACb,MAQF,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,YAAY,GAAI,OAAO,eAAe,KAAG,MAAM,GAAG,SAgB9D,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB,GAAI,KAAK,SAAS,eAAe,EAC5D,QAAQ,aAAa,CAAC,KAAK,CAAC,KAC3B,aAAa,CAAC,KAAK,CA2BrB,CAAA;AAED;;;;;;;;;GASG;AACH,MAAM,MAAM,gBAAgB,CAAC,KAAK,IAC9B;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GAChD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAA;AAEhC;;;;;;;;;;GAUG;AACH,MAAM,WAAW,eAAe,CAAC,KAAK,SAAS,eAAe;IAC5D,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,gBAAgB,CAAC,KAAK,CAAC,CAAA;CACzD;AAED;;;;;GAKG;AACH,eAAO,MAAM,eAAe,GAAI,KAAK,SAAS,eAAe,OAAK,eAAe,CAAC,KAAK,CA6BtF,CAAA"}

package/dist/esm/internal/callEvents.js

@@ -0,0 +1,206 @@
+/**
+ * Shared call lifecycle identity rules for full and incremental projections.
+ *
+ * @since 1.0.0
+ */
+import { CallFact, StepFact } from "@smthrs/journal";
+import * as Schema from "effect/Schema";
+/** Interpret only the native producer's versioned, run-scoped outbox facts.
+ * @category projections
+ * @since 1.0.0
+ */
+export const nativeCallEvent = (event) => {
+    if (event.kind !== "control.engine.event" || typeof event.payload !== "object" || event.payload === null) {
+        return undefined;
+    }
+    const envelope = event.payload;
+    if (envelope.version !== 1 || envelope.eventType !== CallFact.eventType || typeof envelope.executionId !== "string" ||
+        typeof envelope.generation !== "number" || !Number.isSafeInteger(envelope.generation) || envelope.generation < 0 ||
+        typeof envelope.sequence !== "number" || !Number.isSafeInteger(envelope.sequence) || envelope.sequence < 0 ||
+        typeof envelope.emittedAtMs !== "number" || !Number.isFinite(envelope.emittedAtMs) || envelope.emittedAtMs < 0 ||
+        envelope.sourceSequence !== 0)
+        return undefined;
+    const fact = Schema.decodeUnknownOption(CallFact.Fact)(envelope.payload);
+    if (fact._tag === "None" || fact.value.identity.runId !== event.runId ||
+        envelope.sourceId !== `call-fact-v1:${fact.value.callId}:${fact.value.phase}`)
+        return undefined;
+    return {
+        ...event,
+        kind: fact.value.phase === "invoked" ? "control.agent.cell-call-started" : "control.agent.cell-call-settled",
+        payload: JSON.parse(JSON.stringify({ ...fact.value, callFactVersion: 1, at: envelope.emittedAtMs }))
+    };
+};
+/** Normalize a checkpoint only within its recorded execution and source.
+ * Replayed prefixes retain the generation that first recorded the work.
+ * @category projections
+ * @since 1.0.0
+ */
+export const nativeStepEvent = (event) => {
+    if (event.kind !== "control.engine.event" || typeof event.payload !== "object" || event.payload === null) {
+        return undefined;
+    }
+    const envelope = event.payload;
+    if (envelope.version !== 1 || envelope.eventType !== StepFact.eventType ||
+        typeof envelope.generation !== "number" || !Number.isSafeInteger(envelope.generation) || envelope.generation < 0 ||
+        typeof envelope.sequence !== "number" || !Number.isSafeInteger(envelope.sequence) || envelope.sequence < 0 ||
+        typeof envelope.emittedAtMs !== "number" || !Number.isFinite(envelope.emittedAtMs) || envelope.emittedAtMs < 0)
+        return undefined;
+    const decoded = Schema.decodeUnknownOption(StepFact.Fact)(envelope.payload);
+    if (decoded._tag === "None")
+        return undefined;
+    const fact = decoded.value;
+    const step = fact.step;
+    if (envelope.executionId !== step.executionId || envelope.sourceSequence !== fact.sourceSequence ||
+        envelope.sourceId !== `step-fact-v1:${step.stepId}:${step.attempt}:${step.ask}:${step.retry}` ||
+        fact.generation > envelope.generation || !Number.isFinite(fact.at) ||
+        typeof fact.payload !== "object" || fact.payload === null || Array.isArray(fact.payload))
+        return undefined;
+    return {
+        ...event,
+        kind: fact.eventType,
+        payload: {
+            ...fact.payload,
+            step: { ...step, generation: fact.generation, frame: fact.frame, ordinal: fact.ordinal },
+            at: fact.at
+        }
+    };
+};
+/** Scope call matching to the recorded invocation, including its generation.
+ * @category projections
+ * @since 1.0.0
+ */
+export const callScope = (event) => {
+    const payload = event.payload;
+    if (typeof payload !== "object" || payload === null || !("step" in payload))
+        return undefined;
+    const step = payload.step;
+    if (typeof step !== "object" || step === null || Array.isArray(step))
+        return undefined;
+    const scope = step;
+    return JSON.stringify([
+        scope.executionId,
+        scope.stepId,
+        scope.attempt,
+        scope.ask,
+        scope.retry,
+        scope.scope,
+        scope.generation
+    ]);
+};
+/**
+ * Identity first; the upgrade fallback can consume only unidentified starts.
+ *
+ * @category projections
+ * @since 1.0.0
+ */
+export const openCallIndex = (open, callId, flowName, scope) => {
+    const identified = callId === undefined
+        ? -1
+        : open.findIndex((call) => call.callId === callId && call.scope === scope);
+    if (identified >= 0)
+        return identified;
+    return open.findIndex((call) => call.scope === scope && call.callId === undefined && (flowName === undefined || call.flowName === flowName));
+};
+/**
+ * Deduplicate identified call lifecycles and committed checkpoint observations.
+ *
+ * @category projections
+ * @since 1.0.0
+ */
+export const callEventKey = (event) => {
+    const stepEvent = nativeStepEvent(event);
+    const original = event;
+    event = stepEvent ?? nativeCallEvent(event) ?? event;
+    const payload = event.payload;
+    if ((event.kind === "control.agent.cell-call-started" || event.kind === "control.agent.cell-call-settled") &&
+        typeof payload === "object" && payload !== null && "callId" in payload && typeof payload.callId === "string") {
+        return JSON.stringify([event.kind, payload.callId, callScope(event)]);
+    }
+    // An older checkpoint may not have a call ID. Its durable source identity
+    // still deduplicates replay, including after the event body is evicted.
+    if (stepEvent === undefined)
+        return undefined;
+    const envelope = original.payload;
+    return JSON.stringify(["step-fact", original.runId, callScope(stepEvent), envelope.sourceSequence]);
+};
+/**
+ * Native facts supersede identified telemetry while retaining its display
+ * position. Unidentified history cannot acquire an invented identity.
+ *
+ * @category projections
+ * @since 1.0.0
+ */
+export const uniqueCallEvents = (events) => {
+    const native = new Map();
+    const normalized = events.map((event) => {
+        const fact = nativeStepEvent(event) ?? nativeCallEvent(event);
+        if (fact === undefined)
+            return event;
+        const key = callEventKey(event);
+        if (key !== undefined && !native.has(key))
+            native.set(key, fact);
+        return fact;
+    });
+    const seen = new Set();
+    const stepSeen = new Set();
+    return normalized.flatMap((event, index) => {
+        const original = events[index];
+        if (nativeStepEvent(original) !== undefined) {
+            const envelope = original.payload;
+            const fact = envelope.payload;
+            const identity = JSON.stringify([original.runId, callScope(event), envelope.sourceSequence, fact.generation]);
+            if (stepSeen.has(identity))
+                return [];
+            stepSeen.add(identity);
+        }
+        const key = callEventKey(original);
+        if (key === undefined)
+            return [event];
+        if (seen.has(key))
+            return [];
+        seen.add(key);
+        const preferred = native.get(key);
+        return [preferred === undefined ? event : { ...preferred, sequence: event.sequence }];
+    });
+};
+/**
+ * Builds an empty {@link CallEventFilter}.
+ *
+ * @category projections
+ * @since 1.0.0
+ */
+export const callEventFilter = () => {
+    const native = new Map();
+    const seen = new Set();
+    const stepSeen = new Set();
+    return {
+        push: (original) => {
+            const step = nativeStepEvent(original);
+            const fact = step ?? nativeCallEvent(original);
+            const event = fact ?? original;
+            const key = callEventKey(original);
+            if (fact !== undefined && key !== undefined && !native.has(key)) {
+                native.set(key, fact);
+                // The batch hands this fact to the event that first claimed the key.
+                if (seen.has(key))
+                    return { _tag: "rewrite" };
+            }
+            if (step !== undefined) {
+                const envelope = original.payload;
+                const payload = envelope.payload;
+                const identity = JSON.stringify([original.runId, callScope(event), envelope.sourceSequence, payload.generation]);
+                if (stepSeen.has(identity))
+                    return { _tag: "drop" };
+                stepSeen.add(identity);
+            }
+            if (key === undefined)
+                return { _tag: "keep", event };
+            if (seen.has(key))
+                return { _tag: "drop" };
+            seen.add(key);
+            const preferred = native.get(key);
+            return { _tag: "keep", event: preferred === undefined ? event : { ...preferred, sequence: event.sequence } };
+        }
+    };
+};
+//# sourceMappingURL=callEvents.js.map

package/dist/esm/internal/callEvents.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"callEvents.js","sourceRoot":"","sources":["../../../src/internal/callEvents.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AACpD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAavC;;;GAGG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAgC,KAAY,EAAqB,EAAE;IAChG,IAAI,KAAK,CAAC,IAAI,KAAK,sBAAsB,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QACzG,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAkC,CAAA;IACzD,IACE,QAAQ,CAAC,OAAO,KAAK,CAAC,IAAI,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS,IAAI,OAAO,QAAQ,CAAC,WAAW,KAAK,QAAQ;QAC/G,OAAO,QAAQ,CAAC,UAAU,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,QAAQ,CAAC,UAAU,GAAG,CAAC;QAChH,OAAO,QAAQ,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,QAAQ,GAAG,CAAC;QAC1G,OAAO,QAAQ,CAAC,WAAW,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,QAAQ,CAAC,WAAW,GAAG,CAAC;QAC9G,QAAQ,CAAC,cAAc,KAAK,CAAC;QAC7B,OAAO,SAAS,CAAA;IAClB,MAAM,IAAI,GAAG,MAAM,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;IACxE,IACE,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK;QACjE,QAAQ,CAAC,QAAQ,KAAK,gBAAgB,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE;QAC7E,OAAO,SAAS,CAAA;IAClB,OAAO;QACL,GAAG,KAAK;QACR,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,iCAAiC;QAC5G,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,eAAe,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC;KACrG,CAAA;AACH,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAgC,KAAY,EAAqB,EAAE;IAChG,IAAI,KAAK,CAAC,IAAI,KAAK,sBAAsB,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QACzG,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAkC,CAAA;IACzD,IACE,QAAQ,CAAC,OAAO,KAAK,CAAC,IAAI,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;QACnE,OAAO,QAAQ,CAAC,UAAU,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,QAAQ,CAAC,UAAU,GAAG,CAAC;QAChH,OAAO,QAAQ,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,QAAQ,GAAG,CAAC;QAC1G,OAAO,QAAQ,CAAC,WAAW,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,QAAQ,CAAC,WAAW,GAAG,CAAC;QAC9G,OAAO,SAAS,CAAA;IAClB,MAAM,OAAO,GAAG,MAAM,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;IAC3E,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,SAAS,CAAA;IAC7C,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAA;IAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;IACtB,IACE,QAAQ,CAAC,WAAW,KAAK,IAAI,CAAC,WAAW,IAAI,QAAQ,CAAC,cAAc,KAAK,IAAI,CAAC,cAAc;QAC5F,QAAQ,CAAC,QAAQ,KAAK,gBAAgB,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,KAAK,EAAE;QAC7F,IAAI,CAAC,UAAU,GAAG,QAAQ,CAAC,UAAU,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;QACxF,OAAO,SAAS,CAAA;IAClB,OAAO;QACL,GAAG,KAAK;QACR,IAAI,EAAE,IAAI,CAAC,SAAS;QACpB,OAAO,EAAE;YACP,GAAG,IAAI,CAAC,OAAO;YACf,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE;YACxF,EAAE,EAAE,IAAI,CAAC,EAAE;SACZ;KACF,CAAA;AACH,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAsB,EAAsB,EAAE;IACtE,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAA;IAC7B,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,IAAI,OAAO,CAAC;QAAE,OAAO,SAAS,CAAA;IAC7F,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAA;IACzB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAA;IACtF,MAAM,KAAK,GAAG,IAA+B,CAAA;IAC7C,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,KAAK,CAAC,WAAW;QACjB,KAAK,CAAC,MAAM;QACZ,KAAK,CAAC,OAAO;QACb,KAAK,CAAC,GAAG;QACT,KAAK,CAAC,KAAK;QACX,KAAK,CAAC,KAAK;QACX,KAAK,CAAC,UAAU;KACjB,CAAC,CAAA;AACJ,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAEC,EACD,MAA0B,EAC1B,QAA4B,EAC5B,KAAc,EACN,EAAE;IACV,MAAM,UAAU,GAAG,MAAM,KAAK,SAAS;QACrC,CAAC,CAAC,CAAC,CAAC;QACJ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,CAAA;IAC5E,IAAI,UAAU,IAAI,CAAC;QAAE,OAAO,UAAU,CAAA;IACtC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAC7B,IAAI,CAAC,KAAK,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAC5G,CAAA;AACH,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAsB,EAAsB,EAAE;IACzE,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,CAAA;IACxC,MAAM,QAAQ,GAAG,KAAK,CAAA;IACtB,KAAK,GAAG,SAAS,IAAI,eAAe,CAAC,KAAK,CAAC,IAAI,KAAK,CAAA;IACpD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAA;IAC7B,IACE,CAAC,KAAK,CAAC,IAAI,KAAK,iCAAiC,IAAI,KAAK,CAAC,IAAI,KAAK,iCAAiC,CAAC;QACtG,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,QAAQ,IAAI,OAAO,IAAI,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ,EAC5G,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IACvE,CAAC;IACD,0EAA0E;IAC1E,wEAAwE;IACxE,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC7C,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAkC,CAAA;IAC5D,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAA;AACrG,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,MAA4B,EACN,EAAE;IACxB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiB,CAAA;IACvC,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACtC,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,eAAe,CAAC,KAAK,CAAC,CAAA;QAC7D,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,KAAK,CAAA;QACpC,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;QAC/B,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;QAChE,OAAO,IAAI,CAAA;IACb,CAAC,CAAC,CAAA;IACF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACzC,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAE,CAAA;QAC/B,IAAI,eAAe,CAAC,QAAQ,CAAC,KAAK,SAAS,EAAE,CAAC;YAC5C,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAkC,CAAA;YAC5D,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAkC,CAAA;YACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,cAAc,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAA;YAC7G,IAAI,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAAE,OAAO,EAAE,CAAA;YACrC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QACxB,CAAC;QACD,MAAM,GAAG,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAA;QAClC,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,CAAC,KAAK,CAAC,CAAA;QACrC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,EAAE,CAAA;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACb,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACjC,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAA;IACvF,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAgCD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,GAA0D,EAAE;IACzF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiB,CAAA;IACvC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,OAAO;QACL,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE;YACjB,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAA;YACtC,MAAM,IAAI,GAAG,IAAI,IAAI,eAAe,CAAC,QAAQ,CAAC,CAAA;YAC9C,MAAM,KAAK,GAAG,IAAI,IAAI,QAAQ,CAAA;YAC9B,MAAM,GAAG,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAA;YAClC,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAChE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;gBACrB,qEAAqE;gBACrE,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAA;YAC/C,CAAC;YACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAkC,CAAA;gBAC5D,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAkC,CAAA;gBAC3D,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAA;gBAChH,IAAI,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC;oBAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;gBACnD,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;YACxB,CAAC;YACD,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAA;YACrD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;YAC1C,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACb,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACjC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAA;QAC9G,CAAC;KACF,CAAA;AACH,CAAC,CAAA","sourcesContent":["/**\n * Shared call lifecycle identity rules for full and incremental projections.\n *\n * @since 1.0.0\n */\n\nimport { CallFact, StepFact } from \"@smthrs/journal\"\nimport * as Schema from \"effect/Schema\"\n\n/** A sparse historical observation is readable without inventing missing fields.\n * @category models\n * @since 1.0.0\n */\nexport interface CallObservation {\n  readonly kind?: string | undefined\n  readonly runId?: string | undefined\n  readonly sequence?: number | undefined\n  readonly payload?: unknown\n}\n\n/** Interpret only the native producer's versioned, run-scoped outbox facts.\n * @category projections\n * @since 1.0.0\n */\nexport const nativeCallEvent = <Event extends CallObservation>(event: Event): Event | undefined => {\n  if (event.kind !== \"control.engine.event\" || typeof event.payload !== \"object\" || event.payload === null) {\n    return undefined\n  }\n  const envelope = event.payload as Record<string, unknown>\n  if (\n    envelope.version !== 1 || envelope.eventType !== CallFact.eventType || typeof envelope.executionId !== \"string\" ||\n    typeof envelope.generation !== \"number\" || !Number.isSafeInteger(envelope.generation) || envelope.generation < 0 ||\n    typeof envelope.sequence !== \"number\" || !Number.isSafeInteger(envelope.sequence) || envelope.sequence < 0 ||\n    typeof envelope.emittedAtMs !== \"number\" || !Number.isFinite(envelope.emittedAtMs) || envelope.emittedAtMs < 0 ||\n    envelope.sourceSequence !== 0\n  ) return undefined\n  const fact = Schema.decodeUnknownOption(CallFact.Fact)(envelope.payload)\n  if (\n    fact._tag === \"None\" || fact.value.identity.runId !== event.runId ||\n    envelope.sourceId !== `call-fact-v1:${fact.value.callId}:${fact.value.phase}`\n  ) return undefined\n  return {\n    ...event,\n    kind: fact.value.phase === \"invoked\" ? \"control.agent.cell-call-started\" : \"control.agent.cell-call-settled\",\n    payload: JSON.parse(JSON.stringify({ ...fact.value, callFactVersion: 1, at: envelope.emittedAtMs }))\n  }\n}\n\n/** Normalize a checkpoint only within its recorded execution and source.\n * Replayed prefixes retain the generation that first recorded the work.\n * @category projections\n * @since 1.0.0\n */\nexport const nativeStepEvent = <Event extends CallObservation>(event: Event): Event | undefined => {\n  if (event.kind !== \"control.engine.event\" || typeof event.payload !== \"object\" || event.payload === null) {\n    return undefined\n  }\n  const envelope = event.payload as Record<string, unknown>\n  if (\n    envelope.version !== 1 || envelope.eventType !== StepFact.eventType ||\n    typeof envelope.generation !== \"number\" || !Number.isSafeInteger(envelope.generation) || envelope.generation < 0 ||\n    typeof envelope.sequence !== \"number\" || !Number.isSafeInteger(envelope.sequence) || envelope.sequence < 0 ||\n    typeof envelope.emittedAtMs !== \"number\" || !Number.isFinite(envelope.emittedAtMs) || envelope.emittedAtMs < 0\n  ) return undefined\n  const decoded = Schema.decodeUnknownOption(StepFact.Fact)(envelope.payload)\n  if (decoded._tag === \"None\") return undefined\n  const fact = decoded.value\n  const step = fact.step\n  if (\n    envelope.executionId !== step.executionId || envelope.sourceSequence !== fact.sourceSequence ||\n    envelope.sourceId !== `step-fact-v1:${step.stepId}:${step.attempt}:${step.ask}:${step.retry}` ||\n    fact.generation > envelope.generation || !Number.isFinite(fact.at) ||\n    typeof fact.payload !== \"object\" || fact.payload === null || Array.isArray(fact.payload)\n  ) return undefined\n  return {\n    ...event,\n    kind: fact.eventType,\n    payload: {\n      ...fact.payload,\n      step: { ...step, generation: fact.generation, frame: fact.frame, ordinal: fact.ordinal },\n      at: fact.at\n    }\n  }\n}\n\n/** Scope call matching to the recorded invocation, including its generation.\n * @category projections\n * @since 1.0.0\n */\nexport const callScope = (event: CallObservation): string | undefined => {\n  const payload = event.payload\n  if (typeof payload !== \"object\" || payload === null || !(\"step\" in payload)) return undefined\n  const step = payload.step\n  if (typeof step !== \"object\" || step === null || Array.isArray(step)) return undefined\n  const scope = step as Record<string, unknown>\n  return JSON.stringify([\n    scope.executionId,\n    scope.stepId,\n    scope.attempt,\n    scope.ask,\n    scope.retry,\n    scope.scope,\n    scope.generation\n  ])\n}\n\n/**\n * Identity first; the upgrade fallback can consume only unidentified starts.\n *\n * @category projections\n * @since 1.0.0\n */\nexport const openCallIndex = (\n  open: ReadonlyArray<\n    { readonly flowName: string; readonly callId?: string | undefined; readonly scope?: string | undefined }\n  >,\n  callId: string | undefined,\n  flowName: string | undefined,\n  scope?: string\n): number => {\n  const identified = callId === undefined\n    ? -1\n    : open.findIndex((call) => call.callId === callId && call.scope === scope)\n  if (identified >= 0) return identified\n  return open.findIndex((call) =>\n    call.scope === scope && call.callId === undefined && (flowName === undefined || call.flowName === flowName)\n  )\n}\n\n/**\n * Deduplicate identified call lifecycles and committed checkpoint observations.\n *\n * @category projections\n * @since 1.0.0\n */\nexport const callEventKey = (event: CallObservation): string | undefined => {\n  const stepEvent = nativeStepEvent(event)\n  const original = event\n  event = stepEvent ?? nativeCallEvent(event) ?? event\n  const payload = event.payload\n  if (\n    (event.kind === \"control.agent.cell-call-started\" || event.kind === \"control.agent.cell-call-settled\") &&\n    typeof payload === \"object\" && payload !== null && \"callId\" in payload && typeof payload.callId === \"string\"\n  ) {\n    return JSON.stringify([event.kind, payload.callId, callScope(event)])\n  }\n  // An older checkpoint may not have a call ID. Its durable source identity\n  // still deduplicates replay, including after the event body is evicted.\n  if (stepEvent === undefined) return undefined\n  const envelope = original.payload as Record<string, unknown>\n  return JSON.stringify([\"step-fact\", original.runId, callScope(stepEvent), envelope.sourceSequence])\n}\n\n/**\n * Native facts supersede identified telemetry while retaining its display\n * position. Unidentified history cannot acquire an invented identity.\n *\n * @category projections\n * @since 1.0.0\n */\nexport const uniqueCallEvents = <Event extends CallObservation>(\n  events: ReadonlyArray<Event>\n): ReadonlyArray<Event> => {\n  const native = new Map<string, Event>()\n  const normalized = events.map((event) => {\n    const fact = nativeStepEvent(event) ?? nativeCallEvent(event)\n    if (fact === undefined) return event\n    const key = callEventKey(event)\n    if (key !== undefined && !native.has(key)) native.set(key, fact)\n    return fact\n  })\n  const seen = new Set<string>()\n  const stepSeen = new Set<string>()\n  return normalized.flatMap((event, index) => {\n    const original = events[index]!\n    if (nativeStepEvent(original) !== undefined) {\n      const envelope = original.payload as Record<string, unknown>\n      const fact = envelope.payload as Record<string, unknown>\n      const identity = JSON.stringify([original.runId, callScope(event), envelope.sourceSequence, fact.generation])\n      if (stepSeen.has(identity)) return []\n      stepSeen.add(identity)\n    }\n    const key = callEventKey(original)\n    if (key === undefined) return [event]\n    if (seen.has(key)) return []\n    seen.add(key)\n    const preferred = native.get(key)\n    return [preferred === undefined ? event : { ...preferred, sequence: event.sequence }]\n  })\n}\n\n/**\n * What {@link CallEventFilter} did with one event.\n *\n * `rewrite` means the event superseded one the filter already kept: the batch\n * rule replaces the earlier event in place, so a reader holding the earlier\n * output must refold from the whole journal.\n *\n * @category projections\n * @since 1.0.0\n */\nexport type CallEventVerdict<Event> =\n  | { readonly _tag: \"keep\"; readonly event: Event }\n  | { readonly _tag: \"drop\" }\n  | { readonly _tag: \"rewrite\" }\n\n/**\n * {@link uniqueCallEvents} one event at a time, for a journal read in order.\n *\n * The sets are exactly the ones the batch builds, so a filter fed a whole\n * journal holds the state the batch ended with. Only one case cannot be\n * answered in order: a native fact whose key an earlier telemetry event\n * already claimed. That verdict is `rewrite`.\n *\n * @category projections\n * @since 1.0.0\n */\nexport interface CallEventFilter<Event extends CallObservation> {\n  readonly push: (event: Event) => CallEventVerdict<Event>\n}\n\n/**\n * Builds an empty {@link CallEventFilter}.\n *\n * @category projections\n * @since 1.0.0\n */\nexport const callEventFilter = <Event extends CallObservation>(): CallEventFilter<Event> => {\n  const native = new Map<string, Event>()\n  const seen = new Set<string>()\n  const stepSeen = new Set<string>()\n  return {\n    push: (original) => {\n      const step = nativeStepEvent(original)\n      const fact = step ?? nativeCallEvent(original)\n      const event = fact ?? original\n      const key = callEventKey(original)\n      if (fact !== undefined && key !== undefined && !native.has(key)) {\n        native.set(key, fact)\n        // The batch hands this fact to the event that first claimed the key.\n        if (seen.has(key)) return { _tag: \"rewrite\" }\n      }\n      if (step !== undefined) {\n        const envelope = original.payload as Record<string, unknown>\n        const payload = envelope.payload as Record<string, unknown>\n        const identity = JSON.stringify([original.runId, callScope(event), envelope.sourceSequence, payload.generation])\n        if (stepSeen.has(identity)) return { _tag: \"drop\" }\n        stepSeen.add(identity)\n      }\n      if (key === undefined) return { _tag: \"keep\", event }\n      if (seen.has(key)) return { _tag: \"drop\" }\n      seen.add(key)\n      const preferred = native.get(key)\n      return { _tag: \"keep\", event: preferred === undefined ? event : { ...preferred, sequence: event.sequence } }\n    }\n  }\n}\n"]}

package/dist/esm/internal/digestIndex.d.ts

@@ -0,0 +1,31 @@
+/** Persistent scalar indexes for carried diagnosis corrections.
+ * @since 1.0.0
+ */
+/** An ordinal and its optional timestamps, with cached subtree extrema.
+ * @category models
+ * @since 1.0.0
+ */
+export interface Index {
+    readonly ordinal: number;
+    readonly start: number | undefined;
+    readonly end: number | undefined;
+    readonly left: Index | undefined;
+    readonly right: Index | undefined;
+    readonly height: number;
+    readonly size: number;
+    readonly first: number;
+    readonly min: number | undefined;
+    readonly max: number | undefined;
+    readonly bytes: number;
+}
+/** Inserts or replaces scalar evidence without changing an earlier index.
+ * @category constructors
+ * @since 1.0.0
+ */
+export declare const set: (tree: Index | undefined, ordinal: number, start?: number, end?: number) => Index;
+/** Removes one ordinal, keeping earlier index versions valid.
+ * @category constructors
+ * @since 1.0.0
+ */
+export declare const remove: (tree: Index | undefined, ordinal: number) => Index | undefined;
+//# sourceMappingURL=digestIndex.d.ts.map

package/dist/esm/internal/digestIndex.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"digestIndex.d.ts","sourceRoot":"","sources":["../../../src/internal/digestIndex.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH;;;GAGG;AACH,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;IAClC,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,SAAS,CAAA;IAChC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,SAAS,CAAA;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB;AA2ED;;;GAGG;AACH,eAAO,MAAM,GAAG,GACd,MAAM,KAAK,GAAG,SAAS,EACvB,SAAS,MAAM,EACf,QAAQ,MAAM,EACd,MAAM,MAAM,KACX,KAQF,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,MAAM,GAAI,MAAM,KAAK,GAAG,SAAS,EAAE,SAAS,MAAM,KAAG,KAAK,GAAG,SAazE,CAAA"}

package/dist/esm/internal/digestIndex.js

@@ -0,0 +1,87 @@
+/** Persistent scalar indexes for carried diagnosis corrections.
+ * @since 1.0.0
+ */
+import { encodedBytes } from "./digestMemory.js";
+const height = (tree) => tree?.height ?? 0;
+const min = (a, b) => a === undefined ? b : b === undefined ? a : Math.min(a, b);
+const max = (a, b) => a === undefined ? b : b === undefined ? a : Math.max(a, b);
+const node = (ordinal, start, end, left, right) => {
+    const subtreeHeight = 1 + Math.max(height(left), height(right));
+    const size = 1 + (left?.size ?? 0) + (right?.size ?? 0);
+    const first = left?.first ?? ordinal;
+    const earliest = min(start, min(left?.min, right?.min));
+    const latest = max(end, max(left?.max, right?.max));
+    return {
+        ordinal,
+        start,
+        end,
+        left,
+        right,
+        height: subtreeHeight,
+        size,
+        first,
+        min: earliest,
+        max: latest,
+        bytes: (left?.bytes ?? 0) + (right?.bytes ?? 0) +
+            encodedBytes([ordinal, start, end, left?.ordinal, right?.ordinal, subtreeHeight, size, first, earliest, latest])
+    };
+};
+const rotateLeft = (tree) => {
+    const right = tree.right;
+    return node(right.ordinal, right.start, right.end, node(tree.ordinal, tree.start, tree.end, tree.left, right.left), right.right);
+};
+const rotateRight = (tree) => {
+    const left = tree.left;
+    return node(left.ordinal, left.start, left.end, left.left, node(tree.ordinal, tree.start, tree.end, left.right, tree.right));
+};
+const balanced = (tree) => {
+    if (height(tree.left) > height(tree.right) + 1) {
+        const left = tree.left;
+        return rotateRight(height(left.left) < height(left.right)
+            ? node(tree.ordinal, tree.start, tree.end, rotateLeft(left), tree.right)
+            : tree);
+    }
+    if (height(tree.right) > height(tree.left) + 1) {
+        const right = tree.right;
+        return rotateLeft(height(right.right) < height(right.left)
+            ? node(tree.ordinal, tree.start, tree.end, tree.left, rotateRight(right))
+            : tree);
+    }
+    return tree;
+};
+/** Inserts or replaces scalar evidence without changing an earlier index.
+ * @category constructors
+ * @since 1.0.0
+ */
+export const set = (tree, ordinal, start, end) => {
+    if (tree === undefined)
+        return node(ordinal, start, end, undefined, undefined);
+    if (ordinal === tree.ordinal)
+        return node(ordinal, start, end, tree.left, tree.right);
+    return balanced(ordinal < tree.ordinal
+        ? node(tree.ordinal, tree.start, tree.end, set(tree.left, ordinal, start, end), tree.right)
+        : node(tree.ordinal, tree.start, tree.end, tree.left, set(tree.right, ordinal, start, end)));
+};
+/** Removes one ordinal, keeping earlier index versions valid.
+ * @category constructors
+ * @since 1.0.0
+ */
+export const remove = (tree, ordinal) => {
+    if (tree === undefined)
+        return undefined;
+    if (ordinal < tree.ordinal) {
+        return balanced(node(tree.ordinal, tree.start, tree.end, remove(tree.left, ordinal), tree.right));
+    }
+    if (ordinal > tree.ordinal) {
+        return balanced(node(tree.ordinal, tree.start, tree.end, tree.left, remove(tree.right, ordinal)));
+    }
+    if (tree.left === undefined)
+        return tree.right;
+    if (tree.right === undefined)
+        return tree.left;
+    let next = tree.right;
+    while (next.left !== undefined)
+        next = next.left;
+    return balanced(node(next.ordinal, next.start, next.end, tree.left, remove(tree.right, next.ordinal)));
+};
+//# sourceMappingURL=digestIndex.js.map

package/dist/esm/internal/digestIndex.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"digestIndex.js","sourceRoot":"","sources":["../../../src/internal/digestIndex.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAoBhD,MAAM,MAAM,GAAG,CAAC,IAAuB,EAAU,EAAE,CAAC,IAAI,EAAE,MAAM,IAAI,CAAC,CAAA;AACrE,MAAM,GAAG,GAAG,CAAC,CAAqB,EAAE,CAAqB,EAAsB,EAAE,CAC/E,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAC5D,MAAM,GAAG,GAAG,CAAC,CAAqB,EAAE,CAAqB,EAAsB,EAAE,CAC/E,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAC5D,MAAM,IAAI,GAAG,CACX,OAAe,EACf,KAAyB,EACzB,GAAuB,EACvB,IAAuB,EACvB,KAAwB,EACjB,EAAE;IACT,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;IAC/D,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,IAAI,CAAC,CAAC,CAAA;IACvD,MAAM,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,OAAO,CAAA;IACpC,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAA;IACvD,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAA;IACnD,OAAO;QACL,OAAO;QACP,KAAK;QACL,GAAG;QACH,IAAI;QACJ,KAAK;QACL,MAAM,EAAE,aAAa;QACrB,IAAI;QACJ,KAAK;QACL,GAAG,EAAE,QAAQ;QACb,GAAG,EAAE,MAAM;QACX,KAAK,EAAE,CAAC,IAAI,EAAE,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,IAAI,CAAC,CAAC;YAC7C,YAAY,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;KACnH,CAAA;AACH,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,IAAW,EAAS,EAAE;IACxC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAM,CAAA;IACzB,OAAO,IAAI,CACT,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,GAAG,EACT,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAC/D,KAAK,CAAC,KAAK,CACZ,CAAA;AACH,CAAC,CAAA;AACD,MAAM,WAAW,GAAG,CAAC,IAAW,EAAS,EAAE;IACzC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAK,CAAA;IACvB,OAAO,IAAI,CACT,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,GAAG,EACR,IAAI,CAAC,IAAI,EACT,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CACjE,CAAA;AACH,CAAC,CAAA;AACD,MAAM,QAAQ,GAAG,CAAC,IAAW,EAAS,EAAE;IACtC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAK,CAAA;QACvB,OAAO,WAAW,CAChB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;YACpC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC;YACxE,CAAC,CAAC,IAAI,CACT,CAAA;IACH,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAM,CAAA;QACzB,OAAO,UAAU,CACf,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC;YACtC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC;YACzE,CAAC,CAAC,IAAI,CACT,CAAA;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CACjB,IAAuB,EACvB,OAAe,EACf,KAAc,EACd,GAAY,EACL,EAAE;IACT,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,SAAS,CAAC,CAAA;IAC9E,IAAI,OAAO,KAAK,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;IACrF,OAAO,QAAQ,CACb,OAAO,GAAG,IAAI,CAAC,OAAO;QACpB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC;QAC3F,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAC9F,CAAA;AACH,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAuB,EAAE,OAAe,EAAqB,EAAE;IACpF,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IACxC,IAAI,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC3B,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;IACnG,CAAC;IACD,IAAI,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC3B,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;IACnG,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,KAAK,CAAA;IAC9C,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,IAAI,CAAA;IAC9C,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK,CAAA;IACrB,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;IAChD,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;AACxG,CAAC,CAAA","sourcesContent":["/** Persistent scalar indexes for carried diagnosis corrections.\n * @since 1.0.0\n */\n\nimport { encodedBytes } from \"./digestMemory.ts\"\n\n/** An ordinal and its optional timestamps, with cached subtree extrema.\n * @category models\n * @since 1.0.0\n */\nexport interface Index {\n  readonly ordinal: number\n  readonly start: number | undefined\n  readonly end: number | undefined\n  readonly left: Index | undefined\n  readonly right: Index | undefined\n  readonly height: number\n  readonly size: number\n  readonly first: number\n  readonly min: number | undefined\n  readonly max: number | undefined\n  readonly bytes: number\n}\n\nconst height = (tree: Index | undefined): number => tree?.height ?? 0\nconst min = (a: number | undefined, b: number | undefined): number | undefined =>\n  a === undefined ? b : b === undefined ? a : Math.min(a, b)\nconst max = (a: number | undefined, b: number | undefined): number | undefined =>\n  a === undefined ? b : b === undefined ? a : Math.max(a, b)\nconst node = (\n  ordinal: number,\n  start: number | undefined,\n  end: number | undefined,\n  left: Index | undefined,\n  right: Index | undefined\n): Index => {\n  const subtreeHeight = 1 + Math.max(height(left), height(right))\n  const size = 1 + (left?.size ?? 0) + (right?.size ?? 0)\n  const first = left?.first ?? ordinal\n  const earliest = min(start, min(left?.min, right?.min))\n  const latest = max(end, max(left?.max, right?.max))\n  return {\n    ordinal,\n    start,\n    end,\n    left,\n    right,\n    height: subtreeHeight,\n    size,\n    first,\n    min: earliest,\n    max: latest,\n    bytes: (left?.bytes ?? 0) + (right?.bytes ?? 0) +\n      encodedBytes([ordinal, start, end, left?.ordinal, right?.ordinal, subtreeHeight, size, first, earliest, latest])\n  }\n}\n\nconst rotateLeft = (tree: Index): Index => {\n  const right = tree.right!\n  return node(\n    right.ordinal,\n    right.start,\n    right.end,\n    node(tree.ordinal, tree.start, tree.end, tree.left, right.left),\n    right.right\n  )\n}\nconst rotateRight = (tree: Index): Index => {\n  const left = tree.left!\n  return node(\n    left.ordinal,\n    left.start,\n    left.end,\n    left.left,\n    node(tree.ordinal, tree.start, tree.end, left.right, tree.right)\n  )\n}\nconst balanced = (tree: Index): Index => {\n  if (height(tree.left) > height(tree.right) + 1) {\n    const left = tree.left!\n    return rotateRight(\n      height(left.left) < height(left.right)\n        ? node(tree.ordinal, tree.start, tree.end, rotateLeft(left), tree.right)\n        : tree\n    )\n  }\n  if (height(tree.right) > height(tree.left) + 1) {\n    const right = tree.right!\n    return rotateLeft(\n      height(right.right) < height(right.left)\n        ? node(tree.ordinal, tree.start, tree.end, tree.left, rotateRight(right))\n        : tree\n    )\n  }\n  return tree\n}\n\n/** Inserts or replaces scalar evidence without changing an earlier index.\n * @category constructors\n * @since 1.0.0\n */\nexport const set = (\n  tree: Index | undefined,\n  ordinal: number,\n  start?: number,\n  end?: number\n): Index => {\n  if (tree === undefined) return node(ordinal, start, end, undefined, undefined)\n  if (ordinal === tree.ordinal) return node(ordinal, start, end, tree.left, tree.right)\n  return balanced(\n    ordinal < tree.ordinal\n      ? node(tree.ordinal, tree.start, tree.end, set(tree.left, ordinal, start, end), tree.right)\n      : node(tree.ordinal, tree.start, tree.end, tree.left, set(tree.right, ordinal, start, end))\n  )\n}\n\n/** Removes one ordinal, keeping earlier index versions valid.\n * @category constructors\n * @since 1.0.0\n */\nexport const remove = (tree: Index | undefined, ordinal: number): Index | undefined => {\n  if (tree === undefined) return undefined\n  if (ordinal < tree.ordinal) {\n    return balanced(node(tree.ordinal, tree.start, tree.end, remove(tree.left, ordinal), tree.right))\n  }\n  if (ordinal > tree.ordinal) {\n    return balanced(node(tree.ordinal, tree.start, tree.end, tree.left, remove(tree.right, ordinal)))\n  }\n  if (tree.left === undefined) return tree.right\n  if (tree.right === undefined) return tree.left\n  let next = tree.right\n  while (next.left !== undefined) next = next.left\n  return balanced(node(next.ordinal, next.start, next.end, tree.left, remove(tree.right, next.ordinal)))\n}\n"]}

package/dist/esm/internal/digestMemory.d.ts

@@ -0,0 +1,19 @@
+/** Encoded retained-data accounting for private diagnosis state.
+ * @since 1.0.0
+ */
+/** Measures retained JSON-shaped data without keeping another copy.
+ * @category utilities
+ * @since 1.0.0
+ */
+export declare const encodedBytes: (value: unknown) => number;
+/** Associates a digest with its compact identity ledger's byte budget.
+ * @category utilities
+ * @since 1.0.0
+ */
+export declare const recordDigestBytes: (digest: object, bytes: number) => void;
+/** Includes private scalar contributions in the projection retention budget.
+ * @category utilities
+ * @since 1.0.0
+ */
+export declare const retainedDigestBytes: (digest: object | undefined) => number;
+//# sourceMappingURL=digestMemory.d.ts.map

package/dist/esm/internal/digestMemory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"digestMemory.d.ts","sourceRoot":"","sources":["../../../src/internal/digestMemory.ts"],"names":[],"mappings":"AAAA;;GAEG;AAKH;;;GAGG;AACH,eAAO,MAAM,YAAY,GAAI,OAAO,OAAO,KAAG,MAA0D,CAAA;AAExG;;;GAGG;AACH,eAAO,MAAM,iBAAiB,GAAI,QAAQ,MAAM,EAAE,OAAO,MAAM,KAAG,IAEjE,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,mBAAmB,GAAI,QAAQ,MAAM,GAAG,SAAS,KAAG,MACK,CAAA"}

package/dist/esm/internal/digestMemory.js

@@ -0,0 +1,23 @@
+/** Encoded retained-data accounting for private diagnosis state.
+ * @since 1.0.0
+ */
+const sizes = new WeakMap();
+const encoder = new TextEncoder();
+/** Measures retained JSON-shaped data without keeping another copy.
+ * @category utilities
+ * @since 1.0.0
+ */
+export const encodedBytes = (value) => encoder.encode(JSON.stringify(value)).byteLength;
+/** Associates a digest with its compact identity ledger's byte budget.
+ * @category utilities
+ * @since 1.0.0
+ */
+export const recordDigestBytes = (digest, bytes) => {
+    sizes.set(digest, bytes);
+};
+/** Includes private scalar contributions in the projection retention budget.
+ * @category utilities
+ * @since 1.0.0
+ */
+export const retainedDigestBytes = (digest) => digest === undefined ? 0 : sizes.get(digest) ?? encodedBytes(digest);
+//# sourceMappingURL=digestMemory.js.map

package/dist/esm/internal/digestMemory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"digestMemory.js","sourceRoot":"","sources":["../../../src/internal/digestMemory.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,MAAM,KAAK,GAAG,IAAI,OAAO,EAAkB,CAAA;AAC3C,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAA;AAEjC;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAc,EAAU,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAA;AAExG;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAAc,EAAE,KAAa,EAAQ,EAAE;IACvE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;AAC1B,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,MAA0B,EAAU,EAAE,CACxE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,CAAA","sourcesContent":["/** Encoded retained-data accounting for private diagnosis state.\n * @since 1.0.0\n */\n\nconst sizes = new WeakMap<object, number>()\nconst encoder = new TextEncoder()\n\n/** Measures retained JSON-shaped data without keeping another copy.\n * @category utilities\n * @since 1.0.0\n */\nexport const encodedBytes = (value: unknown): number => encoder.encode(JSON.stringify(value)).byteLength\n\n/** Associates a digest with its compact identity ledger's byte budget.\n * @category utilities\n * @since 1.0.0\n */\nexport const recordDigestBytes = (digest: object, bytes: number): void => {\n  sizes.set(digest, bytes)\n}\n\n/** Includes private scalar contributions in the projection retention budget.\n * @category utilities\n * @since 1.0.0\n */\nexport const retainedDigestBytes = (digest: object | undefined): number =>\n  digest === undefined ? 0 : sizes.get(digest) ?? encodedBytes(digest)\n"]}

package/dist/esm/internal/inspectLabels.d.ts

@@ -0,0 +1,8 @@
+/**
+ * The recorded action's Appendix C label, with unknown historical tags retained.
+ * Dynamic cell-call wrappers name the tool they recorded, never a new action.
+ * @category utilities
+ * @since 1.0.0
+ */
+export declare const inspectLabel: (tag: string) => string;
+//# sourceMappingURL=inspectLabels.d.ts.map

package/dist/esm/internal/inspectLabels.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inspectLabels.d.ts","sourceRoot":"","sources":["../../../src/internal/inspectLabels.ts"],"names":[],"mappings":"AAEA;;;;;GAKG;AACH,eAAO,MAAM,YAAY,GAAI,KAAK,MAAM,KAAG,MAG1C,CAAA"}

package/dist/esm/internal/inspectLabels.js

@@ -0,0 +1,12 @@
+import { ACTION_RENDERINGS } from "./actionRenderings.js";
+/**
+ * The recorded action's Appendix C label, with unknown historical tags retained.
+ * Dynamic cell-call wrappers name the tool they recorded, never a new action.
+ * @category utilities
+ * @since 1.0.0
+ */
+export const inspectLabel = (tag) => {
+    const tool = /^<cell-call:(.+)>$/.exec(tag)?.[1] ?? tag;
+    return ACTION_RENDERINGS[tool] ?? tool;
+};
+//# sourceMappingURL=inspectLabels.js.map

package/dist/esm/internal/inspectLabels.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inspectLabels.js","sourceRoot":"","sources":["../../../src/internal/inspectLabels.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAA;AAEzD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,GAAW,EAAU,EAAE;IAClD,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAA;IACvD,OAAO,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAA;AACxC,CAAC,CAAA","sourcesContent":["import { ACTION_RENDERINGS } from \"./actionRenderings.ts\"\n\n/**\n * The recorded action's Appendix C label, with unknown historical tags retained.\n * Dynamic cell-call wrappers name the tool they recorded, never a new action.\n * @category utilities\n * @since 1.0.0\n */\nexport const inspectLabel = (tag: string): string => {\n  const tool = /^<cell-call:(.+)>$/.exec(tag)?.[1] ?? tag\n  return ACTION_RENDERINGS[tool] ?? tool\n}\n\n"]}

package/dist/esm/internal/nativeResolution.d.ts

@@ -0,0 +1,41 @@
+/**
+ * Committed native results and the control binding that authorizes them.
+ * @since 1.0.0
+ */
+import type { ControlSchema } from "@smthrs/control";
+interface Identity {
+    readonly runId: string;
+    readonly executionId: string;
+}
+/**
+ * Kept across bounded journal windows; only the host's root binding authorizes output.
+ * @category models
+ * @since 1.0.0
+ */
+export interface NativeResolution {
+    readonly binding?: Identity | undefined;
+    readonly result?: (Identity & {
+        readonly text: string;
+    }) | undefined;
+    readonly conflict?: true | undefined;
+}
+/**
+ * A root's committed success is authoritative; child outputs and telemetry are not.
+ * @category projections
+ * @since 1.0.0
+ */
+export declare const fromEvent: (event: ControlSchema.ControlEvent) => NativeResolution | undefined;
+/**
+ * Combining adjacent windows retains the binding even after its event is evicted.
+ * @category projections
+ * @since 1.0.0
+ */
+export declare const combine: (earlier: NativeResolution | undefined, later: NativeResolution | undefined) => NativeResolution | undefined;
+/**
+ * Returns output only for one unambiguous, bound root.
+ * @category projections
+ * @since 1.0.0
+ */
+export declare const output: (value: NativeResolution | undefined) => string | undefined;
+export {};
+//# sourceMappingURL=nativeResolution.d.ts.map

package/dist/esm/internal/nativeResolution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nativeResolution.d.ts","sourceRoot":"","sources":["../../../src/internal/nativeResolution.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAEpD,UAAU,QAAQ;IAChB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAC7B;AAED;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAA;IACvC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,QAAQ,GAAG;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,GAAG,SAAS,CAAA;IACpE,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,GAAG,SAAS,CAAA;CACrC;AAQD;;;;GAIG;AACH,eAAO,MAAM,SAAS,GAAI,OAAO,aAAa,CAAC,YAAY,KAAG,gBAAgB,GAAG,SAmChF,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,OAAO,GAClB,SAAS,gBAAgB,GAAG,SAAS,EACrC,OAAO,gBAAgB,GAAG,SAAS,KAClC,gBAAgB,GAAG,SAYrB,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAAI,OAAO,gBAAgB,GAAG,SAAS,KAAG,MAAM,GAAG,SAIzD,CAAA"}