## Summary
<!-- What changed and why? Keep this to the user-visible or system-visible effect. -->

## Changes
| File | Description |
|---|---|
| | |

## Correctness Notes
<!-- Fill in only the sections relevant to this PR. -->
- 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`