scan: estate rescan (run 30241372966) (#61)

Automated estate rescan from hyperpolymath/hypatia run 30241372966.
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

@@ -115,14 +115,14 @@
   "taint_matrix": {
     "rows": [
       {
-        "source_category": "UnsafeCode",
+        "source_category": "UnboundedAllocation",
         "sink_axis": "memory",
-        "severity_value": 3.5,
+        "severity_value": 2.5,
         "files": [
-          "host-rust/src/ffi.rs"
+          "host-rust/src/collectors/opatch.rs"
         ],
         "frameworks": [],
-        "relation": "UnsafeCode->Memory"
+        "relation": "UnboundedAllocation->Memory"
       },
       {
         "source_category": "UnsafeCode",
@@ -136,23 +136,23 @@
       },
       {
         "source_category": "UnboundedAllocation",
-        "sink_axis": "memory",
+        "sink_axis": "cpu",
         "severity_value": 2.5,
         "files": [
           "host-rust/src/collectors/opatch.rs"
         ],
         "frameworks": [],
-        "relation": "UnboundedAllocation->Memory"
+        "relation": "UnboundedAllocation->Cpu"
       },
       {
-        "source_category": "UnboundedAllocation",
-        "sink_axis": "cpu",
-        "severity_value": 2.5,
+        "source_category": "UnsafeCode",
+        "sink_axis": "memory",
+        "severity_value": 3.5,
         "files": [
-          "host-rust/src/collectors/opatch.rs"
+          "host-rust/src/ffi.rs"
         ],
         "frameworks": [],
-        "relation": "UnboundedAllocation->Cpu"
+        "relation": "UnsafeCode->Memory"
       }
     ]
   }

scans/AcceleratorGate.jl.json

@@ -18,21 +18,21 @@
     },
     {
       "category": "ProofDrift",
-      "location": "test/runtests.jl",
-      "file": "test/runtests.jl",
+      "location": "test/property_test.jl",
+      "file": "test/property_test.jl",
       "severity": "Medium",
-      "description": "45 `@test x isa Y` assertion(s) with no value check — type-only tests may substitute for an unwritten formal theorem in test/runtests.jl",
+      "description": "3 `@test x isa Y` assertion(s) with no value check — type-only tests may substitute for an unwritten formal theorem in test/property_test.jl",
       "recommended_attack": [
         "cpu"
       ],
       "test_context": "test_only"
     },
     {
       "category": "ProofDrift",
-      "location": "test/property_test.jl",
-      "file": "test/property_test.jl",
+      "location": "test/runtests.jl",
+      "file": "test/runtests.jl",
       "severity": "Medium",
-      "description": "3 `@test x isa Y` assertion(s) with no value check — type-only tests may substitute for an unwritten formal theorem in test/property_test.jl",
+      "description": "45 `@test x isa Y` assertion(s) with no value check — type-only tests may substitute for an unwritten formal theorem in test/runtests.jl",
       "recommended_attack": [
         "cpu"
       ],
@@ -91,31 +91,31 @@
     "rows": [
       {
         "source_category": "DynamicCodeExecution",
-        "sink_axis": "memory",
+        "sink_axis": "cpu",
         "severity_value": 3.5,
         "files": [
           "src/AcceleratorGate.jl"
         ],
         "frameworks": [],
-        "relation": "DynamicCodeExecution->Memory"
+        "relation": "DynamicCodeExecution->Cpu"
       },
       {
         "source_category": "DynamicCodeExecution",
-        "sink_axis": "cpu",
+        "sink_axis": "memory",
         "severity_value": 3.5,
         "files": [
           "src/AcceleratorGate.jl"
         ],
         "frameworks": [],
-        "relation": "DynamicCodeExecution->Cpu"
+        "relation": "DynamicCodeExecution->Memory"
       },
       {
         "source_category": "ProofDrift",
         "sink_axis": "cpu",
         "severity_value": 2.5,
         "files": [
-          "test/runtests.jl",
           "test/property_test.jl",
+          "test/runtests.jl",
           "test/e2e_test.jl"
         ],
         "frameworks": [],