Defines revision-gated caching, stale-while-revalidate, section split for recent_progress, mutation invalidation, and bridge-path verification.
