Module search 

The bounded search plane (PSP-10 systems 19–21).

Types and deterministic rules only: forests, branches, witnesses, partial checkpoints, limits with the reservation discipline, and the Proposition 5 selection order. Execution lives in perspt-agent::runtime::search.

Re-exports

pub use budget::ReservationRequest;

pub use budget::ReservationTicket;

pub use budget::SearchLimits;

pub use budget::SearchUsage;

pub use budget::SharedSearchBudget;

pub use context::exploration_capability;

pub use context::is_read_only_capability;

pub use context::ProjectMap;

pub use domain_types::BranchMeasurement;

pub use domain_types::BranchSelection;

pub use domain_types::DomainMeasurement;

pub use domain_types::SearchContext;

pub use domain_types::SearchStrategy;

pub use forest::ObligationRef;

pub use forest::PartialCheckpointRef;

pub use forest::PromptProgramDigest;

pub use forest::SearchBranch;

pub use forest::SearchBranchState;

pub use forest::SearchEvidenceDigest;

pub use forest::SearchForest;

pub use forest::WitnessRef;

pub use select::frontier_order;

pub use select::select_branch;

pub use select::BranchCandidate;

pub use select::FrontierEntry;

Modules

budget

Search limits, monotone usage, and the reservation discipline (PSP-10 Definition 5, system 20, Gate AC).

context

Search context and the re-homed deterministic repository map (PSP-10 Compatibility: ProjectMap moves here from the removed exploration module as the seed of SearchContext; the read-only explorer capability moves with it).

domain_types

Search-plane data types (PSP-10 system 19; minimal Phase 6 subset).

forest

The bounded search forest (PSP-10 system 19, Definitions 2–3).

select

Deterministic selection and frontier ordering (PSP-10 Proposition 5, system 19).