# 交付前验收证据

2026-10-22。本文件记录可复现本地证据；公开CI／Release／MoonCakes状态以平台记录和仓库外最终交付审计为准，不把配置当作通过。申报资料不在本仓库。

## 需求与文件

- 解析单队列、有限链、Engset：erlang/mmc/response/birth_death/finite_queue/outcomes/engset/general_service.mbt。
- 规划：staffing/capacity/finite_staffing/scenarios.mbt；网络：jackson/closed/network_capacity/network_budget/population_target.mbt。
- 复用边界：protocol.mbt、protocol_network.mbt、cmd/moonqueuelab，以及三个examples。
- 中文README、架构、NOTICE、AI-USE与有界语义查重文档均独立可读。MIT。

## 本地实测

- pinned compiler v0.10.14+7d59c7ec9；moon 0.1.20260920。
- wasm-gc/wasm/js：严格check、31测试、build、三个工作流逐个通过。native严格check通过；本地没有C编译器，未将native执行记作通过。实际Ubuntu四目标CI是发布门禁。
- JS独立Python oracle：119单队列+72网络请求=191，种子6092026。闭合网络用产品形式状态枚举，预算用穷举；不是复用同一MVA/DP。
- moon info、moon fmt、moon fmt --check；生成接口核对，闭合指标修正为有明确单位的offered_load。
- 生产核心2101物理行、1822非空非注释行、20文件，排除traits适配、测试、CLI、示例、生成接口、Python与文档。运行python tools/audit_source.py复算。
- 没有性能、覆盖率、全域精度、真实用户规模或官方验收数据。

## 保守有效工程提交

最初7108be7作为继承代码的单一真实导入提交（其预算断言有一项错误）保留，**不计入20个门槛**。文档及其后交付维护也不计入。以下20个提交各有实际工程价值，未改写时间／作者或把旧源码追溯拆分。验证为该提交真实执行的info/fmt、strict JS check、JS tests；测试数随实现增长，不能把当前31测试倒推到早期。workflow和oracle还执行对应真实调用。

| SHA | 独立目的 | 实际变更路径 | 验证 |
|---|---|---|---|
| 7a77794090d2 | fix: cache allocation node costs and distinguish feasible minimum budgets | birth_death.mbt, closed.mbt, engset.mbt, errors.mbt, finite_queue.mbt, general_service.mbt, jackson.mbt, mmc.mbt, models_wbtest.mbt, moon.mod, moon.pkg, pkg.generated.mbti, staffing.mbt, traits.mbt | strict JS check/test; info/fmt |
| 3e8810907f72 | feat: add stable exact response tails and quantiles for FCFS MMc | pkg.generated.mbti, response.mbt, response_wbtest.mbt | strict JS check/test; info/fmt |
| d841394295b5 | feat: expose finite queue admission and abandonment outcome accounting | outcomes.mbt, outcomes_wbtest.mbt, pkg.generated.mbti | strict JS check/test; info/fmt |
| aaaebcb8752f | feat: invert MMc SLA targets into bounded feasible arrival capacity | capacity.mbt, capacity_wbtest.mbt, pkg.generated.mbti | strict JS check/test; info/fmt |
| a642a884ab4c | feat: provide bounded what-if arrival sweeps with explicit unstable points | pkg.generated.mbti, scenarios.mbt, scenarios_wbtest.mbt | strict JS check/test; info/fmt |
| d8124de92a1b | feat: add Jackson bottleneck limits and isolated load scaling scenarios | network_capacity.mbt, network_capacity_wbtest.mbt, pkg.generated.mbti | strict JS check/test; info/fmt |
| 7fe360ce4b28 | feat: solve closed network throughput targets using exact population curves | pkg.generated.mbti, population_target.mbt, population_target_wbtest.mbt | strict JS check/test; info/fmt |
| 279e18b9ca9f | feat: dimension finite queues against blocking and abandonment targets | finite_staffing.mbt, finite_staffing_wbtest.mbt, pkg.generated.mbti | strict JS check/test; info/fmt |
| 6c722cbac4be | feat: integrate exact server budget allocation with Jackson traffic networks | network_budget.mbt, network_budget_wbtest.mbt, pkg.generated.mbti | strict JS check/test; info/fmt |
| 0c0ed5b0e2f8 | feat: expose bounded strict JSON transport for queue models and staffing | moon.pkg, pkg.generated.mbti, protocol.mbt, protocol_wbtest.mbt | strict JS check/test; info/fmt |
| b1800f244e48 | feat: extend strict JSON workflows to network analysis and capacity optimization | protocol.mbt, protocol_network.mbt, protocol_network_wbtest.mbt | strict JS check/test; info/fmt |
| ba78193f2caf | feat: bind distributable module and add cross-target JSON CLI with external API test | cmd/moonqueuelab/main.mbt, cmd/moonqueuelab/moon.pkg, cmd/moonqueuelab/pkg.generated.mbti, consumer_test.mbt, moon.mod, pkg.generated.mbti | strict JS check/test; info/fmt |
| f4f8604d79e2 | perf: construct exact allocation cost curves in linear time with range guards | allocation_wbtest.mbt, staffing.mbt | strict JS check/test; info/fmt |
| e3f221c60cf8 | feat: integrate routed service capacity workflow with independently enumerated budget plans | examples/service_capacity/main.mbt, examples/service_capacity/moon.pkg, examples/service_capacity/pkg.generated.mbti | strict JS check/test; info/fmt |
| 12bbf26d5c5f | feat: integrate contact-center SLA, finite-buffer abandonment and loss-only planning workflow | examples/contact_center/main.mbt, examples/contact_center/moon.pkg, examples/contact_center/pkg.generated.mbti | strict JS check/test; info/fmt |
| 645459c4e107 | feat: integrate closed-population throughput sizing with conservation and bottleneck sensitivity | examples/closed_population/main.mbt, examples/closed_population/moon.pkg, examples/closed_population/pkg.generated.mbti | strict JS check/test; info/fmt |
| 6ebb6a8fedcb | test: independently verify single-queue distributions, finite flows and minimal SLA staffing | tools/oracle_common.py, tools/verify_single.py | strict JS check/test; info/fmt |
| 135df580499d | test: independently enumerate product-form populations and integer budgets and iterate routed traffic | tools/verify_network.py | strict JS check/test; info/fmt |
| aff02d04f83a | fix: expose closed-center occupancy as offered load instead of mislabeled service demand | closed.mbt, closed_units_wbtest.mbt, pkg.generated.mbti | strict JS check/test; info/fmt |
| 91557b3d57fc | ci: enforce four-target builds and workflows plus independent numerical and portable invariant gates | .github/workflows/ci.yml, properties_wbtest.mbt, tools/audit_source.py | strict JS check/test; info/fmt |

## 外部交付门禁

账户与模块绑定usersD609，作者noreply与316873523关联。新仓库必须公开、默认分支HEAD与测试提交相同、实际CI成功后才创建版本Release并发布MoonCakes。发布前真实ZIP和所有可达Git历史须通过隐私检查。精确版本元数据、源包一致性与无凭据无旧缓存的新消费者通过后才记published。

本文件不承诺远端已完成；最终事实可由CI、tag/Release、精确MoonCakes版本及仓库外审计交叉核验，避免为自引用提交SHA制造循环提交。