Post-change QA gate. After code has been changed — especially by a separate agent/fresh session — verify it type-checks and its tests pass (baseline- and matrix-aware), and that tests were actually added or modified to cover the new/changed behavior. Use before declaring a change done, or when reviewing another session's implementation.
