返回 DeepSeek-Reasonix
ledger_test.go
根目录 / desktop / internal / browserops / ledger_test.go
1 package browserops
2
3 import (
4 "errors"
5 "os"
6 "path/filepath"
7 "testing"
8 "time"
9 )
10
11 func newOp(id string) Operation {
12 return Operation{ID: id, SessionID: "s1", Generation: "g1", TabID: "tab1", Epoch: 3, DocumentToken: "doc", Action: "click", Digest: "abc"}
13 }
14
15 func TestReserveThenSettle(t *testing.T) {
16 path := filepath.Join(t.TempDir(), "ops.json")
17 l, err := Open(path)
18 if err != nil {
19 t.Fatal(err)
20 }
21 if err := l.Reserve(newOp("op-1")); err != nil {
22 t.Fatal(err)
23 }
24 got, ok := l.Lookup("op-1")
25 if !ok || got.State != StateReserved || got.ReservedAt.IsZero() {
26 t.Fatalf("after reserve: %+v ok=%v", got, ok)
27 }
28 if err := l.Settle("op-1", StateExecuted, ""); err != nil {
29 t.Fatal(err)
30 }
31 if err := l.Settle("op-1", StateExecuted, ""); !errors.Is(err, ErrAlreadySettled) {
32 t.Fatalf("second settle: %v", err)
33 }
34 if err := l.Settle("missing", StateExecuted, ""); !errors.Is(err, ErrUnknownOperation) {
35 t.Fatalf("settle unknown id: %v", err)
36 }
37 reopened, err := Open(path)
38 if err != nil {
39 t.Fatal(err)
40 }
41 got, _ = reopened.Lookup("op-1")
42 if got.State != StateExecuted || got.SettledAt.IsZero() {
43 t.Fatalf("after reopen: %+v", got)
44 }
45 }
46
47 func TestDuplicateAndInvalidIDs(t *testing.T) {
48 l, err := Open(filepath.Join(t.TempDir(), "ops.json"))
49 if err != nil {
50 t.Fatal(err)
51 }
52 if err := l.Reserve(newOp("op-1")); err != nil {
53 t.Fatal(err)
54 }
55 if err := l.Reserve(newOp("op-1")); !errors.Is(err, ErrDuplicateOperation) {
56 t.Fatalf("duplicate: %v", err)
57 }
58 if err := l.Settle("op-1", StateUnknown, "receipt lost"); err != nil {
59 t.Fatal(err)
60 }
61 if err := l.Reserve(newOp("op-1")); !errors.Is(err, ErrDuplicateOperation) {
62 t.Fatalf("duplicate after unknown must still be rejected: %v", err)
63 }
64 for _, bad := range []string{"", "has space", "x/y", string(make([]byte, 101))} {
65 if err := l.Reserve(newOp(bad)); !errors.Is(err, ErrInvalidOperationID) {
66 t.Errorf("id %q: %v", bad, err)
67 }
68 }
69 }
70
71 func TestReservedBecomesUnknownAfterCrash(t *testing.T) {
72 path := filepath.Join(t.TempDir(), "ops.json")
73 l, err := Open(path)
74 if err != nil {
75 t.Fatal(err)
76 }
77 if err := l.Reserve(newOp("op-1")); err != nil {
78 t.Fatal(err)
79 }
80 if err := l.Reserve(newOp("op-2")); err != nil {
81 t.Fatal(err)
82 }
83 if err := l.Settle("op-2", StateNotExecuted, "element missing"); err != nil {
84 t.Fatal(err)
85 }
86 reopened, err := Open(path)
87 if err != nil {
88 t.Fatal(err)
89 }
90 unknown := reopened.Unsettled()
91 if len(unknown) != 1 || unknown[0].ID != "op-1" || unknown[0].Reason == "" {
92 t.Fatalf("unsettled after crash: %+v", unknown)
93 }
94 if got, _ := reopened.Lookup("op-2"); got.State != StateNotExecuted {
95 t.Fatalf("settled op must be untouched: %+v", got)
96 }
97 }
98
99 func TestUnsupportedVersionAndCorruptFile(t *testing.T) {
100 dir := t.TempDir()
101 v2 := filepath.Join(dir, "v2.json")
102 if err := os.WriteFile(v2, []byte(`{"version":2,"operations":{}}`), 0o600); err != nil {
103 t.Fatal(err)
104 }
105 if _, err := Open(v2); err == nil {
106 t.Fatal("version 2 must be rejected")
107 }
108 corrupt := filepath.Join(dir, "corrupt.json")
109 if err := os.WriteFile(corrupt, []byte(`{`), 0o600); err != nil {
110 t.Fatal(err)
111 }
112 if _, err := Open(corrupt); err == nil {
113 t.Fatal("corrupt file must be rejected, never silently reset")
114 }
115 }
116
117 func TestPersistIsAtomic(t *testing.T) {
118 dir := t.TempDir()
119 path := filepath.Join(dir, "ops.json")
120 l, err := Open(path)
121 if err != nil {
122 t.Fatal(err)
123 }
124 l.now = func() time.Time { return time.Date(2026, 9, 9, 0, 0, 0, 0, time.UTC) }
125 if err := l.Reserve(newOp("op-1")); err != nil {
126 t.Fatal(err)
127 }
128 entries, err := os.ReadDir(dir)
129 if err != nil {
130 t.Fatal(err)
131 }
132 if len(entries) != 1 || entries[0].Name() != "ops.json" {
133 t.Fatalf("temp files must not survive a successful write: %v", entries)
134 }
135 }
136
136 lines GO