diff --git a/doc/src/challenges/0001-core-transmutation.md b/doc/src/challenges/0001-core-transmutation.md
index 66352a0ecb273..5993e8a402bb9 100644
--- 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*