Skip to main content

Module reach

Module reach 

Source
Expand description

Reachability for id URLs (SPEC-HTTP-OBJECTS §4, D2): a member id is served only when a published ref reaches it. The default is a bounded breadth-first walk from the published refs with a positive-result cache; Reachability is the seam a maintained reachable set (WP-5.3a) will replace it behind.

The walk follows commit and remix parents and trees, tree entries, manifest chunks and tag targets. It never follows remix sources or delta bases (the same edges as mkit_core::ops::graph::children in history mode), and it stops at a tombstoned or blocked object (TakedownGate::stops_descent). A cap never aborts the walk: the object or subtree it hides is skipped and the walk reports Capped only if the target was not found anywhere else.

Structs§

TtlReachability
The default: proofs live for lag_ms, in a table of at most max_entries rows. A rewind or ref deletion is therefore visible within the configured reachability_lag; only Reachability::invalidate forgets one sooner.

Traits§

Reachability
A source of positive reachability answers, consulted before the walk.