BE-614: HashQL: Generate synthetic closure bodies for intrinsics used as first-class values by indietyp · Pull Request #8895 · hashintel/hash

indietyp · 2026-06-22T16:43:22Z

🌟 What is the purpose of this PR?

Allows intrinsics to be used in value position (passed as arguments, bound to variables) by generating synthetic MIR wrapper bodies during reification. Previously, intrinsics like <= could only appear at call sites where specialization rewrites them. Now they can flow through higher-order functions:

let apply = fn (a, b, f) = (f a b) in
(apply 2 3 <=)

🔍 What does this change?

Synthetic body generation:

Synthetics struct in CrossCompileState manages creation and caching of wrapper bodies
SyntheticBuilder generates MIR bodies with fat closure ABI (unit env as first parameter)
T! macro for matching qualified paths against ConstantSymbol arrays: &T![::core::cmp::gt] in slice patterns, sym::path::core::cmp::gt::CONST for the name
Dispatch table covers all first-classable intrinsics (comparison, boolean, arithmetic, bitwise) with local binary!/unary! macros deriving path and name from the same segments

Thin-call specialization:

rvalue_call_thin_specialize recognizes Call(Thin, Qualified(intrinsic), []) (the administrative thunk-force from the thunking phase) and produces the closure aggregate directly, skipping thunk body generation
Type unwrapping handles the thunking phase's () -> ClosureType wrapper to extract the actual signature

Intrinsic classification:

First-classable: comparison (gt, lt, gte, lte, eq, ne), boolean (and, or, not), arithmetic (add, sub), bitwise (and, or, not)
Unconstructible MIR ops (BinOp variants with ! payload): mul, div, rem, mod, pow, xor, shl, shr
No MIR ops: sqrt, cbrt, root
Not first-classable (syntactic forms): graph::head::entities, graph::body::filter, graph::tail::collect produce a specific user-facing diagnostic

Diagnostics:

intrinsic_not_first_class: user-facing error for graph intrinsics in value position
synthetic_binary_arity_mismatch / synthetic_unary_arity_mismatch: ICE for monomorphized type invariant violations

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

Bare intrinsic at module root ("<=" as the entire program) is not supported. The thunking phase does not wrap the root body when it is a variable, so it never reaches the synthetic machinery. Tracked with a run: skip test.

🐾 Next steps

Untyped property access (the original motivation for this work)
Module system support for root-level qualified paths (BE-67)

🛡 What tests cover this?

Compiletests (8 new):

reify/synthetic-intrinsic-value: basic synthetic body generation and thin-call specialization
reify/synthetic-intrinsic-reused: same intrinsic used twice shares one body (caching)
reify/synthetic-intrinsic-multiple: different intrinsics get separate bodies
reify/synthetic-graph-not-first-class: graph intrinsic in value position produces error
reify/synthetic-intrinsic-bare: bare intrinsic at root (run: skip)
interpret/synthetic-intrinsic-value: end-to-end correctness (evaluates to true)
post_inline/synthetic-intrinsic-hof: full optimization cascade with constants (collapses to return true)
post_inline/synthetic-intrinsic-hof-dynamic: HOF with dynamic inputs collapses to bare x <= y

❓ How to test this?

cargo run --package hashql-compiletest -- run --filter "test(synthetic)"

📹 Demo

The post_inline/synthetic-intrinsic-hof-dynamic test shows the full cascade. A higher-order function receiving <= as a value with dynamic inputs:

Initial:  construct closure for <=, pass to apply, call through fat pointer
Final:    %0 = input LOAD x
          %1 = input LOAD y
          %2 = %0 <= %1
          return %2

All indirection eliminated. Indistinguishable from writing ["<=", x, y] directly.

vercel · 2026-06-22T16:43:29Z

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

Project	Deployment	Actions	Updated (UTC)
hash	Ready	Preview, Comment	Jul 8, 2026 11:25am

2 Skipped Deployments

Project	Deployment	Actions	Updated (UTC)
hashdotdesign-tokens	Ignored	Preview	Jul 8, 2026 11:25am
petrinaut	Skipped		Jul 8, 2026 11:25am

cursor · 2026-06-22T16:43:38Z

PR Summary

Medium Risk
Touches core MIR reification and closure ABI typing for many intrinsics; wrong path dispatch or arity handling could miscompile HOF code, though behavior is heavily covered by new compiletests.

