carbon-language

本指南介绍如何用 `file_test` 编写、组织和运行 Carbon 工具链测试，涵盖文件头、拆分用例、失败前缀、筛选 SemIR 输出，以及通过更新脚本重新生成预期结果。

• 编写工具链 file_test
• 将测试拆分为多个用例
• 编写验证失败的测试

本技能为在 Carbon 代码库中工作的 AI 助手规定文件查看、搜索和编辑工具，并说明临时文件的存放与清理规则，以及何时可以编写和运行自定义程序。

• 按规定工具搜索Carbon文件
• 为文件编辑选择专用工具
• 确认临时文件的存放与清理规则

了解如何在 Carbon 项目中通过 Bazelisk 构建、测试和运行程序，包括指定目标、启用 ASan，以及系统依赖变更后重建缓存。

• 构建 Carbon 代码
• 运行与修改相关的测试
• 启动 Bazel 构建的程序

本指南介绍如何在 Carbon 仓库中使用 Jujutsu（jj）管理版本，包括查看状态、差异和历史、提交更改、同步远程内容，以及确定更改栈的基点并谨慎处理历史。

• 用 jj 查看状态和历史
• 从远程获取更改
• 查找更改栈的基点

Use this skill to write a complete report of changes in Carbon toolchain testdata. It shows how to identify diffs, extract input and output changes, group related edits, list affected files, and validate that every change is represented.

中文简介正在准备中。当前显示英语简介。

• Summarizing testdata changes in a code review
• Grouping related test input and output edits
• Listing every affected testdata file

按照 Carbon 项目的模板和规范编写、提交及管理语言演进提案，结合项目目标说明方案取舍，并根据主议题整理已确定的讨论，同时保持提案摘要与拉取请求说明一致。

• 编写 Carbon 语言演进提案
• 将主议题的决策整理成文档
• 比较设计方案及其取舍

本技能介绍如何为Carbon编译器添加内置函数，包括类型注册、签名验证、常量求值、运行时LLVM IR生成、Prelude绑定，以及使用最小Prelude编写针对性测试。

• 注册内置函数
• 实现常量求值
• 添加LLVM IR生成

了解 Carbon 工具链对 Bazel、C++、Carbon、Markdown 和 Python 文件的格式规范，并查看注释、文档、命名、设计及提交说明的写作要求。

• 整理 Carbon 代码格式
• 检查注释和文档
• 确认名称是否符合实际含义

本技能介绍如何使用命令行`gh`只读查看GitHub issue正文和评论，支持通过编号或URL定位，也可指定其他仓库，并说明如何提取大量评论。

• 查看issue正文和评论
• 通过URL读取issue
• 查看其他仓库的issue

了解如何运行 Carbon 的提交前检查工具 `prek`，可检查全部文件或指定文件，并处理 Jujutsu 工作区、自动改写文件的钩子及依赖或安全策略错误。

• 提交前检查所有文件
• 只检查本次修改的文件
• 在 Jujutsu 工作区运行检查

本技能介绍如何在Carbon工具链中添加或修改错误和警告，包括注册诊断类型、用带类型的参数构造消息、为源码位置添加标签和上下文，以及检查措辞规范和测试覆盖。

• 添加诊断消息
• 为源码位置添加标签
• 统一诊断措辞

使用 `gh` 只读搜索和查看 GitHub 的议题、拉取请求、仓库与代码，并了解如何查询 REST 和 GraphQL API、翻页获取结果及筛选或整理输出。

• 查看议题内容和状态
• 检查拉取请求差异与检查状态
• 搜索 GitHub 代码或仓库

本技能帮助判断编译器测试输出差异是否符合代码改动意图，分别审查用户可见的诊断信息和内部输出，查找可能隐藏的回归，并在自动更新后检查测试。

• 审查自动更新后的测试输出
• 核对诊断信息变化是否合理
• 为内部输出变化查找原因

本技能介绍Carbon语言服务器及其VS Code扩展的实现，包括LSP请求注册与处理、文档类型、SemIR文本读取，以及使用file_test编写和更新测试期望值。

• 查找LSP处理器的添加位置
• 编写语言服务器测试
• 更新测试期望值

本技能介绍 Carbon 编译器工具链的结构与处理阶段，并说明如何构建、测试和调试，以及如何遵循实现约定、处理诊断信息和更新测试预期输出。

• 查找编译器各阶段的实现位置
• 构建并测试 Carbon 编译器
• 排查编译器崩溃