{"schemaVersion":"2.0.0","locale":"en","title":"Task outlives its required lifecycle scope","description":"Rule ID: concurrency.task-outlives-scope@1.0.0. Availability below refers to source-scan at product 524fa07e.","htmlUrl":"https://docs.swift-analyzer.com/catalog/concurrency.task-outlives-scope/","markdownUrl":"https://docs.swift-analyzer.com/catalog/concurrency.task-outlives-scope/index.md","productRevision":"524fa07e0ae4153c84ac12ae9eb6559df89ec2be","catalogRevision":"4558458d","docsRevision":"1f17ba58ab08627e0de898f1442067b09e960b48cd5605d6529e9275f8930d68","channel":"pre-prod","maturity":"experimental","access":"owner-provided-checkout","markdown":"# Task outlives its required lifecycle scope\n\nRule ID: concurrency.task-outlives-scope@1.0.0. Availability below refers to source-scan at product 524fa07e.\n\n## V-ASYNC-12 — Task outlives its required lifecycle scope\n\nTask outlives its required lifecycle scope. It examines task ordering, suspension, cancellation, progress, and async obligations.\n\n### Availability\n\nNot available in source-scan. There is no source-scan flag to activate this condition.\n\n### Example and action\n\nIllustrative pattern only. This is not a complete runnable package or a reproduced source-scan result. Helper APIs and omitted context must be supplied by the application.\n\n```swift\nfunc start() {\n    Task { await pollForever() }\n}\n```\n\nMake the lifecycle or state transition explicit. Review cancellation, suspension and error paths before applying the illustrative change.\n\n```swift\nfunc start() {\n    pollingTask = Task { await pollUntilCancelled() }\n}\nfunc stop() { pollingTask?.cancel() }\n```\n\n### Intended analysis\n\nIntended reasoning: Follow the relevant state, task or synchronization events across control-flow and suspension boundaries. The intended decision needs the complete event ordering and the operation contract; opaque events can leave the result unknown. Required evidence: task, suspension, cancellation, ordering, and progress facts\n\n### Assumptions and unknown\n\nThe relevant facts must be admitted for the selected immutable build world. Unknown aliases, external effects, unsupported source forms or incomplete consumers can prevent a conclusion. Availability in this workflow is stated above; the illustration does not expand that availability.\n\n### Evidence and interpretation\n\nThe target catalog describes the intended condition. It is not evidence of an active source-scan diagnostic.\n\nHistorical evidence at 4558458d: recovery-required (historical qualification is incomplete and needs further evidence). That evidence has not been requalified for this product revision.\n\n[How we validate checks](https://docs.swift-analyzer.com/concepts/validation/) explains the evidence boundary. [Foundations](https://docs.swift-analyzer.com/concepts/foundations/) separates method assumptions from implementation claims.\n","anchors":["task-outlives-its-required-lifecycle-scope","V-ASYNC-12","availability","example-and-action","intended-analysis","assumptions-and-unknown","evidence-and-interpretation"]}