Completed Design Records#

These documents preserve the rationale, delivery sequence, and verification record for work that has been implemented or superseded. They are historical records rather than active implementation instructions. For current extension contracts, start with the maintainer guides under docs/development/, the active design notes, and the executable runtime tests.