Skip to content

[上游同步] PyZX 0.10.8 正确性修复 - #82

Open
xi-zhao wants to merge 2 commits into
mainfrom
c/upstream-pyzx-correctness
Open

xi-zhao wants to merge 2 commits into
mainfrom
c/upstream-pyzx-correctness

Conversation

@xi-zhao

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

Copy link
Copy Markdown
Owner

问题与结果

PyZX 0.10.6 的公开 SDK 在 CNOT 重映射后的 XPhase 优化、U3 的 adjoint 中存在正确性错误:独立矩阵对照最大偏差分别约 0.7071 与 1。升级到稳定版 0.10.8 后,五项校准与回归检查全部通过,最大偏差低于 7e-16。旧版便捷 Tool 管线的小例本身也通过;本 PR 不把两个 SDK 反例泛化成全部旧调用失效。

上游固定 tag 对应完整提交 d9691d0b2aaaab92f11ed0b2cabe2bcc36f8cc14,Apache-2.0,发行包可用。Python 最低 3.11,现有环境固定 3.12.x。官方发布。

最小改动与兼容性

  • 更新现有 manifest / 冻结锁、bridge 版本守卫、Tool 来源版本、设置目录、第三方说明和生成的 SDK 清单;生产锁仅升级 PyZX、移除不再需要的 typing-extensions,并更新 uv 锁格式。
  • 复用原有 optimize_pyzx_circuit、SDK 工作台及两宿主适配。输入 schema、位序、1e-8 工程容差、required / auto / skip 参考规则及 scientificValidation=not_evaluated 保持原合同。
  • 增加真实 SDK 反例、参考与错误边界测试、Ubuntu/macOS 数值 CI。Harness 测试增加单 SDK 选择,并修复会话标题请求抢先消耗一次性模型 fixture 的竞态;默认仍覆盖原四个 SDK。
  • 已核对 0.10.7/0.10.8 删除的旧提取、Quantomatic JSON、d3、gadget、PyQuil compiler、graph_tool/igraph 入口,仓库现有适配未使用。自定义 SDK 程序仍需核对上游迁移说明。
  • 根 README 的既有能力与入口描述继续适用,未新增能力、数量或使用入口;相关版本说明在原 SDK 文档中同步。没有改动 docs: 按官网风格重排 README #77/[量子接入] MWPF 超图译码与权重界 #79 的 README 或新 SDK 工作。

验证证据

  • 升级报告与旧版/新版对照:独立 dense reference 与解析 U3 矩阵;旧环境复现两个失败,新环境五项通过;新守卫拒绝旧环境。报告中的 Draft/待 CI 是 11 月 10 日实施时快照,当前交付状态以下述审查为准。
  • 当前 head 的 Ubuntu / macOS 数值 CI 各 3 通过、0 失败、0 跳过,覆盖真实 MCP、SDK 反例、required/skip、65-qubit auto 和无效输入。本轮读取了两平台实际日志。
  • 当前 head 的 质量及安装 CI 通过。本轮读取质量日志:完整 npm run check 执行,其中主测试段 1250 项:889 通过、0 失败、361 跳过;其余检查段和 Harness 组合配置也通过。所有 4 个 workflow、10 个 job 成功。
  • 已有同一提交实施证据包括 16 项合同/SDK/插件静态检查与真实 Harness 本地协议 fixture 的发现、调用、成功/失败、结果持久化;静态插件目录检查不代表实际 Codex 客户端验收。
  • 本轮新增静态核对:固定 diff 非空、提交列表、生产锁差异、版本一致性、差异空白和受影响文档的本地链接均无问题。未修改代码,复用有效的同一 head 运行证据。
  • 初次本地全仓运行在 node-pty 重建前出现 9 个失败,保留这一历史事实;后续定向 Harness 通过,当前远端完整质量 CI 通过。本轮外置盘低于 40 GiB 保留线,没有安装依赖或重建大型验证环境。

交付自审(2026-11-15,Asia/Shanghai)

固定 base:508ed5cd05eb44276fd5009641efa7e82a3b70c0
固定 head:63853894b13dfe70c0765ce9194e114d2ee9b1af
20 个变更文件、2 个提交;three-dot merge-base 等于上述 base。需求依据为本轮更新前的 PR 正文快照及两份版本化升级报告。

  • Standards:通过,0 个阻断项。 对照最新 main 的 AGENTS、CONTRIBUTING、扩展合同与 code-review 完整 12 项 smell baseline。共享实现、显式准备、副作用、来源链和宿主边界符合现有规则;版本在现有守卫/元数据中的同步不构成新版本权威,未为整理而扩大范围。
  • Spec:通过,0 个阻断项。 固定版本、来源、实际 SDK 两个反例、便捷 Tool 合同与失败边界、两宿主适配覆盖、文档及回退均对应既定升级范围。无新增公共合同或科学阈值/作用域/Acceptance 结论,未触发新增独立领域审阅。
  • 执行方式:single-agent / self-review / independent=false。按用户要求将并行子 agent 步骤改为当前任务顺序审查;不是独立双路审查,也未以 CI 代替审查。旧提交的历史审查保留,不沿用为当前结论。

已具备待审条件,等维护者决定是否合并。本轮未合并、发布、部署或更改用户安装环境。

边界与回退

这些是限定案例的工程正确性证据,不是全部 PyZX API、全平台验证或科学 Acceptance。没有真实硬件、付费服务、外部模型调用或实际 Codex 客户端运行验收。

回退必须整体恢复 manifest/lock、版本守卫及版本元数据,不能只改 pin;回退会重新引入上述旧版 SDK 缺陷。

Integrate current main without changing #77/#79. Preserve scientific acceptance boundaries; keep draft until current CI review.
@xi-zhao xi-zhao changed the title [上游同步] PyZX 0.10.8:正确性回归证据与迁移草案 fix(pyzx): 升级 0.10.8 并覆盖真实正确性回归 Nov 10, 2026
@xi-zhao xi-zhao changed the title fix(pyzx): 升级 0.10.8 并覆盖真实正确性回归 [上游同步] PyZX 0.10.8 正确性修复 Nov 15, 2026
@xi-zhao
xi-zhao marked this pull request as ready for review November 15, 2026 02:16
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Nov 15, 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-15T02:17:49.691062Z 6385389 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.

This branch has not been deployed

No deployments
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