我要复核：下载 → 自己算 → 输结论 → 看是否一致
这一页不要求你相信任何一句结论。它给你三份输入、一份算法说明，让你自己算出结论，再和我们的「应当结论」对一下。
第 1 步下载
- A 组 输入——应当：可复核（PASS）
- B 组 输入——应当：被改过（FAIL），且点名到第 3 条、点名到「数量」那一栏
- C 组 输入——应当：这一本账不完整（INCOMPLETE），缺第 4 条
- 复算说明（式子／中间量／结论）＋自测脚本（只用标准库，断网可跑）
第 2 步自己算（三步，只用标准库就行）
- 数条数：账本里到底有几条。
- 求合计：按「计量项 ＋ 单位」分组，把数量那一栏当十进制整数字符串转成整数后求和。不许用浮点——小数一旦进来，尾差就进了账。
- 算摘要：逐条按「键名升序、无空格、UTF-8」的写法序列化后算一次摘要；再按「条数＋合计＋每条编号与摘要」用同一法子算一次，得整账摘要。
第 3 步把你的结论输进来
第 4 步看是否一致
一致的标准有两条，缺一条都算「没对上」：
- 结论一致：可复核／被改过／不完整，三选一相同；
- 点名一致：判「被改过」要说得出「哪一条 ＋ 哪一栏 ＋ 原值到现值」；判「不完整」要说得出「缺哪一条」。只说「错了」不算对上。
五、四条可证伪：逐条对应到合同条款号
| # | 设计（能被证伪的说法） | 你查哪一条 | 证伪长什么样 |
|---|---|---|---|
| 一 | 不持牌照、不持频谱、不持用户数据 | 第 2 条 标的与除外；第 9 条 数据条款；附件 A 边界声明 | 合同标的里出现牌照／频谱／数据资产，或数据条款没有「数据面本地部署」，即证伪 |
| 二 | 服务身份与股东身份分设 | 第 3 条 签署方与授权链；附件 C 授权链说明 | 签署方与股东是同一法律主体，或授权链说不出「谁授权谁」，即证伪 |
| 三 | 技术可多星座切换 | 第 4 条 星座清单条；第 5 条 切换责任条；附件 B 资产清单 | 不足两家／两家关联／没有可比报价／切换成本没人承担，任一即证伪 |
| 四 | 标准由多方治理 | 第 6 条 认证委员会组成条；第 7 条 标准公开条；附件 D、附件 E | 委员会没有目标国代表或独立技术专家，或公开范围说不清，即证伪 |
六、接口侧的验证：四条，同样可证伪
| # | 能被证伪的说法 | 你自己怎么核 | 证伪长什么样 |
|---|---|---|---|
| 一 | 无凭证进不来 | 对三条写接口不带凭证打一次 | 不带凭证却回 200 ⇒ 证伪（这时请立刻写信告诉我们） |
| 二 | 越权调不了 | 拿一把只给「用量上报」权限的凭证，去调设备注册 | 回 200 ⇒ 证伪。正确结果是 403——不是 401：身份没问题，重试也没用 |
| 三 | 吊销即时生效 | 在台账里把一把凭证改成已吊销并重签，再打一次同一条请求不重启服务 | 仍然 200 ⇒ 证伪。正确结果是下一条请求就 401 |
| 四 | 台账被改即拒 | 把台账某一行的某个字段改一个字符，再打这条对应请求 | 仍然 200 ⇒ 证伪。正确结果是那一行作废、返回 401（只作废那一行，不是整本） |
七、材料与测试记录在哪拿
本页与本站不放这些原件：三组向量、复算说明、自测脚本、合同模板、四条的测试记录、以及合同「可查材料」六份。
要这些，请写信到 partners@neutralorbit.com（已开通，实测已收到信）。地址说明见 我要接入 第七节；点了就能直接写信，写信时请说明需要哪一份材料、用于什么。