Skip to content

RUE-1033: Remove the query compatibility graph - #2084

Merged
steveklabnik merged 1 commit into
trunkfrom
codex/rue-1033-query-cutover
Jul 29, 2026
Merged

RUE-1033: Remove the query compatibility graph#2084
steveklabnik merged 1 commit into
trunkfrom
codex/rue-1033-query-cutover

Conversation

@steveklabnik

Copy link
Copy Markdown
Collaborator

Summary

  • remove the retired ADR-0050 semantic manifest/invalidation machinery and durable body/CFG import caches
  • delete the peer QueryGraph, selected-state TypedQueryStore caches, leaf stores, and the parse RevisionedFamily shim
  • make whole-program, import, diagnostics, and tooling views thin projections of the canonical revisioned query runtime
  • make each canonical semantic output retain its exact RIR owner, preventing interner mismatches across codegen, linking, presentation, and oracle consumers
  • add structural gates for a one-function warm edit through one replacement CodegenUnit and a fresh runnable link, plus byte-identical one-worker/four-worker executables
  • supersede ADR-0050 and record the remaining Phase 12 memory-budget decision in RUE-1210

No language semantics change is intended. Diagnostic lifecycle and current/last-good behavior now come from the canonical runtime rather than the removed peer cache.

ADR-0063 Phase 12 remains unchecked: deterministic cross-family retained-byte and dependency-lease budgeting requires the policy decision and enforcement tracked separately.

Validation

  • scripts/rue fmt
  • Clippy: 63 targets, no violations
  • pre-merge tier: 78 passed, 0 failed, 0 timed out
  • compiler units: 747 passed, 0 failed, 1 ignored
  • differential oracle: 4 passed, including semantic/diagnostic/import fault detection
  • oracle units: 103 passed, 0 failed, 1 ignored

Refs RUE-1033.
Refs RUE-1210.

@steveklabnik
steveklabnik enabled auto-merge July 29, 2026 22:15
@steveklabnik
steveklabnik force-pushed the codex/rue-1033-query-cutover branch from b5bf32c to cc1eeba Compare July 29, 2026 22:21
@steveklabnik
steveklabnik force-pushed the codex/rue-1033-query-cutover branch from cc1eeba to 8b44326 Compare July 29, 2026 22:24
@steveklabnik
steveklabnik added this pull request to the merge queue Jul 29, 2026
Merged via the queue into trunk with commit dcba78f Jul 29, 2026
22 checks passed
@steveklabnik
steveklabnik deleted the codex/rue-1033-query-cutover branch July 29, 2026 22:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant