E.8.ML:9 - Consequences

The language supports problem-first reuse and makes its connections inspectable. Users can select a small contribution, follow only a necessary dependency and revisit affected claims after change.

The cost is maintaining the cross-pattern explanation and relations. A direct description is preferable when that extra structure does not change recurring action or save meaningful reconstruction.