完成判据看事实
背包、坐标、方块、任务终态才算数。adapter 说成功、命令发出去了，都不算完成。
01 / WHAT IT IS
不是「LLM 直连 MC」，
是协议桥。
我们想验证的东西与 Minecraft 无关：一个 Agent 要在信息不完整、动作有代价、环境会变的世界里可靠地干活，需要什么样的接口与判据。Minecraft 只是低成本、可观测、可复现的沙盒。
每设备租约
同一设备同一时刻只有一个 writer；FIFO 等待、显式释放、每设备急停，不靠自觉。
Agent 可替换
主仓只依赖 driver 接口。Cyberdyne、MCP、Mindcraft、Voyager 各自是子仓，不写死进 Kernel。
02 / ARCHITECTURE
Agent 在上面，
事实在下面。
CBAP-U 面向 Agent；CBAP-D 面向设备；Kernel 在中间做租约、安全、取消和审计。完整结构以仓库中文架构图为准。
图例：实线 = 动作 / 控制；青虚线 = 状态 / 事实 / 结果；金实线 = 自己的旧直连；金虚线 = 未构建 / 部分。
03 / PROTOCOL NOTES
协议不信任
「它说成功了」。
这些判据来自真实的竞争、断线、急停和恢复。
-
01
完成看服务端事实
不是
result.ok。服务端位置、背包、方块和任务终态才是完成判据。 -
02
每设备一个 writer
租约按设备隔离；等待 FIFO；release、estop、cancel 是不同语义。
-
03
fail-closed，且出声
听不懂、拿不准、参数缺，就拒绝执行并留下原因，不静默吞掉。
-
04
审计和幂等
动作有账；在途请求和重连不会乱重放；危险状态可以急停。
-
05
Agent 不进主链
不同 Agent 只实现 adapter 和设备契约。主仓保持薄，身体和规划器各自演进。
04 / TRUST BOUNDARY
先关信任边界，
再让 AI 跑。
Agent 可以自主运行，但 Kernel 不相信它自带的安全声明。身份、租约、审计、MCP 子进程和 operator 动作各自有边界；失败默认关闭。
身份与权限
UDS 0600 + SO_PEERCRED；token 文件 0600、O_NOFOLLOW；per-agent uid/token；设备级 allowlist；普通 Agent 没有 estop/admin。
租约与 fencing
每设备单 writer、FIFO、TTL、fencing token；release / estop / cancel 语义分离；inflight、session 和 UID 速率限制。
审计锚点
JSONL seq + hash chain；checkpoint 检测尾部截断；可选 HMAC；远程 sink 可要求 seq/hash ack；审计失败进入安全态。
子进程最小权限
env allowlist、rlimits、进程组终止、输出上限；manifest HMAC（可强制）、tool/instruction pin；estop 必须有 safe-state 证据；可选独立 UID 与 bwrap/nsjail。
人能看见，人能停
本地优先 Console；HttpOnly session、Host/Origin、CSP、登录限速；lease 释放、双人审批、SLA 通知、registry reload、显式 resume；远程 bind 必须 TLS，mTLS 可选。
不冒充物理安全
同 UID/root、恶意 MCP facts、未认证的物理急停、TPM/HSM 和形式化验证仍是边界外；console mTLS 不等于 Kernel 端到端 mTLS。
默认不按每个动作审批。 普通 read / write / lease 直接执行；只有 policy 显式配置
approvals.ops 才拦高风险动作。estop 不需要审批；resume 是故障后 operator 的人工确认。
读完整安全边界 ↗
05 / CURRENT STATE
四个活跃子仓，
一个归档。
CBAP 控制面已通过 101 项 conformance；Alice 的 Forge bridge 源码保留，但未编译、未跑真实服务端，所以不算活跃子仓。
主仓 / 子仓边界
CBAP Kernel→CBAP-U→Agent→CBAP-D→Server facts
旧版脑 / 手、车厢、老祖思维和 M1–M7b 里程碑已经从主 README 移到 Cyberdyne 子链档案。主仓现在描述协议，不再把旧实验细节堆在首页。
当前状态
不把源码当成已验证。
06 / AGENT SUBREPOS
同样的协议，
不同的身体。
每个子仓拥有自己的 adapter、device / mapping、工具和 smoke test。主仓只负责接口与 conformance。
4活跃子仓
1归档：Alice
101/101CBAP 测试
0.2ms控制面 p50
Cyberdyne
旧脑保留，默认经 bridge_cbap.py 走 CBAP；root 直连 shim 已移除，旧源码冻结归档。
MCP Mineflayer
真实 MCP body。公开 MCP tools → CBAP read / write / poll / estop，MCPDriver 走 stdio JSON-RPC。
Mindcraft
Mindy 自带规划器。CBAP 观察状态、投递 prompt、停止；不冒充低层动作驱动。
Voyager
只接 Mineflayer bridge：state / exec / forward / say / stop。Voyager 的自治规划器和课程还没接。
Alice
Forge 1.20.1 最小 bridge 源码。未编译、未跑真实服务器，不假装是活跃子仓。
别优化项圈
协议桥开销亚毫秒。真正慢的是 Minecraft 动作、Agent 规划和 LLM。
DETAILS / SOURCE / EVIDENCE
协议、子仓、验收记录，
都在仓库。
本站只是门面：不镜像文档，不接本地服务，不放运行数据。