[andrijapau]

Note

Generated with the support of Codex, still reviewing myself.

Context:

Catalyst can retain an abstract nested operator when lowering decomposition rules instead of reconstructing it from the actual operands. For GQSP, this leaves symbolic wire placeholders in the generated IR and blocks binary compilation.

Description of the Change:

Reconstruct hybrid arguments from their parameter and wire operands before invoking decomposition rules, preserving the compiler’s operand ordering.

Benefits:

Enables GQSP binary compilation with the correct nested operator parameters and wires. Regression tests cover parameterized and multiwire operators and compare compiled results against reference execution.

Possible Drawbacks:

Adds reconstruction logic for hybrid arguments that must remain consistent with the operator lowering’s operand layout.

[sc-135523]

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 96.25%. Comparing base (b8f71a2) to head (2fd1f70).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #3416   +/-   ##
=======================================
  Coverage   96.25%   96.25%           
=======================================
  Files         177      177           
  Lines       21699    21725   +26     
  Branches     2162     2167    +5     
=======================================
+ Hits        20886    20912   +26     
  Misses        629      629           
  Partials      184      184           

☔ 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.