perspt-sdk 0.6.6

Domain-neutral SRBN agent SDK for Perspt: residual energy, measured acceptance gate, spectral diagnostics, and stabilization-kernel adapter (PSP-8)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

//! 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`.

pub mod budget;
pub mod context;
pub mod domain_types;
pub mod forest;
pub mod select;

pub use budget::{
    ReservationRequest, ReservationTicket, SearchLimits, SearchUsage, SharedSearchBudget,
};
pub use context::{exploration_capability, is_read_only_capability, ProjectMap};
pub use domain_types::{
    BranchMeasurement, BranchSelection, DomainMeasurement, SearchContext, SearchStrategy,
};
pub use forest::{
    ObligationRef, PartialCheckpointRef, PromptProgramDigest, SearchBranch, SearchBranchState,
    SearchEvidenceDigest, SearchForest, WitnessRef,
};
pub use select::{frontier_order, select_branch, BranchCandidate, FrontierEntry};