研究状态

研究当前进展

图灵度量的净保留解释压缩：机器理解的一个操作性组成部分。

此页面上的每个状态均来自一个数据文件，该文件由合并后的研究状态表生成。失败和未完成的实验均被展示，而非隐藏。截至 2026-10-01。

研究阶梯

当前层级：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

实验状态

每项结果一张卡片。徽章代表结论；其下方的条目说明涵盖内容、未涵盖内容以及待处理事项。

通过CAL-0

CAL-0 校准冻结

测量设备在任何数据评分前已锁定，因此事后无法更改规则。

状态: 通过（冻结接收 TURING_PROFILE_V1_FROZEN=PASS）于 EXP-001R；EXP-001 v1.0 冻结也通过，随后其实验失败
范围: 设备冻结、配置文件 v1.1、候选项、盲测
声明级别: 本身无任何内容（先决条件）
限制条件: 接收记录冻结而非 git 标签（D7）；接收记录未签名（D6）；候选者与评估者在独立的 jail 中共享同一操作系统用户（D8）；PROTOCOL_CONFORMANCE.md 第 50 项过时（"open O3"）
下一个依赖项: 无
证据: freeze_receipt.json 第 2-4 行；QS 第 2 节第 CAL-0 行
接收记录: calibration/experiments/EXP-001R/freeze_receipt.json
提交: freeze C_f 8e6c5acd；接收记录提交 dee3eda5；PRs #97 45be6c84，#98 990ba326（v1.0 冻结 d3cba292，PR #94）
日期: 2026-09-30

失败EXP-001

EXP-001 压缩桥接，首次尝试

首次尝试在其自身的重叠检查中失败，因此未产生任何测量结果。该失败记录被保留。

状态: 失败，终端（S2 重叠审计；S1 和 S3-S9 未达到）
范围: 压缩桥接，首次尝试
声明级别: 无（未产生测量结果）
限制条件: 门控 crumb_digest 失败，"1 shared"。被保留，未删除
下一个依赖项: 被 EXP-001R 取代
证据: final_receipt.json：判定为失败，标准 S2，代码 OVERLAP
接收记录: calibration/experiments/EXP-001/final_receipt.json，overlap_audit.json
提交: 结果 d5c97ce9，PR #95 e605a585
日期: 2026-09-30

通过EXP-001R

EXP-001R 压缩桥接，后继运行

后继运行在约 1240 万事件上通过了全部九项标准。它使用了一个在 EXP-001 失败后重写的重叠门控。

状态: 通过（S1-S9；EXP_001_COMPRESSION_BRIDGE=通过）
范围: 后继运行，配置文件 v1.1，两个密封组 6,168,907 + 6,199,000 事件（总计 12,367,907）
声明级别: L1
限制条件: 使用了经修改的重叠门控 G6（Turing-profile-v1.1.toml:145），在数据之前声明但在 EXP-001 失败后重写。独立评分器匹配了 312/312 个值，但它是第二个评分器，非独立复现。每块独立 Bootstrap（D4）。未签名
下一个依赖项: L8 复现（未尝试）
证据: final_receipt.json 标准与备注；QS 第 2 节
接收记录: calibration/experiments/EXP-001R/final_receipt.json，REPORT.md，scorer_independent.json，uncertainty.json
提交: 结果 190ff891，PR #99 806a9d6a
日期: 运行时间 2026-09-30 04:08Z

通过TY-2

TY-2 图灵增益

2,559,679.825 比特的图灵增益

这是比特数的增益，而非产出。产出是 T/J（每焦耳的图灵数），而 T/J 尚未确立：未测量能量。

在保留数据上，候选模型 C 描述事件所用的比特数比一阶基线 B 少约 256 万比特，平均每事件少 0.4387 比特。

状态: 通过（判定=通过）
范围: 保留预测压缩，图灵产出配置文件 V0；候选 C（操作 + 前 4 个结果）对比基线 B（一阶）；拟合种子 1-7，保留测试 8-10；5,834,845 个保留测试事件来自 crumbline 控制学习者搜索事件
声明级别: H5 的信息部分；位于 L1 链之下（独立配置文件）
限制条件: 仅理想编码长度，无可解码比特流。验证使用相同工具（自重推导，非独立）。非科学发现度量。无能量测量。事后 op+prev1..5 得分更高（+2,722,851.799），未计入。检查：dl_b_ub 7484024867446 减去 dl_c_ub 4924345042631 = 2559679824815
下一个依赖项: H4 然后 TY-7
证据: 收据字段 t_microbits, dl_b_ub, dl_c_ub, verdict；工具/turing_yield.c:319；src/turing/ty_qrecord.c:343
接收记录: 证据/TURING_YIELD/ty2_heldout_receipt.txt
提交: 评分代码 487de8d7 (TY-1)；PR #85 f0dc0af9；验证日志 PR #88 1b75aa81
日期: 运行 2026-09-29

