机器

将搜索转化为可验证的理解

AIENOS 是一个自主实验性机器，旨在将搜索转化为可验证的理解。AIEN 提出结构。Omega 使该结构显式化并可验证。机器在权威下将该结构与现实进行测试。图灵衡量实际学到的内容。Cortex 保存证据。然后下一次搜索从幸存下来的部分开始。

权重暗示。程序解释。验证决定。证据教学。图灵记分。

建议和解释具有不同的认识论角色。神经网络系统生成假设。显式人工制品适合检查和验证。物理执行提供与现实的接触，测量确定收益，证据提供连续性。

闭环

该项目的有意义人工制品是一个封闭的认识论循环。每次循环经过十一步，最后一步为下一步提供输入。

观察
提出
形式化
验证
授权
执行
测量
评分
保存证据
学习
再次搜索

在设计中，每个步骤都有其所有者。AIEN 提出建议。Omega 负责形式化、综合与验证。FORGE 实现经验证的程序，物理机器执行它。

图灵随后衡量解释性增益，Cortex 保存证据，AIEN 和 Omega 利用这些证据改进下一次搜索。ATLAS 在硬件之间传递传承，AIENOS 提供底层的自主且持久的基底。

AEGIS 和 ARGUS 围绕循环而设。AEGIS 守护证明与权威的边界，确保无许可则不执行。ARGUS 观察实际发生的情况。两者都不是按顺序传递工作的步骤。

这描述了设计。下方的“当前存在的部分”列出了目前运行的组件。参见主页上的循环图。

图灵负责记账

图灵是 AIEN 的认识论记账层，它衡量净保留解释压缩量：机器理解的一个操作性组成部分。它并非通用智能评分。

对于基准 B，候选解释 M，密封观测数据 D 和评分配置 P，其中 L 表示描述长度：

T(M; B, D, P) = [L(B) + L(D | B)] - [L(M) + L(D | M)]

只有当候选解释在自身复杂度成本之外，还能压缩未见数据的描述长度时，才能获得正向图灵评分。

收费项： 记忆化、不必要的复杂性以及错误预测。
禁止项： 事后选择。测试污染会使得测量无效。
奖励：一种概括性的紧凑结构。

该问题所回答的是：机器发现了什么，使其在未曾见过的现实中仍能持续运作？探索图灵。

三个量

图灵增益 (T)
机器是否学习到了解释性结构？增益是指在支付解释成本后，保留样本中解释性压缩的净收益。
状态：通过 TY-2 运行在保留种子上相对于一阶基线记录了 2,559,679.825 比特的图灵增益。
复核使用了相同的工具，因此是一次自我复现，仍需独立复核。此结果证明了仪器的有效性；但并不能说明 AIEN 发现了任何东西。
图灵产出 (T/J) 状态：未开始
该增益消耗了多少物理资源？产出将图灵增益除以焦耳，可能区分评估产出与发现产出，后者更为重要。
由于尚未测量能量，每焦耳的图灵数无法计算，因此此项尚未启动。
状态：部分完成能量归属。测量能量的计划已记录，代码也具备固定测试，但尚未在真实硬件上进行定时运行。
尚无产出数值，且在能量归属与图灵收据未按合格协议结合前，不会提出任何产出数值。
搜索与验证差距
发现解释结构的难度与找到后验证的难度相比如何？测试思路：发现的解释性结构通过预测、压缩、抽象、可复用程序、减少搜索和加速发现，降低未来搜索成本。
这是一个研究方向，目前尚无结果。

证明其可教性：Cortex

Cortex 的存在是为了保存未来使搜索更高效所需的证据。这意味着证据连续性：已验证的解释、失败的假设、反例、有效区域、测量收据、实验条件、搜索轨迹、物理成本、不确定性与来源。

如今 Cortex 是一个仅追加的存储器，记录世界所发生的一切。接下来它应保存搜索历史、反例和成本；其当前状态列于今日存在的内容中。

有了这些证据，AIEN 将能够提出：

我们之前尝试过什么？
它为何失败？
在何种条件下它曾有效？
哪些证据支持这一抽象？
哪些表示变化曾减少过搜索？

发现阶梯

每一级都是对机器已证明内容的更强声明，且每一级都建立在下一级之上。该阶梯源自研究状态记录，与完整状态页面背后的记录相同，因此本页面从不手动陈述结果。

