3bf436b88d
chore: update issues.jsonl
main
Ed L
2026-10-12 16:11:48 -07:00
7e06448d88
Merge pull request #365 from fiddlerwoaroof/docs/bookkeeping-incremental-threads
Ed Langley
2026-10-10 22:39:35 -07:00
745d179402
docs(context): correct Model::over's file, the staged unit count, what moves seen, and who catches a panicking turn
Claude (bookkeeping2)
2026-10-10 22:33:51 -07:00
482f7178d1
docs(context): bookkeeping for ADR 009 steps 4-7, zset rollback, threads, edges and the scheduler
Claude (bookkeeping2)
2026-10-10 22:24:53 -07:00
d63b2c1956
Merge pull request #364 from fiddlerwoaroof/dbsp/sched
Ed Langley
2026-10-10 22:20:34 -07:00
3d1dcfd5e4
Merge pull request #363 from fiddlerwoaroof/dbsp/zset-edge
Ed Langley
2026-10-10 22:11:48 -07:00
9c10c7cf6b
fix(incremental): a dead unit is dropped inside catch_unwind; pool drop joins deterministically; the leaf's more is pinned
Claude (dbsp-threads)
2026-10-10 22:06:33 -07:00
f5d204dc51
Merge dbsp/zset-edge into dbsp/sched
Claude (dbsp-threads)
2026-10-10 21:59:40 -07:00
6d7cd481f9
fix(zset): a new edge receiver seeds its request tokens from a fresh base; the late-reply history polls one frame at a time
Claude (dbsp-threads)
2026-10-10 21:59:31 -07:00
2abb4e94c8
Merge gh/main (08bacbe2) into dbsp/zset-edge
Claude (dbsp-threads)
2026-10-10 21:55:30 -07:00
08bacbe265
Merge pull request #362 from fiddlerwoaroof/dbsp/zset-send
Ed Langley
2026-10-10 21:52:06 -07:00
d6c99c3527
fix(incremental): a panicking turn buries its unit instead of hanging the pool; pool workers counted and stopped on drop; two untested more-clauses settled
Claude (dbsp-threads)
2026-10-10 21:45:40 -07:00
203dc5f3f7
fix(zset): edge counters survive a restart of either end (merge fixes)
Claude (dbsp-threads)
2026-10-10 21:35:15 -07:00
92c7875673
Merge dbsp/zset-edge into dbsp/sched
Claude (dbsp-threads)
2026-10-10 21:33:54 -07:00
2ee4fee32f
chore(zset): drop the proptest regressions the injected rivals wrote
Claude (dbsp-threads)
2026-10-10 21:33:28 -07:00
5344d287a9
test(zset): the edge over a hostile network, and the cases the review found
Claude (dbsp-threads)
2026-10-10 21:33:21 -07:00
5c577cddb1
Merge dbsp/zset-send into dbsp/zset-edge
Claude (dbsp-threads)
2026-10-10 21:26:54 -07:00
ce6e36112d
fix(zset): pin every handle check, make handles invariant, test not-Sync, document the cost and the FFI thread state
Claude (dbsp-threads)
2026-10-10 21:26:42 -07:00
491f47d33c
fix(zset): edge receivers join by token-matched answers, refuse poll in a transaction, and re-ask on a new epoch
Claude (dbsp-threads)
2026-10-10 21:20:01 -07:00
2d3d54bebf
chore(incremental): drop the proptest regressions the injected rivals wrote
Claude (dbsp-threads)
2026-10-10 21:00:17 -07:00
4ba0cf196e
feat(incremental): a scheduler runs sub-circuits on a worker pool; the aggregate and grid stages placed on two units
Claude (dbsp-threads)
2026-10-10 21:00:10 -07:00
668235ad9b
Merge pull request #361 from fiddlerwoaroof/fix/delivery-swap-livelock
Ed Langley
2026-10-10 20:56:13 -07:00
c2598f0c60
feat(zset): a stamped, coalescing delta edge between two circuits
Claude (dbsp-threads)
2026-10-10 20:50:07 -07:00
5d7a3423c2
docs(zset): keep comment runs to two lines; drop the compile_fail doctests (improvise-dbsp-threads)
Claude (dbsp-threads)
2026-10-10 20:38:09 -07:00
49d9552476
refactor(zset): a circuit is Send; edge values live in an owned arena and handles are ids
Claude (dbsp-threads)
2026-10-10 20:32:37 -07:00
b6a5f73956
Merge gh/main into fix/delivery-swap-livelock
Claude (dbsp-delivery)
2026-10-10 20:25:25 -07:00
3378d3d48a
fix(protocol): refuse merging notices cut for different shapes; correct the evidence (improvise-z2vr)
Claude (dbsp-delivery)
2026-10-10 20:25:23 -07:00
5f76bfaea1
Merge pull request #360 from fiddlerwoaroof/dbsp/pushdown
Ed Langley
2026-10-10 20:14:26 -07:00
a329a57159
Merge pull request #358 from fiddlerwoaroof/dbsp/live-source
Ed Langley
2026-10-10 20:11:59 -07:00
d4243c2f3e
Merge pull request #357 from fiddlerwoaroof/dbsp/model-over-source
Ed Langley
2026-10-10 20:11:45 -07:00
69fb5e625e
fix(protocol): a notice from another epoch only marks the shape stale, and a pulled notice stays with its shape (improvise-z2vr)
Claude (dbsp-delivery)
2026-10-10 20:08:34 -07:00
ce9f8a4f09
Merge pull request #356 from fiddlerwoaroof/dbsp/source-trait
Ed Langley
2026-10-10 19:58:45 -07:00
f9b1e891df
Merge dbsp/live-source into dbsp/pushdown
Claude (dbsp-sources)
2026-10-10 19:52:55 -07:00
a02b230911
Merge dbsp/model-over-source into dbsp/live-source
Claude (dbsp-sources)
2026-10-10 19:51:32 -07:00
0fd5f50ebf
Merge dbsp/source-trait into dbsp/model-over-source
Claude (dbsp-sources)
2026-10-10 19:50:09 -07:00
f7404778b0
fix(core): the exactness test merges both ways and from_parts refuses sums that contradict their counts (improvise-qddo)
Claude (dbsp-sources)
2026-10-10 19:48:34 -07:00
ed447c8dc9
docs(context): stem order is a known evaluator defect, not a source contract; define refuses in every build (improvise-rnak)
Claude (dbsp-sources)
2026-10-10 19:35:59 -07:00
f47efef5ae
fix(protocol): a notice from an older generation or a left epoch is ignored (improvise-z2vr)
Claude (dbsp-delivery)
2026-10-10 19:35:49 -07:00
4b246f8108
Merge dbsp/live-source into dbsp/pushdown
Claude (dbsp-sources)
2026-10-10 19:35:03 -07:00
50fa819b2a
Merge dbsp/model-over-source into dbsp/live-source
Claude (dbsp-sources)
2026-10-10 19:33:42 -07:00
7f42a724f9
fix(core): a model put over a source drops the formula cells its own cells computed (improvise-rnak)
Claude (dbsp-sources)
2026-10-10 19:32:39 -07:00
bcc773bb2a
Merge dbsp/source-trait into dbsp/model-over-source
Claude (dbsp-sources)
2026-10-10 19:31:46 -07:00
8ba4bd0a6c
fix(core): summaries are tested for exact merges, impossible parts are refused, and the bypass list is complete (improvise-qddo)
Claude (dbsp-sources)
2026-10-10 19:30:22 -07:00
53868bb4d6
fix(incremental): pushdown takes the source alias, refuses cell edits, shares Eager's reads and pins stem order and refresh snapshots (improvise-rnak)
Claude (dbsp-sources)
2026-10-10 19:06:11 -07:00
00cc83281e
Merge dbsp/live-source into dbsp/pushdown
Claude (dbsp-sources)
2026-10-10 19:02:59 -07:00
82fbe16ea4
fix(incremental): over takes the exported feed alias, drops the model's cells and refuses cell edits in every build (improvise-rnak)
Claude (dbsp-sources)
2026-10-10 19:00:51 -07:00
88b644ff2d
Merge dbsp/model-over-source into dbsp/live-source
Claude (dbsp-sources)
2026-10-10 18:58:28 -07:00
bebaeb2d61
fix(core): a model over a source refuses every write in every build and drops its own cells (improvise-rnak)
Claude (dbsp-sources)
2026-10-10 18:57:13 -07:00
7c5f77708c
Merge dbsp/source-trait into dbsp/model-over-source
Claude (dbsp-sources)
2026-10-10 18:54:23 -07:00
4a49398f1a
fix(core): a Summary can be built from an engine's parts, and keys stop cloning values (improvise-qddo)
Claude (dbsp-sources)
2026-10-10 18:52:58 -07:00
511911db38
Merge gh/main (ec5112cf) into dbsp/source-trait
Claude (dbsp-sources)
2026-10-10 18:51:36 -07:00
ec5112cfe8
Merge pull request #359 from fiddlerwoaroof/fix/delivery-left-epoch-livelock
Ed Langley
2026-10-10 18:42:49 -07:00
c83d81c510
Merge pull request #355 from fiddlerwoaroof/zset/rollback-piece-rebuild
Ed Langley
2026-10-10 18:39:10 -07:00
42c2fcb041
docs(context): the property does not pin the left-epoch bug, and the transport contract (improvise-z2vr)
Claude (dbsp-delivery)
2026-10-10 18:34:46 -07:00
8b0b715213
fix(zset): mark a rebuild chunk's push as a step so a panicking push is counted (improvise-bw4p.5)
Claude (zset-rollback)
2026-10-10 18:28:18 -07:00
bf02a4b589
fix(protocol): the live host's answer is never refused as a left epoch (improvise-z2vr)
Claude (dbsp-delivery)
2026-10-10 18:22:14 -07:00
6bda8a479b
feat(incremental): derived values over a source that answers aggregate queries (improvise-rnak)
Claude (dbsp-sources)
2026-10-10 18:19:56 -07:00
b2445fed97
test(zset): split-tick rollback, integrate and step_continue costs; docs and evidence for the review of #355 (improvise-bw4p.5)
Claude (zset-rollback)
2026-10-10 18:14:59 -07:00
4303af5a1f
fix(zset): clone a log entry before the change it describes and make MemTrace::apply panic-safe (improvise-bw4p.5)
Claude (zset-rollback)
2026-10-10 18:14:59 -07:00
e026d77a02
fix(zset): count the rollbacks that undid a step so a Rebuild cannot outlive its chunks (improvise-bw4p.5)
Claude (zset-rollback)
2026-10-10 18:14:59 -07:00
b1662f2e88
fix(zset): a rollback that took a rebuild's chunks interrupts the job for good (improvise-bw4p.5)
Claude (zset-rollback)
2026-10-10 18:14:52 -07:00
6bc102f378
chore(incremental): drop a proptest seed an injected fault left behind (improvise-rnak)
Claude (dbsp-sources)
2026-10-10 18:13:15 -07:00
9d675c9c33
feat(incremental): a backend over a source that reports its changes (improvise-rnak)
Claude (dbsp-sources)
2026-10-10 18:12:04 -07:00
315e271905
feat(core): a model can be over a source, so one evaluator serves any of them (improvise-rnak)
Claude (dbsp-sources)
2026-10-10 18:03:20 -07:00
7a3e0c5b55
style(core): the test-only reference reduction maps rather than and_thens (improvise-qddo)
Claude (dbsp-sources)
2026-10-10 17:58:17 -07:00
5fdf502871
refactor(core): a read-only CellSource trait, DataStore its first implementation (improvise-qddo)
Claude (dbsp-sources)
2026-10-10 17:55:14 -07:00
51438911e8
docs(context): zset transactions, the bound rebuild and the borrowed piece; evidence (improvise-bw4p.5)
Claude (zset-rollback)
2026-10-10 17:16:43 -07:00
2234ea6318
feat(zset-ffi): zs_circuit_begin, commit and rollback expose the circuit's transactions (improvise-bw4p.5)
Claude (zset-rollback)
2026-10-10 17:14:25 -07:00
3dafc2fa41
feat(zset): Circuit::begin, commit and rollback undo a failed step (improvise-bw4p.5)
Claude (zset-rollback)
2026-10-10 17:11:29 -07:00
44fc3ead7c
fix(zset): a Rebuild is bound to the circuit its input came from (improvise-bw4p.12)
Claude (zset-rollback)
2026-10-10 17:04:24 -07:00
7bca7965ca
perf(zset): an eval borrows its input and a stream keeps a whole only while a tick is split (improvise-bw4p.11)
Claude (zset-rollback)
2026-10-10 17:03:14 -07:00
cae6f26ee8
Merge pull request #354 from fiddlerwoaroof/dbsp/eager-math
Ed Langley
2026-10-10 16:58:43 -07:00
1a05107198
docs(context): correct the Eager-math evidence, restore the product-targeted test, record the cycle changes (improvise-bw4p.20)
Claude (dbsp-backend)
2026-10-10 16:50:28 -07:00
9f035f918e
fix(core): Min/Max, NaN and signed zero follow the math, not the old fold (improvise-bw4p.20)
Claude (dbsp-backend)
2026-10-10 16:37:00 -07:00
5645f8d24a
Merge pull request #353 from fiddlerwoaroof/dbsp/step6-exactsum
Ed Langley
2026-10-10 16:29:13 -07:00
da8d1979ad
Merge pull request #351 from fiddlerwoaroof/dbsp/step5-formulas
Ed Langley
2026-10-10 16:24:42 -07:00
8d4403f39e
Merge pull request #349 from fiddlerwoaroof/dbsp/step4-aggregates
Ed Langley
2026-10-10 16:21:44 -07:00
589944e5db
chore(zset): restore the proptest seeds an earlier cleanup removed (improvise-hrjz)
Claude (dbsp-backend)
2026-10-10 16:12:29 -07:00
e4c6838d28
fix(incremental): Avg rounds the exact mean once, core pins exact sums, Meter counts sum updates; notes and evidence (improvise-hrjz)
Claude (dbsp-backend)
2026-10-10 16:12:21 -07:00
10f63cdef9
Merge dbsp/step5-formulas into dbsp/step6-exactsum
Claude (dbsp-backend)
2026-10-10 16:07:21 -07:00
28e9836759
fix(incremental): a new aggregation reaches the stems that carry its measure; ordered evaluation re-runs the passes over a zero (improvise-shbc)
Claude (dbsp-backend)
2026-10-10 16:06:22 -07:00
c11666ff7a
Merge dbsp/step4-aggregates into dbsp/step5-formulas
Claude (dbsp-backend)
2026-10-10 16:01:41 -07:00
a5ff0a9f6f
Merge gh/main (fdc16122) into dbsp/step4-aggregates
Claude (dbsp-backend)
2026-10-10 16:00:19 -07:00
36dc3bc9eb
fix(incremental): Avg rounds the exact mean once; core pins its exactness; Meter counts sum updates (improvise-hrjz)
Claude (dbsp-backend)
2026-10-10 16:00:11 -07:00
4bb1e2b152
Merge dbsp/step5-formulas into dbsp/step6-exactsum
Claude (dbsp-backend)
2026-10-10 15:57:08 -07:00
fdc16122c0
Merge pull request #352 from fiddlerwoaroof/docs/bookkeeping-2026-10-10
Ed Langley
2026-10-10 15:55:42 -07:00
900b0f65a2
Merge dbsp/step4-aggregates into dbsp/step5-formulas
Claude (dbsp-backend)
2026-10-10 15:55:34 -07:00
5f40cdb4b8
fix(incremental): Min and Max keep the sign of a zero; random suites compare zero signs, cover hidden members, run faster (improvise-u2le)
Claude (dbsp-backend)
2026-10-10 15:52:47 -07:00
0b261165d1
docs(context): the dirty flag is per-effect; only the record tier uses the batch delta
Edward Langley
2026-10-10 15:49:04 -07:00
1bd665a754
docs(context): bring the repo map, gotchas and kb up to ADR 005/009 crates
Edward Langley
2026-10-10 15:28:08 -07:00
41ab7cec4f
chore(incremental): drop proptest seeds that only injected faults produced (improvise-hrjz)
Claude (dbsp-backend)
2026-10-10 15:25:07 -07:00
0c5120a17c
Merge dbsp/step5-formulas into dbsp/step6-exactsum
Claude (dbsp-backend)
2026-10-10 15:24:58 -07:00
ea439ddcaa
Merge pull request #347 from fiddlerwoaroof/adr009/zset-ffi
Ed Langley
2026-10-10 15:24:30 -07:00
4abeb7829d
fix(incremental): meter the whole-cache recompute and correct the step 5 notes (improvise-shbc)
Claude (dbsp-backend)
2026-10-10 15:23:09 -07:00
effca3f663
Merge dbsp/step4-aggregates into dbsp/step5-formulas
Claude (dbsp-backend)
2026-10-10 15:21:28 -07:00
355721ca9f
Merge gh/main (7dafd243) into dbsp/step4-aggregates
Claude (dbsp-backend)
2026-10-10 15:20:02 -07:00
f30f64692c
docs(context): the improvise-incremental note opens on the backend step 4 added (improvise-u2le)
Claude (dbsp-backend)
2026-10-10 15:19:41 -07:00
1b8102c010
test(incremental): exact sums in both backends, evidence and the step 6 reasoning (improvise-hrjz)
Claude (dbsp-backend)
2026-10-10 15:19:05 -07:00
a020ac669f
feat(incremental): Sum and Avg through an exact sum in both backends (improvise-hrjz)
Claude (dbsp-backend)
2026-10-10 15:14:20 -07:00
912580469a
Merge commit '7dafd243' into adr009/zset-ffi
Claude (dbsp-circuit)
2026-10-10 15:12:52 -07:00
Ed L