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 benchmark::BenchmarkCase;

pub use benchmark::BenchmarkOutcome;

pub use benchmark::BenchmarkReport;

pub use benchmark::BenchmarkResult;

pub use capability::check_admissibility;

pub use capability::ActorId;

pub use capability::AdmissibilityDecision;

pub use capability::AdmissibilityWitness;

pub use capability::ApprovalPolicy;

pub use capability::Capability;

pub use capability::DenyReason;

pub use capability::EffectKind;

pub use capability::EffectProposal;

pub use capability::KernelState;

pub use capability::RecoveryClass;

pub use capability::RiskBudget;

pub use capability::RiskClass;

pub use capability::StateWitness;

pub use certificate::BudgetRef;

pub use certificate::ResidualCertificate;

pub use command::canonicalize;

pub use command::classify_tier;

pub use command::CommandInvocation;

pub use command::CommandTier;

pub use conformal::conformal_threshold;

pub use conformal::decide as conformal_decide;

pub use conformal::is_drifted;

pub use conformal::ks_statistic;

pub use conformal::AcceptOutcome;

pub use conformal::CalibrationSample;

pub use conformal::CalibrationState;

pub use domain::AgentDomainPackage;

pub use domain::DomainDetection;

pub use domain::DomainId;

pub use domain::DomainRegistry;

pub use domain::DomainScope;

pub use domain::ResidualSchema;

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 exploration::exploration_capability;

pub use exploration::is_read_only_capability;

pub use exploration::ExplorationBudget;

pub use exploration::ExplorationReport;

pub use exploration::ExplorationUsage;

pub use exploration::GraphHint;

pub use exploration::ProjectMap;

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::IndependenceStats;

pub use independence::VerdictRecord;

pub use kernel::AgentBarrierResult;

pub use kernel::AgentStabilizationStatus;

pub use kernel::CorrectionDirectionSet;

pub use kernel::Evidence;

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 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 residual::CorrectionDirection;

pub use residual::EnergyComponent;

pub use residual::EvidencePayload;

pub use residual::IndependenceRoute;

pub use residual::ResidualClass;

pub use residual::ResidualEvent;

pub use residual::ResidualEventRef;

pub use residual::ResidualSeverity;

pub use residual::SensorRef;

pub use residual::SymbolRef;

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 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 spectral::VerificationEdge;

pub use spectral::VerificationGraph;

pub use stability::StabilityClaim;

pub use stability::StabilityParameters;

pub use workgraph::EdgeKind;

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_serde;

Modules

benchmark

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

capability

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

certificate

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

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.

exploration

Read-only exploration (PSP-8 System 3).

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 verifier independence (PSP-8 System 6 / Gate G).

kernel

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

ledger

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

observability

Observability projections (PSP-8 System 12).

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).

spectral

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

stability

Analytic stability claims (PSP-8 System 2).

workgraph

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