diff --git a/scripts/kani-std-analysis/metrics-data-alloc.json b/scripts/kani-std-analysis/metrics-data-alloc.json
index 074f19a9f26a6..07aa1e25a5986 100644
--- a/scripts/kani-std-analysis/metrics-data-alloc.json
+++ b/scripts/kani-std-analysis/metrics-data-alloc.json
@@ -21,6 +21,28 @@
       "verified_safe_fns_under_contract": 0,
       "verified_safe_fns_with_loop_under_contract": 0,
       "total_functions_under_contract_all_crates": 651
+    },
+    {
+      "date": "2026-10-04",
+      "total_unsafe_fns": 256,
+      "total_unsafe_fns_with_loop": 22,
+      "total_safe_abstractions": 621,
+      "total_safe_abstractions_with_loop": 46,
+      "total_safe_fns": 2352,
+      "total_safe_fns_with_loop": 129,
+      "unsafe_fns_under_contract": 3,
+      "unsafe_fns_with_loop_under_contract": 0,
+      "verified_unsafe_fns_under_contract": 0,
+      "verified_unsafe_fns_with_loop_under_contract": 0,
+      "safe_abstractions_under_contract": 0,
+      "safe_abstractions_with_loop_under_contract": 0,
+      "verified_safe_abstractions_under_contract": 0,
+      "verified_safe_abstractions_with_loop_under_contract": 0,
+      "safe_fns_under_contract": 0,
+      "safe_fns_with_loop_under_contract": 0,
+      "verified_safe_fns_under_contract": 0,
+      "verified_safe_fns_with_loop_under_contract": 0,
+      "total_functions_under_contract_all_crates": 651
     }
   ]
 }
\ No newline at end of file
diff --git a/scripts/kani-std-analysis/metrics-data-core.json b/scripts/kani-std-analysis/metrics-data-core.json
index 1e87e034ad0a3..7bf42bbca5ea5 100644
--- a/scripts/kani-std-analysis/metrics-data-core.json
+++ b/scripts/kani-std-analysis/metrics-data-core.json
@@ -1414,6 +1414,28 @@
       "verified_safe_fns_under_contract": 0,
       "verified_safe_fns_with_loop_under_contract": 0,
       "total_functions_under_contract_all_crates": 651
+    },
+    {
+      "date": "2026-10-04",
+      "total_unsafe_fns": 7199,
+      "total_unsafe_fns_with_loop": 23,
+      "total_safe_abstractions": 1905,
+      "total_safe_abstractions_with_loop": 110,
+      "total_safe_fns": 15747,
+      "total_safe_fns_with_loop": 790,
+      "unsafe_fns_under_contract": 312,
+      "unsafe_fns_with_loop_under_contract": 3,
+      "verified_unsafe_fns_under_contract": 278,
+      "verified_unsafe_fns_with_loop_under_contract": 1,
+      "safe_abstractions_under_contract": 280,
+      "safe_abstractions_with_loop_under_contract": 0,
+      "verified_safe_abstractions_under_contract": 280,
+      "verified_safe_abstractions_with_loop_under_contract": 0,
+      "safe_fns_under_contract": 320,
+      "safe_fns_with_loop_under_contract": 1,
+      "verified_safe_fns_under_contract": 317,
+      "verified_safe_fns_with_loop_under_contract": 1,
+      "total_functions_under_contract_all_crates": 651
     }
   ]
 }
\ No newline at end of file
diff --git a/scripts/kani-std-analysis/metrics-data-std.json b/scripts/kani-std-analysis/metrics-data-std.json
index 5138aedc0a3e2..1c66b835de5ab 100644
--- a/scripts/kani-std-analysis/metrics-data-std.json
+++ b/scripts/kani-std-analysis/metrics-data-std.json
@@ -1297,6 +1297,28 @@
       "verified_safe_fns_under_contract": 0,
       "verified_safe_fns_with_loop_under_contract": 0,
       "total_functions_under_contract_all_crates": 651
+    },
+    {
+      "date": "2026-10-04",
+      "total_unsafe_fns": 183,
+      "total_unsafe_fns_with_loop": 12,
+      "total_safe_abstractions": 537,
+      "total_safe_abstractions_with_loop": 48,
+      "total_safe_fns": 4203,
+      "total_safe_fns_with_loop": 187,
+      "unsafe_fns_under_contract": 10,
+      "unsafe_fns_with_loop_under_contract": 1,
+      "verified_unsafe_fns_under_contract": 7,
+      "verified_unsafe_fns_with_loop_under_contract": 0,
+      "safe_abstractions_under_contract": 0,
+      "safe_abstractions_with_loop_under_contract": 0,
+      "verified_safe_abstractions_under_contract": 0,
+      "verified_safe_abstractions_with_loop_under_contract": 0,
+      "safe_fns_under_contract": 0,
+      "safe_fns_with_loop_under_contract": 0,
+      "verified_safe_fns_under_contract": 0,
+      "verified_safe_fns_with_loop_under_contract": 0,
+      "total_functions_under_contract_all_crates": 651
     }
   ]
 }
\ No newline at end of file