Repository navigation
ADR 0071: a source may declare its names identities - #1319
Merged
Merged
Conversation
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Signed-off-by: Bogdan Szabo <bogdan@re-cinq.com>
WaylandYang
approved these changes
Oct 19, 2026
WaylandYang
left a comment
Contributor
There was a problem hiding this comment.
Thank you, this is exactly the short record I hoped for. Decision 2 settles attach vs. split clearly, decision 6 says what happens to existing vectors in both directions, and decision 5 states "identity evidence wins" with its cost and a named test. The link from 0054 and the index row are in place, and 0071 is yours: #1213 has moved to 0072. One small thought for the code PR: when pending learns to skip identity evidence, please keep #1318's plan test green. Merging.
This was referenced Oct 19, 2026
gedaiu
added a commit
to re-cinq/utopia
that referenced
this pull request
Oct 19, 2026
Sync upstream dev into re-dev (2026-10-19, evening): deeplethe#1318, deeplethe#1320, deeplethe#1264, deeplethe#1319 and 7 more
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Part of #1293. The record before code, as you suggested there; no code here.
Thank you for agreeing the shape on #1293 and for the three questions, which made the record a lot sharper. It proposes a per-source
{"names": "identity"}on astatementssource, settled together with #1248, and writes down the agreed answers. Your three points have their own place:nearestquery. Turning it off deletes nothing: those names become pending, and the next extraction in the base backfills them.0054 gets a dated revision line pointing here, and the index lists 0071 under identity. If you'd like any of the six decisions shaped differently, I'm happy to revise before the code PR.
🤖 Generated with Claude Code