BE-457: HashQL: MIR execution pipeline extensions for postgres compilation

[indietyp]

🌟 What is the purpose of this PR?

Prepares the MIR execution pipeline for consumption by the postgres compiler. The execution analysis now produces a complete IslandGraph (not just a flat island list), the placement solver and island placement accept external allocators, and the traversal system gains the TraversalPathBitMap and as_symbol() APIs that the SQL generator needs. Also adds a backend switch cost to the terminator placement so cross-backend transitions are no longer free.

🔍 What does this change?

Execution analysis (pass/execution/mod.rs):

• run() becomes run_in() with an explicit allocator parameter, returning ExecutionAnalysisResidual (assignment + island graph). The island graph is now constructed as part of the analysis rather than left to the caller.
• Adds run_all_in() which runs the execution analysis over all graph-read bodies in a DefIdSlice.

Traversal system (traversal/mod.rs, traversal/entity.rs):

• TraversalPathBitMap: per-vertex-type collection of TraversalPathBitSets with pointwise lattice operations. The postgres compiler uses this to track which paths each island accesses across all vertex types.
• TraversalPath::as_symbol(): returns a static symbol for each path variant, used as SQL column aliases so the interpreter can locate result columns by name.
• TraversalPathBitSet::vertex(): returns the vertex type for a bitset.
• EntityPath::as_symbol() and EntityPath::column_name(): per-path SQL identifiers.

Terminator placement (terminator_placement/mod.rs):

• TransMatrix gains AddAssign for element-wise saturating addition.
• Adds backend_switch_cost() which encodes a fixed overhead for cross-backend transitions (Postgres to Interpreter: 8, Interpreter to Embedding: 4, etc.). Previously cross-backend transitions had zero inherent cost, so empty blocks were arbitrarily assigned to the interpreter even when staying on postgres was free.

Placement solver (placement/solve/):

• PlacementSolver::run() becomes run_in() with allocator parameter.
• CSP solver internal allocations use the provided allocator.

Island graph (island/graph/mod.rs):

• IslandGraph::new_in() now takes an allocator for its output storage.

Pretty printer (pretty/text.rs):

• TextFormatAnnotations gains annotate_basic_block() and BasicBlockAnnotation associated type, plus a blanket impl for &mut T.

Builder (builder/rvalue.rs):

• Adds RValueBuilder::opaque_entity_uuid() convenience constructor for the common pattern of extracting an entity's UUID.

Pre-Merge Checklist 🚀

🚢 Has this modified a publishable library?

This PR:

• does not modify any publishable blocks or libraries, or modifications do not need publishing

📜 Does this require a change to the docs?

The changes in this PR:

• are internal and do not require a docs change

🕸️ Does this require a change to the Turbo Graph?

The changes in this PR:

• do not affect the execution graph

⚠️ Known issues

The backend_switch_cost() values (8, 4, etc.) are hand-tuned heuristics. They correctly prevent the solver from arbitrarily switching backends for empty blocks, but a proper cost model would derive these from measured overhead.

🛡 What tests cover this?

• Updated execution pass end-to-end tests (execution/tests.rs) including entity_uuid_equality, mixed_postgres_embedding_interpreter, projection_and_apply_splits
• Updated statement placement tests for interpret and postgres backends (eq_opaque_entity_uuid)
• Updated terminator placement and island tests
• Placement solver tests updated for allocator API

❓ How to test this?

cargo nextest run -p hashql-mir

[cursor]

PR Summary

Medium Risk
Touches core execution/placement logic and transition cost modeling; allocator/plumbing changes plus new fixed backend-switch overhead could shift target assignments and island graphs in subtle ways.

Overview
Execution analysis now returns an ExecutionAnalysisResidual containing a full IslandGraph (with control/data/inheritance edges) and is allocator-parameterized via run_in; a new run_all_in batch API runs the analysis across all GraphReadFilter bodies.

Placement/graph construction was updated to accept external allocators end-to-end (solver run_in, island placement run_in, island graph storage), and the terminator transition model now adds a fixed per-backend switch overhead (via backend_switch_cost and TransMatrix +=) on top of data-transfer costs, affecting solver decisions.

Traversal metadata and pretty-printing were extended for SQL generation/debuggability: traversal paths can now be mapped to stable symbols (as_symbol), paths can be tracked across vertex types (TraversalPathBitMap), and the text formatter supports per-basic-block annotations; tests/benchmarks and snapshots were updated and expanded (including opaque EntityUuid equality cases).

^{Reviewed by Cursor Bugbot for commit 60da845. Bugbot is set up for automated code reviews on this repo. Configure here.}

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated (UTC)
hash	Error		May 4, 2026 11:38am
petrinaut	Ready	Preview	May 4, 2026 11:38am

2 Skipped Deployments

Project	Deployment	Actions	Updated (UTC)
hashdotdesign	Ignored	Preview	May 4, 2026 11:38am
hashdotdesign-tokens	Ignored	Preview	May 4, 2026 11:38am

[indietyp]

Warning

This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
Learn more

