| 1 | package agent |
| 2 | |
| 3 | import ( |
| 4 | "path/filepath" |
| 5 | "testing" |
| 6 | ) |
| 7 | |
| 8 | // The store-P2 write-authority probe must record an unleased save once per |
| 9 | // path and stay silent for the lease holder — it is evidence collection, not |
| 10 | // enforcement. |
| 11 | func TestUnleasedWriteProbe(t *testing.T) { |
| 12 | dir := t.TempDir() |
| 13 | |
| 14 | unleased := filepath.Join(dir, "unleased.jsonl") |
| 15 | observeUnleasedSessionWrite(unleased, sessionSaveSnapshot) |
| 16 | if _, ok := unleasedWriteObserved.Load(canonicalSessionSavePath(unleased)); !ok { |
| 17 | t.Fatal("unleased save should be recorded by the probe") |
| 18 | } |
| 19 | |
| 20 | leased := filepath.Join(dir, "leased.jsonl") |
| 21 | lease, err := TryAcquireSessionLease(leased) |
| 22 | if err != nil { |
| 23 | t.Fatalf("TryAcquireSessionLease: %v", err) |
| 24 | } |
| 25 | defer lease.Release() |
| 26 | observeUnleasedSessionWrite(leased, sessionSaveSnapshot) |
| 27 | if _, ok := unleasedWriteObserved.Load(canonicalSessionSavePath(leased)); ok { |
| 28 | t.Fatal("lease-holder save must not be recorded by the probe") |
| 29 | } |
| 30 | } |
| 31 |