@ibgib/core-gib 0.1.26 → 0.1.28

package/src/sync/sync-saga-coordinator.mts

@@ -19,21 +19,26 @@ import { putInSpace, getLatestAddrs, getFromSpace } from "../witness/space/space
 import { KeystoneIbGib_V1 } from "../keystone/keystone-types.mjs";
 import { KeystoneService_V1 } from "../keystone/keystone-service-v1.mjs";
 import { MetaspaceService } from "../witness/space/metaspace/metaspace-types.mjs";
-import { SyncStage, SYNC_ATOM, SYNC_MSG_REL8N_NAME, SYNC_SAGA_PAYLOAD_ADDRS_DOMAIN } from "./sync-constants.mjs";
-import { appendToTimeline, createTimeline, getHistory, Rel8nInfo, Rel8nRemovalInfo } from "../timeline/timeline-api.mjs";
+import {
+    SyncStage, SYNC_ATOM, SYNC_MSG_REL8N_NAME, SYNC_SAGA_PAYLOAD_ADDRS_DOMAIN,
+} from "./sync-constants.mjs";
+import {
+    appendToTimeline, createTimeline, Rel8nInfo, Rel8nRemovalInfo
+} from "../timeline/timeline-api.mjs";
 import {
     SyncData_V1, SyncIbGib_V1, SyncConflictStrategy, SyncMode, SyncOptions,
     SyncRel8ns_V1, DomainIbGibAnalysisInfo, NextSagaFrameInfo,
-    SYNC_CONFLICT_STRATEGY_VALID_VALUES,
-    HandleSagaResponseContextResult,
+    SYNC_CONFLICT_STRATEGY_VALID_VALUES, HandleSagaResponseContextResult,
+    SyncExecutionContext,
+    SYNC_EXECUTION_CONTEXT_VALID_VALUES,
+    SyncSagaFrameDependencyGraph,
 } from "./sync-types.mjs";
-import { getSyncIb, getTempSpaceName, isPastFrame } from "./sync-helpers.mjs";
+import { getExecutionContext, getFullSyncSagaHistory, getSyncIb, getTempSpaceName, isPastFrame, putInSpace_dnasThenNonDnas, validateFullSyncSagaHistory } from "./sync-helpers.mjs";
 import { getDeltaDependencyGraph, getDependencyGraph, toFlatGraph } from "../common/other/graph-helper.mjs";
 import {
     SyncSagaMessageData_V1, SyncSagaMessageInitData_V1,
     SyncSagaMessageAckData_V1, SyncSagaMessageDeltaData_V1,
-    SyncSagaMessageCommitData_V1, SyncSagaConflictInfo,
-    SyncSagaPushOfferInfo,
+    SyncSagaMessageCommitData_V1, SyncSagaConflictInfo, SyncSagaPushOfferInfo,
     SyncSagaRequestAddrInfo,
 } from "./sync-saga-message/sync-saga-message-types.mjs";
 import { getSyncSagaMessageIb } from "./sync-saga-message/sync-saga-message-helpers.mjs";
@@ -49,14 +54,12 @@ import { mergeDivergentTimelines } from "./strategies/conflict-optimistic.mjs";
 import { getSyncSagaMessageFromFrame } from "./sync-saga-message/sync-saga-message-helpers.mjs";
 import { fnObs } from "../common/pubsub/observer/observer-helper.mjs";
 import { ErrorIbGib_V1 } from "../common/error/error-types.mjs";
-import {
-    IbGibSpaceResultData, IbGibSpaceResultIbGib, IbGibSpaceResultRel8ns
-} from "../witness/space/space-types.mjs";
+import { IbGibSpaceResultData, IbGibSpaceResultIbGib, IbGibSpaceResultRel8ns } from "../witness/space/space-types.mjs";
 import { FlatIbGibGraph } from "../common/other/graph-types.mjs";
 
 
 // const logalot = GLOBAL_LOG_A_LOT || true;
-const logalot = false;
+const logalot = true;
 const logalotControlDomain = true;
 const lcControlDomain = '[ControlDomain]';
 
