# MoonBitemporal 项目申报书（事实资料稿，申请人核实后人工定稿）
## 基本信息
- 项目名称：MoonBitemporal：MoonBit 双时间事实账本与追溯查询库
- 参赛者：
- 联系方式：
- GitHub 仓库链接：https://github.com/yyyt0807/MoonBitemporal
- 项目方向：新生态项目建设 / 数据建模基础库；原创 MoonBit 实现，Apache-2.0，非源码移植。
## 项目简介与通用性
价格勘误、授权撤销和设备校准同时具有“何时生效”与“何时被系统获知”两条时间轴。覆盖旧值无法重现原决策依据。本库为任意键值事实保存不可变追加修订，支持两轴查询、差异、影响分析及有界归档，可接入不同数据库和业务系统。区间树和周期规则解决相邻问题，未提供相同修订语义；对照见 `docs/ECOSYSTEM_RESEARCH.md`，正式申报前复查同类包。
## 三个完整使用场景
1. **账单勘误**：第 20 天获知第 10–15 天的价格修订，按原知识时间重现旧发票，再按当前认知计算调整；时间线差异限定需重算的有效期，保留来源修订。
2. **授权与许可证联合审查**：后收到一段回溯撤销，审计端比较事件发生时和现在的状态；对角色、站点、许可证等键求同时赋值区间，定位联合条件的有效期，再由业务检查实际值。
3. **边缘配置增量同步**：中心按上次知识时间游标读取整批提交，页面数量和修订数受限且不拆批；边缘应用后以返回游标继续拉取，避免跨页出现半批事实，历史分叉仍拒绝自动合并。
## 核心功能范围与实现路径
- 半开有效期、严格递增知识时间、批次冲突校验、墓碑、点查询、时间线、两轴差异、来源追踪及 Int64 精度归档；时间线采用事件排序与胜出修订维护。
- 十月已有选择键快照和精确批次检索。本轮新增 `batches_since` 原子批次增量分页、`joint_assigned_spans` 多键联合覆盖；重复查询键先有界去重再排序，减少重复输入的临时内存。
- 分页二分定位游标，首批超过预算则报错，后续超预算保留已完整页面；联合覆盖复用每键时间线并以双指针求交。测试包含追页、最大时间戳、删除、开放右端和逐时刻参考对照。
## 预期验收产物与来源
交付原生库、README、四后端测试、价格/授权/校准/配置及本轮示例、归档说明、CI 和 Apache-2.0 许可；公开仓库及 Mooncakes 发布后核验。双时间概念独立实现，未复制或移植其他仓库源码。
边界：联合覆盖只判断是否有值，不自动执行授权规则；时间是调用方定义的 Int64 单位。不负责数据库落盘、时区日历、鉴权或跨进程写协调，申请人需解释这些边界与增量贡献。