# 导出与执行后端
English · **简体中文**
oracq 将导出和执行分开。{obj}`export_originir ` 与 {obj}`export_toffoli_u3_cz ` 只生成描述，不需要安装量子模拟器。各后端的 API 参考页：[OriginIR-ext](../api/infrastructure/backends/originir.rst)、[严格门集 basis](../api/infrastructure/backends/basis.rst)、[PySparQ](../api/infrastructure/backends/pysparq.rst)、[参考执行器](../api/infrastructure/execution.rst) 与 [读出](../api/infrastructure/readout.rst)。
## OriginIR-ext
导出器保留 `DEF`、模块调用和 `QRAMDECL`。寄存器操作在导出时降低为具体门；{obj}`Repeat ` 使用可复用的辅助定义表达。QRAM 内存以外部资源形式传入，不嵌入 RIR。
`export_toffoli_u3_cz` 将普通门降低到 Toffoli、U3 和 CZ，QRAM 仍保留为独立资源指令。它没有展开物理 QRAM 的器件网络。
{obj}`run_originir ` 使用 UnifiedQuantum 执行。该后端的解析器会展开 DEF，因此执行前有展开预算；这不改变保存的模块化 RIR。
## PySparQ
{obj}`run_pysparq ` 按寄存器事件执行模块。{obj}`NativeRegistry ` 可以在模块边界调用自定义原生算子，适合大型可逆算术。原生实现与门级主体分别管理：只有原生实现的开放 oracle 可以用于相应模拟，但不会因此获得门级导出能力。
动态算子需要匹配的 PySparQ ABI 和 C++17 编译器。具体接口行为与已审阅的版本见[后端兼容说明](../reference/backend-compatibility.md)。
## 参考执行器
{obj}`simulate ` 是只依赖标准库的小型寄存器执行器。它便于检查位序、相位、XOR 语义和辅助位状态。状态数量、步数及小幅度截断都有限制，不能把它的可运行规模视为真实硬件资源估计。
## 读出
RIR 核心不含测量和重置。最终测量、后选择和统计处理在宿主层完成；需要动态 OriginIR 时，可以显式使用读出适配。带 syndrome 的[纠错恢复电路](algorithms/repetition-codes.md)会保留错误信息，重新使用这些寄存器前需要适当的宿主处理。