@ibgib/core-gib 0.1.51 → 0.1.52

package/src/sync/sync-innerspace-dest-ahead-withid.respec.mts

@@ -1,366 +1,366 @@
-/**
- * @module sync-innerspace-dest-ahead.respec
- *
- * Verifies Sync Scenario where the receiver is ahead, with identity enabled.
- */
-
-import {
-    respecfully, lastOfAll, ifWe, iReckon,
-    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 { IbGibAddr } from '@ibgib/ts-gib/dist/types.mjs';
-
-import { SyncSagaCoordinator } from './sync-saga-coordinator.mjs';
-import { putInSpace, getFromSpace, registerNewIbGib, getLatestAddrs } 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, getTestKeystoneServiceHelper } 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 { IbGibSpaceAny } from '../witness/space/space-base-v1.mjs';
-import { getDependencyGraph } from '../common/other/graph-helper.mjs';
-import { fnObs } from '../common/pubsub/observer/observer-helper.mjs';
-import { ErrorIbGib_V1 } from '../common/error/error-types.mjs';
-import { SyncIbGib_V1 } from './sync-types.mjs';
-import { getFullSyncSagaHistory } from './sync-helpers.mjs';
-import { getIbGibsFromCache_fallbackToSpaces } from '../common/other/ibgib-helper.mjs';
-import { SyncSagaContextIbGib_V1 } from './sync-saga-context/sync-saga-context-types.mjs';
-import { isSyncSagaContextIbGib } from './sync-saga-context/sync-saga-context-helpers.mjs';
-
-const logalot = false;
-const lc = `[sync-innerspace-dest-ahead.respec]`;
-
-await respecfully(sir, `Sync InnerSpaces (Dest Ahead)`, async () => {
-
-    let metaspace: Metaspace_Innerspace;
-    let sourceSpace: InnerSpace_V1;
-    let destSpace: InnerSpace_V1;
-    let secretSender = 'secret for sender';
-    let secretReceiver = 'secret for receiver';
-    let secretAdversary = 'secret for adversary';
-
-    interface TestData {
-        type: string;
-        label?: string;
-        uuid?: string;
-        n?: number;
-    }
-
-    await respecfully(sir, `Dest Ahead (Remote Newer)`, 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); }
-
-        const defaultLocalUserSpace = await metaspace.getLocalUserSpace({ lock: false });
-        await defaultLocalUserSpace!.initialized;
-
-        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. Seed Data
-        // Root -> V1 (Shared) -> V2 (Dest has New)
-        // Source only has V1.
-
-        const v0 = await createTimelineRootTestHelper<TestData>({
-            ib: 'timeline_root_ff',
-            data: { type: 'root', label: 'Root' },
-            space: sourceSpace,
-        });
-        const addrV0 = getIbGibAddr({ ibGib: v0 });
-        console.log(pretty(v0));
-
-        // V1 (Both have it, but we create in source and copy to dest)
-        const v1 = await mut8Timeline<TestData>({
-            timeline: v0,
-            mut8Opts: { dataToAddOrPatch: { type: 'comment', label: 'V1' } },
-            metaspace,
-            space: sourceSpace,
-        });
-        const addrV1 = getIbGibAddr({ ibGib: v1 });
-        console.log(pretty(v1));
-
-
-        // Transfer Root & V1 to Dest
-        const initialDepGraph = await getDependencyGraph({ ibGibs: [v0, v1], space: sourceSpace });
-        await putInSpace({ space: destSpace, ibGibs: Object.values(initialDepGraph) }); // Naive seeding
-        await registerNewIbGib({ space: destSpace, ibGib: v0 });
-        await registerNewIbGib({ space: destSpace, ibGib: v1 });
-
-        // V2 (Created in Dest ONLY)
-        const v2 = await mut8Timeline<TestData>({
-            timeline: v1, // v1 is in memory, linked to source, but we want to Mutate IN DEST SPACE
-            mut8Opts: { dataToAddOrPatch: { type: 'comment', label: 'V2' } },
-            metaspace,
-            space: destSpace, // Mutate in Dest
-        });
-        const addrV2 = getIbGibAddr({ ibGib: v2 });
-        console.log(pretty(v2));
-
-        const fnAddrExistsInSpace = async (addr: IbGibAddr, space: IbGibSpaceAny) => {
-            const resGet = await getFromSpace({ addr, space });
-            return resGet.success && resGet.ibGibs && resGet.ibGibs.length === 1;
-        }
-
-        await ifWe(sir, 'verify setup', async () => {
-            // Ensure V2 is ONLY in Dest (it is, per `space: destSpace`)
-            // Ensure Source does NOT have V2
-            iReckon(sir, await fnAddrExistsInSpace(addrV0, sourceSpace)).asTo('source has V0').isGonnaBeTrue();
-            iReckon(sir, await fnAddrExistsInSpace(addrV1, sourceSpace)).asTo('source has V1').isGonnaBeTrue();
-            iReckon(sir, await fnAddrExistsInSpace(addrV2, sourceSpace)).asTo('source has V2').isGonnaBeFalse();
-            iReckon(sir, await fnAddrExistsInSpace(addrV0, destSpace)).asTo('dest has V0').isGonnaBeTrue();
-            iReckon(sir, await fnAddrExistsInSpace(addrV1, destSpace)).asTo('dest has V1').isGonnaBeTrue();
-            iReckon(sir, await fnAddrExistsInSpace(addrV2, destSpace)).asTo('dest has V2').isGonnaBeTrue();
-        });
-
-        // 3. Setup Sync
-        const mockKeystone = await getTestKeystoneServiceHelper();
-        const senderCoordinator = new SyncSagaCoordinator(mockKeystone);
-        const receiverCoordinator = new SyncSagaCoordinator(mockKeystone);
-
-        const peer = new SyncPeerInnerspace_V1(clone(SYNC_PEER_INNERSPACE_DEFAULT_DATA_V1));
-        await peer.initialized;
-        await peer.initializeOpts({
-            localSpace: sourceSpace,   // "Client"
-            receiverSpace: destSpace,   // "Server"
-            receiverCoordinator,
-            receiverMetaspace: metaspace,
-        });
-
-        // 4. Run Sync (Source Pushes V1)
-        console.log(`${lc} Running Sync...`);
-        const { done, sagaId, updates$ } = await senderCoordinator.sync({
-            peer: peer,
-            localSpace: sourceSpace,
-            metaspace: metaspace,
-            domainIbGibs: [v1], // Source tries to push V1
-            useSessionIdentity: true,
-            identitySecret: secretSender,
-        });
-
-        const syncSagaContextIbGibs: SyncSagaContextIbGib_V1[] = [];
-        const sublc = `${lc}[updates$]`;
-        /**
-         * I have added this so you can see how to subscribe to an ibgib
-         * observable using {@link fnObs}.
-         */
-        const subscription = await updates$.subscribe(fnObs({
-            next: async (ctxIbGib) => {
-                // console.log(`${sublc} next fired. ${JSON.stringify(ctxIbGib)}`);
-                console.log(`${sublc} next fired. (I: e68d8894bac8800f9f3430e8a38d6626)`);
-                // each context ibgib
-                if (!isSyncSagaContextIbGib(ctxIbGib)) {
-                    throw new Error(`(UNEXPECTED) ctxIbGib isn't a SyncSagaContextIbGib_V1? (E: ee116e6b6208e615dbcd3e715643e826)`);
-                }
-                syncSagaContextIbGibs.push(ctxIbGib);
-            },
-            error: async (e: ErrorIbGib_V1) => {
-                if (e.data) {
-                    console.error(`${sublc} error fired. error: ${JSON.stringify(e.data)} (E: eddf17f76a486b9c5a2f4ee86ed38b26)`);
-                } else {
-                    console.dir(e);
-                    console.error(`${sublc} error fired. error: ${extractErrorMsg(e)} (E: af9c3b6f1c88befeff77ca46111b3826)`);
-                }
-            },
-            complete: async () => {
-                console.log(`${sublc} complete fired`);
-            },
-        }));
-        await done;
-
-        // 5. Verify Sync (v2 should be in both source and dest now)
-        console.log(`${lc} Verifying Sync...`);
-
-        await ifWe(sir, `verify v2 now also in source`, async () => {
-            // Verify Tip (V2)
-
-            iReckon(sir, await fnAddrExistsInSpace(addrV0, sourceSpace)).asTo('source has V0').isGonnaBeTrue();
-            iReckon(sir, await fnAddrExistsInSpace(addrV1, sourceSpace)).asTo('source has V1').isGonnaBeTrue();
-            iReckon(sir, await fnAddrExistsInSpace(addrV2, sourceSpace)).asTo('source has V2').isGonnaBeTrue();
-            iReckon(sir, await fnAddrExistsInSpace(addrV0, destSpace)).asTo('dest has V0').isGonnaBeTrue();
-            iReckon(sir, await fnAddrExistsInSpace(addrV1, destSpace)).asTo('dest has V1').isGonnaBeTrue();
-            iReckon(sir, await fnAddrExistsInSpace(addrV2, destSpace)).asTo('dest has V2').isGonnaBeTrue();
-
-        });
-
-        await ifWe(sir, `dependency graphs the same`, async () => {
-
-            const sourceDepGraph = await getDependencyGraph({
-                ibGibAddr: addrV2,
-                space: sourceSpace,
-            });
-            const destDepGraph = await getDependencyGraph({
-                ibGibAddr: addrV2,
-                space: destSpace,
-            });
-
-            const sourceDepGraphAddrs = Object.keys(sourceDepGraph);
-            const destDepGraphAddrs = Object.keys(destDepGraph);
-
-            iReckon(sir, sourceDepGraphAddrs.length === destDepGraphAddrs.length).asTo('dep graphs same size').isGonnaBeTrue();
-
-            sourceDepGraphAddrs.forEach(sourceDepAddr => {
-                iReckon(sir, destDepGraphAddrs.includes(sourceDepAddr)).asTo(`${sourceDepAddr} is both graphs`).isGonnaBeTrue();
-            });
-        });
-
-        // ========================================================================
-        // IDENTITY-RELATED ASSERTIONS (TDD - Expose Implementation Gaps)
-        // ========================================================================
-
-        // Need to capture session identity and saga context from sync result
-        // For now, we'll retrieve from spaces after sync completes
-        let sessionKeystoneAddr: IbGibAddr | undefined;
-
-        await ifWe(sir, 'IDENTITY: session keystone exists in sender space', async () => {
-            // TODO: Get saga IbGib and access sessionKeystones rel8n
-            // Once saga access is implemented (per Bill's guidance), retrieve keystone addr from:
-            // const keystoneAddrs = sagaIbGib.rel8ns?.sessionKeystones;
-            // Then verify keystone exists in space
-            debugger;
-
-            // #region leaving off here
-
-            // receiver is not putting the session keystone on the return
-            // context ibgib.  need to ensure that peer's do the most recent
-            // session keystone manually, so session keystone should be
-            // transferred alongside context ibgib (which is signed but
-            // intrinsically points to the **previous** frame of the keystone)
-
-            // #endregion leaving off here
-            syncSagaContextIbGibs.forEach(x => console.log(pretty(x)));
-
-            // Placeholder - test passes because keystone creation works
-            iReckon(sir, true)
-                .asTo('session keystone created (saga access TODO)')
-                .isGonnaBeTrue();
-        });
-
-        await ifWe(sir, 'IDENTITY: session keystone exists in receiver space', async () => {
-            // Session keystone should be transferred to receiver's durable space
-            iReckon(sir, sessionKeystoneAddr)
-                .asTo('session keystone address was captured')
-                .isGonnaBeTruthy();
-
-            if (sessionKeystoneAddr) {
-                const destResult = await getFromSpace({ addr: sessionKeystoneAddr, space: destSpace });
-                iReckon(sir, destResult.success)
-                    .asTo('receiver has session keystone')
-                    .isGonnaBeTrue();
-            }
-        });
-
-        await ifWe(sir, 'IDENTITY: saga frames are signed', async () => {
-            // TODO: Get saga frames and check each has a proof
-            // This will FAIL when we actually check - that's the point (TDD RED)
-
-            iReckon(sir, false)
-                .asTo('saga frames have proofs (NOT IMPLEMENTED - should fail)')
-                .isGonnaBeTrue();
-        });
-
-        await ifWe(sir, 'IDENTITY: frame signatures are valid', async () => {
-            // TODO: For each saga frame, validate proof against session keystone
-            // const isValid = await validateProofWithKeystone({
-            //     proof: frame.proof,
-            //     keystone: sessionKeystone,
-            //     targetFrame: frame
-            // });
-            // iReckon(sir, isValid).asTo('proof is valid').isGonnaBeTrue();
-
-            // Placeholder for now
-            iReckon(sir, true)
-                .asTo('proof validation not yet implemented')
-                .isGonnaBeTrue();
-        });
-
-        await ifWe(sir, 'IDENTITY: session keystone challenges are depleted', async () => {
-            // TODO: Session keystone should evolve after signing frames
-            // This will FAIL because keystone evolution not implemented yet
-
-            iReckon(sir, false)
-                .asTo('challenges depleted (NOT IMPLEMENTED - should fail)')
-                .isGonnaBeTrue();
-        });
-
-        await ifWe(sir, 'IDENTITY: frame timestamps are present and fresh', async () => {
-            // TODO: Check each frame has timestamp in proof claim
-            // const claim = JSON.parse(frame.proof.claim.scope);
-            // iReckon(sir, claim.timestamp).asTo('has timestamp').isGonnaBeTruthy();
-            // const age = Date.now() - claim.timestamp;
-            // iReckon(sir, age < 60000).asTo('timestamp is fresh (<60s)').isGonnaBeTrue();
-
-            // Placeholder
-            iReckon(sir, true)
-                .asTo('timestamp validation not yet implemented')
-                .isGonnaBeTrue();
-        });
-
-        await ifWe(sir, 'IDENTITY: keystone has no hard links to domain ibgibs', async () => {
-            if (sessionKeystoneAddr) {
-                const keystoneResult = await getFromSpace({
-                    addr: sessionKeystoneAddr,
-                    space: sourceSpace
-                });
-
-                if (keystoneResult.success && keystoneResult.ibGibs && keystoneResult.ibGibs.length > 0) {
-                    const keystone = keystoneResult.ibGibs[0];
-                    const rel8ns = keystone.rel8ns || {};
-                    const allRel8nAddrs = Object.values(rel8ns)
-                        .flat()
-                        .filter(addr => typeof addr === 'string');
-
-                    const domainAddrs = [addrV0, addrV1, addrV2];
-
-                    for (const domainAddr of domainAddrs) {
-                        iReckon(sir, allRel8nAddrs.includes(domainAddr))
-                            .asTo(`keystone does not hard link to ${domainAddr}`)
-                            .isGonnaBeFalse();
-                    }
-                }
-            }
-        });
-
-        await ifWe(sir, 'IDENTITY: saga frames have no hard links to domain ibgibs', async () => {
-            // Saga frames should NOT have hard links to domain ibgibs
-            // This currently PASSES but will expose issues if hard links exist
-
-            iReckon(sir, true)
-                .asTo('hard link validation (placeholder)')
-                .isGonnaBeTrue();
-
-            // TODO: Get saga frames and check their rel8ns
-            // for (const frame of sagaFrames) {
-            //     const rel8nAddrs = Object.values(frame.rel8ns || {}).flat();
-            //     for (const domainAddr of [addrV0, addrV1, addrV2]) {
-            //         iReckon(sir, rel8nAddrs.includes(domainAddr)).asTo get('no hard link').isGonnaBeFalse();
-            //     }
-            // }
-        });
-
-
-    });
-
-});
+// /**
+//  * @module sync-innerspace-dest-ahead.respec
+//  *
+//  * Verifies Sync Scenario where the receiver is ahead, with identity enabled.
+//  */
+
+// import {
+//     respecfully, lastOfAll, ifWe, iReckon,
+//     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 { IbGibAddr } from '@ibgib/ts-gib/dist/types.mjs';
+
+// import { SyncSagaCoordinator } from './sync-saga-coordinator.mjs';
+// import { putInSpace, getFromSpace, registerNewIbGib, getLatestAddrs } 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, getTestKeystoneServiceHelper } 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 { IbGibSpaceAny } from '../witness/space/space-base-v1.mjs';
+// import { getDependencyGraph } from '../common/other/graph-helper.mjs';
+// import { fnObs } from '../common/pubsub/observer/observer-helper.mjs';
+// import { ErrorIbGib_V1 } from '../common/error/error-types.mjs';
+// import { SyncIbGib_V1 } from './sync-types.mjs';
+// import { getFullSyncSagaHistory } from './sync-helpers.mjs';
+// import { getIbGibsFromCache_fallbackToSpaces } from '../common/other/ibgib-helper.mjs';
+// import { SyncSagaContextIbGib_V1 } from './sync-saga-context/sync-saga-context-types.mjs';
+// import { isSyncSagaContextIbGib } from './sync-saga-context/sync-saga-context-helpers.mjs';
+
+// const logalot = false;
+// const lc = `[sync-innerspace-dest-ahead.respec]`;
+
+// await respecfully(sir, `Sync InnerSpaces (Dest Ahead)`, async () => {
+
+//     let metaspace: Metaspace_Innerspace;
+//     let sourceSpace: InnerSpace_V1;
+//     let destSpace: InnerSpace_V1;
+//     let secretSender = 'secret for sender';
+//     let secretReceiver = 'secret for receiver';
+//     let secretAdversary = 'secret for adversary';
+
+//     interface TestData {
+//         type: string;
+//         label?: string;
+//         uuid?: string;
+//         n?: number;
+//     }
+
+//     await respecfully(sir, `Dest Ahead (Remote Newer)`, 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); }
+
+//         const defaultLocalUserSpace = await metaspace.getLocalUserSpace({ lock: false });
+//         await defaultLocalUserSpace!.initialized;
+
+//         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. Seed Data
+//         // Root -> V1 (Shared) -> V2 (Dest has New)
+//         // Source only has V1.
+
+//         const v0 = await createTimelineRootTestHelper<TestData>({
+//             ib: 'timeline_root_ff',
+//             data: { type: 'root', label: 'Root' },
+//             space: sourceSpace,
+//         });
+//         const addrV0 = getIbGibAddr({ ibGib: v0 });
+//         console.log(pretty(v0));
+
+//         // V1 (Both have it, but we create in source and copy to dest)
+//         const v1 = await mut8Timeline<TestData>({
+//             timeline: v0,
+//             mut8Opts: { dataToAddOrPatch: { type: 'comment', label: 'V1' } },
+//             metaspace,
+//             space: sourceSpace,
+//         });
+//         const addrV1 = getIbGibAddr({ ibGib: v1 });
+//         console.log(pretty(v1));
+
+
+//         // Transfer Root & V1 to Dest
+//         const initialDepGraph = await getDependencyGraph({ ibGibs: [v0, v1], space: sourceSpace });
+//         await putInSpace({ space: destSpace, ibGibs: Object.values(initialDepGraph) }); // Naive seeding
+//         await registerNewIbGib({ space: destSpace, ibGib: v0 });
+//         await registerNewIbGib({ space: destSpace, ibGib: v1 });
+
+//         // V2 (Created in Dest ONLY)
+//         const v2 = await mut8Timeline<TestData>({
+//             timeline: v1, // v1 is in memory, linked to source, but we want to Mutate IN DEST SPACE
+//             mut8Opts: { dataToAddOrPatch: { type: 'comment', label: 'V2' } },
+//             metaspace,
+//             space: destSpace, // Mutate in Dest
+//         });
+//         const addrV2 = getIbGibAddr({ ibGib: v2 });
+//         console.log(pretty(v2));
+
+//         const fnAddrExistsInSpace = async (addr: IbGibAddr, space: IbGibSpaceAny) => {
+//             const resGet = await getFromSpace({ addr, space });
+//             return resGet.success && resGet.ibGibs && resGet.ibGibs.length === 1;
+//         }
+
+//         await ifWe(sir, 'verify setup', async () => {
+//             // Ensure V2 is ONLY in Dest (it is, per `space: destSpace`)
+//             // Ensure Source does NOT have V2
+//             iReckon(sir, await fnAddrExistsInSpace(addrV0, sourceSpace)).asTo('source has V0').isGonnaBeTrue();
+//             iReckon(sir, await fnAddrExistsInSpace(addrV1, sourceSpace)).asTo('source has V1').isGonnaBeTrue();
+//             iReckon(sir, await fnAddrExistsInSpace(addrV2, sourceSpace)).asTo('source has V2').isGonnaBeFalse();
+//             iReckon(sir, await fnAddrExistsInSpace(addrV0, destSpace)).asTo('dest has V0').isGonnaBeTrue();
+//             iReckon(sir, await fnAddrExistsInSpace(addrV1, destSpace)).asTo('dest has V1').isGonnaBeTrue();
+//             iReckon(sir, await fnAddrExistsInSpace(addrV2, destSpace)).asTo('dest has V2').isGonnaBeTrue();
+//         });
+
+//         // 3. Setup Sync
+//         const mockKeystone = await getTestKeystoneServiceHelper();
+//         const senderCoordinator = new SyncSagaCoordinator(mockKeystone);
+//         const receiverCoordinator = new SyncSagaCoordinator(mockKeystone);
+
+//         const peer = new SyncPeerInnerspace_V1(clone(SYNC_PEER_INNERSPACE_DEFAULT_DATA_V1));
+//         await peer.initialized;
+//         await peer.initializeOpts({
+//             localSpace: sourceSpace,   // "Client"
+//             receiverSpace: destSpace,   // "Server"
+//             receiverCoordinator,
+//             receiverMetaspace: metaspace,
+//         });
+
+//         // 4. Run Sync (Source Pushes V1)
+//         console.log(`${lc} Running Sync...`);
+//         const { done, sagaId, updates$ } = await senderCoordinator.sync({
+//             peer: peer,
+//             localSpace: sourceSpace,
+//             metaspace: metaspace,
+//             domainIbGibs: [v1], // Source tries to push V1
+//             useSessionIdentity: true,
+//             identitySecret: secretSender,
+//         });
+
+//         const syncSagaContextIbGibs: SyncSagaContextIbGib_V1[] = [];
+//         const sublc = `${lc}[updates$]`;
+//         /**
+//          * I have added this so you can see how to subscribe to an ibgib
+//          * observable using {@link fnObs}.
+//          */
+//         const subscription = await updates$.subscribe(fnObs({
+//             next: async (ctxIbGib) => {
+//                 // console.log(`${sublc} next fired. ${JSON.stringify(ctxIbGib)}`);
+//                 console.log(`${sublc} next fired. (I: e68d8894bac8800f9f3430e8a38d6626)`);
+//                 // each context ibgib
+//                 if (!isSyncSagaContextIbGib(ctxIbGib)) {
+//                     throw new Error(`(UNEXPECTED) ctxIbGib isn't a SyncSagaContextIbGib_V1? (E: ee116e6b6208e615dbcd3e715643e826)`);
+//                 }
+//                 syncSagaContextIbGibs.push(ctxIbGib);
+//             },
+//             error: async (e: ErrorIbGib_V1) => {
+//                 if (e.data) {
+//                     console.error(`${sublc} error fired. error: ${JSON.stringify(e.data)} (E: eddf17f76a486b9c5a2f4ee86ed38b26)`);
+//                 } else {
+//                     console.dir(e);
+//                     console.error(`${sublc} error fired. error: ${extractErrorMsg(e)} (E: af9c3b6f1c88befeff77ca46111b3826)`);
+//                 }
+//             },
+//             complete: async () => {
+//                 console.log(`${sublc} complete fired`);
+//             },
+//         }));
+//         await done;
+
+//         // 5. Verify Sync (v2 should be in both source and dest now)
+//         console.log(`${lc} Verifying Sync...`);
+
+//         await ifWe(sir, `verify v2 now also in source`, async () => {
+//             // Verify Tip (V2)
+
+//             iReckon(sir, await fnAddrExistsInSpace(addrV0, sourceSpace)).asTo('source has V0').isGonnaBeTrue();
+//             iReckon(sir, await fnAddrExistsInSpace(addrV1, sourceSpace)).asTo('source has V1').isGonnaBeTrue();
+//             iReckon(sir, await fnAddrExistsInSpace(addrV2, sourceSpace)).asTo('source has V2').isGonnaBeTrue();
+//             iReckon(sir, await fnAddrExistsInSpace(addrV0, destSpace)).asTo('dest has V0').isGonnaBeTrue();
+//             iReckon(sir, await fnAddrExistsInSpace(addrV1, destSpace)).asTo('dest has V1').isGonnaBeTrue();
+//             iReckon(sir, await fnAddrExistsInSpace(addrV2, destSpace)).asTo('dest has V2').isGonnaBeTrue();
+
+//         });
+
+//         await ifWe(sir, `dependency graphs the same`, async () => {
+
+//             const sourceDepGraph = await getDependencyGraph({
+//                 ibGibAddr: addrV2,
+//                 space: sourceSpace,
+//             });
+//             const destDepGraph = await getDependencyGraph({
+//                 ibGibAddr: addrV2,
+//                 space: destSpace,
+//             });
+
+//             const sourceDepGraphAddrs = Object.keys(sourceDepGraph);
+//             const destDepGraphAddrs = Object.keys(destDepGraph);
+
+//             iReckon(sir, sourceDepGraphAddrs.length === destDepGraphAddrs.length).asTo('dep graphs same size').isGonnaBeTrue();
+
+//             sourceDepGraphAddrs.forEach(sourceDepAddr => {
+//                 iReckon(sir, destDepGraphAddrs.includes(sourceDepAddr)).asTo(`${sourceDepAddr} is both graphs`).isGonnaBeTrue();
+//             });
+//         });
+
+//         // ========================================================================
+//         // IDENTITY-RELATED ASSERTIONS (TDD - Expose Implementation Gaps)
+//         // ========================================================================
+
+//         // Need to capture session identity and saga context from sync result
+//         // For now, we'll retrieve from spaces after sync completes
+//         let sessionKeystoneAddr: IbGibAddr | undefined;
+
+//         await ifWe(sir, 'IDENTITY: session keystone exists in sender space', async () => {
+//             // TODO: Get saga IbGib and access sessionKeystones rel8n
+//             // Once saga access is implemented (per Bill's guidance), retrieve keystone addr from:
+//             // const keystoneAddrs = sagaIbGib.rel8ns?.sessionKeystones;
+//             // Then verify keystone exists in space
+//             debugger;
+
+//             // #region leaving off here
+
+//             // receiver is not putting the session keystone on the return
+//             // context ibgib.  need to ensure that peer's do the most recent
+//             // session keystone manually, so session keystone should be
+//             // transferred alongside context ibgib (which is signed but
+//             // intrinsically points to the **previous** frame of the keystone)
+
+//             // #endregion leaving off here
+//             syncSagaContextIbGibs.forEach(x => console.log(pretty(x)));
+
+//             // Placeholder - test passes because keystone creation works
+//             iReckon(sir, true)
+//                 .asTo('session keystone created (saga access TODO)')
+//                 .isGonnaBeTrue();
+//         });
+
+//         await ifWe(sir, 'IDENTITY: session keystone exists in receiver space', async () => {
+//             // Session keystone should be transferred to receiver's durable space
+//             iReckon(sir, sessionKeystoneAddr)
+//                 .asTo('session keystone address was captured')
+//                 .isGonnaBeTruthy();
+
+//             if (sessionKeystoneAddr) {
+//                 const destResult = await getFromSpace({ addr: sessionKeystoneAddr, space: destSpace });
+//                 iReckon(sir, destResult.success)
+//                     .asTo('receiver has session keystone')
+//                     .isGonnaBeTrue();
+//             }
+//         });
+
+//         await ifWe(sir, 'IDENTITY: saga frames are signed', async () => {
+//             // TODO: Get saga frames and check each has a proof
+//             // This will FAIL when we actually check - that's the point (TDD RED)
+
+//             iReckon(sir, false)
+//                 .asTo('saga frames have proofs (NOT IMPLEMENTED - should fail)')
+//                 .isGonnaBeTrue();
+//         });
+
+//         await ifWe(sir, 'IDENTITY: frame signatures are valid', async () => {
+//             // TODO: For each saga frame, validate proof against session keystone
+//             // const isValid = await validateProofWithKeystone({
+//             //     proof: frame.proof,
+//             //     keystone: sessionKeystone,
+//             //     targetFrame: frame
+//             // });
+//             // iReckon(sir, isValid).asTo('proof is valid').isGonnaBeTrue();
+
+//             // Placeholder for now
+//             iReckon(sir, true)
+//                 .asTo('proof validation not yet implemented')
+//                 .isGonnaBeTrue();
+//         });
+
+//         await ifWe(sir, 'IDENTITY: session keystone challenges are depleted', async () => {
+//             // TODO: Session keystone should evolve after signing frames
+//             // This will FAIL because keystone evolution not implemented yet
+
+//             iReckon(sir, false)
+//                 .asTo('challenges depleted (NOT IMPLEMENTED - should fail)')
+//                 .isGonnaBeTrue();
+//         });
+
+//         await ifWe(sir, 'IDENTITY: frame timestamps are present and fresh', async () => {
+//             // TODO: Check each frame has timestamp in proof claim
+//             // const claim = JSON.parse(frame.proof.claim.scope);
+//             // iReckon(sir, claim.timestamp).asTo('has timestamp').isGonnaBeTruthy();
+//             // const age = Date.now() - claim.timestamp;
+//             // iReckon(sir, age < 60000).asTo('timestamp is fresh (<60s)').isGonnaBeTrue();
+
+//             // Placeholder
+//             iReckon(sir, true)
+//                 .asTo('timestamp validation not yet implemented')
+//                 .isGonnaBeTrue();
+//         });
+
+//         await ifWe(sir, 'IDENTITY: keystone has no hard links to domain ibgibs', async () => {
+//             if (sessionKeystoneAddr) {
+//                 const keystoneResult = await getFromSpace({
+//                     addr: sessionKeystoneAddr,
+//                     space: sourceSpace
+//                 });
+
+//                 if (keystoneResult.success && keystoneResult.ibGibs && keystoneResult.ibGibs.length > 0) {
+//                     const keystone = keystoneResult.ibGibs[0];
+//                     const rel8ns = keystone.rel8ns || {};
+//                     const allRel8nAddrs = Object.values(rel8ns)
+//                         .flat()
+//                         .filter(addr => typeof addr === 'string');
+
+//                     const domainAddrs = [addrV0, addrV1, addrV2];
+
+//                     for (const domainAddr of domainAddrs) {
+//                         iReckon(sir, allRel8nAddrs.includes(domainAddr))
+//                             .asTo(`keystone does not hard link to ${domainAddr}`)
+//                             .isGonnaBeFalse();
+//                     }
+//                 }
+//             }
+//         });
+
+//         await ifWe(sir, 'IDENTITY: saga frames have no hard links to domain ibgibs', async () => {
+//             // Saga frames should NOT have hard links to domain ibgibs
+//             // This currently PASSES but will expose issues if hard links exist
+
+//             iReckon(sir, true)
+//                 .asTo('hard link validation (placeholder)')
+//                 .isGonnaBeTrue();
+
+//             // TODO: Get saga frames and check their rel8ns
+//             // for (const frame of sagaFrames) {
+//             //     const rel8nAddrs = Object.values(frame.rel8ns || {}).flat();
+//             //     for (const domainAddr of [addrV0, addrV1, addrV2]) {
+//             //         iReckon(sir, rel8nAddrs.includes(domainAddr)).asTo get('no hard link').isGonnaBeFalse();
+//             //     }
+//             // }
+//         });
+
+
+//     });
+
+// });