Mergen/.github/pull_request_template.md

Summary

Changes

File	Description

Correctness Notes

• Custom passes / IR mutation:
• Runtime image / memory mapping:
• Call ABI / outlining behavior:
• Rewrite manifest / oracle / semantic coverage:

Verification

• Build (if applicable):
• Targeted tests:
• Full gate (if applicable):
• Manual validation (if applicable):

Reviewer Pointers

• Reviewer workflow and severity rubric: docs/REVIEWER_RULES.md
• Quick subsystem checklist: REVIEW_CHECKLIST.md
• Rewrite gate expectations: docs/REWRITE_BASELINE.md