Runtime-checked: Deliverables and Learnings