合作方数据：哪些实测数据可以提升MODELLED行
Kshana在经机器检查的台账（验证矩阵）中为每项能力标注标签。大多数授时和传感器行为MODELLED：它们依据的是所述模型、已发布的数据手册和内部检查，没有拿该器件类别的实测记录与之比较。持有此类记录的人可以改变这一点。本页说明哪些行、应发送什么、提交如何检查、如何评分以及如何署名。本页面向实验室、制造商或高校团队；它不是工作邀约，也不声称得到任何人的背书。仅供参考：Kshana是研究用的仪器，不是经型式认可的导航或授时设备。
标签的含义#
| 标签 | 含义 |
|---|---|
| VALIDATED | 独立的外部参考基准在比较之前确定的判据下与该能力一致。合作方的实测记录可以成为其所涵盖的子论断的参考基准；矩阵的不变式禁止在没有它的情况下给出该标签 |
| MODELLED | 内部自洽并明确说明；没有外部参考基准涵盖该论断。一个MODELLED行若与实测数据比较后未达到判据，仍为MODELLED，且该未达到的结果会公布 |
| PARTNER | 运行所依赖的、由硬件合作方负责而非Kshana提供的部分，例如描述合作方自有时钟或干涉仪的数据。Kshana对这类器件会对导航或授时链路造成的影响进行建模；它不为该器件担保 |
一次提交只有在数据确实检验了某项论断、且比较达到其判据时，才能把一个行提升为VALIDATED，范围仅限该论断。它不能使某个器件自身的数据变成由Kshana担保：这些仍由合作方负责（PARTNER）。一个行的标签是否改变，由所有者决定，记录在改变它的提交中，其参考基准文字准确写明拿什么与什么做了比较。
合作方的数据可能提升的行#
下面每一行都是矩阵中某个MODELLED行的确切requirement文字（有一个测试使本页与矩阵保持同步）。“可能的变化”说明：如果达到判据，与实测数据的预先登记比较将支持什么；它绝不是承诺。
| 行 | 可检验它的数据 | 可能的变化 |
|---|---|---|
GNSS-denied clock holdover |
某个具名类别时钟的数天记录，在最后一次校准之后自由运行，与更好的参考比较，采样间隔为一分钟或更短 | 约束守时数据的各类别红噪声下限目前仍为MODELLED；实测的长平均时间稳定度可以与该类别的下限比较，且仅限该类别 |
Quantum-vs-classical PNT trade & GNSS-denied resilience (13503) |
合作方的时钟或原子干涉仪的实测阿伦偏差，以表格或相位记录的形式 | 权衡数据对合作方器件只做量化（绝不验证），因此将标为合作方的数据（PARTNER）；把实测阿伦数据导入噪声模型的做法，已与一个独立求解器吻合 |
Oscillator holdover presets from public datasheets |
四种预设模型之一的振荡器的相位记录，至少一天 | 该预设中由数据手册导出的噪声模型，能否在数据手册自身给出的平均时间上复现一台实测器件的稳定度 |
Measured clock device cards (held-out prediction) |
尚未建卡的时钟类别（OCXO、铷钟、铯钟、氢脉泽、光钟）的相位记录 | 用前三分之一拟合一张卡，并在预先登记的倍数内预测其余部分的阿伦偏差，如同已对GNSS卫星钟和一台接收机所做的那样 |
Clock-log formats linuxptp (ptp4l, phc2sys, ts2phc) and chrony (tracking, statistics) read to a normalised phase series |
来自真实装置的日志（任意守护进程版本），附守护进程自带的摘要行 | 这些读取器依据公开的行格式和测试夹具构建；用独立读取器比较一份真实日志，将是首次外部核对 |
Clock-log formats (RINEX clock, TimeLab ASCII, TAPR TICC) read to a normalised phase series |
真实的计数器或分析软件导出文件 | 同上，针对这些格式 |
Holdover test scored from an operator-supplied time-error record |
一次真实的守时测试：记录、操作人员撤除和恢复参考的时间，以及实验室自己的分析软件给出的MTIE、TDEV和模板判定 | 对同样的量独立计算，以便与引擎的结果比较 |
IMU log ingest, gyro heading input and Allan fit of hybrid sensor parameters |
一台惯性单元的静止日志，其噪声参数由他人发布或实测 | 拟合结果在所述倍数内复现了独立的参数 |
Quantum inertial dead-reckoning resilience |
合作方冷原子惯性传感器的静态日志或噪声参数 | 器件数据归合作方（PARTNER）；由其组合而成的位置误差预算仍是Kshana的模型 |
从前两项开始：它们决定各类别的守时下限，以及量子与经典的权衡，是否依据任何它们自己的实测数据。
应发送什么#
一次提交是同一文件夹中的两个文件：数据，以及对它的简短描述，即一个TOML文件（kshana.partner-submission/1；一个虚构的示例见examples/partner-submission/submission.toml）。
时钟数据。Kshana读取的格式之一（见时钟日志格式）：TAPR TICC日志、TimeLab风格的ASCII相位或频率、RINEX钟差、linuxptp的ptp4l、phc2sys和ts2phc日志、chrony的跟踪和统计日志。相位优于频率；请注明单位和采样间隔。请提供你所拥有的最长的不间断记录：长平均时间的稳定度需要数天，不足一天的记录会被接受，但会给出警告。
惯性数据。带列名的CSV（t_s, gx, gy, gz, ax, ay, az，rad/s和m/s^2）或EuRoC布局，来自静止的器件，长度要足以完成拟合（至少2000个采样；数小时更好）。
描述文件说明下列内容，检查器会尽可能加以核实：
- 机构的类型（如“国家授时实验室”这样的类型，而非名称；名称可选，仅用于署名）；
- 器件（种类、类别，以及类别
other时的型号）； - 数据是如何获取的：与什么做了比较、起始时间（UTC）、环境，以及是原始数据还是经过处理的数据（以及做了何种处理）；
- 数据文件的SHA-256，使得被评分的文件就是所描述的文件；
- 提交所针对的MODELLED行，以上文的确切需求文字标明；
- 许可（SPDX标识符或文字说明）以及数据在仓库中的使用方式：
public（提交入库，并署名）、hash-only（仅发布其哈希和评分）或private（评分只与提交者共享）； - 三项声明：这是测量而非仿真，提交者可以为此用途授予许可，且文件中不含个人数据。
不应发送的内容。任何个人信息或含联系方式的内容（检查器会拒绝描述中的电子邮件地址或电话号码）、任何受出口管制或协议限制的内容，以及任何冒充实测的仿真数据。
提交如何检查#
格式和元数据，在运行任何内容之前由你或我们检查。
kshana partner check <submission.toml> # add --json for a machine-readable report它确认模式、必填字段、哈希、许可和署名规则，确认目标行存在且为MODELLED，确认数据可由引擎自带的读取器读取，并报告读到的内容（采样数、间隔、跨度、间断），对过短的记录给出警告。退出状态0表示完整且可读；1列出需要修正的内容。它不对数据评分，不验证任何行，也不承诺会使用该数据。
在任何评分运行之前的预先登记。对每个行，
xval/<name>/中的一份文档在数据运行之前确定并提交入库：该行、数据文件的SHA-256、数据的哪一部分被保留（任何被拟合的内容都不得看到它）、度量，以及判据。对于时钟卡，现有的模板是用于IGS和接收机记录的保留预测：用记录的前三分之一拟合，预测其余部分的阿伦偏差，并要求在每个被拟合的平均时间上，预测值与实测值之比落在所述倍数之内。判据在运行之后绝不放宽。一次评分运行。结果，包括每个数字和每一次未达到，连同命令和提交一并公布，并有一个测试将其固定。未达到是一项发现，而不是需要隐藏的失败：该行仍为MODELLED，本页对此予以说明。
台账的决定归所有者，以书面形式记录在改变该行的提交中。被提升的行的参考基准文字写明数据集、其许可和署名、比较了什么以及没有比较什么。
署名与权利#
- 数据在你所声明的许可下仍归你所有。
hash-only和private使该文件不进入仓库。 public提交会按你给出的署名行，在该行的参考基准文字和结果文件中署名。- 未经你的书面同意，不会以你的名义发布任何内容；作为来源被点名的机构只被引用为来源，绝不作为背书者。合作方既没有作出也没有被作出任何批准或背书的声明。
- 你可以在结果公布之前撤回提交。此后结果保持为已记录的样子；如果你撤回数据许可，文件会从仓库中移除，而哈希和评分予以保留。
- Kshana不发射任何信号，也不驱动任何硬件。一次提交是输入文件、输出报告。
对外联络#
为所有者起草了一份面向实验室的一页说明，见docs/drafts/PARTNER-OUTREACH.md。这只是草稿：在所有者决定之前，不会发送任何内容，也不会联系任何人。