Dalus + Linear
Linear knows what closed. It does not know which requirements those issues were meant to satisfy, so it cannot say what a cycle leaves unverified or what a review will be missing. These workflows read both sides and report the gap, writing nothing without approval and never setting lifecycle status.
3 workflows
Bring implementation evidence back
Closed Linear issues become evidence on the requirements they reference, in four lists a review can act on.
Cycle readiness
What the current cycle leaves unverified, which Linear cannot see because it does not know the requirements exist.
Safety case readiness
What the safety argument rests on, sorted into verified, implemented, asserted and absent, before any ticket is filed.