通过EXP-002A

EXP-002A 布朗运动波 1

评分器在已知随机运动情形下的认证。在后续版本配置下通过；首个配置被阻止。2026-10-01 对私有密封记录进行了验证。

状态: 通过（布朗运动波 1，已密封）
范围: 在已知随机情形下的评分器认证；在后续版本配置下通过（首个配置被阻止）
声明级别: 对 L2 有贡献
限制条件: 直到 BRN-10 封存前无法公开复现；更正项更改了记录文本，无结论；首个配置被阻止；一次中间版本 v1.1 尝试以不完整结束（结果未能保存）并保留在记录中
下一个依赖项: BRN-10 封存
证据: QS:26, QS:45；架构说明：27,47-48
接收记录: 私有 aien-sealed（记录在私有仓库中）：提交 760bfe9（EXP-002AR，配置 v1.2，结论 EXP-002A 通过）；另含 R3-49 结果-v1.3 @6a90109，更正项 @6b893de
提交: 配置承诺 omega #100-#103，历史 #104
日期: 2026-09-30

通过EXP-002B

EXP-002B 布朗运动波 1

通过，其奥卡姆曲线在后续配置下单独通过。2026-10-01 对私有密封记录进行了验证。

状态: 未通过其奥卡姆曲线；奥卡姆曲线在 v1.3 下单独通过
范围: 在已知随机情形下的评分器认证；在后续版本配置下通过（首个配置被阻止）
声明级别: 对 L2 有贡献
限制条件: 直到 BRN-10 封存前无法公开复现；更正项更改了记录文本，无结论
下一个依赖项: BRN-10 封存
证据: QS:26；说明：28-29
接收记录: 私有 aien-sealed（记录在私有仓库中）：提交 1310e06（v1.2 通过，奥卡姆曲线不可计算）和提交 111a5ea（v1.3 下奥卡姆曲线通过）；另含 R3-49 结果-v1.3 @6a90109，更正项 @6b893de
提交: 配置承诺 omega #100-#103，历史 #104
日期: 2026-09-30

通过EXP-002C

EXP-002C 布朗运动波 1

通过，随后在新的密封世界中再次通过。2026-10-01 对私有密封记录进行了验证。

状态: v1.2 下通过；v1.3 下在新的密封世界中重复通过
范围: 在已知随机情形下的评分器认证；在后续版本配置下通过（首个配置被阻止）
声明级别: 对 L2 有贡献
限制条件: 直到 BRN-10 封存前无法公开复现；更正项更改了记录文本，无结论
下一个依赖项: BRN-10 封存
证据: QS:26；说明：30
接收记录: 私有 aien-sealed（记录在私有仓库中）：提交 f546162（v1.2 通过）和提交 111a5ea（在新的密封世界中重复通过，v1.3）；另含 R3-49 结果-v1.3 @6a90109，更正项 @6b893de
提交: 配置承诺 omega #100-#103，历史 #104
日期: 2026-09-30

不完整EXP-002D

EXP-002D 敌对规则

一个敌对规则无法使用波 1 预测格式进行评估。已评估的规则中无错误结论。

状态: 不完整
范围: 一个敌对规则无法使用波 1 预测格式进行评估；已评估规则中无错误结论
声明级别: 未满足 L3
限制条件: 波 1 格式无法评估该规则
下一个依赖项: 波 2 合同
证据: QS:27, QS:105；说明：31,49
接收记录: aien-sealed（不可读）
提交: 无
日期: 2026-09-30

被阻止EXP-003

EXP-003 活跃的实验性选择

未运行。其合约仍为草案，需等待布朗运动记录封存后才能继续。

