Struct StandingRoots 

pub struct StandingRoots { /* private fields */ }

The sole state owner for standing roots. subc::standing invokes this at startup and from the existing subc maintenance timer; daemonless paths may read the same durable rows but cannot start background maintenance here.

Implementations

impl StandingRoots

pub fn reconcile( &self, config: &Config, ) -> Result<StandingReconcileReport, StandingRootsError>

Reconcile one validated user-tier configuration snapshot. A configuration replacement revokes stale admissions before any obsolete worker can publish; new kinds remain durably strict until their own verification.

pub fn entries(&self) -> Vec<StandingRootEntry>

pub fn admit_build(&self, literal_path: &str) -> Option<StandingBuildAdmission>

Admit a standing build and capture its lifecycle epoch. The caller must carry publication.admission_epoch through its Standing limiter permit.

pub fn begin_case_a_bind( &self, literal_path: &str, ) -> Result<BindTransition, StandingRootsError>

Begin a session bind by revoking standing admissions, advancing the publication epoch, marking relevant freshness rows, and signaling cancellation. The bounded worker join occurs after releasing the lock.

pub fn wait_for_case_a_checkpoint( &self, literal_path: &str, ) -> Result<bool, StandingRootsError>

Bind may wait for one checkpoint acknowledgement but never indefinitely.

pub fn resume_after_session( &self, literal_path: &str, session_maintained: &[IndexKind], ) -> Result<(), StandingRootsError>

Resume standing ownership after a session unbind. Any standing kind that the session did not prove current is set strict before the next pass.

pub fn mark_observation_gap( &self, literal_path: &str, kinds: &[IndexKind], ) -> Result<(), StandingRootsError>

Mark an observation gap such as suspension/resume, a watcher gap (for a root that has a watcher), or CLI-snapshot-to-query handoff. This durable set is paired with record_strict_verification below.

pub fn record_strict_verification( &self, literal_path: &str, kind: IndexKind, ) -> Result<(), StandingRootsError>

Clear a durable gap only after a successful current-state strict verify. The outcome timestamp and clear share one SQLite transaction in the standing-roots database API, so a crash before commit leaves the flag set.

pub fn route_explicit_path( &self, query_path: &Path, kind: IndexKind, ) -> Result<StandingRoute, StandingRouteError>

Route an explicit path through overlapping entries by deepest recorded path then configuration order. If no candidate supports the requested kind, preserve the deepest entry in the typed unavailable result.

pub fn publish_if_current<R>( &self, literal_path: &str, admission: StandingPublicationAdmission, writer_lease: &WriterLease, fingerprint_is_current: impl FnOnce() -> bool, generation_is_current: impl FnOnce() -> bool, publish_and_rename: impl FnOnce() -> R, ) -> Result<Option<R>, StandingRootsError>

Execute a standing publication while ArtifactPublishEpoch holds its exclusive per-root mutex continuously across WriterLease validation, admission comparison, caller-supplied fingerprint/generation comparisons, and the final rename closure. A failed comparison is a no-op.

Trait Implementations

impl Clone for StandingRoots

fn clone(&self) -> StandingRoots

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Default for StandingRoots

fn default() -> StandingRoots

Returns the “default value” for a type.