It seems feasible, but I haven't thought enough it. One challenge is that as you Rustify the code, it's harder to keep the 1-1 mapping with C interfaces. Someti

It seems feasible, but I haven't thought enough it. One challenge is that as you Rustify the code, it's harder to keep the 1-1 mapping with C interfaces. Sometimes to make it more Rust-y, you might want an internal function or structure to change. You then lose your low-level fuzz tests. That said, you could have the LLM write equivalence tests, and you'd still have the top-level fuzz tests for validation. So I wouldn't say it's impossible, just a bit harder to mechanize directly.