All skills
concurrency-control
FoundationJIT onlyanalysis-agent/task-agent/review-agent: primary-Skill-selected for races, locks, optimistic conflicts, or worker overlap; never task owner; skip without concurrency impact.
- Group
- Reliability & operations
- Supported roles
- MainAnalysisTaskReview
- Source
- SKILL.md
Use when
Trigger signals that make this skill the right owner
- control concurrent writes races locks leases optimistic conflicts and queues
Do not use when
Anti-triggers — as binding as the triggers above
- no task-local concurrency control decision is required
Required inputs
What must be supplied before this skill can decide anything
- current task contract
- selected primary Professional Skill
- task-local trigger evidence
Output contract
What this skill owes the next role
- concurrency plan with critical sections locks conflicts and tests, evidence, and proof limits
Escalation signals
When this skill must hand the decision back
- Concurrency defects cause duplicate effects lost updates and intermittent failures
Loaded by
This skill never owns a task. These professionals may pull it in as Layer 3.
Targeted references
Each reference carries its own load condition. None of them enter context by default.
| Reference | Load when | Do not load when | Required by |
|---|---|---|---|
| benchmarks-and-patterns.mdbenchmark-pattern | Lost updates, stale ownership, deadlocks, or contention need mechanism selection. | No overlapping actor can mutate the affected invariant. | AnalysisTaskReview |
| checklist.mddecision-checklist | Concurrency spans retries, cancellation or timeout, lease ownership or another time-derived ownership claim, lock order, version reuse or ABA, duplicate effects, or scheduling fairness. | The resource has one serialized owner. | AnalysisTaskReview |
| evidence-patterns.mdevidence-pattern | Safety claims require synchronized overlap or contention artifacts. | No interleaving or ownership claim awaits proof. | AnalysisTaskReview |