# 适用范围与验证状态

<a href="../../manual/limits.html">English</a> · **简体中文**

oracq 可以表达开放算法、组装模块并生成可执行的小实例。是否适合某个具体问题，还取决于输入模型、规模、数值近似和读出需求。

| 层次 | 已验证的内容 | 尚不能据此推断的结论 |
|---|---|---|
| [RIR](../reference/rir.md) | 序列化、布局、别名、控制保护、模块调用和开放绑定 | 任意量子算法的数学正确性 |
| [基础算法](algorithms/index.md) | 小规模矩阵/概率见证与真实后端复幅度对拍 | 大规模运行成本或量子优势 |
| [算术与数学函数](math-functions.md) | 有限位模式下的可逆构造及部分数值见证 | 所有字长和近似区间的统一误差界 |
| [Hamiltonian 方法](algorithms/hamiltonian-simulation.md) | Pauli 演化、Trotter 组合和接口检查 | 通用 QSP 内核与自动误差配置 |
| [QLSS/QODE/QPDE](differential-equations.md) | 输入适配、模块化生成、部分真实执行 | 全部求解精度、成功通道和收敛保证 |
| [QHAM](qham.md) | 有限 HAM 截断的代数闭包和小型执行 | 对原始 PDE 的自动收敛认证 |

## 规模限制

单个寄存器或合并视图最多 64 位。部分算法便捷接口把 target 或 signal 放在一个寄存器中，因此会先达到这个限制；RIR 本身可以使用多个寄存器。

[参考执行器](backends.md#参考执行器)和后端适配器有步数、状态数量与 QRAM 物化预算。OriginIR 下游解析器会展开模块。某个程序能够保持紧凑的 RIR，并不意味着它在当前模拟器中也能低成本执行。

## 数学声明

`Hermitian`、耗散、稀疏度、元素界、谱界和辅助位复净等声明由相应算法处理。[Python 协议](contracts.md)可以检查接口存在和返回值形状，不能证明声明的数学真实性。

`eps` 不是语言核心类型。使用者应保存生成配置，并在具体应用中验证空间离散、数值表示、算法截断和后选择读出的误差。

## 结果与读出

一个输出态 oracle 可能含有成功信号。归一化方向、成功概率和原始向量的物理范数是不同的信息。测量或后选择后，不能仅根据 target 的幅度就恢复完整经典场值。

新算法的接口、见证范围和文档构建结果记录在[本版验收记录](../development/validation.md)。