---
name: concurrency_lock
when: '文件写入, 代码修改, 重构, 全量重构, 大规模验证, 批量操作'
scope:
  - shared
products:
  - '*'
id: ka-pattern-concurrency_lock
asset_kind: pattern
lifecycle_status: active
authority: supporting
routes:
  - '*'
primary_triggers:
  - 文件写入
  - 代码修改
  - 重构
  - 全量重构
  - 大规模验证
  - 批量操作
priority: P2
specificity: 3
version: 1.0.0
last_reviewed: '2026-05-22'
consumes: []
emits: []
secondary_triggers: []
negative_triggers: []
type: pattern
status: active
---

## 决策规则

- 人类主权高于 AI 推演，AI 不得静默覆盖人类的代码修改
- 作用域租约（scope lease）为 advisory check，不强制阻断操作
- 租约查询 isLocked() 供开发者参考，可选择忽略
- ConflictGate preWriteGate 执行 CAS 校验，冲突为 advisory 报告
- 标记确认 markConfirmed() 后冲突状态更新，允许写入继续
- 任务完成或取消时建议释放租约（advisory，不强制）
- P0 已移除持久锁 acquire/release，仅保留 isLocked() 查询

## 验收项

- [AC-01] 租约 acquire/release 测试通过
- [AC-02] CAS 冲突检测测试通过
- [AC-03] 锁机制不强制阻断操作
- [AC-04] 冲突报告包含完整信息供开发者决策

## 何时使用

advisory: 租约是写入前建议检查，不强制阻断

## 是否 hard block

否。此能力为 advisory 状态，违规仅产生 advisory 警告，不阻断流程。

## 证据要求

- acquire/release 测试通过
- 过期清理测试通过
-

## 人工确认/降级边界

- 此能力可被开发者决策覆盖
- 升级到 enforced 需满足 promotion_conditions 并通过 lifecycle_test_files 测试
- 降级/禁用需经 sf_capability_update + 人工确认
