🔍 Audit MLIR pass, verifier, and rewrite contracts - #2287

Closed

simon1hofmann wants to merge 17 commits into

mainfrom

codex/2255-qir-base-contract

Commits on Aug 31, 2026

♻️ Harden MLIR contracts (#2255)
simon1hofmann
committed
0141a0b
Merge remote-tracking branch 'origin/main' into codex/2255-qir-base-contract
simon1hofmann
committed
d53e682
🐛 Fix contract audit portability regressions
simon1hofmann
committed
0c8556a

Commits on Sep 1, 2026

🔀 Merge main into contract audit
simon1hofmann
committed
8293506
🔀 Merge terminal-measurement routing fix
simon1hofmann
committed
2d4b8c9
📝 Reconcile MLIR contract audit
simon1hofmann
committed
164ef96
📝 Record #2309 audit withdrawal
simon1hofmann
committed
9fcc02e
Merge remote-tracking branch 'origin/main' into codex/2255-qir-base-contract
simon1hofmann
committed
baf2749
♻️ Keep only valid audit findings
simon1hofmann
committed
55b7dce
Merge remote-tracking branch 'origin/main' into codex/2255-qir-base-contract
simon1hofmann
committed
2cc5c0d
♻️ Drop final unsupported audit findings
simon1hofmann
committed
e01cea3
🐛 Validate mapping option values portably
simon1hofmann
committed
c029124
🔀 Merge origin/main into the MLIR contract audit
simon1hofmann
committed
e0cd5a6
♻️ Split focused findings from the audit snapshot
simon1hofmann
committed
7e7aa72
🔀 Merge origin/main into the reduced MLIR audit
simon1hofmann
committed
cb9fdea

Commits on Sep 7, 2026

📝 Refresh the MLIR contract audit
simon1hofmann
committed
3c4fd8c
🔀 Update the audit baseline from main
simon1hofmann
committed
b2f4a62