当前层级：L2，仅限布朗运动范围，仪器认证。 在布朗运动范围之外，上限为 L1。TY-2 不改变上限。

评分器在已知随机情形下按指定行为运行。这并不意味着 AIEN 发现了任何东西。

从底部向上阅读。每一步都建立在下一层之上。已填满的步骤表示已达成，半填满的步骤表示部分达成，空心步骤表示未达成。

L0定义
已达成
已达成
证据：QS:101 “满足”；仅定义
L1压缩桥，EXP-001R
已达成
已达成（测试范围，修正重叠门，未签名）
证据：QS:102；EXP-001R final_receipt.json
失败EXP-001失败尝试，保留在记录中
压缩桥的首次尝试。因重叠审计（S2）失败，未产生测量结果。保留在记录中，未被删除。导致了 EXP-001R 的产生。
L2已知随机结构，EXP-002A-B-C当前层级
已达成
仅在布朗运动范围内达成，作为仪器认证；判决结果于 2026-10-01 与私有密封记录核对
证据：QS:103，QS:114
L3不变或统一结构
未达成
未达成（干预性复现通过，EXP-002D 不完整）
证据：QS:104
L4主动实验选择，EXP-003
未达成
未达成（受阻，未冻结）
证据：QS:105
L5能量归因
部分达成
部分达成（协议和夹具测试；无定时运行）
证据：QS:106
L6图灵产率 T/J
未达成
未达成（受阻于 L5）
证据：QS:107
L7+灵敏度、复制性、多域
未尝试
未尝试（L7、L8、L9）
证据：QS:108-110

每次实验、其接收情况及其局限性

可度量的自我改进

递归自我改进的有趣版本比机器自我修改更为狭窄。经验带来可度量的解释，进而形成可复用的抽象、减少搜索、改进候选选择、验证改进并进入下一代。

只有在通过验证和度量的自我修改才被计入。

核心问题：一个持久的机器能否以可测量的方式积累经过验证的解释性结构，从而显著提升其发现更多结构的能力？

T 是否增加？
T/J 是否改善？
搜索成本是否下降？
验证是否依然可信？
表示变化是否可迁移？
干预是否变得更具信息量？
学习到的结构能否在新领域中存活？
系统是否保留其失败？
独立评分者能否复现证据？

与其他研究的关联

以上每一项都是一个关联或机遇。当研究状态记录中存在匹配条目时，其徽章会显示在名称旁边。

佩特里网与反应系统: 世界生命周期工作已具备状态模型、可达状态探索、不变量、最短反例轨迹、变异体以及与真实世界代码的差异检查。形式化并发理论可能提供可达性、活性和死锁分析、偏序约简及不变量证明。世界保持其自身名称；它不会被重新标记为佩特里网。
反例引导的综合（CEGIS）状态：部分实现: Omega的搜索已能运行候选、变换、验证、接受或拒绝，并记录轨迹与成本。机会在于：将失败的候选转化为语义反例，将其泛化为约束，消除整个候选家族，并衡量由此节省的搜索量。
贝叶斯自适应搜索状态：实验中: 正在尝试使用贝叶斯成本模型在记录信号之间进行选择，并将失败尝试保留在记录中。未来方向是安全的上下文探索。探索必须始终保持显式授权，且生产权限绝不能从预测置信度中推断得出。
主动因果发现状态：已阻塞: EXP-003 设计为从被动预测转向主动探究：持有多个竞争性解释，预测其后果，选择能最好区分它们的干预措施，执行一次授权实验并更新信念。尚未运行。其合同仍为草案，必须等待布朗运动记录封存后才能进行。
E图与等式饱和状态：研究假设: 一项研究参考，用于将重写表达式、基变换、坐标系和等价实现视为同一发现。Omega尚无E图代码。

当前存在的内容

此列表源自研究状态记录，该记录基于对Omega和AIENOS主分支代码的检查构建。已实现的工作与开放的研究问题分开记录，每个条目均可展开以查看其局限性和证据。

已实现（14）

代码和测试已存在。每个条目说明了其覆盖范围。

