Auros-ShipConstructor Structural Interface for Automated Compliance Checking