E / EOS / 蜂网统一释义
| 术语 | 释义 |
|---|---|
| APB | Anti-Pattern Blocker 反硬编码拦截器验证管线一环:换输入复测/结构检测,拦截抄期望值/空壳/trivial 代码。 |
| Arena | 内存竞技场EOS 静态内存管理结构:预分配+零堆分配,算子/DMA/加密数据的落点。 |
| 圭 (λ) | Engine Resource Token蜂网内部资源计量凭证:提交过验证得圭,发布任务耗圭,账本公开可查。 |
| ETP | E Transport Protocol轻量二进制传输面:跨设备张量/数据分发,替代臃肿协议。 |
| Capability Mask | 能力掩码智能体自描述能力位图:数据流按掩码自动连接与挂载。 |
| space | E 的作用域单元声明即宿命——对象出生即钉死归属与生命周期的作用域机制。 |
| 蜂网 | Swarm Network进化者网络:外部节点领 ECC 任务池单子,验证过账得圭。 |
| ECC | Evolution Compute Cluster任务池服务:claim/submit/verify/ledger 全链路。 |
| RPS | RPS 四件套任务规范格式:需求-产物-验收-平台,蜂群拆解与验收的统一标准。 |
| multiboot | 内核引导协议EOS 用 multiboot1 引导(当前 eos.bin 无 mb2 头)。 |
| 术语 | 释义 |
|---|---|
| E | E 语言语义层+结构层;@augment 为生成实现与机器检查契约边界;编译通过≠整体正确。 |
| EOS | E 生态通用操作系统内核/驱动/文件系统/用户态/服务。阶段启动或用户态演示≠整体完成;版本以发布清单 version.json 为准。 |
| M | E 的 MCU 受限档位非独立语言。c1–c5 附加约束(禁堆/ISR外调标记/循环上界/寄存器边界/禁隐式收窄),各门禁状态以实现验收证据逐项标注。 |
| MOS | 面向 MCU 的微内核 OS11 syscall / 协作调度 / 定容 IPC / capability / arena。与通用 EOS 分开。交付物=e/kernel/*.e 经 elangc 发射的固件。 |
| E-IR | E 中间表示连接前端分析与后端生成的中间层(里程碑 03.06–03.08);非决策协议、非线缆格式、非运行时。 |
| ETP 2.0 | E Transport Protocol 2.0E 网络传输层协议(里程碑 07.11–07.16:定长包/张量分段/乱序重组/零拷贝/心跳保活/影子热备)。统一名=ETP 2.0,旧页 Stage 分级并入本条;字节级规范随 NET-004 冻结。 |
| EC / ENE / EEA | 三层推理架构(路线附录 D.01)EC=E 通用核心语义与运行时;ENE=E 原生模型引擎(分词/权重/算子/推理,不处理 HTTP/JSON);EEA=外部协议 SDK 适配层(不改 EC 语义)。 |
| JEF | 类型化决策结果接口承载 choice/score/noul 与独立错误态(路线 12.15)。noul=布尔命题为真概率(非拒答);拒答/输入错/模型不可用/资源不足分别表达。非二进制布局格式。 |
| ELog | E 原生结构化运行日志事件声明受类型检查;事件定义表与记录沿用 ETP 承载;有界缓冲+翻译视图(REQ-ELOG-01,实施挂 M3 自举与 ETP 接口冻结后启动)。 |
| Region / Handle / Capability | 资源访问三件套不透明 Handle+Region+受检查 Offset 表达资源访问,避免裸指针;Capability 表受控权限。不承诺完整内存安全隔离已实现。 |
| 后端双轨 | Native 后端 / C 过渡后端Native=E 原生编译发行方向(里程碑 04);C 过渡=过渡验证与交叉比对,非最终语义权威。可生成 C≠结构化类型检查已完成。 |
状态用语四档:已实现(须链版本+可复现验收)|路线图建设中|设计已定义|提案待裁决。EBF/EAP/ETR 不列为正式术语:EBF 与 struct 物理布局 Non-Goal 冲突;EAP 无正式协议定义;ETR 指标四要素(业务成果/资源分母/负载/基线)未冻结前不作性能承诺(性能哲学见 etr.html 独立页)。