Racket
(save-store s path) -> path? |
(load-store path) -> store? |
One s-expression per store. The loader validates shape, rejects foreign
files with exn:fail:sonar, and re-normalizes vectors so any store in
memory satisfies the same invariant: unit embeddings, consistent dimension.