Claude (dbsp-threads)
|
2abb4e94c8
|
Merge gh/main (08bacbe2) into dbsp/zset-edge
|
2026-10-10 21:55:30 -07:00 |
|
Claude (dbsp-threads)
|
5344d287a9
|
test(zset): the edge over a hostile network, and the cases the review found
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
|
2026-10-10 21:33:21 -07:00 |
|
Claude (dbsp-threads)
|
c2598f0c60
|
feat(zset): a stamped, coalescing delta edge between two circuits
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
|
2026-10-10 20:50:07 -07:00 |
|
Claude (dbsp-delivery)
|
3378d3d48a
|
fix(protocol): refuse merging notices cut for different shapes; correct the evidence (improvise-z2vr)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
|
2026-10-10 20:25:23 -07:00 |
|
Claude (dbsp-delivery)
|
69fb5e625e
|
fix(protocol): a notice from another epoch only marks the shape stale, and a pulled notice stays with its shape (improvise-z2vr)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
|
2026-10-10 20:08:34 -07:00 |
|
Claude (dbsp-delivery)
|
f47efef5ae
|
fix(protocol): a notice from an older generation or a left epoch is ignored (improvise-z2vr)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
|
2026-10-10 19:35:49 -07:00 |
|
Claude (dbsp-delivery)
|
42c2fcb041
|
docs(context): the property does not pin the left-epoch bug, and the transport contract (improvise-z2vr)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
|
2026-10-10 18:34:46 -07:00 |
|
Claude (dbsp-delivery)
|
bf02a4b589
|
fix(protocol): the live host's answer is never refused as a left epoch (improvise-z2vr)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
|
2026-10-10 18:22:14 -07:00 |
|
Claude (dbsp-delivery)
|
c2f4753861
|
fix(protocol): a reply from an epoch the client has left changes nothing (improvise-z2vr)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
|
2026-10-10 12:59:41 -07:00 |
|
Claude (dbsp-delivery)
|
bfaccae5d4
|
test(command): the delivery property delays, splits, repeats and replays, and covers swaps, restarts, limits and eviction (improvise-z2vr)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
|
2026-10-10 12:42:29 -07:00 |
|
Claude (dbsp-delivery)
|
eb15df6c36
|
docs(context): the reasoning and the evidence for delivery (improvise-z2vr)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
|
2026-10-10 12:11:48 -07:00 |
|