`space-packet`（场景类型）

引擎v0.40.0的场景类型，所属类别为任务分析、链路与空间运行。仅供参考：研究与工程工具的分析输出，不是经型式认可的导航设备，也不是生命安全服务。此处的每个标签都来自引擎或验证矩阵；除非矩阵另有说明，一种类型即为MODELLED（标签如何获得：见README的证据一节）。

作用#

CCSDS 133.0-B空间包协议成帧：编码一个合成的TM/TC包流（6八位组主头 + 数据域），并报告逐包的头部解码、总八位组数和精确的编码↔解码往返。确定性的精确比特布局成帧，即机构包格式的互操作层；并非一致性认证（除标志位外，没有副头/CRC/分段逻辑）。

scenarios/space-packet.toml的一次运行汇总如下：space-packet：已为APID 100成帧4个CCSDS-133.0 TM包，共152个八位组，往返精确（true）

来自模式（kshana kinds --json）：

示例scenarios/space-packet.toml设置了以下内容等：

kshana scenarios/space-packet.toml

该次运行的标量结果，单位为引擎所给出的单位：

结果	取值	单位
`apid`	100	1
`data_len_octets`	32	八位字节
`evidence.id_rule`	矩阵行的稳定标识（ID	文本
`evidence.matrix`	docs/VERIFICATION-MATRIX.md	文本
`evidence.tier`	MODELLED	文本
`first_packet.apid`	100	1
`first_packet.data_length_field`	31	1
`first_packet.index`	0	1
`first_packet.primary_header_hex`	00 64 40 00 00 1F	文本
`first_packet.sequence_count`	0	1

结果标签（引擎给出）：CCSDS 133.0-B空间包主头成帧：精确、确定性的比特布局，已验证编码↔解码往返；并非一致性认证（除标志位外，没有副头 / CRC /分段逻辑）

VALIDATED：列出此类型的验证矩阵各行。

VALIDATED CCSDS 133.0-B空间包主头的编码/解码（版本/类型/副头标志/APID/序列标志/计数/数据长度）+ 一个成帧场景。测试：ccsds_space_packet_reference.rs。
VALIDATED主头之外的CCSDS 133.0-B-2空间包扩展：携带CCSDS 301.0-B时间码（CUC或CDS，显式或隐式P域）和辅助数据的副头、CRC-16包差错控制域、分段测试：space_packet_ext_oracle.rs。

本次运行实际涉及的各行，以及矩阵为每行给出的参考基准（oracle）（公开来源在矩阵中列出）：

MODELLED确定性、场景哈希、SBOM加跨平台golden门限。参考基准（ExternalDataset）：SBOM与官方CycloneDX 1.5 JSON Schema（加有效的SPDX标识符）一致，这是已发布的外部标准，整个依赖图上零验证错误；FoM确定性与逐字节可复现性部分仍是固定的自洽性检查，因此该行仍为MODELLED
VALIDATED CCSDS 133.0-B空间包主头的编码/解码（版本/类型/副头标志/APID/序列标志/计数/数据长度）+ 一个成帧场景。可从CLI/绑定运行。参考基准（ExternalDataset）：spacepackets 0.32.0（us-irs/spacepackets-py，R. Mueller，Apache-2.0），这是CCSDS 133.0-B-2的独立第三方实现；kshana的encode_packet/decode_packet与之逐字节一致（33个算例的6八位组主头 + 12个完整编码包）

本次运行自身的报告所说的未建模或未经独立验证的内容：

可复现性与软件保障为MODELLED，而不是经独立验证：其中一项子声明经过外部核对，但整项能力由模型计算的部分组合而成，因此该能力仍属于由模型计算得出一级。（验证矩阵（docs/MODELLED-RATIONALE.md））