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

1936 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Edward Langley 4ff79ff21e WIP red: a rename retry after a crossing LayoutMoved retargets (improvise-9ww8) 
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 17:04:25 -07:00
Edward Langley 29d2adef6b Evidence: never_clear_opened also fails the swap test 
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 11:15:15 -07:00
Edward Langley 94d93a9cca Merge fix/fdk1-coordinate-rename (39821d5f) into fix/20ek-milr-rename-races 
The rename capture now carries both the records seen at open (milr) and the
document generation (vndi); the claim passes both.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 11:10:44 -07:00
Edward Langley 39821d5fb4 Compose the rename capture with vndi's generation and wdmp's placement 
claim_as_read now takes the document generation read at open (#219,
improvise-vndi), so OpenedCoordinate captures it and the rename claims it.
A swap closes the rename editor, so no rival of that is observable;
a_document_swap_closes_an_open_rename_editor pins the precondition.

Since #230 (improvise-wdmp) the asker keeps its placement after a reframing
write, so the reorder test's re-entered editor can sit on Zed; its value
table now includes Zed.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 11:09:37 -07:00
Edward Langley 006a156482 Merge gh/main (202e7eac) into fix/fdk1-coordinate-rename 
ModelCommand is 26 with #214's ReplaceFormula: both sides had edited the
reduce.rs count to 25, which auto-merged unchanged; fixed by hand.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 11:02:40 -07:00
Ed Langley 202e7eac63 Merge pull request #219 from fiddlerwoaroof/fix/vndi-edit-generation 
improvise-vndi: an inline edit opened before a document swap is refused
 2026-09-23 10:50:14 -07:00
Ed Langley 0ff17c0f0e Merge pull request #240 from fiddlerwoaroof/fix/ugj4-jibp-mouse-editor 
Mouse editor: seed from the target, report the first edit (improvise-ugj4, improvise-jibp)
 2026-09-23 10:49:45 -07:00
Ed Langley 799a81aed6 Merge pull request #235 from fiddlerwoaroof/collapse-fu/b114 
improvise-b114/xur5: no coordinate of a wire write may name a group
 2026-09-23 10:49:18 -07:00
Ed Langley b8a4849622 Merge pull request #233 from fiddlerwoaroof/fix/cq3d-status-expiry 
A TUI status message lasts until the next key, then the hint returns (cq3d)
 2026-09-23 10:48:51 -07:00
Ed Langley d3f03f8c01 Merge pull request #241 from fiddlerwoaroof/fix/djcn-canonical-debug 
Make Model's Debug exhaustive and the Debug fingerprint canonical across instances (improvise-djcn)
 2026-09-23 10:48:23 -07:00
Ed Langley c26f016968 Merge pull request #243 from fiddlerwoaroof/fix/c0aj-walk-tracked-documents 
every_shipped_document_loads walks the index, not a .gitignore reading (improvise-c0aj)
 2026-09-23 10:47:56 -07:00
Ed Langley 4502ed2b11 Merge pull request #214 from fiddlerwoaroof/wave/km71-edit-formula 
improvise-km71: edit a formula from the formula panel, in place
 2026-09-23 09:00:07 -07:00
Edward Langley 92515d6271 Keep rename_coordinate's doc comment on the function 
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 08:59:49 -07:00
Edward Langley d5da9747ee rustfmt 
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 08:59:49 -07:00
Edward Langley dc944ea24b Document the RecordGone retry and the rename destination's basis 
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 08:59:42 -07:00
Edward Langley 3e435e88df Refuse a rename retry after RecordGone; check the rename's destination 
improvise-20ek: a RecordGone on the record a rename named pins the editor's
target as Gone, so a retry declines instead of renaming whatever row the
cursor now sits on. RecordMoved still recaptures, which is the force.

improvise-milr: the server adds the rename's destination record, when it
exists and differs from the source, to the records a frame answers for
(records_at_stake). The client cannot compute that hash (ADR 002), so it
claims every record counter it held when the editor opened.

