SYSE.19:3 - Forces
Recurring tensions include:
- Revalidation should stay bounded, while an undeclared reliance can matter more than a declared trace link.
- Source identity must remain recoverable without turning every carrier change into a semantic event.
- One changed sentence can alter release; a large rewrite can leave the relied-on premise intact.
- Automated search can find candidate uses, while materiality and applicability still need engineering judgement.
- A newer official or popular source can fit the use worse than an older bounded source.
- Preserved decisions remain usable only when the reason for preservation is recoverable when later Work needs it.