A customer has an existing Marketo instance with the workspaces and lead partitions configuration in the image below.

Each country has their own workspace and partition, and the Default workspace is used by the Marketo administrators for admin and operational programs. They have a lead routing program set up in the Default workspace that routes new leads and reroutes existing leads to the correct lead partition based on the country field. The Australian marketing team is responsible for creating marketing programs within their workspace, and the team recently ran a live event. They had a number of leads register for their event via a form and event program in the Australia workspace, but they were not on the registration list when the event ran, resulting in frustrations at the door when checking in attendees.
Which troubleshooting step can be taken to avoid this issue in the future?