[burgholzer]

🤖 AI text below 🤖

Description

Adjacent controlled inverse gates and constant rotations currently remain hidden in separate control regions. This joins only matching control/target wires with single-unitary bodies, letting the existing gate canonicalizers cancel inverse pairs or merge rotations. Target-bound rotations remain separate so native fixed-angle constraints are preserved.

Extracted independently from the keynote branch (#2685), based directly on main; no dependency on the other extracted changes. Tests compare full unitaries, including controlled phase, two-target gates, reversed wire order, and target constraints. Both positive regressions fail on upstream before the fix.

Validation: all 584 QCO IR tests (including 19 modifier canonicalization tests), whole-file C++ lint, and repository lint pass locally. Independent ponytail review found no findings. Hosted CI is pending.

AI assistance covered extraction, independent review, regression fixes, validation, and this description within the user-authorized scope. Human acceptance/review remains.

Checklist

• The pull request only contains commits that are focused and relevant to this change.
• I have added appropriate tests that cover the new/changed functionality.
• I have updated the documentation to reflect these changes.
• The changes follow the project's style guidelines and introduce no new warnings.
• The changes are fully tested and pass the CI checks.
• I have reviewed my own code changes.

If PR contains AI-assisted content:

• Any agent that created, edited, or submitted GitHub content was explicitly authorized for that scope, as required by our AI Usage Guidelines.
• Every agent-authored or agent-edited public text body begins with the visible disclosure 🤖 *AI text below* 🤖 (titles are exempt).
• I have disclosed AI assistance in the PR description.
• I confirm that I have personally reviewed and understood all AI-generated content, and accept full responsibility for it.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!