Core Design

在这里记录包边界、关键不变量、取舍和扩展点。