# MoonSuccinct 十月项目申报书（供参赛者人工复核）
- 项目名称：MoonSuccinct：MoonBit 静态紧凑索引基础库
- 参赛者：
- 联系电话：
- GitHub 仓库链接：待确认（当前本地仓库未配置远端；申报前须填公开链接并核验有效提交）
- 项目方向：新生态项目建设；原创 MoonBit 实现，Apache-2.0，非代码移植。
## 项目简介与通用性
面向需要“构建一次、查询多次”的应用，提供 rank/select 位向量、Elias–Fano 非递减整数序列、LOUDS 树/Trie 和分块前缀压缩字典。四类结构共享有界解码、确定性二进制格式和空间统计，供搜索、开发工具、存储系统组合使用，而不是交付一个封闭的搜索引擎。
## 三个可复现的使用场景
- 倒排索引：搜索服务将递增文档编号编码为 Elias–Fano；查询时从上一游标位置跳跃寻找下一编号，跨段传输后解码仍得到相同结果，重复编号和越界游标有测试。
- 语言工具：编译器将排序后的符号名写入前缀压缩字典，用 lower bound 与前缀区间完成补全候选定位；示例展示字典构建、查询及二进制往返。
- 静态目录：配置或分类系统用 LOUDS 表示层级、位向量表达稀疏状态；浏览器 Wasm 和本机后端读取同一编码，损坏输入及超预算数据被拒绝。
## 核心功能、十月新增工作与验收
- 既有能力：四类静态结构、随机访问/导航/范围查询、版本化编码、类型化错误、资源限制、三个可运行示例及跨后端测试。
- 十月新增：Elias–Fano `lower_bound_from` 从游标指数扩张窗口再二分；`intersect_distinct_skewed` 借此跳过长倒排表中的空档。含重复值、空序列、极值和正反输入顺序以线性参考/已有合并实现对照；前者查找复杂度 O(log(d+1)) 次随机访问，d 为游标推进距离。
- 交付证据：公开 GitHub、至少 10 条真实有效提交的可核验历史、README、构建/测试/CI、可运行示例及 Mooncakes 发布链接；这些外部条件在当前本地状态下尚未完成，不能宣称通过验收。
## 实现边界与来源
不做动态更新、全文检索、数据库或 Roaring Bitmap。参考 SDSL、Rust sux、louds 的公开设计思想以确认问题边界，未移植其源码；参考范围及许可证须以仓库 `docs/ECOSYSTEM_RESEARCH.md` 和发布前核查为准。与已有 MoonBDD/MoonMVT/MoonExternalSort 等项目的核心协议和算法不同，本项目只交付可组合的静态紧凑索引。
