.

wcfs/δbtail_test.go

@@ -523,7 +523,7 @@ func xzgetBlkDataAt(db *zodb.DB, zblkOid zodb.Oid, at zodb.Tid) string {
 }
 
 // KAdjMatrix is adjacency matrix that describes how set of tracked keys
-// changes when tree topology is updated from A to B.
+// changes (always grow) when tree topology is updated from A to B.
 //
 // Adjacency matrix
 //
@@ -922,7 +922,7 @@ func xverifyΔBTail_rebuild(t *testing.T, db *zodb.DB, treeRoot zodb.Oid, t0, t1
 					/*trackNew=*/ t1.xkv.trackIdx(keys1),
 
 					// after rebuild
-					/*trackIdx=*/ t1.xkv.trackIdx(keys1),
+					/*trackIdx=*/ t1.xkv.trackIdx(keys1_0),
 					/*vδT=*/ δkv1_1)
 
 				t.Run((" →" + t2.tree), func(t *testing.T) {
@@ -963,11 +963,11 @@ func xverifyΔBTail_rebuild(t *testing.T, db *zodb.DB, treeRoot zodb.Oid, t0, t1
 								// after Track(keys2)
 								keys2,
 								// FIXME vvv trackNew should not cover ranges that are already in trackIdx
-								/*trackIdx*/ t2.xkv.trackIdx(keys1_2),
+								/*trackIdx*/ t2.xkv.trackIdx(keys1_0.Union(keys1_2)),
 								/*trackNew*/ t2.xkv.trackIdx(keys2),
 
 								// after rebuild
-								/* trackIdx=*/ t2.xkv.trackIdx(keys1_2.Union(keys2)),
+								/* trackIdx=*/ t2.xkv.trackIdx(keys12_0),
 								/*vδT=*/ δkv1_2, δkv2_2)
 //						})
 					}