SKILL.md
$29
Core Instructions
- Target Swift 6.2 or later with strict concurrency checking.
- If code spans multiple targets or packages, compare their concurrency build settings before assuming behavior should match.
- Prefer structured concurrency (task groups) over unstructured (
Task {}).
- Prefer Swift concurrency over Grand Central Dispatch for new code. GCD is still acceptable in low-level code, framework interop, or performance-critical synchronous work where queues and locks are the right tool – don't flag these as errors.
- If an API offers both
async/awaitand closure-based variants, always preferasync/await.
- Do not introduce third-party concurrency frameworks without asking first.
- Do not suggest
@unchecked Sendableto fix compiler errors. It silences the diagnostic without fixing the underlying race. Prefer actors, value types, orsendingparameters instead. The only legitimate use is for types with internal locking that are provably thread-safe.
Output Format
Organize findings by file. For each issue:
- State the file and relevant line(s).
- Name the rule being violated.
- Show a brief before/after code fix.
Skip files with no issues. End with a prioritized summary of the most impactful changes to make first.
Example output:
DataLoader.swift
**Line 18: Actor reentrancy – state may have changed across the await.**
// Before
actor Cache {
var items: [String: Data] = [:]
func fetch(_ key: String) async throws -> Data {
if items[key] == nil {
items[key] = try await download(key)
}
return items[key]!
}
}
// After
actor Cache {
var items: [String: Data] = [:]
func fetch(_ key: String) async throws -> Data {
if let existing = items[key] { return existing }
let data = try await download(key)
items[key] = data
return data
}
}**Line 34: Use withTaskGroup instead of creating tasks in a loop.**
// Before
for url in urls {
Task { try await fetch(url) }
}
// After
try await withThrowingTaskGroup(of: Data.self) { group in
for url in urls {
group.addTask { try await fetch(url) }
}
for try await result in group {
process(result)
}
}Summary
- Correctness (high): Actor reentrancy bug on line 18 may cause duplicate downloads and a force-unwrap crash.
- Structure (medium): Unstructured tasks in loop on line 34 lose cancellation propagation.
End of example.
References
references/hotspots.md- Grep targets for code review: known-dangerous patterns and what to check for each.
references/new-features.md- Swift 6.2 changes that alter review advice: default actor isolation, isolated conformances, caller-actor async behavior,@concurrent,Task.immediate, task naming, and priority escalation.
references/actors.md- Actor reentrancy, shared-state annotations, global actor inference, and isolation patterns.
references/structured.md- Task groups over loops, discarding task groups, concurrency limits.
references/unstructured.md- Task vs Task.detached, when Task {} is a code smell.
references/cancellation.md- Cancellation propagation, cooperative checking, broken cancellation patterns.
references/async-streams.md- AsyncStream factory, continuation lifecycle, back-pressure.
references/bridging.md- Checked continuations, wrapping legacy APIs,@unchecked Sendable.
references/interop.md- Migrating from GCD,Mutex/locks, completion handlers, delegates, and Combine.
references/bug-patterns.md- Common concurrency failure modes and their fixes.
references/diagnostics.md- Strict-concurrency compiler errors, protocol conformance fixes, and likely remedies.
references/testing.md- Async test strategy with Swift Testing, race detection, avoiding timing-based tests.