Repository navigation
Sync upstream dev into re-dev (2026-10-23): upstream's containment and identity names replace the fork's - #32
Merged
Merged
Conversation
…e#1266) Signed-off-by: Bogdan Szabo <bogdan@re-cinq.com> Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com> Co-authored-by: WaylandYang <145302500+WaylandYang@users.noreply.github.com>
…y the files that changed (deeplethe#1327) (deeplethe#1365) Signed-off-by: Quintin Botes <quintinbotes@outlook.com> Co-authored-by: WaylandYang <145302500+WaylandYang@users.noreply.github.com>
…ins authoritative (deeplethe#1334) * A regression case can expect no binding while a person's binding remains authoritative Signed-off-by: Virtue039 <virtue039@qq.com> * Let negative regression cases report conflicts without vetoing adoption Signed-off-by: Virtue039 <virtue039@qq.com> * Keep MCP test teardown from racing index background work Signed-off-by: Virtue039 <virtue039@qq.com> --------- Signed-off-by: Virtue039 <virtue039@qq.com> Co-authored-by: WaylandYang <145302500+WaylandYang@users.noreply.github.com>
…by exact name and computes no name vectors for them (deeplethe#1333) * A statements source that declares its names identities attaches them by exact name and computes no name vectors for them Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> Signed-off-by: Bogdan Szabo <bogdan@re-cinq.com> * The identity record separates the class note from decision 6, and the may_attach comment is in Chinese Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> Signed-off-by: Bogdan Szabo <bogdan@re-cinq.com> --------- Signed-off-by: Bogdan Szabo <bogdan@re-cinq.com> Co-authored-by: Claude Sonnet 5.5 <noreply@anthropic.com> Co-authored-by: WaylandYang <145302500+WaylandYang@users.noreply.github.com>
…min approved, so sign-in no longer stops at a consent page (deeplethe#1355) (deeplethe#1362) * A deployment can ask its identity provider for only the scopes its admin approved, so sign-in no longer stops at a consent page (deeplethe#1355) Signed-off-by: Quintin Botes <quintinbotes@outlook.com> * Keep each startup warning's doc comment on its own function, and say in 0069 that the domain list needs the email scope (deeplethe#1355) Signed-off-by: Quintin Botes <quintinbotes@outlook.com> * Name the revising PR in 0069's status line (deeplethe#1355) Signed-off-by: Quintin Botes <quintinbotes@outlook.com> --------- Signed-off-by: Quintin Botes <quintinbotes@outlook.com> Co-authored-by: WaylandYang <145302500+WaylandYang@users.noreply.github.com>
…once instead of re-queueing it every few seconds (deeplethe#1381) * An empty balance during phrase and kind-word alignment fails the run once instead of re-queueing it every few seconds (deeplethe#1360) Signed-off-by: ShryukGrandhi <85529990+ShryukGrandhi@users.noreply.github.com> * The candidates_for doc comment says an empty balance is the exception to the whole-list fallback Signed-off-by: ShryukGrandhi <85529990+ShryukGrandhi@users.noreply.github.com> --------- Signed-off-by: ShryukGrandhi <85529990+ShryukGrandhi@users.noreply.github.com> Co-authored-by: WaylandYang <145302500+WaylandYang@users.noreply.github.com>
deeplethe#1354) (deeplethe#1373) * A settings probe that runs out of time reads as timed out, not refused (deeplethe#1354) Signed-off-by: Quintin Botes <quintinbotes@outlook.com> * A probe that hits the client's read timeout before the probe limit also reads as timed out. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Signed-off-by: Quintin Botes <quintinbotes@outlook.com> --------- Signed-off-by: Quintin Botes <quintinbotes@outlook.com> Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com> Co-authored-by: WaylandYang <145302500+WaylandYang@users.noreply.github.com>
…byte as before, so GitLab issues can use it too (deeplethe#1327) (deeplethe#1378) * Record what every fixture ticket renders today, so moving GitHub and Jira onto one renderer can be checked byte for byte (deeplethe#1327) Signed-off-by: Quintin Botes <quintinbotes@outlook.com> * GitHub and Jira tickets render through one Ticket document, byte for byte as before, so GitLab issues can use it too (deeplethe#1327) Signed-off-by: Quintin Botes <quintinbotes@outlook.com> * The ticket stamp imports sit with the other imports, and decision 0013's status names the Ticket document as built. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Signed-off-by: Quintin Botes <quintinbotes@outlook.com> --------- Signed-off-by: Quintin Botes <quintinbotes@outlook.com> Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com> Co-authored-by: WaylandYang <145302500+WaylandYang@users.noreply.github.com>
…ed once, so no test locks the messages table while another holds a row lock and reads it (deeplethe#1391) Signed-off-by: Bogdan Szabo <bogdan@re-cinq.com> Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com> Co-authored-by: WaylandYang <145302500+WaylandYang@users.noreply.github.com>
…ntity names replace the fork's Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Signed-off-by: Bogdan Szabo <bogdan@re-cinq.com>
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.
Brings
re-devup to upstreamdevat24029380: 9 commits, deeplethe#1266 (a token reads a document's extractions and exports its base), deeplethe#1327 (GitLab repo source, and one Ticket document for GitHub, Jira and GitLab), deeplethe#1333 (astatementssource may declare its names identities), deeplethe#1334 (a regression case can expect no binding, migration0118), deeplethe#1355 (scoped identity-provider sign-in), deeplethe#1381 (an empty balance during alignment fails the run once), deeplethe#1354 (a timed-out settings probe reads as timed out) and deeplethe#1391 (chat test trigger installed once). Thedevmirror was fast-forwarded to upstream first.This sync follows the rule that upstream
devholds the truth: where fork code conflicts with what upstream merged, upstream's version is taken and ours is dropped.Removed in favour of upstream.
CONTAINMENT_SQL,contained_names,SET LOCAL jit = offand the reverse substring lookup are gone.resolution.rsis now byte for byte upstream's, socontainment_reviewsis Containment recall reads the base's name facts through the predicate index instead of probing every entity's facts deeplethe/utopia#1331 plus Containment pairs a Latin name only at a word edge, soareano longer meetsAreaScorecarddeeplethe/utopia#1357.a_similar_name_is_proposed_not_merged.rsis upstream's too, which restores Containment recall reads the base's name facts through the predicate index instead of probing every entity's facts deeplethe/utopia#1331'sa_described_entity_is_not_paired_by_containmentwith its original expectation.resolve_pushed_name, theRecallandNameRecallenums, the skip of name vectors for pushed chunks, andextraction_open_pushed_names_tests.rsare gone. Extraction is wired as upstream does it, throughSource::names_are_identitiesandresolve_identity_name. The fork's 0054 revision line and the "A name you push is matched by its spelling" bullet inweb/src/docs/ingest.mdwere removed; RC-002 has a dated note saying it is superseded.auth.rsdoc comment,docs/design/access-and-audit.md,export_routes.rs): upstream's. The fork's token read on chunk search still works; only upstream's prose for it was taken.Behaviour changes.
entities.canonical_name; it starts fromknown_asfacts. An entity created from a description is never paired by containment.9002_containment_is_trigram_indexed.sqlstays (it ran in production and the migrator refuses a missing one), but its trigram indexes are no longer used. Dropping them would be a later fork migration if wanted.embed_namesjob (Pushed statements: entity resolution does work it already knows the answer to deeplethe/utopia#1296,9003) is kept.Config step. To keep the old behaviour for re-cinq's mirror sources, set
{"names": "identity"}in eachstatementssource's config. Such a name attaches by exact name and gets no name vector.Kept and unchanged: source decay (RC-003), the
embed_namesjob, Google Drive, migrations9000to9006, the token reads for fork-only routes.Schema version 112. One upstream migration came in (
0118); 112 migration files,CURRENT_SCHEMA_VERSIONset to 112.Checked on the merge: migrations ran twice on a fresh database,
cargo fmt --all -- --checkandcargo clippy --workspace --all-targets -- -D warningsare clean,UTOPIA_TEST_REQUIRE_DB=1 cargo test --workspaceis green: 1741 passed, 0 failed, 6 ignored.web/src/docs/ingest.mdconflicted, so the web checks ran: style guard,tsc --noEmitclean,vitest run342 tests in 48 files.🤖 Generated with Claude Code