More jigsaw spec clarifications

[Alex Buckley]

On 1/23/2012 11:28 AM, Jonathan Gibbons wrote:
> Anyway, you changed the subject to one of implementation detail. I was
> asking about the spec :-) Where should I look for specification details
> about the restrictions on duplicate names in the module graph.

Doesn't the "big picture" draft on the Jigsaw project page have 
assertions sprinkled throughout? Or the javadoc for java.lang.module or 
its org.openjdk.jigsaw counterpart?

Alex