
Design by Contract == Design for Minds With Memory
A follow-up to Contract-Style Comments for the AI Coding Agent
Bertrand Meyer gave us Design by Contract in the 1980s. Preconditions. Postconditions. Invariants. The idea was elegant: software components should commit to what they expect and what they guarantee, so that violations fail hard and fast at the right boundary.
It worked. It still works.
But there was an assumption baked in that nobody had to say out loud, because it was so obviously true: the collaborator has memory.
The developer who writes the contract carries it forward. The c...
