@ibgib/core-gib 0.1.42 → 0.1.43

package/src/test/mock-space.mts

@@ -1,85 +1,85 @@
-import { IbGib_V1 } from '@ibgib/ts-gib/dist/V1/types.mjs';
-import { getIbGibAddr } from '@ibgib/ts-gib/dist/helper.mjs';
+// import { IbGib_V1 } from '@ibgib/ts-gib/dist/V1/types.mjs';
+// import { getIbGibAddr } from '@ibgib/ts-gib/dist/helper.mjs';
 
-/**
- * A simple in-memory map acting as a Space.
- * Pure Storage. No Indexing logic.
- * 
- * Copied/Adapted from Keystone Respecs.
- */
-export class MockIbGibSpace {
-    store = new Map<string, IbGib_V1>();
+// /**
+//  * A simple in-memory map acting as a Space.
+//  * Pure Storage. No Indexing logic.
+//  *
+//  * Copied/Adapted from Keystone Respecs.
+//  */
+// export class MockIbGibSpace {
+//     store = new Map<string, IbGib_V1>();
 
-    constructor(public name: string = "mock_space") { }
+//     constructor(public name: string = "mock_space") { }
 
-    async put({ ibGib }: { ibGib: IbGib_V1 }): Promise<void> {
-        const addr = getIbGibAddr({ ibGib });
-        this.store.set(addr, JSON.parse(JSON.stringify(ibGib))); // Deep copy
-    }
+//     async put({ ibGib }: { ibGib: IbGib_V1 }): Promise<void> {
+//         const addr = getIbGibAddr({ ibGib });
+//         this.store.set(addr, JSON.parse(JSON.stringify(ibGib))); // Deep copy
+//     }
 
-    async get({ addr }: { addr: string }): Promise<IbGib_V1 | null> {
-        const data = this.store.get(addr);
-        return data ? JSON.parse(JSON.stringify(data)) : null;
-    }
+//     async get({ addr }: { addr: string }): Promise<IbGib_V1 | null> {
+//         const data = this.store.get(addr);
+//         return data ? JSON.parse(JSON.stringify(data)) : null;
+//     }
 
-    async witness(arg: any): Promise<any> {
-        const cmd = arg.data?.cmd;
-        if (cmd === 'get') {
-            const addrs = arg.data.ibGibAddrs || [];
-            const ibGibs: IbGib_V1[] = [];
-            for (const addr of addrs) {
-                const ig = await this.get({ addr });
-                if (ig) ibGibs.push(ig);
-            }
-            return { ibGibs };
-        }
-        if (cmd === 'put') {
-            const ibGibs = arg.ibGibs || [];
-            for (const ibGib of ibGibs) {
-                await this.put({ ibGib });
-            }
-            return { ibGibs: [] }; // Return empty result or whatever witness expects
-        }
-        return undefined;
-    }
-}
+//     async witness(arg: any): Promise<any> {
+//         const cmd = arg.data?.cmd;
+//         if (cmd === 'get') {
+//             const addrs = arg.data.ibGibAddrs || [];
+//             const ibGibs: IbGib_V1[] = [];
+//             for (const addr of addrs) {
+//                 const ig = await this.get({ addr });
+//                 if (ig) ibGibs.push(ig);
+//             }
+//             return { ibGibs };
+//         }
+//         if (cmd === 'put') {
+//             const ibGibs = arg.ibGibs || [];
+//             for (const ibGib of ibGibs) {
+//                 await this.put({ ibGib });
+//             }
+//             return { ibGibs: [] }; // Return empty result or whatever witness expects
+//         }
+//         return undefined;
+//     }
+// }
 
