agentic-qe 2.7.3 → 2.8.0

package/dist/edge/p2p/crdt/ORSet.d.ts

@@ -0,0 +1,232 @@
+/**
+ * OR-Set (Observed-Remove Set) CRDT Implementation
+ *
+ * A state-based CRDT set that handles concurrent add/remove operations.
+ * Each add operation creates a unique tag, and remove operates on tags.
+ * This ensures that adds observed before removes survive the merge.
+ *
+ * @module edge/p2p/crdt/ORSet
+ * @version 1.0.0
+ */
+import { ReplicaId, CRDTState, CRDTMetadata, SerializedVectorClock, ORSetElement, SerializedORSetState, MergeResult, CRDTDelta, CRDT } from './types';
+import { VectorClock } from './VectorClock';
+/**
+ * Observed-Remove Set CRDT.
+ *
+ * Properties:
+ * - Add operations create unique tags
+ * - Remove operations target specific tags
+ * - Concurrent add wins over remove (add-wins semantics)
+ * - Supports arbitrary value types
+ * - Strongly eventually consistent
+ *
+ * @example
+ * ```typescript
+ * const set = new ORSet<string>('replica-1', 'tags');
+ *
+ * set.add('typescript');
+ * set.add('testing');
+ * set.remove('testing');
+ *
+ * console.log(set.values()); // ['typescript']
+ *
+ * // Merge with remote state
+ * set.merge(remoteState);
+ * ```
+ */
+export declare class ORSet<T> implements CRDT<Set<T>, SerializedORSetState<T>> {
+    /** Unique identifier for this set */
+    private readonly id;
+    /** Local replica ID */
+    private readonly replicaId;
+    /** Active elements (tag -> element) */
+    private elements;
+    /** Tombstones for removed elements */
+    private tombstones;
+    /** Vector clock for versioning */
+    private vectorClock;
+    /** Metadata */
+    private metadata;
+    /** Sequence number for deltas */
+    private sequenceNumber;
+    /** Last delta clock for delta generation */
+    private lastDeltaClock;
+    /** Tombstone TTL in milliseconds */
+    private readonly tombstoneTtl;
+    /** Value comparison function */
+    private readonly compareValues;
+    /**
+     * Create a new OR-Set
+     *
+     * @param replicaId - Local replica identifier
+     * @param id - Unique set identifier
+     * @param options - Optional configuration
+     */
+    constructor(replicaId: ReplicaId, id: string, options?: {
+        tombstoneTtl?: number;
+        compareValues?: (a: T, b: T) => boolean;
+    });
+    /**
+     * Get the current set value
+     *
+     * @returns Set of current values
+     */
+    value(): Set<T>;
+    /**
+     * Get all values as an array
+     *
+     * @returns Array of values
+     */
+    values(): T[];
+    /**
+     * Add a value to the set
+     *
+     * @param value - Value to add
+     * @returns The generated tag
+     */
+    add(value: T): string;
+    /**
+     * Remove a value from the set
+     *
+     * This removes all instances of the value by tombstoning all matching tags.
+     *
+     * @param value - Value to remove
+     * @returns Number of elements removed
+     */
+    remove(value: T): number;
+    /**
+     * Remove a specific element by tag
+     *
+     * @param tag - Tag to remove
+     * @returns True if removed
+     */
+    removeByTag(tag: string): boolean;
+    /**
+     * Check if a value is in the set
+     *
+     * @param value - Value to check
+     * @returns True if present
+     */
+    has(value: T): boolean;
+    /**
+     * Check if a tag exists
+     *
+     * @param tag - Tag to check
+     * @returns True if tag exists
+     */
+    hasTag(tag: string): boolean;
+    /**
+     * Get the element for a tag
+     *
+     * @param tag - Tag to look up
+     * @returns Element or undefined
+     */
+    getByTag(tag: string): ORSetElement<T> | undefined;
+    /**
+     * Get the number of elements
+     *
+     * @returns Size of the set
+     */
+    size(): number;
+    /**
+     * Check if set is empty
+     *
+     * @returns True if empty
+     */
+    isEmpty(): boolean;
+    /**
+     * Clear all elements
+     */
+    clear(): void;
+    /**
+     * Get the serializable state of this set
+     *
+     * @returns CRDT state
+     */
+    state(): CRDTState<SerializedORSetState<T>>;
+    /**
+     * Restore an OR-Set from serialized state
+     *
+     * @param state - Serialized state
+     * @param replicaId - Local replica ID
+     * @returns Restored set
+     */
+    static fromState<T>(state: CRDTState<SerializedORSetState<T>>, replicaId: ReplicaId): ORSet<T>;
+    /**
+     * Merge with another OR-Set state
+     *
+     * Add-wins semantics: if an element is added in one replica
+     * and removed in another concurrently, the add wins.
+     *
+     * @param other - Other set state to merge
+     * @returns Merge result
+     */
+    merge(other: CRDTState<SerializedORSetState<T>>): MergeResult<SerializedORSetState<T>>;
+    /**
+     * Generate a delta update since the last sync
+     *
+     * @param since - Vector clock of last sync (optional)
+     * @returns Delta update or null if no changes
+     */
+    generateDelta(since?: SerializedVectorClock): CRDTDelta<SerializedORSetState<T>> | null;
+    /**
+     * Apply a delta update
+     *
+     * @param delta - Delta to apply
+     * @returns True if applied successfully
+     */
+    applyDelta(delta: CRDTDelta<SerializedORSetState<T>>): boolean;
+    /**
+     * Garbage collect expired tombstones
+     *
+     * @returns Number of tombstones collected
+     */
+    gcTombstones(): number;
+    /**
+     * Get tombstone count
+     *
+     * @returns Number of tombstones
+     */
+    getTombstoneCount(): number;
+    /**
+     * Create a deep copy of this set
+     *
+     * @returns Cloned set
+     */
+    clone(): ORSet<T>;
+    /**
+     * Get the set ID
+     *
+     * @returns Set ID
+     */
+    getId(): string;
+    /**
+     * Get the local replica ID
+     *
+     * @returns Replica ID
+     */
+    getReplicaId(): ReplicaId;
+    /**
+     * Get the vector clock
+     *
+     * @returns Vector clock copy
+     */
+    getVectorClock(): VectorClock;
+    /**
+     * Get metadata
+     *
+     * @returns Metadata copy
+     */
+    getMetadata(): CRDTMetadata;
+    /**
+     * Iterate over elements
+     */
+    [Symbol.iterator](): Iterator<T>;
+    /**
+     * String representation for debugging
+     *
+     * @returns Debug string
+     */
+    toString(): string;
+}
+//# sourceMappingURL=ORSet.d.ts.map

