{
  "kind": "evidence-bundle-summary",
  "filters": {},
  "total_retained_records": 8,
  "matching_records": 8,
  "unknown_revisions": 0,
  "records": [
    {
      "evidence_id": "ev_2c883c7b915976c5f4d3ab0b2b3bec32ffae8048575ef6d0d9538f512f0b34d1",
      "subject": {
        "name": "ledger-arm64-O1",
        "digest": {
          "sha256": "01b5d08b08fb94678be5919d0e753d44b505a53107c95b94634f0e5d41c9e375"
        },
        "local_path": "$CAPTURE/fixtures/ledger-arm64-O1",
        "format": "mach-o",
        "architecture": "arm64"
      },
      "provider": {
        "id": "ghidra",
        "name": "Ghidra",
        "version": "12.1.4"
      },
      "operation": "procedure_assembly",
      "confidence": "observed",
      "authority": "shipped-artifact",
      "analysis_profile_digest": "3fc72c9b4b78498fb992b938f8f3389dc670244a293c1d40abf5e1d10162ed3b",
      "retention": "complete-record",
      "limitation_count": 6,
      "native_dossier": {
        "available": false,
        "reason": "different-operation"
      }
    },
    {
      "evidence_id": "ev_3c6350b28fc1f5b61a3318b8898e3169a87e83d7f75fed829907e439963b50e6",
      "subject": {
        "name": "ledger-arm64-O1",
        "digest": {
          "sha256": "01b5d08b08fb94678be5919d0e753d44b505a53107c95b94634f0e5d41c9e375"
        },
        "local_path": "$CAPTURE/fixtures/ledger-arm64-O1",
        "format": "mach-o",
        "architecture": "arm64"
      },
      "provider": {
        "id": "ghidra",
        "name": "Ghidra",
        "version": "12.1.4"
      },
      "operation": "list_procedures",
      "confidence": "observed",
      "authority": "shipped-artifact",
      "analysis_profile_digest": "3fc72c9b4b78498fb992b938f8f3389dc670244a293c1d40abf5e1d10162ed3b",
      "retention": "complete-record",
      "limitation_count": 6,
      "native_dossier": {
        "available": false,
        "reason": "different-operation"
      }
    },
    {
      "evidence_id": "ev_41e8ca1c51e0f01a0a0d2e1e5485358e6c14b7262bcbb152e218cef8be6bdcde",
      "subject": {
        "name": "ledger-arm64-O1",
        "digest": {
          "sha256": "01b5d08b08fb94678be5919d0e753d44b505a53107c95b94634f0e5d41c9e375"
        },
        "local_path": "$CAPTURE/fixtures/ledger-arm64-O1",
        "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": "0x100000518",
        "procedure_name": "_grade",
        "value_flow": {
          "status": "observed",
          "truncated": false,
          "omitted_operations_lower_bound": 0,
          "known_omitted_inputs": 0,
          "known_omitted_edges": 0
        }
      }
    },
    {
      "evidence_id": "ev_644b349575e2fd8b93a2a005f9c109d58c6dedec2866395446fdd966145888c2",
      "subject": {
        "name": "ledger-arm64-O1",
        "digest": {
          "sha256": "01b5d08b08fb94678be5919d0e753d44b505a53107c95b94634f0e5d41c9e375"
        },
        "local_path": "$CAPTURE/fixtures/ledger-arm64-O1",
        "format": "mach-o",
        "architecture": "arm64"
      },
      "provider": {
        "id": "ghidra",
        "name": "Ghidra",
        "version": "12.1.4"
      },
      "operation": "xrefs",
      "confidence": "observed",
      "authority": "shipped-artifact",
      "analysis_profile_digest": "3fc72c9b4b78498fb992b938f8f3389dc670244a293c1d40abf5e1d10162ed3b",
      "retention": "complete-record",
      "limitation_count": 7,
      "native_dossier": {
        "available": false,
        "reason": "different-operation"
      }
    },
    {
      "evidence_id": "ev_a1fe53ff3596b1ba02c39f7b9e00bf06049dd1637d448b510157fbd81cbe21ec",
      "subject": {
        "name": "ledger-arm64-O1",
        "digest": {
          "sha256": "01b5d08b08fb94678be5919d0e753d44b505a53107c95b94634f0e5d41c9e375"
        },
        "local_path": "$CAPTURE/fixtures/ledger-arm64-O1",
        "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
        }
      }
    },
    {
      "evidence_id": "ev_ad37f574a03f9f609fc1d9fb85a4661bc8679331d05fc50a47f8017aba715134",
      "subject": {
        "name": "ledger-arm64-O1",
        "digest": {
          "sha256": "01b5d08b08fb94678be5919d0e753d44b505a53107c95b94634f0e5d41c9e375"
        },
        "local_path": "$CAPTURE/fixtures/ledger-arm64-O1",
        "format": "mach-o",
        "architecture": "arm64"
      },
      "provider": {
        "id": "ghidra",
        "name": "Ghidra",
        "version": "12.1.4"
      },
      "operation": "list_strings",
      "confidence": "observed",
      "authority": "shipped-artifact",
      "analysis_profile_digest": "3fc72c9b4b78498fb992b938f8f3389dc670244a293c1d40abf5e1d10162ed3b",
      "retention": "complete-record",
      "limitation_count": 7,
      "native_dossier": {
        "available": false,
        "reason": "different-operation"
      }
    },
    {
      "evidence_id": "ev_b201cfd0ea1db43a8b371a031005c1c57971729aaf6a68ea4bad1546825a4bd8",
      "subject": {
        "name": "ledger-arm64-O1",
        "digest": {
          "sha256": "01b5d08b08fb94678be5919d0e753d44b505a53107c95b94634f0e5d41c9e375"
        },
        "local_path": "$CAPTURE/fixtures/ledger-arm64-O1",
        "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": "0x100000588",
        "procedure_name": "_grade_label",
        "value_flow": {
          "status": "observed",
          "truncated": false,
          "omitted_operations_lower_bound": 0,
          "known_omitted_inputs": 0,
          "known_omitted_edges": 0
        }
      }
    },
    {
      "evidence_id": "ev_b492c85eb9570bd5f8e866f94523122c8600ea0106603d90e9ea5445cf757b2a",
      "subject": {
        "name": "ledger-arm64-O1",
        "digest": {
          "sha256": "01b5d08b08fb94678be5919d0e753d44b505a53107c95b94634f0e5d41c9e375"
        },
        "local_path": "$CAPTURE/fixtures/ledger-arm64-O1",
        "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
        }
      }
    }
  ]
}