Crate perspt_sdk 

Perspt SRBN Agent SDK

perspt-sdk is the domain-neutral control plane for Perspt’s SRBN agent platform (PSP-8). It owns the SRBN stability contract — residual evidence, the canonical quadratic energy, the measured acceptance gate, the spectral energy-slope diagnostic, verifier independence, analytic stability claims, residual certificates, and the [srbn] kernel adapter — while domain packages such as perspt-coding provide task-specific residual construction, weights, and correction directions.

SRBN contract at a glance

• Residuals carry a raw non-negative magnitude r_e >= 0 (residual::ResidualEvent).
• The single gating energy is V(x) = sum_e w_e ||r_e||^2 (energy::score_candidate); the component rollups V_syn..V_sheaf are derived projections, not independently weighted sums.
• Acceptance is the measured discrete gate accept(y) <=> hard(y) OR V(y) <= V(x_best) - rho_gate (gate::evaluate_gate), with the finite-decision bound floor(V_0 / rho_gate) + B + 1 (gate::finite_decision_bound).
• The spectral constant mu = 2 lambda_min+(A) is computed off the critical path from the verification graph (spectral::VerificationGraph::mu).
• Continuous constants alpha, beta, delta, L, eta are optional and remain NotClaimed for the coding domain (stability::StabilityClaim).
• Exhaustion yields a certificate::ResidualCertificate, an honest stop.

This is the Phase-0/1 foundation (plus the spectral and verifier-independence pieces of Phase 5). Later phases — the mutable scheduler, capability kernel, replay ledger, exploration/model routing, calibrated risk budgets, and dashboards — build on these contracts.

Re-exports

pub use admissibility::check_full_admissibility;

pub use admissibility::promote;

pub use admissibility::AdmissibilityProfile;

pub use admissibility::BarrierEvaluator;

pub use admissibility::BarrierWitness;

pub use admissibility::CandidateStateWitness;

pub use admissibility::CandidateTransition;

pub use admissibility::ClauseId;

pub use admissibility::ContractEvaluator;

pub use admissibility::ContractWitness;

pub use admissibility::FullAdmissibilityWitness;

pub use benchmark::BenchmarkCase;

pub use benchmark::BenchmarkOutcome;

pub use benchmark::BenchmarkReport;

pub use benchmark::BenchmarkResult;

pub use capability::check_admissibility;

pub use capability::grant_public_key;

pub use capability::hex_decode;

pub use capability::hex_encode;

pub use capability::ActorId;

pub use capability::AdmissibilityDecision;

pub use capability::AdmissibilityWitness;

pub use capability::ApprovalPolicy;

pub use capability::Capability;

pub use capability::CapabilityRole;

pub use capability::DenyReason;

pub use capability::EffectKind;

pub use capability::EffectProposal;

pub use capability::GrantPolicy;

pub use capability::KernelState;

pub use capability::RecoveryClass;

pub use capability::RiskBudget;

pub use capability::RiskClass;

pub use capability::SignedGrantPolicy;

pub use capability::StateWitness;

pub use certificate::BudgetRef;

pub use certificate::ResidualCertificate;

pub use checkpoint::ContextCheckpoint;

pub use checkpoint::ControlFrame;

pub use command::canonicalize;

pub use command::classify_tier;

pub use command::CommandInvocation;

pub use command::CommandTier;

pub use conformal::accepted_unsafe_rate;

pub use conformal::conformal_threshold_checked;

pub use conformal::decide;

pub use conformal::decide as conformal_decide;

pub use conformal::is_drifted;

pub use conformal::ks_statistic;

pub use conformal::readiness;

pub use conformal::sample_floor;

pub use conformal::AcceptOutcome;

pub use conformal::CalibrationReadiness;

pub use conformal::CalibrationSample;

pub use conformal::CalibrationState;

pub use conformal::CalibrationStratum;

pub use conformal::ThresholdOutcome;

pub use domain::AgentDomainPackage;

pub use domain::BarrierChannel;

pub use domain::BarrierSpec;

pub use domain::DomainDetection;

pub use domain::DomainId;

pub use domain::DomainPromptLibrary;

pub use domain::DomainRegistry;

pub use domain::DomainScope;

pub use domain::EmptyDomainPromptLibrary;

pub use domain::HardGatePolicy;

pub use domain::ResidualSchema;

pub use domain::SafetyBarrierDisposition;

pub use domain::VerificationCadence;

pub use domain::VerifierSuiteSpec;

