@ibgib/core-gib 0.1.60 → 0.1.61

package/dist/sync/sync-innerspace-multiple-timelines.withid.respec.mjs

@@ -0,0 +1,235 @@
+/**
+ * @module sync-innerspace-multiple-timelines.withid.respec
+ *
+ * Verifies syncing multiple independent timelines with Identity.
+ */
+import { respecfully, iReckon, ifWe } 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, 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;
+    let sourceSpace;
+    let destSpace;
+    // #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({
+            ib: 'timeline_root_A',
+            data: { type: 'root', label: 'A' },
+            space: sourceSpace,
+        });
+        const r1_alpha_v1_source = await mut8Timeline({
+            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({
+            ib: 'timeline_root_B',
+            data: { type: 'root', label: 'B' },
+            space: sourceSpace,
+        });
+        const r1_beta_v1_source = await mut8Timeline({
+            timeline: r1_beta_v0_source,
+            mut8Opts: { dataToAddOrPatch: { type: 'child', label: 'B1' } },
+            metaspace,
+            space: sourceSpace,
+        });
+        const r1_beta_v2_source = await mut8Timeline({
+            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
+});
+//# sourceMappingURL=sync-innerspace-multiple-timelines.withid.respec.mjs.map

package/dist/sync/sync-innerspace-multiple-timelines.withid.respec.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync-innerspace-multiple-timelines.withid.respec.mjs","sourceRoot":"","sources":["../../src/sync/sync-innerspace-multiple-timelines.withid.respec.mts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACH,WAAW,EAAmB,OAAO,EAAE,IAAI,EAC9C,MAAM,kDAAkD,CAAC;AAC1D,MAAM,IAAI,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,EAAE,GAAG,GAAG,IAAI,CAAC;AAChD,OAAO,EAAE,KAAK,EAAE,KAAK,EAA2B,MAAM,iDAAiD,CAAC;AACxG,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AAE3F,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,MAAM,0EAA0E,CAAC;AAChH,OAAO,EAAE,aAAa,EAAE,MAAM,iDAAiD,CAAC;AAChF,OAAO,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACnE,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,2BAA2B,EAAE,MAAM,oDAAoD,CAAC;AACjG,OAAO,EAAE,qBAAqB,EAAE,MAAM,8DAA8D,CAAC;AACrG,OAAO,EAAE,oCAAoC,EAAE,MAAM,qEAAqE,CAAC;AAE3H,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACzE,OAAO,EACH,kBAAkB,EAAE,YAAY,GACnC,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,wBAAwB,EAAE,MAAM,yCAAyC,CAAC;AACnF,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE3E,MAAM,OAAO,GAAG,gBAAgB,IAAI,IAAI,CAAC;AACzC,MAAM,EAAE,GAAG,oDAAoD,CAAC;AAEhE,MAAM,aAAa,GAAG,8CAA8C,CAAC;AAErE,MAAM,gCAAgC,GAAG,wBAAwB,CAAC;IAC9D,EAAE,EAAE,YAAY;IAChB,IAAI,EAAE,+CAA+C;IACrD,KAAK,EAAE,CAAC,kBAAkB,CAAC;IAC3B,IAAI,EAAE,GAAG;IACT,UAAU,EAAE,CAAC;IACb,MAAM,EAAE,CAAC;IACT,aAAa,EAAE,CAAC;IAChB,iBAAiB,EAAE,yBAAyB,CAAC,KAAK;CACrD,CAAC,CAAC;AAEH,MAAM,WAAW,CAAC,GAAG,EAAE,qDAAqD,EAAE,KAAK,IAAI,EAAE;IAErF,IAAI,SAA+B,CAAC;IACpC,IAAI,WAA0B,CAAC;IAC/B,IAAI,SAAwB,CAAC;IAS7B,iDAAiD;IACjD,MAAM,WAAW,CAAC,GAAG,EAAE,wDAAwD,EAAE,KAAK,IAAI,EAAE;QACxF,kBAAkB;QAClB,SAAS,GAAG,IAAI,oBAAoB,CAAC,SAAS,CAAC,CAAC;QAChD,MAAM,SAAS,CAAC,UAAU,CAAC;YACvB,UAAU,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,WAAW,KAAK,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YACxF,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,YAAY,KAAK,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YACrG,mBAAmB,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,eAAe,KAAK,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;SACjH,CAAC,CAAC;QACH,OAAO,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;YAAC,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC;QAAC,CAAC;QAEnD,WAAW,GAAG,IAAI,aAAa,CAAC;YAC5B,GAAG,2BAA2B;YAC9B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,aAAa;YACnB,WAAW,EAAE,mBAAmB;SACnC,CAAC,CAAC;QACH,MAAM,WAAW,CAAC,WAAW,CAAC;QAE9B,SAAS,GAAG,IAAI,aAAa,CAAC;YAC1B,GAAG,2BAA2B;YAC9B,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,iBAAiB;SACjC,CAAC,CAAC;QACH,MAAM,SAAS,CAAC,WAAW,CAAC;QAE5B,sBAAsB;QACtB,MAAM,WAAW,GAAG,IAAI,kBAAkB,EAAE,CAAC;QAC7C,MAAM,2BAA2B,GAAG,MAAM,WAAW,CAAC,OAAO,CAAC;YAC1D,YAAY,EAAE,aAAa;YAC3B,OAAO,EAAE,CAAC,gCAAgC,CAAC;YAC3C,SAAS;YACT,KAAK,EAAE,WAAW;SACrB,CAAC,CAAC;QAEH,wDAAwD;QACxD,MAAM,SAAS,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,2BAA2B,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QAC9E,MAAM,SAAS,CAAC,gBAAgB,CAAC,EAAE,KAAK,EAAE,2BAA2B,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QAE3F,mBAAmB;QACnB,uDAAuD;QACvD,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,6BAA6B,CAAC,CAAC;QAEhD,aAAa;QACb,MAAM,kBAAkB,GAAG,MAAM,4BAA4B,CAAW;YACpE,EAAE,EAAE,iBAAiB;YACrB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE;YAClC,KAAK,EAAE,WAAW;SACrB,CAAC,CAAC;QACH,MAAM,kBAAkB,GAAG,MAAM,YAAY,CAAW;YACpD,QAAQ,EAAE,kBAAkB;YAC5B,QAAQ,EAAE,EAAE,gBAAgB,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;YAC9D,SAAS;YACT,KAAK,EAAE,WAAW;SACrB,CAAC,CAAC;QACH,MAAM,uBAAuB,GAAG,YAAY,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC,CAAC;QAE5E,aAAa;QACb,MAAM,iBAAiB,GAAG,MAAM,4BAA4B,CAAW;YACnE,EAAE,EAAE,iBAAiB;YACrB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE;YAClC,KAAK,EAAE,WAAW;SACrB,CAAC,CAAC;QACH,MAAM,iBAAiB,GAAG,MAAM,YAAY,CAAW;YACnD,QAAQ,EAAE,iBAAiB;YAC3B,QAAQ,EAAE,EAAE,gBAAgB,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;YAC9D,SAAS;YACT,KAAK,EAAE,WAAW;SACrB,CAAC,CAAC;QACH,MAAM,iBAAiB,GAAG,MAAM,YAAY,CAAW;YACnD,QAAQ,EAAE,iBAAiB;YAC3B,QAAQ,EAAE,EAAE,gBAAgB,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;YAC9D,SAAS;YACT,KAAK,EAAE,WAAW;SACrB,CAAC,CAAC;QACH,MAAM,sBAAsB,GAAG,YAAY,CAAC,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC,CAAC;QAC1E,sBAAsB;QAEtB,wBAAwB;QACxB,MAAM,WAAW,CAAC,GAAG,EAAE,eAAe,EAAE,KAAK,IAAI,EAAE;YAC/C,MAAM,IAAI,CAAC,GAAG,EAAE,yDAAyD,EAAE,KAAK,IAAI,EAAE;gBAClF,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,uBAAuB,EAAE,CAAC,CAAC;gBACtF,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC1G,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,sBAAsB,EAAE,CAAC,CAAC;gBACrF,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,CAAC,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC,EAAE,CAAC,CAAC;gBACzG,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,CAAC,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC,EAAE,CAAC,CAAC;gBAEzG,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC,cAAc,EAAE,CAAC;YACxK,CAAC,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QACH,2BAA2B;QAE3B,8BAA8B;QAC9B,MAAM,iBAAiB,GAAG,IAAI,mBAAmB,EAAE,CAAC;QACpD,MAAM,mBAAmB,GAAG,IAAI,mBAAmB,EAAE,CAAC;QAEtD,MAAM,IAAI,GAAG,IAAI,qBAAqB,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAC,CAAC;QACpF,MAAM,IAAI,CAAC,WAAW,CAAC;QACvB,MAAM,IAAI,CAAC,cAAc,CAAC;YACtB,MAAM,EAAE,EAAE;YACV,cAAc,EAAE,SAAS;YACzB,UAAU,EAAE,WAAW,EAAI,WAAW;YACtC,aAAa,EAAE,SAAS,EAAI,WAAW;YACvC,mBAAmB;YACnB,iBAAiB,EAAE,SAAS;SAC/B,CAAC,CAAC;QAEH,mBAAmB;QACnB,0CAA0C;QAC1C,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;QACrC,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,IAAI,CAAC;YACzC,IAAI,EAAE,IAAI;YACV,UAAU,EAAE,WAAW;YACvB,SAAS,EAAE,SAAS;YACpB,YAAY,EAAE,CAAC,kBAAkB,EAAE,iBAAiB,CAAC;YACrD,cAAc,EAAE,2BAA2B;YAC3C,cAAc,EAAE,KAAK,IAAI,EAAE,CAAC,aAAa;SAC5C,CAAC,CAAC;QACH,MAAM,OAAO,CAAC,IAAI,CAAC;QACnB,sBAAsB;QAEtB,yBAAyB;QACzB,MAAM,WAAW,CAAC,GAAG,EAAE,gBAAgB,EAAE,KAAK,IAAI,EAAE;YAChD,MAAM,IAAI,CAAC,GAAG,EAAE,8CAA8C,EAAE,KAAK,IAAI,EAAE;gBACvE,WAAW;gBACX,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,uBAAuB,EAAE,CAAC,CAAC;gBACtF,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,aAAa,EAAE,CAAC;gBACvE,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;gBAEnF,WAAW;gBACX,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,sBAAsB,EAAE,CAAC,CAAC;gBACrF,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,aAAa,EAAE,CAAC;gBACvE,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YACvF,CAAC,CAAC,CAAC;YAEH,MAAM,IAAI,CAAC,GAAG,EAAE,sDAAsD,EAAE,KAAK,IAAI,EAAE;gBAC/E,MAAM,OAAO,GAAG,IAAI,CAAC,sBAAsB,CAAC;gBAC5C,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC,eAAe,EAAE,CAAC;gBACvF,IAAI,OAAO,EAAE,CAAC;oBACV,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC/E,CAAC;YACL,CAAC,CAAC,CAAC;YAEH,MAAM,IAAI,CAAC,GAAG,EAAE,4CAA4C,EAAE,KAAK,IAAI,EAAE;gBACrE,MAAM,wBAAwB,GAAG,MAAM,SAAS,CAAC,aAAa,CAAC;oBAC3D,IAAI,EAAE,YAAY,CAAC,EAAE,KAAK,EAAE,2BAA2B,EAAE,CAAC;oBAC1D,KAAK,EAAE,WAAW;iBACrB,CAAC,CAAC;gBACH,OAAO,CAAC,GAAG,EAAE,wBAAwB,CAAC,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC,eAAe,EAAE,CAAC;gBACjG,IAAI,wBAAwB,EAAE,CAAC;oBAC3B,MAAM,aAAa,GAAG,MAAM,YAAY,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,wBAAwB,EAAE,CAAC,CAAC;oBACjG,OAAO,CAAC,GAAG,EAAE,aAAa,CAAC,OAAO,IAAI,aAAa,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC,aAAa,EAAE,CAAC;oBAClI,IAAI,aAAa,CAAC,OAAO,IAAI,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBACrD,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;wBACzC,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;oBACzE,CAAC;gBACL,CAAC;YACL,CAAC,CAAC,CAAC;YAEH,MAAM,IAAI,CAAC,GAAG,EAAE,8CAA8C,EAAE,KAAK,IAAI,EAAE;gBACvE,MAAM,wBAAwB,GAAG,MAAM,SAAS,CAAC,aAAa,CAAC;oBAC3D,IAAI,EAAE,YAAY,CAAC,EAAE,KAAK,EAAE,2BAA2B,EAAE,CAAC;oBAC1D,KAAK,EAAE,WAAW;iBACrB,CAAC,CAAC;gBACH,OAAO,CAAC,GAAG,EAAE,wBAAwB,CAAC,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC,eAAe,EAAE,CAAC;gBACjG,IAAI,wBAAwB,EAAE,CAAC;oBAC3B,MAAM,WAAW,GAAG,MAAM,YAAY,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,wBAAwB,EAAE,CAAC,CAAC;oBAC7F,OAAO,CAAC,GAAG,EAAE,WAAW,CAAC,OAAO,IAAI,WAAW,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC,aAAa,EAAE,CAAC;oBAC5H,IAAI,WAAW,CAAC,OAAO,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBACjD,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;wBACvC,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;oBACzE,CAAC;gBACL,CAAC;YACL,CAAC,CAAC,CAAC;YAEH,MAAM,IAAI,CAAC,GAAG,EAAE,2CAA2C,EAAE,KAAK,IAAI,EAAE;gBACpE,MAAM,OAAO,GAAG,IAAI,CAAC,sBAAsB,CAAC;gBAC5C,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,eAAe,EAAE,CAAC;gBAC/D,IAAI,OAAO,EAAE,CAAC;oBACV,MAAM,SAAS,GAAG,MAAM,kBAAkB,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;oBACnF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;oBACrC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC,aAAa,EAAE,CAAC;gBAC1F,CAAC;YACL,CAAC,CAAC,CAAC;YAEH,MAAM,IAAI,CAAC,GAAG,EAAE,6CAA6C,EAAE,KAAK,IAAI,EAAE;gBACtE,MAAM,OAAO,GAAG,IAAI,CAAC,sBAAsB,CAAC;gBAC5C,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,eAAe,EAAE,CAAC;gBAC/D,IAAI,OAAO,EAAE,CAAC;oBACV,MAAM,SAAS,GAAG,MAAM,kBAAkB,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;oBACjF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;oBACrC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC,aAAa,EAAE,CAAC;gBACvG,CAAC;YACL,CAAC,CAAC,CAAC;YAEH,MAAM,IAAI,CAAC,GAAG,EAAE,sEAAsE,EAAE,KAAK,IAAI,EAAE;gBAC/F,MAAM,OAAO,GAAG,IAAI,CAAC,sBAAsB,CAAC;gBAC5C,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,eAAe,EAAE,CAAC;gBAC/D,IAAI,OAAO,EAAE,CAAC;oBACV,MAAM,cAAc,GAAG,MAAM,kBAAkB,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;oBACxF,MAAM,YAAY,GAAG,MAAM,kBAAkB,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;oBACpF,MAAM,KAAK,GAAG,mBAAmB,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;oBACpF,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC,aAAa,EAAE,CAAC;gBAC9E,CAAC;YACL,CAAC,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QACH,4BAA4B;IAChC,CAAC,CAAC,CAAC;IACH,oDAAoD;AAExD,CAAC,CAAC,CAAC"}

package/dist/sync/sync-innerspace-partial-update.withid.respec.d.mts

@@ -0,0 +1,7 @@
+/**
+ * @module sync-innerspace-partial-update.withid.respec
+ *
+ * Verifies Sync Scenarios where the Destination has partial history, using Identity.
+ */
+export {};
+//# sourceMappingURL=sync-innerspace-partial-update.withid.respec.d.mts.map

package/dist/sync/sync-innerspace-partial-update.withid.respec.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync-innerspace-partial-update.withid.respec.d.mts","sourceRoot":"","sources":["../../src/sync/sync-innerspace-partial-update.withid.respec.mts"],"names":[],"mappings":"AAAA;;;;GAIG"}

package/dist/sync/sync-innerspace-partial-update.withid.respec.mjs

@@ -0,0 +1,211 @@
+/**
+ * @module sync-innerspace-partial-update.withid.respec
+ *
+ * Verifies Sync Scenarios where the Destination has partial history, using Identity.
+ */
+import { respecfully, ifWe, 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 } 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;
+    let sourceSpace;
+    let destSpace;
+    // #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({
+            ib: 'timeline_root_partial',
+            data: { type: 'root', label: 'Root' },
+            space: sourceSpace,
+        });
+        // V1
+        const r1_alpha_v1_source = await mut8Timeline({
+            timeline: r1_alpha_v0_source,
+            mut8Opts: { dataToAddOrPatch: { type: 'comment', label: 'V1' } },
+            metaspace,
+            space: sourceSpace,
+        });
+        // V2 (Source Only)
+        const r1_alpha_v2_source = await mut8Timeline({
+            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
+});
+//# sourceMappingURL=sync-innerspace-partial-update.withid.respec.mjs.map

