At times Codex makes mistake when the PR is made.
Consider this example where Codex has made small changes in the files below.
Note the modest number of changed characters in runtime-wasm.rkt.
Now the PR made by Codex erased all contents of
runtime-wasm.rkt and replaced with a snippet instead. Github shows −20,456 .
[As a new user I couldn’t insert the image from Github.]
What can be done?
Note: runtime-wasm.rkt is large (~20000 lines) but not unreasonable large.