# Synchronous callback re-enters an unfinished protocol

RuleID: portfolio.async.19@1.0.0
Status: recovery-required
Catalog snapshot: 4558458d

## V-ASYNC-19 — Synchronous callback re-enters an unfinished protocol

Synchronous callback re-enters an unfinished protocol. It examines task ordering, suspension, cancellation, progress, and async obligations. The result remains unknown when the required evidence is incomplete.

Status: recovery-required

Current scope: The source producer still requires recovery and qualification in this snapshot. The target description is not evidence of an active diagnostic.

Evidence boundary: Required evidence must be complete for the selected immutable build snapshot. Otherwise the affected result is unknown.

---
Language: en
Canonical: https://docs.swift-analyzer.com/en/catalog/portfolio.async.19/
Source revision: 4558458d