• BE-513: HashQL: Rework dynamic aggregate size estimation #8697
• BE-512: HashQL: Allow cross-backend transitions for SwitchInt terminators #8696
• BE-524: HashQL: Remove island schedule module #8694
• BE-525: HashQL: Remove implicit type-widening from Integer operations, and make comparison size aware #8693
• BE-515: HashQL: Remove OFFSET 0 materialization fence from generated query #8650
• BE-514: HashQL: implement iterative adjustment passes in placement solver #8635
• BE-500, BE-501: HashQL: Unify mixed parameter resolution in data dependency analysis #8607
• BE-494: HashQL: Loop-breaker selection for recursive inlining #8600
• BE-482: HashQL: Remove logical not from MIR and fix postgres boolean lowering #8595
• BE-474: HashQL: Take into account terminator target eligibility in execution backend placement #8587
• BE-455: HashQL: Introduce evaluation orchestrator #8586
• BE-523: HashQL: Suspendable interpreter with structured values and input system #8675
• BE-522: HashQL: Expand stdlib type system with temporal types #8674
• BE-306: HashQL: PostgreSQL translation #8526
• BE-457: HashQL: MIR execution pipeline extensions for postgres compilation #8525 👈 (View in Graphite)
• BE-456: HashQL: Entity type model enrichment and graph store query extensions #8524
• BE-429: HashQL: Add island dependency graph with data requirement resolution #8501
• BE-428: HashQL: Simplify traversal tracking to path recording #8498
• BE-434: HashQL: Refactor entity storage path resolution with centralized schema mapping #8496
• BE-427: Add hashql-macros crate with procedural macros for ID types and symbols #8495
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[augmentcode]

🤖 Augment PR Summary

Summary: Prepares the HashQL MIR execution pipeline for Postgres compilation by returning a full island dependency graph and exposing traversal/placement APIs needed by the SQL generator.
Key Changes:

• Execution analysis now takes an explicit allocator (run_in) and returns ExecutionAnalysisResidual (assignment + IslandGraph); adds run_all_in for batch analysis.
• Traversal adds TraversalPathBitMap, TraversalPath::as_symbol(), and EntityPath::as_symbol()/column_name() for stable SQL column aliases.
• Placement solver and island placement APIs accept external allocators and route CSP internal allocations through the provided bump allocator.
• Terminator placement introduces a fixed backend_switch_cost() so cross-backend transitions have non-zero overhead (avoids “free” backend flips).
• Island graph gains helper queries (members, contains, find) and is now built/resolved within execution analysis.
• Pretty printer supports per-basic-block annotations; MIR builder gains an opaque aggregate constructor and new tests cover opaque UUID equality.

Tests: Updates/extends execution, statement placement, terminator placement, and allocator-related solver snapshots (incl. entity_uuid_equality). Notes: Backend switch costs are heuristics intended to be refined by a measured cost model.

_{🤖 Was this summary useful? React with 👍 or 👎}

[augmentcode]

Review completed. No suggestions at this time.

Comment augment review to trigger a new review at any time.

[codecov]

Codecov Report

❌ Patch coverage is 64.24581% with 128 lines in your changes missing coverage. Please review.
⚠️ Please upload report for BASE (bm/be-456-hashql-entity-type-model-enrichment-and-graph-store-query@1a97257). Learn more about missing BASE report.

Files with missing lines	Patch %	Lines
...cal/hashql/mir/src/pass/execution/traversal/mod.rs	0.00%	44 Missing ⚠️
libs/@local/hashql/mir/src/pretty/text.rs	21.62%	28 Missing and 1 partial ⚠️
.../hashql/mir/src/pass/execution/traversal/entity.rs	0.00%	28 Missing ⚠️
libs/@local/hashql/mir/src/pass/execution/mod.rs	44.00%	14 Missing ⚠️
.../hashql/mir/src/pass/execution/island/graph/mod.rs	35.29%	11 Missing ⚠️
.../mir/src/pass/execution/placement/solve/csp/mod.rs	90.00%	0 Missing and 1 partial ⚠️
libs/@local/hashql/mir/src/pass/execution/tests.rs	99.07%	1 Missing ⚠️

Additional details and impacted files

@@                                          Coverage Diff                                           @@
##             bm/be-456-hashql-entity-type-model-enrichment-and-graph-store-query    #8525   +/-   ##
======================================================================================================
  Coverage                                                                       ?   85.26%           
======================================================================================================
  Files                                                                          ?      349           
  Lines                                                                          ?    55110           
  Branches                                                                       ?     1339           
======================================================================================================
  Hits                                                                           ?    46991           
  Misses                                                                         ?     7672           
  Partials                                                                       ?      447           

Flag	Coverage Δ
rust.hashql-compiletest	29.63% <ø> (?)
rust.hashql-mir	92.08% <64.24%> (?)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[codspeed-hq]

Merging this PR will not alter performance

✅ 24 untouched benchmarks
⏩ 56 skipped benchmarks¹

---

_{Comparing bm/be-457-hashql-mir-execution-pipeline-extensions-for-postgres (60da845) with bm/be-456-hashql-entity-type-model-enrichment-and-graph-store-query (1a97257)}

Footnotes

1. 56 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩

Latest approval commit db87959 is not an ancestor of c67124e, indicating rewritten history after approval

[cursor]

Cursor Bugbot has reviewed your changes and found 1 potential issue.

^{❌ Bugbot Autofix is OFF. To automatically fix reported issues with cloud agents, enable autofix in the Cursor dashboard.}

^{Reviewed by Cursor Bugbot for commit 5552cbb. Configure here.}