Israel x Hamas ceasefire before August?

Rules

On March 17, 2025 Israel announced extensive strikes
on terror targets belonging to the Hamas terrorist organization
in the Gaza Strip ending a previous ceasefire agreement
which had been agreed on January 15, 2025.
See:
https://x.com/IDF/status/1901802698237935705

This market will resolve to "Yes"
if there is an official ceasefire agreement, defined as
a publicly announced and mutually agreed halt in military
engagement, between Israel and Hamas
between 2025-07-07 and 2025-07-31 16:00 UTC.

If the agreement is officially reached before the resolution
date, this market will resolve to "Yes", regardless
of whether the ceasefire officially starts afterwards.

An announced agreement to reinstate the previous agreed
upon January 15, 2025 ceasefire deal will qualify.

Any form of informal agreement will not be considered
an official ceasefire.

Humanitarian pauses will not count toward the resolution
of this market.

This market's resolution will be based on official
announcements from both Israel and Hamas.

However a wide consensus of credible media reporting
stating an official ceasefire agreement between Israel
and Hamas has been reached will suffice.