Also: ModelCommand has 25 variants, not 24.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 08:59:12 -07:00
Edward Langley 228f130e61 evidence: an entry for the shape test that cites it (improvise-c0aj) 2026-09-23 08:58:41 -07:00
Ed Langley a634b3f356 Merge pull request #230 from fiddlerwoaroof/fix/wdmp-asker-cursor 
improvise-wdmp: a reframing browser frame keeps the asker's own placement
 2026-09-23 08:58:28 -07:00
Edward Langley 0d14f49e51 WIP red: a retry after RecordGone, and a rename's unchecked destination (improvise-20ek, improvise-milr) 2026-09-23 08:58:21 -07:00
Edward Langley 6dceaad1c7 every_shipped_document_loads walks the index, not a .gitignore reading (improvise-c0aj) 2026-09-23 08:56:26 -07:00
Edward Langley 4e52d06838 WIP red: four ways of shipping a document the .gitignore walk misses (improvise-c0aj) 2026-09-23 08:54:15 -07:00
Edward Langley 42aeeb6b03 rustfmt 
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 08:53:43 -07:00
Edward Langley 1b9a285802 Merge gh/main (5932ad74) into fix/fdk1-coordinate-rename 
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 08:52:57 -07:00
Edward Langley 35013b6bda Evidence, docs and the bundle surface for the mouse editor's seed and first edit (improvise-ugj4, improvise-jibp) 
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 08:52:26 -07:00
Edward Langley 463bef149d Merge commit '5932ad749f0df01d4321cc961f57a488ab637dde' into wave/km71-edit-formula 
# Conflicts:
#	crates/improvise-protocol/src/lib.rs
 2026-09-23 08:51:45 -07:00
