11 Commits

Author SHA1 Message Date
Claude (dbsp-threads) ce6e36112d fix(zset): pin every handle check, make handles invariant, test not-Sync, document the cost and the FFI thread state
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 21:26:42 -07:00
Claude (dbsp-threads) 5d7a3423c2 docs(zset): keep comment runs to two lines; drop the compile_fail doctests (improvise-dbsp-threads)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 20:38:09 -07:00
Claude (dbsp-threads) 49d9552476 refactor(zset): a circuit is Send; edge values live in an owned arena and handles are ids
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 20:32:37 -07:00
Claude (zset-rollback) 8b0b715213 fix(zset): mark a rebuild chunk's push as a step so a panicking push is counted (improvise-bw4p.5)
Also renames the MemTrace clone-panic test to what it asserts.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 18:28:18 -07:00
Claude (zset-rollback) b1662f2e88 fix(zset): a rollback that took a rebuild's chunks interrupts the job for good (improvise-bw4p.5)
A monotone count of rollbacks that undid a step, recorded by the job before its first chunk.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 18:14:52 -07:00
Claude (zset-rollback) 2234ea6318 feat(zset-ffi): zs_circuit_begin, commit and rollback expose the circuit's transactions (improvise-bw4p.5)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 17:14:25 -07:00
Claude (dbsp-circuit) 42d808732b fix(zset-ffi): first fault wins, no free or re-entry under a running step, circuit ids, interrupted rebuilds, typed callbacks (improvise-bw4p.1)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 12:35:58 -07:00
Claude (dbsp-circuit) 9bcfa9d10e fix(zset-ffi): answer the #347 reviews: aliasing, callbacks that fail, out-pointers, unsafe exports, typed header (improvise-bw4p.1)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 12:19:02 -07:00
Claude (dbsp-circuit) b3f5cedff0 test(zset-ffi): the rebuild is one tick and its last chunk is Done (improvise-bw4p.1)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 12:10:29 -07:00
Claude (dbsp-circuit) 8a76469bcb docs(zset-ffi): the ABI's reasoning, a CFFI smoke test and test evidence (improvise-bw4p.1)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 11:56:17 -07:00
Claude (dbsp-circuit) 0755222562 feat(zset-ffi): a C ABI over zset for CFFI callers (improvise-bw4p.1)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 11:53:08 -07:00