- Id alphanumerics are ASCII and include -: slugify maps everything
outside a-z, 0-9 and - to _, collapses _, trims _ and - at both ends,
prefixes n before a digit; the id syntax, examples and the suffix /
hyphenated-slug collision rule follow.
- A file never declares a virtual category and refers to one by its id.
- Only CSV import and the .improv loaders read display names in input
text; command-language text, from any source, names things by id.
- The formula line is shown before and after; the dimension spelling and
the [_measure] tag follow from the rules, so that question is deleted.
- The Opus review of 2dfe0886: each measure is keyed by one handle, and
the shared-display case moves to an open question; views join the
things a formula may name.
Open questions are now three: a formula and a stored measure with the
same display, where stored measures are declared, and whether interactive
typing keeps a display stage.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
Codex's review of 6e467878. The suffix question followed from two
decided rules (collisions take -<n>; a hand-written id obeys the
generated syntax), so clause 4 now states the id syntax and the question
is deleted. Step 2 says the slug ends in a-z, 0-9 and _ whichever reading
of "alphanumeric" is chosen. The remaining questions are renumbered 1-4.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
The decisions are written into the clauses as plain design, tagged
[Amendment]: a measure formula's id is the measure's id; formulas may refer
to any id-bearing thing; ids always win, with the display as a preview;
user interfaces accept display names and scripts use ids and display_for;
slugify replaces every non-alphanumeric character with _, collapses _,
trims _ at both ends and prefixes n before a digit; a hand-written id obeys
the generated syntax; a leading _ is reserved for virtual ids, which are
lower case and never written to .improv; records-mode positions are values;
groups have a display and ordinary ids.
All eleven questions are deleted. Five new ones are open: the -<n> suffix
in hand-written ids, ASCII "alphanumeric", how a file records the virtual
categories, the dimension formula line and [_measure] tag, and which
headless entry points are scripts. core.md section 20's note follows the
new slug rules.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
Answers the BLOCK on 302594bf (B1-B3) and its should-fix items: the past-K read and Z-set weights are now checked against a BigRational oracle (the review's F7, F8, F12, F14, F15 now fail by name), a negative power of a unit base has its minimal scale, ExactSum compares values, a forced n/d never reads as infinity, and Interim compares exactly and knows zero without storing.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
The Status now says the tag is the complete list of proposed rules, and its
table gains the regression test's step 3. Clause 12's test keeps the
accepted "commit the unedited text" with the amendment's edit-a-non-name step
tagged; the outside-_Measure real-item rule, the formula-collision example
and the East/East_ collision sentences are tagged; the "exactly one id"
sentence in clause 2 is restored; "other entities" loses the added
"virtual"; the title drops "and groups". core.md section 20 and the id.rs
test evidence cite ADR clauses instead of answer numbers.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
Rewritten on the user's instruction: settled questions are removed,
revision and review history is removed, the decision is stated plainly,
and only unsettled questions remain, renumbered 1-17 for a first-time
reader. The record of the user's answers moves to a PR comment.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
On the user's instruction the ADR no longer carries the decision process:
no answer rounds, quotes, answer numbers or revision history. The accepted
decisions and the proposed amendment are stated as design, with each
amendment rule marked [Amendment] and a table of what it replaces. Settled
questions are deleted; the eleven open ones are renumbered from 1 and
written for a first-time reader. The verbatim record of every answer moves
to a provenance comment on PR #326.
Folds in the delta review of 74efa481: a group's identifier is an id, and
whether it also has a display is now an open question; formulas referring
to anything in a typed context is stated without deciding what that
allows; the Decision's opening and Rejection::Gone include groups.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
Answers 37-45 in a ninth round of "What the user decided". Q24 and Q25 are
answered, slugify's steps are rewritten (whitespace to _, strip, collapse
runs of _, trim leading and trailing _ and -), groups get ids (overriding
answer 9), and Q23 is restated around "a formula is a derived measure" with
a worked example. Q23 stays open; Q26-Q34 are new. core.md section 20 notes
that slugify predates the proposed rules.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
Adds "What the user decided" with the eleven comments of review
5465446805, verbatim. zset, the seam crate and the exact accumulator are
decided; Eager is deprecated and kept for now; the cycle bound and
component fixed point stay for testing with a DBSP-native plan; the
rollback snapshot stands; felo.4 records the ADR only and a new epic
takes the steps; clause 13 becomes the decided direction for
string-value columns. New questions 25-27 hold the residue. Also: dead-
connection detection and the idle-reader eviction storm. Reads ADR 008
at c8be7720; merges gh/main f0fb6880.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
Revision 7. Q16 decided (a), K = 32, over the K = 8 recommendation; figures
re-derived from the appendix, none new. Adds Relations to other ADRs (007, 008,
009) with flagged conflicts.
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
B10: a lease could lapse silently while another client pinned the shape;
a subscription now lives exactly as long as its connection, which drops
the heartbeat. Q13 compares the forms in complexity as well as traffic,
and the author's lean returns to plain (b) with a size cap, with (b') as
a measured optimisation. Client-visible step uses now say publication;
two more required tests. Reads ADR 008 at a25fea81.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
B9: a fetch registers its topic in the same step, so no batch can fall
between them; ack-and-recheck is the alternative; refetch-storm options
and the lease heartbeat's cost are stated. Codex on 70ababfe: the stamp
counts published batches, not per-effect circuit steps, so a
multi-effect batch is one header; required tests added to step 8.
Reads ADR 008 at 1c974bf7.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
Answers the Opus review's B8 and ChatGPT Codex's cache-lifecycle P on
e152b667: headers (stamp, generation, axis changes, relabels, flags,
eviction list) reach every client so T3's gap rule holds; only moved-key
lists are filtered by shape; a topic subscription is a lease that pins
its shape and evictions are announced; the general refetch rule covers
gaps, restarts and evictions; the shape-key switch rule is stated; Q13
puts the Q33 question about topic state to the user.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
Corrects the (b)/(c) comparison, adds (b'): notices by shape-key topic,
O(1) delivery state per client. Also: fold rows match through the
client's member-to-group remap, axis changes do not coalesce, display
relabels ride the notice under ADR 007, and Q24's alternative forms
change the shape key. Reads ADR 008 at 385784e7.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
A record test misses formulas whose inputs sit at another stem; the
notice now carries the moved keys per live shape (the author's lean),
with a conservative client rule as the alternative, and a formula or
measure_agg flag. Also: the occupancy delta is not pushed under (b), T4
and T5 are scoped, measure_agg is model state, Q24 names ADR 008's
alternative forms, and records-mode extent is fetched. Reads ADR 008
at 9df2e478.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
Claude (adr007-steward)