agentic-qe 3.3.4 → 3.4.0

package/v3/dist/memory/crdt/or-set.js

@@ -0,0 +1,336 @@
+/**
+ * Observed-Remove Set Implementation
+ *
+ * A CRDT set with add-wins semantics on concurrent add/remove operations.
+ * Each add operation creates a unique tag. Remove operations mark those tags
+ * as tombstones. An element is present if it has at least one tag not in tombstones.
+ *
+ * @module memory/crdt/or-set
+ */
+// =============================================================================
+// Tag Generation
+// =============================================================================
+/**
+ * Generate a unique tag for an element
+ * Format: nodeId:timestamp:counter
+ */
+function generateTag(nodeId, counter) {
+    return `${nodeId}:${Date.now()}:${counter}`;
+}
+// =============================================================================
+// Element Serialization
+// =============================================================================
+/**
+ * Serialize an element to a string key
+ * Uses JSON.stringify for consistent serialization
+ */
+function serializeElement(element) {
+    if (typeof element === 'string') {
+        return `s:${element}`;
+    }
+    if (typeof element === 'number') {
+        return `n:${element}`;
+    }
+    if (typeof element === 'boolean') {
+        return `b:${element}`;
+    }
+    return `j:${JSON.stringify(element)}`;
+}
+/**
+ * Deserialize a string key back to an element
+ */
+function deserializeElement(key) {
+    const type = key.substring(0, 2);
+    const value = key.substring(2);
+    switch (type) {
+        case 's:':
+            return value;
+        case 'n:':
+            return Number(value);
+        case 'b:':
+            return (value === 'true');
+        case 'j:':
+            return JSON.parse(value);
+        default:
+            throw new Error(`Unknown serialization type: ${type}`);
+    }
+}
+// =============================================================================
+// OR-Set Implementation
+// =============================================================================
+/**
+ * Create a new OR-Set
+ *
+ * @param nodeId - Unique identifier for this node
+ * @returns OR-Set instance
+ *
+ * @example
+ * ```typescript
+ * const set = createORSet<string>('node-1');
+ * set.add('apple');
+ * set.add('banana');
+ * set.remove('apple');
+ * console.log(set.values()); // ['banana']
+ * ```
+ */
+export function createORSet(nodeId) {
+    // Internal state
+    // elements: Map<serializedElement, Set<tags>>
+    // tombstones: Map<serializedElement, Set<removedTags>>
+    const elements = new Map();
+    const tombstones = new Map();
+    let version = 0;
+    let lastUpdated = Date.now();
+    let tagCounter = 0;
+    /**
+     * Check if an element has any active (non-tombstoned) tags
+     */
+    function hasActiveTags(serialized) {
+        const tags = elements.get(serialized);
+        if (!tags || tags.size === 0) {
+            return false;
+        }
+        const tombstoneTags = tombstones.get(serialized);
+        if (!tombstoneTags || tombstoneTags.size === 0) {
+            return true;
+        }
+        // Check if any tag is not tombstoned
+        for (const tag of tags) {
+            if (!tombstoneTags.has(tag)) {
+                return true;
+            }
+        }
+        return false;
+    }
+    /**
+     * Get active tags for an element (tags not in tombstones)
+     */
+    function getActiveTags(serialized) {
+        const tags = elements.get(serialized);
+        if (!tags) {
+            return new Set();
+        }
+        const tombstoneTags = tombstones.get(serialized) || new Set();
+        const active = new Set();
+        for (const tag of tags) {
+            if (!tombstoneTags.has(tag)) {
+                active.add(tag);
+            }
+        }
+        return active;
+    }
+    return {
+        has(element) {
+            const serialized = serializeElement(element);
+            return hasActiveTags(serialized);
+        },
+        values() {
+            const result = [];
+            for (const [serialized] of elements) {
+                if (hasActiveTags(serialized)) {
+                    result.push(deserializeElement(serialized));
+                }
+            }
+            return result;
+        },
+        size() {
+            let count = 0;
+            for (const [serialized] of elements) {
+                if (hasActiveTags(serialized)) {
+                    count++;
+                }
+            }
+            return count;
+        },
+        add(element) {
+            const serialized = serializeElement(element);
+            const tag = generateTag(nodeId, tagCounter++);
+            if (!elements.has(serialized)) {
+                elements.set(serialized, new Set());
+            }
+            elements.get(serialized).add(tag);
+            version++;
+            lastUpdated = Date.now();
+        },
+        remove(element) {
+            const serialized = serializeElement(element);
+            const tags = elements.get(serialized);
+            if (!tags || tags.size === 0) {
+                return; // Element not in set
+            }
+            // Tombstone all current tags for this element
+            if (!tombstones.has(serialized)) {
+                tombstones.set(serialized, new Set());
+            }
+            const tombstoneTags = tombstones.get(serialized);
+            for (const tag of tags) {
+                tombstoneTags.add(tag);
+            }
+            version++;
+            lastUpdated = Date.now();
+        },
+        merge(other) {
+            const otherState = other.getState();
+            this.applyState(otherState);
+        },
+        getState() {
+            // Convert Sets to arrays for serialization
+            const elementsObj = {};
+            for (const [key, tags] of elements) {
+                elementsObj[key] = Array.from(tags);
+            }
+            const tombstonesObj = {};
+            for (const [key, tags] of tombstones) {
+                if (tags.size > 0) {
+                    tombstonesObj[key] = Array.from(tags);
+                }
+            }
+            return {
+                elements: elementsObj,
+                tombstones: tombstonesObj,
+                version,
+                lastUpdated,
+            };
+        },
+        applyState(incoming) {
+            let changed = false;
+            // Merge elements (union of tags)
+            for (const [serialized, incomingTags] of Object.entries(incoming.elements)) {
+                if (!elements.has(serialized)) {
+                    elements.set(serialized, new Set());
+                }
+                const localTags = elements.get(serialized);
+                for (const tag of incomingTags) {
+                    if (!localTags.has(tag)) {
+                        localTags.add(tag);
+                        changed = true;
+                    }
+                }
+            }
+            // Merge tombstones (union of tags)
+            for (const [serialized, incomingTombstones] of Object.entries(incoming.tombstones)) {
+                if (!tombstones.has(serialized)) {
+                    tombstones.set(serialized, new Set());
+                }
+                const localTombstones = tombstones.get(serialized);
+                for (const tag of incomingTombstones) {
+                    if (!localTombstones.has(tag)) {
+                        localTombstones.add(tag);
+                        changed = true;
+                    }
+                }
+            }
+            if (changed) {
+                version = Math.max(version, incoming.version) + 1;
+                lastUpdated = Date.now();
+            }
+        },
+        getNodeId() {
+            return nodeId;
+        },
+        clear() {
+            // Remove all elements by tombstoning all tags
+            for (const [serialized, tags] of elements) {
+                if (!tombstones.has(serialized)) {
+                    tombstones.set(serialized, new Set());
+                }
+                const tombstoneTags = tombstones.get(serialized);
+                for (const tag of tags) {
+                    tombstoneTags.add(tag);
+                }
+            }
+            version++;
+            lastUpdated = Date.now();
+        },
+    };
+}
+// =============================================================================
+// Factory with State
+// =============================================================================
+/**
+ * Create an OR-Set from existing state
+ *
+ * @param nodeId - Unique identifier for this node
+ * @param existingState - State to restore from
+ * @returns OR-Set instance
+ */
+export function createORSetFromState(nodeId, existingState) {
+    const set = createORSet(nodeId);
+    set.applyState(existingState);
+    return set;
+}
+// =============================================================================
+// Type Guards
+// =============================================================================
+/**
+ * Check if a value is a valid OR-Set state
+ */
+export function isORSetState(value) {
+    if (typeof value !== 'object' || value === null) {
+        return false;
+    }
+    const state = value;
+    return (typeof state.elements === 'object' &&
+        state.elements !== null &&
+        typeof state.tombstones === 'object' &&
+        state.tombstones !== null &&
+        typeof state.version === 'number' &&
+        typeof state.lastUpdated === 'number');
+}
+/**
+ * Get statistics about an OR-Set
+ */
+export function getORSetStats(state) {
+    let activeElements = 0;
+    let totalTags = 0;
+    let totalTombstones = 0;
+    let elementsWithTombstones = 0;
+    for (const [serialized, tags] of Object.entries(state.elements)) {
+        totalTags += tags.length;
+        const tombstoneTags = state.tombstones[serialized] || [];
+        totalTombstones += tombstoneTags.length;
+        if (tombstoneTags.length > 0) {
+            elementsWithTombstones++;
+        }
+        // Check if element is active
+        const tombstoneSet = new Set(tombstoneTags);
+        const hasActive = tags.some((tag) => !tombstoneSet.has(tag));
+        if (hasActive) {
+            activeElements++;
+        }
+    }
+    return {
+        activeElements,
+        totalTags,
+        totalTombstones,
+        elementsWithTombstones,
+    };
+}
+/**
+ * Compact OR-Set state by removing fully tombstoned elements
+ * Returns a new state object (does not mutate input)
+ */
+export function compactORSetState(state) {
+    const elements = {};
+    const tombstones = {};
+    for (const [serialized, tags] of Object.entries(state.elements)) {
+        const tombstoneTags = new Set(state.tombstones[serialized] || []);
+        // Filter out tombstoned tags
+        const activeTags = tags.filter((tag) => !tombstoneTags.has(tag));
+        if (activeTags.length > 0) {
+            elements[serialized] = activeTags;
+            // Keep only tombstones for remaining tags
+            const relevantTombstones = tags.filter((tag) => tombstoneTags.has(tag));
+            if (relevantTombstones.length > 0) {
+                tombstones[serialized] = relevantTombstones;
+            }
+        }
+    }
+    return {
+        elements,
+        tombstones,
+        version: state.version + 1,
+        lastUpdated: Date.now(),
+    };
+}
+//# sourceMappingURL=or-set.js.map

