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

2725 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Claude (dbsp-threads) 2ee4fee32f chore(zset): drop the proptest regressions the injected rivals wrote 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 21:33:28 -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) 5c577cddb1 Merge dbsp/zset-send into dbsp/zset-edge 
# Conflicts:
#	context/test-evidence/zset.md
 2026-10-10 21:26:54 -07:00
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) 491f47d33c fix(zset): edge receivers join by token-matched answers, refuse poll in a transaction, and re-ask on a new epoch 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 21:20:01 -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-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
Ed Langley 5f76bfaea1 Merge pull request #360 from fiddlerwoaroof/dbsp/pushdown 
feat(incremental): derived values over a source that answers aggregate queries (improvise-rnak)
 2026-10-10 20:14:26 -07:00
Ed Langley a329a57159 Merge pull request #358 from fiddlerwoaroof/dbsp/live-source 
feat(incremental): a backend over a source that reports its changes (improvise-rnak)
 2026-10-10 20:11:59 -07:00
Ed Langley d4243c2f3e Merge pull request #357 from fiddlerwoaroof/dbsp/model-over-source 
feat(core): a model can be over a source, so one evaluator serves any of them (improvise-rnak)
 2026-10-10 20:11:45 -07:00
Ed Langley ce9f8a4f09 Merge pull request #356 from fiddlerwoaroof/dbsp/source-trait 
refactor(core): a read-only CellSource trait, DataStore its first implementation (improvise-qddo)
 2026-10-10 19:58:45 -07:00
Claude (dbsp-sources) f9b1e891df Merge dbsp/live-source into dbsp/pushdown 2026-10-10 19:52:55 -07:00
Claude (dbsp-sources) a02b230911 Merge dbsp/model-over-source into dbsp/live-source 2026-10-10 19:51:32 -07:00
Claude (dbsp-sources) 0fd5f50ebf Merge dbsp/source-trait into dbsp/model-over-source 2026-10-10 19:50:09 -07:00
Claude (dbsp-sources) f7404778b0 fix(core): the exactness test merges both ways and from_parts refuses sums that contradict their counts (improvise-qddo) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 19:48:34 -07:00
Claude (dbsp-sources) ed447c8dc9 docs(context): stem order is a known evaluator defect, not a source contract; define refuses in every build (improvise-rnak) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 19:35:59 -07:00
Claude (dbsp-sources) 4b246f8108 Merge dbsp/live-source into dbsp/pushdown 2026-10-10 19:35:03 -07:00
Claude (dbsp-sources) 50fa819b2a Merge dbsp/model-over-source into dbsp/live-source 2026-10-10 19:33:42 -07:00
Claude (dbsp-sources) 7f42a724f9 fix(core): a model put over a source drops the formula cells its own cells computed (improvise-rnak) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 19:32:39 -07:00
Claude (dbsp-sources) bcc773bb2a Merge dbsp/source-trait into dbsp/model-over-source 
# Conflicts:
#	context/code/source.md
 2026-10-10 19:31:46 -07:00
Claude (dbsp-sources) 8ba4bd0a6c fix(core): summaries are tested for exact merges, impossible parts are refused, and the bypass list is complete (improvise-qddo) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 19:30:22 -07:00
Claude (dbsp-sources) 53868bb4d6 fix(incremental): pushdown takes the source alias, refuses cell edits, shares Eager's reads and pins stem order and refresh snapshots (improvise-rnak) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 19:06:11 -07:00
Claude (dbsp-sources) 00cc83281e Merge dbsp/live-source into dbsp/pushdown 
# Conflicts:
#	context/code/source.md
#	context/test-evidence/core.md
#	context/test-evidence/improvise-incremental.md
#	crates/improvise-core/src/model/source.rs
 2026-10-10 19:02:59 -07:00
Claude (dbsp-sources) 82fbe16ea4 fix(incremental): over takes the exported feed alias, drops the model's cells and refuses cell edits in every build (improvise-rnak) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 19:00:51 -07:00
Claude (dbsp-sources) 88b644ff2d Merge dbsp/model-over-source into dbsp/live-source 
# Conflicts:
#	context/code/source.md
 2026-10-10 18:58:28 -07:00
Claude (dbsp-sources) bebaeb2d61 fix(core): a model over a source refuses every write in every build and drops its own cells (improvise-rnak) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 18:57:13 -07:00
Claude (dbsp-sources) 7c5f77708c Merge dbsp/source-trait into dbsp/model-over-source 
# Conflicts:
#	context/test-evidence/core.md
 2026-10-10 18:54:23 -07:00
Claude (dbsp-sources) 4a49398f1a fix(core): a Summary can be built from an engine's parts, and keys stop cloning values (improvise-qddo) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 18:52:58 -07:00
Claude (dbsp-sources) 511911db38 Merge gh/main (ec5112cf) into dbsp/source-trait 2026-10-10 18:51:36 -07:00
Ed Langley ec5112cfe8 Merge pull request #359 from fiddlerwoaroof/fix/delivery-left-epoch-livelock 
fix(delivery): the live host's answer is never refused as a left epoch (improvise-z2vr)
 2026-10-10 18:42:49 -07:00
Ed Langley c83d81c510 Merge pull request #355 from fiddlerwoaroof/zset/rollback-piece-rebuild 
feat(zset): transactions, a bound Rebuild and a borrowed piece (improvise-bw4p.5, .11, .12)
 2026-10-10 18:39:10 -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 (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 (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-sources) 6bda8a479b feat(incremental): derived values over a source that answers aggregate queries (improvise-rnak) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 18:19:56 -07:00
Claude (zset-rollback) b2445fed97 test(zset): split-tick rollback, integrate and step_continue costs; docs and evidence for the review of #355 (improvise-bw4p.5) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 18:14:59 -07:00
Claude (zset-rollback) 4303af5a1f fix(zset): clone a log entry before the change it describes and make MemTrace::apply panic-safe (improvise-bw4p.5) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 18:14:59 -07:00
Claude (zset-rollback) e026d77a02 fix(zset): count the rollbacks that undid a step so a Rebuild cannot outlive its chunks (improvise-bw4p.5) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 18:14:59 -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 (dbsp-sources) 6bc102f378 chore(incremental): drop a proptest seed an injected fault left behind (improvise-rnak) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 18:13:15 -07:00
Claude (dbsp-sources) 9d675c9c33 feat(incremental): a backend over a source that reports its changes (improvise-rnak) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 18:12:04 -07:00
Claude (dbsp-sources) 315e271905 feat(core): a model can be over a source, so one evaluator serves any of them (improvise-rnak) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 18:03:20 -07:00
Claude (dbsp-sources) 7a3e0c5b55 style(core): the test-only reference reduction maps rather than and_thens (improvise-qddo) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 17:58:17 -07:00
Claude (dbsp-sources) 5fdf502871 refactor(core): a read-only CellSource trait, DataStore its first implementation (improvise-qddo) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 17:55:14 -07:00
Claude (zset-rollback) 51438911e8 docs(context): zset transactions, the bound rebuild and the borrowed piece; evidence (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:16:43 -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 (zset-rollback) 3dafc2fa41 feat(zset): Circuit::begin, commit and rollback undo a failed step (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:11:29 -07:00
Claude (zset-rollback) 44fc3ead7c fix(zset): a Rebuild is bound to the circuit its input came from (improvise-bw4p.12) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 17:04:24 -07:00
Claude (zset-rollback) 7bca7965ca perf(zset): an eval borrows its input and a stream keeps a whole only while a tick is split (improvise-bw4p.11) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 17:03:14 -07:00