@ibgib/core-gib 0.1.13 → 0.1.14

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

@@ -33,13 +33,13 @@ await respecfully(sir, 'SyncSagaCoordinator', async () => {
         const identitySecret = 'secret';
 
         // Execute Sync
-        await coordinator.sync({
-            source: sourceSpace,
-            dest: destSpace,
-            identity,
-            domainIbGibs: [], // Empty for test
-            identitySecret
-        });
+        // await coordinator.deprecated_sync({
+        //     source: sourceSpace,
+        //     dest: destSpace,
+        //     identity,
+        //     domainIbGibs: [], // Empty for test
+        //     identitySecret
+        // });
 
         // Verify Dest has received frames
         // We look for any ibgibs in the destSpace witness output

package/src/sync/sync-saga-message/sync-saga-message-constants.mts

@@ -0,0 +1 @@
+export const SYNC_SAGA_MSG_ATOM = 'sync_sagamsg';

package/src/sync/sync-saga-message/sync-saga-message-helpers.mts

@@ -0,0 +1,59 @@
+import { extractErrorMsg } from "@ibgib/helper-gib/dist/helpers/utils-helper.mjs";
+import { Ib } from "@ibgib/ts-gib/dist/types.mjs";
+import { SYNC_SAGA_MSG_ATOM } from "./sync-saga-message-constants.mjs";
+import { SyncSagaMessageData_V1, SyncSagaMessageIb_V1 } from "./sync-saga-message-types.mjs";
+
+/**
+ * Constructs the standard 'ib' string for a Sync Saga Message stone.
+ */
+export async function getSyncSagaMessageIb({
+    data,
+}: {
+    data: SyncSagaMessageData_V1,
+}): Promise<Ib> {
+    const lc = `[${getSyncSagaMessageIb.name}]`;
+    try {
+        // sync_saga_msg sagaId stage
+        const ib = [
+            SYNC_SAGA_MSG_ATOM,
+            data.sagaId,
+            data.stage
+        ].join(' ');
+
+        return ib;
+    } catch (error) {
+        console.error(`${lc} ${extractErrorMsg(error)}`);
+        throw error;
+    }
+}
+
+/**
+ * Parses a standard Sync Saga Message 'ib' string.
+ */
+export async function parseSyncSagaMessageIb({
+    ib,
+}: {
+    ib: Ib,
+}): Promise<SyncSagaMessageIb_V1> {
+    const lc = `[${parseSyncSagaMessageIb.name}]`;
+    try {
+        const parts = ib.split(' ');
+        if (parts.length !== 3) {
+            throw new Error(`Invalid sync saga message ib. Expected 3 parts [atom sagaId stage]. Got ${parts.length}. (E: 7abec847426bd8f41a475cafcc118826)`);
+        }
+        const [
+            atom,
+            sagaId,
+            stage
+        ] = parts;
+
+        if (atom !== SYNC_SAGA_MSG_ATOM) {
+            throw new Error(`Atom mismatch. Expected ${SYNC_SAGA_MSG_ATOM}. Got ${atom}. (E: 1b4ddf426ed87e474816ed48cedb8a26)`);
+        }
+
+        return { atom, sagaId, stage };
+    } catch (error) {
+        console.error(`${lc} ${extractErrorMsg(error)}`);
+        throw error;
+    }
+}

package/src/sync/sync-saga-message/sync-saga-message-types.mts

@@ -0,0 +1,53 @@
+import { IbGib_V1, IbGibData_V1, IbGibRel8ns_V1 } from "@ibgib/ts-gib/dist/V1/types.mjs";
+import { KeystoneIbGib_V1 } from "../../keystone/keystone-types.mjs";
+import { SyncStage } from "../sync-constants.mjs";
+import { SyncMode, SyncConflictStrategy, SyncInitData, SyncRequestData, SyncDeltaData, SyncCommitData } from "../sync-types.mjs";
+import { SYNC_SAGA_MSG_ATOM } from "./sync-saga-message-constants.mjs";
+
+export interface SyncSagaMessageIb_V1 {
+    atom: typeof SYNC_SAGA_MSG_ATOM;
+    sagaId: string;
+    stage: string;
+}
+
+export interface SyncSagaMessageData_V1 extends IbGibData_V1 {
+    /**
+     * Unique ID for the synchronization session (saga).
+     */
+    sagaId: string;
+
+    /**
+     * Current stage of the protocol.
+     */
+    stage: SyncStage;
+}
+
+export interface SyncSagaMessageRel8ns_V1 extends IbGibRel8ns_V1 {
+    // potentially link to previous message in chain if we wanted chain-of-stones?
+    // For now, stones are independent or linked by the saga frame.
+}
+
+export interface SyncSagaMessageIbGib_V1 extends IbGib_V1<SyncSagaMessageData_V1, SyncSagaMessageRel8ns_V1> { }
+
+// ===========================================================================
+// CONCRETE MESSAGE PAYLOADS (EXTENDING DATA)
+// ===========================================================================
+
+export interface SyncSagaMessageInitData_V1 extends SyncSagaMessageData_V1, SyncInitData {
+    stage: typeof SyncStage.init;
+}
+
+export interface SyncSagaMessageAckData_V1 extends SyncSagaMessageData_V1 {
+    stage: typeof SyncStage.ack;
+    deltaReqAddrs: string[];
+    pushOfferAddrs: string[];
+}
+
+export interface SyncSagaMessageDeltaData_V1 extends SyncSagaMessageData_V1, SyncDeltaData {
+    stage: typeof SyncStage.delta;
+    requests?: string[];
+}
+
+export interface SyncSagaMessageCommitData_V1 extends SyncSagaMessageData_V1, SyncCommitData {
+    stage: typeof SyncStage.commit;
+}

package/src/sync/sync-types.mts

@@ -1,6 +1,82 @@
 import { IbGib_V1, IbGibData_V1, IbGibRel8ns_V1 } from "@ibgib/ts-gib/dist/V1/types.mjs";
+
 import { KeystoneIbGib_V1, KeystoneProof } from "../keystone/keystone-types.mjs";
 import { SYNC_ATOM, SyncStage } from "./sync-constants.mjs";
+import { IbGibSpaceAny } from "../witness/space/space-base-v1.mjs";
+import { MetaspaceService } from "../witness/space/metaspace/metaspace-types.mjs";
+
+
+// #region SyncMode
+export const SYNC_MODE_PUSH = 'push';
+export const SYNC_MODE_PULL = 'pull';
+export const SYNC_MODE_SYNC = 'sync';
+export type SyncMode =
+    | typeof SYNC_MODE_PUSH
+    | typeof SYNC_MODE_PULL
+    | typeof SYNC_MODE_SYNC;
+export const SyncMode = {
+    push: SYNC_MODE_PUSH,
+    pull: SYNC_MODE_PULL,
+    sync: SYNC_MODE_SYNC,
+} satisfies { [key in SyncMode]: SyncMode };
+export const SYNC_MODE_VALID_VALUES = Object.values(SyncMode);
+export function isValidSyncMode(mode: string): mode is SyncMode {
+    return SYNC_MODE_VALID_VALUES.includes(mode as SyncMode);
+}
+// #endregion SyncMode
+
+// #region SyncConflictStrategy
+export const SYNC_CONFLICT_STRATEGY_ABORT = 'abort';
+export const SYNC_CONFLICT_STRATEGY_OPTIMISTIC = 'optimistic';
+export const SYNC_CONFLICT_STRATEGY_MANUAL = 'manual';
+export type SyncConflictStrategy =
+    | typeof SYNC_CONFLICT_STRATEGY_ABORT
+    | typeof SYNC_CONFLICT_STRATEGY_OPTIMISTIC
+    | typeof SYNC_CONFLICT_STRATEGY_MANUAL;
+export const SyncConflictStrategy = {
+    abort: SYNC_CONFLICT_STRATEGY_ABORT,
+    optimistic: SYNC_CONFLICT_STRATEGY_OPTIMISTIC,
+    manual: SYNC_CONFLICT_STRATEGY_MANUAL,
+} satisfies { [key in SyncConflictStrategy]: SyncConflictStrategy };
+export const SYNC_CONFLICT_STRATEGY_VALID_VALUES = Object.values(SyncConflictStrategy);
+export function isValidSyncConflictStrategy(strategy: string): strategy is SyncConflictStrategy {
+    return SYNC_CONFLICT_STRATEGY_VALID_VALUES.includes(strategy as SyncConflictStrategy);
+}
+// #endregion SyncConflictStrategy
+
+export interface SyncOptions {
+    /**
+     * The ibgibs we wish to sync.
+     * 
+     * These should all exist in {@link source}
+     */
+    domainIbGibs: IbGib_V1[],
+    /**
+     * The space containing the data we want to send.
+     */
+    source: IbGibSpaceAny;
+    /**
+     * The space receiving the data.
+     */
+    dest: IbGibSpaceAny;
+    /**
+     * The metaspace context (for registering sync sagas locally).
+     */
+    metaspace: MetaspaceService;
+    /**
+     * The identity authorizing this sync.
+     */
+    identity: KeystoneIbGib_V1;
+    /**
+     * The secret for the identity (to sign the commit).
+     */
+    identitySecret: string;
+    /**
+     * How to handle conflicts when both Source and Dest have diverged on the same timeline.
+     * @default 'abort'
+     */
+    conflictStrategy?: SyncConflictStrategy;
+}
 
 // ===========================================================================
 // PROTOCOL PAYLOADS
@@ -28,7 +104,7 @@ export interface SyncInitData {
      * e.g. "push" (I have data for you) or "pull" (Give me data).
      * @default 'push'
      */
-    mode?: 'push' | 'pull';
+    mode?: SyncMode;
 }
 
 /**
@@ -77,7 +153,7 @@ export interface SyncCommitData {
 // IBGIB DATA STRUCTURES
 // ===========================================================================
 
-export interface SyncIbInfo_V1 {
+export interface SyncIb_V1 {
     atom: typeof SYNC_ATOM;
     uuid: string;
     stage: SyncStage;
@@ -106,7 +182,7 @@ export interface SyncData_V1 extends IbGibData_V1 {
     /**
      * Polymorphic payload based on stage.
      */
-    payload: SyncInitData | SyncRequestData | SyncDeltaData | SyncCommitData;
+    payload?: SyncInitData | SyncRequestData | SyncDeltaData | SyncCommitData;
 }
 
 export interface SyncRel8ns_V1 extends IbGibRel8ns_V1 {
@@ -118,3 +194,27 @@ export interface SyncRel8ns_V1 extends IbGibRel8ns_V1 {
 }
 
 export interface SyncIbGib_V1 extends IbGib_V1<SyncData_V1, SyncRel8ns_V1> { }
+
+/**
+ * Information returned when starting a Sync Saga.
+ * Allows the caller to subscribe to updates and await completion.
+ */
+import { SubjectWitness } from "../common/pubsub/subject/subject-types.mjs";
+import { SyncSagaContextIbGib_V1 } from "./sync-saga-context/sync-saga-context-types.mjs";
+
+export interface SyncSagaInfo {
+    /**
+     * The unique ID of the saga.
+     */
+    sagaId: string;
+    /**
+     * Stream of context updates happening during the saga.
+     * Subscribe to this to receive real-time progress.
+     */
+    updates$: SubjectWitness<SyncSagaContextIbGib_V1>;
+
+    /**
+     * Promise that resolves when the saga completes successfully.
+     */
+    done: Promise<void>;
+}

package/src/timeline/timeline-api.mts

@@ -36,6 +36,19 @@ export interface Rel8nInfo {
 }
 
 export interface CommonTimelineOptsSansSkipLock {
+    /**
+     * If true, dna will not be created when executing transforms. 
+     * 
+     * ## intent / driving use case
+     * 
+     * We want to use the timeline api in working with the new sync saga code. 
+     * However, we do not want dna, because the sync saga should not be merged
+     * and there should be no dynamic composition required from dna.
+     * 
+     * But the default for this api should be for dna to be created, so we add 
+     * this negative flag. 
+     */
+    noDna?: boolean,
     /**
      * space of spaces. Should be a singleton. @see {@link MetaspaceService}
      */
@@ -144,6 +157,7 @@ export async function appendToTimeline({
     metaspace,
     space,
     skipLock,
+    noDna,
 }: {
     timeline: IbGib_V1,
     /**
@@ -222,7 +236,7 @@ export async function appendToTimeline({
                 type: 'rel8', // assuming rel8 is the transform type
                 src: latestTimelineIbGibDto, // Use the latest as the source
                 rel8nsToAddByAddr,
-                dna: true,
+                dna: noDna ? false : true,
                 nCounter: true,
             });
             const newTimelineIbGib = resRel8.newIbGib;
@@ -550,6 +564,7 @@ export async function mut8Timeline<TData extends IbGibData_V1 = any>({
     space,
     skipLock,
     timelineIndexInfo,
+    noDna,
 }: {
     /**
      * timeline ibgib whose `data` we're mutating.
@@ -619,7 +634,7 @@ export async function mut8Timeline<TData extends IbGibData_V1 = any>({
             const resMut8 = await mut8({
                 ...mut8Opts,
                 src: latestTimelineIbGibDto,
-                dna: true,
+                dna: noDna ? false : true,
                 nCounter: true,
             }) as TransformResult<IbGib_V1<TData, any>>;
             const newTimelineIbGib = resMut8.newIbGib;
@@ -728,6 +743,7 @@ export async function createTimeline<TData extends IbGibData_V1 = IbGibData_V1>(
     ib,
     data,
     rel8ns,
+    noDna,
     parentIb,
     parentIbGib,
     metaspace,
@@ -790,9 +806,9 @@ export async function createTimeline<TData extends IbGibData_V1 = IbGibData_V1>(
             ib,
             data,
             rel8ns,
-            // these options are what make this a "timeline"
-            dna: true,
+            dna: noDna ? false : true,
             nCounter: true,
+            squash: noDna ? true : false,
             tjp: { timestamp: true, uuid: true },
         });
 

package/src/witness/space/space-base-v1.mts

@@ -1,21 +1,20 @@
+import { extractErrorMsg } from '@ibgib/helper-gib/dist/helpers/utils-helper.mjs';
 import { getIbGibAddr } from '@ibgib/ts-gib/dist/helper.mjs';
 import { IbGib_V1 } from '@ibgib/ts-gib/dist/V1/index.mjs';
+import { validateIbGibIntrinsically } from '@ibgib/ts-gib/dist/V1/validate-helper.mjs';
 
-
+import { GLOBAL_LOG_A_LOT } from '../../core-constants.mjs';
 import { WitnessBase_V1, } from '../witness-base-v1.mjs';
 import {
-    IbGibSpace, IbGibSpaceData, IbGibSpaceOptionsCmd,
-    IbGibSpaceOptionsCmdModifier, IbGibSpaceOptionsData, IbGibSpaceOptionsIbGib,
-    IbGibSpaceOptionsRel8ns, IbGibSpaceRel8ns, IbGibSpaceResultData,
-    IbGibSpaceResultIbGib, IbGibSpaceResultRel8ns
-} from '../../witness/space/space-types.mjs';
-import { getSpaceResultMetadata } from '../../witness/space/space-helper.mjs';
-import { validateIbGibIntrinsically } from '@ibgib/ts-gib/dist/V1/validate-helper.mjs';
-// import { argy_, resulty_ } from '../witness-helper.mjs';
+    GetDependencyGraphResultData, IbGibSpace, IbGibSpaceData,
+    IbGibSpaceOptionsCmd, IbGibSpaceOptionsCmdModifier, IbGibSpaceOptionsData,
+    IbGibSpaceOptionsIbGib, IbGibSpaceOptionsRel8ns, IbGibSpaceRel8ns,
+    IbGibSpaceResultData, IbGibSpaceResultIbGib, IbGibSpaceResultRel8ns
+} from './space-types.mjs';
+import { getSpaceResultMetadata } from './space-helper.mjs';
+import { getDependencyGraph, GetGraphOptions } from '../../common/other/graph-helper.mjs';
 import { argy_, resulty_ } from '../../witness/witness-helper.mjs';
-// import { IbGibCacheService } from '../../types/ibgib.mjs';
 import { IbGibCacheService } from '../../common/cache/cache-types.mjs';
-import { GLOBAL_LOG_A_LOT } from '../../core-constants.mjs';
 
 const logalot = GLOBAL_LOG_A_LOT;
 
@@ -139,6 +138,8 @@ export abstract class SpaceBase_V1<
                     }
                 } else if (cmdModifiers.includes('addrs')) {
                     return this.getAddrs(arg);
+                } else if (cmdModifiers.includes('dependency-graph')) {
+                    return this.getDependencyGraph(arg);
                 } else {
                     return this.get(arg);
                 }
@@ -280,6 +281,55 @@ export abstract class SpaceBase_V1<
         throw new Error(`${lc} not implemented in base class`);
     }
 
+    /**
+     * gets the entire dependency graph(s) of incoming addr(s).
+     * 
+     * NOTE: Caller will have to manually convert the result.ibGibs to a flag
+     * ibgib graph to match the existing {@link getDependencyGraph} return if
+     * desired. This should be a trivial conversion though, as the keys to the
+     * flat graph are just the {@link getIbGibAddr} on the ibGib itself.
+     * 
+     * @returns resulty ibgib with {@link GetDependencyGraphResultData}
+     */
+    protected getDependencyGraph(arg: TOptionsIbGib): Promise<TResultIbGib | undefined> { return this.getDependencyGraphImpl(arg); }
+    /**
+     * Default implementation of getDependencyGraph uses the helper function
+     * {@link getDependencyGraph} in space-helpers.mts.
+     * 
+     * Override this in subclasses for optimized behavior (e.g. Postgres).
+     */
+    protected async getDependencyGraphImpl(arg: TOptionsIbGib): Promise<TResultIbGib | undefined> {
+        const lc = `${this.lc}[${this.getDependencyGraphImpl.name}]`;
+        try {
+            if (logalot) { console.log(`${lc} starting... (I: 0e5fe807a0169224781f6c2833f34826)`); }
+            if (!arg.data) { throw new Error(`(UNEXPECTED) arg.data falsy? (E: 45eba816295a97a0e55f981861a03f26)`); }
+            if ((arg.data.ibGibAddrs ?? []).length === 0) {
+                throw new Error(`arg.data.ibGibAddrs is falsy/empty (E: 70adc939c7b80c9938d8fa18fd7c5826)`);
+            }
+            const opts: GetGraphOptions = {
+                space: this,
+                ibGibAddrs: arg.data.ibGibAddrs!,
+                live: (arg.data as any).live || true,
+            };
+            const graph = await getDependencyGraph(opts);
+            const ibGibs = Object.values(graph) as TIbGib[];
+            const resultData: GetDependencyGraphResultData = {
+                optsAddr: getIbGibAddr({ ibGib: arg }),
+                count: ibGibs.length,
+                addrs: Object.keys(graph),
+            };
+            return this.resulty({
+                resultData: resultData as any as TResultData,
+                ibGibs,
+            });
+        } catch (error) {
+            console.error(`${lc} ${extractErrorMsg(error)}`);
+            throw error;
+        } finally {
+            if (logalot) { console.log(`${lc} complete.`); }
+        }
+    }
+
     /**
      * Centralized location for general argument validation for a given witness.
      *
@@ -362,7 +412,7 @@ export abstract class SpaceBase_V1<
             }
             return errors;
         } catch (error) {
-            console.error(`${lc} ${error.message}`);
+            console.error(`${lc} ${extractErrorMsg(error)}`);
             throw error;
         } finally {
             if (errors?.length > 0) { console.error(`${lc} errors: ${errors}`); }

package/src/witness/space/space-helper.mts

@@ -25,7 +25,8 @@ import { TagData_V1, TagIbGib_V1 } from '../../common/tag/tag-types.mjs';
 import { BOOTSTRAP_DATA_DEFAULT_SPACE_ID_KEY, BOOTSTRAP_DATA_KNOWN_SPACE_IDS_KEY, BOOTSTRAP_IBGIB_ADDR } from './bootstrap/bootstrap-constants.mjs';
 import {
     SpaceLockScope, IbGibSpaceLockIbGib, SpaceId, IbGibSpaceLockOptions, TxId,
-    IbGibSpaceResultIbGib, IbGibSpaceResultData, IbGibSpaceResultRel8ns, SpaceType, SpaceSubtype, VALID_SPACE_TYPES, VALID_SPACE_SUBTYPES, IbGibSpaceData
+    IbGibSpaceResultIbGib, IbGibSpaceResultData, IbGibSpaceResultRel8ns, SpaceType, SpaceSubtype, VALID_SPACE_TYPES, VALID_SPACE_SUBTYPES, IbGibSpaceData,
+    IbGibSpaceOptionsCmd, IbGibSpaceOptionsCmdModifier,
 } from './space-types.mjs';
 import { getAppIb, } from '../app/app-helper.mjs';
 import { AppData_V1, AppIbGib_V1 } from '../app/app-types.mjs';
@@ -3430,3 +3431,51 @@ export function spaceNameIsValid(name: string): boolean {
         return false;
     }
 }
+
+/**
+ * wrapper for getting dependency graph from a space.
+ * 
+ * NOTE: This calls the witness space with the command. This is NOT the
+ * same as the logic helper in graph-helper.mts which performs the graph
+ * traversal logic potentially in-memory or naively.
+ */
+export async function getDependencyGraph({
+    space,
+    ibGibAddrs,
+    live,
+}: {
+    space: IbGibSpaceAny,
+    ibGibAddrs: IbGibAddr[],
+    live?: boolean,
+}): Promise<{ [addr: string]: IbGib_V1 } | null> {
+    const lc = `[${getDependencyGraph.name}]`;
+    try {
+        if (!space) { throw new Error(`space required (E: 8f2441c099084898953153549725f778)`); }
+        if ((ibGibAddrs ?? []).length === 0) { throw new Error(`ibGibAddrs required (E: 9c3b8853609841808093153927649526)`); }
+
+        const argData: any = {
+            cmd: IbGibSpaceOptionsCmd.get,
+            cmdModifiers: [IbGibSpaceOptionsCmdModifier.dependencyGraph],
+            ibGibAddrs,
+            live,
+        };
+        const arg = await space.argy({ argData });
+
+        const result = await space.witness(arg);
+        if (result?.data?.success) {
+            const graph: { [addr: string]: IbGib_V1 } = {};
+            if (result.ibGibs) {
+                for (const ibGib of result.ibGibs) {
+                    const addr = getIbGibAddr({ ibGib });
+                    graph[addr] = ibGib;
+                }
+            }
+            return graph;
+        } else {
+            return null;
+        }
+    } catch (error) {
+        console.error(`${lc} ${extractErrorMsg(error)}`);
+        throw error;
+    }
+}

package/src/witness/space/space-respec-helper.mts

@@ -29,7 +29,8 @@ import { Factory_V1 as factory } from '@ibgib/ts-gib/dist/V1/factory.mjs';
 
 import {
     deleteFromSpace, getFromSpace, getLatestAddrs, parseSpaceIb,
-    persistTransformResult, putInSpace, registerNewIbGib
+    persistTransformResult, putInSpace, registerNewIbGib,
+    getDependencyGraph,
 } from "./space-helper.mjs";
 import { IbGibSpaceAny } from "./space-base-v1.mjs";
 import { IbGibTimelineUpdateInfo } from '../../common/other/other-types.mjs';

package/src/witness/space/space-types.mts

@@ -226,7 +226,7 @@ export const IbGibSpaceOptionsCmd = {
  * Flags to affect the command's interpretation.
  */
 export type IbGibSpaceOptionsCmdModifier =
-    'can' | 'addrs' | 'latest' | 'watch' | 'unwatch' | 'tjps';
+    'can' | 'addrs' | 'latest' | 'watch' | 'unwatch' | 'tjps' | 'dependency-graph';
 /**
  * Flags to affect the command's interpretation.
  */
@@ -266,6 +266,10 @@ export const IbGibSpaceOptionsCmdModifier = {
      * Get the tjp ibgibs/addrs for given ibgib(s)
      */
     tjps: 'tjps' as IbGibSpaceOptionsCmdModifier,
+    /**
+     * Modifies the get command to retrieve a dependency graph.
+     */
+    dependencyGraph: 'dependency-graph' as IbGibSpaceOptionsCmdModifier,
 }
 
 /** Information for interacting with spaces. */
@@ -485,3 +489,11 @@ export interface IbGibSpaceLockIbGib
  * Marker type to indicate that a string is meant to be a transmission id.
  */
 export type TxId = 'string';
+
+/**
+ * we have a getDependencyGraph wrapper in the space base. This is the type of
+ * that's result data.
+ */
+export interface GetDependencyGraphResultData extends IbGibSpaceResultData {
+    count: number;
+}

package/tmp.md

@@ -1,11 +1,5 @@
-OK, ty. The space-wide sync approach is not tenable. That is like trying to sync Alice's entire logical drive with Bob's entire logical drive instead of a particular folder on the drive. Your thinking that a single Domain IbGib does not contain many timelines is faulty. A dependency graph of a "single" domain may contain multiple, or even many/a great many, timelines. Think of this like in set theory and we are creating an isomorphic projection of nodes. I say isomorphic and not homomorphic, because we may have to do merges for timelines, so it really is a "one-way" projection. Though obviously, with "sync" being bi-directional, we are ultimately converging on both endpoints having "equivalent" timelines (there may be orphans on one and/or the other after merges, with either endpoint effectively doing a "rebase"). So our sync process has to start with getting a "live" dependency graph of a single domain ibgib. We can actually do multiple domain ibgibs, and then unify the entire dependency graph in the sync transmission ibgib, but I think it's best to just build for the single ibgib scenario. You can look at@beautifulMention, but I would really recommend looking at the entire @beautifulMentionfile. This is a non-trivial recursive function, but you should be able to fully grok it by looking at both the jsdocs/comments in that file and the code itself. Always look at the code itself of course!
+OK nice sketch! We need to drastically wrangle in the complexity to nice methods, like we have with `createSyncMsgStone`, `evolveSyncSagaIbGib`, etc. 
 
-That dependency graph comes in the form a @beautifulMention as defined by this:
-
-```
-/**
- * Map of addr -> ibGib
- */
-export type FlatIbGibGraph = { [addr: string]: IbGib_V1 };
-```
+Also, we need to get this to a finite state machine-like execution. The `sync` method should do the initial setup regarding the saga info object, the temp space, and the session identity. But the analyzeTimelines is specific to the init frame and should be refactored into the FSM method specific to init. So we need to separate the saga meta-setup and the saga initial frame. 
 
+Also, I don't think we can just naively call `updates$.complete()` like that at the end. This will end up being a recursive or do/while loop with msg/response with the peer.