驻留世界 / 反应已实现（主机参考）
一个共享对象世界；反应在对象和字段掩码变化时触发；预算、隔离、因果碎片
局限性和证据
声明级别
仅限主机参考
限制条件
R16 与证据不可变 CI 合并失败（inventory.json 被就地编辑）；R15 G8 第一次尝试 FAIL 0.832，第二次尝试 PASS 文件存在（值未验证）；全产品编排器退役推迟
下一个依赖项
运行时程序通道
证据
src/runtime/rx_world.h:2-8,73
接收记录
tests/runtime/rx_r12_resident.c, rx_r13_living.c, rx_r14_recovery.c；evidence/R16/22d7a79a...json（R16_ORCHESTRATOR_RETIRED=PASS）；evidence/R15/
提交
最后修改 bc60f86；R16 omega#112 3dd5eaa
日期
2026-09/10
生命周期建模已实现（仅主机）
显式状态机：唤醒/接纳/运行/提交/失效/失败/回收/取消；SPEC、AS_BUILT、突变体配置文件
局限性和证据
声明级别
仅主机
限制条件
4 个固定树中的反应；仅 CPU；rx_world 不支持 CANCEL
下一个依赖项
存储 LG 收据
证据
tests/model/world_model.h:1-25；mk/proof.mk:9,26
接收记录
tests/model/model_check.c, receipt.sh 通过 make test-proof；evidence/ 下未提交 LG 收据
提交
PR #174 0d8b057
日期
n/a
状态空间探索已实现（有界）
在可达模型状态上进行 BFS，生成最短违规路径
局限性和证据
声明级别
测试代码，不随运行时发布
限制条件
受 WM_EXT_MAX 和 WM_TICK_MAX 限制；不存储运行结果
下一个依赖项
未说明
证据
tests/model/world_explore.c:1-6
接收记录
通过 make test-proof；反例重放 world_diff.c 中的 I2、I4
提交
0d8b057
日期
n/a
差异检查已实现（仅主机）
AS_BUILT 模型 vs 实际 rx_world，所有操作序列至深度 N；TSan 目标
局限性和证据
声明级别
仅主机
限制条件
深度受限；仅稳定状态；visor/search 差异未检查
下一个依赖项
未说明
证据
tests/model/world_diff.c:1-30,701-702
接收记录
make test-proof 日志；未提交收据
提交
0d8b057
日期
n/a
语义/程序工件：程序 ID已实现，范围狭窄
程序身份 v2 = 标准化主体 + 合同哈希；一元 u64 ADD/SUB/MUL/AND/OR 链
局限性和证据
声明级别
狭窄
限制条件
无法命名 matvec 或 Omega-X；omega_program_realize 已声明（omega_program.h:117），但根据 2026-09-29 审计无定义（未重新检查）；M6 自宿主为固定输出
下一个依赖项
通用编译器
证据
src/omega_program.h:41,44,117
接收记录
tests/program/test_program_id.c；evidence/PROGRAM_ID/（2 个收据）
提交
omega#75；9d17fcc
日期
2026-09-29
语义/程序工件：动作图 IR已实现
目标：从类型化图到驻留反应；工作流融合为 MetaSkills
局限性和证据
声明级别
主机
限制条件
融合意味着更少的反应和 CPU，而非更快
下一个依赖项
未说明
证据
src/runtime/rx_graph.h:181-196
接收记录
tests/runtime/rx_action_graph.c, rx_workflow_fusion.c；evidence/ACTION_GRAPH/, WORKFLOW_FUSION/
提交
omega#51 df0ce76, #61 ceb68d6；d9ed2e8
日期
2026-09
验证基础设施已实现
每里程碑门控脚本，内容寻址的收据，证据不可变性 CI
局限性和证据
声明级别
主机
限制条件
各仓库间无共享收据模式；不可变性检查曾被绕过一次（R16）；无通用测试框架
下一个依赖项
共享模式
证据
src/omega_evidence.h:48-74
接收记录
evidence/omega_verify_qualification_receipt.json; evidence/SHA256SUMS; .github/workflows/evidence-immutable.yml
提交
5c23ec9
日期
n/a
搜索轨迹（M23）已实现（语料库一半）
记录程序搜索触及的每个候选；字节级完全重放；密封的保留承诺
局限性和证据
声明级别
仅语料库
限制条件
训练部分等待 M22；钩子默认关闭；无任何组件消费语料库
下一个依赖项
M22
证据
spec/searchtrace/M23_SEARCH_TRACE_CORPUS_V1.md:1-30
接收记录
evidence/M23/receipts/m23-corpus-ee498211...json PASS（3072 步，提交 12b4d6e）
提交
a0e59f4
日期
n/a
能力 / 权限已实现（存在冲突）
能力根，64 位世代，能力图，技能路由器；aienos C 权限具有封装性
局限性和证据
声明级别
主机
限制条件
Rust 和 C 权限共存（审计显示冲突）；Effect Broker 部分实现（仅 Rust）；机器身份有 3 种形态
下一个依赖项
选择一种权限
证据
src/runtime/rx_capq.h:227-263; aienos_cap.h:70-91
接收记录
tests/runtime/rx_capability_graph.c, rx_capability_query.c, tests/effect/test_effect_cap64.c; evidence/CAPABILITY_QUERY, EFFECT_CAP64; aienos 原生/能力测试；7 个 Rust 测试
提交
omega#53 670bf98, #71 8e7a445
日期
2026-09
图灵度量机制已实现（仪器化）；科学部分
字段，选择器，重放，压缩流（tc_*），图灵产出单位（ty_*），包括能量归因代码
局限性和证据
声明级别
仪器化
限制条件
科学状态位于表 1；选择器失败杀戮测试，现仅记录；TURING 未接入实时运行时（QS:31 未启动）
下一个依赖项
实时连接，H4
证据
QS:19-29; TY2:1-17
接收记录
tests/turing/test_turing.c, test_tc.c, test_ty_energy.c, test_tc_eval.sh; ty2_heldout_receipt.txt
提交
a0e59f4
日期
n/a
Cortex 组件已实现（主机参考，omega C）及 Rust 对等实现
omega：仅追加的摘要链式存储，日志，单写入者，提升，召回，世界记录（单进程）。aienos：Rust 存储，记录，状态，验证
局限性和证据
声明级别
主机，单进程；“已实现，未通过资格认证”按架构定义
限制条件
两种实现（C 与 Rust，冲突）；Rust 测试较薄弱；无 Visor 消费者；预测性内存（EST-8）计划中
下一个依赖项
解决重复项，资格认证
证据
rx_cortex.h:1-14,170-225; ROADMAP.md:313
接收记录
tests/runtime/rx_cortex_canon.c; aienos-cortex store.rs 中的 2 个 Rust 测试
提交
omega 00160d9（M20）
日期
n/a
AEGIS已实现（主机，驻留权限学院）
验证器与策略学院：omega R8 驻留 AEGIS（请求、决策、通过原生 AIENOS 权限根铸造），以及 omega aegis_verification 和 Rust aienos-aegis crate（能力图，Effect Broker，评估器）
局限性和证据
声明级别
主机（仅覆盖 R8 驻留 AEGIS 收据；Rust aienos-aegis crate 和 omega src/aegis_verification.c 存在于仓库中，但此处未引用其收据）
限制条件
收据显示主机处理器，权限以主机库形式运行，而非AIENOS内核；策略并非在运行时学习；该收据早于后续运行时修改（omega rx_aegis.c 最后修改于 fed4f07，R16 C6，2026-09-30），且未重新运行；scout未读取或运行Rust的aienos-aegis crate和omega src/aegis_verification.c
下一个依赖项
原生AIENOS内核权限；共享收据模式
证据
omega spec/r8-aegis-resident.md；src/runtime/rx_aegis.h:1-40；tests/runtime/rx_r8_aegis.c；aien-architecture doctrine/ROADMAP.md 行 R8；docs/adr/0013-machine-physics-lowering-and-aegis-invariant-checker.md（已接受）
接收记录
evidence/R8/a666db9f3d2fd9f6b01be6035935cdfa5b3d233b03100014fedabb31fcf04181.json（R8_CONSTITUTIONAL_AEGIS 通过，116 次检查，0 次失败，树结构干净，候选 fd57ed5）
提交
omega#48 fe4924a
日期
2026-09-28
ATLAS（M1 ATLAS_BOOT 和路线图）已实现，范围有限（QEMU 已验证；原生硬件待定）
1,480 字节的引导种子 atlas.bin，在 QEMU virt AArch64 中进行双重接缝验证（301 条指令字面一致，268/268 次篡改被拒绝）；41 行路线图的第一级（M0 到 M40）
局限性和证据
声明级别
仅限 QEMU
限制条件
ATLAS_BOOT_NATIVE_PASS 待定且与 QEMU 解耦；atlas 主分支仍包含 .py 门脚本（run_milestone1_gates.py、seam2_execution_harness.py、generate_audit_ledger.py）以及 C/Shell 套件；路线图表格在读取时统计：20 行已完成变体，21 行计划中（M20 到 M40 全部计划中）；路线图状态为文档级，未重新运行
下一个依赖项
原生硬件启动（暂停，等待 TRUST-1 所有权密钥链）；M20 OMEGA_TENSOR 打开计划的一半
证据
aien-architecture doctrine/ROADMAP.md 行 M0-M40 及第 87-95 行；atlas 资格收据.json
接收记录
atlas 资格收据.json（资格状态 COMPLETE_QEMU_QUALIFIED，sha256 f7802501...b9a5）
提交
atlas fcc3874（种子，2026-09-26）；atlas 0ec17d4（C11 和 shell 门套件）；路线图表格 aien-architecture f81e4ce（doctrine/ROADMAP.md，2026-10-01）
日期
2026-09-26
类型化结果契约已实现，范围有限（合成后端）
9 个类型化契约，与自由生成相比的约束生成，以及唯一写入发布对象（rx_contract）的发布门
局限性和证据
声明级别
主机，合成认知后端
限制条件
收据 not_claimed：神经或 LLM 后端，通过门的实时 R11 反应，有效但错误的答案，前瞻，GPU 执行，AIENOS 内核；约束无效率 1.26% 对比自由路径（测量值为每内存笔记 32%，scout 未从 JSON 读取）；两条路径的语义失败率相似；未重新运行
下一个依赖项
真实认知后端；R11 通过门路由；效率黄金路径顶点
证据
omega src/runtime/rx_contract.c，rx_contract.h；tests/runtime/rx_typed_results.c；spec/typed-result-constraints.md:1-12；收据尾部门控块
接收记录
evidence/TYPED_RESULTS/b75d295fa4007e13bcb443d7dd4e3c3246a58e7acf4d553d99712e98937b0bbb.json（OMEGA_TYPED_RESULT_CONSTRAINTS_PASS，47,062 次检查，0 次失败，树结构干净）
提交
omega#59 1b63b20（候选 d8da311）
日期
2026-09-28

