🤖 AI text below 🤖
Goal
Make idiomatic, performant, and deterministic MLIR development the default for humans and coding agents, with less review intervention. MQT Core policy is authoritative; adopted upstream guidance and repository tooling support it, while historical precedent remains evidence only.
Authority order
- MQT Core documented policy.
- Scoped agent guidance and executable configuration.
- MLIR and LLVM guidance explicitly adopted by MQT Core.
- Selected Google practices where MQT Core deliberately differs.
- Existing repository precedent as evidence only.
v4 release policy
Valid-IR crashes, invalid pass output, unsafe rewrites, miscompilation, and observable nondeterminism are blockers. Performance changes require measurement or a concrete allocation or complexity argument. Public C++ or Python renames require a separate migration-impact decision. Use focused issue- and PR-sized changes; do not create a repository-wide style patch or new lit and FileCheck infrastructure.
Fresh-agent smoke result
Passed on 2026-08-26. Given only a normal small MLIR coding request, a fresh agent followed the scoped guidance: it used ModuleOp by value without misleading const, added a direct GoogleTest, passed the source gate and focused validation, and proposed the conforming subject ✨ Add nested MLIR operation counter. The disposable patch was removed.
🤖 AI text below 🤖
Goal
Make idiomatic, performant, and deterministic MLIR development the default for humans and coding agents, with less review intervention. MQT Core policy is authoritative; adopted upstream guidance and repository tooling support it, while historical precedent remains evidence only.
Authority order
v4 release policy
Valid-IR crashes, invalid pass output, unsafe rewrites, miscompilation, and observable nondeterminism are blockers. Performance changes require measurement or a concrete allocation or complexity argument. Public C++ or Python renames require a separate migration-impact decision. Use focused issue- and PR-sized changes; do not create a repository-wide style patch or new
litand FileCheck infrastructure.Fresh-agent smoke result
Passed on 2026-08-26. Given only a normal small MLIR coding request, a fresh agent followed the scoped guidance: it used
ModuleOpby value without misleadingconst, added a direct GoogleTest, passed the source gate and focused validation, and proposed the conforming subject✨ Add nested MLIR operation counter. The disposable patch was removed.