Skip to content

[量子接入] PPVM 原生 SDK、Pauli 传播与丢失/泄漏工作流 - #84

Merged
xi-zhao merged 4 commits into
mainfrom
c/ppvm-integration
Nov 10, 2026
Merged

xi-zhao merged 4 commits into
mainfrom
c/ppvm-integration

Conversation

@xi-zhao

@xi-zhao xi-zhao commented Nov 10, 2026 •

Copy link
Copy Markdown
Owner

PPVM 补充 OpenQuantum 的广义 tableau、Pauli 观测量传播,以及明确区分丢失、泄漏和重置的研究工作流。用户于 2026-11-10 明确要求接入;规格为 ppvm.md。

接入完整原生 Python API,增加 ppvm-simulation Skill、可编辑用户程序和隔离环境依赖锁。复用现有 SDK 发现 → 显式准备 → 宿主代码执行路径,DSH/Codex 共用实现,没有新增专用 Tool、MCP Server 或 Runtime。README、能力目录、方法选择与打包入口同步更新。

固定 QuEraComputing/ppvm v0.3.0、完整提交 3cc883fd93b2475cb10c892a8a31adcc09a7579c(Apache-2.0)。使用 Git Python 子项目和提交的 uv.lock;准备需 Python 3.12 与支持 edition 2024 的 Rust。只有显式准备所选 SDK 才下载构建;未安装到用户环境。外置盘低于既有 40 GiB 保留线,大依赖构建在隔离 GitHub macOS runner 完成。

验证

  • 发现合同先复现 Unknown SDK,再通过现有 SDK 入口接通;47 项目录/SDK/声明检查通过。
  • 真实固定环境构建与离线执行通过。原生示例的带噪期望值 0.8037842898055502 等于解析值。
  • 46 项数值、语义与失败检查通过:独立两比特稠密门/态矢对照 tableau 与 Heisenberg;Rx/振幅阻尼及错误顺序负例;LOST/leakage/reset;相关丢失和 Stim 采样、固定种子重放;非法输入。每个采样均值为 2048 shots、Hoeffding δ=10⁻⁶,容差约0.059516,属于开发回归。
  • 版本化证据及哈希与当前源码/锁匹配;原始文件保留,新增证据检查通过。
  • 真实 DSH skills.list/get 通过。Codex 实际打包、运行时分离、缓存 Skill 定位及 MCP stdio 握手/tools/list 通过,未启动可选 provider。
  • 根 README 已增加能力、使用入口、构建成本和边界;18 个新增/修改本地 Markdown 文件链接检查通过,首页数量检查5项通过。
  • 首轮发现的 PauliSum 无 t()(修正为等价 rz(pi/4))、缓存示例路径和首页数量问题已修复,未降低数值预期或删检查。
  • 最终提交 11 项 PR 检查通过:完整 CI(npm run check、双平台源码安装、容器启动)、PPVM SDK、三平台 DSH 包、独立桌面包、Lean及首页构建。首页发布按 PR 策略跳过,没有部署。主测试批次889通过、359项可选实跑跳过(不计为通过);其余合同/能力检查无失败。最终 head 的 PPVM 原生输出和46项数值结果与版本化证据逐字节一致。

自审

固定 base 5f6f0114d83f9ba64766e15e25e923767b13fa6b / head 758b4301fc772ea417b6286f66f063d038a83140;已核对4个提交和非空diff。执行方式为 single-agent,reviewMode=self-review、independent=false。按用户指令,工程审查中的子 agent 步骤改为当前任务顺序检查,不声称独立审查。

  • Standards:通过自审,无阻断。 对照 AGENTS.md、CONTRIBUTING.md、EXTENSION_MODEL.md 与完整12项 smell baseline;复用 SDK/宿主机制、来源锁和独立环境,没有重复执行层、模型/权限修改或无关重构。散布的数量仅按现有文档合同同步。
  • Spec:通过自审,无阻断。 按提案逐项核对完整 API 可用路径、真实运行、独立参考、失败/近似语义、DSH/Codex入口和 README差异/链接。未以两个 qubit 的例子限制产品 API,未把工程测试写成科学验收。
  • 完整逐项自审、diff和检查日志保存于本任务证据目录;上述代码审查结论与最终CI分别记录。

实际边界与回退

上游仍为 alpha。非对称丢失不包含存活分支反作用;测试明确记录这个近似。LOST 不是 bool,reset_state 保留丢失/泄漏,reset 包含恢复计算子空间的假设。Python tableau绑定1–2048qubit,实际成本受非Clifford增长限制。全部原生 API 可按需使用,但本次未逐项验证 Bloqade 编译、Lindbladian、完整 Stim 指令、Linux/Windows数值、真实器件、性能优势或已安装宿主UI。

未新增 Validator/Acceptance Profile,scientificValidation=not_evaluated;既有科学阈值和验收范围不变。回退可整体撤销本PR,旧能力与用户环境不受依赖替换影响。不自动合并、发布或部署。

@xi-zhao
xi-zhao marked this pull request as ready for review November 10, 2026 01:18
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Nov 10, 2026 •

Copy link
Copy Markdown
Codex Review Summary: ✅ Completed

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-11-10T01:19:34.749986Z 758b430 Draft marked ready
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@xi-zhao
xi-zhao merged commit 508ed5c into main Nov 10, 2026
12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant