{
  "kind": "evidence-bundle-summary",
  "filters": {},
  "total_retained_records": 2,
  "matching_records": 2,
  "unknown_revisions": 0,
  "records": [
    {
      "evidence_id": "ev_142cc943d8259d42ce5d62ad5eb0417fcde4de4ee9a20afbfe1fdbc51ed3d259",
      "subject": {
        "name": "ledger-arm64-O2",
        "digest": {
          "sha256": "8bbbaa5866c3fc9f6f598943350b55b5c11669dd1d5e41005efdfe44241915b3"
        },
        "local_path": "$CAPTURE/fixtures/ledger-arm64-O2",
        "format": "mach-o",
        "architecture": "arm64"
      },
      "provider": {
        "id": "ghidra",
        "name": "Ghidra",
        "version": "12.1.4"
      },
      "operation": "analyze_function",
      "confidence": "observed",
      "authority": "shipped-artifact",
      "analysis_profile_digest": "3fc72c9b4b78498fb992b938f8f3389dc670244a293c1d40abf5e1d10162ed3b",
      "retention": "complete-record",
      "limitation_count": 10,
      "native_dossier": {
        "available": true,
        "procedure_address": "0x100000500",
        "procedure_name": "_percent_change",
        "value_flow": {
          "status": "observed",
          "truncated": false,
          "omitted_operations_lower_bound": 0,
          "known_omitted_inputs": 0,
          "known_omitted_edges": 0
        }
      }
    },
    {
      "evidence_id": "ev_bfe3275bb0574d9b018464f2f0221fbb3ba91d1e38c8c36c984b38a47f0e0fd8",
      "subject": {
        "name": "ledger-arm64-O2",
        "digest": {
          "sha256": "8bbbaa5866c3fc9f6f598943350b55b5c11669dd1d5e41005efdfe44241915b3"
        },
        "local_path": "$CAPTURE/fixtures/ledger-arm64-O2",
        "format": "mach-o",
        "architecture": "arm64"
      },
      "provider": {
        "id": "ghidra",
        "name": "Ghidra",
        "version": "12.1.4"
      },
      "operation": "analyze_function",
      "confidence": "observed",
      "authority": "shipped-artifact",
      "analysis_profile_digest": "3fc72c9b4b78498fb992b938f8f3389dc670244a293c1d40abf5e1d10162ed3b",
      "retention": "complete-record",
      "limitation_count": 10,
      "native_dossier": {
        "available": true,
        "procedure_address": "0x100000554",
        "procedure_name": "_total",
        "value_flow": {
          "status": "observed",
          "truncated": false,
          "omitted_operations_lower_bound": 0,
          "known_omitted_inputs": 0,
          "known_omitted_edges": 0
        }
      }
    }
  ]
}