Kshana在哪里运行，在哪里不运行

一条范围边界，写下来是为了没有人在某次会议上才把它当作承诺发现。

缩略语：CPU，中央处理器；GPU，图形处理器；NPU，神经网络处理器；FPGA，现场可编程门阵列；MCU，微控制器；RTOS，实时操作系统；OPS-SAT，欧洲航天局的在轨软件实验室卫星；PyPI，Python包索引；MCP，模型上下文协议；AI，人工智能；JSON，JavaScript对象表示法。

运行#

不运行#

不带Rust标准库的裸机飞行MCU或小型RTOS。Kshana自始至终是一个std crate：它在堆上分配内存，读取文件，格式化JSON，并使用标准库的浮点函数。不存在no_std构建，也没有能生成这种构建的特性。

决定：我们不提供no_std飞行核心。构建一个会成为另一个产品，有它自己的验证负担，并且会把Kshana带入飞行软件；而在飞行软件中，资质鉴定本身就是一项独立的工程，我们没有途径完成。

改为怎么做#

• 在地面或载荷计算机上运行Kshana，并上传其结果。slot-timing类型恰好产生飞行计算机所需的数值：定位周期、越界时间、保护间隔。将它们列成一张表只有几个字节。
• 如果只需要一个闭式解，就移植它。守时反演是对多项式方差做的一次简短的单调求根，其方程记录在SLOT-TIMING.md中。在飞行代码中重新实现它很简单；源自Kshana的代码仍受Kshana的许可约束。

同样不在范围之内#

硬实时保证（Kshana会分配内存，也不对最坏情况执行时间作任何声明）；任何东西的飞行资质鉴定；以及同步协议、控制器或路由协议栈。Kshana提供的是这些系统据以设计的授时证据。它本身不是其中之一。