@ibgib/core-gib 0.1.60 → 0.1.61

package/src/sync/sync-innerspace-multiple-timelines.withid.respec.mts

@@ -0,0 +1,273 @@
+/**
+ * @module sync-innerspace-multiple-timelines.withid.respec
+ *
+ * Verifies syncing multiple independent timelines with Identity.
+ */
+
+import {
+    respecfully, respecfullyDear, iReckon, ifWe, ifWeMight
+} from '@ibgib/helper-gib/dist/respec-gib/respec-gib.mjs';
+const maam = `[${import.meta.url}]`, sir = maam;
+import { clone, delay, extractErrorMsg, pretty } from '@ibgib/helper-gib/dist/helpers/utils-helper.mjs';
+import { getIbGibAddr } from '@ibgib/ts-gib/dist/helper.mjs';
+import { getDependencyGraph, graphsAreEquivalent } from '../common/other/graph-helper.mjs';
+
+import { GLOBAL_LOG_A_LOT } from '../core-constants.mjs';
+import { SyncSagaCoordinator } from './sync-saga-coordinator.mjs';
+import { getFromSpace } from '../witness/space/space-helper.mjs';
+import { Metaspace_Innerspace } from '../witness/space/metaspace/metaspace-innerspace/metaspace-innerspace.mjs';
+import { InnerSpace_V1 } from '../witness/space/inner-space/inner-space-v1.mjs';
+import { createTimelineRootTestHelper } from '../test-helpers.mjs';
+import { mut8Timeline } from '../timeline/timeline-api.mjs';
+import { DEFAULT_INNER_SPACE_DATA_V1 } from '../witness/space/inner-space/inner-space-types.mjs';
+import { SyncPeerInnerspace_V1 } from './sync-peer/sync-peer-innerspace/sync-peer-innerspace-v1.mjs';
+import { SYNC_PEER_INNERSPACE_DEFAULT_DATA_V1 } from './sync-peer/sync-peer-innerspace/sync-peer-innerspace-constants.mjs';
+
+import { KeystoneService_V1 } from '../keystone/keystone-service-v1.mjs';
+import {
+    KEYSTONE_VERB_SYNC, POOL_ID_SYNC,
+} from '../keystone/keystone-constants.mjs';
+import { createStandardPoolConfig } from '../keystone/keystone-config-builder.mjs';
+import { KeystoneReplenishStrategy } from '../keystone/keystone-types.mjs';
+
+const logalot = GLOBAL_LOG_A_LOT || true;
+const lc = `[sync-innerspace-multiple-timelines.withid.respec]`;
+
+const SENDER_SECRET = 'test-sender-secret-multiple-timelines-withid';
+
+const SENDER_IDENTITY_SYNC_POOL_CONFIG = createStandardPoolConfig({
+    id: POOL_ID_SYNC,
+    salt: 'senderidentitysyncsaltmultipletimelineswithid',
+    verbs: [KEYSTONE_VERB_SYNC],
+    size: 200,
+    sequential: 1,
+    random: 1,
+    targetBinding: 2,
+    replenishStrategy: KeystoneReplenishStrategy.topUp,
+});
+
+await respecfully(sir, `Sync InnerSpaces (Multiple Timelines) with Identity`, async () => {
+
+    let metaspace: Metaspace_Innerspace;
+    let sourceSpace: InnerSpace_V1;
+    let destSpace: InnerSpace_V1;
+
+    interface TestData {
+        type: string;
+        label?: string;
+        uuid?: string;
+        n?: number;
+    }
+
+    // #region Round 1 - Multiple Timelines Push Sync
+    await respecfully(sir, `Multiple Timelines (Push Source -> Dest with Identity)`, async () => {
+        // 1. Setup Spaces
+        metaspace = new Metaspace_Innerspace(undefined);
+        await metaspace.initialize({
+            getFnAlert: () => async ({ title, msg }) => { console.log(`[Alert] ${title}: ${msg}`); },
+            getFnPrompt: () => async ({ title, msg }) => { console.log(`[Prompt] ${title}: ${msg}`); return ''; },
+            getFnPromptPassword: () => async (title, msg) => { console.log(`[PromptPwd] ${title}: ${msg}`); return null; },
+        });
+        while (!metaspace.initialized) { await delay(10); }
+
+        sourceSpace = new InnerSpace_V1({
+            ...DEFAULT_INNER_SPACE_DATA_V1,
+            name: 'source',
+            uuid: 'source_uuid',
+            description: 'source test space',
+        });
+        await sourceSpace.initialized;
+
+        destSpace = new InnerSpace_V1({
+            ...DEFAULT_INNER_SPACE_DATA_V1,
+            name: 'dest',
+            uuid: 'dest_uuid',
+            description: 'dest test space',
+        });
+        await destSpace.initialized;
+
+        // 2. Setup Identities
+        const keystoneSvc = new KeystoneService_V1();
+        const r1_senderIdentity_v0_source = await keystoneSvc.genesis({
+            masterSecret: SENDER_SECRET,
+            configs: [SENDER_IDENTITY_SYNC_POOL_CONFIG],
+            metaspace,
+            space: sourceSpace,
+        });
+
+        // Register sender identity on destination space as well
+        await metaspace.put({ ibGib: r1_senderIdentity_v0_source, space: destSpace });
+        await metaspace.registerNewIbGib({ ibGib: r1_senderIdentity_v0_source, space: destSpace });
+
+        // #region r1 setup
+        // 3. Seed Source Data (Multiple Independent Timelines)
+        console.log(`${lc} Creating data in Source...`);
+
+        // Timeline A
+        const r1_alpha_v0_source = await createTimelineRootTestHelper<TestData>({
+            ib: 'timeline_root_A',
+            data: { type: 'root', label: 'A' },
+            space: sourceSpace,
+        });
+        const r1_alpha_v1_source = await mut8Timeline<TestData>({
+            timeline: r1_alpha_v0_source,
+            mut8Opts: { dataToAddOrPatch: { type: 'child', label: 'A1' } },
+            metaspace,
+            space: sourceSpace,
+        });
+        const r1_alpha_v1_source_addr = getIbGibAddr({ ibGib: r1_alpha_v1_source });
+
+        // Timeline B
+        const r1_beta_v0_source = await createTimelineRootTestHelper<TestData>({
+            ib: 'timeline_root_B',
+            data: { type: 'root', label: 'B' },
+            space: sourceSpace,
+        });
+        const r1_beta_v1_source = await mut8Timeline<TestData>({
+            timeline: r1_beta_v0_source,
+            mut8Opts: { dataToAddOrPatch: { type: 'child', label: 'B1' } },
+            metaspace,
+            space: sourceSpace,
+        });
+        const r1_beta_v2_source = await mut8Timeline<TestData>({
+            timeline: r1_beta_v1_source,
+            mut8Opts: { dataToAddOrPatch: { type: 'child', label: 'B2' } },
+            metaspace,
+            space: sourceSpace,
+        });
+        const r1_beta_v2_source_addr = getIbGibAddr({ ibGib: r1_beta_v2_source });
+        // #endregion r1 setup
+
+        // #region r1 verify pre
+        await respecfully(sir, `r1 verify pre`, async () => {
+            await ifWe(sir, `Dest does not have any of the timeline frames initially`, async () => {
+                const getA1 = await getFromSpace({ space: destSpace, addr: r1_alpha_v1_source_addr });
+                const getA0 = await getFromSpace({ space: destSpace, addr: getIbGibAddr({ ibGib: r1_alpha_v0_source }) });
+                const getB2 = await getFromSpace({ space: destSpace, addr: r1_beta_v2_source_addr });
+                const getB1 = await getFromSpace({ space: destSpace, addr: getIbGibAddr({ ibGib: r1_beta_v1_source }) });
+                const getB0 = await getFromSpace({ space: destSpace, addr: getIbGibAddr({ ibGib: r1_beta_v0_source }) });
+
+                iReckon(sir, getA1.success || getA0.success || getB2.success || getB1.success || getB0.success).asTo('Dest initially lacks alpha and beta frames').isGonnaBeFalse();
+            });
+        });
+        // #endregion r1 verify pre
+
+        // 4. Setup Coordinator & Peer
+        const senderCoordinator = new SyncSagaCoordinator();
+        const receiverCoordinator = new SyncSagaCoordinator();
+
+        const peer = new SyncPeerInnerspace_V1(clone(SYNC_PEER_INNERSPACE_DEFAULT_DATA_V1));
+        await peer.initialized;
+        await peer.initializeOpts({
+            sagaId: '',
+            localMetaspace: metaspace,
+            localSpace: sourceSpace,   // "Client"
+            receiverSpace: destSpace,   // "Server"
+            receiverCoordinator,
+            receiverMetaspace: metaspace,
+        });
+
+        // #region r1 syncs
+        // 5. Run Sync (Sync both tips: A1 and B2)
+        console.log(`${lc} Running Sync...`);
+        const resSync = await senderCoordinator.sync({
+            peer: peer,
+            localSpace: sourceSpace,
+            metaspace: metaspace,
+            domainIbGibs: [r1_alpha_v1_source, r1_beta_v2_source],
+            senderIdentity: r1_senderIdentity_v0_source,
+            fnSenderSecret: async () => SENDER_SECRET,
+        });
+        await resSync.done;
+        // #endregion r1 syncs
+
+        // #region r1 verify post
+        await respecfully(sir, `r1 verify post`, async () => {
+            await ifWe(sir, `verify timelines present and correct in Dest`, async () => {
+                // Verify A
+                const getA1 = await getFromSpace({ space: destSpace, addr: r1_alpha_v1_source_addr });
+                iReckon(sir, getA1.success).asTo('Timeline A present').isGonnaBeTrue();
+                iReckon(sir, getA1.ibGibs?.[0]?.data?.label).asTo('Label A match').isGonnaBe('A1');
+
+                // Verify B
+                const getB2 = await getFromSpace({ space: destSpace, addr: r1_beta_v2_source_addr });
+                iReckon(sir, getB2.success).asTo('Timeline B present').isGonnaBeTrue();
+                iReckon(sir, getB2.ibGibs?.[0]?.data?.label).asTo('Label B match').isGonnaBe('B2');
+            });
+
+            await ifWe(sir, 'sessionIdentity evolved the expected number of times', async () => {
+                const latestS = peer.currentSessionIdentity;
+                iReckon(sir, latestS).asTo('latest session identity exists on peer').isGonnaBeTruthy();
+                if (latestS) {
+                    iReckon(sir, latestS.data?.n).asTo('session identity data.n').isGonnaBe(2);
+                }
+            });
+
+            await ifWe(sir, 'sender durable space has I (evolved frame)', async () => {
+                const latestSenderIdentityAddr = await metaspace.getLatestAddr({
+                    addr: getIbGibAddr({ ibGib: r1_senderIdentity_v0_source }),
+                    space: sourceSpace,
+                });
+                iReckon(sir, latestSenderIdentityAddr).asTo('latestSenderIdentityAddr exists').isGonnaBeTruthy();
+                if (latestSenderIdentityAddr) {
+                    const resGetSourceI = await getFromSpace({ space: sourceSpace, addr: latestSenderIdentityAddr });
+                    iReckon(sir, resGetSourceI.success && resGetSourceI.ibGibs?.length === 1).asTo('evolved I exists in sourceSpace').isGonnaBeTrue();
+                    if (resGetSourceI.success && resGetSourceI.ibGibs?.[0]) {
+                        const evolvedI = resGetSourceI.ibGibs[0];
+                        iReckon(sir, evolvedI.data?.n).asTo('evolved I data.n').isGonnaBe(1);
+                    }
+                }
+            });
+
+            await ifWe(sir, 'receiver durable space has I (evolved frame)', async () => {
+                const latestSenderIdentityAddr = await metaspace.getLatestAddr({
+                    addr: getIbGibAddr({ ibGib: r1_senderIdentity_v0_source }),
+                    space: sourceSpace,
+                });
+                iReckon(sir, latestSenderIdentityAddr).asTo('latestSenderIdentityAddr exists').isGonnaBeTruthy();
+                if (latestSenderIdentityAddr) {
+                    const resGetDestI = await getFromSpace({ space: destSpace, addr: latestSenderIdentityAddr });
+                    iReckon(sir, resGetDestI.success && resGetDestI.ibGibs?.length === 1).asTo('evolved I exists in destSpace').isGonnaBeTrue();
+                    if (resGetDestI.success && resGetDestI.ibGibs?.[0]) {
+                        const evolvedI = resGetDestI.ibGibs[0];
+                        iReckon(sir, evolvedI.data?.n).asTo('evolved I data.n').isGonnaBe(1);
+                    }
+                }
+            });
+
+            await ifWe(sir, 'sender durable space has full S dep graph', async () => {
+                const latestS = peer.currentSessionIdentity;
+                iReckon(sir, latestS).asTo('latestS exists').isGonnaBeTruthy();
+                if (latestS) {
+                    const depGraphS = await getDependencyGraph({ ibGib: latestS, space: sourceSpace });
+                    const addrs = Object.keys(depGraphS);
+                    iReckon(sir, addrs.length > 2).asTo('number of nodes in S graph > 2').isGonnaBeTrue();
+                }
+            });
+
+            await ifWe(sir, 'receiver durable space has full S dep graph', async () => {
+                const latestS = peer.currentSessionIdentity;
+                iReckon(sir, latestS).asTo('latestS exists').isGonnaBeTruthy();
+                if (latestS) {
+                    const depGraphS = await getDependencyGraph({ ibGib: latestS, space: destSpace });
+                    const addrs = Object.keys(depGraphS);
+                    iReckon(sir, addrs.length > 2).asTo('number of nodes in S graph in destSpace > 2').isGonnaBeTrue();
+                }
+            });
+
+            await ifWe(sir, 'session keystone dependency graphs are equivalent on source and dest', async () => {
+                const latestS = peer.currentSessionIdentity;
+                iReckon(sir, latestS).asTo('latestS exists').isGonnaBeTruthy();
+                if (latestS) {
+                    const depGraphSource = await getDependencyGraph({ ibGib: latestS, space: sourceSpace });
+                    const depGraphDest = await getDependencyGraph({ ibGib: latestS, space: destSpace });
+                    const equal = graphsAreEquivalent({ graphA: depGraphSource, graphB: depGraphDest });
+                    iReckon(sir, equal).asTo('session graphs are equivalent').isGonnaBeTrue();
+                }
+            });
+        });
+        // #endregion r1 verify post
+    });
+    // #endregion Round 1 - Multiple Timelines Push Sync
+
+});

