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

2564 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ed Langley 0e78a97e99 Update 009-incremental-evaluation.md 2026-10-10 11:25:15 -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 (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-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-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-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
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
Claude (adr9-steward) d61f5d74e6 docs(adr): ADR 009 permits disposable server-side twins of client state at an edge (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:36:04 -07:00
Claude (adr9-steward) b26c92faf7 docs(adr): ADR 009 states the model and view stores as conceptual boxes, not a network boundary (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:35:01 -07:00
Claude (adr9-steward) 14430b5628 docs(adr): ADR 009 requires self-contained operators and leaves width-hint placement to scheduling (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:32:37 -07:00
Claude (adr9-steward) b8a0b6a846 docs(adr): ADR 009 keeps the window out of a pushed filter and names query pushdown sources (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:31:45 -07:00
Claude (adr9-steward) 81f1b5e13a docs(adr): ADR 009 settles incremental cycles, a temporary Eager, and per-column width hints (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:28:52 -07:00
Claude (adr9-steward) 6bf899c9ec docs(adr): ADR 009 makes per-client filtering an operator in the graph (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:26:21 -07:00
Claude (adr9-steward) 978bd4c8c9 docs(adr): ADR 009 makes the session token transport only and keys shapes by the parsed query (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:25:22 -07:00
Edward Langley 16f40314fd docs(context): act on the adversarial review of the repo-map split 
- AGENTS.md: "Three files" is now "These files"; the table lists five.
- Digests 43 and 45 regain the traps the review found missing.
- protocol.md and formula-and-io.md cite file-inventory.md for the Wasm
  appendix and the inventory, which moved there.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
 2026-10-09 22:23:59 -07:00
Claude (adr9-steward) 63ee13289b docs(adr): ADR 009 makes an edge a session rather than a two-hop path, and its clock causal (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:22:19 -07:00
Claude (adr9-steward) e720f7ca50 docs(adr): ADR 009 makes the formula language the query language and states the incremental principle (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:11:37 -07:00
Edward Langley cc113c732f docs(context): answer the review of the repo-map split 
- repo-stats reads the gotcha list from context/gotchas.md (the digest in
  repo-map.md no longer measures the doc-growth signal) and reports it as
  `docs.gotchas`; the test fixture and its derived expectations follow.
- AGENTS.md and the wave agent-rules protect gotchas.md and
  file-inventory.md like the repo map they were split from.
- doc-site.md's publication table lists the two new pages.
- file-inventory.md's Context docs rows describe the three files correctly.
- the code-review skill points at gotchas.md for the long form.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
 2026-10-09 21:42:24 -07:00
Claude (adr9-steward) 13b3dff35e docs(adr): ADR 009 reads only committed state and sends a whole window when a range moved positions (improvise-felo.4) 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-09 21:35:35 -07:00
Claude (adr9-steward) 5239d3b95a docs(adr): ADR 009 aligns with ADRs 005, 006, 007 and 008 after the cross-read (improvise-felo.4) 
Folds use the natural CellKey order and Seq is gone; no view action
reorders the store; rollback joins the per-command snapshot; a notice
per committed command, with a view-definitions flag; the non-finite
wire change to ADR 005 is stated; the watermark is the whole stamp and
corrections are restricted to the window; deltas cross a hop only after
commit; the totals overlay is conditional on ADR 008; this ADR owns the
text-width rule.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-09 21:31:39 -07:00
Claude (adr9-steward) 7ea88606e2 docs(adr): ADR 009 names the client's position a watermark (improvise-felo.4) 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-09 21:29:21 -07:00
Claude (adr9-steward) 2bea189c67 docs(adr): ADR 009 states correction as the Z-set difference target minus held (improvise-felo.4) 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-09 21:28:49 -07:00
Claude (adr9-steward) 731a04ecd5 docs(adr): ADR 009 answers stale state with an engine correction operation (improvise-felo.4) 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-09 21:26:59 -07:00
Claude (adr9-steward) 353352f89d docs(adr): ADR 009 gives merged notices a covered range, one shared notice log, and a clock per process (improvise-felo.4) 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-09 21:23:49 -07:00
Claude (adr9-steward) 5e94255c21 docs(adr): ADR 009 requires a lossless edge wire form with round-trip tests (improvise-felo.4) 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-09 21:22:50 -07:00
Claude (adr9-steward) f3a54d34e0 docs(adr): ADR 009 makes every operator edge network-transparent, over up to two hops and request/response transports (improvise-felo.4) 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-09 21:18:55 -07:00
Claude (adr9-steward) ee09edee0e Merge commit 'b0ae354f53f87465a408ada68c216ed7beec7424' into adr9-rev-steward 2026-10-09 21:17:49 -07:00
Edward Langley f0119a437d docs(context): condense repo-map to a digest; move gotchas and inventory to their own pages 
repo-map.md was 173 KB (~43k tokens), too long to be part of every new
agent's context. The full gotcha text moves verbatim to context/gotchas.md
and the per-file inventory (with the old Wasm/CLI/Testing sections) to
context/file-inventory.md; the map keeps a one-or-two-line digest per
gotcha under the same numbers, so every `gotcha N` citation still resolves.

The doc-site manifest publishes the two new pages, and `gotchas` gets the
same gotcha-N anchors as `repo-map`.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
 2026-10-09 21:13:55 -07:00
Ed Langley b0ae354f53 Merge pull request #337 from fiddlerwoaroof/adr005/numtower 
feat(numtower): ADR 005 step 1, the numeric tower crate (improvise-59nw.1)
 2026-10-09 20:47:05 -07:00
Ed Langley c57069a359 Merge pull request #336 from fiddlerwoaroof/adr007/display-2b 
feat: displays in the grid frame, page bar, records labels, item rows and CSV (improvise-cq1q.12)
 2026-10-09 20:42:45 -07:00
Claude (adr9-steward) 1a7d2fbf85 docs(adr): ADR 009 aligns its ADR 007 statements with the accepted amendment (improvise-felo.4) 
CellKey's order is the natural id order, a store reorder reassigns Seq,
CellKey pairs are (CategoryId, ItemHandle), and display suffixes are
computed by the client.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-09 13:34:45 -07:00
Claude (adr9-steward) 491266f2e8 Merge commit '0bbf82690c788a9fa99425c4511a12cb8487f222' into adr9-rev-steward 
# Conflicts:
#	scripts/build-doc-site.mjs
 2026-10-09 13:34:45 -07:00
Claude (adr007-2c) 369d1e12c0 test(display): pin the browser's declined_at arm and the removal operands to keys (improvise-cq1q.13) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-09 13:30:42 -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-2c) 300b5afc7f fix(display): defer the formula-result display: the surrogate cannot find the target's category (improvise-cq1q.13) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-09 13:08:33 -07:00
Claude (adr007-2c) bb7fe88547 docs(context): core.md §21 third slice, test evidence, and two comment runs shortened (improvise-cq1q.13) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-09 12:55:41 -07:00
Claude (adr007-slug) b17bcb068b docs(context): core.md section 20 traces its rules to all three clauses and says folding output becomes _ (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:55:14 -07:00
Claude (adr007-2c) 5f741ee1da test(command): the wire refusals and the p key name displays too (improvise-cq1q.13) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-09 12:51:20 -07:00
Claude (adr007-2c) bf7e999edc test(protocol): the filter and delete resolvers still name keys in what they command (improvise-cq1q.13) 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
 2026-10-09 12:49:12 -07:00