package/v3/dist/memory/crdt/or-set.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"or-set.js","sourceRoot":"","sources":["../../../src/memory/crdt/or-set.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,gFAAgF;AAChF,iBAAiB;AACjB,gFAAgF;AAEhF;;;GAGG;AACH,SAAS,WAAW,CAAC,MAAc,EAAE,OAAe;IAClD,OAAO,GAAG,MAAM,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,OAAO,EAAE,CAAC;AAC9C,CAAC;AAED,gFAAgF;AAChF,wBAAwB;AACxB,gFAAgF;AAEhF;;;GAGG;AACH,SAAS,gBAAgB,CAAI,OAAU;IACrC,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QAChC,OAAO,KAAK,OAAO,EAAE,CAAC;IACxB,CAAC;IACD,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QAChC,OAAO,KAAK,OAAO,EAAE,CAAC;IACxB,CAAC;IACD,IAAI,OAAO,OAAO,KAAK,SAAS,EAAE,CAAC;QACjC,OAAO,KAAK,OAAO,EAAE,CAAC;IACxB,CAAC;IACD,OAAO,KAAK,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;AACxC,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CAAI,GAAW;IACxC,MAAM,IAAI,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAE/B,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,IAAI;YACP,OAAO,KAAqB,CAAC;QAC/B,KAAK,IAAI;YACP,OAAO,MAAM,CAAC,KAAK,CAAiB,CAAC;QACvC,KAAK,IAAI;YACP,OAAO,CAAC,KAAK,KAAK,MAAM,CAAiB,CAAC;QAC5C,KAAK,IAAI;YACP,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAM,CAAC;QAChC;YACE,MAAM,IAAI,KAAK,CAAC,+BAA+B,IAAI,EAAE,CAAC,CAAC;IAC3D,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,wBAAwB;AACxB,gFAAgF;AAEhF;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,WAAW,CAAI,MAAc;IAC3C,iBAAiB;IACjB,8CAA8C;IAC9C,uDAAuD;IACvD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAC;IAChD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAuB,CAAC;IAElD,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC7B,IAAI,UAAU,GAAG,CAAC,CAAC;IAEnB;;OAEG;IACH,SAAS,aAAa,CAAC,UAAkB;QACvC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACtC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YAC7B,OAAO,KAAK,CAAC;QACf,CAAC;QAED,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACjD,IAAI,CAAC,aAAa,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YAC/C,OAAO,IAAI,CAAC;QACd,CAAC;QAED,qCAAqC;QACrC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5B,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACH,SAAS,aAAa,CAAC,UAAkB;QACvC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACtC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,IAAI,GAAG,EAAE,CAAC;QACnB,CAAC;QAED,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;QAC9D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QAEjC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5B,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAClB,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO;QACL,GAAG,CAAC,OAAU;YACZ,MAAM,UAAU,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;YAC7C,OAAO,aAAa,CAAC,UAAU,CAAC,CAAC;QACnC,CAAC;QAED,MAAM;YACJ,MAAM,MAAM,GAAQ,EAAE,CAAC;YAEvB,KAAK,MAAM,CAAC,UAAU,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACpC,IAAI,aAAa,CAAC,UAAU,CAAC,EAAE,CAAC;oBAC9B,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAI,UAAU,CAAC,CAAC,CAAC;gBACjD,CAAC;YACH,CAAC;YAED,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,IAAI;YACF,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,KAAK,MAAM,CAAC,UAAU,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACpC,IAAI,aAAa,CAAC,UAAU,CAAC,EAAE,CAAC;oBAC9B,KAAK,EAAE,CAAC;gBACV,CAAC;YACH,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,GAAG,CAAC,OAAU;YACZ,MAAM,UAAU,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;YAC7C,MAAM,GAAG,GAAG,WAAW,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;YAE9C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC9B,QAAQ,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;YACtC,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAEnC,OAAO,EAAE,CAAC;YACV,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,CAAC;QAED,MAAM,CAAC,OAAU;YACf,MAAM,UAAU,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;YAC7C,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAEtC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBAC7B,OAAO,CAAC,qBAAqB;YAC/B,CAAC;YAED,8CAA8C;YAC9C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBAChC,UAAU,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;YACxC,CAAC;YAED,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,UAAU,CAAE,CAAC;YAClD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACzB,CAAC;YAED,OAAO,EAAE,CAAC;YACV,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,CAAC;QAED,KAAK,CAAC,KAAe;YACnB,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAC9B,CAAC;QAED,QAAQ;YACN,2CAA2C;YAC3C,MAAM,WAAW,GAA6B,EAAE,CAAC;YACjD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACnC,WAAW,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtC,CAAC;YAED,MAAM,aAAa,GAA6B,EAAE,CAAC;YACnD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,UAAU,EAAE,CAAC;gBACrC,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;oBAClB,aAAa,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACxC,CAAC;YACH,CAAC;YAED,OAAO;gBACL,QAAQ,EAAE,WAAW;gBACrB,UAAU,EAAE,aAAa;gBACzB,OAAO;gBACP,WAAW;aACZ,CAAC;QACJ,CAAC;QAED,UAAU,CAAC,QAAuB;YAChC,IAAI,OAAO,GAAG,KAAK,CAAC;YAEpB,iCAAiC;YACjC,KAAK,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC3E,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;oBAC9B,QAAQ,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;gBACtC,CAAC;gBAED,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAE,CAAC;gBAC5C,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;oBAC/B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBACxB,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;wBACnB,OAAO,GAAG,IAAI,CAAC;oBACjB,CAAC;gBACH,CAAC;YACH,CAAC;YAED,mCAAmC;YACnC,KAAK,MAAM,CAAC,UAAU,EAAE,kBAAkB,CAAC,IAAI,MAAM,CAAC,OAAO,CAC3D,QAAQ,CAAC,UAAU,CACpB,EAAE,CAAC;gBACF,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;oBAChC,UAAU,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;gBACxC,CAAC;gBAED,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,CAAC,UAAU,CAAE,CAAC;gBACpD,KAAK,MAAM,GAAG,IAAI,kBAAkB,EAAE,CAAC;oBACrC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBAC9B,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;wBACzB,OAAO,GAAG,IAAI,CAAC;oBACjB,CAAC;gBACH,CAAC;YACH,CAAC;YAED,IAAI,OAAO,EAAE,CAAC;gBACZ,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBAClD,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC3B,CAAC;QACH,CAAC;QAED,SAAS;YACP,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,KAAK;YACH,8CAA8C;YAC9C,KAAK,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC;gBAC1C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;oBAChC,UAAU,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;gBACxC,CAAC;gBAED,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,UAAU,CAAE,CAAC;gBAClD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;YAED,OAAO,EAAE,CAAC;YACV,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,CAAC;KACF,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,qBAAqB;AACrB,gFAAgF;AAEhF;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAClC,MAAc,EACd,aAA4B;IAE5B,MAAM,GAAG,GAAG,WAAW,CAAI,MAAM,CAAC,CAAC;IACnC,GAAG,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IAC9B,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gFAAgF;AAChF,cAAc;AACd,gFAAgF;AAEhF;;GAEG;AACH,MAAM,UAAU,YAAY,CAAI,KAAc;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAChD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,KAAK,GAAG,KAAgC,CAAC;IAC/C,OAAO,CACL,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ;QAClC,KAAK,CAAC,QAAQ,KAAK,IAAI;QACvB,OAAO,KAAK,CAAC,UAAU,KAAK,QAAQ;QACpC,KAAK,CAAC,UAAU,KAAK,IAAI;QACzB,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;QACjC,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ,CACtC,CAAC;AACJ,CAAC;AAoBD;;GAEG;AACH,MAAM,UAAU,aAAa,CAAI,KAAoB;IACnD,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,sBAAsB,GAAG,CAAC,CAAC;IAE/B,KAAK,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QAChE,SAAS,IAAI,IAAI,CAAC,MAAM,CAAC;QAEzB,MAAM,aAAa,GAAG,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;QACzD,eAAe,IAAI,aAAa,CAAC,MAAM,CAAC;QAExC,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,sBAAsB,EAAE,CAAC;QAC3B,CAAC;QAED,6BAA6B;QAC7B,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;QAC5C,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7D,IAAI,SAAS,EAAE,CAAC;YACd,cAAc,EAAE,CAAC;QACnB,CAAC;IACH,CAAC;IAED,OAAO;QACL,cAAc;QACd,SAAS;QACT,eAAe;QACf,sBAAsB;KACvB,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAI,KAAoB;IACvD,MAAM,QAAQ,GAA6B,EAAE,CAAC;IAC9C,MAAM,UAAU,GAA6B,EAAE,CAAC;IAEhD,KAAK,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QAChE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;QAElE,6BAA6B;QAC7B,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAEjE,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,QAAQ,CAAC,UAAU,CAAC,GAAG,UAAU,CAAC;YAClC,0CAA0C;YAC1C,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YACxE,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClC,UAAU,CAAC,UAAU,CAAC,GAAG,kBAAkB,CAAC;YAC9C,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,QAAQ;QACR,UAAU;QACV,OAAO,EAAE,KAAK,CAAC,OAAO,GAAG,CAAC;QAC1B,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE;KACxB,CAAC;AACJ,CAAC"}

