docs: divide research roadmap into layer bands

README.md

@@ -127,6 +127,12 @@ flowchart TD
 阶段编号表示依赖关系，不代表承诺日期。每一阶段只有形成可重复实验和对照证据后，才会
 从 `Planned` 更新为 `Validated`。
 
+路线按架构层分成三个后续阶段带：R1–R3 建立确定性执行、权限与证据底座，R4–R5 只在其上研究
+不可信观测和策略，R6–R7 再扩展连续性与规模。R0 的职责不是提前堆模块，而是冻结这些依赖
+方向、交接合同、状态所有权和阶段门禁。分层表示高内聚模块与单向依赖，不表示每层都拆成
+微服务；是否增加进程或地址空间边界，只由安全、故障与资源隔离证据决定。详细规则见
+[实验路线](docs/experiment-roadmap.md#阶段带与依赖方向)。
+
 ## 文档
 
 - [概念起源](docs/conceptual-origin.md)

docs/architecture-hypotheses.md

@@ -21,6 +21,10 @@ Agent Harness 若被接入，只属于不可信策略侧。它可以管理 Promp
 选择，但只能生成版本化 Proposal；权限边界独立完成 Capability 与状态校验，资源机制只接受
 已经授权并截断到资源包络内的命令。三者不得共享可绕过合同的调用路径、凭据或可变控制状态。
 
+严格分层不预设微服务化。候选实现优先保持同一仓库、同一工具链和能够完成纵向闭环的高内聚
+C 模块；只有 Harness 等不可信调用者或经威胁模型证明需要隔离的组件才增加进程、身份或地址
+空间边界。模块数量、服务数量和安全边界不能互相冒充。
+
 预期收益是策略可以独立迭代、回放和回滚，Harness 失守也不自然升级为资源控制权；需要验证
 的代价是跨层状态同步、权限衰减、控制延迟和隔离机制自身的复杂度。
 

docs/experiment-roadmap.md

@@ -3,6 +3,35 @@
 路线图描述依赖顺序，不承诺开始时间。研究生阶段正式启动前，可以继续补充文献、问题和
 实验设计，但不使用空实现制造进度。
 
+## 阶段带与依赖方向
+
+本仓库用 `R` 表示研究阶段。R0 的“零阶段”含义不是第一个实现版本，而是先冻结架构层、
+所有权、依赖方向、跨层合同和证据门禁，避免后续阶段通过共享状态或临时旁路反向改写底座。
+
+| 阶段带 | 范围 | 负责闭环 | 只允许向下一带交付 |
+| --- | --- | --- | --- |
+| 边界冻结 | R0 | 术语、可信边界、对象所有权、工具链、基线与验收规则 | 版本化合同、实验夹具和准入/退出条件 |
+| 确定性底座 | R1–R3 | 最小内核运行、生命周期、权限、资源、隔离、来源、恢复和验收交接 | 有类型命令、只读观测、稳定状态与失败语义 |
+| 不可信策略 | R4–R5 | 观测筛选、规则、Attention 与学习策略的可比较 Proposal 闭环 | 版本化 Proposal 与可重放策略证据 |
+| 连续性与规模 | R6–R7 | 检查点、迁移、委托、多核、多节点和长期故障验证 | 不新增上游权力，只扩展已验证合同的适用范围 |
+
+阶段带遵守以下规则：
+
+1. 后一带只能依赖前一带公开的版本化合同、不可变标识和只读快照，不能直接读取或改写其
+   私有状态；前一带不能反向依赖具体 Harness、模型、策略或多节点实现。
+2. 跨带修改对象语义、状态所有权、权限或失败合同，必须形成独立 ADR/设计变更，提升合同
+   版本，并重新通过所有受影响的前置退出条件；不能把它藏进后续阶段的“兼容补丁”。
+3. 每个阶段仍需完成输入、状态转换、失败、回退、恢复和证据的纵向闭环，不能只创建接口、
+   空模块或未来服务占位。
+4. 分层是职责与依赖边界，不是微服务数量目标。Harness 等不可信调用方可以使用独立进程、
+   身份和资源包络；确定性权限与资源机制则优先保持在高内聚的 C 工程内，通过受控入口和
+   明确状态所有权分离。只有威胁模型、故障域或部署证据要求时，才增加新的进程或服务边界。
+5. R6–R7 只能扩展已验证的单机语义，不能以分布式、性能或兼容性为理由重新赋予策略执行权，
+   也不能让多节点协调器成为隐藏 authority root。
+
+因此，阶段编号表达的不只是先后次序，而是施工边界：某一阶段带内部可以高内聚地协作，跨带
+只能通过已经冻结的交接面连接。
+
 ## R0：宪法、可信边界、工具链与传统基线
 
 目标：固定执行操作系统宪法、声明的可信边界、受限 C 子集、编译/链接/模拟器工具链，并建立
@@ -21,6 +50,8 @@
 - 报告平均值、分位数、波动和失败，而不是单次最好结果。
 - 明确 Principal、Object、Capability、Proposal、Action、Observation、Evidence、
   AcceptanceVerdict 和 EpistemicStatus 的语义边界，但不预先冻结模块或 ABI；
+- 冻结阶段带、允许的依赖方向、跨带交接合同和状态所有者；为每一带声明闭环与重验条件，
+  但不预先拆分微服务或创建空模块；
 - 记录宿主、编译器、托管平台和单维护者作为当前外部 failure domain；
 - 从干净机器只依靠仓库、文档化工具链和网络重建 R0；失败时记录隐藏环境依赖，不降低门槛。
 - 在兼容 Linux、`sched_ext`、硬件和预算边界内，对 SchedCP artifact 完成可复现性审计或有界

docs/vision.md

@@ -89,6 +89,11 @@ Harness 不理解中断、页分配和调度器内部结构；资源机制不解
 之类的 AI 语义。适用平台上的候选实现应优先使用不同进程、地址空间、身份和资源包络建立真实
 隔离，但具体 IPC、Capability 表示和部署拓扑仍需由 R0/R1 实验决定。
 
+这张分层图不是微服务拓扑。Agent Harness 作为不可信调用方可以位于独立进程；Authority 与
+资源机制则可以留在同一个高内聚的 C 工程或内核镜像中，但各自拥有明确状态、受控入口和单向
+依赖。只有跨地址空间能够实质降低声明过的风险时才增加部署单元，不能把每个概念拆成服务，
+再用网络、共享数据库或消息总线重新制造更重的耦合。
+
 目标不是证明模型不会被越狱，而是验证：即使 Harness 产生恶意或错误 Proposal，它仍不能自行
 扩权、修改 Guard、触碰边界外对象或突破底层硬资源上限。