@ibgib/space-gib 0.0.2 → 0.0.3

package/src/client/dev-tools.mts

@@ -19,16 +19,18 @@ import { KeystoneService_V1 } from '@ibgib/core-gib/dist/keystone/keystone-servi
 import { KeystoneIbGib_V1, KeystoneReplenishStrategy } from '@ibgib/core-gib/dist/keystone/keystone-types.mjs';
 import { createManagePoolConfig } from '@ibgib/core-gib/dist/keystone/keystone-config-builder.mjs';
 import { KeystoneStrategyFactory } from '@ibgib/core-gib/dist/keystone/strategy/keystone-strategy-factory.mjs';
-import { SyncPeerWebSocketSender_V1 } from '@ibgib/core-gib/dist/sync/sync-peer/sync-peer-websocket-sender/sync-peer-websocket-sender-v1.mjs';
+import { SyncPeerWebSocketSender_V1 } from '@ibgib/core-gib/dist/sync/sync-peer/sync-peer-websocket/sync-peer-websocket-sender/sync-peer-websocket-sender-v1.mjs';
 import { SyncSagaCoordinator } from '@ibgib/core-gib/dist/sync/sync-saga-coordinator.mjs';
 import { KEYSTONE_VERB_CONNECT, POOL_ID_CONNECT, POOL_ID_SYNC } from '@ibgib/core-gib/dist/keystone/keystone-constants.mjs';
 import { getGlobalMetaspace_waitIfNeeded } from "@ibgib/web-gib/dist/helpers.mjs";
+import { graphsAreEquivalent } from '@ibgib/core-gib/dist/common/other/graph-helper.mjs';
 
 import { GLOBAL_LOG_A_LOT } from './constants.mjs';
 import {
     SESSION_KEYSTONE_POLICY, getConnectChallenge, getSpaceGibPoolConfig
 } from "../common/keystone-policies.mjs";
 import { SpaceGibApiBridge } from './api/space-gib-api-bridge.mjs';
+import { SyncConflictStrategy } from '@ibgib/core-gib/dist/sync/sync-constants.mjs';
 
 const logalot = GLOBAL_LOG_A_LOT
 const lc = '[dev-tools]';