package/v3/dist/memory/crdt/pn-counter.d.ts

@@ -0,0 +1,53 @@
+/**
+ * Positive-Negative Counter Implementation
+ *
+ * A CRDT counter that supports both increment and decrement operations.
+ * Implemented as two G-Counters: one for positive increments, one for decrements.
+ * The value is the difference: positive - negative.
+ *
+ * @module memory/crdt/pn-counter
+ */
+import type { PNCounter, PNCounterState } from './types.js';
+/**
+ * Create a new PN-Counter
+ *
+ * @param nodeId - Unique identifier for this node
+ * @returns PN-Counter instance
+ *
+ * @example
+ * ```typescript
+ * const counter = createPNCounter('node-1');
+ * counter.increment(10);
+ * counter.decrement(3);
+ * console.log(counter.get()); // 7
+ * ```
+ */
+export declare function createPNCounter(nodeId: string): PNCounter;
+/**
+ * Create a PN-Counter from existing state
+ *
+ * @param nodeId - Unique identifier for this node
+ * @param existingState - State to restore from
+ * @returns PN-Counter instance
+ */
+export declare function createPNCounterFromState(nodeId: string, existingState: PNCounterState): PNCounter;
+/**
+ * Check if a value is a valid PN-Counter state
+ */
+export declare function isPNCounterState(value: unknown): value is PNCounterState;
+/**
+ * Get detailed breakdown of counter state
+ */
+export interface PNCounterBreakdown {
+    total: number;
+    positiveTotal: number;
+    negativeTotal: number;
+    positiveByNode: Record<string, number>;
+    negativeByNode: Record<string, number>;
+}
+/**
+ * Get breakdown of PN-Counter state
+ */
+export declare function getPNCounterBreakdown(state: PNCounterState): PNCounterBreakdown;
+export type { PNCounter, PNCounterState };
+//# sourceMappingURL=pn-counter.d.ts.map

