pub struct Psp9RunConfig {Show 18 fields
pub max_turns: u32,
pub max_calls_per_turn: u32,
pub rejection_budget: u32,
pub rho_gate: f64,
pub approval_policy: ApprovalPolicy,
pub allow_unisolated_verifiers: bool,
pub max_parallel_verifiers: usize,
pub persistent_grants: bool,
pub allow_dependency_mutation: bool,
pub max_parallel_nodes: usize,
pub turn_deadline_secs: u64,
pub require_format: bool,
pub test_policy: TestPolicy,
pub external_oracle: Option<ExternalOracleConfig>,
pub verifier_timeouts: VerifierTimeouts,
pub resident: ResidentReserves,
pub ablate_correction_packets: bool,
pub ablate_context_paging: bool,
}Expand description
Finite settings for one PSP-9 run.
Fields§
§max_turns: u32§max_calls_per_turn: u32§rejection_budget: u32§rho_gate: f64§approval_policy: ApprovalPolicy§allow_unisolated_verifiers: boolExplicit reduced-isolation mode for hosts without a registered process sandbox, or embedders that isolate the complete Perspt process.
max_parallel_verifiers: usize§persistent_grants: boolPersist signed grant intent across sessions. Disabled by default; resume still re-mints fresh, epoch-bound capabilities.
allow_dependency_mutation: boolExplicit opt-in for governed dependency mutation (Gate J). Off by
default: MutateDependencies stays withheld from every grant.
max_parallel_nodes: usizeConcurrent work-graph nodes (Gate P). 1 keeps the single-node path verbatim; above 1 the multi-node dispatcher runs and a governed architect planning turn may decompose the task.
turn_deadline_secs: u64Per-model-call wall-clock deadline (seconds). Exceeding it is a transport failure that consumes sticky failover.
require_format: boolDeclare the plugin format verifier stage as an acceptance sensor
([verification] require_format). Off by default.
test_policy: TestPolicyHow project tests contribute to acceptance. Ordinary development uses
Evolving; stronger regression or protected-oracle evidence is
deliberately opt-in.
external_oracle: Option<ExternalOracleConfig>Protected acceptance material for TestPolicy::ExternalOracle.
verifier_timeouts: VerifierTimeoutsPer-stage governed verifier wall-clock limits
([verification] stage_timeout_secs + per-stage overrides).
resident: ResidentReservesDefinition 6 context reserves and working-set bounds ([context]).
ablate_correction_packets: boolSeven-arm evaluation ablation: drop typed correction packets and fall back to the legacy first-direction text. Never set in production configurations.
ablate_context_paging: boolSeven-arm evaluation ablation: skip live resident-context paging. Never set in production configurations.
Trait Implementations§
Source§impl Clone for Psp9RunConfig
impl Clone for Psp9RunConfig
Source§fn clone(&self) -> Psp9RunConfig
fn clone(&self) -> Psp9RunConfig
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Debug for Psp9RunConfig
impl Debug for Psp9RunConfig
Auto Trait Implementations§
impl Freeze for Psp9RunConfig
impl RefUnwindSafe for Psp9RunConfig
impl Send for Psp9RunConfig
impl Sync for Psp9RunConfig
impl Unpin for Psp9RunConfig
impl UnsafeUnpin for Psp9RunConfig
impl UnwindSafe for Psp9RunConfig
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more§impl<T> Pointable for T
impl<T> Pointable for T
§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
self from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
self is actually part of its subset T (and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
self.to_subset but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
self to the equivalent element of its superset.