Edward Langley 1257789e33 Merge gh/main (ca2d1b19) into fix/fdk1-coordinate-rename 
Composes fdk1's coordinate rename with #205's opened editor (improvise-ixxx):
a coordinate editor opens through opened_on and records SetOpenedEditor like
any value editor, and an untouched rename writes nothing, as the host's
CommitAndAdvance already did. The record/version capture for the basis claim
stays in ClientState::opened; context/code/clients.md argues why it cannot
live in OpenedEditor. Also: core.rs E0533 (CellId::Coordinate is a struct
variant since #197), and the ModelCommand count prose (25).

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 08:51:44 -07:00
Edward Langley 6d5b4e328a improvise-km71: serde back in improvise-formula for FormulaId alone 
tt22 removed the formula crate's serde dependency with the legacy JSON loader,
keeping serde only where a type crosses the wire. FormulaId crosses the wire, so
it is the third such type. No derive goes back on the formula AST.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 08:50:53 -07:00
Edward Langley fa3735b068 Merge gh/main (5932ad74) into fix/wdmp-asker-cursor 
Resolves context/test-evidence/command.md: both sides appended at EOF;
kept gh/main's entries, then this branch's.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 08:49:29 -07:00
Edward Langley 3a4b0eac69 Keep the fixture's doc to two lines (improvise-djcn) 
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 08:49:20 -07:00
Edward Langley f14a7f5f7a Merge gh/main ca2d1b19 into fix/vndi-edit-generation 
socket.rs: EditTarget takes the union (document_generation, cell, version,
opened); typed_target_frame keeps #205's untouched early return, then claims
as read at the captured generation. Evidence appended after gh/main's.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 08:48:46 -07:00
Ed Langley 5932ad749f Merge pull request #231 from fiddlerwoaroof/fix/oplp-tile-cursor 
Tile select opens on the first regular category, not _Index (oplp)
 2026-09-23 08:48:09 -07:00
Edward Langley 47bab86a50 Document the canonical Debug fingerprint and its evidence (improvise-djcn) 
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 08:47:21 -07:00
Ed Langley b4779edb0b Merge pull request #236 from fiddlerwoaroof/fix/i3o5-set-status-refusals 
The collapsed-group and three paste declines refuse, so they exit 1 and reject a frame (improvise-i3o5)
 2026-09-23 08:47:18 -07:00
Edward Langley fa0af07988 Merge remote-tracking branch 'gh/main' into fix/ugj4-jibp-mouse-editor 2026-09-23 08:45:28 -07:00
Ed Langley ca2d1b19ef Merge pull request #226 from fiddlerwoaroof/tooling/52eq-audit 
tooling: the dead-ID audit compares positively and is a checked script (52eq)
 2026-09-23 08:45:15 -07:00
Edward Langley 6096c03caa Make Model's Debug exhaustive and the Debug fingerprint canonical across instances (improvise-djcn) 
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 08:45:14 -07:00
Edward Langley 37a64445e0 Merge commit 'c6de77dbde8d05ba287cb69d92c230089098916f' into wave/km71-edit-formula 
# Conflicts:
#	context/code/command.md
 2026-09-23 08:42:50 -07:00
Ed Langley c6de77dbde Merge pull request #234 from fiddlerwoaroof/fix/qlrh-walk-harness-fixtures 
every_shipped_document_loads walks what .gitignore un-ignores, harness/fixtures included (improvise-qlrh)
 2026-09-23 08:42:02 -07:00
Ed Langley aa96cd6404 Merge pull request #224 from fiddlerwoaroof/wave/tt22-no-legacy-json 
.improv is the only native format: remove the legacy JSON document loader (improvise-tt22)
 2026-09-23 08:41:29 -07:00
Edward Langley 6c181a9c11 Merge gh/main (e406edc8) into fix/wdmp-asker-cursor 
Resolves context/test-evidence/command.md: both sides appended at EOF;
kept gh/main's entries, then this branch's.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 08:40:49 -07:00
Edward Langley 5c19fdd4be Merge gh/main (bb5dfe5c) into collapse-fu/b114 
#217 has landed; this PR now carries only b114 and xur5.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 08:36:55 -07:00
Edward Langley 7b045567c6 Merge remote-tracking branch 'gh/main' into fix/i3o5-set-status-refusals 2026-09-23 08:36:45 -07:00
Edward Langley b060d4cc65 improvise-xur5: pin the fold record written with an undrawn measure 
The reviewer's probe_fold_hidden_measure, over its three rows (hidden,
bogus, no measure). The b114 group rule refuses all three; removing it
fails this test and the b114 test and nothing else.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 08:36:37 -07:00
Edward Langley 961b0c01f8 context: i3o5's four conversions, and what the refuse sweeps cannot see 2026-09-23 08:36:35 -07:00
Edward Langley 5960fe8f0a Merge gh/main (e406edc8) into fix/oplp-tile-cursor 
Clean merge, no conflicts.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 08:35:24 -07:00
Ed Langley bb5dfe5c04 Merge pull request #232 from fiddlerwoaroof/collapse-fu/d7aj 
improvise-d7aj: pin the fold memo to the whole key, and the diamond (stacked on #203)
 2026-09-23 08:35:17 -07:00
Ed Langley cc9bc41092 Merge pull request #217 from fiddlerwoaroof/collapse-fu/ciw8 
improvise-ciw8: a wire write reaches only a cell the host projects as a Record
 2026-09-23 08:34:49 -07:00
Edward Langley 2f7d9c8c5a WIP: the collapsed-group and three paste declines refuse (improvise-i3o5) 2026-09-23 08:33:54 -07:00
Edward Langley 8747074e52 Seed the mouse editor from its target, and mark the target on the first edit (improvise-ugj4, improvise-jibp) 
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 08:33:40 -07:00
Edward Langley bd49de6b48 improvise-4vw8: click_formula opens the editor, as Enter does 
The doc comment still said a formula-row click was navigation only.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-09-23 08:32:06 -07:00