@ibgib/core-gib 0.1.54 → 0.1.55

package/src/keystone/keystone-service-v1.respec.mts

@@ -2,7 +2,7 @@ import {
     respecfully, iReckon, ifWe, firstOfAll, firstOfEach, lastOfAll, lastOfEach, respecfullyDear, ifWeMight
 } from '@ibgib/helper-gib/dist/respec-gib/respec-gib.mjs';
 const maam = `[${import.meta.url}]`, sir = maam;
-import { clone, hash } from '@ibgib/helper-gib/dist/helpers/utils-helper.mjs';
+import { clone, hash, getUUID } from '@ibgib/helper-gib/dist/helpers/utils-helper.mjs';
 import { IbGib_V1 } from '@ibgib/ts-gib/dist/V1/types.mjs';
 import { getIbGibAddr } from '@ibgib/ts-gib/dist/helper.mjs';
 
@@ -17,79 +17,6 @@ import { addToBindingMap } from './keystone-helpers.mjs';
 const logalot = GLOBAL_LOG_A_LOT;
 
 
-// /**
-//  * not sure where to put this, but we probably will want to reuse this in the
-//  * future (assuming it works)
-//  * @returns metaspace service reference
-//  */
-// async function getNewInitializedInMemoryMetaspaceForTesting({
-//     defaultSpaceName,
-// }: {
-//     defaultSpaceName: string,
-// }): Promise<MetaspaceService> {
-//     const lc = `[${getNewInitializedInMemoryMetaspaceForTesting.name}]`;
-//     try {
-//         if (logalot) { console.log(`${lc} starting... (I: 766d7596addcb73f4820586469233b25)`); }
-
-//         let metaspace = new Metaspace_Innerspace(/*cacheSvc*/undefined);
-//         if (logalot) { console.log(`${lc} creating metaspace complete. initializing... (I: 61b74d62e8832c9fa853e4b8c4c2d825)`); }
-//         getGibInfo()
-
-//         await metaspace.initialize({
-//             spaceName: defaultSpaceName,
-//             /**
-//              * passing in undefined will use the defaults. probably will need to
-//              * adjust this for testing purposes, but let's see what happens with
-//              * this first.
-//              */
-//             metaspaceFactory: {
-//                 fnDtoToSpace: async () => {
-//                     if (!currentSpace) { currentSpace = new IbGibTestSpace(); }
-//                     return currentSpace;
-//                 },
-//                 fnZeroSpaceFactory: () => {
-//                     if (!currentZeroSpace) { currentZeroSpace = new IbGibTestSpace(); }
-//                     return currentZeroSpace;
-//                 },
-//                 fnDefaultLocalSpaceFactory: async () => {
-//                     if (!currentSpace) { currentSpace = new IbGibTestSpace(); }
-//                     return currentSpace;
-//                 },
-
-//                 // export type DtoToSpaceFunction = (spaceDto: IbGib_V1) => Promise<IbGibSpaceAny>;
-//                 // export type ZeroSpaceFactoryFunction = () => IbGibSpaceAny;
-//                 // export type LocalSpaceFactoryFunction = (opts: CreateLocalSpaceOptions) => Promise<IbGibSpaceAny | undefined>;
-//             },
-//             getFnAlert: () => { return async ({ title, msg }) => console.log(title, msg) },
-//             getFnPrompt: () => {
-//                 return async ({ title, msg }) => {
-//                     // if this is needed, we might set up some way for testing
-//                     // to prepare either a queue of prompts or some kind of map or getter
-//                     // and put it on the metaspace itself
-//                     throw new Error(`not implemented (E: c7ef688a02f8cb74487260f9274ac825)`);
-//                     // promptForText({ title, msg, confirm: false });
-//                 }
-//             },
-//             getFnPromptPassword: () => {
-//                 return async () => {
-//                     // similar to getFnPrompt, if we need a _different_
-//                     // password, we might set up some way for testing to prepare
-//                     // either a queue of passwords or some kind of map or getter
-//                     // and put it on the metaspace itself
-//                     return 'password';
-//                     // promptForSecret({ confirm: true })
-//                 }
-//             },
-//         });
-//         return metaspace;
-//     } catch (error) {
-//         console.error(`${lc} ${extractErrorMsg(error)}`);
-//         throw error;
-//     } finally {
-//         if (logalot) { console.log(`${lc} complete.`); }
-//     }
-// }
-
 /**
  * A simple in-memory map acting as a Space.
  * Pure Storage. No Indexing logic.
@@ -115,8 +42,8 @@ class MockIbGibSpace {
             const addrs = arg.data.ibGibAddrs || [];
             const ibGibs: IbGib_V1[] = [];
             for (const addr of addrs) {
-                const ig = await this.get({ addr });
-                if (ig) ibGibs.push(ig);
+                const x = await this.get({ addr });
+                if (x) { ibGibs.push(x); }
             }
             return { ibGibs };
         }
@@ -190,13 +117,14 @@ await respecfully(sir, 'Suite A: Strategy Vectors (HashRevealV1)', async () => {
 
     // Setup generic variables
     const masterSecret = "TestSecret_12345";
-    const salt = "TestPool";
+    const poolId = "TestPool";
     let config: KeystonePoolConfig_HashV1;
 
     firstOfAll(sir, async () => {
         // Use our standard builder to get a valid config object
+        const salt = (await getUUID()).substring(0, 16);
         config = createStandardPoolConfig({
-            id: salt,
+            id: poolId,
             salt,
         }) as KeystonePoolConfig_HashV1;
     });
@@ -243,7 +171,7 @@ await respecfully(sir, 'Suite A: Strategy Vectors (HashRevealV1)', async () => {
             const challengeId = "a3ff7843552870fc28bef2b"; // arbitrary random challengeId
 
             // 1. Generate Solution
-            const solution = await strategy.generateSolution({ poolSecret, poolId: salt, challengeId });
+            const solution = await strategy.generateSolution({ poolSecret, poolId: config.id, challengeId });
             iReckon(sir, solution.value).asTo('solution value exists').isGonnaBeTruthy();
             iReckon(sir, solution.challengeId).asTo('id matches').willEqual(challengeId);
 
@@ -262,7 +190,7 @@ await respecfully(sir, 'Suite A: Strategy Vectors (HashRevealV1)', async () => {
             const challengeId = "8c994f3ed598f150e25513"; // arbitrary random challengeId
 
             // Generate real pair
-            const solution = await strategy.generateSolution({ poolSecret, poolId: salt, challengeId });
+            const solution = await strategy.generateSolution({ poolSecret, poolId: config.id, challengeId });
             const challenge = await strategy.generateChallenge({ solution });
 
             // Tamper with solution value
@@ -278,11 +206,11 @@ await respecfully(sir, 'Suite A: Strategy Vectors (HashRevealV1)', async () => {
 
             // Generate pair A
             const challengeId_A = "416c38cfd6ee63dbf8d4e5ef36"; // arbitrary random challengeId
-            const solutionA = await strategy.generateSolution({ poolSecret, poolId: salt, challengeId: challengeId_A });
+            const solutionA = await strategy.generateSolution({ poolSecret, poolId: config.id, challengeId: challengeId_A });
 
             // Generate pair B
             const challengeId_B = "c487ef6b7878fae798c3"; // arbitrary random challengeId
-            const solutionB = await strategy.generateSolution({ poolSecret, poolId: salt, challengeId: challengeId_B });
+            const solutionB = await strategy.generateSolution({ poolSecret, poolId: config.id, challengeId: challengeId_B });
             const challengeB = await strategy.generateChallenge({ solution: solutionB });
 
             // Check A against B
@@ -314,9 +242,10 @@ await respecfully(sir, 'Suite B: Service Lifecycle', async () => {
 
     await respecfully(sir, 'Genesis', async () => {
         await ifWe(sir, 'creates a valid genesis frame and persists it', async () => {
+            const salt = (await getUUID()).substring(0, 16);
             const config = createStandardPoolConfig({
                 id: POOL_ID_DEFAULT,
-                salt: POOL_ID_DEFAULT,
+                salt,
             });
 
             genesisKeystone = await service.genesis({
@@ -406,9 +335,10 @@ await respecfully(sir, 'Suite C: Security Vectors', async () => {
         mockMetaspace = new MockMetaspaceService(mockSpace);
 
         // Setup Alice's Identity
+        const salt = (await getUUID()).substring(0, 16);
         const config = createStandardPoolConfig({
             id: POOL_ID_DEFAULT,
-            salt: POOL_ID_DEFAULT,
+            salt,
             targetBinding: 0,
             size: 10,
         });
@@ -509,13 +439,15 @@ await respecfully(sir, 'Suite D: Revocation', async () => {
         mockMetaspace = new MockMetaspaceService(mockSpace);
 
         // Setup Identity WITH a Revocation Pool
+        const stdSalt = (await getUUID()).substring(0, 16);
+        const revokeSalt = (await getUUID()).substring(0, 16);
         const stdConfig = createStandardPoolConfig({
             id: POOL_ID_DEFAULT,
-            salt: POOL_ID_DEFAULT,
+            salt: stdSalt,
         });
         const revokeConfig = createRevocationPoolConfig({
             id: POOL_ID_REVOKE,
-            salt: POOL_ID_REVOKE,
+            salt: revokeSalt,
         }); // Special Config
 
         genesisKeystone = await service.genesis({
@@ -588,7 +520,8 @@ await respecfully(sir, 'Suite E: Structural Evolution (addPools)', async () => {
 
     // Helper to generate a "Foreign" pool (e.g. from Bob)
     const createForeignPool = async (id: string, verbs: string[] = []): Promise<KeystoneChallengePool> => {
-        const config = createStandardPoolConfig({ id, salt: id });
+        const salt = (await getUUID()).substring(0, 16);
+        const config = createStandardPoolConfig({ id, salt });
         config.allowedVerbs = verbs;
 
         // We use the factory manually here to simulate Bob doing this offline
@@ -625,7 +558,8 @@ await respecfully(sir, 'Suite E: Structural Evolution (addPools)', async () => {
         mockMetaspace = new MockMetaspaceService(mockSpace);
 
         // Alice Genesis: Standard pool (allows all verbs, including 'manage')
-        const config = createStandardPoolConfig({ id: POOL_ID_DEFAULT, salt: POOL_ID_DEFAULT });
+        const salt = (await getUUID()).substring(0, 16);
+        const config = createStandardPoolConfig({ id: POOL_ID_DEFAULT, salt });
         aliceKeystone = await service.genesis({
             masterSecret: aliceSecret,
             configs: [config],
@@ -746,7 +680,8 @@ await respecfully(sir, 'Suite E: Structural Evolution (addPools)', async () => {
 
     // Helper to simulate Bob creating a pool "offline" to give to Alice
     const createForeignPool = async (id: string, verbs: string[] = []): Promise<KeystoneChallengePool> => {
-        const config = createStandardPoolConfig({ id, salt: id });
+        const salt = (await getUUID()).substring(0, 16);
+        const config = createStandardPoolConfig({ id, salt });
         config.allowedVerbs = verbs;
 
         // We use the factory manually here to simulate Bob doing this on his own machine
@@ -783,9 +718,10 @@ await respecfully(sir, 'Suite E: Structural Evolution (addPools)', async () => {
         mockMetaspace = new MockMetaspaceService(mockSpace);
 
         // Alice Genesis: Standard pool (allows all verbs, including 'manage')
+        const salt = (await getUUID()).substring(0, 16);
         const config = createStandardPoolConfig({
             id: POOL_ID_DEFAULT,
-            salt: POOL_ID_DEFAULT,
+            salt,
         });
         aliceKeystone = await service.genesis({
             masterSecret: aliceSecret,
@@ -899,27 +835,27 @@ await respecfully(sir, 'Suite F: Deep Inspection', async () => {
 
     const service = new KeystoneService_V1();
     const aliceSecret = "Alice_Deep_Inspect";
-    const salt = "granularity_pool";
+    const poolId = "granularity_pool";
 
     let mockSpace: MockIbGibSpace;
     let mockMetaspace: any;
     let genesisKeystone: KeystoneIbGib_V1;
-
     let signedKeystone: KeystoneIbGib_V1;
-
-    // We use a specific hybrid config to test exact selection logic
-    const hybridConfig = createStandardPoolConfig({
-        id: salt,
-        salt,
-        // 2 FIFO + 2 Random = 4 Total per sign
-        sequential: 2, random: 2, targetBinding: 0,
-        size: 20, // Small enough to track, large enough to be random
-    }) as KeystonePoolConfig_HashV1;
+    let hybridConfig: KeystonePoolConfig_HashV1;
 
     firstOfAll(sir, async () => {
         mockSpace = new MockIbGibSpace();
         mockMetaspace = new MockMetaspaceService(mockSpace);
 
+        const salt = (await getUUID()).substring(0, 16);
+        hybridConfig = createStandardPoolConfig({
+            id: poolId,
+            salt,
+            // 2 FIFO + 2 Random = 4 Total per sign
+            sequential: 2, random: 2, targetBinding: 0,
+            size: 20, // Small enough to track, large enough to be random
+        }) as KeystonePoolConfig_HashV1;
+
         genesisKeystone = await service.genesis({
             masterSecret: aliceSecret,
             configs: [hybridConfig],
@@ -949,7 +885,7 @@ await respecfully(sir, 'Suite F: Deep Inspection', async () => {
 
         await ifWe(sir, 'verifies the math manually (White-box Crypto Check)', async () => {
             const proof = signedKeystone.data!.proofs[0];
-            const poolSnapshot = genesisKeystone.data!.challengePools.find(p => p.id === salt)!;
+            const poolSnapshot = genesisKeystone.data!.challengePools.find(p => p.id === poolId)!;
 
             // We iterate every solution in the proof and MANUALLY verify the hash relationship
             // bypassing the Service's validation logic to ensure the raw math holds up.
@@ -978,7 +914,7 @@ await respecfully(sir, 'Suite F: Deep Inspection', async () => {
 
         await ifWe(sir, 'verifies FIFO logic (Deterministic Selection)', async () => {
             const proof = signedKeystone.data!.proofs[0];
-            const poolSnapshot = genesisKeystone.data!.challengePools.find(p => p.id === salt)!;
+            const poolSnapshot = genesisKeystone.data!.challengePools.find(p => p.id === poolId)!;
 
             // The first N keys in the pool should be the FIFO targets.
             // Assumption: Object.keys returns insertion order (Standard in modern JS engines)

package/src/keystone/keystone-types.mts

@@ -349,6 +349,12 @@ export interface KeystoneData_V1 extends IbGibData_V1 {
      * to the next frame's data during evolution.
      */
     frameDetails?: any;
