Will the White House call a full lid by 6:30 PM on October 12?

A "full lid" at the White House is an official announcement indicating that the President's public activities for the day have concluded and no further public events, appearances, or news are expected. This market will resolve to “Yes” if the White House Press Office calls a full lid for the specified date by 6:30 PM ET on that date. Otherwise, this market will resolve to “No”. Only a full lid will qualify; lunch lids, intermissions, or any other press lid not explicitly listed as a full lid w