package/src/sync/sync-innerspace-partial-update.withid.respec.mts

@@ -0,0 +1,249 @@
+/**
+ * @module sync-innerspace-partial-update.withid.respec
+ *
+ * Verifies Sync Scenarios where the Destination has partial history, using Identity.
+ */
+
+import {
+    respecfully, ifWe, ifWeMight, iReckon
+} from '@ibgib/helper-gib/dist/respec-gib/respec-gib.mjs';
+const maam = `[${import.meta.url}]`, sir = maam;
+import { clone, delay } from '@ibgib/helper-gib/dist/helpers/utils-helper.mjs';
+import { getIbGibAddr } from '@ibgib/ts-gib/dist/helper.mjs';
+import { getDependencyGraph } from '../common/other/graph-helper.mjs';
+
+import { SyncSagaCoordinator } from './sync-saga-coordinator.mjs';
+import { putInSpace, getFromSpace } from '../witness/space/space-helper.mjs';
+import { Metaspace_Innerspace } from '../witness/space/metaspace/metaspace-innerspace/metaspace-innerspace.mjs';
+import { InnerSpace_V1 } from '../witness/space/inner-space/inner-space-v1.mjs';
+import { createTimelineRootTestHelper, } from '../test-helpers.mjs';
+import { mut8Timeline } from '../timeline/timeline-api.mjs';
+import { DEFAULT_INNER_SPACE_DATA_V1 } from '../witness/space/inner-space/inner-space-types.mjs';
+import { SyncPeerInnerspace_V1 } from './sync-peer/sync-peer-innerspace/sync-peer-innerspace-v1.mjs';
+import { SYNC_PEER_INNERSPACE_DEFAULT_DATA_V1 } from './sync-peer/sync-peer-innerspace/sync-peer-innerspace-constants.mjs';
+
+import { KeystoneService_V1 } from '../keystone/keystone-service-v1.mjs';
+import {
+    KEYSTONE_VERB_SYNC, POOL_ID_SYNC,
+} from '../keystone/keystone-constants.mjs';
+import { createStandardPoolConfig } from '../keystone/keystone-config-builder.mjs';
+import { KeystoneReplenishStrategy, KeystoneIbGib_V1 } from '../keystone/keystone-types.mjs';
+
+const logalot = true;
+const lc = `[sync-innerspace-partial-update.withid.respec]`;
+
+const SENDER_SECRET = 'test-sender-secret-partial-update-withid';
+
+const SENDER_IDENTITY_SYNC_POOL_CONFIG = createStandardPoolConfig({
+    id: POOL_ID_SYNC,
+    salt: 'senderidentitysyncsaltpartialupdatewithid',
+    verbs: [KEYSTONE_VERB_SYNC],
+    size: 200,
+    sequential: 1,
+    random: 1,
+    targetBinding: 2,
+    replenishStrategy: KeystoneReplenishStrategy.topUp,
+});
+
+await respecfully(sir, `Sync InnerSpaces (Partial Update) with Identity`, async () => {
+
+    let metaspace: Metaspace_Innerspace;
+    let sourceSpace: InnerSpace_V1;
+    let destSpace: InnerSpace_V1;
+
+    interface TestData {
+        type: string;
+        label?: string;
+        uuid?: string;
+        n?: number;
+    }
+
+    // #region Round 1 - Sync Destination with Partial History
+    await respecfully(sir, `Sender Newer (Partial History) (Source -> Dest)`, async () => {
+        // 1. Setup Spaces
+        metaspace = new Metaspace_Innerspace(undefined);
+        await metaspace.initialize({
+            getFnAlert: () => async ({ title, msg }) => { },
+            getFnPrompt: () => async ({ title, msg }) => { return ''; },
+            getFnPromptPassword: () => async (title, msg) => { return null; },
+        });
+        while (!metaspace.initialized) { await delay(10); }
+
+        sourceSpace = new InnerSpace_V1({
+            ...DEFAULT_INNER_SPACE_DATA_V1,
+            name: 'source',
+            uuid: 'source_uuid',
+            description: 'source test space',
+        });
+        await sourceSpace.initialized;
+
+        destSpace = new InnerSpace_V1({
+            ...DEFAULT_INNER_SPACE_DATA_V1,
+            name: 'dest',
+            uuid: 'dest_uuid',
+            description: 'dest test space',
+        });
+        await destSpace.initialized;
+
+        const keystoneSvc = new KeystoneService_V1();
+        const r1_senderIdentity_v0_source = await keystoneSvc.genesis({
+            masterSecret: SENDER_SECRET,
+            configs: [SENDER_IDENTITY_SYNC_POOL_CONFIG],
+            metaspace,
+            space: sourceSpace,
+        });
+
+        // post the senderIdentity to receiver
+        await metaspace.put({ ibGib: r1_senderIdentity_v0_source, space: destSpace });
+        await metaspace.registerNewIbGib({ ibGib: r1_senderIdentity_v0_source, space: destSpace });
+
+        // #region r1 setup
+        // 2. Create Timeline: Root -> V1 (Shared) -> V2 (Source Only)
+        const r1_alpha_v0_source = await createTimelineRootTestHelper<TestData>({
+            ib: 'timeline_root_partial',
+            data: { type: 'root', label: 'Root' },
+            space: sourceSpace,
+        });
+
+        // V1
+        const r1_alpha_v1_source = await mut8Timeline<TestData>({
+            timeline: r1_alpha_v0_source,
+            mut8Opts: { dataToAddOrPatch: { type: 'comment', label: 'V1' } },
+            metaspace,
+            space: sourceSpace,
+        });
+
+        // V2 (Source Only)
+        const r1_alpha_v2_source = await mut8Timeline<TestData>({
+            timeline: r1_alpha_v1_source,
+            mut8Opts: { dataToAddOrPatch: { type: 'comment', label: 'V2' } },
+            metaspace,
+            space: sourceSpace,
+        });
+        const r1_alpha_v2_source_addr = getIbGibAddr({ ibGib: r1_alpha_v2_source });
+
+        // Transfer Root & V1 to Dest (Simulate previous sync)
+        await putInSpace({ space: destSpace, ibGibs: [r1_alpha_v0_source, r1_alpha_v1_source] });
+        // #endregion r1 setup
+
+        // #region r1 verify pre
+        await respecfully(sir, `r1 verify pre`, async () => {
+            await ifWe(sir, `Dest has V1 but not V2 initially`, async () => {
+                // Verify Dest has V1
+                const checkV1 = await getFromSpace({ space: destSpace, addr: getIbGibAddr({ ibGib: r1_alpha_v1_source }) });
+                iReckon(sir, checkV1.success).asTo('Dest has V1').isGonnaBeTrue();
+
+                // Verify Dest does NOT have V2
+                const checkV2 = await getFromSpace({ space: destSpace, addr: r1_alpha_v2_source_addr });
+                iReckon(sir, checkV2.success && !!checkV2.ibGibs?.length).asTo('Dest does not have V2').isGonnaBeFalse();
+            });
+        });
+        // #endregion r1 verify pre
+
+        // 3. Setup Sync
+        const senderCoordinator = new SyncSagaCoordinator();
+        const receiverCoordinator = new SyncSagaCoordinator();
+
+        const peer = new SyncPeerInnerspace_V1(clone(SYNC_PEER_INNERSPACE_DEFAULT_DATA_V1));
+        await peer.initialized;
+        await peer.initializeOpts({
+            sagaId: '',
+            localMetaspace: metaspace,
+            localSpace: sourceSpace,   // "Client"
+            receiverSpace: destSpace,   // "Server"
+            receiverCoordinator,
+            receiverMetaspace: metaspace,
+        });
+
+        // #region r1 syncs
+        // 4. Run Sync (Source Pushes V2)
+        console.log(`${lc} Running Sync...`);
+        const resSync = await senderCoordinator.sync({
+            peer: peer,
+            localSpace: sourceSpace,
+            metaspace: metaspace,
+            domainIbGibs: [r1_alpha_v2_source],
+            senderIdentity: r1_senderIdentity_v0_source,
+            fnSenderSecret: async () => SENDER_SECRET,
+        });
+        await resSync.done;
+        // #endregion r1 syncs
+
+        // #region r1 verify post
+        await respecfully(sir, `r1 verify post`, async () => {
+            await ifWe(sir, `verify dest updated with V2 and links to V1`, async () => {
+                // Verify Tip (V2)
+                const getV2 = await getFromSpace({ space: destSpace, addr: r1_alpha_v2_source_addr });
+                iReckon(sir, getV2.success).asTo('V2 present in Dest').isGonnaBeTrue();
+
+                // Verify V2 points to V1
+                const v2IbGib = getV2.ibGibs![0];
+                const pastAddr = v2IbGib.rel8ns?.past?.at(-1);
+                iReckon(sir, pastAddr === getIbGibAddr({ ibGib: r1_alpha_v1_source })).asTo('V2 points to V1').isGonnaBeTrue();
+            });
+
+            await ifWe(sir, 'sessionIdentity evolved the expected number of times', async () => {
+                const latestS = peer.currentSessionIdentity;
+                iReckon(sir, latestS).asTo('latest session identity exists on peer').isGonnaBeTruthy();
+                if (latestS) {
+                    iReckon(sir, latestS.data?.n).asTo('session identity data.n').isGonnaBe(2);
+                }
+            });
+
+            await ifWe(sir, 'sender durable space has I (evolved frame)', async () => {
+                const latestSenderIdentityAddr = await metaspace.getLatestAddr({
+                    addr: getIbGibAddr({ ibGib: r1_senderIdentity_v0_source }),
+                    space: sourceSpace,
+                });
+                iReckon(sir, latestSenderIdentityAddr).asTo('latestSenderIdentityAddr exists').isGonnaBeTruthy();
+                if (latestSenderIdentityAddr) {
+                    const resGetSourceI = await getFromSpace({ space: sourceSpace, addr: latestSenderIdentityAddr });
+                    iReckon(sir, resGetSourceI.success && resGetSourceI.ibGibs?.length === 1).asTo('evolved I exists in sourceSpace').isGonnaBeTrue();
+                    if (resGetSourceI.success && resGetSourceI.ibGibs?.[0]) {
+                        const evolvedI = resGetSourceI.ibGibs[0];
+                        iReckon(sir, evolvedI.data?.n).asTo('evolved I data.n').isGonnaBe(1);
+                    }
+                }
+            });
+
+            await ifWe(sir, 'receiver durable space has I (evolved frame)', async () => {
+                const latestSenderIdentityAddr = await metaspace.getLatestAddr({
+                    addr: getIbGibAddr({ ibGib: r1_senderIdentity_v0_source }),
+                    space: sourceSpace,
+                });
+                iReckon(sir, latestSenderIdentityAddr).asTo('latestSenderIdentityAddr exists').isGonnaBeTruthy();
+                if (latestSenderIdentityAddr) {
+                    const resGetDestI = await getFromSpace({ space: destSpace, addr: latestSenderIdentityAddr });
+                    iReckon(sir, resGetDestI.success && resGetDestI.ibGibs?.length === 1).asTo('evolved I exists in destSpace').isGonnaBeTrue();
+                    if (resGetDestI.success && resGetDestI.ibGibs?.[0]) {
+                        const evolvedI = resGetDestI.ibGibs[0];
+                        iReckon(sir, evolvedI.data?.n).asTo('evolved I data.n').isGonnaBe(1);
+                    }
+                }
+            });
+
+            await ifWe(sir, 'sender durable space has full S dep graph', async () => {
+                const latestS = peer.currentSessionIdentity;
+                iReckon(sir, latestS).asTo('latestS exists').isGonnaBeTruthy();
+                if (latestS) {
+                    const depGraphS = await getDependencyGraph({ ibGib: latestS, space: sourceSpace });
+                    const addrs = Object.keys(depGraphS);
+                    iReckon(sir, addrs.length > 2).asTo('number of nodes in S graph > 2').isGonnaBeTrue();
+                }
+            });
+
+            await ifWe(sir, 'receiver durable space has full S dep graph', async () => {
+                const latestS = peer.currentSessionIdentity;
+                iReckon(sir, latestS).asTo('latestS exists').isGonnaBeTruthy();
+                if (latestS) {
+                    const depGraphS = await getDependencyGraph({ ibGib: latestS, space: destSpace });
+                    const addrs = Object.keys(depGraphS);
+                    iReckon(sir, addrs.length > 2).asTo('number of nodes in S graph in destSpace > 2').isGonnaBeTrue();
+                }
+            });
+        });
+        // #endregion r1 verify post
+
+    });
+    // #endregion Round 1 - Sync Destination with Partial History
+});