pub fn remove_session_artifacts(dir: &Path, session_id: &str)Expand description
Delete every metadata artifact for a session: the shared JSON, the work-request directory, and the notified-PRs marker. Best-effort — used when a session is removed, so a later session reusing the same id doesn’t inherit stale suppressions or pending requests.