@@ -120,7 +122,7 @@ function initWsTestButton(): void {
 
 function initPrintStateButton(): void {
     const btn = document.getElementById('btn-print-dev-state') as HTMLButtonElement | null;
-    if (!btn) return;
+    if (!btn) { return; }
     btn.addEventListener('click', () => {
         devLog(`Printing debug state to console...`);
         console.dir(debugState);
@@ -134,7 +136,7 @@ function initPrintStateButton(): void {
 function initCreateDomainKeystoneButton(): void {
     const lc_fn = `${lc}[initCreateDomainKeystoneButton]`;
     const btn = document.getElementById('btn-create-domain-keystone') as HTMLButtonElement | null;
-    if (!btn) return;
+    if (!btn) { return; }
 
     btn.addEventListener('click', async () => {
         try {
@@ -183,7 +185,7 @@ function initCreateDomainKeystoneButton(): void {
 
             // Enable next step
             const nextBtn = document.getElementById('btn-create-test-ibgib') as HTMLButtonElement;
-            if (nextBtn) nextBtn.disabled = false;
+            if (nextBtn) { nextBtn.disabled = false; }
 
         } catch (error) {
             devLog(`✗ ${extractErrorMsg(error)}`);
@@ -225,7 +227,7 @@ function initCreateTestIbGibButton(): void {
 
             // Enable next step
             const nextBtn = document.getElementById('btn-create-session-keystone') as HTMLButtonElement;
-            if (nextBtn) nextBtn.disabled = false;
+            if (nextBtn) { nextBtn.disabled = false; }
         } catch (error) {
             devLog(`✗ ${extractErrorMsg(error)}`);
             console.error(`${lc_fn} ${extractErrorMsg(error)}`);
@@ -315,7 +317,7 @@ function initCreateSessionKeystoneButton(): void {
 
             // Enable next step
             const nextBtn = document.getElementById('btn-evolve-domain-keystone') as HTMLButtonElement;
-            if (nextBtn) nextBtn.disabled = false;
+            if (nextBtn) { nextBtn.disabled = false; }
         } catch (error) {
             devLog(`✗ ${extractErrorMsg(error)}`);
             console.error(`${lc_fn} ${extractErrorMsg(error)}`);
@@ -389,7 +391,7 @@ function initEvolveDomainKeystoneButton(): void {
 
             // Enable next step
             const nextBtn = document.getElementById('btn-perform-sync') as HTMLButtonElement;
-            if (nextBtn) nextBtn.disabled = false;
+            if (nextBtn) { nextBtn.disabled = false; }
 
         } catch (error) {
             devLog(`✗ ${extractErrorMsg(error)}`);
@@ -406,7 +408,7 @@ function initEvolveDomainKeystoneButton(): void {
 function initPerformSyncButton(): void {
     const lc_fn = `${lc}[initPerformSyncButton]`;
     const btn = document.getElementById('btn-perform-sync') as HTMLButtonElement | null;
-    if (!btn) return;
+    if (!btn) { return; }
 
     btn.addEventListener('click', async () => {
         try {
@@ -527,161 +529,212 @@ function initPerformSyncButton(): void {
 // Phase 1B: Standardized Setup / Sync / Check testing loop
 // ---------------------------------------------------------------------------
 
-function init1bSetupButton(): void {
-    const lc_fn = `${lc}[init1bSetupButton]`;
-    const btn = document.getElementById('btn-1b-setup') as HTMLButtonElement | null;
-    if (!btn) return;
+interface PhaseSetupOptions {
+    phaseText: '1B' | '2B' | '3B';
+    btnId: string;
+    nextBtnId: string;
+    masterSecret: string;
+    syncSalt: string;
+    manageSalt: string;
+    ib: string;
+    data: any;
+}
 
-    btn.addEventListener('click', async () => {
-        try {
-            btn.disabled = true;
-            devLog('1B Setup: Generating Alice\'s long-lived Domain Keystone (I) and Target (X)...');
+async function performPhaseSetup(opts: PhaseSetupOptions): Promise<void> {
+    const lc_fn = `${lc}[performPhaseSetup(${opts.phaseText})]`;
+    const btn = document.getElementById(opts.btnId) as HTMLButtonElement | null;
+    if (!btn) { return; }
 
-            const metaspace = await getGlobalMetaspace_waitIfNeeded();
-            const space = await metaspace.getLocalUserSpace({});
-            if (!space) { throw new Error("No default space."); }
+    try {
+        btn.disabled = true;
+        devLog(`${opts.phaseText} Setup: Generating Alice's long-lived Domain Keystone (I) and Target (X)...`);
+
+        const metaspace = await getGlobalMetaspace_waitIfNeeded();
+        const space = await metaspace.getLocalUserSpace({});
+        if (!space) { throw new Error("No default space found in metaspace."); }
+
+        const keystoneService = new KeystoneService_V1();
+
+        // 1. Create Genesis Domain Keystone (I^Itjp) in local space
+        const domainI = await keystoneService.genesis({
+            masterSecret: opts.masterSecret,
+            configs: [
+                getSpaceGibPoolConfig('sync', opts.syncSalt),
+                getSpaceGibPoolConfig('manage', opts.manageSalt),
+            ],
+            metaspace,
+            space,
+            frameDetails: { client: 'space-gib-web-dev', timestamp: getTimestamp() }
+        });
+
+        debugState.domainI = domainI;
+        debugState.domainIMasterSecret = opts.masterSecret;
+
+        devLog(`${opts.phaseText} Setup: ✓ Domain Keystone (I) created locally: ${getIbGibAddr({ ibGib: domainI })}`);
+        devLog(`${opts.phaseText} Setup: Starting postGenesisKeystone...`);
+
+        // 2. Post Genesis Domain Keystone to receiver/server
+        const apiBridge = new SpaceGibApiBridge();
+        const resGenesis = await apiBridge.postGenesisKeystone(domainI);
+        if (resGenesis.success) {
+            devLog(`${opts.phaseText} Setup: ✓ Domain Keystone registered and stored on receiver (server).`);
+        } else {
+            devLog(`${opts.phaseText} Setup: X postGenesisKeystone failed: ${resGenesis.message}.`);
+            throw new Error(`${opts.phaseText} Setup: Server rejected genesis domain keystone: ${resGenesis.message}`);
+        }
 
-            const masterSecret = 'test-sender-secret-phase1';
-            const keystoneService = new KeystoneService_V1();
+        // 3. Create Test IbGib (X) locally
+        const resX = await factory.firstGen({
+            parentIbGib: ROOT,
+            ib: opts.ib,
+            data: opts.data,
+            dna: true,
+            nCounter: true,
+            tjp: { uuid: true, timestamp: true }
+        });
+        const xIbGib = resX.newIbGib;
 
-            // 1. Create Genesis Domain Keystone (I^Itjp) in local sourceSpace
-            const domainI = await keystoneService.genesis({
-                masterSecret,
-                configs: [
-                    getSpaceGibPoolConfig('sync', 'senderidentitysyncsaltphase1'),
-                    getSpaceGibPoolConfig('manage', 'senderidentitymanagesaltphase1'),
-                ],
-                metaspace,
-                space,
-                frameDetails: { client: 'space-gib-web-dev', timestamp: getTimestamp() }
-            });
+        // Persist target X to local space so coordinator can build the sync history
+        await metaspace.persistTransformResult({ resTransform: resX, space });
+        await metaspace.registerNewIbGib({ ibGib: xIbGib });
 
-            debugState.domainI = domainI;
-            debugState.domainIMasterSecret = masterSecret;
+        debugState.targetX = xIbGib;
+        devLog(`${opts.phaseText} Setup: ✓ Target (X) created and persisted locally: ${getIbGibAddr({ ibGib: xIbGib })}`);
 
-            devLog(`1B Setup: ✓ Domain Keystone (I) created locally: ${getIbGibAddr({ ibGib: domainI })}`);
-            devLog(`1B Setup: Starting postGenesisKeystone...`);
+        devLog(`✓ ${opts.phaseText} Setup Complete! Ready for ${opts.phaseText} Sync.`);
+        btn.textContent = `✓ ${opts.phaseText} Setup Complete`;
 
-            // 2. Post Genesis Domain Keystone to receiver/server
-            const apiBridge = new SpaceGibApiBridge();
-            const resGenesis = await apiBridge.postGenesisKeystone(domainI);
-            if (resGenesis.success) {
-                devLog(`1B Setup: ✓ Domain Keystone registered and stored on receiver (server).`);
-            } else {
-                devLog(`1B Setup: X postGenesisKeystone failed: ${resGenesis.message}.`);
-                throw new Error(`1B Setup: Server rejected genesis domain keystone: ${resGenesis.message}`);
-            }
+        // Enable next button in the phase flow
+        const syncBtn = document.getElementById(opts.nextBtnId) as HTMLButtonElement | null;
+        if (syncBtn) { syncBtn.disabled = false; }
 
-            // 3. Create Test IbGib (X) locally
-            const resX = await factory.firstGen({
-                parentIbGib: ROOT,
-                ib: 'test data',
-                data: { hello: 'world', random: Math.random() },
-                dna: true,
-                nCounter: true,
-                tjp: { uuid: true, timestamp: true }
-            });
-            debugState.targetX = resX.newIbGib;
-            devLog(`1B Setup: ✓ Target (X) created locally: ${getIbGibAddr({ ibGib: resX.newIbGib })}`);
+    } catch (error) {
+        devLog(`✗ ${opts.phaseText} Setup FAILED: ${extractErrorMsg(error)}`);
+        console.error(`${lc_fn} ${opts.phaseText} Setup error:`, error);
+        btn.disabled = false;
+    }
+}
 
-            devLog('✓ 1B Setup Complete! Ready for 1B Sync.');
-            btn.textContent = '✓ 1B Setup Complete';
+interface PhaseSyncOptions {
+    phaseText: '1B' | '2B' | '3B';
+    btnId: string;
+    nextBtnId: string;
+    expectSyncFailure?: boolean;
+    failureMessageSuffix?: string;
+}
 
-            // Enable next button in the phase flow
-            const syncBtn = document.getElementById('btn-1b-sync') as HTMLButtonElement | null;
-            if (syncBtn) syncBtn.disabled = false;
+async function performPhaseSync(opts: PhaseSyncOptions): Promise<void> {
+    const lc_fn = `${lc}[performPhaseSync(${opts.phaseText})]`;
+    const btn = document.getElementById(opts.btnId) as HTMLButtonElement | null;
+    if (!btn) { return; }
 
-        } catch (error) {
-            devLog(`✗ 1B Setup FAILED: ${extractErrorMsg(error)}`);
-            console.error(`${lc_fn} 1B Setup error:`, error);
+    try {
+        btn.disabled = true;
+        devLog(`${opts.phaseText} Sync: Executing senderCoordinator.sync(...) using WebSocket Peer...`);
+
+        const domainI = debugState.domainI;
+        const targetX = debugState.targetX;
+        if (!domainI || !targetX) {
+            devLog(`⚠ ${opts.phaseText} Sync: Missing setup state. Please run Setup first.`);
             btn.disabled = false;
+            return;
         }
-    });
-}
 
-function init1bSyncButton(): void {
-    const lc_fn = `${lc}[init1bSyncButton]`;
-    const btn = document.getElementById('btn-1b-sync') as HTMLButtonElement | null;
-    if (!btn) return;
+        const domainAddr = getIbGibAddr({ ibGib: domainI });
+        const metaspace = await getGlobalMetaspace_waitIfNeeded();
+        const space = await metaspace.getLocalUserSpace({});
+        if (!space) { throw new Error("No default space."); }
+
+        const protocol = location.protocol === 'https:' ? 'wss:' : 'ws:';
+        const senderPeer = new SyncPeerWebSocketSender_V1({
+            classname: 'SyncPeerWebSocketSender_V1',
+            httpEvolveUrl: `${location.protocol}//${location.host}/api/keystone/evolve/${encodeURIComponent(domainAddr)}`,
+            wsUrl: `${protocol}//${location.host}/api/sync/ws/${encodeURIComponent(domainAddr)}`
+        });
+
+        const coordinator = new SyncSagaCoordinator();
+        const sagaId = await getUUID();
+        debugState.sagaId = sagaId;
+        debugState.senderPeer = senderPeer;
+
+        await senderPeer.initializeOpts({
+            localMetaspace: metaspace,
+            localSpace: space,
+            senderIdentity: domainI,
+            fnSenderSecret: async () => debugState.domainIMasterSecret!,
+            sagaId,
+            sessionConnectPoolConfig: SESSION_KEYSTONE_POLICY.CONNECT_POOL as any,
+            sessionSyncPoolConfig: SESSION_KEYSTONE_POLICY.DEFAULT_POOL as any,
+            targetAddrs: [domainAddr]
+        });
 
-    btn.addEventListener('click', async () => {
         try {
-            btn.disabled = true;
-            devLog('1B Sync: Executing senderCoordinator.sync(...) using WebSocket Peer...');
-
-            const domainI = debugState.domainI;
-            const targetX = debugState.targetX;
-            if (!domainI || !targetX) {
-                devLog('⚠ 1B Sync: Missing setup state. Please run Setup first.');
-                btn.disabled = false;
-                return;
-            }
-
-            const domainAddr = getIbGibAddr({ ibGib: domainI });
-            const metaspace = await getGlobalMetaspace_waitIfNeeded();
-            const space = await metaspace.getLocalUserSpace({});
-            if (!space) { throw new Error("No default space."); }
-
-            // Instantiate WebSocket sender peer
-            const protocol = location.protocol === 'https:' ? 'wss:' : 'ws:';
-            const senderPeer = new SyncPeerWebSocketSender_V1({
-                classname: 'SyncPeerWebSocketSender_V1',
-                httpEvolveUrl: `${location.protocol}//${location.host}/api/keystone/evolve/${encodeURIComponent(domainAddr)}`,
-                wsUrl: `${protocol}//${location.host}/api/sync/ws/${encodeURIComponent(domainAddr)}`
-            });
-
-            const coordinator = new SyncSagaCoordinator();
-            const sagaId = await getUUID();
-            debugState.sagaId = sagaId;
-            debugState.senderPeer = senderPeer;
-
-            await senderPeer.initializeOpts({
-                localMetaspace: metaspace,
-                localSpace: space,
+            const syncSaga = await coordinator.sync({
+                domainIbGibs: [targetX],
                 senderIdentity: domainI,
                 fnSenderSecret: async () => debugState.domainIMasterSecret!,
-                sagaId,
-                sessionConnectPoolConfig: SESSION_KEYSTONE_POLICY.CONNECT_POOL as any,
-                sessionSyncPoolConfig: SESSION_KEYSTONE_POLICY.DEFAULT_POOL as any,
-                targetAddrs: [domainAddr]
+                peer: senderPeer,
+                localSpace: space,
+                metaspace,
+                conflictStrategy: SyncConflictStrategy.optimisticWithLCS,
             });
-
-            try {
-                // Execute sync saga — triggers establishSessionIdentity internally!
-                const syncSaga = await coordinator.sync({
-                    domainIbGibs: [targetX],
-                    senderIdentity: domainI,
-                    fnSenderSecret: async () => debugState.domainIMasterSecret!,
-                    peer: senderPeer,
-                    localSpace: space,
-                    metaspace,
-                    conflictStrategy: 'optimisticWithLCS' as any
-                });
-                await syncSaga.done;
-            } catch (err) {
-                // connection/sync error is fine/expected right now since connection is in Phase 2
-                devLog(`1B Sync: Coordinator sync executed (establish phase successfully run; connection/sync errors expected in 1B): ${extractErrorMsg(err)}`);
+            await syncSaga.done;
+        } catch (err) {
+            if (opts.expectSyncFailure) {
+                devLog(`${opts.phaseText} Sync: Coordinator sync executed (${opts.failureMessageSuffix ?? 'errors expected'}): ${extractErrorMsg(err)}`);
+            } else {
+                throw err;
             }
+        }
 
-            devLog('✓ 1B Sync Execution Complete! Ready for State Checks.');
-            btn.textContent = '✓ 1B Sync Run';
+        devLog(`✓ ${opts.phaseText} Sync Execution Complete! Ready for State Checks.`);
+        btn.textContent = `✓ ${opts.phaseText} Sync Run`;
 
-            // Enable check button
-            const checkBtn = document.getElementById('btn-1b-check') as HTMLButtonElement | null;
-            if (checkBtn) checkBtn.disabled = false;
+        const checkBtn = document.getElementById(opts.nextBtnId) as HTMLButtonElement | null;
+        if (checkBtn) { checkBtn.disabled = false; }
 
-        } catch (error) {
-            devLog(`✗ 1B Sync FAILED: ${extractErrorMsg(error)}`);
-            console.error(`${lc_fn} 1B Sync error:`, error);
-            btn.disabled = false;
-        }
+    } catch (error) {
+        devLog(`✗ ${opts.phaseText} Sync FAILED: ${extractErrorMsg(error)}`);
+        console.error(`${lc_fn} ${opts.phaseText} Sync error:`, error);
+        btn.disabled = false;
+    }
+}
+
+function init1bSetupButton(): void {
+    const btn = document.getElementById('btn-1b-setup') as HTMLButtonElement | null;
+    if (!btn) { return; }
+    btn.addEventListener('click', () => {
+        performPhaseSetup({
+            phaseText: '1B',
+            btnId: 'btn-1b-setup',
+            nextBtnId: 'btn-1b-sync',
+            masterSecret: 'test-sender-secret-phase1',
+            syncSalt: 'senderidentitysyncsaltphase1',
+            manageSalt: 'senderidentitymanagesaltphase1',
+            ib: 'test data',
+            data: { hello: 'world', random: Math.random() }
+        });
+    });
+}
+
+function init1bSyncButton(): void {
+    const btn = document.getElementById('btn-1b-sync') as HTMLButtonElement | null;
+    if (!btn) { return; }
+    btn.addEventListener('click', () => {
+        performPhaseSync({
+            phaseText: '1B',
+            btnId: 'btn-1b-sync',
+            nextBtnId: 'btn-1b-check',
+            expectSyncFailure: true,
+            failureMessageSuffix: 'establish phase successfully run; connection/sync errors expected in 1B'
+        });
     });
 }
 
 function init1bCheckButton(): void {
     const lc_fn = `${lc}[init1bCheckButton]`;
     const btn = document.getElementById('btn-1b-check') as HTMLButtonElement | null;
-    if (!btn) return;
+    if (!btn) { return; }
 
     btn.addEventListener('click', async () => {
         try {
@@ -784,18 +837,18 @@ function init1bCheckButton(): void {
                 devLog(`✗ Check Server: Failed to fetch session keystone from server: ${resGetSessionSFromServer.message}`);
             }
 
-            if (hasI) devLog('✓ Check Server: Genesis Domain Keystone (I) registered on server.');
+            if (hasI) { devLog('✓ Check Server: Genesis Domain Keystone (I) registered on server.'); }
             else devLog('✗ Check Server: Genesis Domain Keystone (I) missing on server!');
-            if (hasI1) devLog('✓ Check Server: Evolved Domain Keystone (I1) accepted and stored on server.');
+            if (hasI1) { devLog('✓ Check Server: Evolved Domain Keystone (I1) accepted and stored on server.'); }
             else devLog('✗ Check Server: Evolved Domain Keystone (I1) missing on server!');
-            if (hasS) devLog('✓ Check Server: Session Keystone (S) accepted and stored on server.');
+            if (hasS) { devLog('✓ Check Server: Session Keystone (S) accepted and stored on server.'); }
             else devLog('✗ Check Server: Session Keystone (S) missing on server!');
             if (hasI && hasI1 && hasS) {
                 devLog('🎉 ALL PHASE 1B ESTABLISH CHECKS PASSED FLAWLESSLY! ✓');
                 btn.textContent = '✓ 1B All Passed';
 
                 const btn2bSetup = document.getElementById('btn-2b-setup') as HTMLButtonElement | null;
-                if (btn2bSetup) btn2bSetup.disabled = false;
+                if (btn2bSetup) { btn2bSetup.disabled = false; }
             }
 
             // #endregion 3. Verify Server-Side (receiver) registrations via GET REST API
@@ -812,160 +865,40 @@ function init1bCheckButton(): void {
 // ---------------------------------------------------------------------------
 
 function init2bSetupButton(): void {
-    const lc_fn = `${lc}[init2bSetupButton]`;
     const btn = document.getElementById('btn-2b-setup') as HTMLButtonElement | null;
-    if (!btn) return;
-
-    btn.addEventListener('click', async () => {
-        try {
-            btn.disabled = true;
-            devLog('2B Setup: Generating Alice\'s long-lived Domain Keystone (I) and Target (X)...');
-
-            const metaspace = await getGlobalMetaspace_waitIfNeeded();
-            const space = await metaspace.getLocalUserSpace({});
-            if (!space) { throw new Error("No default space."); }
-
-            const masterSecret = 'test-sender-secret-phase2';
-            const keystoneService = new KeystoneService_V1();
-
-            // 1. Create Genesis Domain Keystone (I^Itjp) in local sourceSpace
-            const domainI = await keystoneService.genesis({
-                masterSecret,
-                configs: [
-                    getSpaceGibPoolConfig('sync', 'senderidentitysyncsaltphase2'),
-                    getSpaceGibPoolConfig('manage', 'senderidentitymanagesaltphase2'),
-                ],
-                metaspace,
-                space,
-                frameDetails: { client: 'space-gib-web-dev', timestamp: getTimestamp() }
-            });
-
-            debugState.domainI = domainI;
-            debugState.domainIMasterSecret = masterSecret;
-
-            devLog(`2B Setup: ✓ Domain Keystone (I) created locally: ${getIbGibAddr({ ibGib: domainI })}`);
-            devLog(`2B Setup: Starting postGenesisKeystone...`);
-
-            // 2. Post Genesis Domain Keystone to receiver/server
-            const apiBridge = new SpaceGibApiBridge();
-            const resGenesis = await apiBridge.postGenesisKeystone(domainI);
-            if (resGenesis.success) {
-                devLog(`2B Setup: ✓ Domain Keystone registered and stored on receiver (server).`);
-            } else {
-                devLog(`2B Setup: X postGenesisKeystone failed: ${resGenesis.message}.`);
-                throw new Error(`2B Setup: Server rejected genesis domain keystone: ${resGenesis.message}`);
-            }
-
-            // 3. Create Test IbGib (X) locally
-            const resX = await factory.firstGen({
-                parentIbGib: ROOT,
-                ib: 'test data',
-                data: { hello: 'world2', random: Math.random() },
-                dna: true,
-                nCounter: true,
-                tjp: { uuid: true, timestamp: true }
-            });
-            debugState.targetX = resX.newIbGib;
-            devLog(`2B Setup: ✓ Target (X) created locally: ${getIbGibAddr({ ibGib: resX.newIbGib })}`);
-
-            devLog('✓ 2B Setup Complete! Ready for 2B Sync.');
-            btn.textContent = '✓ 2B Setup Complete';
-
-            // Enable next button in the phase flow
-            const syncBtn = document.getElementById('btn-2b-sync') as HTMLButtonElement | null;
-            if (syncBtn) syncBtn.disabled = false;
-
-        } catch (error) {
-            devLog(`✗ 2B Setup FAILED: ${extractErrorMsg(error)}`);
-            console.error(`${lc_fn} 2B Setup error:`, error);
-            btn.disabled = false;
-        }
+    if (!btn) { return; }
+    btn.addEventListener('click', () => {
+        performPhaseSetup({
+            phaseText: '2B',
+            btnId: 'btn-2b-setup',
+            nextBtnId: 'btn-2b-sync',
+            masterSecret: 'test-sender-secret-phase2',
+            syncSalt: 'senderidentitysyncsaltphase2',
+            manageSalt: 'senderidentitymanagesaltphase2',
+            ib: 'test data',
+            data: { hello: 'world2', random: Math.random() }
+        });
     });
 }
 
 function init2bSyncButton(): void {
-    const lc_fn = `${lc}[init2bSyncButton]`;
     const btn = document.getElementById('btn-2b-sync') as HTMLButtonElement | null;
-    if (!btn) return;
-
-    btn.addEventListener('click', async () => {
-        try {
-            btn.disabled = true;
-            devLog('2B Sync: Executing senderCoordinator.sync(...) using WebSocket Peer...');
-
-            const domainI = debugState.domainI;
-            const targetX = debugState.targetX;
-            if (!domainI || !targetX) {
-                devLog('⚠ 2B Sync: Missing setup state. Please run Setup first.');
-                btn.disabled = false;
-                return;
-            }
-
-            const domainAddr = getIbGibAddr({ ibGib: domainI });
-            const metaspace = await getGlobalMetaspace_waitIfNeeded();
-            const space = await metaspace.getLocalUserSpace({});
-            if (!space) { throw new Error("No default space."); }
-
-            // Instantiate WebSocket sender peer
-            const protocol = location.protocol === 'https:' ? 'wss:' : 'ws:';
-            const senderPeer = new SyncPeerWebSocketSender_V1({
-                classname: 'SyncPeerWebSocketSender_V1',
-                httpEvolveUrl: `${location.protocol}//${location.host}/api/keystone/evolve/${encodeURIComponent(domainAddr)}`,
-                wsUrl: `${protocol}//${location.host}/api/sync/ws/${encodeURIComponent(domainAddr)}`
-            });
-
-            const coordinator = new SyncSagaCoordinator();
-            const sagaId = await getUUID();
-            debugState.sagaId = sagaId;
-            debugState.senderPeer = senderPeer;
-
-            await senderPeer.initializeOpts({
-                localMetaspace: metaspace,
-                localSpace: space,
-                senderIdentity: domainI,
-                fnSenderSecret: async () => debugState.domainIMasterSecret!,
-                sagaId,
-                sessionConnectPoolConfig: SESSION_KEYSTONE_POLICY.CONNECT_POOL as any,
-                sessionSyncPoolConfig: SESSION_KEYSTONE_POLICY.DEFAULT_POOL as any,
-                targetAddrs: [domainAddr]
-            });
-
-            try {
-                // Execute sync saga — triggers establishSessionIdentity and connectImpl internally!
-                const syncSaga = await coordinator.sync({
-                    domainIbGibs: [targetX],
-                    senderIdentity: domainI,
-                    fnSenderSecret: async () => debugState.domainIMasterSecret!,
-                    peer: senderPeer,
-                    localSpace: space,
-                    metaspace,
-                    conflictStrategy: 'optimisticWithLCS' as any
-                });
-                await syncSaga.done;
-            } catch (err) {
-                // connection/sync error is fine/expected right now since sync protocol (Phase 3) might be incomplete
-                devLog(`2B Sync: Coordinator sync executed (connect phase successfully run; subsequent sync errors expected in 2B): ${extractErrorMsg(err)}`);
-            }
-
-            devLog('✓ 2B Sync Execution Complete! Ready for State Checks.');
-            btn.textContent = '✓ 2B Sync Run';
-
-            // Enable check button
-            const checkBtn = document.getElementById('btn-2b-check') as HTMLButtonElement | null;
-            if (checkBtn) checkBtn.disabled = false;
-
-        } catch (error) {
-            devLog(`✗ 2B Sync FAILED: ${extractErrorMsg(error)}`);
-            console.error(`${lc_fn} 2B Sync error:`, error);
-            btn.disabled = false;
-        }
+    if (!btn) { return; }
+    btn.addEventListener('click', () => {
+        performPhaseSync({
+            phaseText: '2B',
+            btnId: 'btn-2b-sync',
+            nextBtnId: 'btn-2b-check',
+            expectSyncFailure: true,
+            failureMessageSuffix: 'connect phase successfully run; subsequent sync errors expected in 2B'
+        });
     });
 }
 
 function init2bCheckButton(): void {
     const lc_fn = `${lc}[init2bCheckButton]`;
     const btn = document.getElementById('btn-2b-check') as HTMLButtonElement | null;
-    if (!btn) return;
+    if (!btn) { return; }
 
     btn.addEventListener('click', async () => {
         try {
@@ -1070,7 +1003,7 @@ function init2bCheckButton(): void {
 
             // Enable Phase 3B setup
             const p3SetupBtn = document.getElementById('btn-3b-setup') as HTMLButtonElement | null;
-            if (p3SetupBtn) p3SetupBtn.disabled = false;
+            if (p3SetupBtn) { p3SetupBtn.disabled = false; }
 
         } catch (error) {
             devLog(`✗ 2B Check FAILED: ${extractErrorMsg(error)}`);
@@ -1079,20 +1012,186 @@ function init2bCheckButton(): void {
     });
 }
 
-function init3bPlaceholder(): void {
-    const btnSetup = document.getElementById('btn-3b-setup') as HTMLButtonElement | null;
-    const btnSync = document.getElementById('btn-3b-sync') as HTMLButtonElement | null;
-    const btnCheck = document.getElementById('btn-3b-check') as HTMLButtonElement | null;
+function init3bSetupButton(): void {
+    const btn = document.getElementById('btn-3b-setup') as HTMLButtonElement | null;
+    if (!btn) { return; }
+    btn.addEventListener('click', () => {
+        performPhaseSetup({
+            phaseText: '3B',
+            btnId: 'btn-3b-setup',
+            nextBtnId: 'btn-3b-sync',
+            masterSecret: 'test-sender-secret-phase3',
+            syncSalt: 'senderidentitysyncsaltphase3',
+            manageSalt: 'senderidentitymanagesaltphase3',
+            ib: 'test data 3b',
+            data: { hello: 'world3', random: Math.random() }
+        });
+    });
+}
 
-    if (btnSetup) {
-        btnSetup.addEventListener('click', () => devLog('3B Setup: Placeholders ready for Phase 3B (Transactional Sync).'));
-    }
-    if (btnSync) {
-        btnSync.addEventListener('click', () => devLog('3B Sync: Placeholders ready for Phase 3B (Transactional Sync).'));
-    }
-    if (btnCheck) {
-        btnCheck.addEventListener('click', () => devLog('3B Check: Placeholders ready for Phase 3B (Transactional Sync).'));
-    }
+function init3bSyncButton(): void {
+    const btn = document.getElementById('btn-3b-sync') as HTMLButtonElement | null;
+    if (!btn) { return; }
+    btn.addEventListener('click', () => {
+        performPhaseSync({
+            phaseText: '3B',
+            btnId: 'btn-3b-sync',
+            nextBtnId: 'btn-3b-check'
+        });
+    });
+}
+
+function init3bCheckButton(): void {
+    const lc_fn = `${lc}[init3bCheckButton]`;
+    const btn = document.getElementById('btn-3b-check') as HTMLButtonElement | null;
+    if (!btn) { return; }
+
+    btn.addEventListener('click', async () => {
+        try {
+            debugger; // allow for walkthrough 3B check
+            devLog('3B Check: Asserting cryptographic and WebSocket state expectations...');
+
+            const metaspace = await getGlobalMetaspace_waitIfNeeded();
+            const space = await metaspace.getLocalUserSpace({});
+            if (!space) { throw new Error("No default space."); }
+
+            const domainI = debugState.domainI!;
+            const targetX = debugState.targetX!;
+            const xAddr = getIbGibAddr({ ibGib: targetX });
+            const domainAddr = getIbGibAddr({ ibGib: domainI });
+
+            // 1. Assert Target X exists locally (with evolved timeline) and get latest local graph
+            const latestLocalXAddr = await metaspace.getLatestAddr({
+                addr: xAddr,
+                space
+            });
+            if (!latestLocalXAddr) {
+                devLog('✗ Check: Evolved target X NOT found in local space!');
+                return;
+            }
+            devLog(`✓ Check: Evolved target X found locally at: ${latestLocalXAddr}`);
+
+            const localXGraph = await metaspace.getDependencyGraph({
+                ibGibAddr: latestLocalXAddr,
+                space
+            });
+            if (!localXGraph || Object.keys(localXGraph).length === 0) {
+                devLog('✗ Check: Failed to load target X dependency graph locally.');
+                return;
+            }
+            devLog(`✓ Check: Target X local graph loaded (${Object.keys(localXGraph).length} nodes).`);
+
+            // 2. Fetch server's Target X graph via API bridge
+            const apiBridge = new SpaceGibApiBridge();
+            const serverGetRes = await apiBridge.getIbGibGraph(domainAddr, xAddr, true);
+            if (!serverGetRes.success || !serverGetRes.graph) {
+                devLog(`✗ Check: Failed to fetch target X graph from server: ${serverGetRes.message}`);
+                return;
+            }
+            const serverXGraph = serverGetRes.graph;
+            devLog(`✓ Check: Target X server graph loaded (${Object.keys(serverXGraph).length} nodes).`);
+
+            // 3. Verify graphs are equivalent using graphsAreEquivalent
+            const equal = graphsAreEquivalent({ graphA: localXGraph, graphB: serverXGraph });
+            if (equal) {
+                devLog('✓ Check: Target X dependency graphs are equivalent on client and server.');
+            } else {
+                devLog('✗ Check: Target X dependency graphs mismatch between client and server!');
+                return;
+            }
+
+            // 4. Assert evolved sender identity I1 exists locally and on server
+            const latestLocalIAddr = await metaspace.getLatestAddr({
+                addr: domainAddr,
+                space
+            });
+            if (!latestLocalIAddr) {
+                devLog('✗ Check: Evolved domain keystone tip I1 NOT found in local space!');
+                return;
+            }
+            devLog(`✓ Check: Evolved Domain Keystone (I1) exists locally.`);
+
+            const getRes = await metaspace.get({ addrs: [latestLocalIAddr], space });
+            const localI = getRes.ibGibs?.[0] as KeystoneIbGib_V1 | undefined;
+            if (!localI) {
+                devLog('✗ Check: Failed to load I1 from local space.');
+                return;
+            }
+
+            const syncProof = localI.data?.proofs?.find(p => p.claim?.verb === 'sync');
+            const sessionIdentityTjpAddr = syncProof?.claim?.target;
+            if (!sessionIdentityTjpAddr) {
+                devLog('✗ Check: I1 sync claim does not target a session keystone.');
+                return;
+            }
+
+            const serverIGetRes = await apiBridge.getIbGib(domainAddr, latestLocalIAddr);
+            if (!serverIGetRes.success || !serverIGetRes.ibGib) {
+                devLog(`✗ Check: Evolved Domain Keystone (I1) NOT found on server!`);
+                return;
+            }
+            devLog(`✓ Check: Evolved Domain Keystone (I1) exists on server.`);
+
+            // 5. Assert session identity S tip exists locally and on server
+            const latestLocalSAddr = await metaspace.getLatestAddr({
+                addr: sessionIdentityTjpAddr,
+                space
+            });
+            if (!latestLocalSAddr) {
+                devLog('✗ Check: Latest Session Keystone (S) NOT found in local space.');
+                return;
+            }
+            devLog(`✓ Check: Found latest session keystone (S) locally: ${latestLocalSAddr}`);
+
+            const localSRes = await metaspace.get({ addrs: [latestLocalSAddr], space });
+            const sessionS = localSRes.ibGibs?.[0] as KeystoneIbGib_V1 | undefined;
+            if (!sessionS) {
+                devLog('✗ Check: Failed to load latest Session Keystone (S) locally.');
+                return;
+            }
+
+            // Verify S evolved to correct n (n === 3 or 4)
+            const n = sessionS.data?.n;
+            devLog(`✓ Check: S tip evolved to n = ${n}.`);
+            if (n !== 3 && n !== 4) {
+                devLog(`⚠ Check: Expected S to evolve to n = 3 or 4, got n = ${n}. Continuing anyway...`);
+            }
+
+            const serverSGetRes = await apiBridge.getIbGib(domainAddr, latestLocalSAddr);
+            if (!serverSGetRes.success || !serverSGetRes.ibGib) {
+                devLog(`✗ Check: Latest Session Keystone (S) NOT found on server!`);
+                return;
+            }
+            devLog(`✓ Check: Latest Session Keystone (S) exists on server.`);
+
+            // 6. Assert S graph is identical on client and server
+            const localSGraph = await metaspace.getDependencyGraph({
+                ibGibAddr: latestLocalSAddr,
+                space
+            });
+            const serverSGetGraphRes = await apiBridge.getIbGibGraph(domainAddr, sessionIdentityTjpAddr, true);
+            if (!serverSGetGraphRes.success || !serverSGetGraphRes.graph) {
+                devLog(`✗ Check: Failed to fetch session S graph from server: ${serverSGetGraphRes.message}`);
+                return;
+            }
+            const serverSGraph = serverSGetGraphRes.graph;
+
+            const sGraphsEqual = graphsAreEquivalent({ graphA: localSGraph, graphB: serverSGraph });
+            if (sGraphsEqual) {
+                devLog('✓ Check: Session Keystone (S) dependency graphs are equivalent on client and server.');
+            } else {
+                devLog('✗ Check: Session Keystone (S) dependency graphs mismatch between client and server!');
+                return;
+            }
+
+            devLog('🎉 ALL PHASE 3B TRANSACTION SYNC CHECKS PASSED FLAWLESSLY! ✓');
+            btn.textContent = '✓ 3B All Passed';
+
+        } catch (error) {
+            devLog(`✗ 3B Check FAILED: ${extractErrorMsg(error)}`);
+            console.error(`${lc_fn} 3B Check error:`, error);
+        }
+    });
 }
 
 // ---------------------------------------------------------------------------
@@ -1118,7 +1217,9 @@ export function initDevTools(): void {
         init2bSetupButton();
         init2bSyncButton();
         init2bCheckButton();
-        init3bPlaceholder();
+        init3bSetupButton();
+        init3bSyncButton();
+        init3bCheckButton();
     } catch (error) {
         console.error(`${lc_fn} ${extractErrorMsg(error)}`);
     }