Package synthesis from random matrix + product generation +
configuration semantics evaluation