Skip to main content

Crate perspt_agent

Crate perspt_agent 

Source
Expand description

perspt-agent: SRBN Orchestrator and Agent logic

Implements the Stabilized Recursive Barrier Network for multi-agent coding.

Re-exports§

pub use candidate::CandidateWorkspace;
pub use external_tools::ExternalConnectionState;
pub use external_tools::ExternalToolEvent;
pub use external_tools::ExternalToolObserver;
pub use external_tools::ExternalToolRejection;
pub use external_tools::ExternalToolResult;
pub use external_tools::ExternalToolRuntime;
pub use external_tools::McpClientServices;
pub use external_tools::McpElicitationAction;
pub use external_tools::McpElicitationBroker;
pub use external_tools::McpElicitationProvider;
pub use external_tools::McpPendingElicitation;
pub use external_tools::McpSamplingProvider;
pub use external_tools::McpServerEvent;
pub use external_tools::ModelTransportSamplingProvider;
pub use external_tools::MCP_PROTOCOL_VERSION;
pub use lsp::DocumentSymbolInfo;
pub use lsp::LspClient;
pub use measure::CodingCandidateMeasurer;
pub use probe::probe_route;
pub use probe::ProbeReport;
pub use realize::snapshot_workspace;
pub use realize::ProjectionMismatch;
pub use realize::SnapshotRealizer;
pub use realize::WorkspaceState;
pub use runtime::Psp9AgentRuntime;
pub use runtime::Psp9ModelRoutes;
pub use runtime::Psp9Recorder;
pub use runtime::Psp9RunConfig;
pub use runtime::Psp9RunSummary;
pub use toolloop::CandidateMeasurer;
pub use toolloop::EffectExecutor;
pub use toolloop::LoopBudgets;
pub use toolloop::LoopOutcome;
pub use toolloop::LoopRecorder;
pub use toolloop::ToolLoop;
pub use tools::handlers::CandidateHandlerRegistry;
pub use tools::handlers::CandidateToolHandler;
pub use tools::AgentTools;
pub use tools::ToolCall;
pub use tools::ToolResult;
pub use transport::GenAiTransport;

Modules§

candidate
Reversible coding candidate overlay and compiler-backed measurement.
exploration
Deterministic, read-only repository orientation for the PSP-9 runtime.
external_tools
Shared governed MCP runtime for agent and interactive chat lifecycles.
grant
Persistent grant signing-key resolution.
lsp
Native LSP Client
measure
Plugin-backed candidate measurement: the full verifier suite at gate boundaries and the cheap syntax-only pass at mutation boundaries. Extracted from candidate.rs so the reversible overlay and the measurement plane each stay within the file-size rules.
probe
Behavioral provider probes (PSP-9 Gate U).
promote
Workspace promotion with platform-specific hardening.
realize
The workspace realizer (PSP-9 system 10, Paper I Definition 12.2).
runtime
Authoritative PSP-9 agent runtime.
toolloop
The SRBN tool loop (PSP-9 system 6) — Paper II Appendix A Algorithm 1 with tool calls substituted for bundle generation.
tools
Agent Tooling
transport
The transport adapter (PSP-9 system 4).
turn
The universal actor turn runner (PSP-10 system 27, Phase 9).
verifier
Governed verifier sandbox: compiler/test/lint processes run inside an OS process sandbox with a deny-network profile and a read allow-list (toolchain roots, no credentials). Extracted from the candidate so the sandbox policy has one home.