I am getting closer and closer to a full verified rewrite in Rust. I have also moved to a much easier sqlite relational structure for the backend. I actually s

I am getting closer and closer to a full verified rewrite in Rust. I have also moved to a much easier sqlite relational structure for the backend. I actually sidestepped the annoying btrieve problem by exporting the data using a go binary [0] and I write it to a sqlite instance with raw byte arrays (blobs). btreive is weird because it has a dll but also a a service to interact with the files. P.s. I have spent a lot of hours on this mainly to learn actual LLM capabilities that have improved a huge amount in the last year. [0] https://github.com/barchart/go-btrieve https://github.com/barchart/go-btrieve