perspt_sdk/search/
mod.rs

1//! The bounded search plane (PSP-10 systems 19–21).
2//!
3//! Types and deterministic rules only: forests, branches, witnesses,
4//! partial checkpoints, limits with the reservation discipline, and the
5//! Proposition 5 selection order. Execution lives in
6//! `perspt-agent::runtime::search`.
7
8pub mod budget;
9pub mod context;
10pub mod domain_types;
11pub mod forest;
12pub mod select;
13
14pub use budget::{
15    ReservationRequest, ReservationTicket, SearchLimits, SearchUsage, SharedSearchBudget,
16};
17pub use context::{exploration_capability, is_read_only_capability, ProjectMap};
18pub use domain_types::{
19    BranchMeasurement, BranchSelection, DomainMeasurement, SearchContext, SearchStrategy,
20};
21pub use forest::{
22    ObligationRef, PartialCheckpointRef, PromptProgramDigest, SearchBranch, SearchBranchState,
23    SearchEvidenceDigest, SearchForest, WitnessRef,
24};
25pub use select::{frontier_order, select_branch, BranchCandidate, FrontierEntry};
perspt_sdk/search/mod.rs

perspt_sdk/search/
mod.rs
