Module search 

Shared found/no-path outcome vocabulary (stats-bearing, separate from validation Err). Shared search outcome shape used across Condor lanes.

SearchOutcome separates successful search computation (Found / NoPath, both with stats) from request validation, which remains an outer Result::Err defined by each owner crate. Domain path and stats types implement SearchPathCost and SearchVisitStats so callers can read cost and visit effort without downcasting.

Contract

Owners return Result<SearchOutcome<Path, Stats>, Error>: Err means the request was invalid, could not start, or hit a caller crate::SearchBudget hard stop (crate::BudgetExhausted), while SearchOutcome::Found and SearchOutcome::NoPath are completed searches that proved a route or unreachability. Cost units and visit counts remain lane-specific, so compare them within one solver family only.

Enums

SearchOutcome

Successful search computation, separate from request validation failures.

Traits

SearchPathCost

Path value that exposes the cost reported by its search domain.

SearchVisitStats

Search statistics that expose an algorithm-defined node-visit count.