package/dist/edge/p2p/crdt/ORSet.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ORSet.d.ts","sourceRoot":"","sources":["../../../../src/edge/p2p/crdt/ORSet.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EACL,SAAS,EAGT,SAAS,EACT,YAAY,EACZ,qBAAqB,EACrB,YAAY,EACZ,oBAAoB,EAEpB,WAAW,EAKX,SAAS,EAGT,IAAI,EAIL,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAgC5C;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,qBAAa,KAAK,CAAC,CAAC,CAAE,YAAW,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC;IACpE,qCAAqC;IACrC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAS;IAE5B,uBAAuB;IACvB,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAY;IAEtC,uCAAuC;IACvC,OAAO,CAAC,QAAQ,CAA+B;IAE/C,sCAAsC;IACtC,OAAO,CAAC,UAAU,CAAyB;IAE3C,kCAAkC;IAClC,OAAO,CAAC,WAAW,CAAc;IAEjC,eAAe;IACf,OAAO,CAAC,QAAQ,CAAe;IAE/B,iCAAiC;IACjC,OAAO,CAAC,cAAc,CAAS;IAE/B,4CAA4C;IAC5C,OAAO,CAAC,cAAc,CAAc;IAEpC,oCAAoC;IACpC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAS;IAEtC,gCAAgC;IAChC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAA0B;IAExD;;;;;;OAMG;gBAED,SAAS,EAAE,SAAS,EACpB,EAAE,EAAE,MAAM,EACV,OAAO,CAAC,EAAE;QACR,YAAY,CAAC,EAAE,MAAM,CAAC;QACtB,aAAa,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC;KACzC;IAyBH;;;;OAIG;IACH,KAAK,IAAI,GAAG,CAAC,CAAC,CAAC;IAQf;;;;OAIG;IACH,MAAM,IAAI,CAAC,EAAE;IAIb;;;;;OAKG;IACH,GAAG,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM;IAoBrB;;;;;;;OAOG;IACH,MAAM,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM;IA0CxB;;;;;OAKG;IACH,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO;IA4BjC;;;;;OAKG;IACH,GAAG,CAAC,KAAK,EAAE,CAAC,GAAG,OAAO;IAStB;;;;;OAKG;IACH,MAAM,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO;IAI5B;;;;;OAKG;IACH,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,SAAS;IAIlD;;;;OAIG;IACH,IAAI,IAAI,MAAM;IAId;;;;OAIG;IACH,OAAO,IAAI,OAAO;IAIlB;;OAEG;IACH,KAAK,IAAI,IAAI;IA6Bb;;;;OAIG;IACH,KAAK,IAAI,SAAS,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC;IAqB3C;;;;;;OAMG;IACH,MAAM,CAAC,SAAS,CAAC,CAAC,EAChB,KAAK,EAAE,SAAS,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,EACzC,SAAS,EAAE,SAAS,GACnB,KAAK,CAAC,CAAC,CAAC;IAmDX;;;;;;;;OAQG;IACH,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC;IAqKtF;;;;;OAKG;IACH,aAAa,CAAC,KAAK,CAAC,EAAE,qBAAqB,GAAG,SAAS,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI;IAkEvF;;;;;OAKG;IACH,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO;IA4D9D;;;;OAIG;IACH,YAAY,IAAI,MAAM;IActB;;;;OAIG;IACH,iBAAiB,IAAI,MAAM;IAQ3B;;;;OAIG;IACH,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC;IAgBjB;;;;OAIG;IACH,KAAK,IAAI,MAAM;IAIf;;;;OAIG;IACH,YAAY,IAAI,SAAS;IAIzB;;;;OAIG;IACH,cAAc,IAAI,WAAW;IAI7B;;;;OAIG;IACH,WAAW,IAAI,YAAY;IAI3B;;OAEG;IACF,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC;IAMjC;;;;OAIG;IACH,QAAQ,IAAI,MAAM;CAKnB"}