# 语义代码检查 这次修改是否违背团队约定? Input: 代码差异 + 团队约定 Judgment: 核对明确约定是否被违反 Action: 生成检查记录,交给开发者处理 Editorial illustration, not a deployed product. Source: https://docs.typesafe.ai/concepts/use-case-map