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

2746 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Claude (dbsp-delivery) a4c309642f fix(numtower): a zero ExactSum has the sign IEEE gives its addends (improvise-z2vr) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 11:54:51 -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
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-delivery) 56fc9922b6 feat(protocol): the lossless wire form, stamps, notices and the client end of an edge (improvise-z2vr) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-10 11:50:20 -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
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
Edward Langley 7b75a8e9bd chore: upgrades 2026-10-09 23:38:07 -07:00
Edward Langley d8843181f9 chore: upgrades 2026-10-09 23:37:42 -07:00
Edward Langley f2bb8a6292 chore: update flake.lock + Cargo 2026-10-09 23:33:04 -07:00
Claude (adr007-2c) a06bad119f Merge gh/main (5f8c3f8c) into adr007/display-2c 2026-10-09 23:17:56 -07:00
Claude (adr007-slug) ae398e23b2 Merge gh/main 5f8c3f8c into adr007/slugify-amendment 2026-10-09 23:17:55 -07:00
Claude (adr009-zset) 1bb73cbe4f docs(zset): the reasoning, the evidence and the wasm gate entry (improvise-tk51) 
Registers zset in nix/ci.nix's wasmCrates and the doc site, shortens the
comment runs, and fixes the clippy findings in the test crate.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-09 23:03:32 -07:00
Claude (adr009-zset) e15b285822 feat(zset): the Z-set group, map, filter, distinct and the stream operators (improvise-tk51) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-09 22:57:39 -07:00
Ed Langley 5f8c3f8c82 chore(merge): pull request #309 from fiddlerwoaroof/docs/felo4-adr-incremental-evaluation 
docs(adr): ADR 009 incremental evaluation (proposed) (improvise-felo.4)
 2026-10-09 22:50:58 -07:00
Ed Langley 1775dc7c2a Merge pull request #340 from fiddlerwoaroof/docs/condense-repo-map 
docs(context): condense repo-map to a digest; move gotchas and inventory to their own pages
 2026-10-09 22:49:32 -07:00
Claude (adr9-steward) 40792ee03e docs(adr): ADR 009 requires a zero-sign property test for sums 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-09 22:45:44 -07:00
Claude (adr9-steward) bb578d71e3 docs(adr): ADR 009 values compare by float rules, NaN canonical 
NaN payloads are not preserved: every NaN is one canonical value in the
delta and crosses as ADR 005's `nan` token, so ADR 009 no longer changes
ADR 005 clause 11. Zeros follow IEEE: -0.0 equals +0.0, and a zero sum
takes the sign IEEE gives the same addends. The round-trip property test
asserts a NaN comes back as the canonical NaN.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-09 22:44:30 -07:00
Claude (adr9-steward) a9ee6f00d0 docs(adr): ADR 009 states twin-loss recovery and the store as an integrate trace (improvise-felo.4) 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-09 22:38:43 -07:00