部分实现（4）

部分存在。缺失的部分已命名。

CEGIS部分实现，未经验证（视为未确立）
仅在合成路径中出现该单词；未发现专用模块或测试
局限性和证据
声明级别
无
限制条件
scout 未读取匹配行
下一个依赖项
阅读 src/omega_synthesis.c, omega_realize_synth.c
证据
在两个文件中使用 grep 查找匹配项
接收记录
无
提交
无
日期
n/a
证据收据部分实现
以摘要命名的 JSON 收据，运行提交和脏标志；aienos Rust 证据工具（捕获、验证、回滚）
局限性和证据
声明级别
部分达成
限制条件
无共享模式；BuildIdentity 计划中（TRUST-1），尚未有代码
下一个依赖项
共享模式，BuildIdentity
证据
src/omega_evidence.h:48-74；TURING_CURRENT_STATE.md 中的 Provenance、BuildIdentity 行
接收记录
evidence/*.json；aienos ck_gates_*.json；aienos-evidence 中的 36 个 Rust 测试
提交
5c23ec9
日期
n/a
ARGUS (ARGUS-0, ARGUS-1)部分实现（ARGUS-0 在文档限制下已完成；ARGUS-1 容量控制部分完成）
C 语言中的防御平面：128 字节事件 ABI、环、驻留核心、硬不变量检测器、omega 生产者；ARGUS-1 增加了 ABI v1.2、与 AEGIS 的桥接以及一个狭窄的撤销（其余全部升级）
局限性和证据
声明级别
主机
限制条件
性能仅在消费者位于空闲核心时通过（+3.87% R8；未固定 +5.31% 未通过 5% 标准）；ADR 0017 2% 时钟目标未达成，修正案待 Drake 审批；敌对审查 63 项测试，58 项通过，3 项预期失败，2 项不适用；ARGUS-1 G6 离线检查器未交付，因此 G13 仍开放；Mac G12 运行未完成；冻结是显式替代方案；无同步阻塞；ARGUS 永不授权（由 AEGIS 授权）
下一个依赖项
ARGUS-1 G6 离线证据检查器；Mac 回归运行；关于 2% 目标的所有者决策
证据
aienos native/argus/docs/ARGUS0_GATES.md:3；ARGUS1_GATES.md:6,29,53,62,70；aien-architecture docs/adr/0017-argus-defensive-plane.md:3
接收记录
aienos native/argus/docs/ARGUS0_GATES.md（10 个门中的 9 个通过，敌对和性能门通过-有文档限制）；native/argus/docs/ARGUS1_GATES.md（G8 通过，G10 在 47,283 个事件 0 个提议下通过，G11 实现检查通过，G12 Linux 通过，Mac 待定，G13 部分通过）；omega evidence/ARGUS/h2-verify/VERIFY.md 和 evidence/ARGUS/speed2
提交
aienos#160 7523933；omega#70 470dcae；aienos#161 d39dd5b；aienos#163 e954b0b；aienos#170 efadc17；aienos#172 603c91d；ADR 0017 aien-architecture#48 10cd118 和 #53 b19b4ac
日期
2026-09-29
FORGE (v1 和 V2)部分实现（v1 在主机和 GB10 上已通过验证；V2 和模拟仿真为实验性，无物理设备）
机器实现子系统：v1 FORGE-0 realize/verify 接口和 FORGE-HWID 观察到的 GB10 描述符；V2 与基底无关的描述符和已知答案测试的证据编码；AR2 模拟模拟提供者与数字预言机对等
局限性和证据
声明级别
v1 在主机和 GB10 上；V2 仅主机模拟，无物理模拟声明
限制条件
物理文档/FORGE_SUBSTRATE_V2_SPEC.md 仍显示状态为草稿；黄金向量为合成固定装置，状态未进行物理运行；无物理模拟设备存在（AR4 需要操作设备决策）；内存笔记中的 47 KAT + 6 个门计数未被 scout 重现
下一个依赖项
AR3 校准与不确定性；AR4 物理设备决策；AR5 omega 多基底选择
证据
aien-architecture 文档/adr/0018-substrate-neutral-physical-realization.md:3,195-206（已接受 2026-09-29）；doctrine/FORGE.md；doctrine/ROADMAP.md 门 3-4 和 14 行；physics 文档/FORGE_SUBSTRATE_V2_SPEC.md:3-9；文档/forge-v2-golden-vectors.md:5-7
接收记录
omega 证据/FORGE-GATES/702cf450534cf2727e4846243d00e7523b8252a95601d159ca8dd5d392ccafb7.json（门 3 FORGE-0 通过，门 4 FORGE-HWID 通过，sm_121，干净树）；omega 证据/GATE14-FOUNDATION/50dd611b...json；V2：无已提交收据，仅测试/test_forge_v2_kat.c、tests/run_forge_v2_gates.sh 和重新生成的文档/forge-v2-golden-vectors.md 在 physics
提交
physics#13 5969159（v1，2026-09-29）；physics#16 1f7c321（V2，2026-09-29）；physics#21 d52759d（AR2，2026-10-01）；omega#111 5517d22（门 14）
日期
2026-09-29/10-01

实验性（1）

正在尝试中。截至目前的结果，包括失败，均已记录在案。

贝叶斯成本预测（信念/估计）实验性
卡尔曼滤波器、混合模型、预测器、v4 系列与记录信号的对比
局限性和证据
声明级别
实验性
限制条件
v1 和 v2 在记录中失败（重尾分布，空闲状态）；v4 在单步对数得分上选择通过屏幕的候选者；EST-5 不确定性感知成本模型未找到代码；rx_costmodel 仅支持 matvec。架构：EST-3 v1-v3 失败，v4 无结论，EST-4..10 被阻塞
下一个依赖项
已声明加载周期；EST-5
证据
文档/估计/EST3C_FORENSICS.md:3,97-119；est-v4/RESULT.md
接收记录
文档/估计/收据/est23-v1 失败，est23-v2 失败，est3c-v3，est-v4/RESULT.md（家族 G1 滞后通过，3 次空尝试保留）
提交
omega#105；est-v4 PR #153 6ff7c30
日期
2026-09-30/10-01

计划中（3）

已书面记录为计划或规范。尚未有代码。

完整物理零计划中
仅规范和计划；M35 PHYSICS_ZERO_REAL_LAB 计划中；无 AIEN-P0 清晰传承
局限性和证据
声明级别
无
限制条件
README.md:30 列出其为仅规范/计划
下一个依赖项
M35
证据
README.md:30; QS:92; architecture ROADMAP.md:74
接收记录
无
提交
无
日期
n/a
通过度量抽象实现自我加速的RSI计划中（教义术语）
无代码符号
局限性和证据
声明级别
无
限制条件
RSI晋升纪律仅限规格；完整RSI集成不在R16范围之内
下一个依赖项
后续阶段
证据
TURING_CURRENT_STATE.md:56; spec/path-semantic-object.md:462-463; docs/r16-operator-brief.md:532
接收记录
无
提交
无
日期
n/a
狄拉克（DIRAC-0 和密封考试阶梯）计划中（仅限规格、ADR 和预言机设计；所有门电路 NOT_RUN）
将测试通用Omega代数、CPU和GB10实现，以及对隐藏狄拉克评估器的盲发现的集成工作流；ADR 0026将狄拉克置于密封考试阶梯的第一级（Zeta、对称性、SUSY）
局限性和证据
声明级别
无
限制条件
ADR 0023 和 ADR 0026 为提议状态，尚未被接受；预言机C文件存在但从未编译或运行；M20 OMEGA_TENSOR 语义层和CPU实现通过 omega#136（c7f9fcd，2026-10-01）合并，但未通过资格认证（GB10 NOT_RUN，M20未通过资格认证）；无GB10张量实现；G3封印 BLOCKED_OPERATOR，因此无密封数据集；无T/J（TURING H5 NOT STARTED）；ESTIMATION v4 在 omega#153（2026-10-01 合并）中记录为结果不确定，v5 正在 omega#170（开放）中进行
下一个依赖项
操作员对规格的接受（D-01），然后是D-02预言机构建；M20 OMEGA_TENSOR 资格认证；G3封印；TURING H5
证据
aien-architecture docs/plans/dirac/DIRAC_0_CURRENT_STATE.md（门电路 NOT_RUN）；docs/adr/0023-dirac-0-program.md:3；docs/adr/0026-sealed-discovery-examinations.md:3；omega research/dirac-oracle/README-NOT-BUILT.md
接收记录
无；无证据/DIRAC-0/ 接收记录；门电路 DIRAC_PREP_FROZEN、DIRAC_D0_ALGEBRA_PASS、DIRAC_CPU_REALIZATION_PASS、DIRAC_D1_REALIZATION_PASS、DIRAC_D2_DISCOVERY_PASS 均为 NOT_RUN
提交
aien-architecture#83 6ebd2fe（规格 + ADR 0023 提议）；aien-architecture#97 5910dff（ADR 0026 提议）；omega#158 458c57f（预言机规格，未构建）
日期
2026-10-01

研究假设（5）

未构建。一个待测试的想法，而非功能。

通用因果发现研究假设
无
局限性和证据
声明级别
无
限制条件
在omega中搜索 "causal discovery"：0次命中；仅发现 "causal crumbs"（溯源信息）
下一个依赖项
n/a
证据
omega grep
接收记录
无
提交
无
日期
n/a
完整主动实验研究假设（受阻）
仅作为 EXP-003 规格出现
局限性和证据
声明级别
无
限制条件
协议 .tex 中的策略接口：20,45,1281
下一个依赖项
EXP-003
证据
QS:29
接收记录
无
提交
无
日期
n/a
等式饱和研究假设
无
局限性和证据
声明级别
无
限制条件
仅有先验文献文本，无e-graph代码
下一个依赖项
n/a
证据
docs/turing/TURING_PRIOR_ART_MATRIX.md:25,55,147
接收记录
无
提交
无
日期
n/a
通用表示发现研究假设
无
局限性和证据
声明级别
无
限制条件
0次命中；仅与固定的实现族 src/algebra/realize_*.c 和狭窄的 omega_discovery.c 相关（未详细阅读）
下一个依赖项
n/a
证据
omega grep
接收记录
无
提交
无
日期
n/a
SUSY / Zeta 重发现研究假设
无
局限性和证据
声明级别
无
限制条件
在omega中无命中
下一个依赖项
n/a
证据
omega grep
接收记录
无
提交
无
日期
n/a

研究状态页面上与每个实验并列的同一列表。

自然创造了循环

进化运行变异、选择和保留。免疫系统运行变异、结合和扩增。科学运行假设、实验和理论。AIEN运行提案、验证、证据和记忆。

这些是类比而非等价关系。它们共有的模式是：昂贵的生成搭配果断的筛选，保留的结构决定了下一次生成的内容。

自然创造了循环。这项工作提出了一种可度量的循环产物单元：能够经受住未见现实考验的解释性结构。目标是使循环显式化、持久化、归属化、可审计、可计量、可复现，并受权威约束。

下一页：科学发现，即将展开的检验。

闭环