🤖 AI text below 🤖
Parent: #2250
Scope
Audit passes, verifiers, rewrite patterns, conversions, and dialect registration against the MQT-owned MLIR policy and adopted upstream guidance.
Prioritize valid-input crashes, invalid pass output, non-local verifier assumptions, undeclared dependent dialects, unbounded recursion, untruthful rewrite APIs, missed constant matching, and duplicated traits, interfaces, conversions, or utilities.
Delivery rules
Fix internal objective violations in focused PRs with regression tests. Treat crashes, unsafe rewrites, miscompilation, and invalid output as v4 blockers. Record lower-risk findings separately rather than expanding a blocker fix into a style patch.
🤖 AI text below 🤖
Parent: #2250
Scope
Audit passes, verifiers, rewrite patterns, conversions, and dialect registration against the MQT-owned MLIR policy and adopted upstream guidance.
Prioritize valid-input crashes, invalid pass output, non-local verifier assumptions, undeclared dependent dialects, unbounded recursion, untruthful rewrite APIs, missed constant matching, and duplicated traits, interfaces, conversions, or utilities.
Delivery rules
Fix internal objective violations in focused PRs with regression tests. Treat crashes, unsafe rewrites, miscompilation, and invalid output as v4 blockers. Record lower-risk findings separately rather than expanding a blocker fix into a style patch.