跑在 M 档之上。源码：gitlab.ptteng.com/openclaw-bot/elang-eos（分支 mos/bootstrap），与 EOS 产线合并走 MR。
| # | 主张 | 可验证性 |
|---|---|---|
| 1 | 确定性步骤调度（tick 纯函数） | CI 同输入同序列 |
| 2 | IPC 满返回 E_AGAIN+计数 refused | 计数器可断言 |
| 3 | 无动态分配（继承 c1） | 规格就绪（spec/m_profile_rules.json + 22 条负向 oracle）·强制未落地（c1-c5 门禁为规划中特性，产品 elangc 尚未强制，见 m.html 声明） |
| 4 | 状态打包格式确定 | golden 字节级对比 |
| 状态 | 件数 |
|---|---|
| MOS 内核模块 | 10/10 全部真机验证 |
| 全套 64 项 | 59 完全 + 3 部分 + 2 未完成 |
状态声明（0919/0922 同步）：c1–c5 五项门禁为规划中特性，产品 elangc 尚未实现强制（源码零命中），负向用例当前不会被拦截；规格侧 spec/m_profile_rules.json + 22 条负向 oracle 已就绪。与 m.html 0919 声明同口径，防"写堆分配会被编译期拒绝"的误读。
口径日期 2026-09-22，来源：MOS 侧账本 spec/tasks.json（tools/ledger_summary_audit.py 机器复核）；上一版口径（0916：verified 37 / pending 10 / spec_revision 10 / locked 1）已过期。
| 需求 | 状态 |
|---|---|
| 定名 MOS（单名） | 已裁决 0916 |
| u64 映射缺陷 | 已修 1.6.5（golden） |
| 断言静默丢弃 | 已修 1.6.5 |
| 静态检查误判 | 已修 1.6.5 |
| 位运算具名函数 | 排 1.6.8 |
| 官网导航 M+MOS | 已上线 |
版本线：不单独发版，能力随 elangc/军团任务包演进，与 5022 同源。