Oracle staleness check present

Evidence summary #

Staleness checks confirmed: Pyth adapter enforces 10-minute max staleness; ChainlinkNAV rejects reports older than 1 week (per Certora recommendation); MostRecentOf enforces sources_max_age_s for all configured sources.

Detail #

Scope pyth.rs: 10-minute staleness threshold enforced, checks both current and previous price slots. Scope v0.29.0 release notes: ChainlinkNAV adds staleness check rejecting reports older than 1 week (Certora recommendation). Scope most_recent_of.rs: `now.saturating_sub(dated_price.unix_timestamp) > sources_max_age_s` returns error if any source exceeds configured max age. Staleness is multi-layered and enforced before prices reach klend.

Sources #

Methodology #

Determine whether the protocol rejects oracle reads older than a declared maximum age (i.e., checks `updatedAt > block.timestamp - maxStaleness`).

See the full factor methodology and distribution across all protocols →