package/v3/dist/memory/crdt/pn-counter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pn-counter.d.ts","sourceRoot":"","sources":["../../../src/memory/crdt/pn-counter.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,cAAc,EAAiB,MAAM,YAAY,CAAC;AAO3E;;;;;;;;;;;;;GAaG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAwEzD;AAMD;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,MAAM,EACd,aAAa,EAAE,cAAc,GAC5B,SAAS,CAIX;AAMD;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,cAAc,CAgBxE;AAkBD;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACvC,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACxC;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,cAAc,GAAG,kBAAkB,CAiB/E;AAMD,YAAY,EAAE,SAAS,EAAE,cAAc,EAAE,CAAC"}

package/v3/dist/memory/crdt/pn-counter.js

@@ -0,0 +1,147 @@
+/**
+ * Positive-Negative Counter Implementation
+ *
+ * A CRDT counter that supports both increment and decrement operations.
+ * Implemented as two G-Counters: one for positive increments, one for decrements.
+ * The value is the difference: positive - negative.
+ *
+ * @module memory/crdt/pn-counter
+ */
+import { createGCounter } from './g-counter.js';
+// =============================================================================
+// PN-Counter Implementation
+// =============================================================================
+/**
+ * Create a new PN-Counter
+ *
+ * @param nodeId - Unique identifier for this node
+ * @returns PN-Counter instance
+ *
+ * @example
+ * ```typescript
+ * const counter = createPNCounter('node-1');
+ * counter.increment(10);
+ * counter.decrement(3);
+ * console.log(counter.get()); // 7
+ * ```
+ */
+export function createPNCounter(nodeId) {
+    // Two G-Counters: one for increments, one for decrements
+    const positive = createGCounter(nodeId);
+    const negative = createGCounter(nodeId);
+    // Track version separately for the combined counter
+    let version = 0;
+    let lastUpdated = Date.now();
+    return {
+        get() {
+            return positive.get() - negative.get();
+        },
+        increment(n = 1) {
+            if (n < 0) {
+                throw new Error('Use decrement() for negative values');
+            }
+            if (n === 0) {
+                return;
+            }
+            positive.increment(n);
+            version++;
+            lastUpdated = Date.now();
+        },
+        decrement(n = 1) {
+            if (n < 0) {
+                throw new Error('Use increment() for negative values');
+            }
+            if (n === 0) {
+                return;
+            }
+            negative.increment(n);
+            version++;
+            lastUpdated = Date.now();
+        },
+        merge(other) {
+            const otherState = other.getState();
+            this.applyState(otherState);
+        },
+        getState() {
+            return {
+                positive: positive.getState(),
+                negative: negative.getState(),
+                version,
+                lastUpdated,
+            };
+        },
+        applyState(incoming) {
+            const oldValue = this.get();
+            // Apply to both underlying G-Counters
+            positive.applyState(incoming.positive);
+            negative.applyState(incoming.negative);
+            const newValue = this.get();
+            if (oldValue !== newValue) {
+                version = Math.max(version, incoming.version) + 1;
+                lastUpdated = Date.now();
+            }
+        },
+        getNodeId() {
+            return nodeId;
+        },
+    };
+}
+// =============================================================================
+// Factory with State
+// =============================================================================
+/**
+ * Create a PN-Counter from existing state
+ *
+ * @param nodeId - Unique identifier for this node
+ * @param existingState - State to restore from
+ * @returns PN-Counter instance
+ */
+export function createPNCounterFromState(nodeId, existingState) {
+    const counter = createPNCounter(nodeId);
+    counter.applyState(existingState);
+    return counter;
+}
+// =============================================================================
+// Type Guards
+// =============================================================================
+/**
+ * Check if a value is a valid PN-Counter state
+ */
+export function isPNCounterState(value) {
+    if (typeof value !== 'object' || value === null) {
+        return false;
+    }
+    const state = value;
+    return (typeof state.positive === 'object' &&
+        state.positive !== null &&
+        typeof state.negative === 'object' &&
+        state.negative !== null &&
+        typeof state.version === 'number' &&
+        typeof state.lastUpdated === 'number' &&
+        isGCounterStateValid(state.positive) &&
+        isGCounterStateValid(state.negative));
+}
+/**
+ * Helper to validate G-Counter state structure
+ */
+function isGCounterStateValid(state) {
+    return (typeof state.counts === 'object' &&
+        state.counts !== null &&
+        typeof state.version === 'number' &&
+        typeof state.lastUpdated === 'number');
+}
+/**
+ * Get breakdown of PN-Counter state
+ */
+export function getPNCounterBreakdown(state) {
+    const positiveTotal = Object.values(state.positive.counts).reduce((sum, count) => sum + count, 0);
+    const negativeTotal = Object.values(state.negative.counts).reduce((sum, count) => sum + count, 0);
+    return {
+        total: positiveTotal - negativeTotal,
+        positiveTotal,
+        negativeTotal,
+        positiveByNode: { ...state.positive.counts },
+        negativeByNode: { ...state.negative.counts },
+    };
+}
+//# sourceMappingURL=pn-counter.js.map

