Expand description
Server-lifetime serving freshness (ADR-105) — port of
services/freshness.py FreshnessTracker for the long-lived MCP server
(INDEX-PLAN B6).
Detection uses an event-driven clean accelerator where the platform can provide a synchronous barrier, otherwise the stat-manifest scan. Events never compute the changed set: any dirty or uncertain signal falls back to the authoritative scan. Whatever the rung, the served read-model is built from the tracker’s incrementally maintained generations, byte-identical to a fresh whole-corpus walk at the current corpus state.
Structs§
Enums§
- Tracker
Model - What the tracker currently serves: the memory-mapped base (delta-empty), or the re-derived snapshot bundle (the delta window).