+
+    /**
+     * Aggregated state of the Keystone identity up to this frame.
+     * Acts as a snapshot to avoid walking the entire timeline.
+     */
+    checkpointDetails?: any;
 }
 
 export interface KeystoneRel8ns_V1 extends IbGibRel8ns_V1 {

package/src/sync/README.md

@@ -174,3 +174,21 @@ See [graft-info-helpers.mts](file:./graft-info/graft-info-helpers.mts) for imple
 
 ## Verification
 We rely on rigorous In-Memory Simulation (`InnerSpace`) to verify complex graph scenarios. See **[Verification](./docs/verification.md)** for the full status.
+
+---
+
+## ❓ Open Questions
+
+### Payload Scope Validation: Can the Protocol Police What ibGibs Are Transmitted?
+
+**Question**: During a sync session authorized by session substone S (itself authorized by domain keystone I with `claim.target = S^Stjp` and sync subject `X^X10.Xtjp`), should the server validate that all Delta payload ibgibs are genuinely related to X's timeline? Or is it sufficient that they arrive under a valid substone?
+
+**Context**: The substone's `frameDetails` records both the parent identity `I^Itjp` and the sync subject `X^X10.Xtjp`. In theory the server could walk the dependency graph of each incoming Delta payload and confirm every ibgib is either:
+- A control ibgib (sync saga, context, substone frames), or
+- Part of the dependency graph rooted at some frame of X's timeline (`X^Xtjp`)
+
+**Problem**: This check may not be enforceable at the protocol layer. A client who controls the keystone (has the master secret) could always evolve X's timeline to hard-link any arbitrary ibgib, and that ibgib would then pass the "is in X's dependency graph" check. So the constraint can be trivially bypassed by the legitimate key-holder, making it only useful against *illegitimate* actors — who are already blocked by the keystone proof requirement.
+
+**Current position**: This is likely a **higher-layer business rule** rather than a sync protocol concern. The sync protocol's job is to ensure the session is cryptographically authorized (via keystone proofs). What is stored under an authorized session is the domain owner's responsibility. Enforcement of content policies (e.g., "only ibgibs of type X are allowed") belongs in the server's `authorizeContext` hook, not in the core sync coordinator.
+
+**Tracked in**: `space-gib.sync-walkthrough.md`

package/src/sync/docs/architecture.md

@@ -67,3 +67,24 @@ The protocol supports two types of data:
 ## 4. Security & Identity
 *   **Session Keystone**: Each Saga can optionally generate an ephemeral identity to sign frames, linked to a master identity. ⚠️ **Currently non-functional** - see [README Session Identity section](file:../README.md#session-identity-usesessionidentity) for status.
 *   **Trust Chain**: Each frame points to the previous one (`past` rel8n), creating a hash-linked chain of custody.
+
+> [!WARNING]
+> ## 5. Sync Storage & Persistence Rules (Critical Security)
+>
+> Knowing **when** to put **what** ibgib frames into **which** space is a high-priority security concern. The sync algorithm must balance maintaining a robust audit trail with protecting durable spaces from unauthorized pollution. Always follow these rules:
+>
+> ### Rule 1: Saga/Control Audit Trail (Immediate Persistence)
+> We need an audit trail of the sync saga itself (including context and identity info).
+> * The initial session keystone (or any valid evolution performed locally) and saga control ibgibs are trusted because *we* just generated them.
+> * Persist these immediately in the **local durable space** (and possibly the local temporary space if needed for transit) so they are available for validation and auditing.
+>
+> ### Rule 2: Domain IbGibs (Deferred Persistence)
+> We do NOT persist *any* domain ibgibs (e.g., user payloads) into the durable space before the `commit` phase of the sync process.
+> * Domain ibgibs must be routed to the **tempSpace** during the `delta` or `ack` phases. 
+> * The `commit` phase acts as the transaction boundary. By waiting for the commit, we avoid polluting durable spaces on error, preventing the need for complex rollbacks.
+>
+> ### Rule 3: Validate First, Store Second
+> We never chance storing intrinsically invalid ibgibs.
+> * **First step:** Intrinsically validate ibgibs (hashes, basic structure).
+> * **Second step:** Perform AuthN/AuthZ checks (using the ephemeral session keystone).
+> * **Final step:** Once verified, saga "control" ibgibs (which only contain "soft" links to domain ibgibs) can be safely persisted to durable spaces.

package/src/sync/graft-info/graft-info-helpers.respec.mts

@@ -8,7 +8,7 @@ await respecfully(sir, 'Graft Info Helpers', async () => {
 
     await respecfully(sir, 'mergeTextLCS', async () => {
 
-        await ifWe(sir, 'mergeTextLCS should interleave unique lines (A then B)', async () => {
+        await ifWeMight(sir, 'mergeTextLCS should interleave unique lines (A then B)', async () => {
             const textA = "Line 1\nLine A\nLine 3";
             const textB = "Line 1\nLine B\nLine 3";
             const res = await mergeTextByLongestCommonSubsequence({ textA, textB });
@@ -16,7 +16,7 @@ await respecfully(sir, 'Graft Info Helpers', async () => {
             iReckon(sir, res).asTo('result').isGonnaBe(expected);
         });
 
-        await ifWe(sir, 'mergeTextLCS should handle insertions', async () => {
+        await ifWeMight(sir, 'mergeTextLCS should handle insertions', async () => {
             const textA = "Line 1\nLine 3";
             const textB = "Line 1\nLine 2\nLine 3";
             const res = await mergeTextByLongestCommonSubsequence({ textA, textB });
@@ -24,7 +24,7 @@ await respecfully(sir, 'Graft Info Helpers', async () => {
             iReckon(sir, res).asTo('result').isGonnaBe(expected);
         });
 
-        await ifWe(sir, 'mergeTextLCS should handle appends', async () => {
+        await ifWeMight(sir, 'mergeTextLCS should handle appends', async () => {
             const textA = "Line 1";
             const textB = "Line 1\nLine 2";
             const res = await mergeTextByLongestCommonSubsequence({ textA, textB });
@@ -32,7 +32,7 @@ await respecfully(sir, 'Graft Info Helpers', async () => {
             iReckon(sir, res).asTo('result').isGonnaBe(expected);
         });
 
-        await ifWe(sir, 'mergeTextLCS should handle simultaneous list additions', async () => {
+        await ifWeMight(sir, 'mergeTextLCS should handle simultaneous list additions', async () => {
             const textA = "- Item 1\n- Item 2\n- Item A";
             const textB = "- Item 1\n- Item 2\n- Item B";
             const res = await mergeTextByLongestCommonSubsequence({ textA, textB });
@@ -42,7 +42,7 @@ await respecfully(sir, 'Graft Info Helpers', async () => {
             iReckon(sir, res).asTo('result').isGonnaBe(expected);
         });
 
-        await ifWe(sir, 'mergeTextLCS should handle distinct modifications in code block', async () => {
+        await ifWeMight(sir, 'mergeTextLCS should handle distinct modifications in code block', async () => {
             const textA = `function foo() {
     console.log("start");
     doA();
@@ -64,7 +64,7 @@ await respecfully(sir, 'Graft Info Helpers', async () => {
             iReckon(sir, res).asTo('result').isGonnaBe(expected);
         });
 
-        await ifWe(sir, 'mergeTextLCS should return same string if identical', async () => {
+        await ifWeMight(sir, 'mergeTextLCS should return same string if identical', async () => {
             const textA = "Hello";
             const res = await mergeTextByLongestCommonSubsequence({ textA, textB: textA });
             iReckon(sir, res).asTo('result').isGonnaBe(textA);
@@ -75,7 +75,7 @@ await respecfully(sir, 'Graft Info Helpers', async () => {
     await respecfully(sir, 'graftTimelines', async () => {
         // We need a more complex setup to test this properly (mock space, etc.)
         // For now, this placeholder ensures the test file runs.
-        await ifWe(sir, 'graftTimelines placeholders', async () => {
+        await ifWeMight(sir, 'graftTimelines placeholders', async () => {
             iReckon(sir, true).isGonnaBeTrue();
         });
     });

package/src/sync/sync-conflict-adv-multitimelines.respec.mts

@@ -15,7 +15,7 @@ import { getIbGibAddr } from '@ibgib/ts-gib/dist/helper.mjs';
 import { IbGibData_V1, IbGib_V1 } from '@ibgib/ts-gib/dist/V1/types.mjs';
 
 import { GLOBAL_LOG_A_LOT } from '../core-constants.mjs';
-import { TestTransformer, getTestKeystoneServiceHelper } from '../test-helpers.mjs';
+import { TestTransformer, } from '../test-helpers.mjs';
 import { TestMut8Info, } from '../test-types.mjs';
 import { SyncSagaCoordinator } from './sync-saga-coordinator.mjs';
 import { getFromSpace } from '../witness/space/space-helper.mjs';
@@ -78,14 +78,14 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
     const testTransformer = new TestTransformer(metaspace, sourceSpace, destSpace);
 
     if (logalot) { console.log(`${lc} Setting up Coordinators...`); }
-    const mockKeystone = await getTestKeystoneServiceHelper();
-    const senderCoordinator = new SyncSagaCoordinator(mockKeystone);
-    const receiverCoordinator = new SyncSagaCoordinator(mockKeystone);
+    const senderCoordinator = new SyncSagaCoordinator();
+    const receiverCoordinator = new SyncSagaCoordinator();
 
     async function newTestPeer(): Promise<SyncPeerInnerspace_V1> {
         const peer = new SyncPeerInnerspace_V1(clone(SYNC_PEER_INNERSPACE_DEFAULT_DATA_V1));
         await peer.initialized;
         await peer.initializeOpts({
+            localMetaspace: metaspace,
             localSpace: sourceSpace,
             receiverSpace: destSpace,
             receiverCoordinator: receiverCoordinator,
@@ -127,7 +127,7 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
     // #endregion r1 setup
 
     await respecfully(sir, `r1 verify pre`, async () => {
-        await ifWe(sir, 'dest should NOT have alpha', async () => {
+        await ifWeMight(sir, 'dest should NOT have alpha', async () => {
             const resGet = await getFromSpace({
                 space: destSpace,
                 addr: alpha_tjpAddr,
@@ -144,14 +144,13 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
         metaspace,
         domainIbGibs: [r1_alpha_v1_source_common.ibGib],
         conflictStrategy: SyncConflictStrategy.optimisticWithLCS,
-        useSessionIdentity: false,
     });
 
     await r1_syncSaga.done;
     if (logalot) { console.log(`${lc} r1_syncSaga Complete.`); }
 
     await respecfully(sir, `r1 verify post`, async () => {
-        await ifWe(sir, 'dest should have alpha', async () => {
+        await ifWeMight(sir, 'dest should have alpha', async () => {
             // alpha's full dep graph should exist on dest
             const [alpha_dest] = await getIbGibsFromCache_fallbackToSpaces({
                 addrs: [r1_alpha_v0_source.addr],
@@ -231,7 +230,7 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
     // Verify Receiver has correct KV (Pre-Sync Check)
     // This ensures the conflict precondition exists.
     await respecfully(sir, `r2 verify pre`, async () => {
-        await ifWe(sir, 'dest has alpha v1 common', async () => {
+        await ifWeMight(sir, 'dest has alpha v1 common', async () => {
             try {
                 const destKV = await receiverCoordinator.getKnowledgeMap({
                     space: destSpace,
@@ -265,7 +264,6 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
             metaspace,
             domainIbGibs: [r2_alpha_v3_source_rel8dBeta.ibGib],
             conflictStrategy: SyncConflictStrategy.optimisticWithLCS,
-            useSessionIdentity: false,
         });
 
         if (logalot) { console.log(`${lc} awaiting r2_syncSaga.done`) }
@@ -310,7 +308,7 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
             if (!alpha_dest_tipAddr) {
                 throw new Error(`dest Space missing timeline tip for ${alpha_tjpAddr} (E: 30b018c6349917aa28c9f538fa567826)`);
             }
-            await ifWe(sir, 'tip addrs', async () => {
+            await ifWeMight(sir, 'tip addrs', async () => {
                 iReckon(sir, alpha_source_tipAddr).asTo('source/dest have same tip addrs').isGonnaBe(alpha_dest_tipAddr);
             })
 
@@ -336,7 +334,7 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
             // #endregion DEBUG SANITY CHECK
 
 
-            await ifWe(sir, 'r2 basics of alpha merge', async () => {
+            await ifWeMight(sir, 'r2 basics of alpha merge', async () => {
                 iReckon(sir, alpha_source_tipAddr)
                     .asTo(`Source Tip (${alpha_source_tipAddr}) should NOT be r2_alpha_v3_source_rel8dBeta`)
                     .not.isGonnaBe(r2_alpha_v3_source_rel8dBeta.addr);
@@ -359,7 +357,7 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
                 iReckon(sir, gotten_alpha_source_tipIbGib.data![r2_dest_mut8Info.key!]).asTo(`New Tip has dest field ${r2_dest_mut8Info.key!}`).isGonnaBe(r2_dest_mut8Info.value!);
             });
 
-            await ifWe(sir, 'r2 alpha and deps synced', async () => {
+            await ifWeMight(sir, 'r2 alpha and deps synced', async () => {
                 // alpha's full dep graph should exist on dest, even though its
                 // timeline was grafted
                 const [alpha_dest] = await getIbGibsFromCache_fallbackToSpaces({
@@ -392,7 +390,7 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
                 }
             });
 
-            await ifWe(sir, 'r2 beta and deps synced', async () => {
+            await ifWeMight(sir, 'r2 beta and deps synced', async () => {
                 // beta's full dep graph should exist on dest
                 const [beta_dest] = await getIbGibsFromCache_fallbackToSpaces({
                     addrs: [r2_beta_v0_source.addr],
@@ -512,7 +510,7 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
     // #endregion r3 dest edits
 
     await respecfully(sir, `r3 verify pre`, async () => {
-        await ifWe(sir, 'dest has both alpha and beta tips (pre-conflict)', async () => {
+        await ifWeMight(sir, 'dest has both alpha and beta tips (pre-conflict)', async () => {
             try {
                 const destKV = await receiverCoordinator.getKnowledgeMap({
                     space: destSpace,
@@ -544,7 +542,6 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
             metaspace,
             domainIbGibs: [r3_alpha_v4_source_mut8fieldC.ibGib, r3_beta_v1_source.ibGib],
             conflictStrategy: SyncConflictStrategy.optimisticWithLCS,
-            useSessionIdentity: false,
         });
 
         if (logalot) { console.log(`${lc} awaiting r3_syncSaga.done`) }
@@ -588,13 +585,13 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
             });
             const r3_beta_dest_tipAddr = beta_destKV_afterR3[beta_tjpAddr];
             if (!r3_beta_dest_tipAddr) {
-                await ifWe(sir, 'r3_beta_dest_tipAddr is falsy?', async () => {
+                await ifWeMight(sir, 'r3_beta_dest_tipAddr is falsy?', async () => {
                     iReckon(sir, true).asTo('fail').isGonnaBeFalse();
                 });
                 return; /* <<<< returns early */
             }
 
-            await ifWe(sir, 'r3 tip addrs match (both timelines)', async () => {
+            await ifWeMight(sir, 'r3 tip addrs match (both timelines)', async () => {
                 iReckon(sir, r3_alpha_source_tipAddr).asTo('alpha source/dest have same tip addrs').isGonnaBe(r3_alpha_dest_tipAddr);
                 iReckon(sir, r3_beta_source_tipAddr).asTo('beta source/dest have same tip addrs').isGonnaBe(r3_beta_dest_tipAddr);
             });
@@ -613,7 +610,7 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
             const resGet_r3_beta_tip = await getFromSpace({ space: sourceSpace, addr: r3_beta_source_tipAddr });
             const r3_beta_tipIbGib = resGet_r3_beta_tip.ibGibs![0] as IbGib_V1<TestData>;
 
-            await ifWe(sir, 'r3 alpha merge has all four fields (commonField, fieldA, fieldB, fieldC, fieldD)', async () => {
+            await ifWeMight(sir, 'r3 alpha merge has all four fields (commonField, fieldA, fieldB, fieldC, fieldD)', async () => {
                 // Should have new graft point  with different addr than before
                 iReckon(sir, r3_alpha_source_tipAddr)
                     .asTo(`Alpha R3 tip should NOT be r3_alpha_v4_source_mut8fieldC`)
@@ -634,7 +631,7 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
                     .isGonnaBe(r3_alpha_v4_dest_mut8Info.value!);
             });
 
-            await ifWe(sir, 'r3 beta merge has both fields (betaFieldA, betaFieldB)', async () => {
+            await ifWeMight(sir, 'r3 beta merge has both fields (betaFieldA, betaFieldB)', async () => {
                 // Should have new graft point with different addr than before
                 iReckon(sir, r3_beta_source_tipAddr)
                     .asTo(`Beta R3 tip should NOT be r3_beta_v1_source`)
@@ -655,7 +652,7 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
                     .isGonnaBe(r3_dest_beta_mut8Info.value!);
             });
 
-            await ifWe(sir, 'r3 alpha and deps synced', async () => {
+            await ifWeMight(sir, 'r3 alpha and deps synced', async () => {
                 const [alpha_dest] = await getIbGibsFromCache_fallbackToSpaces({
                     // addrs: [r1_alpha_v0_source.addr],
                     addrs: [r3_alpha_source_tipAddr],
@@ -687,7 +684,7 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
                 }
             });
 
-            await ifWe(sir, 'r3 beta and deps synced', async () => {
+            await ifWeMight(sir, 'r3 beta and deps synced', async () => {
                 const [beta_dest] = await getIbGibsFromCache_fallbackToSpaces({
                     // addrs: [r2_beta_v0_source.addr],
                     addrs: [r3_beta_dest_tipAddr],
@@ -839,7 +836,7 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
     // #endregion r4 dest edits
 
     await respecfully(sir, `r4 verify pre`, async () => {
-        await ifWe(sir, 'dest has alpha and beta post-R3 tips', async () => {
+        await ifWeMight(sir, 'dest has alpha and beta post-R3 tips', async () => {
             try {
                 const destKV = await receiverCoordinator.getKnowledgeMap({
                     space: destSpace,
@@ -871,7 +868,6 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
             metaspace,
             domainIbGibs: [r4_alpha_v7_source.ibGib, r4_gamma_v0_source.ibGib, r4_beta_v2_source.ibGib],
             conflictStrategy: SyncConflictStrategy.optimisticWithLCS,
-            useSessionIdentity: false,
         });
 
         if (logalot) { console.log(`${lc} awaiting r4_syncSaga.done`) }
@@ -917,7 +913,7 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
             });
             const r4_beta_dest_tipAddr = r4_beta_destKV[beta_tjpAddr];
             if (!r4_beta_dest_tipAddr) {
-                await ifWe(sir, 'r4_beta_dest_tipAddr is falsy?', async () => {
+                await ifWeMight(sir, 'r4_beta_dest_tipAddr is falsy?', async () => {
                     iReckon(sir, true).asTo('fail').isGonnaBeFalse();
                 });
                 return; /* <<<< returns early */
@@ -937,7 +933,7 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
             });
             const r4_gamma_dest_tipAddr = r4_gamma_destKV[gamma_tjpAddr];
 
-            await ifWe(sir, 'r4 tip addrs match (alpha, beta, gamma)', async () => {
+            await ifWeMight(sir, 'r4 tip addrs match (alpha, beta, gamma)', async () => {
                 iReckon(sir, r4_alpha_source_tipAddr).asTo('alpha source/dest have same tip addrs').isGonnaBe(r4_alpha_dest_tipAddr);
                 iReckon(sir, r4_beta_source_tipAddr).asTo('beta source/dest have same tip addrs').isGonnaBe(r4_beta_dest_tipAddr);
                 iReckon(sir, r4_gamma_source_tipAddr).asTo('gamma source/dest have same tip addrs').isGonnaBe(r4_gamma_dest_tipAddr);
@@ -962,7 +958,7 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
             const resGet_r4_gamma_tip = await getFromSpace({ space: sourceSpace, addr: r4_gamma_source_tipAddr });
             const r4_gamma_tipIbGib = resGet_r4_gamma_tip.ibGibs![0] as IbGib_V1<TestData>;
 
-            await ifWe(sir, 'r4 alpha has complete chain of edits and gamma relation', async () => {
+            await ifWeMight(sir, 'r4 alpha has complete chain of edits and gamma relation', async () => {
                 // Should have new graft point with different addr than either pre-graft version
                 iReckon(sir, r4_alpha_source_tipAddr)
                     .asTo(`Alpha R4 tip should NOT be r4_alpha_v7_source`)
@@ -998,7 +994,7 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
                     .isGonnaBeTrue();
             });
 
-            await ifWe(sir, 'r4 beta has all edits', async () => {
+            await ifWeMight(sir, 'r4 beta has all edits', async () => {
                 // Beta should have new graft from R4
                 iReckon(sir, r4_beta_source_tipAddr)
                     .asTo(`Beta R4 tip should NOT be r4_beta_v2_source (source version pre-graft)`)
@@ -1019,7 +1015,7 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
                     .isGonnaBe(r4_dest_beta_mut8Info.value!);
             });
 
-            await ifWe(sir, 'r4 gamma synced with deps', async () => {
+            await ifWeMight(sir, 'r4 gamma synced with deps', async () => {
                 const [gamma_dest] = await getIbGibsFromCache_fallbackToSpaces({
                     addrs: [r4_gamma_v0_source.addr],
                     space: destSpace,
@@ -1050,7 +1046,7 @@ await respecfully(sir, `Multi-round/timeline permutations`, async () => {
                 }
             });
 
-            await ifWe(sir, 'r4 all timelines dep graphs synced', async () => {
+            await ifWeMight(sir, 'r4 all timelines dep graphs synced', async () => {
                 // Verify alpha dep graphs
                 const [alpha_dest] = await getIbGibsFromCache_fallbackToSpaces({
                     addrs: [r4_alpha_source_tipAddr],