From a14482f46e78b6a3f75f9a3dec314c4e3cd072ea Mon Sep 17 00:00:00 2001 From: NoctilumeDev <263493638+NoctilumeDev@users.noreply.github.com> Date: Wed, 2 Sep 2026 23:18:29 +0800 Subject: [PATCH] docs: divide research roadmap into layer bands --- README.md | 6 ++++++ docs/architecture-hypotheses.md | 4 ++++ docs/experiment-roadmap.md | 31 +++++++++++++++++++++++++++++++ docs/vision.md | 5 +++++ 4 files changed, 46 insertions(+) diff --git a/README.md b/README.md index 077732f..8dc3ce8 100644 --- a/README.md +++ b/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) diff --git a/docs/architecture-hypotheses.md b/docs/architecture-hypotheses.md index f3a4386..8fa8c48 100644 --- a/docs/architecture-hypotheses.md +++ b/docs/architecture-hypotheses.md @@ -21,6 +21,10 @@ Agent Harness 若被接入，只属于不可信策略侧。它可以管理 Promp 选择，但只能生成版本化 Proposal；权限边界独立完成 Capability 与状态校验，资源机制只接受 已经授权并截断到资源包络内的命令。三者不得共享可绕过合同的调用路径、凭据或可变控制状态。 +严格分层不预设微服务化。候选实现优先保持同一仓库、同一工具链和能够完成纵向闭环的高内聚 +C 模块；只有 Harness 等不可信调用者或经威胁模型证明需要隔离的组件才增加进程、身份或地址 +空间边界。模块数量、服务数量和安全边界不能互相冒充。 + 预期收益是策略可以独立迭代、回放和回滚，Harness 失守也不自然升级为资源控制权；需要验证 的代价是跨层状态同步、权限衰减、控制延迟和隔离机制自身的复杂度。 diff --git a/docs/experiment-roadmap.md b/docs/experiment-roadmap.md index dedd019..2272382 100644 --- a/docs/experiment-roadmap.md +++ b/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 完成可复现性审计或有界 diff --git a/docs/vision.md b/docs/vision.md index 6fb5c09..23df65d 100644 --- a/docs/vision.md +++ b/docs/vision.md @@ -89,6 +89,11 @@ Harness 不理解中断、页分配和调度器内部结构；资源机制不解 之类的 AI 语义。适用平台上的候选实现应优先使用不同进程、地址空间、身份和资源包络建立真实 隔离，但具体 IPC、Capability 表示和部署拓扑仍需由 R0/R1 实验决定。 +这张分层图不是微服务拓扑。Agent Harness 作为不可信调用方可以位于独立进程；Authority 与 +资源机制则可以留在同一个高内聚的 C 工程或内核镜像中，但各自拥有明确状态、受控入口和单向 +依赖。只有跨地址空间能够实质降低声明过的风险时才增加部署单元，不能把每个概念拆成服务， +再用网络、共享数据库或消息总线重新制造更重的耦合。 + 目标不是证明模型不会被越狱，而是验证：即使 Harness 产生恶意或错误 Proposal，它仍不能自行 扩权、修改 Guard、触碰边界外对象或突破底层硬资源上限。