---
name: backend-implementation-contract
scope:
  - backend
products:
  - '*'
id: ka-hard-rule-后端实现工程契约规则
type: governance_rule
asset_kind: governance_rule
lifecycle_status: active
authority: canonical
owner_mechanism_id: mc-backend-implementation-contract
asset_role: required
consumed_by:
  - mc-backend-implementation-contract
routes: ['code_change', 'artifact_generation']
primary_triggers:
  - 后端实现
  - 接口实现
secondary_triggers:
  - Controller
  - DTO
  - 事务
  - 幂等
negative_triggers:
  - 文案
priority: P1
specificity: 5
consumes:
  - mc-coding-readiness
hard_blocks:
  - backend_work_package_missing
  - backend_hard_fail_unresolved
fallback: manual_required
required_evidence:
  - backend_work_package
  - verification_result
version: 1.1.0
last_reviewed: '2026-06-01'
stages: ["*"]
---

## 编码前必须确认

- Controller 只接收 DTO、执行校验、调用应用服务并返回统一响应对象。
- 写操作的事务、一致性、幂等键、并发冲突处理已定义。
- 权限、租户隔离、敏感字段与审计日志已定义。
- OpenAPI、请求/响应字段表、数据库 migration 和错误码有权威对齐依据。
- 验证计划包含成功、失败、重试、越权、重复提交和边界数据。

## 阻断规则

直接暴露实体、写接口无校验、事务内外部调用、高风险写入无幂等或敏感接口无安全审计证据，均不得交付。
