Docs: correct migration count, RF model size, shared-lib path
docs: refresh schema/architecture/description/troubleshooting
Update docs, audit review, and Cargo.lock for v0.4.0