工作方式
CARVES 让 AI 项目工作有推进、有记忆、有证据、有审核。
你继续使用原本的智能体（Agent）。CARVES 负责把工作拉回项目控制台：目标要清楚，计划要先出现，证据要能检查，最终由人决定是否接受。
推进
稳定项目推进架构。
CARVES 给 AI 工作一条可重复路径：目标、有边界的工作卡（Card）、计划、证据、审核和下一步。项目不再只是漂在聊天里。
项目不会只剩一串聊天，而是有目标、有计划、有证据、有审核地往前走。
记忆
大项目连续性记忆。
CARVES 保留项目故事：目标是什么、边界是什么、尝试过什么、有哪些证据、做过什么决定、下一次接手必须知道什么。
这是工程连续性记忆，不是万能记忆数据库；重点是让大项目不会每次从零开始解释。
证据
信心之前先有证据。
CARVES 让结果带着可检查证据回来，人可以审核发生了什么，而不是只相信一段很流畅的完成说明。
不是智能体（Agent）说完成就完成，而是结果要带着可检查依据回来。
控制
人类权威保持明确。
智能体（Agent）可以帮助执行，但 CARVES 把接受、拒绝和重排保持为可见的人类控制点。
AI 可以做事，但最终接受、拒绝、重排仍然由人决定。
目标
方向和最终审核由人持有。
人保持目标、决定和验收点可见，避免长对话静默漂移。
计划
计划先于执行。
短计划把目标拆成有边界的步骤，让工作按意图推进，而不是靠临场发挥。
证据
结果信任前需要证明。
结果应该带回足够证据，让人可以检查之后再接受。
审核
人类验收仍然是关口。
审核决定结果是被接受、拒绝，还是送回重新计划。
技术证明层
证明链位于控制循环之下。
这些模块解释 CARVES 为什么能让边界、交接、证据、本地自检和组合证明保持可检查，但它们不是新的人类验收替代品。
Guard
CARVES Guard：补丁准入关口（patch admission gate）。
Guard 检查 AI 生成改动的边界，在进入评审（review）或合并（merge）前给出本地判断。
它不是操作系统沙箱（OS sandbox），也不承诺实时阻止写入。
查看 GuardHandoff
CARVES Handoff：会话连续性交接包（session continuity packet）。
Handoff 记录下一位人类或智能体（Agent）需要继续工作的上下文。
它参与项目连续性记忆，但不是独立记忆数据库或自动任务大脑。
查看 HandoffAudit
CARVES Audit：只读证据发现（read-only evidence discovery）。
Audit 读取本地 Guard 和 Handoff 证据，生成摘要、时间线和 shield-evidence.v0。
它只读发现证据，不拥有评分，也不修改源真相（source truth）。
查看 AuditShield
CARVES Shield：本地自检与徽章（local self-check and badge）。
Shield 把 shield-evidence.v0 评估成标准 G/H/A（Standard G/H/A）、轻量评分（Lite score）和本地徽章（badge）。
它是本地自检（local self-check），不是认证（certification）、模型安全基准（model safety benchmark）或语义证明（semantic proof）。
查看 ShieldMatrix
CARVES Matrix：组合证明通道（composition proof lane）。
Matrix 编排 Guard → Handoff → Audit → Shield，证明这条本地证明链可以一起跑。
它不是第五个安全引擎（safety engine），也不改变 Shield 评分（Shield scoring）。
查看 Matrix人类审核仍然是关口。
Matrix 记录本地组合证明。它不决定补丁（patch）是否应该合并（merge），不认证项目，不给 AI 模型做安全评级，也不证明代码语义正确。技术证明层支持控制台，但不替代人的控制点。