Towards a computer-assisted exclusion of Rupert's property for the parabigyrate rhombicosidodecahedron

This interim report concerns Johnson solid J73, the parabigyraterhombicosidodecahedron. It presents local exclusion theorems nearcoincidence and contact families and an independent checker using thecertificate rules G, SC, COVER and tube. The accompanying software archive contains the frozen production-statussnapshot and the data specified in its README. Production counters aredistinguished from independently checked mathematical results.The global computation and exhaustive verification of the completecover remain in progress. This report does not assert that J73 isnon-Rupert, and no completion date is given. The software archive and its version-specific DOI are listed amongthe related identifiers. The discovery note has been incorporatedinto this report and is not published as a separate note.