Overview
Enables intrinsics in value position (e.g. passing <= into a higher-order function) by generating cached synthetic MIR bodies during reification, instead of treating qualified paths as unsupported external modules.

Reification now routes qualified variables through Synthetics: known paths (core::cmp::*, core::math::add/sub, boolean/bit ops, etc.) become fat-closure bodies tagged Source::Synthetic, with optional thunk wrappers for FnPtr operands. rvalue_call_thin_specialize beta-reduces admin Call(Thin, Qualified(...), []) into closure aggregates directly. Graph intrinsics in value position get intrinsic_not_first_class; unknown paths still fall back to the external-module error without duplicate diagnostics when a critical diagnostic was already pushed.

Small supporting changes: From<ConstantSymbol> for Symbol, sym::lhs/rhs, scratch.reset() after MIR reify in graph compile, and compiletests for reuse, multiple intrinsics, HOF inlining, and graph errors.

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

indietyp · 2026-06-22T16:43:54Z

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-614: HashQL: Generate synthetic closure bodies for intrinsics used as first-class values #8895 👈 (View in Graphite)
BE-615: HashQL: Introduce the concept of synthetic closures in the MIR #8894
BE-607: HashQL: Refactor ModuleRegistry into builder/immutable split with allocator-generic stdlib construction #8887
BE-538: HashQL: Permission system integration #8882
BE-71: HashQL: Consolidate AST special-form expansion stages into one #8870
BE-481: HashQL: Reify null and empty tuple as unit constants #8853
BE-537, BE-537: hgraph: REST /hashql endpoint with E2E tests #8827
BE-592: HashQL: Remove old eval graph path and core value types #8841
BE-590: hgraph: Refactor entity query handlers into entity/query submodule #8840
BE-587, BE-588: HashQL: Introduce CodeGenerationContext/CodeExecutionContext split and eval-stage Interner #8839
BE-581, BE-589: HashQL: Introduce pass::lower/pass::place pipeline facades and fix cached constructor closure bug #8838
BE-585, BE-591: HashQL: Add MIR interpreter test suite and refactor diagnostic categories #8837
BE-583, BE-584, BE-586: HashQL: Add HeapPool, improve spans, and propagate Critical severity through diagnostics #8836
BE-582: HashQL: Change opaque types from invariant to covariant #8835
main

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

codecov · 2026-06-22T16:47:47Z

Codecov Report

❌ Patch coverage is 0% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 24.83%. Comparing base (c836d70) to head (7801f77).

Files with missing lines	Patch %	Lines
libs/@local/graph/api/src/rest/hashql/compile.rs	0.00%	1 Missing ⚠️

Additional details and impacted files

@@                                          Coverage Diff                                           @@
##           bm/be-615-hashql-introduce-synthetic-closures-and-trivial-closure    #8895       +/-   ##
======================================================================================================
- Coverage                                                              40.65%   24.83%   -15.82%     
======================================================================================================
  Files                                                                    791      663      -128     
  Lines                                                                  70641    50119    -20522     
  Branches                                                                3992     3379      -613     
======================================================================================================
- Hits                                                                   28719    12448    -16271     
+ Misses                                                                 41590    37514     -4076     
+ Partials                                                                 332      157      -175

Flag	Coverage Δ
apps.hash-ai-worker-ts	`1.39% <ø> (ø)`
apps.hash-api	`6.39% <ø> (ø)`
local.hash-backend-utils	`2.81% <ø> (ø)`
local.hash-graph-sdk	`10.02% <ø> (ø)`
local.hash-isomorphic-utils	`0.18% <ø> (ø)`
rust.hash-graph-api	`7.29% <0.00%> (-0.01%)`	⬇️
rust.hashql-compiletest	`28.39% <ø> (ø)`
rust.hashql-core	`?`
rust.hashql-eval	`82.14% <ø> (ø)`

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

☔ View full report in Codecov by Harness.
📢 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 · 2026-06-22T16:50:00Z

Merging this PR will improve performance by 38.94%

⚠️

Different runtime environments detected

Some benchmarks with significant performance changes were compared across different runtime environments,
which may affect the accuracy of the results.

Open the report in CodSpeed to investigate

⚡ 3 improved benchmarks
❌ 1 regressed benchmark
✅ 76 untouched benchmarks

Warning

Please fix the performance issues or acknowledge them on CodSpeed.

Performance Changes

	Benchmark	`BASE`	`HEAD`	Efficiency
