# 07.c-aggregate-external-update-semantics

- [x] documentation slot exists
- [x] scope is separated from `06.b`
- [ ] sample concept is fixed
- [ ] sample skeleton exists
- [ ] behavior uses `aggregation + external`
- [ ] invariant / guard references `aggregation + external`
- [ ] follow-up update or compensation path is shown
- [ ] delete/cascade semantics are shown or explicitly scoped out
- [ ] README reflects verified behavior
