d61f5d74e6
docs(adr): ADR 009 permits disposable server-side twins of client state at an edge (improvise-felo.4)
Claude (adr9-steward)
2026-10-09 22:36:04 -07:00
b26c92faf7
docs(adr): ADR 009 states the model and view stores as conceptual boxes, not a network boundary (improvise-felo.4)
Claude (adr9-steward)
2026-10-09 22:35:01 -07:00
14430b5628
docs(adr): ADR 009 requires self-contained operators and leaves width-hint placement to scheduling (improvise-felo.4)
Claude (adr9-steward)
2026-10-09 22:32:37 -07:00
b8a0b6a846
docs(adr): ADR 009 keeps the window out of a pushed filter and names query pushdown sources (improvise-felo.4)
Claude (adr9-steward)
2026-10-09 22:31:45 -07:00
81f1b5e13a
docs(adr): ADR 009 settles incremental cycles, a temporary Eager, and per-column width hints (improvise-felo.4)
Claude (adr9-steward)
2026-10-09 22:28:52 -07:00
6bf899c9ec
docs(adr): ADR 009 makes per-client filtering an operator in the graph (improvise-felo.4)
Claude (adr9-steward)
2026-10-09 22:26:21 -07:00
978bd4c8c9
docs(adr): ADR 009 makes the session token transport only and keys shapes by the parsed query (improvise-felo.4)
Claude (adr9-steward)
2026-10-09 22:25:22 -07:00
16f40314fd
docs(context): act on the adversarial review of the repo-map split
Edward Langley
2026-10-09 22:23:59 -07:00
63ee13289b
docs(adr): ADR 009 makes an edge a session rather than a two-hop path, and its clock causal (improvise-felo.4)
Claude (adr9-steward)
2026-10-09 22:22:19 -07:00
e720f7ca50
docs(adr): ADR 009 makes the formula language the query language and states the incremental principle (improvise-felo.4)
Claude (adr9-steward)
2026-10-09 22:11:37 -07:00
cc113c732f
docs(context): answer the review of the repo-map split
Edward Langley
2026-10-09 21:42:24 -07:00
13b3dff35e
docs(adr): ADR 009 reads only committed state and sends a whole window when a range moved positions (improvise-felo.4)
Claude (adr9-steward)
2026-10-09 21:35:35 -07:00
5239d3b95a
docs(adr): ADR 009 aligns with ADRs 005, 006, 007 and 008 after the cross-read (improvise-felo.4)
Claude (adr9-steward)
2026-10-09 21:31:39 -07:00
7ea88606e2
docs(adr): ADR 009 names the client's position a watermark (improvise-felo.4)
Claude (adr9-steward)
2026-10-09 21:29:21 -07:00
2bea189c67
docs(adr): ADR 009 states correction as the Z-set difference target minus held (improvise-felo.4)
Claude (adr9-steward)
2026-10-09 21:28:49 -07:00
731a04ecd5
docs(adr): ADR 009 answers stale state with an engine correction operation (improvise-felo.4)
Claude (adr9-steward)
2026-10-09 21:26:59 -07:00
353352f89d
docs(adr): ADR 009 gives merged notices a covered range, one shared notice log, and a clock per process (improvise-felo.4)
Claude (adr9-steward)
2026-10-09 21:23:49 -07:00
5e94255c21
docs(adr): ADR 009 requires a lossless edge wire form with round-trip tests (improvise-felo.4)
Claude (adr9-steward)
2026-10-09 21:22:50 -07:00
f3a54d34e0
docs(adr): ADR 009 makes every operator edge network-transparent, over up to two hops and request/response transports (improvise-felo.4)
Claude (adr9-steward)
2026-10-09 21:18:55 -07:00
ee09edee0e
Merge commit 'b0ae354f53f87465a408ada68c216ed7beec7424' into adr9-rev-steward
Claude (adr9-steward)
2026-10-09 21:17:49 -07:00
f0119a437d
docs(context): condense repo-map to a digest; move gotchas and inventory to their own pages
Edward Langley
2026-10-09 21:13:55 -07:00
b0ae354f53
Merge pull request #337 from fiddlerwoaroof/adr005/numtower
Ed Langley
2026-10-09 20:47:05 -07:00
c57069a359
Merge pull request #336 from fiddlerwoaroof/adr007/display-2b
Ed Langley
2026-10-09 20:42:45 -07:00
1a7d2fbf85
docs(adr): ADR 009 aligns its ADR 007 statements with the accepted amendment (improvise-felo.4)
Claude (adr9-steward)
2026-10-09 13:34:45 -07:00
491266f2e8
Merge commit '0bbf82690c788a9fa99425c4511a12cb8487f222' into adr9-rev-steward
Claude (adr9-steward)
2026-10-09 13:34:33 -07:00
369d1e12c0
test(display): pin the browser's declined_at arm and the removal operands to keys (improvise-cq1q.13)
Claude (adr007-2c)
2026-10-09 13:30:42 -07:00
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)
Claude (adr007-slug)
2026-10-09 13:09:18 -07:00
300b5afc7f
fix(display): defer the formula-result display: the surrogate cannot find the target's category (improvise-cq1q.13)
Claude (adr007-2c)
2026-10-09 13:08:33 -07:00
bb7fe88547
docs(context): core.md §21 third slice, test evidence, and two comment runs shortened (improvise-cq1q.13)
Claude (adr007-2c)
2026-10-09 12:55:41 -07:00
b17bcb068b
docs(context): core.md section 20 traces its rules to all three clauses and says folding output becomes _ (improvise-cq1q.14)
Claude (adr007-slug)
2026-10-09 12:55:14 -07:00
5f741ee1da
test(command): the wire refusals and the p key name displays too (improvise-cq1q.13)
Claude (adr007-2c)
2026-10-09 12:51:20 -07:00
bf7e999edc
test(protocol): the filter and delete resolvers still name keys in what they command (improvise-cq1q.13)
Claude (adr007-2c)
2026-10-09 12:49:12 -07:00
2e1f0f6550
docs(context): core.md section 20 and test evidence for the amended id rules (improvise-cq1q.14)
Claude (adr007-slug)
2026-10-09 12:49:09 -07:00
e0bd0be3d5
feat(display): status messages and the view title show displays, keys keep addressing (improvise-cq1q.13)
Claude (adr007-2c)
2026-10-09 12:48:50 -07:00
227ba54667
feat(core): slugify, id syntax, natural order and display suffixes per ADR 007 amendment 1 (improvise-cq1q.14)
Claude (adr007-slug)
2026-10-09 12:43:28 -07:00
0bbf82690c
chore(merge): pull request #326 from fiddlerwoaroof/docs/adr007-rev9
Ed Langley
2026-10-09 12:34:26 -07:00
bc08a1e41e
docs(adr): list every place natural order changes, and define digit-run value (improvise-cq1q.1)
Claude (adr007-steward)
2026-10-09 10:26:20 -07:00
12642e40b6
docs(adr): ids sort in natural order everywhere (improvise-cq1q.1)
Claude (adr007-steward)
2026-10-09 10:06:59 -07:00
cb73ad3d55
docs(adr): the _Measure section lists every stored measure (improvise-cq1q.1)
Claude (adr007-steward)
2026-10-09 10:06:14 -07:00
c10eca98e0
docs(adr): keep the _Measure section for stored measures, and mark ADR 007's amendment accepted (improvise-cq1q.1)
Claude (adr007-steward)
2026-10-09 10:04:28 -07:00
46c8a967bc
docs(adr): a display suffix skips a number a literal display already holds (improvise-cq1q.1)
Claude (adr007-steward)
2026-10-09 09:52:14 -07:00
1df5f99e35
docs(adr): equal displays in a scope are shown with a gapless " #2" suffix in id order (improvise-cq1q.1)
Claude (adr007-steward)
2026-10-09 09:50:15 -07:00
5923f039f7
docs(adr): ADR 009 makes the client pruning recipe conditional and restores the dropped-connection test (improvise-felo.4)
Claude (adr9-steward)
2026-10-09 09:45:46 -07:00
38058ec73f
docs(adr): move ADR 007's amendment to its own file, stating only what it changes (improvise-cq1q.1)
Claude (adr007-steward)
2026-10-09 09:43:16 -07:00
e7d9ad0d2a
docs(adr): ADR 009 states only what the decision changes (improvise-felo.4)
Claude (adr9-steward)
2026-10-09 09:42:23 -07:00
98db007e71
docs(adr): interactive input matches a display or an id when the pick is unambiguous (improvise-cq1q.1)
Claude (adr007-steward)
2026-10-09 09:41:00 -07:00
c7f8d0a3cd
docs(adr): delete ADR 007's remaining open questions (improvise-cq1q.1)
Claude (adr007-steward)
2026-10-09 09:40:36 -07:00
4778d9741b
docs(adr): virtual categories and measures are defined by criteria, never declared (improvise-cq1q.1)
Claude (adr007-steward)
2026-10-09 09:39:23 -07:00
209270542c
docs(adr): a formula never merges into a stored measure; it takes profit-<n> (improvise-cq1q.1)
Claude (adr007-steward)
2026-10-09 09:38:06 -07:00
ccc6751886
docs(adr): say plainly that a formula line's category tag is an id and _measure is implicit (improvise-cq1q.1)
Claude (adr007-steward)
2026-10-09 09:20:20 -07:00
8405f5c18b
docs(adr): fold the user's answers on ASCII ids, virtual categories and scripts into ADR 007 (improvise-cq1q.1)
Claude (adr007-steward)
2026-10-09 09:18:17 -07:00
2dfe088668
docs(adr): state that a hand-written id may carry the -<n> suffix, and keep slugs in the id alphabet (improvise-cq1q.1)
Claude (adr007-steward)
2026-10-09 09:05:01 -07:00
6e46787887
docs(adr): settle ADR 007's eleven open questions and state the decisions (improvise-cq1q.1)
Claude (adr007-steward)
2026-10-09 09:01:10 -07:00
f11d27377d
test(numtower): property tests run at the 256-case budget (improvise-59nw.1)
Claude (numtower)
2026-10-09 00:14:57 -07:00
34ab0fc3d3
fix(numtower): past-K oracle and weighted NumSum properties, negative-power scale, ExactSum value equality (improvise-59nw.1)
Claude (numtower)
2026-10-08 23:44:07 -07:00
1190c80efe
docs(adr): tag every ADR 007 change to accepted text as [Amendment] (improvise-cq1q.1)
Claude (adr007-steward)
2026-10-08 23:22:01 -07:00
e4f915423c
docs(adr): ADR 009 leaves the operator's shape to its open question and points recommended clauses at theirs (improvise-felo.4)
Claude (adr9-steward)
2026-10-08 23:20:39 -07:00
302594bf5a
Merge commit 'a08899aa0c8d84aa1e5856044bf57ca7d05d77b4' into adr005/numtower
Claude (numtower)
2026-10-08 23:19:18 -07:00
1b26508220
docs(numtower): NumSum keeps five things, not four (improvise-59nw.1)
Claude (numtower)
2026-10-08 23:19:12 -07:00
b7add90830
docs(adr): ADR 009 condensed to problem, decision and open questions (improvise-felo.4)
Claude (adr9-steward)
2026-10-08 23:09:57 -07:00
fa26ec1e41
docs(adr): condense ADR 007 to status, context, decision and open questions (improvise-cq1q.1)
Claude (adr007-steward)
2026-10-08 23:09:04 -07:00
381052e0c1
Merge commit 'a08899aa0c8d84aa1e5856044bf57ca7d05d77b4' into adr9-rev-steward
Claude (adr9-steward)
2026-10-08 23:04:36 -07:00
635a4e8880
Merge commit 'a08899aa0c8d84aa1e5856044bf57ca7d05d77b4' into steward/adr007-rev9-batch2
Claude (adr007-steward)
2026-10-08 23:04:27 -07:00
a08899aa0c
Merge pull request #335 from fiddlerwoaroof/docs/agent-rules-merge-main
Ed Langley
2026-10-08 22:55:58 -07:00
568f52165d
fix(numtower): inexact presence per value, POW sign from exact parity, i128::MIN numerators (improvise-59nw.1)
Claude (numtower)
2026-10-08 22:47:04 -07:00
74efa48196
docs(adr): fold the user's nine answers on 068e4130 into ADR 007 revision 9 (improvise-cq1q.1)
Claude (adr007-steward)
2026-10-08 22:38:52 -07:00
09fa78e7cd
test(command,wasm): column width, row-header width and column group labels follow displays (improvise-cq1q.12)
Claude (adr007-display)
2026-10-08 22:38:16 -07:00
f2ddc2bde6
Merge commit 'f0fb6880b084c043e9eb614713e1209667a42a81' into steward/adr007-rev9-batch2
Claude (adr007-steward)
2026-10-08 22:29:42 -07:00
d20c5471bd
fix(core): a page axis with ragged item displays is refused at deserialise (improvise-cq1q.12)
Claude (adr007-display)
2026-10-08 22:11:43 -07:00
2e5b0e9234
docs(wave): rule 9 gates every merge of main and scopes stacked PRs
Claude (rules-merge-main)
2026-10-08 22:08:02 -07:00
edbb50c426
feat(numtower): benchmark, wasm CI entry, and the reasoning and evidence docs (improvise-59nw.1)
Claude (numtower)
2026-10-08 22:07:44 -07:00
df6b80842f
test(numtower): ADR 005 step 1's property tests, each beside the rival it catches (improvise-59nw.1)
Claude (numtower)
2026-10-08 22:02:18 -07:00
74eb5aaaad
docs(adr): ADR 009 reads C14: the operator is a sink/source adapter at the wire boundary (improvise-felo.4)
Claude (adr9-steward)
2026-10-08 21:59:29 -07:00
0dc881f934
docs(adr): ADR 009 records the user's connection-operator consideration (C13) and its bearing on delivery (improvise-felo.4)
Claude (adr9-steward)
2026-10-08 21:58:58 -07:00
7a7ff81731
docs(context): core.md section 21 and test evidence for displays beside keys, second slice (improvise-cq1q.12)
Claude (adr007-display)
2026-10-08 21:58:46 -07:00
4d04b61b69
feat(numtower): Num, contagion, exact comparison, number language and sums (improvise-59nw.1)
Claude (numtower)
2026-10-08 21:53:37 -07:00
ba053fdaa5
test(protocol,wasm,io): displays drawn, keys composed, in the grid, page bar, panels and CSV (improvise-cq1q.12)
Claude (adr007-display)
2026-10-08 21:47:39 -07:00
7a4dc07642
feat(tui,wasm,io): the grid, page bar, item rows and CSV export draw displays (improvise-cq1q.12)
Claude (adr007-display)
2026-10-08 21:46:12 -07:00
386b693bf5
wip(protocol,command): AxisFrame, PageAxis, CategoryRow and ViewSummary carry displays (improvise-cq1q.12)
Claude (adr007-display)
2026-10-08 21:44:11 -07:00
3335ace76e
docs(adr): ADR 009 scopes clause 13's costs to numbers, restates ADR 005 as merged, pings both ways (improvise-felo.4)
Claude (adr9-steward)
2026-10-08 21:42:22 -07:00
74e66b34bb
docs(wave): agents merge gh/main early and often (rule 9)
Claude (rules-merge-main)
2026-10-08 21:41:30 -07:00
bde258adec
wip(core): displays beside the keys in the layout, page axes and records headers (improvise-cq1q.12)
Claude (adr007-display)
2026-10-08 21:40:52 -07:00
e6a5279055
docs(adr): ADR 009 folds the user's answers to questions 1-10 and 12 (improvise-felo.4)
Claude (adr9-steward)
2026-10-08 21:36:41 -07:00
1fd4d5e7b9
Merge commit 'f0fb6880b084c043e9eb614713e1209667a42a81' into adr9-rev-steward
Claude (adr9-steward)
2026-10-08 21:34:11 -07:00
f0fb6880b0
Merge pull request #320 from fiddlerwoaroof/docs/l2b8-adr-exact-decimal
Ed Langley
2026-10-08 21:32:41 -07:00
46b6b2128a
docs(adr): ADR 005 dates the 8,192-bit ceiling proposal to revision 6 (improvise-l2b8)
Claude (adr5-steward)
2026-10-08 21:22:38 -07:00
cb5d6adee3
docs(adr): ADR 005 stops attributing the 8,192-bit ceiling and a K rationale to the user (improvise-l2b8)
Claude (adr5-steward)
2026-10-08 21:15:45 -07:00
e258599d1c
docs(adr): ADR 005 sets K = 8 on the user's second answer to question 16 (improvise-l2b8)
Claude (adr5-steward)
2026-10-08 21:06:24 -07:00
76fc5a19ff
docs(adr): ADR 005 states the recompute scale, the Eager exposure under K = 32, and the lcm method (improvise-l2b8)
Claude (adr5-steward)
2026-10-08 21:03:29 -07:00
1aa4537f62
docs(adr): ADR 005 reconciles question 13 to two exceptions (improvise-l2b8)
Claude (adr5-steward)
2026-10-08 20:52:51 -07:00
be9de2eecd
docs(adr): ADR 005 answers three Copilot findings on 66f317e1 (improvise-l2b8)
Claude (adr5-steward)
2026-10-08 20:49:29 -07:00
3fbac6dbfa
docs(adr): ADR 005 cites ADR 007 as merged via #210 and #326 as a proposed amendment (improvise-l2b8)
Claude (adr5-steward)
2026-10-08 20:43:54 -07:00
66f317e1b8
Merge remote-tracking branch 'gh/main' into adr5-steward-b2
Claude (adr5-steward)
2026-10-08 20:41:13 -07:00
5f0bbb837b
docs(adr): ADR 005 folds in the user's answer to question 16, K = 32 (improvise-l2b8)
Claude (adr5-steward)
2026-10-08 20:41:13 -07:00
6ad3643790
docs(adr): ADR 009 ties topic subscriptions to connections and leans to plain (b) with a size cap (improvise-felo.4)
Claude (adr9-steward)
2026-10-05 23:27:19 -07:00
85dc0ad8ba
docs(adr): ADR 009 registers subscriptions atomically and stamps batches by a publication number (improvise-felo.4)
Claude (adr9-steward)
2026-10-05 23:23:30 -07:00
70ababfe0c
docs(adr): ADR 009 adds a host instance to the stamp and covers plain (b) by the eviction header (improvise-felo.4)
Claude (adr9-steward)
2026-10-05 23:19:46 -07:00
8ee0d78c64
docs(adr): ADR 009 sends every batch header to every topic and pins subscribed shapes (improvise-felo.4)
Claude (adr9-steward)
2026-10-05 23:19:00 -07:00
e152b667fc
docs(adr): ADR 009 states delivery as host state against wire traffic and leans to one topic per shape (improvise-felo.4)
Claude (adr9-steward)
2026-10-05 23:15:38 -07:00
5a8dc486ca
docs(adr): ADR 009's change notice carries moved output keys, not records alone (improvise-felo.4)
Claude (adr9-steward)
2026-10-05 23:11:03 -07:00
Claude (adr9-steward)