11 Commits

Author SHA1 Message Date
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