Review system design

Use design-by-contract to select and analyze each important agreement in the changed production code. The input may be a diff, a specification, or both.

Use short, direct sentences with clear subjects and objects. Use terms already defined in CONTEXT.md, exact codebase-design terms, and code identifiers. When a needed term is missing, ask domain-modeling to propose a glossary entry.

Build a dependency tree of the design agreements. Review an agreement before any agreement that depends on it. When a specification and diff disagree, treat the diff as the record of what changed and flag any unplanned agreement.

Treat production code as the source of design agreements. Use tests, documentation, and workspace fixtures as evidence for those agreements.