-/**
- * A partial mock of Metaspace.
- */
-export class MockMetaspaceService {
+// /**
+//  * A partial mock of Metaspace.
+//  */
+// export class MockMetaspaceService {
 
-    /**
-     * Map of TJP Gib (Timeline ID) -> Latest IbGib Addr (Head)
-     */
-    timelineHeads = new Map<string, string>();
+//     /**
+//      * Map of TJP Gib (Timeline ID) -> Latest IbGib Addr (Head)
+//      */
+//     timelineHeads = new Map<string, string>();
 
-    constructor(public space: MockIbGibSpace) { }
+//     constructor(public space: MockIbGibSpace) { }
 
-    async getLocalUserSpace({ lock }: { lock: boolean }): Promise<MockIbGibSpace> {
-        return this.space;
-    }
+//     async getLocalUserSpace({ lock }: { lock: boolean }): Promise<MockIbGibSpace> {
+//         return this.space;
+//     }
 
-    async put(args: any): Promise<void> {
-        const target = args.space || this.space;
-        return target.put(args);
-    }
+//     async put(args: any): Promise<void> {
+//         const target = args.space || this.space;
+//         return target.put(args);
+//     }
 
-    async registerNewIbGib(args: { ibGib: IbGib_V1, space?: any }): Promise<void> {
-        const { ibGib } = args;
-        const targetSpace = args.space || this.space;
+//     async registerNewIbGib(args: { ibGib: IbGib_V1, space?: any }): Promise<void> {
+//         const { ibGib } = args;
+//         const targetSpace = args.space || this.space;
 
-        // 1. Ensure it is stored
-        await targetSpace.put({ ibGib });
+//         // 1. Ensure it is stored
+//         await targetSpace.put({ ibGib });
 
-        // 2. Extract TJP
-        const gib = ibGib.gib || '';
-        let tjpGib = gib;
-        if (gib.includes('.')) {
-            const parts = gib.split('.');
-            tjpGib = parts.slice(1).join('.');
-        }
-        const addr = getIbGibAddr({ ibGib });
-        this.timelineHeads.set(tjpGib, addr);
-    }
-}
+//         // 2. Extract TJP
+//         const gib = ibGib.gib || '';
+//         let tjpGib = gib;
+//         if (gib.includes('.')) {
+//             const parts = gib.split('.');
+//             tjpGib = parts.slice(1).join('.');
+//         }
+//         const addr = getIbGibAddr({ ibGib });
+//         this.timelineHeads.set(tjpGib, addr);
+//     }
+// }

package/src/sync/docs/verification.md

@@ -1,43 +0,0 @@
-# Sync Protocol Verification
-
-This document outlines the testing strategy and verification results for the Symmetric Sync Protocol.
-
-## Testing Strategy
-We use `respec-gib` (a BDD-style framework) with **In-Memory Simulation (`InnerSpace`)** to verify logic. This allows us to test complex graph scenarios without network or disk I/O overhead.
-
-### Key Test Files
-*   `sync-innerspace.respec.mts`: Basic Push/Pull scenarios.
-*   `sync-innerspace-multiple-timelines.respec.mts`: Handling multiple independent timelines in one Saga.
-*   `sync-innerspace-deep-updates.respec.mts`: Syncing timelines with extensive history (ensuring `past` links are traversed).
-*   `sync-innerspace-partial-update.respec.mts`: **Smart Diff** verification (Sender uses Receiver's context to send only deltas).
-*   `sync-innerspace-dest-ahead.respec.mts`: Verifying "Fast-Backward" or "Push Offer" logic (Sender offers update, Receiver accepts).
-*   `sync-innerspace-constants.respec.mts`: Verifying synchronization of **Stones** (Constants/Non-TJPs).
-
-## Verification Matrix
-
-### 1. Basic Scenarios
-| Feature | Description | Status | Test File |
-| :--- | :--- | :--- | :--- |
-| **Push** | Source syncs a new timeline to an empty Dest. | ✅ Verified | `sync-innerspace.respec.mts` |
-| **Pull** | Dest requests data from Source (Reverse Sync). | ⏳ Pending | `sync-innerspace.respec.mts` |
-| **Dest Ahead** | Dest has newer data; Source offers Push. | ✅ Verified | `sync-innerspace-dest-ahead.respec.mts` |
-
-### 2. Complex Graph Scenarios
-| Feature | Description | Status | Test File |
-| :--- | :--- | :--- | :--- |
-| **Multi-Timeline** | Syncing multiple separate timelines. | ✅ Verified | `sync-innerspace-multiple-timelines.respec.mts` |
-| **Deep Updates** | Syncing deep dependency chains (Ancestors). | ✅ Verified | `sync-innerspace-deep-updates.respec.mts` |
-| **Smart Diff** | Sender skips data Receiver already has. | ✅ Verified | `sync-innerspace-partial-update.respec.mts` |
-| **Constants** | Syncing immutable stones (no TJP). | ✅ Verified | `sync-innerspace-constants.respec.mts` |
-
-### 3. Failure & Edge Cases
-| Feature | Description | Status | Test File |
-| :--- | :--- | :--- | :--- |
-| **Validation** | Verifying Integrity Checks (ib/gib). | ⏳ Pending | - |
-| **Conflicts** | Divergent branches (Merge Strategy). | ⏳ Pending | - |
-
-## Recent Verifications
-### Sync Constants (2026-01-08)
-*   **Goal**: Ensure constants (ibGibs without `tjp` or `past`) are synced.
-*   **Result**: Passed.
-*   **Fixes**: Updated `handleInitFrame` to request missing stones; updated `handleAckFrame` to include "tip" stones in payload even without dependencies.