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

2608 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Claude (dbsp-circuit) 9e29e450ef Merge commit '63b83c28' into adr009/zset-ffi 
# Conflicts:
#	Cargo.nix
 2026-10-10 13:57:56 -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
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 (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) 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-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 (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-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-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-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-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-circuit) 0755222562 feat(zset-ffi): a C ABI over zset for CFFI callers (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:53:08 -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-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-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 (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
Claude (adr009-derived) c0e6bd8f33 feat(incremental): the Derived trait, Eager and the differential harness (improvise-t8ow) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-09 23:46:47 -07:00
Claude (adr009-zset) 069d56bd9f fix(zset): a - a is zero at i64::MIN, and the partial group is stated (improvise-tk51) 
Answers Copilot (SubAssign negated before consulting the held weight) and
Codex (checked arithmetic makes associativity order-dependent at the i64
boundary; documented as the intended policy and pinned by a test).

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-09 23:40:15 -07:00