I'm reasonably confident that the lists are accurate[1]. However accuracy isn't a huge worry as they are only used to generate graphs at present. I had intended to make it an error to transition to a node which hadn't been declared as a permitted next node, but have not done that yet. 

[1] I generated them using the flow auditor tool, changed the transition code to raise when transitioning to an undeclared node and ran all the tests.