# 04-07-c-aggregate-external-update-semantics-rework-checklist

- [x] replace same-JVM demo-first framing with shell-first contract framing
- [x] verify generated shell surface with `help` and `meta.describe`
- [x] explain aggregate-facing external update semantics
- [x] relocate same-JVM external update proof to `cozy` scripted
- [x] close sample and reflect completion in the parent plan