package/dist/sync/sync-innerspace-partial-update.withid.respec.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync-innerspace-partial-update.withid.respec.mjs","sourceRoot":"","sources":["../../src/sync/sync-innerspace-partial-update.withid.respec.mts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACH,WAAW,EAAE,IAAI,EAAa,OAAO,EACxC,MAAM,kDAAkD,CAAC;AAC1D,MAAM,IAAI,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,EAAE,GAAG,GAAG,IAAI,CAAC;AAChD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,iDAAiD,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAEtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AAC7E,OAAO,EAAE,oBAAoB,EAAE,MAAM,0EAA0E,CAAC;AAChH,OAAO,EAAE,aAAa,EAAE,MAAM,iDAAiD,CAAC;AAChF,OAAO,EAAE,4BAA4B,GAAG,MAAM,qBAAqB,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,2BAA2B,EAAE,MAAM,oDAAoD,CAAC;AACjG,OAAO,EAAE,qBAAqB,EAAE,MAAM,8DAA8D,CAAC;AACrG,OAAO,EAAE,oCAAoC,EAAE,MAAM,qEAAqE,CAAC;AAE3H,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACzE,OAAO,EACH,kBAAkB,EAAE,YAAY,GACnC,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,wBAAwB,EAAE,MAAM,yCAAyC,CAAC;AACnF,OAAO,EAAE,yBAAyB,EAAoB,MAAM,gCAAgC,CAAC;AAE7F,MAAM,OAAO,GAAG,IAAI,CAAC;AACrB,MAAM,EAAE,GAAG,gDAAgD,CAAC;AAE5D,MAAM,aAAa,GAAG,0CAA0C,CAAC;AAEjE,MAAM,gCAAgC,GAAG,wBAAwB,CAAC;IAC9D,EAAE,EAAE,YAAY;IAChB,IAAI,EAAE,2CAA2C;IACjD,KAAK,EAAE,CAAC,kBAAkB,CAAC;IAC3B,IAAI,EAAE,GAAG;IACT,UAAU,EAAE,CAAC;IACb,MAAM,EAAE,CAAC;IACT,aAAa,EAAE,CAAC;IAChB,iBAAiB,EAAE,yBAAyB,CAAC,KAAK;CACrD,CAAC,CAAC;AAEH,MAAM,WAAW,CAAC,GAAG,EAAE,iDAAiD,EAAE,KAAK,IAAI,EAAE;IAEjF,IAAI,SAA+B,CAAC;IACpC,IAAI,WAA0B,CAAC;IAC/B,IAAI,SAAwB,CAAC;IAS7B,0DAA0D;IAC1D,MAAM,WAAW,CAAC,GAAG,EAAE,iDAAiD,EAAE,KAAK,IAAI,EAAE;QACjF,kBAAkB;QAClB,SAAS,GAAG,IAAI,oBAAoB,CAAC,SAAS,CAAC,CAAC;QAChD,MAAM,SAAS,CAAC,UAAU,CAAC;YACvB,UAAU,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,CAAC;YAC/C,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC,CAAC;YAC3D,mBAAmB,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC;SACpE,CAAC,CAAC;QACH,OAAO,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;YAAC,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC;QAAC,CAAC;QAEnD,WAAW,GAAG,IAAI,aAAa,CAAC;YAC5B,GAAG,2BAA2B;YAC9B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,aAAa;YACnB,WAAW,EAAE,mBAAmB;SACnC,CAAC,CAAC;QACH,MAAM,WAAW,CAAC,WAAW,CAAC;QAE9B,SAAS,GAAG,IAAI,aAAa,CAAC;YAC1B,GAAG,2BAA2B;YAC9B,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,iBAAiB;SACjC,CAAC,CAAC;QACH,MAAM,SAAS,CAAC,WAAW,CAAC;QAE5B,MAAM,WAAW,GAAG,IAAI,kBAAkB,EAAE,CAAC;QAC7C,MAAM,2BAA2B,GAAG,MAAM,WAAW,CAAC,OAAO,CAAC;YAC1D,YAAY,EAAE,aAAa;YAC3B,OAAO,EAAE,CAAC,gCAAgC,CAAC;YAC3C,SAAS;YACT,KAAK,EAAE,WAAW;SACrB,CAAC,CAAC;QAEH,sCAAsC;QACtC,MAAM,SAAS,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,2BAA2B,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QAC9E,MAAM,SAAS,CAAC,gBAAgB,CAAC,EAAE,KAAK,EAAE,2BAA2B,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QAE3F,mBAAmB;QACnB,8DAA8D;QAC9D,MAAM,kBAAkB,GAAG,MAAM,4BAA4B,CAAW;YACpE,EAAE,EAAE,uBAAuB;YAC3B,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE;YACrC,KAAK,EAAE,WAAW;SACrB,CAAC,CAAC;QAEH,KAAK;QACL,MAAM,kBAAkB,GAAG,MAAM,YAAY,CAAW;YACpD,QAAQ,EAAE,kBAAkB;YAC5B,QAAQ,EAAE,EAAE,gBAAgB,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;YAChE,SAAS;YACT,KAAK,EAAE,WAAW;SACrB,CAAC,CAAC;QAEH,mBAAmB;QACnB,MAAM,kBAAkB,GAAG,MAAM,YAAY,CAAW;YACpD,QAAQ,EAAE,kBAAkB;YAC5B,QAAQ,EAAE,EAAE,gBAAgB,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;YAChE,SAAS;YACT,KAAK,EAAE,WAAW;SACrB,CAAC,CAAC;QACH,MAAM,uBAAuB,GAAG,YAAY,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC,CAAC;QAE5E,sDAAsD;QACtD,MAAM,UAAU,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,EAAE,CAAC,CAAC;QACzF,sBAAsB;QAEtB,wBAAwB;QACxB,MAAM,WAAW,CAAC,GAAG,EAAE,eAAe,EAAE,KAAK,IAAI,EAAE;YAC/C,MAAM,IAAI,CAAC,GAAG,EAAE,kCAAkC,EAAE,KAAK,IAAI,EAAE;gBAC3D,qBAAqB;gBACrB,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC5G,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,aAAa,EAAE,CAAC;gBAElE,+BAA+B;gBAC/B,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,uBAAuB,EAAE,CAAC,CAAC;gBACxF,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,cAAc,EAAE,CAAC;YAC7G,CAAC,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QACH,2BAA2B;QAE3B,gBAAgB;QAChB,MAAM,iBAAiB,GAAG,IAAI,mBAAmB,EAAE,CAAC;QACpD,MAAM,mBAAmB,GAAG,IAAI,mBAAmB,EAAE,CAAC;QAEtD,MAAM,IAAI,GAAG,IAAI,qBAAqB,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAC,CAAC;QACpF,MAAM,IAAI,CAAC,WAAW,CAAC;QACvB,MAAM,IAAI,CAAC,cAAc,CAAC;YACtB,MAAM,EAAE,EAAE;YACV,cAAc,EAAE,SAAS;YACzB,UAAU,EAAE,WAAW,EAAI,WAAW;YACtC,aAAa,EAAE,SAAS,EAAI,WAAW;YACvC,mBAAmB;YACnB,iBAAiB,EAAE,SAAS;SAC/B,CAAC,CAAC;QAEH,mBAAmB;QACnB,iCAAiC;QACjC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;QACrC,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,IAAI,CAAC;YACzC,IAAI,EAAE,IAAI;YACV,UAAU,EAAE,WAAW;YACvB,SAAS,EAAE,SAAS;YACpB,YAAY,EAAE,CAAC,kBAAkB,CAAC;YAClC,cAAc,EAAE,2BAA2B;YAC3C,cAAc,EAAE,KAAK,IAAI,EAAE,CAAC,aAAa;SAC5C,CAAC,CAAC;QACH,MAAM,OAAO,CAAC,IAAI,CAAC;QACnB,sBAAsB;QAEtB,yBAAyB;QACzB,MAAM,WAAW,CAAC,GAAG,EAAE,gBAAgB,EAAE,KAAK,IAAI,EAAE;YAChD,MAAM,IAAI,CAAC,GAAG,EAAE,6CAA6C,EAAE,KAAK,IAAI,EAAE;gBACtE,kBAAkB;gBAClB,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,uBAAuB,EAAE,CAAC,CAAC;gBACtF,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,aAAa,EAAE,CAAC;gBAEvE,yBAAyB;gBACzB,MAAM,OAAO,GAAG,KAAK,CAAC,MAAO,CAAC,CAAC,CAAC,CAAC;gBACjC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC9C,OAAO,CAAC,GAAG,EAAE,QAAQ,KAAK,YAAY,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,aAAa,EAAE,CAAC;YACnH,CAAC,CAAC,CAAC;YAEH,MAAM,IAAI,CAAC,GAAG,EAAE,sDAAsD,EAAE,KAAK,IAAI,EAAE;gBAC/E,MAAM,OAAO,GAAG,IAAI,CAAC,sBAAsB,CAAC;gBAC5C,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC,eAAe,EAAE,CAAC;gBACvF,IAAI,OAAO,EAAE,CAAC;oBACV,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC/E,CAAC;YACL,CAAC,CAAC,CAAC;YAEH,MAAM,IAAI,CAAC,GAAG,EAAE,4CAA4C,EAAE,KAAK,IAAI,EAAE;gBACrE,MAAM,wBAAwB,GAAG,MAAM,SAAS,CAAC,aAAa,CAAC;oBAC3D,IAAI,EAAE,YAAY,CAAC,EAAE,KAAK,EAAE,2BAA2B,EAAE,CAAC;oBAC1D,KAAK,EAAE,WAAW;iBACrB,CAAC,CAAC;gBACH,OAAO,CAAC,GAAG,EAAE,wBAAwB,CAAC,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC,eAAe,EAAE,CAAC;gBACjG,IAAI,wBAAwB,EAAE,CAAC;oBAC3B,MAAM,aAAa,GAAG,MAAM,YAAY,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,wBAAwB,EAAE,CAAC,CAAC;oBACjG,OAAO,CAAC,GAAG,EAAE,aAAa,CAAC,OAAO,IAAI,aAAa,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC,aAAa,EAAE,CAAC;oBAClI,IAAI,aAAa,CAAC,OAAO,IAAI,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBACrD,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;wBACzC,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;oBACzE,CAAC;gBACL,CAAC;YACL,CAAC,CAAC,CAAC;YAEH,MAAM,IAAI,CAAC,GAAG,EAAE,8CAA8C,EAAE,KAAK,IAAI,EAAE;gBACvE,MAAM,wBAAwB,GAAG,MAAM,SAAS,CAAC,aAAa,CAAC;oBAC3D,IAAI,EAAE,YAAY,CAAC,EAAE,KAAK,EAAE,2BAA2B,EAAE,CAAC;oBAC1D,KAAK,EAAE,WAAW;iBACrB,CAAC,CAAC;gBACH,OAAO,CAAC,GAAG,EAAE,wBAAwB,CAAC,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC,eAAe,EAAE,CAAC;gBACjG,IAAI,wBAAwB,EAAE,CAAC;oBAC3B,MAAM,WAAW,GAAG,MAAM,YAAY,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,wBAAwB,EAAE,CAAC,CAAC;oBAC7F,OAAO,CAAC,GAAG,EAAE,WAAW,CAAC,OAAO,IAAI,WAAW,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC,aAAa,EAAE,CAAC;oBAC5H,IAAI,WAAW,CAAC,OAAO,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBACjD,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;wBACvC,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;oBACzE,CAAC;gBACL,CAAC;YACL,CAAC,CAAC,CAAC;YAEH,MAAM,IAAI,CAAC,GAAG,EAAE,2CAA2C,EAAE,KAAK,IAAI,EAAE;gBACpE,MAAM,OAAO,GAAG,IAAI,CAAC,sBAAsB,CAAC;gBAC5C,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,eAAe,EAAE,CAAC;gBAC/D,IAAI,OAAO,EAAE,CAAC;oBACV,MAAM,SAAS,GAAG,MAAM,kBAAkB,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;oBACnF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;oBACrC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC,aAAa,EAAE,CAAC;gBAC1F,CAAC;YACL,CAAC,CAAC,CAAC;YAEH,MAAM,IAAI,CAAC,GAAG,EAAE,6CAA6C,EAAE,KAAK,IAAI,EAAE;gBACtE,MAAM,OAAO,GAAG,IAAI,CAAC,sBAAsB,CAAC;gBAC5C,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,eAAe,EAAE,CAAC;gBAC/D,IAAI,OAAO,EAAE,CAAC;oBACV,MAAM,SAAS,GAAG,MAAM,kBAAkB,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;oBACjF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;oBACrC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC,aAAa,EAAE,CAAC;gBACvG,CAAC;YACL,CAAC,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QACH,4BAA4B;IAEhC,CAAC,CAAC,CAAC;IACH,6DAA6D;AACjE,CAAC,CAAC,CAAC"}

package/dist/sync/sync-innerspace.withid.respec.d.mts

@@ -0,0 +1,8 @@
+/**
+ * @module sync-innerspace.withid.respec
+ *
+ * Verifies SyncSagaCoordinator using InnerSpace (in-memory/local) spaces with Identity.
+ * This utilizes SyncPeerInnerspace_V1 for local-to-local synchronization simulations.
+ */
+export {};
+//# sourceMappingURL=sync-innerspace.withid.respec.d.mts.map

package/dist/sync/sync-innerspace.withid.respec.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync-innerspace.withid.respec.d.mts","sourceRoot":"","sources":["../../src/sync/sync-innerspace.withid.respec.mts"],"names":[],"mappings":"AAAA;;;;;GAKG"}