TeaQL Agent Kit：用一句提示词接入 TeaQL 工作流的编码代理工具包

工具定位

TeaQL Agent Kit 的入口是一段可粘贴到编码代理对话中的提示词，而非终端命令。代理读取仓库中的 Skill 说明后，按「保存 KSML 模型 → 评估并修复 → 零错误后生成类型化契约 → 借助 Assist 编写应用代码 → 编译、测试与运行时验证」的顺序推进。

它包含两个可独立使用的组件：

• Build TeaQL App Skill：负责建模到验证的工作流说明；
• Agent Context Kit（路径 packages/agent-context-kit/）：提供上下文生命周期、标记感知的文件策略、受控工具与宿主适配器。

能读取 Skill 指令的代理可以遵循该工作流，但运行时治理是否真正生效取决于具体适配器与入口。页面上列出的 Claude Code、Codex、Cursor、GitHub Copilot、Gemini CLI、Qoder、TRAE、OpenCode 等标志，并不表示每个治理功能都已激活。

使用前提与注意事项

原文明确：一句提示词启动的是工作流，不等于零配置、无需追问或必然成功。代理可能需要安装或更新 TeaQL 客户端与语言构建工具、下载依赖，并调用 TeaQL 服务完成模型评估、生成与 API 指导。默认流程需要网络访问，模型内容会发送至所配置的服务；使用私有业务需求前，应检查代理的权限请求与组织的数据共享政策。若使用本地 checkout，只改变指令读取位置，本身不会让评估与生成离线运行。

治理机制

• 隔离生成代码：在每个生成实现目录放置英文 .agent-no-read.md，其存在会在标记感知适配器中触发读取排除；读取、搜索与列目录均先检查策略。该文件正文是项目指引，不是绕过策略的许可。读排除与写权限相互独立，共享文件策略默认不允许写，通过显式 writeRoots 与 readOnlyPaths 配置；原文明确不存在 .agent-no-write.md 协议。
• 上下文生命周期：<!--ephemeral--> 标记让临时指引或大型工具结果仅用于一次响应，之后在后续模型请求中被替换为极小的占位内容，但原始内容仍保留在对话记录中，并非安全擦除。命名块 <!--BLOCK_ID:...--> 可在阶段完成后由受信工作流用 <!--DISCARD_BLOCK:...--> 丢弃。
• 错误可恢复：受保护的 Pi 对策略拒绝返回显式工具错误（如 CONTEXT_ACCESS_DENIED、retryable: false），而非空结果。
• 完成校验：同时注册 app_build 与 app_test 时，成功修改文件会追踪校验状态；模型提前停止时宿主调用缺失的固定工具并回传实际结果。自动验证每个用户请求最多三轮，失败仍记为失败，零执行测试不构成覆盖证明。

能力边界

原文区分「指令」与「强制执行」：ReadGuard 是按配置的路径/工具拦截，与标记感知的遍历控制是不同边界；这些控制也不是操作系统级沙箱。不同宿主在上下文生命周期、读写控制、TeaQL 工具与完成校验上的支持程度各不相同，部分宿主仅提供协议指引，原文未声称其具备 Context Kit 运行时约束。

证据说明

原文列出仓库检查共 154 项通过（118 项包单元测试、21 项集成测试、8 项根契约测试、7 项 Python 测试），本地 Pi 集成测试使用确定性提供方。文中引用的日志示例已把时间戳与耗时归一化为 [TIME] 与 [DURATION]，并非新一轮实测数据。提供的原文内容在此处被截断，后续证据部分未能完整看到。