### Summary What changes and why. One paragraph is enough. ### Linked issue Closes # ### Verification - [ ] `make verify` is green locally. - [ ] `make gates` exits 0 (`comment-hygiene` and `leak-guard`). - [ ] New files are intent-added before running `leak-guard` (`git add -N `). - [ ] `make bench` is under the 5-second budget (only if the change touches scanner hot paths). ### Constraints checklist - [ ] **Write-scope.** No new write target outside the workspace. - [ ] **No tracked config.** No new file under the repo root that eeco writes at runtime. - [ ] **No AI attribution.** No AI-tool fingerprint or `Co-Authored-By` trailer in any commit, file, or PR body. - [ ] **Brand-free.** No personal or third-party product names in shipped output, docs, or copy. - [ ] **No silent breaking changes.** If the change touches the [public surface](../docs/ARCHITECTURE.md#public-surface), the PR body calls it out and the release notes will too. ### Notes for the reviewer Anything that does not fit above: tricky edge case, deferred follow-up, rationale for a non-obvious choice.