pub use domain::WorkspaceSnapshot;

pub use energy::score_candidate;

pub use energy::EnergyComponents;

pub use energy::EnergyModel;

pub use energy::EnergyScore;

pub use energy::ResidualWeight;

pub use error::Result;

pub use error::SdkError;

pub use gate::evaluate_gate_with_floor;

pub use gate::NodeTerminalOutcome;

pub use gate::evaluate_gate;

pub use gate::finite_decision_bound;

pub use gate::AcceptedTrajectory;

pub use gate::GateDecision;

pub use gate::GateDecisionRef;

pub use goal::goal_presence_residual;

pub use goal::goal_presence_sensor;

pub use goal::missing_symbols;

pub use goal::GoalSpec;

pub use independence::compute as compute_independence;

pub use independence::compute_with_floor;

pub use independence::pairwise_joint_miss;

pub use independence::EnsembleCertification;

pub use independence::IndependenceStats;

pub use independence::PairStats;

pub use independence::VerdictRecord;

pub use kernel::policy_restore_best;

pub use kernel::stabilize_realized;

pub use kernel::AgentBarrierResult;

pub use kernel::AgentStabilizationStatus;

pub use kernel::CorrectionDirectionSet;

pub use kernel::Evidence;

pub use ledger::audit_replay;

pub use ledger::require_recorded;

pub use ledger::AuditReport;

pub use ledger::content_hash;

pub use ledger::replay_accepted_trajectory;

pub use ledger::ExternalEffectLog;

pub use ledger::IdempotencyLog;

pub use ledger::Ledger;

pub use ledger::LedgerEvent;

pub use ledger::LedgerRecord;

pub use model::CapabilityDegradation;

pub use model::Conversation;

pub use model::ConversationDelta;

pub use model::ConversationDeltaRecord;

pub use model::ConversationProjection;

pub use model::ConversationSeeded;

pub use model::GenerationOptions;

pub use model::Message;

pub use model::ModelFamily;

pub use model::ModelId;

pub use model::ModelTransport;

pub use model::ProviderCapabilities;

pub use model::ProviderCapabilityMask;

pub use model::ProviderToolCall;

pub use model::ToolChoicePolicy;

pub use model::ToolSpec;

pub use model::TransportFuture;

pub use model::TurnOutput;

pub use model::CONVERSATION_EVENT_SCHEMA_VERSION;

pub use observability::arriving_potential_per_step;

pub use observability::backlog_gauge;

pub use observability::phi;

pub use observability::residual_heatmap;

pub use observability::CapabilityAudit;

pub use observability::ResidualHeatmap;

pub use observability::TrajectoryProjection;

pub use observability::WorkflowPotential;

pub use recovery::classify_failure;

pub use recovery::CascadeClass;

pub use recovery::CascadeLevel;

pub use recovery::FailureKind;

pub use recovery::GrantedControl;

pub use recovery::RecoveryCascade;

pub use residual::AffectedSet;

pub use residual::CorrectionDirection;

pub use residual::CorrectionOperator;

pub use residual::CorrectionPacket;

pub use residual::CorrectionPacketRef;

pub use residual::EnergyComponent;

pub use residual::EvidencePayload;

pub use residual::IndependenceRoute;

pub use residual::MissingSensorDecl;

pub use residual::NoGoodRef;

pub use residual::ResidualClass;

pub use residual::ResidualClusterRef;

pub use residual::ResidualEvent;

pub use residual::ResidualEventRef;

pub use residual::ResidualSeverity;

pub use residual::SensorRef;

pub use residual::StructuredDiagnosticRef;

pub use residual::SymbolRef;

pub use routing::resolve_portfolio_route;

pub use routing::resolve_route;

pub use routing::AgentPhase;

pub use routing::ModelBudget;

pub use routing::ModelRoute;

pub use routing::ModelTier;

pub use routing::ModelTierConfig;

pub use routing::PortfolioModels;

pub use routing::PortfolioRoute;

pub use routing::RouteObjective;

pub use scheduler::recovery_is_total;

pub use scheduler::repair_to_effects;

pub use scheduler::ExecutionLease;

pub use scheduler::Footprint;

pub use scheduler::LeaseKind;

pub use scheduler::LeaseTable;

pub use scheduler::NodeOutcome;

pub use scheduler::RepairAction;

pub use scheduler::Resource;

pub use scheduler::Scheduler;

pub use scheduler::SchedulerEffect;

