perspt-sdk 0.6.6

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

#![forbid(unsafe_code)]
#![warn(missing_debug_implementations)]

pub mod admissibility;
pub mod benchmark;
pub mod canon;
pub mod capability;
pub mod certificate;
pub mod checkpoint;
pub mod command;
pub mod conformal;
pub mod domain;
pub mod energy;
pub mod error;
pub mod gate;
pub mod goal;
pub mod independence;
pub mod kernel;
pub mod ledger;
pub mod model;
pub mod observability;
pub mod prompt;
pub mod recovery;
pub mod residual;
pub mod routing;
pub mod scheduler;
pub mod scope;
pub mod search;
pub mod spectral;
pub mod stability;
pub mod toolset;
pub mod workgraph;

// Re-export the published kernel crates so consumers depend on one SRBN source.
pub use srbn;
pub use srbn_ledger;
pub use srbn_serde;

// Convenience re-exports of the most-used SDK types.
pub use admissibility::{
    check_full_admissibility, promote, AdmissibilityProfile, BarrierEvaluator, BarrierWitness,
    CandidateStateWitness, CandidateTransition, ClauseId, ContractEvaluator, ContractWitness,
    FullAdmissibilityWitness,
};
pub use benchmark::{BenchmarkCase, BenchmarkOutcome, BenchmarkReport, BenchmarkResult};
pub use capability::{
    check_admissibility, grant_public_key, hex_decode, hex_encode, ActorId, AdmissibilityDecision,
    AdmissibilityWitness, ApprovalPolicy, Capability, CapabilityRole, DenyReason, EffectKind,
    EffectProposal, GrantPolicy, KernelState, RecoveryClass, RiskBudget, RiskClass,
    SignedGrantPolicy, StateWitness,
};
pub use certificate::{BudgetRef, ResidualCertificate};
pub use checkpoint::{ContextCheckpoint, ControlFrame};
pub use command::{canonicalize, classify_tier, CommandInvocation, CommandTier};
pub use conformal::{
    accepted_unsafe_rate, conformal_threshold_checked, decide, decide as conformal_decide,
    is_drifted, ks_statistic, readiness, sample_floor, AcceptOutcome, CalibrationReadiness,
    CalibrationSample, CalibrationState, CalibrationStratum, ThresholdOutcome,
};
pub use domain::{
    AgentDomainPackage, BarrierChannel, BarrierSpec, DomainDetection, DomainId,
    DomainPromptLibrary, DomainRegistry, DomainScope, EmptyDomainPromptLibrary, HardGatePolicy,
    ResidualSchema, SafetyBarrierDisposition, VerificationCadence, VerifierSuiteSpec,
    WorkspaceSnapshot,
};
pub use energy::{score_candidate, EnergyComponents, EnergyModel, EnergyScore, ResidualWeight};
pub use error::{Result, SdkError};
pub use gate::evaluate_gate_with_floor;
pub use gate::NodeTerminalOutcome;
pub use gate::{
    evaluate_gate, finite_decision_bound, AcceptedTrajectory, GateDecision, GateDecisionRef,
};
pub use goal::{goal_presence_residual, goal_presence_sensor, missing_symbols, GoalSpec};
pub use independence::{
    compute as compute_independence, compute_with_floor, pairwise_joint_miss,
    EnsembleCertification, IndependenceStats, PairStats, VerdictRecord,
};
pub use kernel::{policy_restore_best, stabilize_realized};
pub use kernel::{AgentBarrierResult, AgentStabilizationStatus, CorrectionDirectionSet, Evidence};
pub use ledger::{audit_replay, require_recorded, AuditReport};
pub use ledger::{
    content_hash, replay_accepted_trajectory, ExternalEffectLog, IdempotencyLog, Ledger,
    LedgerEvent, LedgerRecord,
};
pub use model::{
    CapabilityDegradation, Conversation, ConversationDelta, ConversationDeltaRecord,
    ConversationProjection, ConversationSeeded, GenerationOptions, Message, ModelFamily, ModelId,
    ModelTransport, ProviderCapabilities, ProviderCapabilityMask, ProviderToolCall,
    ToolChoicePolicy, ToolSpec, TransportFuture, TurnOutput, CONVERSATION_EVENT_SCHEMA_VERSION,
};
pub use observability::arriving_potential_per_step;
pub use observability::{
    backlog_gauge, phi, residual_heatmap, CapabilityAudit, ResidualHeatmap, TrajectoryProjection,
    WorkflowPotential,
};
pub use recovery::{
    classify_failure, CascadeClass, CascadeLevel, FailureKind, GrantedControl, RecoveryCascade,
};
pub use residual::{
    AffectedSet, CorrectionDirection, CorrectionOperator, CorrectionPacket, CorrectionPacketRef,
    EnergyComponent, EvidencePayload, IndependenceRoute, MissingSensorDecl, NoGoodRef,
    ResidualClass, ResidualClusterRef, ResidualEvent, ResidualEventRef, ResidualSeverity,
    SensorRef, StructuredDiagnosticRef, SymbolRef,
};
pub use routing::{
    resolve_portfolio_route, resolve_route, AgentPhase, ModelBudget, ModelRoute, ModelTier,
    ModelTierConfig, PortfolioModels, PortfolioRoute, RouteObjective,
};
pub use scheduler::{
    recovery_is_total, repair_to_effects, ExecutionLease, Footprint, LeaseKind, LeaseTable,
    NodeOutcome, RepairAction, Resource, Scheduler, SchedulerEffect,
};
pub use search::{
    exploration_capability, is_read_only_capability, BranchMeasurement, BranchSelection,
    DomainMeasurement, PartialCheckpointRef, ProjectMap, SearchBranch, SearchBranchState,
    SearchContext, SearchForest, SearchLimits, SearchStrategy, SearchUsage, WitnessRef,
};
pub use spectral::{VerificationEdge, VerificationGraph};
pub use stability::{
    admit_analytic_path, AnalyticPathVerdict, BoundMode, CertifiedBound, ProxyGeometry,
    RealizabilityClaim, StabilityClaim, StabilityParameters,
};
pub use toolset::{
    admit_external_tool, base_entries, AccessMode, ConcurrencyClass, ExternalToolDeclaration,
    FootprintSpec, HandlerContext, HandlerServices, MultiValueTarget, NetworkService,
    ObservationService, ProcessService, ProposalBinding, ResourceSelector, StaticCatalog,
    ToolCatalog, ToolDescriptionLibrary, ToolDispatcher, ToolEntry, ToolExecution, ToolHandler,
    ToolOrigin, WorkspaceService,
};
pub use workgraph::{
    EdgeKind, GraphEdit, GraphRevisionReason, GraphValidationReport, NodeClass, WorkEdge,
    WorkGraphRevision, WorkNode, WorkNodeState,
};