All Social Media Post

@@ -1216,6 +1216,28 @@
  "verified_safe_fns_under_contract": 112,
  "verified_safe_fns_with_loop_under_contract": 1,
  "total_functions_under_contract_all_crates": 424
+ },
+ {
+ "date": "2026-06-21",
+ "total_unsafe_fns": 7166,
+ "total_unsafe_fns_with_loop": 22,
+ "total_safe_abstractions": 1899,
+ "total_safe_abstractions_with_loop": 90,
+ "total_safe_fns": 16120,
+ "total_safe_fns_with_loop": 783,
+ "unsafe_fns_under_contract": 290,
+ "unsafe_fns_with_loop_under_contract": 3,
+ "verified_unsafe_fns_under_contract": 254,
+ "verified_unsafe_fns_with_loop_under_contract": 1,
+ "safe_abstractions_under_contract": 77,
+ "safe_abstractions_with_loop_under_contract": 0,
+ "verified_safe_abstractions_under_contract": 77,
+ "verified_safe_abstractions_with_loop_under_contract": 0,
+ "safe_fns_under_contract": 115,
+ "safe_fns_with_loop_under_contract": 1,
+ "verified_safe_fns_under_contract": 112,
+ "verified_safe_fns_with_loop_under_contract": 1,
+ "total_functions_under_contract_all_crates": 424
  }
  ]
 }

Car Launch Icon

@@ -1099,6 +1099,28 @@
  "verified_safe_fns_under_contract": 0,
  "verified_safe_fns_with_loop_under_contract": 0,
  "total_functions_under_contract_all_crates": 424
+ },
+ {
+ "date": "2026-06-21",
+ "total_unsafe_fns": 183,
+ "total_unsafe_fns_with_loop": 12,
+ "total_safe_abstractions": 517,
+ "total_safe_abstractions_with_loop": 44,
+ "total_safe_fns": 4133,
+ "total_safe_fns_with_loop": 186,
+ "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": 424
  }
  ]
 }