package/v3/dist/memory/crdt/pn-counter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pn-counter.js","sourceRoot":"","sources":["../../../src/memory/crdt/pn-counter.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAE,cAAc,EAA2B,MAAM,gBAAgB,CAAC;AAEzE,gFAAgF;AAChF,4BAA4B;AAC5B,gFAAgF;AAEhF;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,eAAe,CAAC,MAAc;IAC5C,yDAAyD;IACzD,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAExC,oDAAoD;IACpD,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAE7B,OAAO;QACL,GAAG;YACD,OAAO,QAAQ,CAAC,GAAG,EAAE,GAAG,QAAQ,CAAC,GAAG,EAAE,CAAC;QACzC,CAAC;QAED,SAAS,CAAC,IAAY,CAAC;YACrB,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACV,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;YACzD,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACZ,OAAO;YACT,CAAC;YAED,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACtB,OAAO,EAAE,CAAC;YACV,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,CAAC;QAED,SAAS,CAAC,IAAY,CAAC;YACrB,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACV,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;YACzD,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACZ,OAAO;YACT,CAAC;YAED,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACtB,OAAO,EAAE,CAAC;YACV,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,CAAC;QAED,KAAK,CAAC,KAAgB;YACpB,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAC9B,CAAC;QAED,QAAQ;YACN,OAAO;gBACL,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE;gBAC7B,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE;gBAC7B,OAAO;gBACP,WAAW;aACZ,CAAC;QACJ,CAAC;QAED,UAAU,CAAC,QAAwB;YACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAE5B,sCAAsC;YACtC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;YACvC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAEvC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC5B,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBAC1B,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBAClD,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC3B,CAAC;QACH,CAAC;QAED,SAAS;YACP,OAAO,MAAM,CAAC;QAChB,CAAC;KACF,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,qBAAqB;AACrB,gFAAgF;AAEhF;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB,CACtC,MAAc,EACd,aAA6B;IAE7B,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACxC,OAAO,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IAClC,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,gFAAgF;AAChF,cAAc;AACd,gFAAgF;AAEhF;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAChD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,KAAK,GAAG,KAAgC,CAAC;IAC/C,OAAO,CACL,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ;QAClC,KAAK,CAAC,QAAQ,KAAK,IAAI;QACvB,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ;QAClC,KAAK,CAAC,QAAQ,KAAK,IAAI;QACvB,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;QACjC,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ;QACrC,oBAAoB,CAAC,KAAK,CAAC,QAAyB,CAAC;QACrD,oBAAoB,CAAC,KAAK,CAAC,QAAyB,CAAC,CACtD,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CAAC,KAAoB;IAChD,OAAO,CACL,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ;QAChC,KAAK,CAAC,MAAM,KAAK,IAAI;QACrB,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;QACjC,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ,CACtC,CAAC;AACJ,CAAC;AAiBD;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAAqB;IACzD,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,MAAM,CAC/D,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,EAC3B,CAAC,CACF,CAAC;IACF,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,MAAM,CAC/D,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,EAC3B,CAAC,CACF,CAAC;IAEF,OAAO;QACL,KAAK,EAAE,aAAa,GAAG,aAAa;QACpC,aAAa;QACb,aAAa;QACb,cAAc,EAAE,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE;QAC5C,cAAc,EAAE,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE;KAC7C,CAAC;AACJ,CAAC"}