❌	`pattern_match_constant`	150.8 ns	180 ns	-16.2%
⚡	`runtime`	58.9 ns	29.7 ns	+98.13%
⚡	`constant`	58.9 ns	29.7 ns	+98.13%
⚡	`type_checker_simulation`	497.5 ns	439.2 ns	+13.28%

Tip

Investigate this regression by commenting @codspeedbot fix this regression on this PR, or directly use the CodSpeed MCP with your agent.

_{Comparing bm/be-614-hashql-generate-synthetic-mir-bodies-for-intrinsics-in-value (7801f77) with bm/be-615-hashql-introduce-synthetic-closures-and-trivial-closure (c836d70)}

Copilot

Pull request overview

Copilot reviewed 25 out of 25 changed files in this pull request and generated 1 comment.

+/// Constructs a `&'static [ConstantSymbol]` path from `::` separated segments.
+///
+/// Each segment maps to the corresponding `sym::` constant.
+///
+/// ```ignore
+/// T![::core::math::add]  // expands to &[sym::core, sym::math, sym::add]
+/// T![::core::cmp::eq]    // expands to &[sym::core, sym::cmp, sym::eq]
+/// ```


Copilot

Pull request overview

Copilot reviewed 25 out of 25 changed files in this pull request and generated no new comments.

Copilot

Pull request overview

Copilot reviewed 25 out of 25 changed files in this pull request and generated no new comments.

Copilot

Pull request overview

Copilot reviewed 25 out of 25 changed files in this pull request and generated no new comments.

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 4580488. Configure here.}

Copilot

Pull request overview

Copilot reviewed 25 out of 25 changed files in this pull request and generated 1 comment.

+/// Constructs a `&'static [ConstantSymbol]` path from `::` separated segments.
+///
+/// Each segment maps to the corresponding `sym::` constant.
+///
+/// ```ignore
+/// T![::core::math::add]  // expands to &[sym::core, sym::math, sym::add]
+/// T![::core::cmp::eq]    // expands to &[sym::core, sym::cmp, sym::eq]
+/// ```


Copilot

Pull request overview

Copilot reviewed 25 out of 25 changed files in this pull request and generated 1 comment.

+/// ```ignore
+/// T![::core::math::add]  // expands to &[sym::core, sym::math, sym::add]
+/// T![::core::cmp::eq]    // expands to &[sym::core, sym::cmp, sym::eq]
+/// ```


Copilot

Pull request overview

Copilot reviewed 25 out of 25 changed files in this pull request and generated 1 comment.

+/// Constructs a `&'static [ConstantSymbol]` path from `::` separated segments.
+///
+/// Each segment maps to the corresponding `sym::` constant.
+///
+/// ```ignore
+/// T![::core::math::add]  // expands to &[sym::core, sym::math, sym::add]
+/// T![::core::cmp::eq]    // expands to &[sym::core, sym::cmp, sym::eq]
+/// ```


Copilot

Pull request overview

Copilot reviewed 25 out of 25 changed files in this pull request and generated 2 comments.

+impl From<ConstantSymbol> for Symbol<'_> {
+    #[inline]
+    #[expect(unsafe_code)]
+    fn from(value: ConstantSymbol) -> Self {
+        // SAFETY: The constant symbol is already interned, so the repr is valid.
+        unsafe { Symbol::from_repr(Repr::constant(value.repr)) }
+    }
+}


+/// ```ignore
+/// T![::core::math::add]  // expands to &[sym::core, sym::math, sym::add]
+/// T![::core::cmp::eq]    // expands to &[sym::core, sym::cmp, sym::eq]
+/// ```


Copilot

Pull request overview

Copilot reviewed 25 out of 25 changed files in this pull request and generated 1 comment.

+/// Constructs a `&'static [ConstantSymbol]` path from `::` separated segments.
+///
+/// Each segment maps to the corresponding `sym::` constant.
+///
+/// ```ignore
+/// T![::core::math::add]  // expands to &[sym::core, sym::math, sym::add]
+/// T![::core::cmp::eq]    // expands to &[sym::core, sym::cmp, sym::eq]
+/// ```


github-actions · 2026-07-08T12:33:52Z

Benchmark results

@rust/hash-graph-benches – Integrations

policy_resolution_large

