Why didn't they ask Claude to remove all of the `unsafe` at the same time??
"at the same time" is a recipe for failure with coding agents.
You want to port it as faithfully as possible to the original, porting it bug-for-bug, quirk-for-quirk. Then, over time, after the port has been proven to be as identical to the original as possible, you can gradually fix those kinds of internals.
That's why TypeScript's tsgo native port is so good.