状态: 已阻塞，未冻结
范围: 活跃的实验性选择（协议部分靠近 .tex 文件第 760 行）
声明级别: L4 未满足
限制条件: 第二波合约在 aien-sealed PR #1 中仍为草案，未被接受或冻结；必须在 BRN-10 封存后才能封存。早期选择器杀戮测试失败（选择器被重新定义为记录保存）
下一个依赖项: 第二波合约接受加上 BRN-10
证据: QS:29, QS:105；架构 RESEARCH.md:183
接收记录: 无
提交: 无
日期: n/a

部分能量归属

物理能量归属（H4）

测量能量的计划已记录，代码也具备夹具测试，但尚未在真实硬件上进行定时运行。

状态: 部分：协议已预注册，仅代码和夹具测试，无定时运行
范围: TY 能量归属阶段 1 和 2
声明级别: L5 部分
限制条件: TURING_YIELD_ENERGY_PROTOCOL_V0.md:5 「预注册……在任何定时运行之前」；tests/turing/test_ty_energy*.c 为夹具测试。证据比「部分」所暗示的更薄弱
下一个依赖项: 硅基定时运行
证据: QS H4 行；tools/ty_energy_run.sh，tools/ty_energy_reduce.c
接收记录: 无（evidence/ 下无能量文件）
提交: 协议 99c1f696；边界 4386897f；PR #86 071a1e17
日期: 2026-09-29

未开始TURING-YIELD-TJ

图灵产出 T/J（H5 物理部分）

由于尚未测量能量，每焦耳的图灵数无法计算，因此此项尚未启动。

状态: 未开始（阻塞于 H4）
范围: n/a
声明级别: L6 未满足
限制条件: TY2 表示未测量能量；T/J（TY-7）使用第 10 节配置中的分母。DIRAC-0 报告为 NOT_RUN
下一个依赖项: H4
证据: QS:24；TY2 最后几点；架构 DIRAC-0-SPEC.md:158
接收记录: 无
提交: 无
日期: n/a

部分布朗运动上限

布朗运动主张上限

在布朗运动范围内，最强主张是仪器在已知情况下表现符合规格。任何报告均不得声称 AIEN 发现了物理定律。

状态: 仅 L2，仪器认证；L3 未满足
范围: 布朗运动范围
声明级别: L2
限制条件: QS:114 「在已知随机情况下表现符合规格，而非 AIEN 发现了任何东西」。规则：任何报告不得声称 AIEN 发现了物理定律（解释器：57-59）
下一个依赖项: EXP-002D, EXP-003, BRN-10, 复现
证据: QS 第 6 节；解释器：7,21,57-59
接收记录: n/a
提交: n/a
日期: 2026-10-01

未确立通用发现

通用科学发现主张

未提出任何通用科学发现主张。在布朗运动范围之外，上限保持在 L1。

状态: 未确立
范围: 全部
声明级别: 无；在布朗运动范围之外，上限保持为 L1
限制条件: L9（多领域）未尝试；TY-2 未改变上限。第 6 版主张 A 在纸上已证明，B 为开放猜想，C 为未经测试的假设
下一个依赖项: L3 到 L9
证据: QS 部分 1 和 6；DISCOVERY_CURRENT_STATE.md:18-20
接收记录: 无
提交: 无
日期: n/a

已构建内容与仍为设想的内容

已实现的工作与研究假设保持分离。此处列出的假设是问题，而非功能。

已实现（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 研究状态表（合并版），由 SCOUT（LT-TRUTH）于 2026-10-01 生成。

已读仓库提交：omega 38919c8，aienos 4a116e5，aien-architecture 8d24c6d，aienos.com d43200c。

证据等级：代码 > 测试 > 凭据 > 冻结的配置文件 > 资格记录 > 文档 > 网站正文。

此表未构建、运行或重新评分任何内容。“凭据存在”表示文件位于主分支，而非表示其已被重新运行。
布朗运动密封记录位于私有仓库 aien-sealed 中。EXP-002A、EXP-002B 和 EXP-002C 的裁决于 2026-10-01 与私有密封记录核对；记录本身在 BRN-10 封印前保持私有。
L2 裁决于 2026-10-01 与私有密封记录核对；记录保持私有。当前层级的证据： QS 第 1 和 6 节；QS:114-115；QS 于 62f5ba5 编写，更新于 8a56ace，于 07004a8 协调一致；主分支 38919c8

缩写

QS: omega docs/turing/TURING_SCIENTIFIC_QUALIFICATION_STATE.md
TY2: omega docs/turing/TURING_YIELD_TY2_RESULT.md
解释说明: aien-architecture 解释说明 (#67)