pub use search::exploration_capability;

pub use search::is_read_only_capability;

pub use search::BranchMeasurement;

pub use search::BranchSelection;

pub use search::DomainMeasurement;

pub use search::PartialCheckpointRef;

pub use search::ProjectMap;

pub use search::SearchBranch;

pub use search::SearchBranchState;

pub use search::SearchContext;

pub use search::SearchForest;

pub use search::SearchLimits;

pub use search::SearchStrategy;

pub use search::SearchUsage;

pub use search::WitnessRef;

pub use spectral::VerificationEdge;

pub use spectral::VerificationGraph;

pub use stability::admit_analytic_path;

pub use stability::AnalyticPathVerdict;

pub use stability::BoundMode;

pub use stability::CertifiedBound;

pub use stability::ProxyGeometry;

pub use stability::RealizabilityClaim;

pub use stability::StabilityClaim;

pub use stability::StabilityParameters;

pub use toolset::admit_external_tool;

pub use toolset::base_entries;

pub use toolset::AccessMode;

pub use toolset::ConcurrencyClass;

pub use toolset::ExternalToolDeclaration;

pub use toolset::FootprintSpec;

pub use toolset::HandlerContext;

pub use toolset::HandlerServices;

pub use toolset::MultiValueTarget;

pub use toolset::NetworkService;

pub use toolset::ObservationService;

pub use toolset::ProcessService;

pub use toolset::ProposalBinding;

pub use toolset::ResourceSelector;

pub use toolset::StaticCatalog;

pub use toolset::ToolCatalog;

pub use toolset::ToolDescriptionLibrary;

pub use toolset::ToolDispatcher;

pub use toolset::ToolEntry;

pub use toolset::ToolExecution;

pub use toolset::ToolHandler;

pub use toolset::ToolOrigin;

pub use toolset::WorkspaceService;

pub use workgraph::EdgeKind;

pub use workgraph::GraphEdit;

pub use workgraph::GraphRevisionReason;

pub use workgraph::GraphValidationReport;

pub use workgraph::NodeClass;

pub use workgraph::WorkEdge;

pub use workgraph::WorkGraphRevision;

pub use workgraph::WorkNode;

pub use workgraph::WorkNodeState;

pub use srbn;

pub use srbn_ledger;

pub use srbn_serde;

Modules

admissibility

The five-clause admissibility kernel (PSP-9 system 12, Paper III Definition 3.2).

benchmark

Benchmark harness and metrics (PSP-8 System 13).

canon

Domain-tagged canonical byte encoding (PSP-10 system 23).

capability

Capability-constrained admissibility kernel (PSP-8 System 7).

certificate

Residual certificate (PSP-8 System 2 / Gate B).

checkpoint

Context checkpoints (PSP-9 system 14).

command

Typed command IR and governance tiers (PSP-8 System 8).

conformal

Calibrated risk budgets via conformal risk control (PSP-8 System 7).

domain

Domain-package contract (PSP-8 System 1 / System 5).

energy

Canonical quadratic residual energy (PSP-8 System 2).

error

SDK error type.

gate

Measured acceptance gate and finite-decision bound (PSP-8 System 2).

goal

Goal-presence sensor (PSP-8): the verifier that refuses false stability.

independence

Measured validator dependence (PSP-9 system 8, Paper III Lemma 5.1 and Corollary 5.2).

kernel

SRBN kernel adapter (PSP-8 System 2 / Gate A).

ledger

Event-sourced replay ledger and durable-execution obligations (PSP-8 System 11).

model

Model plane identity and contract types (PSP-9 systems 1–2, Layer A).

observability

Observability projections (PSP-8 System 12).

prompt

The model-conditioned prompt plane (PSP-10 systems 23–25).

recovery

The recovery lattice (PSP-9 system 11, Paper III Definition 8.1 and Theorem 6).

residual

Residual evidence model (PSP-8 System 6).

routing

Phase-aware model routing (PSP-8 System 3).

scheduler

Dependency-aware parallel ready-queue scheduler (PSP-8 System 4).

scope

Glob-like scope patterns shared by capabilities and grant policies (split from capability.rs under the file-length rules).

search

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

spectral

Spectral energy-slope constant mu (PSP-8 System 2 / Gate G).

stability

Analytic stability claims (PSP-8 System 2).

toolset

The typed tool catalog (PSP-9 system 5, Layer B).

workgraph

Mutable, revisioned work graph (PSP-8 System 4).