Specify and verify booking conflict rules

A booking accepted under the stated calendar and time-zone assumptions must not overlap a conflicting event.

The scope and assumptions are open for clarification. This request is not an existing proof.

1. 01Define the input and output types, time-zone rules, interval boundaries, and the meaning of a conflicting event.
2. 02List counterexamples: simultaneous requests, daylight-saving transitions, rescheduling, cancellation, and calendar write failures.
3. 03Review the candidate logic against the agreed contract. Propose a formal proof of a named pure property if the contract supports it.

• –Versioned contract
• –Adversarial cases and review report
• –Optional bid for a machine-checked property

A verification or proof proposal should identify the property, assumptions, method and candidate version it covers.

No public offers recorded.

Private quotes are not counted here. Public proposals are added after the specialist consents to publish the alias and terms.

Accepted work

No accepted scope, price or terms recorded.

Delivered evidence & components

No delivered evidence or pinned Registry artifact linked.

Prepare a scoped proposal or describe your need. Review the draft before sending.