| 1 | package agent |
| 2 | |
| 3 | import ( |
| 4 | "crypto/sha256" |
| 5 | "path/filepath" |
| 6 | "testing" |
| 7 | |
| 8 | "reasonix/internal/provider" |
| 9 | ) |
| 10 | |
| 11 | func TestSessionListingBackfillDoesNotOverwriteNewerCounts(t *testing.T) { |
| 12 | dir := t.TempDir() |
| 13 | path := filepath.Join(dir, "20260101-000000-deepseek-chat.jsonl") |
| 14 | writeSessionFile(t, path, []provider.Message{ |
| 15 | {Role: provider.RoleSystem, Content: "system"}, |
| 16 | {Role: provider.RoleAssistant, Content: "empty greeting"}, |
| 17 | }) |
| 18 | if err := SaveBranchMeta(path, BranchMeta{ |
| 19 | ID: BranchID(path), |
| 20 | SchemaVersion: branchMetaCountsInitialVersion, |
| 21 | }); err != nil { |
| 22 | t.Fatalf("SaveBranchMeta: %v", err) |
| 23 | } |
| 24 | |
| 25 | ordered, err := ListSessionOrder(dir) |
| 26 | if err != nil || len(ordered) != 1 { |
| 27 | t.Fatalf("ListSessionOrder: infos=%+v err=%v", ordered, err) |
| 28 | } |
| 29 | stale := ordered[0] |
| 30 | stalePreview, staleTurns, err := previewSessionWithError(path) |
| 31 | if err != nil || staleTurns != 0 { |
| 32 | t.Fatalf("stale preview: turns=%d err=%v", staleTurns, err) |
| 33 | } |
| 34 | |
| 35 | // Force the turn-end side of the interleaving between listing decode and |
| 36 | // listing backfill. The compare-and-apply must return these newer counts. |
| 37 | writeSessionFile(t, path, []provider.Message{ |
| 38 | {Role: provider.RoleUser, Content: "new question"}, |
| 39 | {Role: provider.RoleAssistant, Content: "new answer"}, |
| 40 | }) |
| 41 | if err := UpdateSessionMeta(path, "", "new question", 1, false); err != nil { |
| 42 | t.Fatalf("UpdateSessionMeta: %v", err) |
| 43 | } |
| 44 | |
| 45 | preview, turns, err := updateSessionListingCountsIfCurrent(stale, stalePreview, staleTurns) |
| 46 | if err != nil { |
| 47 | t.Fatalf("updateSessionListingCountsIfCurrent: %v", err) |
| 48 | } |
| 49 | if preview != "new question" || turns != 1 { |
| 50 | t.Fatalf("stale backfill replaced newer counts: preview=%q turns=%d", preview, turns) |
| 51 | } |
| 52 | infos, err := ListSessions(dir) |
| 53 | if err != nil || len(infos) != 1 || infos[0].Turns != 1 { |
| 54 | t.Fatalf("newly saved session was hidden: infos=%+v err=%v", infos, err) |
| 55 | } |
| 56 | } |
| 57 | |
| 58 | func TestSessionListingBackfillRejectsChangedTranscriptGeneration(t *testing.T) { |
| 59 | dir := t.TempDir() |
| 60 | path := filepath.Join(dir, "20260101-000000-deepseek-chat.jsonl") |
| 61 | writeSessionFile(t, path, []provider.Message{{Role: provider.RoleSystem, Content: "system"}}) |
| 62 | if err := SaveBranchMeta(path, BranchMeta{ |
| 63 | ID: BranchID(path), |
| 64 | SchemaVersion: branchMetaCountsInitialVersion, |
| 65 | Revision: 1, |
| 66 | ContentDigest: "old", |
| 67 | }); err != nil { |
| 68 | t.Fatalf("SaveBranchMeta: %v", err) |
| 69 | } |
| 70 | ordered, err := ListSessionOrder(dir) |
| 71 | if err != nil || len(ordered) != 1 { |
| 72 | t.Fatalf("ListSessionOrder: infos=%+v err=%v", ordered, err) |
| 73 | } |
| 74 | |
| 75 | if err := UpdateBranchMeta(path, false, func(meta *BranchMeta) error { |
| 76 | meta.Revision = 2 |
| 77 | meta.ContentDigest = "new" |
| 78 | return nil |
| 79 | }); err != nil { |
| 80 | t.Fatalf("advance transcript generation: %v", err) |
| 81 | } |
| 82 | _, _, err = updateSessionListingCountsIfCurrent(ordered[0], "", 0) |
| 83 | if err != nil { |
| 84 | t.Fatalf("updateSessionListingCountsIfCurrent: %v", err) |
| 85 | } |
| 86 | meta, ok, err := LoadBranchMeta(path) |
| 87 | if err != nil || !ok { |
| 88 | t.Fatalf("LoadBranchMeta: ok=%v err=%v", ok, err) |
| 89 | } |
| 90 | if meta.SchemaVersion != branchMetaCountsInitialVersion || meta.Revision != 2 || meta.ContentDigest != "new" { |
| 91 | t.Fatalf("stale backfill crossed transcript generation: %+v", meta) |
| 92 | } |
| 93 | } |
| 94 | |
| 95 | func TestPersistSessionListingProjectionRejectsAdvancedTranscriptGeneration(t *testing.T) { |
| 96 | dir := t.TempDir() |
| 97 | path := filepath.Join(dir, "20260101-000000-deepseek-chat.jsonl") |
| 98 | writeSessionFile(t, path, []provider.Message{ |
| 99 | {Role: provider.RoleUser, Content: "new question"}, |
| 100 | {Role: provider.RoleAssistant, Content: "new answer"}, |
| 101 | }) |
| 102 | newDigest := sha256.Sum256([]byte("new transcript")) |
| 103 | if err := SaveBranchMeta(path, BranchMeta{ |
| 104 | ID: BranchID(path), |
| 105 | Revision: 2, |
| 106 | ContentDigest: digestString(newDigest), |
| 107 | SchemaVersion: BranchMetaCountsVersion, |
| 108 | Preview: "new question", |
| 109 | Turns: 1, |
| 110 | ListingRevision: 2, |
| 111 | ListingContentDigest: digestString(newDigest), |
| 112 | }); err != nil { |
| 113 | t.Fatalf("SaveBranchMeta: %v", err) |
| 114 | } |
| 115 | |
| 116 | oldDigest := sha256.Sum256([]byte("old transcript")) |
| 117 | persistSessionListingProjection(path, []provider.Message{ |
| 118 | {Role: provider.RoleUser, Content: "stale question"}, |
| 119 | {Role: provider.RoleAssistant, Content: "stale answer"}, |
| 120 | }, 1, digestString(oldDigest)) |
| 121 | |
| 122 | meta, ok, err := LoadBranchMeta(path) |
| 123 | if err != nil || !ok { |
| 124 | t.Fatalf("LoadBranchMeta: ok=%v err=%v", ok, err) |
| 125 | } |
| 126 | if meta.Revision != 2 || meta.ContentDigest != digestString(newDigest) || |
| 127 | meta.Preview != "new question" || meta.Turns != 1 || |
| 128 | meta.ListingRevision != 2 || meta.ListingContentDigest != digestString(newDigest) { |
| 129 | t.Fatalf("stale projection crossed transcript generation: %+v", meta) |
| 130 | } |
| 131 | } |
| 132 | |
| 133 | func TestPersistSessionListingProjectionStampsCommittedTranscriptGeneration(t *testing.T) { |
| 134 | dir := t.TempDir() |
| 135 | path := filepath.Join(dir, "20260101-000000-deepseek-chat.jsonl") |
| 136 | digest := sha256.Sum256([]byte("committed transcript")) |
| 137 | if err := SaveBranchMeta(path, BranchMeta{ |
| 138 | ID: BranchID(path), |
| 139 | Revision: 3, |
| 140 | ContentDigest: digestString(digest), |
| 141 | }); err != nil { |
| 142 | t.Fatalf("SaveBranchMeta: %v", err) |
| 143 | } |
| 144 | |
| 145 | persistSessionListingProjection(path, []provider.Message{ |
| 146 | {Role: provider.RoleUser, Content: "committed question"}, |
| 147 | {Role: provider.RoleAssistant, Content: "committed answer"}, |
| 148 | }, 3, digestString(digest)) |
| 149 | |
| 150 | meta, ok, err := LoadBranchMeta(path) |
| 151 | if err != nil || !ok { |
| 152 | t.Fatalf("LoadBranchMeta: ok=%v err=%v", ok, err) |
| 153 | } |
| 154 | if meta.Preview != "committed question" || meta.Turns != 1 || |
| 155 | meta.SchemaVersion != BranchMetaCountsVersion || |
| 156 | meta.ListingRevision != 3 || meta.ListingContentDigest != digestString(digest) { |
| 157 | t.Fatalf("matching projection was not stamped: %+v", meta) |
| 158 | } |
| 159 | } |
| 160 | |
| 161 | func TestSessionListingInvalidationSurvivesStaleWholeMetadataWriter(t *testing.T) { |
| 162 | path := filepath.Join(t.TempDir(), "session.jsonl") |
| 163 | session := NewSession("system") |
| 164 | session.Add(provider.Message{Role: provider.RoleUser, Content: "old question"}) |
| 165 | if err := session.SaveSnapshot(path); err != nil { |
| 166 | t.Fatalf("SaveSnapshot: %v", err) |
| 167 | } |
| 168 | stale, ok, err := LoadBranchMeta(path) |
| 169 | if err != nil || !ok { |
| 170 | t.Fatalf("LoadBranchMeta stale: ok=%v err=%v", ok, err) |
| 171 | } |
| 172 | if !sessionListingProjectionFresh(stale.SchemaVersion, stale.Turns, stale.Revision, stale.ListingRevision, stale.ContentDigest, stale.ListingContentDigest) { |
| 173 | t.Fatalf("initial projection is not fresh: %+v", stale) |
| 174 | } |
| 175 | |
| 176 | reservedRevision, err := invalidateSessionListingProjection(path) |
| 177 | if err != nil { |
| 178 | t.Fatalf("invalidateSessionListingProjection: %v", err) |
| 179 | } |
| 180 | if reservedRevision != stale.Revision+1 { |
| 181 | t.Fatalf("reserved revision = %d, want %d", reservedRevision, stale.Revision+1) |
| 182 | } |
| 183 | stale.ParentID = "renamed-parent" |
| 184 | if err := SaveBranchMetaPreserveUpdated(path, stale); err != nil { |
| 185 | t.Fatalf("stale whole metadata write: %v", err) |
| 186 | } |
| 187 | |
| 188 | current, ok, err := LoadBranchMeta(path) |
| 189 | if err != nil || !ok { |
| 190 | t.Fatalf("LoadBranchMeta current: ok=%v err=%v", ok, err) |
| 191 | } |
| 192 | if current.Revision != reservedRevision || current.ContentDigest != stale.ContentDigest { |
| 193 | t.Fatalf("invalidation generation/digest = %d/%q, want %d/%q", current.Revision, current.ContentDigest, reservedRevision, stale.ContentDigest) |
| 194 | } |
| 195 | if current.SchemaVersion != 0 || sessionListingProjectionFresh(current.SchemaVersion, current.Turns, current.Revision, current.ListingRevision, current.ContentDigest, current.ListingContentDigest) { |
| 196 | t.Fatalf("stale writer restored certified projection: %+v", current) |
| 197 | } |
| 198 | if current.ParentID != "renamed-parent" { |
| 199 | t.Fatalf("unrelated metadata update was lost: ParentID=%q", current.ParentID) |
| 200 | } |
| 201 | } |
| 202 |