校验与离散化¶
校验根据 TargetSpec 检查 AHSProgram 或转换后的 ProgramIR，返回带类型的诊断。检查对象包括原子位置、数量与间距，波形的时间和数值，参数绑定，控制能力，测量基与 shots。校验不会修改程序。
波形与参数¶
常量、线性、分段常量、分段线性和插值波形都要求数值有限、采样时间严格递增，末端时刻与声明时长一致。插值波形使用保形 PCHIP；拼接只接受兼容、串行排列的片段，并限制采样点数。
Parameter 是 Digital、Analog 和 Hybrid 共用的参数声明类型。名称、类型、单位、边界、默认值、表达式和目标字段在转换前检查。绑定返回另一个已绑定对象；对象是否可变取决于具体的构建器或结果类型。缺失、重复、未声明、单位不兼容或越界的值，会在执行前产生结构化诊断或对应异常。
按位点控制¶
SitePattern 为每个填充位点提供权重。SiteMask.constant() 和 SiteMask.piecewise() 接受稀疏位点名称，再按活动位点顺序展开寻址数组。未知、非活动、重复或缺失的位点引用会被拒绝。
公开目标检查还覆盖声明的通道能力、并发、互斥、带宽、变化速率和串扰约束。这些检查不分配生产通道，也不加载私有校准。
网格调整与诊断¶
离散化把支持的字段投影到目标网格，返回新程序与 DiscretizationReport。策略包括 nearest、floor、ceil 和 strict。严格策略遇到网格外数值时，报告 DISCRETIZATION_STRICT_GRID_MISMATCH 并保留该值；应读取诊断，不能把返回对象当成检查通过。
本地模拟器在分配大状态数组前校验输入。参考编译只接受校验通过且支持的语义；不支持的局域控制、通道类型、测量或未绑定值会在构建提交内容前停止。完整练习见目标校验与参考编译。