7dafd24341
Merge pull request #348 from fiddlerwoaroof/adr009/delivery
Ed Langley
2026-10-10 15:12:22 -07:00
933c9254a0
test(incremental): formula cache reads, wide sets, NaN and the evidence for step 5 (improvise-shbc)
Claude (dbsp-backend)
2026-10-10 15:08:53 -07:00
751028df8f
Merge remote-tracking branch 'gh/main' into adr009/zset-ffi
Claude (dbsp-circuit)
2026-10-10 14:57:24 -07:00
8734608ed3
Merge gh/main into adr009/delivery
Claude (dbsp-delivery)
2026-10-10 14:57:23 -07:00
2bbefdcdc2
Merge pull request #350 from fiddlerwoaroof/ci/test-disk-footprint
Ed Langley
2026-10-10 14:57:02 -07:00
7e3c6b0c30
feat(incremental): maintain the formula cache by stem from the cell changes (improvise-shbc)
Claude (dbsp-backend)
2026-10-10 14:55:00 -07:00
f4f4fb9702
ci(nix): build the test derivation without DWARF and without archiving its target
Claude (ci-disk)
2026-10-10 14:51:36 -07:00
c6fbce0ca1
test(incremental): hidden members under every aggregation, evidence and the step 4 reasoning (improvise-u2le)
Claude (dbsp-backend)
2026-10-10 14:42:43 -07:00
a18a092186
feat(incremental): order-free aggregates and occupancy from maintained groups (improvise-u2le)
Claude (dbsp-backend)
2026-10-10 14:30:41 -07:00
5f2755dc8a
docs(doc-site): publish the zset-ffi pages (improvise-bw4p.1)
Claude (dbsp-circuit)
2026-10-10 14:30:19 -07:00
97f7603c62
Merge gh/main into adr009/delivery
Claude (dbsp-delivery)
2026-10-10 14:18:23 -07:00
ebc7c33d1c
Merge commit '29f1f85f' into adr009/zset-ffi
Claude (dbsp-circuit)
2026-10-10 14:18:16 -07:00
29f1f85fe1
Merge pull request #346 from fiddlerwoaroof/adr009/probes
Ed Langley
2026-10-10 14:17:41 -07:00
a148ab34b3
Merge gh/main into adr009/delivery
Claude (dbsp-delivery)
2026-10-10 13:58:16 -07:00
9e29e450ef
Merge commit '63b83c28' into adr009/zset-ffi
Claude (dbsp-circuit)
2026-10-10 13:57:56 -07:00
8929d6d716
Merge commit '63b83c28fa554bf13a2c1ff4c9f456c26131bf8f' into adr009/probes
Claude (dbsp-probes)
2026-10-10 13:57:40 -07:00
63b83c28fa
Merge pull request #344 from fiddlerwoaroof/adr009/cell-delta
Ed Langley
2026-10-10 13:57:13 -07:00
6e4f772593
Merge gh/main into adr009/delivery
Claude (dbsp-delivery)
2026-10-10 13:18:57 -07:00
70fd5ec9e0
Merge remote-tracking branch 'gh/main' into adr009/cell-delta
Claude (adr009-step3)
2026-10-10 13:18:48 -07:00
22e96d124b
Merge commit '802db7e483c2b83175f9591be919d7ceb1eae7d7' into adr009/zset-ffi
Claude (dbsp-circuit)
2026-10-10 13:17:02 -07:00
802db7e483
Merge pull request #345 from fiddlerwoaroof/adr009/zset-circuit
Ed Langley
2026-10-10 13:16:01 -07:00
c2f4753861
fix(protocol): a reply from an epoch the client has left changes nothing (improvise-z2vr)
Claude (dbsp-delivery)
2026-10-10 12:59:41 -07:00
62810cb3ba
Merge gh/main (b574c6eb) into adr009/delivery
Claude (dbsp-delivery)
2026-10-10 12:45:36 -07:00
437f748a50
Merge remote-tracking branch 'gh/main' into adr009/cell-delta
Claude (adr009-step3)
2026-10-10 12:45:12 -07:00
b574c6ebaa
Merge pull request #343 from fiddlerwoaroof/adr009/derived
Ed Langley
2026-10-10 12:44:12 -07:00
848726543f
Merge pull request #341 from fiddlerwoaroof/adr009/zset
Ed Langley
2026-10-10 12:43:54 -07:00
bfaccae5d4
test(command): the delivery property delays, splits, repeats and replays, and covers swaps, restarts, limits and eviction (improvise-z2vr)
Claude (dbsp-delivery)
2026-10-10 12:42:29 -07:00
edf474d2a3
fix(command): linear item diffs, no delivery work while nobody listens, a bounded outbox, view changes refetch the window (improvise-z2vr)
Claude (dbsp-delivery)
2026-10-10 12:36:09 -07:00
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)
Claude (dbsp-circuit)
2026-10-10 12:35:58 -07:00
f1485f80d4
fix(protocol): older epochs and dead hosts cannot regress a client, pulls are per shape, wire integers are canonical (improvise-z2vr)
Claude (dbsp-delivery)
2026-10-10 12:33:07 -07:00
a23851e920
Merge branch 'adr009/zset-circuit' into adr009/zset-ffi
Claude (dbsp-circuit)
2026-10-10 12:31:49 -07:00
66898d81e4
fix(zset): current() is the whole tick, a split rebuild tick is refused, later ticks are tested (improvise-bw4p.1)
Claude (dbsp-circuit)
2026-10-10 12:31:06 -07:00
06745fc5ed
Merge commit '9783d9093ea153873cd67f8fe2963a17a53e9477' into adr009/probes
Claude (dbsp-probes)
2026-10-10 12:28:06 -07:00
9783d9093e
chore(nix): regenerate Cargo.nix for zset, numtower and improvise-incremental (improvise-5r8c)
Claude (adr009-step3)
2026-10-10 12:27:37 -07:00
826ea70cd6
chore(nix): regenerate Cargo.nix for the zset and numtower edges (improvise-z2vr)
Claude (dbsp-delivery)
2026-10-10 12:23:59 -07:00
d01599d86c
build(nix): regenerate Cargo.nix for zset, numtower and zset-ffi (improvise-bw4p.1)
Claude (dbsp-circuit)
2026-10-10 12:23:46 -07:00
d832aa61df
Merge pull request #342 from fiddlerwoaroof/edl.review
Ed Langley
2026-10-10 12:20:50 -07:00
9bcfa9d10e
fix(zset-ffi): answer the #347 reviews: aliasing, callbacks that fail, out-pointers, unsafe exports, typed header (improvise-bw4p.1)
Claude (dbsp-circuit)
2026-10-10 12:19:02 -07:00
58faf417b5
docs(incremental): the occupancy definition, the skipped views and the corrected evidence (improvise-bw4p.3, improvise-bw4p.4)
Claude (dbsp-probes)
2026-10-10 12:15:44 -07:00
02bb435762
chore(numtower): drop proptest seeds recorded against the first, wrong oracle (improvise-z2vr)
Claude (dbsp-delivery)
2026-10-10 12:12:01 -07:00
eb15df6c36
docs(context): the reasoning and the evidence for delivery (improvise-z2vr)
Claude (dbsp-delivery)
2026-10-10 12:11:48 -07:00
0e6ad9e96a
refactor(protocol): box the large delivery variants, fmt and the axis-change fetch (improvise-z2vr)
Claude (dbsp-delivery)
2026-10-10 12:11:48 -07:00
e3f5cee29a
fix(numtower): a nonzero ExactSum is never negative zero (improvise-z2vr)
Claude (dbsp-delivery)
2026-10-10 12:11:47 -07:00
0e1dd54d83
fix(incremental): group-aware occupancy, page-aware lines, one totals condition, deterministic walk tests (improvise-bw4p.3, improvise-bw4p.4)
Claude (dbsp-probes)
2026-10-10 12:10:42 -07:00
b3f5cedff0
test(zset-ffi): the rebuild is one tick and its last chunk is Done (improvise-bw4p.1)
Claude (dbsp-circuit)
2026-10-10 12:10:29 -07:00
d83a4b8330
docs(evidence): the improvise-incremental entries use ### so --check-evidence reads them (improvise-bw4p.3)
Claude (dbsp-probes)
2026-10-10 12:07:34 -07:00
c024c4bd6e
Merge branch 'adr009/zset-circuit' into adr009/zset-ffi
Claude (dbsp-circuit)
2026-10-10 12:06:49 -07:00
0849981ae1
fix(zset): a chunked rebuild is one tick, empty groups have no row, a last chunk is Done (improvise-bw4p.1)
Claude (dbsp-circuit)
2026-10-10 12:06:46 -07:00
19cea8eded
feat(command): the host end of delivery, one notice per committed command, with the log and corrections (improvise-z2vr)
Claude (dbsp-delivery)
2026-10-10 11:59:30 -07:00
8a76469bcb
docs(zset-ffi): the ABI's reasoning, a CFFI smoke test and test evidence (improvise-bw4p.1)
Claude (dbsp-circuit)
2026-10-10 11:56:17 -07:00
a4c309642f
fix(numtower): a zero ExactSum has the sign IEEE gives its addends (improvise-z2vr)
Claude (dbsp-delivery)
2026-10-10 11:54:51 -07:00
ce138bf740
Merge commit 'e438ac13b9067bd5b6e01d400f3567dd28ba1f8e' into adr009/probes
Claude (dbsp-probes)
2026-10-10 11:53:23 -07:00
acb52b9639
style(incremental): shorten a comment run to the cap (improvise-bw4p.4)
Claude (dbsp-probes)
2026-10-10 11:53:16 -07:00
0755222562
feat(zset-ffi): a C ABI over zset for CFFI callers (improvise-bw4p.1)
Claude (dbsp-circuit)
2026-10-10 11:53:08 -07:00
3782403b69
chore(merge): gh/main -> edl.review
Ed L
2026-10-10 11:52:57 -07:00
6dbbfdb6cb
chore: more updates
Ed L
2026-10-10 11:52:45 -07:00
56fc9922b6
feat(protocol): the lossless wire form, stamps, notices and the client end of an edge (improvise-z2vr)
Claude (dbsp-delivery)
2026-10-10 11:50:20 -07:00
e9a43ce657
docs(incremental): the step 4 groundwork and its evidence; box the divergence's probe (improvise-bw4p.3, improvise-bw4p.4)
Claude (dbsp-probes)
2026-10-10 11:49:33 -07:00
ba17f92bc9
style(zset): satisfy clippy and the comment cap (improvise-bw4p.1)
Claude (dbsp-circuit)
2026-10-10 11:48:21 -07:00
e438ac13b9
fix(command): record on every model batch and dirty on any logged insertion or removal (improvise-5r8c)
Claude (adr009-step3)
2026-10-10 11:46:40 -07:00
a4dadae366
docs(zset): the circuit's reasoning and its test evidence (improvise-bw4p.1)
Claude (dbsp-circuit)
2026-10-10 11:45:56 -07:00
5967f8de91
test(incremental): rivals for covers, totals and occupancy; drawn cells; no exponential walk (improvise-bw4p.3, improvise-bw4p.4)
Claude (dbsp-probes)
2026-10-10 11:45:04 -07:00
42ee9bac98
feat(zset): the circuit, incremental operators, traces and resumable rebuild (improvise-bw4p.1)
Claude (dbsp-circuit)
2026-10-10 11:44:20 -07:00
07dffa4183
feat(incremental): Derived reads covers, totals and occupancy; the harness probes what each view draws (improvise-bw4p.3, improvise-bw4p.4)
Claude (dbsp-probes)
2026-10-10 11:43:48 -07:00
34a0808f12
docs(context): evidence and reasoning for the cell delta (improvise-5r8c)
Claude (adr009-step3)
2026-10-10 11:30:12 -07:00
0d8fa5bca8
Merge remote-tracking branch 'gh/adr009/derived' into adr009/cell-delta
Claude (adr009-step3)
2026-10-10 11:26:24 -07:00
9dd78a1a9e
feat(command): the record tier and the dirty flag read the cell delta (improvise-5r8c)
Claude (adr009-step3)
2026-10-10 11:26:19 -07:00
0e78a97e99
Update 009-incremental-evaluation.md
Ed Langley
2026-10-10 11:25:15 -07:00
7564051bf5
docs(adr): revert the ADR 009 clause 2 amendment; Derived placement is an implementation detail (improvise-felo.4)
Claude (adr009-clean)
2026-10-10 11:22:06 -07:00
1e73868498
Merge branch 'clean-zset' into clean-derived
Claude (adr009-clean)
2026-10-10 11:21:58 -07:00
b864abb125
docs(adr): revert the ADR 009 amendment; overflow policy is an implementation detail (improvise-felo.4)
Claude (adr009-clean)
2026-10-10 11:21:55 -07:00
5c7a12fd3d
feat(core): CellKey is Ord and DataStore can log its cell changes (improvise-5r8c)
Claude (adr009-step3)
2026-10-10 11:21:52 -07:00
9031e55956
Merge commit '62a9adb38458987638bb716aac6b9faceb6c9bba' into ms-derived
Claude (main-sync)
2026-10-10 11:16:44 -07:00
62a9adb384
Merge commit 'cea0ff8d' into ms-zset
Claude (main-sync)
2026-10-10 11:16:36 -07:00
cea0ff8d9a
Merge pull request #339 from fiddlerwoaroof/adr007/display-2c
Ed Langley
2026-10-10 11:16:05 -07:00
65cec44f8d
Merge pull request #338 from fiddlerwoaroof/adr007/slugify-amendment
Ed Langley
2026-10-10 11:15:34 -07:00
52453ca785
docs(adr): ADR 009 is accepted; Z-set weights are checked i64 and the group is partial (improvise-felo.4)
Claude (adr009-zset-amend)
2026-10-10 11:14:46 -07:00
56b7770282
docs(adr): ADR 009 clause 2 puts Derived and Eager in improvise-incremental (improvise-felo.4)
Claude (adr009-incr-amend)
2026-10-10 11:14:29 -07:00
148c4f5c29
fix(incremental): pin AddFormula and RemoveFormula directly; state the probe limit plainly (improvise-bw4p.4)
Claude (adr009-derived)
2026-10-10 00:32:48 -07:00
7eaeac7263
fix(incremental): probe folded formulas, sub-partials, groups and removed formulas; raw_fold is never a formula (improvise-t8ow)
Claude (adr009-derived)
2026-10-10 00:22:04 -07:00
73af201f03
Merge adr009/zset (d1665f64) into adr009/derived
Claude (adr009-derived)
2026-10-10 00:05:00 -07:00
d1665f6499
docs(zset): drop the withdrawn premise from the overflow paragraph (improvise-tk51)
Claude (adr009-zset)
2026-10-10 00:04:24 -07:00
eb1730a5a0
Merge adr009/zset (6de889a1) into adr009/derived
Claude (adr009-derived)
2026-10-09 23:57:44 -07:00
6de889a116
test(zset): reach the overflow branches of sub and scale, and correct the policy's reason (improvise-tk51)
Claude (adr009-zset)
2026-10-09 23:57:04 -07:00
b89d19a784
style(incremental): shorten comment runs to the cap (improvise-t8ow)
Claude (adr009-derived)
2026-10-09 23:51:16 -07:00
7b8402a060
Change num-bigint version to 0.4
Ed Langley
2026-10-09 23:48:08 -07:00
c0e6bd8f33
feat(incremental): the Derived trait, Eager and the differential harness (improvise-t8ow)
Claude (adr009-derived)
2026-10-09 23:46:47 -07:00
069d56bd9f
fix(zset): a - a is zero at i64::MIN, and the partial group is stated (improvise-tk51)
Claude (adr009-zset)
2026-10-09 23:40:15 -07:00
7b75a8e9bd
chore: upgrades
Edward Langley
2026-10-09 23:38:07 -07:00
d8843181f9
chore: upgrades
Edward Langley
2026-10-09 23:37:42 -07:00
a06bad119f
Merge gh/main (5f8c3f8c) into adr007/display-2c
Claude (adr007-2c)
2026-10-09 23:17:56 -07:00
ae398e23b2
Merge gh/main 5f8c3f8c into adr007/slugify-amendment
Claude (adr007-slug)
2026-10-09 23:17:55 -07:00
1bb73cbe4f
docs(zset): the reasoning, the evidence and the wasm gate entry (improvise-tk51)
Claude (adr009-zset)
2026-10-09 23:03:32 -07:00
e15b285822
feat(zset): the Z-set group, map, filter, distinct and the stream operators (improvise-tk51)
Claude (adr009-zset)
2026-10-09 22:57:39 -07:00
5f8c3f8c82
chore(merge): pull request #309 from fiddlerwoaroof/docs/felo4-adr-incremental-evaluation
Ed Langley
2026-10-09 22:50:58 -07:00
1775dc7c2a
Merge pull request #340 from fiddlerwoaroof/docs/condense-repo-map
Ed Langley
2026-10-09 22:49:32 -07:00
40792ee03e
docs(adr): ADR 009 requires a zero-sign property test for sums
Claude (adr9-steward)
2026-10-09 22:45:44 -07:00
bb578d71e3
docs(adr): ADR 009 values compare by float rules, NaN canonical
Claude (adr9-steward)
2026-10-09 22:44:30 -07:00
a9ee6f00d0
docs(adr): ADR 009 states twin-loss recovery and the store as an integrate trace (improvise-felo.4)
Claude (adr9-steward)
2026-10-09 22:38:43 -07:00
Ed Langley