Flips 0030 to Accepted and records the one place the implementation had
to depart from it — `max(local, remote)` alone does not converge, so a
merge that gains operations is stamped and announced like the local write
it is. Recorded in the ADR rather than only in the commit that fixed it,
since the next person to read the decision needs the amendment, not the
original rule.
`data-model.md` described `Crdt(CrdtKind)`; the code has a bare `Crdt`
and should keep it — one library and one shape, with no second case to
justify a type parameter. Its "falls back to LastWriteWins initially"
annotations are gone, `NoteFormat` is documented beside the body it was
split out of, and the artifact-history section now says what is actually
true: for a note body the op log *is* the history, so `ArtifactHistory`
would only duplicate the snapshot.
TODO.md keeps only what the ADR genuinely defers — version-vector
incremental transfer, shallow-snapshot truncation, extending `Crdt` to
`HumanNotes`/`Fact`, an editor that emits ops rather than whole buffers,
and the history UI whose data is already there.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01846bHy18nLBVn8inzmBLkk
Greg ShuflinandClaude Opus 5
414f79aed0