# 有界语义查重与选题记录

日期：初查2026-10-21，身份绑定继承与发布前复查2026-10-22（Asia/Shanghai）。以下分开记录历史与复查，不是官方唯一性或验收结论。

## 方法与候选

实际读取已安装 osc2026-guide 的 Project Research Guide，执行 `moon search KEYWORD --limit 100 --json`，读取 MoonCakes 详情、公开 ZIP 的 README、源代码、测试及生成接口。首轮不使用账号登录态；10月22日GitHub复查使用usersD609隔离wrapper，只读查询。读取永久注册表，并比较能力边界，排除全部已保留主题。

| 不同领域候选 | 任务/成熟基线 | 最小完整核心与验收 | 广度/需求/复用/低重合/深度/验证/可完成/维护（各5） | 决策 |
|---|---|---|---|---|
| MoonQueueLab 运筹容量规划 | 服务容量、客服排班、教学；R queueing | 有界解析模型、流量方程、MVA、整数预算分配；独立高精度有限链、枚举和数学不变量 | 5/5/5/4/5/5/5/4=38 | 选用 |
| IRT 测量核心 | 测评、研究、离线自适应；R mirt | Rasch/2PL概率、信息函数、EAP/MAP、选题/停止；积分和单调性对照，不做校准服务 | 4/4/4/4/5/4/4/3=32 | 未实施、不预留 |
| 湿空气/HVAC | 能源、设备设计、教学；PsychroLib | 湿含量、焓、露点、混风；参考向量 | 硬重合，分数无效 | 淘汰：energybalance已覆盖 |

未编造参赛者经验或用户访谈。实际任务以成熟工具公开工作流为据，MoonBit下游需求是合理推断，不是已验证市场规模。

## 实际查询

首轮：queueing, queuing, Erlang, Jackson, Engset, birth death, IRT, Rasch, item response, psychrometric, psychrometric adaptive, psychrometric calibration, psychrometrics, HVAC, psychrometric chart, humid air。
反向/接口：Erlang C, Erlang B, Jackson network, loss system, 排队, M/M/c, adaptive testing, item response theory, test information, Rasch model, 2PL, 3PL。全部limit100；M/M/c命中65，test information命中50，是模糊排序，不是穷举。
GitHub公共无鉴权仓库检索：queueing language:MoonBit（4：消息队列/容器），Rasch language:MoonBit（0），psychrometric language:MoonBit（0），Erlang MoonBit（2：Actor/KV），item response MoonBit（0）；仓库搜索不是代码全文搜索。另以公开网页搜索补充 Github/awesome 与参考工具发现。

## 近邻语义矩阵

| 项目/检查证据 | 输入→行为→输出 | 分类与独立性 |
|---|---|---|
| walkzzz/moondes@0.5.0；env/event_queue/resource源码、测试、experiment、MM1示例 | 事件/回调/资源→虚拟时序调度→事件结果 | 高度相邻；解析模型可为仿真提供理论期望，不绑定通用事件内核 |
| zlhahaha/moonsim@0.3.1；源码/接口 | 虚拟世界与重放→系统行为测试 | 同方向不同任务，无本库完整解析工作流 |
| wcx789ll/moonsim@0.1.2；network/scheduler/resource/stats源码/接口 | packet/job→离散事件与竞争→链路/SLA观测 | 高度相邻；不解交通方程/MVA/整数配置最优化，独立解析库不应绑定运行时事件模型 |
| tuya-me/flowgate@0.1.0；src/lib/flowgate.mbt | 请求/键/会话→计数门控→允入/排队 | 同方向不同任务；本库不实施限流 |
| zhzh12345678/moon_tracekit@0.1.2；公开包queue示例 | 随机到达/服务→MM1采样→观测报告 | 示范/观测，不是多模型解析引擎；本库不用观测样本做基准 |
| liying-han/moonbit-energybalance@0.2.3；psychrometrics.mbt/测试/API | 干球/湿度/流量→物性/混风/空调焓差→状态/热量 | HVAC候选成熟直接替代，淘汰 |
| 永久表MoonBench/QuotaKit/Dispatch/Petri/Kinetics/Choice | 基准/限流/消息重放/离散标识/化学仿真/多准则排序 | 全部保留原边界，本库不用性能基准数据、不做调度限流、不做SSA/CTMC时间传播或多准则有限方案排序 |

## 来源与限制

