.. architecture.md path-a-notes.md production-readiness.md testing.md typestate-and-orthogonal-isa.md