术语表

E / EOS / 蜂网统一释义

术语释义
APBAnti-Pattern Blocker 反硬编码拦截器验证管线一环:换输入复测/结构检测,拦截抄期望值/空壳/trivial 代码。
Arena内存竞技场EOS 静态内存管理结构:预分配+零堆分配,算子/DMA/加密数据的落点。
圭 (λ)Engine Resource Token蜂网内部资源计量凭证:提交过验证得圭,发布任务耗圭,账本公开可查。
ETPE Transport Protocol轻量二进制传输面:跨设备张量/数据分发,替代臃肿协议。
Capability Mask能力掩码智能体自描述能力位图:数据流按掩码自动连接与挂载。
spaceE 的作用域单元声明即宿命——对象出生即钉死归属与生命周期的作用域机制。
蜂网Swarm Network进化者网络:外部节点领 ECC 任务池单子,验证过账得圭。
ECCEvolution Compute Cluster任务池服务:claim/submit/verify/ledger 全链路。
RPSRPS 四件套任务规范格式:需求-产物-验收-平台,蜂群拆解与验收的统一标准。
multiboot内核引导协议EOS 用 multiboot1 引导(当前 eos.bin 无 mb2 头)。

架构术语(路线 v1.3 权威口径)

术语释义
EE 语言语义层+结构层;@augment 为生成实现与机器检查契约边界;编译通过≠整体正确。
EOSE 生态通用操作系统内核/驱动/文件系统/用户态/服务。阶段启动或用户态演示≠整体完成;版本以发布清单 version.json 为准。
ME 的 MCU 受限档位非独立语言。c1–c5 附加约束(禁堆/ISR外调标记/循环上界/寄存器边界/禁隐式收窄),各门禁状态以实现验收证据逐项标注。
MOS面向 MCU 的微内核 OS11 syscall / 协作调度 / 定容 IPC / capability / arena。与通用 EOS 分开。交付物=e/kernel/*.e 经 elangc 发射的固件。
E-IRE 中间表示连接前端分析与后端生成的中间层(里程碑 03.06–03.08);非决策协议、非线缆格式、非运行时。
ETP 2.0E 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=布尔命题为真概率(非拒答);拒答/输入错/模型不可用/资源不足分别表达。非二进制布局格式。
ELogE 原生结构化运行日志事件声明受类型检查;事件定义表与记录沿用 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 独立页)。