---
name: quantum-information-audit
description: 使用固定版本 toqito 对用户提供的有界多体密度矩阵做本地审计，并由 OpenQuantum 独立重算关键不变量。用于密度矩阵合法性、纯度、部分转置谱和 negativity 的可追溯检查；不用于任意量子信道、态层析、物理硬件、云任务或在缺少来源链时宣称最终科学验收通过。
---

# 量子信息审计

## 核心边界

本能力只审计用户已经给出的密度矩阵。核心对象是版本化的审计请求：复矩阵的实部/虚部、子系统维数，以及需要做部分转置的子系统索引。

- `toqito` MCP 产生数值事实。
- OpenQuantum Validator 用独立 JavaScript 实现重算迹、Hermiticity、正半定性、纯度、部分转置谱和 negativity。
- MCP 返回 `observations_available`，不等于最终科学验收。只有物化 Result Package 并核对 Session Event Log 来源链后，才可能形成最终 Acceptance。

## 工作流

1. 确认矩阵总维数等于 `subsystemDimensions` 的乘积，且不超过 16。
2. 明确 `transposeSubsystems` 采用从 0 开始的子系统索引，并且是非空真子集。
3. 第一次使用时调用 `inspect_toqito_runtime`，记录固定的包版本和本地边界。
4. 调用 `audit_density_matrix`。复矩阵用 `matrixReal` 和可选的 `matrixImag` 表示；未给虚部时按全零处理。
5. 分栏报告：
   - toqito 事实；
   - 独立 Validator observations；
   - 失败、不检查项和适用范围。
6. 在 OpenQuantum Harness preset 中，确认 `tool/result` 是否包含 `acceptance_available` 与 Result Commit；只有
   Adapter 已物化并重读 Result Package 时，才能按中央 Acceptance 状态报告最终验收。
7. 不把 negativity 写成普适的纠缠分类结论；它只对应本次指定的二分和部分转置判据。

## 必须保持的规则

- 不提交云任务或真实量子硬件任务。
- 不接受调用方自定义容差；容差由版本化 Acceptance Profile 固定。
- `provenance.complete=not_checked` 时不得宣称科学验收通过。
- 不凭 MCP 文本自行推断 `passed`；最终状态必须来自 Harness 物化后的 Acceptance Report。
- 工具失败、科学 observation 失败、来源链未检查是三种不同状态。
- 不从分子结构、实验层析数据或任意量子信道自动推导密度矩阵。

## 示例

Bell 态 `|Phi+><Phi+|` 使用 `subsystemDimensions=[2,2]`、`transposeSubsystems=[0]`。预期纯度为 1、部分转置最小本征值为 -0.5、negativity 为 0.5；仍需以实际工具事实和 Validator observations 为准。