The validation tools and formal specification are open for pull requests. Help define the future of open storage.