This archive contains our core team documents, including our Team Inventory and Team Standards. Additional documents can be added here as the project progresses.
Original sponsor-provided project concept describing the initial motivation and goals for MidGARD.
Summarizes team member backgrounds, skills, roles, and responsibilities at the start of the project.
Defines team communication expectations, coding practices, meeting norms, and project workflow standards.
Evaluates candidate technologies and justifies the project’s use of Rust, TLA+, TLC, Graphviz, and graph-analysis tooling.
Provides the detailed requirements baseline for MidGARD, including functional requirements, constraints, and sponsor-driven expectations.
These links provide reference material and official documentation for the tools, languages, and formal methods used throughout the MidGARD project. This section can grow as we incorporate additional technologies.