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

2610 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Claude (dbsp-backend) a18a092186 feat(incremental): order-free aggregates and occupancy from maintained groups (improvise-u2le) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 14:30:41 -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-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 (adr009-step3) 70fd5ec9e0 Merge remote-tracking branch 'gh/main' into adr009/cell-delta 2026-10-10 13:18:48 -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 (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-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
Ed Langley d832aa61df Merge pull request #342 from fiddlerwoaroof/edl.review 
Edl.review
 2026-10-10 12:20:50 -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-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-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) 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-probes) ce138bf740 Merge commit 'e438ac13b9067bd5b6e01d400f3567dd28ba1f8e' into adr009/probes 2026-10-10 11:53:23 -07:00
Claude (dbsp-probes) acb52b9639 style(incremental): shorten a comment run to the cap (improvise-bw4p.4) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 11:53:16 -07:00
Ed L 3782403b69 chore(merge): gh/main -> edl.review 2026-10-10 11:52:57 -07:00
Ed L 6dbbfdb6cb chore: more updates 2026-10-10 11:52:45 -07:00
Claude (dbsp-probes) e9a43ce657 docs(incremental): the step 4 groundwork and its evidence; box the divergence's probe (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 11:49:33 -07:00
Claude (dbsp-circuit) ba17f92bc9 style(zset): satisfy clippy and the comment cap (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:48:21 -07:00
Claude (adr009-step3) e438ac13b9 fix(command): record on every model batch and dirty on any logged insertion or removal (improvise-5r8c) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 11:46:40 -07:00
Claude (dbsp-circuit) a4dadae366 docs(zset): the circuit's reasoning and its 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:45:56 -07:00
Claude (dbsp-probes) 5967f8de91 test(incremental): rivals for covers, totals and occupancy; drawn cells; no exponential walk (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 11:45:04 -07:00
Claude (dbsp-circuit) 42ee9bac98 feat(zset): the circuit, incremental operators, traces and resumable rebuild (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:44:20 -07:00
Claude (dbsp-probes) 07dffa4183 feat(incremental): Derived reads covers, totals and occupancy; the harness probes what each view draws (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 11:43:48 -07:00
Claude (adr009-step3) 34a0808f12 docs(context): evidence and reasoning for the cell delta (improvise-5r8c) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 11:30:12 -07:00
Claude (adr009-step3) 0d8fa5bca8 Merge remote-tracking branch 'gh/adr009/derived' into adr009/cell-delta 2026-10-10 11:26:24 -07:00
Claude (adr009-step3) 9dd78a1a9e feat(command): the record tier and the dirty flag read the cell delta (improvise-5r8c) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 11:26:19 -07:00
Ed Langley 0e78a97e99 Update 009-incremental-evaluation.md 2026-10-10 11:25:15 -07:00
Claude (adr009-clean) 7564051bf5 docs(adr): revert the ADR 009 clause 2 amendment; Derived placement is an implementation detail (improvise-felo.4) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 11:22:06 -07:00
Claude (adr009-clean) 1e73868498 Merge branch 'clean-zset' into clean-derived 2026-10-10 11:21:58 -07:00
Claude (adr009-clean) b864abb125 docs(adr): revert the ADR 009 amendment; overflow policy is an implementation detail (improvise-felo.4) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 11:21:55 -07:00
Claude (adr009-step3) 5c7a12fd3d feat(core): CellKey is Ord and DataStore can log its cell changes (improvise-5r8c) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 11:21:52 -07:00
Claude (main-sync) 9031e55956 Merge commit '62a9adb38458987638bb716aac6b9faceb6c9bba' into ms-derived 2026-10-10 11:16:44 -07:00
Claude (main-sync) 62a9adb384 Merge commit 'cea0ff8d' into ms-zset 2026-10-10 11:16:36 -07:00
Ed Langley cea0ff8d9a Merge pull request #339 from fiddlerwoaroof/adr007/display-2c 
feat(display): status messages and the view title show displays (improvise-cq1q.13)
 2026-10-10 11:16:05 -07:00
Ed Langley 65cec44f8d Merge pull request #338 from fiddlerwoaroof/adr007/slugify-amendment 
feat(core): slugify, id syntax, natural order and display suffixes per ADR 007 amendment 1 (improvise-cq1q.14)
 2026-10-10 11:15:34 -07:00
Claude (adr009-zset-amend) 52453ca785 docs(adr): ADR 009 is accepted; Z-set weights are checked i64 and the group is partial (improvise-felo.4) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 11:14:46 -07:00
Claude (adr009-incr-amend) 56b7770282 docs(adr): ADR 009 clause 2 puts Derived and Eager in improvise-incremental (improvise-felo.4) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 11:14:29 -07:00
Claude (adr009-derived) 148c4f5c29 fix(incremental): pin AddFormula and RemoveFormula directly; state the probe limit plainly (improvise-bw4p.4) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 00:32:48 -07:00
Claude (adr009-derived) 7eaeac7263 fix(incremental): probe folded formulas, sub-partials, groups and removed formulas; raw_fold is never a formula (improvise-t8ow) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 00:22:04 -07:00
Claude (adr009-derived) 73af201f03 Merge adr009/zset (d1665f64) into adr009/derived 2026-10-10 00:05:00 -07:00
Claude (adr009-zset) d1665f6499 docs(zset): drop the withdrawn premise from the overflow paragraph (improvise-tk51) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 00:04:24 -07:00
Claude (adr009-derived) eb1730a5a0 Merge adr009/zset (6de889a1) into adr009/derived 2026-10-09 23:57:44 -07:00
Claude (adr009-zset) 6de889a116 test(zset): reach the overflow branches of sub and scale, and correct the policy's reason (improvise-tk51) 
Adds sub and scale(-1) overflow examples and an i128-oracle property over
near-limit weights; injecting wrapping_{add,sub,mul,neg} now fails named
tests. context/code/zset.md no longer claims wrapping breaks retraction.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-09 23:57:04 -07:00
Claude (adr009-derived) b89d19a784 style(incremental): shorten comment runs to the cap (improvise-t8ow) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-09 23:51:16 -07:00
Ed Langley 7b8402a060 Change num-bigint version to 0.4 
Downgrade num-bigint dependency from version 0.5 to 0.4.

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
 2026-10-09 23:48:08 -07:00