Update 0001-core-transmutation.md

AlexLB99 · web-flow · commit 53aa3dc684f8 · 2025-07-29T13:22:42.000-04:00
diff --git a/doc/src/challenges/0001-core-transmutation.md b/doc/src/challenges/0001-core-transmutation.md
@@ -1,6 +1,6 @@
 # Challenge 1: Verify `core` transmuting methods
 
-- **Status:** Open
+- **Status:** Resolved
 - **Tracking Issue:** [#19](https://github.com/model-checking/verify-rust-std/issues/19)
 - **Start date:** *2024/06/12*
 - **End date:** *2025/04/10*