MoonCakes详情（均检查公开版本及源码）：
- https://mooncakes.io/docs/walkzzz/moondes@0.5.0
- https://mooncakes.io/docs/zlhahaha/moonsim@0.3.1
- https://mooncakes.io/docs/wcx789ll/moonsim@0.1.2
- https://mooncakes.io/docs/tuya-me/flowgate@0.1.0
- https://mooncakes.io/docs/zhzh12345678/moon_tracekit@0.1.2
- https://mooncakes.io/docs/liying-han/moonbit-energybalance@0.2.3

基线：https://cran.r-project.org/web/packages/queueing/index.html 及官方手册；https://cran.r-project.org/web/packages/mirt/index.html；https://github.com/psychrometrics/psychrolib 。借鉴数学行为，不复制第三方源码或测试数据。

部分GitHub网页/raw请求超时/重置、contents API限流；官方awesome直连/CDN失败，搜索发现不能替代全表审查。未用身份绕过或修改共享代理，不把失败当作不存在。包下载数不用于推断维护质量。

在已记录可核验范围内未发现所选完整工作流的成熟直接替代，不保证生态绝对唯一。发布前已按下节刷新查重并补读可访问清单。实现前已使用Windows独占锁、重读与原子替换预留永久表，状态是本地开发中。


## 2026-10-22 继承与发布前复查

重新读取同一osc2026-guide研究流程与永久能力指纹。MoonCakes CLI查询 queueing/queuing/Erlang/Jackson/Engset/mean value analysis/capacity planning/birth death/排队，仍为limit100。Engset和birth death无结果不构成不存在证明。查看上述关键近邻的精确版本manifest及先前下载的真实源代码／测试，不仅比较名称。

GitHub通过绑定usersD609的只读API检索代码，per_page100：queueing language:MoonBit 共59条，erlang_c、erlang_b、Engset、mean_value_analysis、Pollaczek为0；Erlang49条主要为语言解析器；Jackson6条为非排队用途。mmc143条只检前100条，主要Win32 MMC、mmCIF等，**没有穷尽其余结果**。跨语言Engset及queueing+MoonBit宽搜也只检查前100，作为参考发现，不作为缺失证明。上述中心行为查重不等同于覆盖全部私有／未索引仓库。

已通过官方awesome-moonbit仓库contents API取得并完整读取README，修正首轮无法核查清单的限制。新近邻：

| 项目与实际证据 | 核心输入→行为→输出 | 判定 |
|---|---|---|
| zhou506403/fairshift@0.1.0；manifest指向https://github.com/zhou506403/zhou，检查capacity.mbt、model.mbt、capacity_test.mbt、README与接口 | 人员技能、可用时间、班次需求→覆盖与排班容量→人岗安排／缺口 | 相邻而非替代。人员供给配置与本库根据随机到达和服务率推算所需能力是不同决策层；不因名字含capacity就认定重复 |
| CAIMEOX/symbit；src/symstats/compat_api.mbt | 符号随机变量与Erlang分布→符号概率API | 有Erlang分布族，不是ErlangB/C损失／等待模型或完整网络容量工作流 |

FairShift的MoonCakes模块名与当前仓库接口包名不完全相同，分别记录精确发布版与已读仓库，不擅自认定源码完全一致；已读capacity实现仍非排队规划直接替代。没有因猜测fairshift同名GitHub404而跳过实际manifest仓库。

高邻近仿真库如MoonDES已有MM1示例，扩展它可加入理论期望，但本库的纯解析API、流量求解、闭合人口规划及整数容量决策无需事件调度器，独立依赖边界更小；可与仿真结果对照。FlowGate执行门控、FairShift分配技能人员，不能替代本库的数学模型，也不应被本库重做。

R queueing 0.2.12公开源包与手册用于成熟需求基线，已核对DESCRIPTION/GPL-2及MMC/BnD/OJN/CJN模型接口。当前实现仅覆盖明确的单类子集并增加任务化规划，不声称兼容其多类、混合、多服务器闭合网络全集。未复制代码／fixture。

结论：在本轮可核验范围内，未发现能直接替代本项目三个完整解析容量工作流的成熟MoonBit实现。允许继续独立开发与交付；不是绝对唯一性、主办方许可或官方验收结论。临近包源随时可能变化，查询上限、模糊检索和索引滞后仍是限制。仓库与模块名不同不自动产生差异，若发现中心任务成熟直接重复应停止并请示用户。