ASYNC / Tasks, reentrancy, and cancellation
State check becomes stale across await
[email protected]V-ASYNC-01 · Defect
State check becomes stale across await
State check becomes stale across await. It examines task ordering, suspension, cancellation, progress, and async obligations. The result remains unknown when the required evidence is incomplete.
Required evidence
The selected immutable build snapshot must provide complete task, suspension, cancellation, ordering, and progress facts for this condition.
Safe cases and boundaries
When required evidence, source membership, or analysis-world closure is incomplete, the affected result remains unknown. Missing data alone is never a finding.
Current qualification
The source producer still requires recovery and qualification in this snapshot. The target description is not evidence of an active diagnostic.
Status and provenance
This page combines the reviewed rule identity with an English public description for catalog snapshot 4558458d. Changing status requires a new reviewed snapshot; page count is not a maturity claim.