{
  "synthetic": true,
  "createdAt": "2026-09-05",
  "packets": [
    {
      "id": "reference",
      "report": {
        "initialReviewedCommit": "synthetic-initial-a",
        "finalReviewedCommit": "synthetic-fixed-b",
        "sourceSha256": {
          "Vault.spec.txt": "4a405bca190c745d1d176e864dc9e97a7e36d733a2a792ec8f0d84eef7182209",
          "WithdrawalPolicy.spec.txt": "c05ff0b3f38b07c944b0f48df28f9bb051d325dea9b99d8d1d7e18a1d9e9ceea"
        },
        "findings": [
          {
            "id": "EXAMPLE-01",
            "status": "resolved",
            "fixCommit": "synthetic-fixed-b"
          }
        ]
      },
      "release": {
        "sourceCommit": "synthetic-fixed-b",
        "sourceFiles": {
          "Vault.spec.txt": "Synthetic teaching note: withdrawals must satisfy the approved withdrawal policy.\n",
          "WithdrawalPolicy.spec.txt": "Synthetic teaching note: reject negative withdrawal quantities.\n"
        }
      },
      "retestRecords": [
        {
          "findingId": "EXAMPLE-01",
          "commit": "synthetic-fixed-b",
          "testCase": "synthetic record: negative withdrawal rejected",
          "result": "pass"
        }
      ],
      "buildRecord": {
        "runtimeHex": "0x602a60005260206000f3"
      },
      "deploymentRecord": {
        "runtimeHex": "0x602a60005260206000f3"
      }
    },
    {
      "id": "different-release-commit",
      "report": {
        "initialReviewedCommit": "synthetic-initial-a",
        "finalReviewedCommit": "synthetic-fixed-b",
        "sourceSha256": {
          "Vault.spec.txt": "4a405bca190c745d1d176e864dc9e97a7e36d733a2a792ec8f0d84eef7182209",
          "WithdrawalPolicy.spec.txt": "c05ff0b3f38b07c944b0f48df28f9bb051d325dea9b99d8d1d7e18a1d9e9ceea"
        },
        "findings": [
          {
            "id": "EXAMPLE-01",
            "status": "resolved",
            "fixCommit": "synthetic-fixed-b"
          }
        ]
      },
      "release": {
        "sourceCommit": "synthetic-unreviewed-c",
        "sourceFiles": {
          "Vault.spec.txt": "Synthetic teaching note: withdrawals must satisfy the approved withdrawal policy.\n",
          "WithdrawalPolicy.spec.txt": "Synthetic teaching note: reject negative withdrawal quantities.\n"
        }
      },
      "retestRecords": [
        {
          "findingId": "EXAMPLE-01",
          "commit": "synthetic-fixed-b",
          "testCase": "synthetic record: negative withdrawal rejected",
          "result": "pass"
        }
      ],
      "buildRecord": {
        "runtimeHex": "0x602a60005260206000f3"
      },
      "deploymentRecord": {
        "runtimeHex": "0x602a60005260206000f3"
      }
    },
    {
      "id": "stale-retest-record",
      "report": {
        "initialReviewedCommit": "synthetic-initial-a",
        "finalReviewedCommit": "synthetic-fixed-b",
        "sourceSha256": {
          "Vault.spec.txt": "4a405bca190c745d1d176e864dc9e97a7e36d733a2a792ec8f0d84eef7182209",
          "WithdrawalPolicy.spec.txt": "c05ff0b3f38b07c944b0f48df28f9bb051d325dea9b99d8d1d7e18a1d9e9ceea"
        },
        "findings": [
          {
            "id": "EXAMPLE-01",
            "status": "resolved",
            "fixCommit": "synthetic-fixed-b"
          }
        ]
      },
      "release": {
        "sourceCommit": "synthetic-fixed-b",
        "sourceFiles": {
          "Vault.spec.txt": "Synthetic teaching note: withdrawals must satisfy the approved withdrawal policy.\n",
          "WithdrawalPolicy.spec.txt": "Synthetic teaching note: reject negative withdrawal quantities.\n"
        }
      },
      "retestRecords": [
        {
          "findingId": "EXAMPLE-01",
          "commit": "synthetic-initial-a",
          "testCase": "synthetic record: negative withdrawal rejected",
          "result": "pass"
        }
      ],
      "buildRecord": {
        "runtimeHex": "0x602a60005260206000f3"
      },
      "deploymentRecord": {
        "runtimeHex": "0x602a60005260206000f3"
      }
    },
    {
      "id": "different-runtime-bytes",
      "report": {
        "initialReviewedCommit": "synthetic-initial-a",
        "finalReviewedCommit": "synthetic-fixed-b",
        "sourceSha256": {
          "Vault.spec.txt": "4a405bca190c745d1d176e864dc9e97a7e36d733a2a792ec8f0d84eef7182209",
          "WithdrawalPolicy.spec.txt": "c05ff0b3f38b07c944b0f48df28f9bb051d325dea9b99d8d1d7e18a1d9e9ceea"
        },
        "findings": [
          {
            "id": "EXAMPLE-01",
            "status": "resolved",
            "fixCommit": "synthetic-fixed-b"
          }
        ]
      },
      "release": {
        "sourceCommit": "synthetic-fixed-b",
        "sourceFiles": {
          "Vault.spec.txt": "Synthetic teaching note: withdrawals must satisfy the approved withdrawal policy.\n",
          "WithdrawalPolicy.spec.txt": "Synthetic teaching note: reject negative withdrawal quantities.\n"
        }
      },
      "retestRecords": [
        {
          "findingId": "EXAMPLE-01",
          "commit": "synthetic-fixed-b",
          "testCase": "synthetic record: negative withdrawal rejected",
          "result": "pass"
        }
      ],
      "buildRecord": {
        "runtimeHex": "0x602a60005260206000f3"
      },
      "deploymentRecord": {
        "runtimeHex": "0x602b60005260206000f3"
      }
    }
  ],
  "expectedMismatches": {
    "reference": [],
    "different-release-commit": [
      "scope_commit"
    ],
    "stale-retest-record": [
      "findings_retest"
    ],
    "different-runtime-bytes": [
      "deployed_artifact"
    ]
  },
  "limits": [
    "Invented teaching data, not an audit of a real protocol.",
    "Commit labels are not Git objects; source strings are non-executable teaching notes.",
    "Bytecode strings are hand-authored; no compilation or blockchain read occurs.",
    "Retest records are read, not executed or authenticated.",
    "Consistency does not establish complete scope, source authenticity or absence of vulnerabilities.",
    "No proxy, linked library, immutable, initialization, governance or economic-model verification is performed."
  ]
}