fiddlerwoaroof/improvise
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
2,644 Commits 7 Branches 2 Tags
ea439ddcaad9ae56abe3819eaf346baf156aa155
Commit Graph

2644 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ed Langley ea439ddcaa Merge pull request #347 from fiddlerwoaroof/adr009/zset-ffi 
feat(zset-ffi): a C ABI over zset for CFFI callers (improvise-bw4p.1)
 2026-10-10 15:24:30 -07:00
Claude (dbsp-circuit) 912580469a Merge commit '7dafd243' into adr009/zset-ffi 
# Conflicts:
#	scripts/build-doc-site.mjs
 2026-10-10 15:12:52 -07:00
Ed Langley 7dafd24341 Merge pull request #348 from fiddlerwoaroof/adr009/delivery 
feat(delivery): ADR 009 step 8, notices, watermarks, corrections and the lossless wire (improvise-z2vr)
 2026-10-10 15:12:22 -07:00
Claude (dbsp-circuit) 751028df8f Merge remote-tracking branch 'gh/main' into adr009/zset-ffi 2026-10-10 14:57:24 -07:00
Claude (dbsp-delivery) 8734608ed3 Merge gh/main into adr009/delivery 2026-10-10 14:57:23 -07:00
Ed Langley 2bbefdcdc2 Merge pull request #350 from fiddlerwoaroof/ci/test-disk-footprint 
ci(nix): shrink the test derivation's disk footprint
 2026-10-10 14:57:02 -07:00
Claude (ci-disk) f4f4fb9702 ci(nix): build the test derivation without DWARF and without archiving its target 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 14:51:36 -07:00
Claude (dbsp-circuit) 5f2755dc8a docs(doc-site): publish the zset-ffi pages (improvise-bw4p.1) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 14:30:19 -07:00
Claude (dbsp-delivery) 97f7603c62 Merge gh/main into adr009/delivery 2026-10-10 14:18:23 -07:00
Claude (dbsp-circuit) ebc7c33d1c Merge commit '29f1f85f' into adr009/zset-ffi 2026-10-10 14:18:16 -07:00
Ed Langley 29f1f85fe1 Merge pull request #346 from fiddlerwoaroof/adr009/probes 
feat(incremental): Derived reads covers, totals and occupancy; probe what each view draws (improvise-bw4p.3, improvise-bw4p.4)
 2026-10-10 14:17:41 -07:00
Claude (dbsp-delivery) a148ab34b3 Merge gh/main into adr009/delivery 
# Conflicts:
#	Cargo.nix
#	crates/improvise-command/Cargo.toml
 2026-10-10 13:58:16 -07:00
Claude (dbsp-circuit) 9e29e450ef Merge commit '63b83c28' into adr009/zset-ffi 
# Conflicts:
#	Cargo.nix
 2026-10-10 13:57:56 -07:00
Claude (dbsp-probes) 8929d6d716 Merge commit '63b83c28fa554bf13a2c1ff4c9f456c26131bf8f' into adr009/probes 2026-10-10 13:57:40 -07:00
Ed Langley 63b83c28fa Merge pull request #344 from fiddlerwoaroof/adr009/cell-delta 
feat: ADR 009 step 3, the cell delta, the record tier and the dirty flag (improvise-5r8c)
 2026-10-10 13:57:13 -07:00
Claude (dbsp-delivery) 6e4f772593 Merge gh/main into adr009/delivery 2026-10-10 13:18:57 -07:00
Claude (adr009-step3) 70fd5ec9e0 Merge remote-tracking branch 'gh/main' into adr009/cell-delta 2026-10-10 13:18:48 -07:00
Claude (dbsp-circuit) 22e96d124b Merge commit '802db7e483c2b83175f9591be919d7ceb1eae7d7' into adr009/zset-ffi 
# Conflicts:
#	Cargo.nix
#	Cargo.toml
 2026-10-10 13:17:02 -07:00
Ed Langley 802db7e483 Merge pull request #345 from fiddlerwoaroof/adr009/zset-circuit 
feat(zset): the circuit, incremental operators, traces and resumable rebuild (improvise-bw4p.1)
 2026-10-10 13:16:01 -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) 62810cb3ba Merge gh/main (b574c6eb) into adr009/delivery 
