规范参考

English · 简体中文

这些文档定义对象格式和组合语义。实现或验证底层工具时，以此处的规则和对应测试为依据。

• 语言与算法库约定
  • Python 生成层
  • 操作与模块
  • 算法协议
  • 矩阵表示与归一化
  • 数据访问
  • 调用能力
  • 精度与读出
  • 序列化与后端
  • 版本与兼容
• RIR：模块化寄存器级中间表示
  • 第 1 部分：设计定位
  • 第 2 部分：数据模型
  • 第 3 部分：指令集合
  • 第 4 部分：程序级规则
  • 第 5 部分：完整案例
• QRAM 内存定义（qram YAML）
  • 字段
  • 语义规则
  • Python API
  • CLI
  • Schema
• 开放声明、能力与绑定
  • 开放声明不是恒等操作
  • 能力与等距制备
  • 绑定
  • QRAM 捕获
  • 开放程度的边界
  • 旧规则迁移
• MIR 0.1：纯数学函数图
  • 对象与类型
  • 有限数值与生成配置
  • 输出和状态
  • 前端边界
• 一般 QHAM：从 PDE 到量子适配线性系统的推导
  • 1. 输入范围与约定
  • 2. 从同伦方程推导高阶递推
  • 3. 独立坐标上的张量变量
  • 4. 有限闭包证明
  • 5. 物理解和强迫齐次化
  • 6. 验证方法与边界
• QFVM 中替换 QLSS：输入模型、QRAM 数据结构与输出契约审查
  • 结论
  • 1. 三篇论文实际假设了什么
  • 2. 必须分开的四层
  • 3. 基线问题及本轮修正
  • 4. 新 QFVM 稀疏输入如何实现
  • 5. 稀疏到 BE 的适配不是类型转换
  • 6. 输出替换也需要契约
  • 7. QRAM 与 quantum data structure 的实际范围
  • 8. 如何替换
  • 9. 本轮证据和仍未完成的内容
  • 10. 数值验证记录（2026-09-16）
• OriginIR-ext 与 PySparQ 审阅
  • OriginIR-ext 的优点与边界
  • PySparQ 的寄存器模型
  • 已记录的验证中兼容性验证
  • 2026-09-09 应用描述验收补充
  • 2026-09-09 自定义算子路径