Function	Value	Mean	Flame graphs
resolve_policies_for_actor	user: empty, selectivity: high, policies: 2002	$$28.5 \mathrm{ms} \pm 191 \mathrm{μs}\left({\color{red}5.74 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: empty, selectivity: low, policies: 1	$$3.44 \mathrm{ms} \pm 21.3 \mathrm{μs}\left({\color{gray}2.12 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: empty, selectivity: medium, policies: 1002	$$12.7 \mathrm{ms} \pm 110 \mathrm{μs}\left({\color{gray}3.32 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: seeded, selectivity: high, policies: 3314	$$44.1 \mathrm{ms} \pm 359 \mathrm{μs}\left({\color{gray}3.21 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: seeded, selectivity: low, policies: 1	$$14.5 \mathrm{ms} \pm 111 \mathrm{μs}\left({\color{gray}3.13 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: seeded, selectivity: medium, policies: 1527	$$25.0 \mathrm{ms} \pm 226 \mathrm{μs}\left({\color{red}6.01 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: high, policies: 2078	$$29.9 \mathrm{ms} \pm 295 \mathrm{μs}\left({\color{red}7.53 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: low, policies: 1	$$3.79 \mathrm{ms} \pm 24.8 \mathrm{μs}\left({\color{gray}1.84 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: medium, policies: 1033	$$14.6 \mathrm{ms} \pm 117 \mathrm{μs}\left({\color{red}9.14 \mathrm{\%}}\right) $$	Flame Graph

policy_resolution_medium

Function	Value	Mean	Flame graphs
resolve_policies_for_actor	user: empty, selectivity: high, policies: 102	$$3.75 \mathrm{ms} \pm 20.2 \mathrm{μs}\left({\color{gray}0.911 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: empty, selectivity: low, policies: 1	$$2.96 \mathrm{ms} \pm 22.6 \mathrm{μs}\left({\color{gray}0.949 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: empty, selectivity: medium, policies: 52	$$3.37 \mathrm{ms} \pm 27.4 \mathrm{μs}\left({\color{gray}2.23 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: seeded, selectivity: high, policies: 269	$$5.14 \mathrm{ms} \pm 28.6 \mathrm{μs}\left({\color{gray}1.09 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: seeded, selectivity: low, policies: 1	$$3.53 \mathrm{ms} \pm 19.3 \mathrm{μs}\left({\color{gray}1.81 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: seeded, selectivity: medium, policies: 108	$$4.11 \mathrm{ms} \pm 20.1 \mathrm{μs}\left({\color{gray}1.06 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: high, policies: 133	$$4.47 \mathrm{ms} \pm 36.4 \mathrm{μs}\left({\color{gray}2.71 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: low, policies: 1	$$3.43 \mathrm{ms} \pm 17.5 \mathrm{μs}\left({\color{gray}0.007 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: medium, policies: 63	$$4.09 \mathrm{ms} \pm 26.1 \mathrm{μs}\left({\color{gray}1.41 \mathrm{\%}}\right) $$	Flame Graph

policy_resolution_none

Function	Value	Mean	Flame graphs
resolve_policies_for_actor	user: empty, selectivity: high, policies: 2	$$2.63 \mathrm{ms} \pm 14.9 \mathrm{μs}\left({\color{gray}0.356 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: empty, selectivity: low, policies: 1	$$2.47 \mathrm{ms} \pm 13.2 \mathrm{μs}\left({\color{gray}-0.167 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: empty, selectivity: medium, policies: 2	$$2.63 \mathrm{ms} \pm 16.9 \mathrm{μs}\left({\color{gray}0.380 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: high, policies: 8	$$2.94 \mathrm{ms} \pm 20.4 \mathrm{μs}\left({\color{gray}2.30 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: low, policies: 1	$$2.72 \mathrm{ms} \pm 19.9 \mathrm{μs}\left({\color{gray}2.78 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: medium, policies: 3	$$2.89 \mathrm{ms} \pm 16.0 \mathrm{μs}\left({\color{gray}1.33 \mathrm{\%}}\right) $$	Flame Graph

policy_resolution_small

Function	Value	Mean	Flame graphs
resolve_policies_for_actor	user: empty, selectivity: high, policies: 52	$$3.01 \mathrm{ms} \pm 14.2 \mathrm{μs}\left({\color{gray}0.789 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: empty, selectivity: low, policies: 1	$$2.71 \mathrm{ms} \pm 14.2 \mathrm{μs}\left({\color{gray}0.274 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: empty, selectivity: medium, policies: 26	$$2.96 \mathrm{ms} \pm 17.1 \mathrm{μs}\left({\color{gray}0.118 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: seeded, selectivity: high, policies: 94	$$3.42 \mathrm{ms} \pm 21.2 \mathrm{μs}\left({\color{gray}0.835 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: seeded, selectivity: low, policies: 1	$$2.95 \mathrm{ms} \pm 24.0 \mathrm{μs}\left({\color{gray}1.25 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: seeded, selectivity: medium, policies: 27	$$3.25 \mathrm{ms} \pm 17.9 \mathrm{μs}\left({\color{gray}0.005 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: high, policies: 66	$$3.37 \mathrm{ms} \pm 23.8 \mathrm{μs}\left({\color{gray}1.50 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: low, policies: 1	$$2.91 \mathrm{ms} \pm 15.2 \mathrm{μs}\left({\color{gray}0.551 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: medium, policies: 29	$$3.33 \mathrm{ms} \pm 21.4 \mathrm{μs}\left({\color{gray}2.36 \mathrm{\%}}\right) $$	Flame Graph

read_scaling_complete

Function	Value	Mean	Flame graphs
entity_by_id;one_depth	1 entities	$$41.0 \mathrm{ms} \pm 269 \mathrm{μs}\left({\color{gray}0.509 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;one_depth	10 entities	$$31.2 \mathrm{ms} \pm 159 \mathrm{μs}\left({\color{gray}-1.084 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;one_depth	25 entities	$$34.7 \mathrm{ms} \pm 247 \mathrm{μs}\left({\color{gray}1.15 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;one_depth	5 entities	$$31.1 \mathrm{ms} \pm 228 \mathrm{μs}\left({\color{lightgreen}-30.860 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;one_depth	50 entities	$$41.2 \mathrm{ms} \pm 221 \mathrm{μs}\left({\color{gray}0.654 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;two_depth	1 entities	$$48.5 \mathrm{ms} \pm 281 \mathrm{μs}\left({\color{gray}1.63 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;two_depth	10 entities	$$39.3 \mathrm{ms} \pm 244 \mathrm{μs}\left({\color{gray}0.745 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;two_depth	25 entities	$$92.0 \mathrm{ms} \pm 490 \mathrm{μs}\left({\color{red}8.21 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;two_depth	5 entities	$$32.4 \mathrm{ms} \pm 169 \mathrm{μs}\left({\color{lightgreen}-11.708 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;two_depth	50 entities	$$279 \mathrm{ms} \pm 985 \mathrm{μs}\left({\color{gray}0.267 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;zero_depth	1 entities	$$10.4 \mathrm{ms} \pm 62.3 \mathrm{μs}\left({\color{gray}3.55 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;zero_depth	10 entities	$$10.7 \mathrm{ms} \pm 64.1 \mathrm{μs}\left({\color{gray}4.13 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;zero_depth	25 entities	$$10.7 \mathrm{ms} \pm 63.4 \mathrm{μs}\left({\color{red}5.12 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;zero_depth	5 entities	$$10.3 \mathrm{ms} \pm 65.9 \mathrm{μs}\left({\color{gray}0.762 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;zero_depth	50 entities	$$10.6 \mathrm{ms} \pm 87.3 \mathrm{μs}\left({\color{gray}3.47 \mathrm{\%}}\right) $$	Flame Graph

read_scaling_linkless

Function	Value	Mean	Flame graphs
entity_by_id	1 entities	$$10.4 \mathrm{ms} \pm 67.8 \mathrm{μs}\left({\color{gray}0.382 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	10 entities	$$10.4 \mathrm{ms} \pm 65.3 \mathrm{μs}\left({\color{gray}-0.469 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	100 entities	$$10.5 \mathrm{ms} \pm 64.5 \mathrm{μs}\left({\color{gray}1.92 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	1000 entities	$$10.5 \mathrm{ms} \pm 60.8 \mathrm{μs}\left({\color{gray}-0.645 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	10000 entities	$$10.9 \mathrm{ms} \pm 87.6 \mathrm{μs}\left({\color{gray}4.02 \mathrm{\%}}\right) $$	Flame Graph

representative_read_entity

Function	Value	Mean	Flame graphs
entity_by_id	entity type ID: `https://blockprotocol.org/@alice/types/entity-type/block/v/1`	$$10.7 \mathrm{ms} \pm 66.2 \mathrm{μs}\left({\color{gray}1.24 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	entity type ID: `https://blockprotocol.org/@alice/types/entity-type/book/v/1`	$$10.8 \mathrm{ms} \pm 67.7 \mathrm{μs}\left({\color{gray}2.42 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	entity type ID: `https://blockprotocol.org/@alice/types/entity-type/building/v/1`	$$10.7 \mathrm{ms} \pm 76.2 \mathrm{μs}\left({\color{gray}1.27 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	entity type ID: `https://blockprotocol.org/@alice/types/entity-type/organization/v/1`	$$10.7 \mathrm{ms} \pm 85.1 \mathrm{μs}\left({\color{gray}1.51 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	entity type ID: `https://blockprotocol.org/@alice/types/entity-type/page/v/2`	$$10.9 \mathrm{ms} \pm 85.9 \mathrm{μs}\left({\color{gray}1.57 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	entity type ID: `https://blockprotocol.org/@alice/types/entity-type/person/v/1`	$$10.8 \mathrm{ms} \pm 61.3 \mathrm{μs}\left({\color{gray}1.72 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	entity type ID: `https://blockprotocol.org/@alice/types/entity-type/playlist/v/1`	$$10.7 \mathrm{ms} \pm 66.6 \mathrm{μs}\left({\color{gray}0.581 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	entity type ID: `https://blockprotocol.org/@alice/types/entity-type/song/v/1`	$$10.7 \mathrm{ms} \pm 81.8 \mathrm{μs}\left({\color{gray}-0.348 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	entity type ID: `https://blockprotocol.org/@alice/types/entity-type/uk-address/v/1`	$$10.8 \mathrm{ms} \pm 64.5 \mathrm{μs}\left({\color{gray}1.17 \mathrm{\%}}\right) $$	Flame Graph

representative_read_entity_type

Function	Value	Mean	Flame graphs
get_entity_type_by_id	Account ID: `bf5a9ef5-dc3b-43cf-a291-6210c0321eba`	$$8.69 \mathrm{ms} \pm 50.0 \mathrm{μs}\left({\color{gray}3.40 \mathrm{\%}}\right) $$	Flame Graph

representative_read_multiple_entities

Function	Value	Mean	Flame graphs
entity_by_property	traversal_paths=0	0	$$58.4 \mathrm{ms} \pm 435 \mathrm{μs}\left({\color{gray}-2.994 \mathrm{\%}}\right) $$
entity_by_property	traversal_paths=255	1,resolve_depths=inherit:1;values:255;properties:255;links:127;link_dests:126;type:true	$$111 \mathrm{ms} \pm 548 \mathrm{μs}\left({\color{gray}0.408 \mathrm{\%}}\right) $$
entity_by_property	traversal_paths=2	1,resolve_depths=inherit:0;values:0;properties:0;links:0;link_dests:0;type:false	$$64.0 \mathrm{ms} \pm 338 \mathrm{μs}\left({\color{gray}-1.758 \mathrm{\%}}\right) $$
entity_by_property	traversal_paths=2	1,resolve_depths=inherit:0;values:0;properties:0;links:1;link_dests:0;type:true	$$75.2 \mathrm{ms} \pm 411 \mathrm{μs}\left({\color{gray}-0.624 \mathrm{\%}}\right) $$
entity_by_property	traversal_paths=2	1,resolve_depths=inherit:0;values:0;properties:2;links:1;link_dests:0;type:true	$$83.2 \mathrm{ms} \pm 536 \mathrm{μs}\left({\color{gray}-0.058 \mathrm{\%}}\right) $$
entity_by_property	traversal_paths=2	1,resolve_depths=inherit:0;values:2;properties:2;links:1;link_dests:0;type:true	$$90.7 \mathrm{ms} \pm 504 \mathrm{μs}\left({\color{gray}0.475 \mathrm{\%}}\right) $$
link_by_source_by_property	traversal_paths=0	0	$$46.2 \mathrm{ms} \pm 317 \mathrm{μs}\left({\color{gray}4.81 \mathrm{\%}}\right) $$
link_by_source_by_property	traversal_paths=255	1,resolve_depths=inherit:1;values:255;properties:255;links:127;link_dests:126;type:true	$$74.8 \mathrm{ms} \pm 524 \mathrm{μs}\left({\color{gray}1.83 \mathrm{\%}}\right) $$
link_by_source_by_property	traversal_paths=2	1,resolve_depths=inherit:0;values:0;properties:0;links:0;link_dests:0;type:false	$$52.0 \mathrm{ms} \pm 356 \mathrm{μs}\left({\color{gray}3.21 \mathrm{\%}}\right) $$
link_by_source_by_property	traversal_paths=2	1,resolve_depths=inherit:0;values:0;properties:0;links:1;link_dests:0;type:true	$$61.7 \mathrm{ms} \pm 442 \mathrm{μs}\left({\color{gray}4.45 \mathrm{\%}}\right) $$
link_by_source_by_property	traversal_paths=2	1,resolve_depths=inherit:0;values:0;properties:2;links:1;link_dests:0;type:true	$$64.1 \mathrm{ms} \pm 492 \mathrm{μs}\left({\color{gray}3.29 \mathrm{\%}}\right) $$
link_by_source_by_property	traversal_paths=2	1,resolve_depths=inherit:0;values:2;properties:2;links:1;link_dests:0;type:true	$$63.9 \mathrm{ms} \pm 409 \mathrm{μs}\left({\color{gray}2.77 \mathrm{\%}}\right) $$

scenarios

Function	Value	Mean	Flame graphs
full_test	query-limited	$$121 \mathrm{ms} \pm 684 \mathrm{μs}\left({\color{gray}0.825 \mathrm{\%}}\right) $$	Flame Graph
full_test	query-unlimited	$$133 \mathrm{ms} \pm 695 \mathrm{μs}\left({\color{gray}1.48 \mathrm{\%}}\right) $$	Flame Graph
linked_queries	query-limited	$$18.7 \mathrm{ms} \pm 164 \mathrm{μs}\left({\color{gray}2.96 \mathrm{\%}}\right) $$	Flame Graph
linked_queries	query-unlimited	$$538 \mathrm{ms} \pm 1.10 \mathrm{ms}\left({\color{gray}0.327 \mathrm{\%}}\right) $$	Flame Graph

indietyp added 2 commits June 22, 2026 17:34

feat: add synthetic file

8b99c99

feat: test test test

3677631

Copilot AI review requested due to automatic review settings June 22, 2026 16:43

graphite-app Bot assigned indietyp Jun 22, 2026

vercel Bot temporarily deployed to Preview – petrinaut June 22, 2026 16:43 Inactive

indietyp changed the title ~~BE-614: HashQL MIR: Generate synthetic closure bodies for intrinsics used as first-class values~~ BE-614: HashQL: Generate synthetic closure bodies for intrinsics used as first-class values Jun 22, 2026

This was referenced Jun 22, 2026

BE-537, BE-537: hgraph: REST /hashql endpoint with E2E tests #8827

Merged

BE-582: HashQL: Change opaque types from invariant to covariant #8835

Merged

github-actions Bot added area/libs Relates to first-party libraries/crates/packages (area) type/eng > backend Owned by the @backend team area/tests New or updated tests labels Jun 22, 2026

Copilot started reviewing on behalf of indietyp June 22, 2026 16:43 View session

cursor Bot reviewed Jun 22, 2026

View reviewed changes

Comment thread libs/@local/hashql/mir/src/reify/synthetic.rs

vercel Bot deployed to Preview – hash June 22, 2026 16:50 View deployment

indietyp force-pushed the bm/be-614-hashql-generate-synthetic-mir-bodies-for-intrinsics-in-value branch from 538afac to 88472a7 Compare July 3, 2026 14:28

vercel Bot temporarily deployed to Preview – petrinaut July 3, 2026 14:28 Inactive

Copilot started reviewing on behalf of indietyp July 3, 2026 14:29 View session

Copilot AI reviewed Jul 3, 2026

View reviewed changes

indietyp force-pushed the bm/be-614-hashql-generate-synthetic-mir-bodies-for-intrinsics-in-value branch from 88472a7 to d3b03b8 Compare July 3, 2026 14:36

indietyp force-pushed the bm/be-615-hashql-introduce-synthetic-closures-and-trivial-closure branch from ac8ed9e to 4aacfd8 Compare July 3, 2026 14:36

vercel Bot temporarily deployed to Preview – petrinaut July 3, 2026 14:36 Inactive

vercel Bot deployed to Preview – hash July 3, 2026 14:50 View deployment

Copilot AI review requested due to automatic review settings July 3, 2026 15:21

indietyp force-pushed the bm/be-615-hashql-introduce-synthetic-closures-and-trivial-closure branch from 4aacfd8 to f2b45cb Compare July 3, 2026 15:21

indietyp force-pushed the bm/be-614-hashql-generate-synthetic-mir-bodies-for-intrinsics-in-value branch from d3b03b8 to 015b737 Compare July 3, 2026 15:21

vercel Bot temporarily deployed to Preview – petrinaut July 3, 2026 15:21 Inactive

Copilot started reviewing on behalf of indietyp July 3, 2026 15:22 View session

Copilot AI reviewed Jul 3, 2026

View reviewed changes

vercel Bot deployed to Preview – hash July 3, 2026 15:35 View deployment

indietyp force-pushed the bm/be-615-hashql-introduce-synthetic-closures-and-trivial-closure branch from f2b45cb to 489dd1a Compare July 3, 2026 16:24

indietyp force-pushed the bm/be-614-hashql-generate-synthetic-mir-bodies-for-intrinsics-in-value branch from 015b737 to 0694d8d Compare July 3, 2026 16:24

vercel Bot temporarily deployed to Preview – petrinaut July 3, 2026 16:25 Inactive

vercel Bot deployed to Preview – hash July 3, 2026 16:36 View deployment

Copilot AI review requested due to automatic review settings July 6, 2026 07:48

indietyp force-pushed the bm/be-615-hashql-introduce-synthetic-closures-and-trivial-closure branch from 489dd1a to 5628792 Compare July 6, 2026 07:48

Copilot AI reviewed Jul 6, 2026

View reviewed changes

cursor Bot reviewed Jul 6, 2026

View reviewed changes

Comment thread libs/@local/hashql/mir/src/reify/synthetic.rs

Copilot AI reviewed Jul 6, 2026

View reviewed changes

Copilot AI reviewed Jul 7, 2026

View reviewed changes

Comment thread libs/@local/hashql/mir/src/reify/synthetic.rs

Comment on lines +40 to +43

/// ```ignore

/// T![::core::math::add] // expands to &[sym::core, sym::math, sym::add]

/// T![::core::cmp::eq] // expands to &[sym::core, sym::cmp, sym::eq]

/// ```

Copilot AI reviewed Jul 8, 2026

View reviewed changes

Uh oh!

Conversation

indietyp commented Jun 22, 2026

🌟 What is the purpose of this PR?

🔍 What does this change?

Pre-Merge Checklist 🚀

🚢 Has this modified a publishable library?

📜 Does this require a change to the docs?

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

⚠️ Known issues

🐾 Next steps

🛡 What tests cover this?

❓ How to test this?

📹 Demo

Uh oh!

vercel Bot commented Jun 22, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

cursor Bot commented Jun 22, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

PR Summary

Uh oh!

indietyp commented Jun 22, 2026

Uh oh!

Uh oh!

codecov Bot commented Jun 22, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Codecov Report

Uh oh!

codspeed-hq Bot commented Jun 22, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Merging this PR will improve performance by 38.94%

Performance Changes

Uh oh!

Copilot AI left a comment

Choose a reason for hiding this comment

Pull request overview

Uh oh!

Copilot AI left a comment

Choose a reason for hiding this comment

Pull request overview

Uh oh!

Copilot AI left a comment

Choose a reason for hiding this comment

Pull request overview

Uh oh!

Copilot AI left a comment

Choose a reason for hiding this comment

Pull request overview

Uh oh!

cursor Bot left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Copilot AI left a comment

Choose a reason for hiding this comment

Pull request overview

Uh oh!

Copilot AI left a comment

Choose a reason for hiding this comment

Pull request overview

Uh oh!

Copilot AI left a comment

Choose a reason for hiding this comment

Pull request overview

Uh oh!

Copilot AI left a comment

Choose a reason for hiding this comment

Pull request overview

Uh oh!

Copilot AI left a comment

Choose a reason for hiding this comment

Pull request overview

Uh oh!

github-actions Bot commented Jul 8, 2026

Benchmark results

@rust/hash-graph-benches – Integrations

policy_resolution_large

policy_resolution_medium

policy_resolution_none

vercel Bot commented Jun 22, 2026 •

edited

Loading

cursor Bot commented Jun 22, 2026 •

edited

Loading

codecov Bot commented Jun 22, 2026 •

edited

Loading

codspeed-hq Bot commented Jun 22, 2026 •

edited

Loading