It should be possible to support modules with circular dependenices. The expected behavior is that when the module package graph is built, the graph includes all exported entries from every dependency excluding itself. The package index map should be changed from mapping to exported classes to mapping to local classes. An extra layer of export filtering may be necessary.