I think it's possible that parts of SQLite, for example file format in read only mode and few constant queries are certified as part of some safety critical so

I think it's possible that parts of SQLite, for example file format in read only mode and few constant queries are certified as part of some safety critical software. Hipp's Hwaci consulting company would probably help to do the work, but it has no relation to the SQLite as a library.