J0: copied premises and their domains

The manuscript inputs below are used with their stated domains. Their inclusion is not an independent verification of every predecessor claim. No pole identity, incidence inventory, elementary phase, or transition geometry is re-proved.