Module kernel 

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

perspt-sdk uses the published [srbn] crate as the canonical SRBN kernel and [srbn_serde] for serializing traces that enter the Perspt ledger, rather than forking the kernel logic. This module is the narrow adapter that keeps Perspt’s WorkGraph, residual, and capability types outside the SRBN crate while reusing its stabilize loop, BarrierResult contract, attempt traces, and terminal statuses.

The authoritative acceptance gate is the measured gate in crate::gate; srbn supplies the loop scaffolding and the serializable attempt trace.

Structs

AgentBarrierResult

The SDK-side barrier result (PSP-8 adapter type).

Enums

AgentStabilizationStatus

Terminal status of an SDK stabilization (PSP-8 adapter enum). Extends the kernel’s [srbn::Status] with SDK-specific outcomes.

Functions

policy

Build an [srbn::Policy] from SDK stability parameters.

policy_restore_best

Build an [srbn::Policy] with the kernel’s restore-best rule (PSP-9).

stabilize

Drive the kernel’s [srbn::stabilize] loop over an arbitrary state, with the barrier producing an AgentBarrierResult (mapped to the kernel result).

stabilize_realized

Drive the kernel’s realized stabilization loop (Paper I Definition 12.2).

trace_to_json

Serialize a kernel stabilization trace to JSON via [srbn_serde] for the ledger. Requires the state and evidence to be serializable.

Type Aliases

CorrectionDirectionSet

A set of correction directions, the SDK’s Correction payload.

Evidence

Deterministic string evidence map, matching [srbn::Evidence].