适用范围与验证状态

English · 简体中文

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

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

规模限制

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

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

数学声明

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

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

结果与读出

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

新算法的接口、见证范围和文档构建结果记录在本版验收记录。