scan: estate rescan (run 29987735987) (#58)

Automated estate rescan from hyperpolymath/hypatia run 29987735987.
Squash-merged: it is the only merge method that satisfies
required_signatures + required_linear_history on this repo.

Co-authored-by: hypatia-estate-rescan <hypatia-bot@users.noreply.github.com>

Author: hyperpolymath

scans/0patch-lsa-sentinel.json

@@ -92,9 +92,9 @@
     }
   ],
   "recommended_attacks": [
+    "memory",
     "cpu",
-    "concurrency",
-    "memory"
+    "concurrency"
   ],
   "dependency_graph": {
     "edges": [
@@ -114,16 +114,6 @@
   },
   "taint_matrix": {
     "rows": [
-      {
-        "source_category": "UnsafeCode",
-        "sink_axis": "memory",
-        "severity_value": 3.5,
-        "files": [
-          "host-rust/src/ffi.rs"
-        ],
-        "frameworks": [],
-        "relation": "UnsafeCode->Memory"
-      },
       {
         "source_category": "UnboundedAllocation",
         "sink_axis": "memory",
@@ -144,6 +134,16 @@
         "frameworks": [],
         "relation": "UnsafeCode->Concurrency"
       },
+      {
+        "source_category": "UnsafeCode",
+        "sink_axis": "memory",
+        "severity_value": 3.5,
+        "files": [
+          "host-rust/src/ffi.rs"
+        ],
+        "frameworks": [],
+        "relation": "UnsafeCode->Memory"
+      },
       {
         "source_category": "UnboundedAllocation",
         "sink_axis": "cpu",

scans/AcceleratorGate.jl.json

@@ -89,18 +89,6 @@
   },
   "taint_matrix": {
     "rows": [
-      {
-        "source_category": "ProofDrift",
-        "sink_axis": "cpu",
-        "severity_value": 2.5,
-        "files": [
-          "test/runtests.jl",
-          "test/property_test.jl",
-          "test/e2e_test.jl"
-        ],
-        "frameworks": [],
-        "relation": "ProofDrift->Cpu"
-      },
       {
         "source_category": "DynamicCodeExecution",
         "sink_axis": "cpu",
@@ -120,6 +108,18 @@
         ],
         "frameworks": [],
         "relation": "DynamicCodeExecution->Memory"
+      },
+      {
+        "source_category": "ProofDrift",
+        "sink_axis": "cpu",
+        "severity_value": 2.5,
+        "files": [
+          "test/runtests.jl",
+          "test/property_test.jl",
+          "test/e2e_test.jl"
+        ],
+        "frameworks": [],
+        "relation": "ProofDrift->Cpu"
       }
     ]
   }