fig3

Figure 3. Illustrative disagreement between two executable oracles for one booking attempt: (A) the return-status check passes; (B) the persistent-state check fails because the calendar query returns no matching event. A shared oracle type does not imply equal requirement coverage.