End-to-end toolchain prototype with initial documentation capable of enabling specification development, testing, and proving with limited functionality.