widenJar

fun widenJar(jar: File, names: List<String>)

Widen every names entry of jar into this shard. Opens its OWN ZipFile, so workers on other shards inflate independently — sharing one would serialize them all on that ZipFile's internal lock.