目标规格、执行能力与机器资源¶
Target 规定程序要满足的几何、波形、控制和采样约束。Backend 决定提交与运行路径，模拟方法及本机资源决定哪些数值计算可以完成。通过其中一项检查，不会自动满足其他条件。
例如，一个目标声明最多接收若干原子，并不保证笔记本有足够内存运行相同规模的密度矩阵。反过来，本地模拟器能计算某个程序，也不能证明真实设备能实现其中的控制。
读取能力的状态¶
能力字段可能表示支持、仅能在中间表示中声明，或不支持。ir_only 允许保存与检查语义，不能当成可执行支持。验证时还要检查参数范围、时间网格、局域寻址和通道组合，而非只看一个功能名称。
MockNeutralAtomTarget提供确定性的本地规格。v0_1()、v0_2()、local_ahs_v0_1() 和 control_vocabulary_v0_1() 的用途与支持范围不同；其中控制词汇目标的 DMM 为 ir_only，Raman 为 unsupported。不要把一个工厂的能力推到其他目标上。
这些公开目标都不提供真实硬件或云提交。目标 ID、快照时间、参考编译记录和本地运行结果，也不能替代真实设备的校准与执行记录。
在实验中保存什么¶
校验和编译使用同一份目标规格；保存快照与引用，避免程序改变后仍沿用旧的目标假设。遇到拒绝时，按诊断检查实际不支持的控制或超出的范围。资源规划失败则回到资源预算，核对状态表示、内存估算与并发设置。