How do we know if these models weren’t trained on Turso’s rewrite of SQLite in Rust?

It seems both likely that they were and impossible to remove that code from pretraining. Doesn’t that make this just about LLM memorization of the training set? What am I missing?