{
  "protocol": "fprd-result-review-audit.v1",
  "reviewed_at": "2026-09-01",
  "units": [
    {
      "name": "trace counting under a small independence cover",
      "claims": ["FPRD-SH-B11", "FPRD-SH-T34", "FPRD-SH-C19"],
      "program": {
        "path": "trace_cover_boundary_audit.py",
        "sha256": "fefb4634eed3291f12e74f73b5a2b5e98292e993e29bbc667649f0816c856dc0"
      },
      "output": {
        "path": "trace_cover_boundary_audit_output.txt",
        "sha256": "08a89fd28a5ad5ed92b09ff69da16c2dff8df3da5a5f4373c6d8cb85e2308f59"
      },
      "status": "PASS"
    },
    {
      "name": "matrix conjugation and future observations",
      "claims": [
        "FPRD-QA-MX-D01",
        "FPRD-QA-MX-T01",
        "FPRD-QA-MX-T02",
        "FPRD-QA-MX-T03",
        "FPRD-QA-MX-T04",
        "FPRD-QA-MX-T05",
        "FPRD-QA-MX-T06",
        "FPRD-QA-MX-X01",
        "FPRD-QA-MX-X02",
        "FPRD-QA-MX-C01",
        "FPRD-QA-MX-F1",
        "FPRD-QA-MX-F2",
        "FPRD-QA-MX-F3",
        "FPRD-QA-MX-F4"
      ],
      "program": {
        "path": "matrix_quotient_audit.py",
        "sha256": "5ae7dd0bdf013ae4b95987e5bfb1274c3a025d92b4d7c5a592a506a14b71c3da"
      },
      "output": {
        "path": "matrix_quotient_audit_output.txt",
        "sha256": "a393588f027a00bc7b2b46ad73e835b603f550d365e3a5235115da7c61f88e1d"
      },
      "status": "PASS"
    }
  ],
  "maturity_changes": [],
  "external_specialist_review_added": false
}