@@ -74,10 +77,10 @@ const lcControlDomain = '[ControlDomain]';
  * to a specific Saga session, not fixed node identities.
  */
 export class SyncSagaCoordinator {
-    protected lc: string = `[${SyncSagaCoordinator.name}]`;
+    private lc: string = `[${SyncSagaCoordinator.name}]`;
 
     constructor(
-        protected keystone: KeystoneService_V1
+        private keystone: KeystoneService_V1
     ) {
 
     }
@@ -202,7 +205,7 @@ export class SyncSagaCoordinator {
      * @returns next context result if another round, else if commit returns
      * null
      */
-    public async receiverContinueSync({
+    public async continueSync({
         sagaContext,
         mySpace,
         myTempSpace,
@@ -223,7 +226,7 @@ export class SyncSagaCoordinator {
         identitySecret?: string,
         metaspace: MetaspaceService,
     }): Promise<SyncSagaContextIbGib_V1 | null> {
-        const lc = `${this.lc}[${this.receiverContinueSync.name}]`;
+        const lc = `${this.lc}[${this.continueSync.name}]`;
         try {
             if (logalot) { console.log(`${lc} starting... (I: f64e08bf77d1425378601f380384ec26)`); }
 
@@ -238,7 +241,11 @@ export class SyncSagaCoordinator {
 
             if (!contextResult) {
                 if (logalot) { console.log(`${lc} Handler returned null (Saga End). (I: 43da8bb6c846b1fe7766332643be0e26)`); }
-                return null;
+                // does this ever hit now?
+                return null; /* <<<< returns early */
+            } else if (contextResult.nextFrameInfo?.sagaComplete) {
+                // this is the current proper workflow I believe as of 01/22/2026
+                return null; /* <<<< returns early */
             }
 
             // #region error conditions throw
@@ -246,8 +253,6 @@ export class SyncSagaCoordinator {
                 throw new Error(`Couldn't handle response saga context. errorMsg: ${contextResult.errorMsg} (E: 7b41a183cf3cb58a5859c803800cf826)`);
             } else if (!contextResult.nextFrameInfo) {
                 throw new Error(`(UNEXPECTED) contextResult.nextFrameInfo falsy? (E: 5740542f5eb8ccb41dfec188d87c1e26)`);
-            } else if (contextResult.nextFrameInfo?.responseWasNull) {
-                throw new Error(`(UNEXPECTED) contextResult.nextFrameInfo.responseWasNull? logic flow should not have gotten here. (E: ae06748d8c0c5e70c92322c8fb0cb426)`);
             }
             // #endregion error conditions throw
 
@@ -276,7 +281,7 @@ export class SyncSagaCoordinator {
         }
     }
 
-    protected async getSessionIdentity({
+    private async getSessionIdentity({
         sagaId,
         metaspace,
         tempSpace,
@@ -327,7 +332,7 @@ export class SyncSagaCoordinator {
      * the NEXT request context.
      * When the Peer responds with data (in the response context), it is resolved and put into `tempSpace`.
      */
-    protected async executeSagaLoop({
+    private async executeSagaLoop({
         initFrame,
         initDomainGraph,
         peer,
@@ -509,8 +514,8 @@ export class SyncSagaCoordinator {
                 throw new Error(`Couldn't handle response saga context. errorMsg: ${contextResult.errorMsg} (E: c948e81d513b2a0eb8b8afa878edc626)`);
             } else if (!contextResult.nextFrameInfo) {
                 throw new Error(`(UNEXPECTED) contextResult.nextFrameInfo falsy? (E: c287a82e823e662a77923278e2418826)`);
-            } else if (contextResult.nextFrameInfo?.responseWasNull) {
-                throw new Error(`(UNEXPECTED) contextResult.nextFrameInfo.responseWasNull? logic flow should not have gotten here. (E: 104a32381db816b7183435e805b3d626)`);
+            } else if (contextResult.nextFrameInfo?.sagaComplete) {
+                throw new Error(`(UNEXPECTED) contextResult.nextFrameInfo.sagaComplete? logic flow should not have gotten here. (E: 104a32381db816b7183435e805b3d626)`);
             }
             // #endregion error conditions throw
 
@@ -608,7 +613,7 @@ export class SyncSagaCoordinator {
         }
     }
 
-    protected async analyzeDomainIbGibs({
+    private async analyzeDomainIbGibs({
         domainIbGibs,
         space,
     }: {
@@ -654,7 +659,7 @@ export class SyncSagaCoordinator {
      * Generates the first frame containing the Knowledge Vector of the Local Space.
      * This is sent to the Receiver to begin Gap Analysis.
      */
-    protected async createInitFrame({
+    private async createInitFrame({
         sagaId,
         sessionIdentity,
         domainIbGibs,
@@ -720,7 +725,7 @@ export class SyncSagaCoordinator {
                 localSpace,
             });
 
-            // if (logalot) { console.log(`${lc} sagaFrame (init): ${pretty(sagaFrame)} (I: b3d6a8be69248f18713cc3073cb08626)`); }
+            if (logalot) { console.log(`${lc} sagaFrame (init): ${pretty(sagaFrame)} (I: b3d6a8be69248f18713cc3073cb08626)`); }
 
             return { initFrame: sagaFrame, initDomainGraph: fullGraph };
         } catch (error) {
@@ -737,7 +742,7 @@ export class SyncSagaCoordinator {
      *
      * @returns when all {@link expectedAddrs} are done being transmitted.
      */
-    protected async pollForDomainPayloads({
+    private async pollForDomainPayloads({
         expectedAddrs,
         pollIntervalMs,
         domainPayloadsMap,
@@ -822,7 +827,7 @@ export class SyncSagaCoordinator {
      *
      * This is a one-off on the receiver.
      */
-    public async handleResponseSagaContext({
+    private async handleResponseSagaContext({
         sagaContext,
         initDomainGraph,
         mySpace,
@@ -860,7 +865,7 @@ export class SyncSagaCoordinator {
             if (logalot) { console.log(`${lc} sagaIbGib: ${pretty(sagaIbGib)} (I: 1b99d87d262e9d18d8a607a80b1a0126)`); }
 
             // Get Stage from Stone (or Frame for Init fallback)
-            const { stage, messageData } = await this.getStageAndPayloadFromFrame({ sagaFrame: sagaIbGib, space: myTempSpace });
+            const { stage, messageData } = await this.getStageAndPayloadFromFrame({ sagaFrame: sagaIbGib, space: mySpace });
 
             if (logalot) { console.log(`${lc} handling frame stage: ${stage}`); }
 
@@ -875,39 +880,44 @@ export class SyncSagaCoordinator {
                     nextFrameInfo = await this.handleInitFrame({
                         sagaIbGib,
                         messageData: messageData as SyncSagaMessageInitData_V1,
-                        metaspace,
-                        mySpace: mySpace,
-                        myTempSpace: myTempSpace,
-                        identity,
-                        identitySecret
+                        metaspace, mySpace, myTempSpace,
+                        identity, identitySecret
                     });
                     break;
 
                 case SyncStage.ack:
                     if (!initDomainGraph) { throw new Error(`(UNEXPECTED) initDomainGraph falsy on the sender? (E: a3d758ad954829aba88663188eafc826)`); }
                     nextFrameInfo = await this.handleAckFrame({
+                        sagaContext,
                         sagaIbGib,
-                        srcGraph,
                         initDomainGraph,
-                        metaspace,
-                        destSpace: mySpace,
-                        tempSpace: myTempSpace,
+                        metaspace, mySpace, myTempSpace,
                         identity,
                     });
                     break;
 
                 case SyncStage.delta:
-                    nextFrameInfo = await this.handleDeltaFrame({ sagaIbGib, srcGraph, metaspace, destSpace: mySpace, tempSpace: myTempSpace, identity, });
+                    nextFrameInfo = await this.handleDeltaFrame({
+                        sagaContext,
+                        sagaIbGib,
+                        srcGraph,
+                        metaspace,
+                        mySpace,
+                        myTempSpace,
+                        identity,
+                    });
                     break;
 
                 case SyncStage.commit:
-                    nextFrameInfo = await this.handleCommitFrame({ sagaIbGib, metaspace, destSpace: mySpace, tempSpace: myTempSpace, identity, });
+                    nextFrameInfo = await this.handleCommitFrame({ sagaIbGib, metaspace, mySpace: mySpace, myTempSpace: myTempSpace, identity, });
                     break;
 
                 default:
                     throw new Error(`${lc} (UNEXPECTED) Unknown sync stage: ${stage} (E: 9c2b4c8a6d34469f8263544710183355)`);
             }
 
+            if (logalot) { console.log(`${lc} nextFrameInfo: ${nextFrameInfo ? pretty(nextFrameInfo) : 'undefined'} (I: a8ad281ca8e89385686d18327a105726)`); }
+
             return { errorMsg: undefined, nextFrameInfo, }
 
         } catch (error) {
@@ -930,10 +940,10 @@ export class SyncSagaCoordinator {
      * The Receiver performs Gap Analysis here:
      * 1.  Compares Sender's Knowledge Vector (in `sagaIbGib`) vs Receiver's Local KV.
      * 2.  Identifies what Sender needs (`pushOfferAddrs`).
-     * 3.  Identifies what Receiver needs (`deltaReqAddrs`).
+     * 3.  Identifies what Receiver needs (`deltaRequestAddrInfos`).
      * 4.  Returns an `Ack` frame containing these lists.
      */
-    protected async handleInitFrame({
+    private async handleInitFrame({
         sagaIbGib,
         messageData,
         mySpace,
@@ -1183,7 +1193,7 @@ export class SyncSagaCoordinator {
 
             const ackStone = await this.createSyncMsgStone({
                 data: ackData,
-                localSpace: myTempSpace,
+                localSpace: mySpace,
                 metaspace,
             });
             if (logalot) { console.log(`${lc} ackStone created: ${pretty(ackStone)} (I: 313708132dd53ff946befb7833657826)`); }
@@ -1274,22 +1284,29 @@ export class SyncSagaCoordinator {
      * **Execution Context**: **Sender (Local)**.
      *
      * The Sender reacts to the Receiver's requirements:
-     * 1.  `deltaReqAddrs`: Receiver wants this data. Sender gathers it from `srcGraph` and puts it in `payloadIbGibs` (for next frame).
-     * 2.  `pushOfferAddrs`: Receiver has newer data. Sender acknowledges and adds them to `requests` (asking Receiver to send them).
+     * 1. `deltaRequestAddrInfos`: Receiver wants this data. Sender takes this
+     *    into account, plus gathers it from `initDomainGraph` and puts them in
+     *    `payloadIbGibs` (for next frame).
+     * 2. `pushOfferAddrs`: Receiver has newer data. these should have been
+     *    included in the incoming context from the receiver..
      *
      * Returns a `Delta` frame.
      */
-    protected async handleAckFrame({
+    private async handleAckFrame({
+        sagaContext,
         sagaIbGib,
-        srcGraph,
         initDomainGraph,
-        destSpace,
-        tempSpace,
-        metaspace,
+        mySpace, myTempSpace, metaspace,
         identity,
     }: {
+        /**
+         * todo: figure out if we need to do something about incoming push offer payload domain ibgibs
+         * I'm adding this because we should be checking incoming payloads
+         * right? for push offers? This is when the receiver had new ibgibs.
+         * Not sure if I need to put this here though...
+         */
+        sagaContext: SyncSagaContextIbGib_V1,
         sagaIbGib: SyncIbGib_V1,
-        srcGraph: { [addr: string]: IbGib_V1 },
         /**
          * This is the initial dependency graph of all domain ibgibs passed in
          * to the original {@link sync} call.
@@ -1297,8 +1314,8 @@ export class SyncSagaCoordinator {
          * if we're executing on the sender, this will be populated
          */
         initDomainGraph: FlatIbGibGraph,
-        destSpace: IbGibSpaceAny,
-        tempSpace: IbGibSpaceAny,
+        mySpace: IbGibSpaceAny,
+        myTempSpace: IbGibSpaceAny,
         metaspace: MetaspaceService,
         identity?: KeystoneIbGib_V1,
     }): Promise<NextSagaFrameInfo> {
@@ -1306,9 +1323,10 @@ export class SyncSagaCoordinator {
         try {
             if (logalot) { console.log(`${lc} starting... (I: 605b6860e898267a5b50c6d85704be26)`); }
 
-            const { messageData, } = await this.getStageAndPayloadFromFrame({ sagaFrame: sagaIbGib, space: tempSpace });
+            const { messageData, } = await this.getStageAndPayloadFromFrame({ sagaFrame: sagaIbGib, space: mySpace });
             const ackData = messageData as SyncSagaMessageAckData_V1;
 
+            // #region sanity/validation
             if (!ackData) {
                 throw new Error(`${lc} ackData falsy (E: 3b8415edc876084c88a25b98e2d55826)`);
             }
@@ -1316,6 +1334,8 @@ export class SyncSagaCoordinator {
                 throw new Error(`${lc} Invalid ack frame: ackData.stage !== SyncStage.ack (E: 2e8b0a94b5954a66a6a1a7a0b3f5b7a1)`);
             }
             if (logalot) { console.log(`${lc} ackData: ${pretty(ackData)} (I: 7f8e9d0a1b2c3d4e5f6g7h8i9j0k)`); }
+            if (!sagaIbGib.data) { throw new Error(`(UNEXPECTED) sagaIbGib.data falsy? (E: 385e389610282aa9c5dbe4083adbde26)`); }
+            // #region sanity/validation
 
             // 1. Check for Conflicts
             const conflicts = ackData.conflicts || [];
@@ -1334,7 +1354,12 @@ export class SyncSagaCoordinator {
 
             // at this point, if we have conflicts, they are non-terminal
 
-            const mergeDeltaReqs: string[] = []; // Additional requests for merging
+            /**
+             * at this point, we only request ibgibs for conflicted timelines.
+             * If the receiver had known of any ibgibs this sender needed, it
+             * would have been in the push offer.
+             */
+            const outgoingDeltaAddrRequestInfos: SyncSagaRequestAddrInfo[] = []; // Additional requests for merging
 
             if (conflicts.length > 0) {
                 console.log(`${lc} [CONFLICT DEBUG] Processing ${conflicts.length} non-terminal conflicts`);
@@ -1346,8 +1371,8 @@ export class SyncSagaCoordinator {
                 // 4. (Later in Delta Phase) Perform Merge.
 
                 // BUT: The Delta Phase is usually generic "Send me these Addrs".
-                // If we just add to `deltaReqAddrs` (which are requests for Sender to send to Receiver?),
-                // wait. `ackData.deltaReqAddrs` are what RECEIVER wants from SENDER.
+                // If we just add to `deltaRequestAddrInfos` (which are requests for Sender to send to Receiver?),
+                // wait. `ackData.deltaRequestAddrInfos` are what RECEIVER wants from SENDER.
 
                 // We (Sender) are processing the Ack.
                 // We need to request data FROM Receiver.
@@ -1375,6 +1400,7 @@ export class SyncSagaCoordinator {
 
                     throw new Error(`conflicts not (re)implemented yet (E: 3b7d0819f83842a6de3ae988819bc826)`);
 
+
                     // const { timelineAddrs, localAddr: receiverTip, remoteAddr: senderTip } = conflict;
 
                     // // Sender History
@@ -1432,8 +1458,8 @@ export class SyncSagaCoordinator {
                     //     // For each receiver-only frame, get its DELTA dependency graph (minus LCA deps)
                     //     for (const addr of receiverOnlyAddrs) {
                     //         // Add the frame itself first
-                    //         if (!mergeDeltaReqs.includes(addr)) {
-                    //             mergeDeltaReqs.push(addr);
+                    //         if (!outgoingDeltaAddrRequestInfos.includes(addr)) {
+                    //             outgoingDeltaAddrRequestInfos.push(addr);
                     //         }
 
                     //         // Get the frame's delta dependencies (skip LCA's deps)
@@ -1452,8 +1478,8 @@ export class SyncSagaCoordinator {
                     //                 if (frameDeltaDeps) {
                     //                     // Add all delta dependencies (Object.keys gives us the addresses)
                     //                     Object.keys(frameDeltaDeps).forEach(depAddr => {
-                    //                         if (!mergeDeltaReqs.includes(depAddr) && !skipAddrsSet.has(depAddr)) {
-                    //                             mergeDeltaReqs.push(depAddr);
+                    //                         if (!outgoingDeltaAddrRequestInfos.includes(depAddr) && !skipAddrsSet.has(depAddr)) {
+                    //                             outgoingDeltaAddrRequestInfos.push(depAddr);
                     //                         }
                     //                     });
                     //                 }
@@ -1463,119 +1489,59 @@ export class SyncSagaCoordinator {
                     //         }
                     //     }
 
-                    //     console.log(`${lc} [CONFLICT DEBUG] Total merge requests (frames + delta deps): ${mergeDeltaReqs.length}`);
+                    //     console.log(`${lc} [CONFLICT DEBUG] Total merge requests (frames + delta deps): ${outgoingDeltaAddrRequestInfos.length}`);
                     // } else {
                     //     console.log(`${lc} [CONFLICT DEBUG] No receiver-only frames found for this conflict`);
                     // }
                 }
 
-                console.log(`${lc} [CONFLICT DEBUG] Finished processing ${conflicts.length} conflicts. mergeDeltaReqs: ${mergeDeltaReqs.length}`);
+                console.log(`${lc} [CONFLICT DEBUG] Finished processing ${conflicts.length} conflicts. outgoingDeltaAddrRequestInfos: ${outgoingDeltaAddrRequestInfos.length}`);
             } else {
                 console.log(`${lc} [CONFLICT DEBUG] No optimistic conflicts to process`);
             }
 
             // 2. Prepare Delta Payload (What Receiver Requesting + Our Conflict Logic)
 
-            const deltaReqAddrs = ackData.deltaRequestAddrInfos || [];
-            const pushOfferAddrs = ackData.pushOfferInfos || [];
-
-            // 1. Process Push Offers (Pull Requests) (Naive: Accept all if missing)
-            const pullReqAddrs: string[] = [];
-            for (const addr of pushOfferAddrs) {
-                // const existing = srcGraph[addr] || (await getFromSpace({ addr, space: destSpace })).ibGibs?.[0];
-                // if (!existing) {
-                //     pullReqAddrs.push(addr);
-                // }
-            }
-
-            // 2. Process Delta Requests (Push Payload)
-            // [NEW] Smart Diff: Use knowledgeVector to skip dependencies
-            // const useThisFunction = getDeltaDependencyGraph({ ibGibAddr: '', latestCommonFrameAddr: '', space: })
-            const skipAddrs = new Set<string>();
-            if (ackData.knowledgeVector) {
-                Object.values(ackData.knowledgeVector).forEach(addrs => {
-                    // addrs.forEach(a => skipAddrs.add(a));
-                });
-            }
-
-            const payloadIbGibs: IbGib_V1[] = [];
-            // Gather all tips to sync first
-            const tipsToSync: IbGib_V1[] = [];
-            for (const addr of deltaReqAddrs) {
-                // let ibGib = srcGraph[addr];
-                // if (!ibGib) {
-                //     const res = await getFromSpace({ addr, space: destSpace });
-                //     if (res.ibGibs && res.ibGibs.length > 0) {
-                //         ibGib = res.ibGibs[0];
-                //     }
-                // }
-                // if (ibGib) {
-                //     tipsToSync.push(ibGib);
-                // } else {
-                //     throw new Error(`${lc} Requested addr not found: ${addr} (E: d41d59cff4a887f6414c3e92eabd8e26)`);
-                // }
-            }
-
-            // Calculate Dependency Graph for ALL tips, effectively utilizing common history
-            // Pass skipAddrs to `getDependencyGraph` or gather manually.
-            // `getDependencyGraph` takes a single ibGib.
-            // We can optimize by doing it for each tip and unioning the result?
-            // Or `graph-helper` could support `ibGibs: []`. It currently takes `ibGib`.
-            // We will loop.
-
-            const allDepsSet = new Set<string>();
-
-            for (const tip of tipsToSync) {
-                // Always include the tip itself
-                const tipAddr = getIbGibAddr({ ibGib: tip });
-                // Only process if not skipped (though deltaReq implies they barely just asked for it)
-                // But detailed deps might be skipped.
-
-                // Get Graph with Skips
-                // Logic: "Give me everything related to Tip, EXCEPT X, Y, Z"
-                const deps = await getDependencyGraph({
-                    ibGib: tip,
-                    space: destSpace,
-                    skipAddrs: Array.from(skipAddrs)
-                });
-
-                // [FIX] Ensure Tip is included if not in deps (e.g. constant with no rel8ns)
-                let tipIncluded = false;
-
-                if (deps) {
-                    Object.values(deps).forEach(d => {
-                        const dAddr = getIbGibAddr({ ibGib: d });
-                        if (!allDepsSet.has(dAddr)) {
-                            allDepsSet.add(dAddr);
-                            payloadIbGibs.push(d);
-                        }
-                        if (dAddr === tipAddr) { tipIncluded = true; }
-                    });
-                }
-
-                if (!tipIncluded && !skipAddrs.has(tipAddr)) {
-                    if (logalot) { console.log(`${lc} Tip not in deps, adding explicitly: ${tipAddr}`); }
-                    if (!allDepsSet.has(tipAddr)) {
-                        allDepsSet.add(tipAddr);
-                        payloadIbGibs.push(tip);
-                    }
-                }
-            }
+            /**
+             * these were requested addrs on the INCOMING frame (the ack data).
+             *
+             * This is in contrast to any OUTGOING requests we make in this
+             * method.
+             */
+            const payloadIbGibsDomain = await this.getPayloadsForRequestedInfos({
+                deltaRequestAddrInfos: ackData.deltaRequestAddrInfos || [],
+                mySpace,
+            });
 
             // 3. Create Delta Frame
-            const sagaId = ackData.sagaId;
             const deltaData: SyncSagaMessageDeltaData_V1 = {
-                sagaId: sagaIbGib.data!.uuid,
+                sagaId: sagaIbGib.data.uuid,
                 stage: SyncStage.delta,
-                payloadAddrs: payloadIbGibs.map(p => getIbGibAddr({ ibGib: p })),
-                requests: [...(pullReqAddrs || []), ...(mergeDeltaReqs || [])].length > 0 ? [...(pullReqAddrs || []), ...(mergeDeltaReqs || [])] : undefined,
+                /**
+                 * we're sending these domain ibgibs as payload (they were
+                 * requested by receiver)
+                 */
+                payloadAddrsDomain: payloadIbGibsDomain.length > 0 ?
+                    payloadIbGibsDomain.map(x => getIbGibAddr({ ibGib: x })) :
+                    undefined,
+                /**
+                 * we're asking for these addrs
+                 */
+                deltaRequestAddrInfos: outgoingDeltaAddrRequestInfos.length > 0 ?
+                    outgoingDeltaAddrRequestInfos :
+                    undefined,
+                /**
+                 * if we have no changes and request none, propose commit to
+                 * finish the sync transaction.
+                 */
+                proposeCommit: payloadIbGibsDomain.length === 0 && outgoingDeltaAddrRequestInfos.length === 0,
             };
 
             if (logalot) { console.log(`${lc} Creating Delta Stone. Data stage: ${deltaData.stage}`); }
 
             const deltaStone = await this.createSyncMsgStone({
                 data: deltaData,
-                localSpace: tempSpace,
+                localSpace: mySpace,
                 metaspace,
             });
 
@@ -1583,7 +1549,7 @@ export class SyncSagaCoordinator {
                 prevSagaIbGib: sagaIbGib,
                 msgStones: [deltaStone],
                 sessionIdentity: identity,
-                localSpace: tempSpace,
+                localSpace: mySpace,
                 metaspace,
             });
 
@@ -1593,9 +1559,7 @@ export class SyncSagaCoordinator {
             const payloadIbGibsControl: IbGib_V1[] = [deltaFrame, deltaStone];
             if (identity) { payloadIbGibsControl.push(identity); }
 
-            // return { frame: deltaFrame, payloadIbGibsControl, payloadIbGibsDomain: payloadIbGibs };
-            // return { frame: deltaFrame, payloadIbGibsDomain: payloadIbGibs };
-            throw new Error(`not implemented (E: 62e1e2a408e8bfa2982b2f87e8843826)`);
+            return { frame: deltaFrame, payloadIbGibsDomain, };
         } catch (error) {
             console.error(`${lc} ${extractErrorMsg(error)}`);
             throw error;
@@ -1614,389 +1578,550 @@ export class SyncSagaCoordinator {
      * 2.  **Fulfillment**: Checks `requests`. If Peer requested data, gathers it and prepares `outgoingPayload`.
      * 3.  **Completion**: If no more requests, transitions to `Commit`.
      */
-    protected async handleDeltaFrame({
+    private async handleDeltaFrame({
+        sagaContext,
         sagaIbGib,
         srcGraph,
-        destSpace,
-        tempSpace,
+        mySpace,
+        myTempSpace,
         metaspace,
         identity,
     }: {
+        sagaContext: SyncSagaContextIbGib_V1,
         sagaIbGib: SyncIbGib_V1,
         srcGraph: { [addr: string]: IbGib_V1 },
-        destSpace: IbGibSpaceAny,
-        tempSpace: IbGibSpaceAny,
+        mySpace: IbGibSpaceAny,
+        myTempSpace: IbGibSpaceAny,
         metaspace: MetaspaceService,
         identity?: KeystoneIbGib_V1,
     }): Promise<NextSagaFrameInfo> {
         const lc = `${this.lc}[${this.handleDeltaFrame.name}]`;
-        if (logalot) { console.log(`${lc} starting...`); }
-
-        const { messageData } = await this.getStageAndPayloadFromFrame({ sagaFrame: sagaIbGib, space: tempSpace });
-        const deltaData = messageData as SyncSagaMessageDeltaData_V1;
-
-        if (!deltaData) {
-            throw new Error(`${lc} deltaData falsy (E: 7c28c8d8f08a4421b8344e6727271421)`);
-        }
-        if (deltaData.stage !== SyncStage.delta) {
-            throw new Error(`${lc} Invalid delta frame: deltaData.stage !== SyncStage.delta (E: 0c28c8d8f08a4421b8344e6727271421)`);
-        }
-        if (logalot) { console.log(`${lc} deltaData: ${pretty(deltaData)} (I: a76008681df458cfbcdc4848f825a826)`); }
-
-        console.log(`${lc} [CONFLICT DEBUG] deltaData.payloadAddrs count: ${deltaData.payloadAddrs?.length || 0}`);
-
-        const payloadAddrs = deltaData.payloadAddrs || [];
-        const peerRequests = deltaData.requests || [];
-        const peerProposesCommit = deltaData.proposeCommit || false;
-
-        // 1. Process Received Payload (Ingest)
-        const receivedPayloadIbGibs: IbGib_V1[] = [];
-        if (payloadAddrs.length > 0) {
-            // We use `payloadAddrs` as the manifest.
-            // The ACTUAL collection of ibGibs should be available via `getFromSpace`
-            // assuming the "Transport" layer put them there implicitly?
-            // OR, if we are local-only, we just get them.
-            // The `handleDeltaFrame` contract assumes data is reachable in `space`.
-
-            const res = await getFromSpace({
-                addrs: payloadAddrs,
-                space: tempSpace, // Incoming data is in tempSpace
-            });
-            if (res.ibGibs) {
-                receivedPayloadIbGibs.push(...res.ibGibs);
-                // Also put them? `getFromSpace` retrieves. If they are in space, they are persisted.
-                // If this is a Temp Space, they are safe.
-            } else {
-                console.warn(`${lc} Failed to retrieve payloads listed in delta: ${payloadAddrs.join(', ')}`);
-            }
-        }
+        try {
+            if (logalot) { console.log(`${lc} starting... (I: a1d0a85eb4189466f86dfd61e3df2626)`); }
 
-        // 2. Fulfill Peer Requests (Outgoing Payload with Delta Dependencies)
-        const outgoingPayload: IbGib_V1[] = [];
-        const outgoingAddrsSet = new Set<string>(); // Track what we've added
+            const { messageData } = await this.getStageAndPayloadFromFrame({ sagaFrame: sagaIbGib, space: mySpace });
+            const deltaData = messageData as SyncSagaMessageDeltaData_V1;
 
-        console.log(`${lc} [CONFLICT DEBUG] Fulfilling ${peerRequests.length} peer requests`);
+            // #region validate/sanity
+            if (!deltaData) { throw new Error(`${lc} deltaData falsy (E: 7c28c8d8f08a4421b8344e6727271421)`); }
+            if (deltaData.stage !== SyncStage.delta) { throw new Error(`${lc} Invalid delta frame: deltaData.stage !== SyncStage.delta (E: 0c28c8d8f08a4421b8344e6727271421)`); }
+            if (logalot) { console.log(`${lc} deltaData: ${pretty(deltaData)} (I: a76008681df458cfbcdc4848f825a826)`); }
+            // #endregion validate/sanity
 
-        for (const addr of peerRequests) {
-            // Get the requested ibGib
-            let ibGib = srcGraph[addr];
-            if (!ibGib) {
-                const res = await getFromSpace({ addr, space: destSpace }); // Query from destSpace
-                if (res.ibGibs && res.ibGibs.length > 0) {
-                    ibGib = res.ibGibs[0];
-                }
-            }
+            console.log(`${lc} [CONFLICT DEBUG] deltaData.payloadAddrs count: ${deltaData.payloadAddrs?.length || 0}`);
 
-            if (ibGib) {
-                // Add the requested ibGib itself
-                const ibGibAddr = getIbGibAddr({ ibGib });
-                if (!outgoingAddrsSet.has(ibGibAddr)) {
-                    outgoingPayload.push(ibGib);
-                    outgoingAddrsSet.add(ibGibAddr);
-                }
+            const peerProposesCommit = deltaData.proposeCommit || false;
 
-                // Expand to include full dependency graph for this ibGib
-                // (Receiver needs all deps to properly process/merge)
-                try {
-                    const deps = await getDependencyGraph({
-                        ibGib,
-                        space: destSpace,
-                    });
+            /**
+             * these are already in the local temp space
+             */
+            const receivedPayloadIbGibs: IbGib_V1[] = sagaContext.payloadIbGibsDomain ?? [];
 
-                    if (deps) {
-                        Object.values(deps).forEach(depIbGib => {
-                            const depAddr = getIbGibAddr({ ibGib: depIbGib });
-                            if (!outgoingAddrsSet.has(depAddr)) {
-                                outgoingPayload.push(depIbGib);
-                                outgoingAddrsSet.add(depAddr);
-                            }
-                        });
-                    }
-                } catch (depError) {
-                    console.warn(`${lc} [CONFLICT DEBUG] Error expanding deps for ${addr}: ${extractErrorMsg(depError)}`);
+            // 2. Fulfill Peer Requests (Outgoing Payload with Delta Dependencies)
+            console.log(`${lc} [CONFLICT DEBUG] Fulfilling ${(deltaData.deltaRequestAddrInfos || []).length} peer requests`);
+            const outgoingPayload = await this.getPayloadsForRequestedInfos({
+                deltaRequestAddrInfos: deltaData.deltaRequestAddrInfos || [],
+                mySpace,
+            });
+            console.log(`${lc} [CONFLICT DEBUG] Outgoing payload size (with deps): ${outgoingPayload.length}`);
+
+            // 3. Execute Merges (If applicable)
+            // Check if we have pending conflicts that we CAN resolve now that we have data.
+            // We look at the Saga History (Ack Frame) to find conflicts.
+            // Optimization: Do this only if we received payloads.
+            const mergeResultIbGibs: IbGib_V1[] = [];
+
+            console.log(`${lc} [CONFLICT DEBUG] Checking for merge. receivedPayloadIbGibs.length: ${receivedPayloadIbGibs.length}`);
+
+            if (receivedPayloadIbGibs.length > 0) {
+                console.log(`${lc} [TEST DEBUG] Received Payloads (${receivedPayloadIbGibs.length}). Checking for conflicts/merges...`);
+                // Find the Ack frame in history to get conflicts
+                // Optimization: Batch fetch history from `sagaIbGib.rel8ns.past`
+                // V1 timelines carry full history in `past`.
+                const pastAddrs = sagaIbGib.rel8ns?.past || [];
+                console.log(`${lc} [TEST DEBUG] pastAddrs count: ${pastAddrs.length}`);
+
+                const sagaHistory = await getFullSyncSagaHistory({
+                    sagaIbGib,
+                    space: mySpace,
+                });
+                // #region validate/sanity sagaHistory
+                if (sagaHistory.length === 0) { throw new Error(`(UNEXPECTED) sagaHistory.length is 0? We're in handleDeltaFrame. So we should have at least init and ack. (E: 815735c9cf756b275719bf434f180826)`); }
+                if (sagaHistory.length === 1) { throw new Error(`(UNEXPECTED) sagaHistory.length is 1? We're in handleDeltaFrame. So we should have at least init and ack. (E: 0e4ef8e3ed088e83b2cdcd18ecea9826)`); }
+                // #endregion validate/sanity sagaHistory
+
+                const ackGraphs = sagaHistory.filter(x =>
+                    x.msgStones.at(0)!.data!.stage === SyncStage.ack
+                );
+                // #region validate/sanity ackGraphs
+                if (ackGraphs.length > 1) {
+                    throw new Error(`(UNEXPECTED) more than one ack stage found in sagaHistory? we're expecting exactly one. (E: 7150983bb3a841caf8acd60826ba4f26)`);
+                } else if (ackGraphs.length === 0) {
+                    throw new Error(`(UNEXPECTED) couldn't find ack stage in sagaHistory? (E: 7d2da859196b86de28e7c8183af1e826)`);
                 }
-            } else {
-                console.warn(`${lc} Requested addr not found during delta fulfillment: ${addr}`);
-            }
-        }
-
-        console.log(`${lc} [CONFLICT DEBUG] Outgoing payload size (with deps): ${outgoingPayload.length}`);
-
-
-        // 3. Execute Merges (If applicable)
-        // Check if we have pending conflicts that we CAN resolve now that we have data.
-        // We look at the Saga History (Ack Frame) to find conflicts.
-        // Optimization: Do this only if we received payloads.
-        const mergeResultIbGibs: IbGib_V1[] = [];
-
-        console.log(`${lc} [CONFLICT DEBUG] Checking for merge. receivedPayloadIbGibs.length: ${receivedPayloadIbGibs.length}`);
-
-        if (receivedPayloadIbGibs.length > 0) {
-            console.log(`${lc} [TEST DEBUG] Received Payloads (${receivedPayloadIbGibs.length}). Checking for conflicts/merges...`);
-            // Find the Ack frame in history to get conflicts
-            // Optimization: Batch fetch history from `sagaIbGib.rel8ns.past`
-            // V1 timelines carry full history in `past`.
-            const pastAddrs = sagaIbGib.rel8ns?.past || [];
-            console.log(`${lc} [TEST DEBUG] pastAddrs count: ${pastAddrs.length}`);
-            let ackData: SyncSagaMessageAckData_V1 | undefined;
-
-            if (pastAddrs.length > 0) {
-                // Batch fetch all past frames
-                const resPast = await getFromSpace({ addrs: pastAddrs, space: tempSpace });
-                if (resPast.success && resPast.ibGibs) {
-                    // Iterate backwards (most recent first) to find the latest Ack
-                    for (let i = resPast.ibGibs.length - 1; i >= 0; i--) {
-                        const pastFrame = resPast.ibGibs[i];
-                        const messageStone = await getSyncSagaMessageFromFrame({
-                            frameIbGib: pastFrame,
-                            space: tempSpace
-                        });
-                        if (messageStone?.data?.stage === SyncStage.ack) {
-                            ackData = messageStone.data as SyncSagaMessageAckData_V1;
-                            console.log(`${lc} [TEST DEBUG] Found Ack Frame. Conflicts: ${ackData.conflicts?.length || 0}`);
-                            break;
-                        }
-                    }
+                if (ackGraphs[0].msgStones.length !== 1) {
+                    throw new Error(`(UNEXPECTED) ackGraph has more than one msg stone? only one expected right now. (E: f07d388abff8d26f98cbf6e8d3932826)`);
                 }
-            }
-
-            if (ackData && ackData.conflicts) {
-                const optimisticConflicts = ackData.conflicts.filter(c => !c.terminal);
-                for (const conflict of optimisticConflicts) {
-                    const { timelineAddrs, localAddr: receiverTip, remoteAddr: senderTip } = conflict;
-                    // We are Sender (usually) here if we are merging.
-                    // Check if we have the history needed (timelineAddrs).
-                    // Specifically, we needed the `receiverOnly` parts.
-
-                    // We blindly attempt merge if we have both tips accessible?
-                    // We need `receiverTip` (localAddr in Ack) and `senderTip` (remoteAddr).
-
-                    // Check if we have receiverTip in space
-                    console.log(`${lc} [CONFLICT DEBUG] Attempting merge for conflict. ReceiverTip: ${receiverTip}, SenderTip: ${senderTip}`);
-                    const resRecTip = await getFromSpace({ addr: receiverTip, space: tempSpace }); // Check tempSpace for incoming data
-                    console.log(`${lc} [CONFLICT DEBUG] ReceiverTip found in tempSpace: ${!!resRecTip.ibGibs?.[0]}`);
-                    if (resRecTip.success && resRecTip.ibGibs?.[0]) {
-                        // We have the tip!
-                        // Do we have the full history?
-                        // `mergeDivergentTimelines` in `conflict-optimistic` will attempt to fetch history.
-                        // If we just ingested the missing pieces, `getFromSpace` inside `merge` should succeed.
-
-                        // Perform Merge!
-                        try {
-                            const mergeResult = await mergeDivergentTimelines({
-                                tipA: (await getFromSpace({ addr: senderTip, space: destSpace })).ibGibs![0], // Our tip from destSpace
-                                tipB: resRecTip.ibGibs[0], // Their tip (from tempSpace)
-                                space: tempSpace, // Merge uses tempSpace
-                                metaspace,
-                            });
-                            if (mergeResult) {
-                                console.log(`${lc} [TEST DEBUG] Merge success! New Tip: ${getIbGibAddr({ ibGib: mergeResult })}`);
-                                if (logalot) { console.log(`${lc} Merge success! New Tip: ${getIbGibAddr({ ibGib: mergeResult })}`); }
-                                mergeResultIbGibs.push(mergeResult);
-                                outgoingPayload.push(mergeResult); // Send result to peer
+                // #endregion validate/sanity ackGraphs
+
+                const ackData = ackGraphs[0].msgStones[0].data as SyncSagaMessageAckData_V1;
+                if (!ackData) { throw new Error(`(UNEXPECTED) ackData falsy? (E: f9af88427f66a8db1ba868b810e8b826)`); }
+
+                if (ackData && ackData.conflicts) {
+                    const optimisticConflicts = ackData.conflicts.filter(c => !c.terminal);
+                    for (const conflict of optimisticConflicts) {
+                        const { timelineAddrs, localAddr: receiverTip, remoteAddr: senderTip } = conflict;
+                        // We are Sender (usually) here if we are merging.
+                        // Check if we have the history needed (timelineAddrs).
+                        // Specifically, we needed the `receiverOnly` parts.
+
+                        // We blindly attempt merge if we have both tips accessible?
+                        // We need `receiverTip` (localAddr in Ack) and `senderTip` (remoteAddr).
+
+                        // Check if we have receiverTip in space
+                        console.log(`${lc} [CONFLICT DEBUG] Attempting merge for conflict. ReceiverTip: ${receiverTip}, SenderTip: ${senderTip}`);
+                        const resRecTip = await getFromSpace({ addr: receiverTip, space: myTempSpace }); // Check myTempSpace for incoming data
+                        console.log(`${lc} [CONFLICT DEBUG] ReceiverTip found in myTempSpace: ${!!resRecTip.ibGibs?.[0]}`);
+                        if (resRecTip.success && resRecTip.ibGibs?.[0]) {
+                            // We have the tip!
+                            // Do we have the full history?
+                            // `mergeDivergentTimelines` in `conflict-optimistic` will attempt to fetch history.
+                            // If we just ingested the missing pieces, `getFromSpace` inside `merge` should succeed.
+
+                            // Perform Merge!
+                            try {
+                                const mergeResult = await mergeDivergentTimelines({
+                                    tipA: (await getFromSpace({ addr: senderTip, space: mySpace })).ibGibs![0], // Our tip from destSpace
+                                    tipB: resRecTip.ibGibs[0], // Their tip (from myTempSpace)
+                                    space: myTempSpace, // Merge uses myTempSpace
+                                    metaspace,
+                                });
+                                if (mergeResult) {
+                                    console.log(`${lc} [TEST DEBUG] Merge success! New Tip: ${getIbGibAddr({ ibGib: mergeResult })}`);
+                                    if (logalot) { console.log(`${lc} Merge success! New Tip: ${getIbGibAddr({ ibGib: mergeResult })}`); }
+                                    mergeResultIbGibs.push(mergeResult);
+                                    outgoingPayload.push(mergeResult); // Send result to peer
+                                }
+                            } catch (e) {
+                                console.error(`${lc} Merge failed: ${e}`);
+                                // If merge fails, we might Abort or just continue?
                             }
-                        } catch (e) {
-                            console.error(`${lc} Merge failed: ${e}`);
-                            // If merge fails, we might Abort or just continue?
                         }
                     }
                 }
             }
-        }
-
-        // 4. Determine Next Action
-        // We have `outgoingPayload` (Requests + Merge Results).
-        // Does Peer have outstanding requests? No, we fulfilled `peerRequests`.
-        // Do WE have outstanding requests?
-        // We might if `mergeResult` requires further sync? Usually no, result is complete.
-
-        const myRequests: string[] = []; // If we had more needs (e.g. partial payload), we'd add here.
-
-        const hasOutgoing = outgoingPayload.length > 0;
-        const hasMyRequests = myRequests.length > 0;
-
-        if (hasOutgoing || hasMyRequests) {
-            // We have business to attend to -> Send Delta
-            const responseDeltaData: SyncSagaMessageDeltaData_V1 = {
-                sagaId: deltaData.sagaId,
-                stage: SyncStage.delta,
-                payloadAddrs: outgoingPayload.map(p => getIbGibAddr({ ibGib: p })),
-                requests: hasMyRequests ? myRequests : undefined,
-                proposeCommit: !hasMyRequests // If we are sending data but have no requests, we VALIDATE PROPOSAL?
-                // Wait. If we send data, we are NOT committing yet.
-                // We are sending data. The OTHER side must ingest it.
-                // So proposeCommit = true?
-                // "Here is the data. I'm done. If you are good, let's commit."
-                // Yes.
-            };
-
-            // BUT if `peerProposesCommit` was true, and we are sending data, we are effectively rejecting/delaying it.
-            // We just send the Delta. Peer receives it, ingests, sees ProposeCommit=True (from us), and then Commits.
-
-            // So yes, proposeCommit = true.
-            responseDeltaData.proposeCommit = true;
-
-            const deltaStone = await this.createSyncMsgStone({
-                data: responseDeltaData,
-                localSpace: tempSpace,
-                metaspace
-            });
 
-            const deltaFrame = await this.evolveSyncSagaIbGib({
-                prevSagaIbGib: sagaIbGib,
-                msgStones: [deltaStone],
-                sessionIdentity: identity,
-                localSpace: tempSpace,
-                metaspace
-            });
-
-            // Build control payloads: frame + its dependencies (msg stone, identity)
-            const payloadIbGibsControl: IbGib_V1[] = [deltaFrame, deltaStone];
-            if (identity) { payloadIbGibsControl.push(identity); }
-
-            // return { frame: deltaFrame, payloadIbGibsControl, payloadIbGibsDomain: outgoingPayload };
-            // return { frame: deltaFrame, payloadIbGibsDomain: outgoingPayload };
-            throw new Error(`not implemented (E: 2b38a8afb6d84efcee5ab51673387826)`);
-
-        } else {
-            // We have nothing to send.
-
-            if (peerProposesCommit) {
-                // Peer is done. We are done. -> Commit.
-                const commitData: SyncSagaMessageCommitData_V1 = {
-                    sagaId: deltaData.sagaId,
-                    stage: SyncStage.commit,
-                    success: true,
-                };
-
-                const commitStone = await this.createSyncMsgStone({
-                    data: commitData,
-                    localSpace: tempSpace,
-                    metaspace
-                });
-
-                const commitFrame = await this.evolveSyncSagaIbGib({
-                    prevSagaIbGib: sagaIbGib,
-                    msgStones: [commitStone],
-                    sessionIdentity: identity,
-                    localSpace: tempSpace,
-                    metaspace
-                });
+            // 4. Determine Next Action
+            // We have `outgoingPayload` (Requests + Merge Results).
+            // Does Peer have outstanding requests? No, we fulfilled `peerRequests`.
+            // Do WE have outstanding requests?
+            // We might if `mergeResult` requires further sync? Usually no, result is complete.
 
-                // Build control payloads for commit
-                const commitCtrlPayloads: IbGib_V1[] = [commitFrame, commitStone];
-                if (identity) { commitCtrlPayloads.push(identity); }
+            const myRequests: string[] = []; // If we had more needs (e.g. partial payload), we'd add here.
 
-                // return { frame: commitFrame, payloadIbGibsControl: commitCtrlPayloads };
-                // return { frame: commitFrame, };
-                throw new Error(`not implemented (E: dda1ddc63fdcadff06653298e0d04826)`);
+            const hasOutgoing = outgoingPayload.length > 0;
+            const hasMyRequests = myRequests.length > 0;
 
-            } else {
-                // peer did NOT propose commit (maybe they just sent data/requests and didn't ready flag).
-                // But we are empty.
-                // So WE propose commit.
+            if (hasOutgoing || hasMyRequests) {
+                // We have business to attend to -> Send Delta
                 const responseDeltaData: SyncSagaMessageDeltaData_V1 = {
                     sagaId: deltaData.sagaId,
                     stage: SyncStage.delta,
-                    proposeCommit: true,
-                    payloadAddrs: [], // Always include empty array if sending delta
+                    payloadAddrs: outgoingPayload.map(p => getIbGibAddr({ ibGib: p })),
+                    requests: hasMyRequests ? myRequests : undefined,
                 };
 
                 const deltaStone = await this.createSyncMsgStone({
                     data: responseDeltaData,
-                    localSpace: tempSpace,
-                    metaspace
+                    localSpace: mySpace,
+                    metaspace,
                 });
 
                 const deltaFrame = await this.evolveSyncSagaIbGib({
                     prevSagaIbGib: sagaIbGib,
                     msgStones: [deltaStone],
                     sessionIdentity: identity,
-                    localSpace: tempSpace,
-                    metaspace
+                    localSpace: mySpace,
+                    metaspace,
                 });
 
-                // Check if PEER proposed commit
-                if (deltaData.proposeCommit) {
-                    if (logalot) { console.log(`${lc} Peer proposed commit. Accepting & Committing.`); }
-                    // Peer wants to commit and has no more requests.
-                    // We should Commit.
+                return { frame: deltaFrame, payloadIbGibsDomain: outgoingPayload };
+            } else {
+                // We have nothing to send.
+
+                if (peerProposesCommit) {
+                    // Peer is done. We are done. -> Commit.
+                    // one last validate entire history?
+                    const history = await getFullSyncSagaHistory({
+                        sagaIbGib,
+                        space: mySpace,
+                    });
+                    const validationErrors = await validateFullSyncSagaHistory({
+                        history,
+                    });
+                    if (validationErrors.length > 0) {
+                        const errorCommitFrame = await this.createCommitFrame({
+                            sagaIbGib,
+                            errors: validationErrors,
+                            metaspace, mySpace,
+                            identity,
+                        });
+                        return { frame: errorCommitFrame, }; /* <<<< returns early */
+                    }
+
+                    await this.executeLocalCommit({
+                        sagaHistory: history,
+                        deltaFrame: sagaIbGib,
+                        localTempSpace: myTempSpace,
+                        localSpace: mySpace,
+                        metaspace,
+                    })
+
+                    const commitFrame = await this.createCommitFrame({
+                        sagaIbGib,
+                        errors: undefined,
+                        metaspace,
+                        mySpace,
+                        identity,
+                    });
+
+                    return { frame: commitFrame, };
 
-                    const commitData: SyncSagaMessageCommitData_V1 = {
+                } else {
+                    // peer did NOT propose commit (maybe they just sent data/requests and didn't ready flag).
+                    // But we are empty.
+                    // So WE propose commit.
+                    const responseDeltaData: SyncSagaMessageDeltaData_V1 = {
                         sagaId: deltaData.sagaId,
-                        stage: SyncStage.commit,
-                        success: true,
+                        stage: SyncStage.delta,
+                        proposeCommit: true,
                     };
 
-                    const commitStone = await this.createSyncMsgStone({
-                        data: commitData,
-                        localSpace: tempSpace,
+                    const deltaStone = await this.createSyncMsgStone({
+                        data: responseDeltaData,
+                        localSpace: mySpace,
                         metaspace
                     });
 
-                    const commitFrame = await this.evolveSyncSagaIbGib({
-                        prevSagaIbGib: deltaFrame, // Build on top of the Delta we just created/persisted
-                        msgStones: [commitStone],
+                    const deltaFrame = await this.evolveSyncSagaIbGib({
+                        prevSagaIbGib: sagaIbGib,
+                        msgStones: [deltaStone],
                         sessionIdentity: identity,
-                        localSpace: tempSpace,
+                        localSpace: mySpace,
                         metaspace
                     });
 
-                    // Build control payloads for commit
-                    const commitCtrlPayloads2: IbGib_V1[] = [commitFrame, commitStone];
-                    if (identity) { commitCtrlPayloads2.push(identity); }
+                    // Check if PEER proposed commit
+                    if (deltaData.proposeCommit) {
+                        if (logalot) { console.log(`${lc} Peer proposed commit. Accepting & Committing.`); }
+                        // Peer wants to commit and has no more requests.
+                        // We should Commit.
+
+                        const commitData: SyncSagaMessageCommitData_V1 = {
+                            sagaId: deltaData.sagaId,
+                            stage: SyncStage.commit,
+                            success: true,
+                        };
+
+                        const commitStone = await this.createSyncMsgStone({
+                            data: commitData,
+                            localSpace: mySpace,
+                            metaspace
+                        });
+
+                        const commitFrame = await this.evolveSyncSagaIbGib({
+                            prevSagaIbGib: deltaFrame, // Build on top of the Delta we just created/persisted
+                            msgStones: [commitStone],
+                            sessionIdentity: identity,
+                            localSpace: mySpace,
+                            metaspace
+                        });
+
+                        // Build control payloads for commit
+                        const commitCtrlPayloads2: IbGib_V1[] = [commitFrame, commitStone];
+                        if (identity) { commitCtrlPayloads2.push(identity); }
+
+                        return { frame: commitFrame, };
+                    }
+
+                    // Build control payloads for delta propose
+                    const deltaCtrlPayloads: IbGib_V1[] = [deltaFrame, deltaStone];
+                    if (identity) { deltaCtrlPayloads.push(identity); }
+
+                    return { frame: deltaFrame, payloadIbGibsDomain: outgoingPayload };
+                }
+            }
+        } catch (error) {
+            console.error(`${lc} ${extractErrorMsg(error)}`);
+            throw error;
+        } finally {
+            if (logalot) { console.log(`${lc} complete.`); }
+        }
+
+    }
+    /**
+     * should throw if fails
+     */
+    private async executeLocalCommit({
+        deltaFrame,
+        sagaHistory,
+        metaspace, localSpace, localTempSpace,
+        identity,
+    }: {
+        deltaFrame: SyncIbGib_V1;
+        sagaHistory: SyncSagaFrameDependencyGraph[];
+        metaspace: MetaspaceService;
+        localSpace: IbGibSpaceAny;
+        localTempSpace: IbGibSpaceAny;
+        identity?: KeystoneIbGib_V1;
+    }): Promise<void> {
+        const lc = `${this.lc}[${this.executeLocalCommit.name}]`;
+        try {
+            if (logalot) { console.log(`${lc} starting... (I: 6734980446b86a63c1af6e2e206de826)`); }
+
+            // #region validate/sanity
+            if (!deltaFrame.data) { throw new Error(`(UNEXPECTED) deltaFrame.data falsy? (E: a8be68d48668d93d992d793834823826)`); }
+            // #endregion validate/sanity
 
-                    // return { frame: commitFrame, payloadIbGibsControl: commitCtrlPayloads2 };
-                    // return { frame: commitFrame, };
-                    throw new Error(`not implemented (E: 27514878585889e531ef21f1abbef826)`);
+            // * move all payload addrs from temp space to local space
+            // * register each and every iteration of each timeline (including
+            //   stones, which are like their own sealed timeline of length 1)
+
+            const allPayloadAddrsDomainTransferred: IbGibAddr[] = [];
+            const fnAddPayloadAddr = (addr: IbGibAddr) => {
+                if (!allPayloadAddrsDomainTransferred.includes(addr)) {
+                    allPayloadAddrsDomainTransferred.push(addr);
                 }
+            }
+
+            sagaHistory.forEach(x => {
+                if (!x.sagaIbGib.data) { throw new Error(`(UNEXPECTED) sagaIbGib.data falsy? (E: 34d7f8cdee14717ce828878d98f89826)`); }
+                x.msgStones.forEach(msgStone => {
+                    if (!msgStone.data) { throw new Error(`(UNEXPECTED) msgStone.data falsy? (E: 21406101f91847514cc759c8a7382f26)`); }
+                    if (msgStone.data.stage === SyncStage.ack) {
+                        const ackData = msgStone.data as SyncSagaMessageAckData_V1;
+                        if (ackData.pushOfferInfos && ackData.pushOfferInfos.length > 0) {
+                            ackData.pushOfferInfos.forEach(info => {
+                                info.addrs.forEach(addr => fnAddPayloadAddr(addr));
+                            });
+                        }
+                    } else if (msgStone.data.stage === SyncStage.delta) {
+                        const deltaData = msgStone.data as SyncSagaMessageDeltaData_V1;
+                        if (deltaData.payloadAddrsDomain && deltaData.payloadAddrsDomain.length > 0) {
+                            deltaData.payloadAddrsDomain.forEach(addr => fnAddPayloadAddr(addr));
+                        }
+                    }
+                })
+            });
+
+            // at this point, we have a list of ALL payload addrs retrieved.
+            let allPayloadIbGibsDomainTransferred: IbGib_V1[] = [];
+            const resGetAllTransferred =
+                await getFromSpace({ addrs: allPayloadAddrsDomainTransferred, space: localTempSpace });
+            if (resGetAllTransferred.success && resGetAllTransferred.ibGibs && resGetAllTransferred.ibGibs.length === allPayloadAddrsDomainTransferred.length) {
+                allPayloadIbGibsDomainTransferred = resGetAllTransferred.ibGibs.concat();
+            } else {
+                // errored out, gather info
+                if (!resGetAllTransferred.rawResultIbGib) { throw new Error(`(UNEXPECTED) !resGetAllTransferred.rawResultIbGib falsy? (E: dc6cf8729668f4fbe8c024f887d97a26)`); }
+                const { addrsNotFound, addrsErrored, errors } = resGetAllTransferred.rawResultIbGib.data as IbGibSpaceResultData;
+                throw new Error(`(UNEXPECTED) we couldn't get all addrs transferred throughout the saga from the tempspace (${localTempSpace.ib})? addrsNotFound: ${addrsNotFound ?? []}. addrsErrored: ${addrsErrored ?? []}. errors: ${errors ?? []}(E: 222e341e634862b4d88ae7282584d826)`);
+            }
+
+            // now we have all ibgibs transferred, first put them all the local space
+
+            const { payload_Dnas, payload_NonDnas } =
+                await putInSpace_dnasThenNonDnas({
+                    ibGibs: allPayloadIbGibsDomainTransferred,
+                    space: localSpace
+                });
 
-                // Build control payloads for delta propose
-                const deltaCtrlPayloads: IbGib_V1[] = [deltaFrame, deltaStone];
-                if (identity) { deltaCtrlPayloads.push(identity); }
+            const { mapWithTjp_NoDna, mapWithTjp_YesDna, mapWithoutTjps } =
+                splitPerTjpAndOrDna({ ibGibs: payload_NonDnas, filterPrimitives: true });
+
+            // first register all non-tjp stones
+            const nontjps = Object.values(mapWithoutTjps);
+            for (const nontjp of nontjps) {
+                await metaspace.registerNewIbGib({
+                    ibGib: nontjp,
+                    space: localSpace,
+                });
+            }
+
+            // next register each timeline in order...
+
+            // ...first the ones without dna...
+            const timelinesByTjpAddr_NoDna =
+                getTimelinesGroupedByTjp({ ibGibs: Object.values(mapWithTjp_NoDna) });
+            const tjpAddrs_NoDna = Object.keys(timelinesByTjpAddr_NoDna);
+            for (const tjpAddr_NoDna of tjpAddrs_NoDna) {
+                const timelineIbGibs = timelinesByTjpAddr_NoDna[tjpAddr_NoDna];
+                for (const ibGib of timelineIbGibs) {
+                    await metaspace.registerNewIbGib({
+                        ibGib,
+                        space: localSpace,
+                    });
+                }
+            }
 
-                // return { frame: deltaFrame, payloadIbGibsControl: deltaCtrlPayloads };
-                // return { frame: deltaFrame, };
-                throw new Error(`not implemented (E: ff35584696b6fcb3ad6dd7c5cade2f26)`);
+            // ...then the ones WITH dna.
+            const timelinesByTjpAddr_YesDna =
+                getTimelinesGroupedByTjp({ ibGibs: Object.values(mapWithTjp_YesDna) });
+            const tjpAddrs_YesDna = Object.keys(timelinesByTjpAddr_YesDna);
+            for (const tjpAddr_YesDna of tjpAddrs_YesDna) {
+                const timelineIbGibs = timelinesByTjpAddr_YesDna[tjpAddr_YesDna];
+                for (const ibGib of timelineIbGibs) {
+                    await metaspace.registerNewIbGib({
+                        ibGib,
+                        space: localSpace,
+                    });
+                }
             }
+
+
+        } catch (error) {
+            console.error(`${lc} ${extractErrorMsg(error)}`);
+            throw error;
+        } finally {
+            if (logalot) { console.log(`${lc} complete.`); }
         }
     }
 
+    private async createCommitFrame({
+        sagaIbGib,
+        errors,
+        metaspace,
+        mySpace,
+        identity,
+    }: {
+        sagaIbGib: SyncIbGib_V1,
+        /**
+         * if truthy and non-empty, will create an errored commit frame (data
+         * has `success: false`)
+         */
+        errors?: string[],
+        metaspace: MetaspaceService,
+        mySpace: IbGibSpaceAny,
+        identity: KeystoneIbGib_V1 | undefined,
+    }): Promise<SyncIbGib_V1> {
+        const lc = `[${this.createCommitFrame.name}]`;
+        try {
+            if (logalot) { console.log(`${lc} starting... (I: 48fc57c023f80122135a284855757526)`); }
+            const commitData: SyncSagaMessageCommitData_V1 = errors && errors.length > 0 ?
+                {
+                    // errored
+                    sagaId: sagaIbGib.data!.uuid,
+                    stage: SyncStage.commit,
+                    success: false,
+                    errors,
+                } :
+                {
+                    // not errored
+                    sagaId: sagaIbGib.data!.uuid,
+                    stage: SyncStage.commit,
+                    success: true,
+                };
+
+            const commitStone = await this.createSyncMsgStone({
+                data: commitData,
+                localSpace: mySpace,
+                metaspace
+            });
+            const commitFrame = await this.evolveSyncSagaIbGib({
+                prevSagaIbGib: sagaIbGib,
+                msgStones: [commitStone],
+                sessionIdentity: identity,
+                localSpace: mySpace,
+                metaspace,
+            });
+            return commitFrame;
+        } catch (error) {
+            console.error(`${lc} ${extractErrorMsg(error)}`);
+            throw error;
+        } finally {
+            if (logalot) { console.log(`${lc} complete.`); }
+        }
+    }
 
-    protected async handleCommitFrame({
+    private async handleCommitFrame({
         sagaIbGib,
-        destSpace,
-        tempSpace,
+        mySpace,
+        myTempSpace,
         metaspace,
         identity,
     }: {
         sagaIbGib: SyncIbGib_V1,
-        destSpace: IbGibSpaceAny,
-        tempSpace: IbGibSpaceAny,
+        mySpace: IbGibSpaceAny,
+        myTempSpace: IbGibSpaceAny,
         metaspace: MetaspaceService,
         identity?: KeystoneIbGib_V1,
     }): Promise<NextSagaFrameInfo> {
         const lc = `${this.lc}[${this.handleCommitFrame.name}]`;
-        if (logalot) { console.log(`${lc} Commit received.`); }
+        try {
+            if (logalot) { console.log(`${lc} starting... (I: e179573bdd881202f8ba3168da1c3826)`); }
+
+            let resNextSagaFrameInfo: NextSagaFrameInfo;
+
+            // Sender Logic (Finalizing):
+            // If we are here, we received a Commit frame from the Peer.
+            // This implies the Peer has successfully committed.
+            // We should now:
+            // 1. Validate (implicitly done by receiving valid frame)
+            // 2. Perform our own cleanup (Temp -> Dest, if applicable)
+            // 3. Return saga completion.
+
+            // one last validate entire history?
+            const history = await getFullSyncSagaHistory({
+                sagaIbGib,
+                space: mySpace,
+            });
+            const validationErrors = await validateFullSyncSagaHistory({
+                history,
+            });
+            if (validationErrors.length > 0) {
+                const errorCommitFrame = await this.createCommitFrame({
+                    sagaIbGib,
+                    metaspace,
+                    mySpace,
+                    identity,
+                    errors: validationErrors,
+                });
+                return { frame: errorCommitFrame, }; /* <<<< returns early */
+            }
+
+            await this.executeLocalCommit({
+                deltaFrame: sagaIbGib,
+                sagaHistory: history,
+                localSpace: mySpace,
+                localTempSpace: myTempSpace,
+                metaspace,
+            });
 
-        // Sender Logic (Finalizing):
-        // If we are here, we received a Commit frame from the Peer.
-        // This implies the Peer has successfully committed.
-        // We should now:
-        // 1. Validate (implicitly done by receiving valid frame)
-        // 2. Perform our own cleanup (Temp -> Dest, if applicable)
-        // 3. Return null to signal saga completion.
+            // todo: implement explicit cleanup logic here and in peer
+            console.error(`${lc} NAG ERROR (NOT THROWN): implement cleanup logic, including add a cleanup method to the peer (E: 3a9a24befb98a981a88fbdbf52920e26)`);
+            if (logalot) { console.log(`${lc} Peer committed. Finalizing saga locally. Saga Complete.`); }
 
-        // Note: Currently we don't have explicit cleanup logic implemented here yet (TODO).
+            // the holy grail!
+            return { sagaComplete: true };
+        } catch (error) {
+            const emsg = `${lc} ${extractErrorMsg(error)}`;
+            console.error(emsg);
+            const errorCommitFrame = await this.createCommitFrame({
+                sagaIbGib,
+                errors: [emsg],
+                metaspace,
+                mySpace,
+                identity,
+            });
+            return { frame: errorCommitFrame }
+        } finally {
+            if (logalot) { console.log(`${lc} complete.`); }
+        }
 
-        if (logalot) { console.log(`${lc} Peer committed. Finalizing saga locally. Saga Complete.`); }
-        // return { responseWasNull: true };
-        throw new Error(`not implemented (E: 4d7f878bcc45ad3dd9c4b8573f3aa826)`);
     }
 
     // #endregion Handlers
 
-    protected async createSyncMsgStone<TStoneData extends SyncSagaMessageData_V1>({
+    private async createSyncMsgStone<TStoneData extends SyncSagaMessageData_V1>({
         data,
         localSpace,
         metaspace,
@@ -2028,11 +2153,75 @@ export class SyncSagaCoordinator {
         }
     }
 
+    private async getPayloadsForRequestedInfos({
+        deltaRequestAddrInfos,
+        mySpace,
+    }: {
+        deltaRequestAddrInfos: SyncSagaRequestAddrInfo[];
+        mySpace: IbGibSpaceAny;
+    }): Promise<IbGib_V1[]> {
+        const lc = `${this.lc}[${this.getPayloadsForRequestedInfos.name}]`;
+        try {
+            if (logalot) { console.log(`${lc} starting... (I: 4fe13d0d80050f20a8b74ba80cee5826)`); }
+            /**
+             * graph of ibgibs we will send to the receiver. addr-based, so will
+             * already be unique (no need to call `unique` on the domains
+             * ibgibs)
+             */
+            const outgoingPayloadIbGibsDomainGraph: FlatIbGibGraph = {};
+            for (const { addr, latestAddrAlreadyHave } of deltaRequestAddrInfos) {
+                let deltaDepGraph: FlatIbGibGraph;
+                if (latestAddrAlreadyHave) {
+                    // already has some, so only get the delta
+                    // remember: if we didn't have the other's latest addr, then
+                    // this would be in the conflicts not requested addrs
+                    deltaDepGraph = await getDeltaDependencyGraph({
+                        ibGibAddr: addr,
+                        latestCommonFrameAddr: latestAddrAlreadyHave,
+                        space: mySpace,
+                        live: true,
+                    });
+                } else {
+                    // doesn't have anything, so get the entire dependency graph
+                    // INEFFICIENT: we've already gotten all of the domain
+                    // dependencies in initDomainGraph, but getDependencyGraph
+                    // only works against a space so we are going to rerun this.
+                    // an optimization would be to adapt/create a new
+                    // getDependencyGraph to work against an existing flat ibgib
+                    // map.
+                    deltaDepGraph = await getDependencyGraph({
+                        ibGibAddr: addr,
+                        space: mySpace,
+                        live: true,
+                    });
+                }
+
+                const depGraphSize = Object.keys(deltaDepGraph).length;
+                if (depGraphSize === 0) {
+                    throw new Error(`(UNEXPECTED) couldn't get requested addrs in mySpace (${mySpace.ib})? How did the receiver know to ask for these addrs if they weren't in our original graph? (E: 281eaebcdf77dd73e8245b2872100826)`);
+                } else {
+                    // we have dependencies!
+                    Object.values(deltaDepGraph).forEach(x => {
+                        outgoingPayloadIbGibsDomainGraph[getIbGibAddr({ ibGib: x })] = x;
+                    });
+                }
+            }
+
+            const result = Object.values(outgoingPayloadIbGibsDomainGraph);
+            return result;
+        } catch (error) {
+            console.error(`${lc} ${extractErrorMsg(error)}`);
+            throw error;
+        } finally {
+            if (logalot) { console.log(`${lc} complete.`); }
+        }
+    }
+
 
     /**
      * Evolves the saga timeline with a new frame.
      */
-    protected async evolveSyncSagaIbGib({
+    private async evolveSyncSagaIbGib({
         prevSagaIbGib,
         conflictStrategy,
         msgStones,
@@ -2045,6 +2234,10 @@ export class SyncSagaCoordinator {
         msgStones: IbGib_V1[],
         localSpace: IbGibSpaceAny,
         metaspace: MetaspaceService,
+        /**
+         * does NOT evolve the keystone. this should be done by the caller.
+         * (NOT IMPLEMENTED YET ANYWAY)
+         */
         sessionIdentity?: KeystoneIbGib_V1,
     }): Promise<SyncIbGib_V1> {
         const lc = `${this.lc}[${this.evolveSyncSagaIbGib.name}]`;
@@ -2152,7 +2345,7 @@ export class SyncSagaCoordinator {
         }
     }
 
-    protected async getStageAndPayloadFromFrame({
+    private async getStageAndPayloadFromFrame({
         sagaFrame,
         space
     }: {
@@ -2188,7 +2381,7 @@ export class SyncSagaCoordinator {
         }
     }
 
-    protected sortTimelinesTopologically(timelines: { [tjp: string]: IbGib_V1[] }): string[] {
+    private sortTimelinesTopologically(timelines: { [tjp: string]: IbGib_V1[] }): string[] {
         const lc = `${this.lc}[${this.sortTimelinesTopologically.name}]`;
         const tjps = Object.keys(timelines);
         if (tjps.length === 0) { return []; }