# Conflicts:
#	Cargo.nix
#	scripts/build-doc-site.mjs
 2026-10-10 12:45:36 -07:00
Claude (adr009-step3) 437f748a50 Merge remote-tracking branch 'gh/main' into adr009/cell-delta 
# Conflicts:
#	Cargo.nix
 2026-10-10 12:45:12 -07:00
Ed Langley b574c6ebaa Merge pull request #343 from fiddlerwoaroof/adr009/derived 
feat(incremental): the Derived trait, Eager and the differential harness (improvise-t8ow)
 2026-10-10 12:44:12 -07:00
Ed Langley 848726543f Merge pull request #341 from fiddlerwoaroof/adr009/zset 
feat(zset): ADR 009 step 1, the Z-set crate (improvise-tk51)
 2026-10-10 12:43:54 -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) edf474d2a3 fix(command): linear item diffs, no delivery work while nobody listens, a bounded outbox, view changes refetch the window (improvise-z2vr) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 12:36:09 -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-delivery) f1485f80d4 fix(protocol): older epochs and dead hosts cannot regress a client, pulls are per shape, wire integers are canonical (improvise-z2vr) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 12:33:07 -07:00
Claude (dbsp-circuit) a23851e920 Merge branch 'adr009/zset-circuit' into adr009/zset-ffi 2026-10-10 12:31:49 -07:00
Claude (dbsp-circuit) 66898d81e4 fix(zset): current() is the whole tick, a split rebuild tick is refused, later ticks are tested (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:31:06 -07:00
Claude (dbsp-probes) 06745fc5ed Merge commit '9783d9093ea153873cd67f8fe2963a17a53e9477' into adr009/probes 2026-10-10 12:28:06 -07:00
Claude (adr009-step3) 9783d9093e chore(nix): regenerate Cargo.nix for zset, numtower and improvise-incremental (improvise-5r8c) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 12:27:37 -07:00
Claude (dbsp-delivery) 826ea70cd6 chore(nix): regenerate Cargo.nix for the zset and numtower edges (improvise-z2vr) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 12:23:59 -07:00
Claude (dbsp-circuit) d01599d86c build(nix): regenerate Cargo.nix for zset, numtower and zset-ffi (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:23:46 -07:00
Ed Langley d832aa61df Merge pull request #342 from fiddlerwoaroof/edl.review 
Edl.review
 2026-10-10 12:20:50 -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-probes) 58faf417b5 docs(incremental): the occupancy definition, the skipped views and the corrected evidence (improvise-bw4p.3, improvise-bw4p.4) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 12:15:44 -07:00
Claude (dbsp-delivery) 02bb435762 chore(numtower): drop proptest seeds recorded against the first, wrong oracle (improvise-z2vr) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 12:12:01 -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
Claude (dbsp-delivery) 0e6ad9e96a refactor(protocol): box the large delivery variants, fmt and the axis-change fetch (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
Claude (dbsp-delivery) e3f5cee29a fix(numtower): a nonzero ExactSum is never negative zero (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:47 -07:00
Claude (dbsp-probes) 0e1dd54d83 fix(incremental): group-aware occupancy, page-aware lines, one totals condition, deterministic walk tests (improvise-bw4p.3, improvise-bw4p.4) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 12:10:42 -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-probes) d83a4b8330 docs(evidence): the improvise-incremental entries use ### so --check-evidence reads them (improvise-bw4p.3) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 12:07:34 -07:00
Claude (dbsp-circuit) c024c4bd6e Merge branch 'adr009/zset-circuit' into adr009/zset-ffi 2026-10-10 12:06:49 -07:00
Claude (dbsp-circuit) 0849981ae1 fix(zset): a chunked rebuild is one tick, empty groups have no row, a 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:06:46 -07:00
Claude (dbsp-delivery) 19cea8eded feat(command): the host end of delivery, one notice per committed command, with the log and corrections (improvise-z2vr) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 11:59:30 -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-delivery) a4c309642f fix(numtower): a zero ExactSum has the sign IEEE gives its addends (improvise-z2vr) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 11:54:51 -07:00
Claude (dbsp-probes) ce138bf740 Merge commit 'e438ac13b9067bd5b6e01d400f3567dd28ba1f8e' into adr009/probes 2026-10-10 11:53:23 -07:00