219 Commits

Author SHA1 Message Date
Claude (dbsp-sources) f9b1e891df Merge dbsp/live-source into dbsp/pushdown 2026-10-10 19:52:55 -07:00
Claude (dbsp-sources) a02b230911 Merge dbsp/model-over-source into dbsp/live-source 2026-10-10 19:51:32 -07:00
Claude (dbsp-sources) 0fd5f50ebf Merge dbsp/source-trait into dbsp/model-over-source 2026-10-10 19:50:09 -07:00
Claude (dbsp-sources) f7404778b0 fix(core): the exactness test merges both ways and from_parts refuses sums that contradict their counts (improvise-qddo)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 19:48:34 -07:00
Claude (dbsp-sources) 4b246f8108 Merge dbsp/live-source into dbsp/pushdown 2026-10-10 19:35:03 -07:00
Claude (dbsp-sources) 50fa819b2a Merge dbsp/model-over-source into dbsp/live-source 2026-10-10 19:33:42 -07:00
Claude (dbsp-sources) 7f42a724f9 fix(core): a model put over a source drops the formula cells its own cells computed (improvise-rnak)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 19:32:39 -07:00
Claude (dbsp-sources) bcc773bb2a Merge dbsp/source-trait into dbsp/model-over-source
# Conflicts:
#	context/code/source.md
2026-10-10 19:31:46 -07:00
Claude (dbsp-sources) 8ba4bd0a6c fix(core): summaries are tested for exact merges, impossible parts are refused, and the bypass list is complete (improvise-qddo)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 19:30:22 -07:00
Claude (dbsp-sources) 00cc83281e Merge dbsp/live-source into dbsp/pushdown
# Conflicts:
#	context/code/source.md
#	context/test-evidence/core.md
#	context/test-evidence/improvise-incremental.md
#	crates/improvise-core/src/model/source.rs
2026-10-10 19:02:59 -07:00
Claude (dbsp-sources) 82fbe16ea4 fix(incremental): over takes the exported feed alias, drops the model's cells and refuses cell edits in every build (improvise-rnak)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 19:00:51 -07:00
Claude (dbsp-sources) 88b644ff2d Merge dbsp/model-over-source into dbsp/live-source
# Conflicts:
#	context/code/source.md
2026-10-10 18:58:28 -07:00
Claude (dbsp-sources) bebaeb2d61 fix(core): a model over a source refuses every write in every build and drops its own cells (improvise-rnak)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 18:57:13 -07:00
Claude (dbsp-sources) 7c5f77708c Merge dbsp/source-trait into dbsp/model-over-source
# Conflicts:
#	context/test-evidence/core.md
2026-10-10 18:54:23 -07:00
Claude (dbsp-sources) 4a49398f1a fix(core): a Summary can be built from an engine's parts, and keys stop cloning values (improvise-qddo)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 18:52:58 -07:00
Claude (dbsp-sources) 6bda8a479b feat(incremental): derived values over a source that answers aggregate queries (improvise-rnak)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 18:19:56 -07:00
Claude (dbsp-sources) 9d675c9c33 feat(incremental): a backend over a source that reports its changes (improvise-rnak)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 18:12:04 -07:00
Claude (dbsp-sources) 315e271905 feat(core): a model can be over a source, so one evaluator serves any of them (improvise-rnak)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 18:03:20 -07:00
Claude (dbsp-sources) 7a3e0c5b55 style(core): the test-only reference reduction maps rather than and_thens (improvise-qddo)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 17:58:17 -07:00
Claude (dbsp-sources) 5fdf502871 refactor(core): a read-only CellSource trait, DataStore its first implementation (improvise-qddo)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 17:55:14 -07:00
Claude (dbsp-backend) 9f035f918e fix(core): Min/Max, NaN and signed zero follow the math, not the old fold (improvise-bw4p.20)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 16:37:00 -07:00
Claude (dbsp-backend) 36dc3bc9eb fix(incremental): Avg rounds the exact mean once; core pins its exactness; Meter counts sum updates (improvise-hrjz)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 16:00:11 -07:00
Claude (dbsp-backend) 0c5120a17c Merge dbsp/step5-formulas into dbsp/step6-exactsum
The sign rule FloatSum wrote is in ExactSum on gh/main now (PR 348), so
step 6 sums through ExactSum and FloatSum and its test are dropped.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 15:24:58 -07:00
Claude (dbsp-backend) a020ac669f feat(incremental): Sum and Avg through an exact sum in both backends (improvise-hrjz)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 15:14:20 -07:00
Claude (dbsp-backend) 7e3c6b0c30 feat(incremental): maintain the formula cache by stem from the cell changes (improvise-shbc)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-10 14:55:00 -07:00
Claude (dbsp-probes) 8929d6d716 Merge commit '63b83c28fa554bf13a2c1ff4c9f456c26131bf8f' into adr009/probes 2026-10-10 13:57:40 -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
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
Ed L 3782403b69 chore(merge): gh/main -> edl.review 2026-10-10 11:52:57 -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
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
Edward Langley d8843181f9 chore: upgrades 2026-10-09 23:37:42 -07:00
Claude (adr007-slug) ae398e23b2 Merge gh/main 5f8c3f8c into adr007/slugify-amendment 2026-10-09 23:17:55 -07:00
Claude (adr9-steward) ee09edee0e Merge commit 'b0ae354f53f87465a408ada68c216ed7beec7424' into adr9-rev-steward 2026-10-09 21:17:49 -07:00
Claude (adr007-slug) 040b7070e3 test(core): pin the zeros tie-break, widen the id-syntax and suffix properties, refresh the amendment's built-code note (improvise-cq1q.14)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-09 13:09:18 -07:00
Claude (adr007-slug) 2e1f0f6550 docs(context): core.md section 20 and test evidence for the amended id rules (improvise-cq1q.14)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-09 12:49:09 -07:00
Claude (adr007-slug) 227ba54667 feat(core): slugify, id syntax, natural order and display suffixes per ADR 007 amendment 1 (improvise-cq1q.14)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-09 12:43:28 -07:00
Claude (adr007-display) d20c5471bd fix(core): a page axis with ragged item displays is refused at deserialise (improvise-cq1q.12)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-08 22:11:43 -07:00
Claude (adr007-display) 7a7ff81731 docs(context): core.md section 21 and test evidence for displays beside keys, second slice (improvise-cq1q.12)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-08 21:58:46 -07:00
Claude (adr007-display) bde258adec wip(core): displays beside the keys in the layout, page axes and records headers (improvise-cq1q.12)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-08 21:40:52 -07:00
Claude (adr9-steward) 502373c025 Merge commit '50e1314d069a4f6e549cd7d9795b6491a89bf903' into adr9-rev-steward 2026-10-05 14:43:31 -07:00
Claude (felo13) 49ea84ca5f fix(docs): register the layout evidence pages; test the two gaps the review found (improvise-felo.13)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-02 19:18:47 -07:00
Claude (felo13) 14cef311dd docs(evidence): layout cost evidence and measurements; fmt the merged bench (improvise-felo.13)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-02 19:01:46 -07:00
Claude (felo13) 3b168a2ec8 perf(grid): keep the whole-grid summary per layout and read a window over it; exact-key probe in DataStore (improvise-felo.13)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-02 18:54:47 -07:00
Claude (felo13) 2f05f6b62d perf(layout): index a data item by position, not by walking the axis (improvise-felo.13)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-02 18:46:18 -07:00
Claude (felo13) 311ae96218 test(layout): a lookup and a cursor key do work independent of grid size (improvise-felo.13)
Two of the three fail on purpose: cell_key is linear in the row index and a
cursor key rebuilds the layout. The third guards the invalidation the fix adds.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-10-02 18:44:06 -07:00
Claude (agent-adr007) 3116d524fb feat(core,protocol): a display beside the key, painted by the three panels (improvise-cq1q.3)
- `Category`, `Item` and `View` each gain a private `display` that starts equal
  to the key and changes only through `set_display` / `set_item_display`.
- `CategoryRow`, `TileEntry` and `ViewSummary` carry `display` beside their key
  field. The key stays what commands are composed from.
- The category-panel headers, the tile bar and the view list paint the display
  in the TUI and the browser. The active-view marker still compares keys.
- No production code sets a display yet, so behaviour is unchanged.
- This is the first slice of ADR 007 step 2. The grid, page bar, records labels,
  item rows and CSV export are improvise-cq1q.12; messages and the view title
  are improvise-cq1q.13.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
2026-09-25 12:12:59 -07:00
Claude (agent-adr007) 7ddc50ac62 Merge commit '62066e1e1c972218b099a36f3f10440eb93d430e' into adr007/plan
# Conflicts:
#	context/code/core.md
#	context/test-evidence/core.md
2026-09-25 10:05:02 -07:00
Ed Langley 7dc34e8458 Merge branch 'main' into feat/nn4s-faces 2026-09-25 00:01:32 -07:00