Resolution

Before the deadline, check() reads the resolver. A successful true result immediately resolves YES. A false result leaves the market open. After the deadline, expire() resolves NO.

AtDeadline is a core market mode, not a price-template feature. Calls before the deadline revert. The first successful reader call from the deadline until the one-hour cutoff resolves to YES or NO; failed reads remain retryable during that window. At the cutoff, check() or expire() resolves NO without another reader call.

Predistate wraps IState.read() in a static call. A revert or malformed return emits ReaderCallFailed. In a Before deadline market, the market remains unresolved while the condition is false; after expiry it resolves NO. In At deadline mode, failed reads remain unresolved and retryable until the one-hour cutoff, which resolves NO.