Struct LogicalAgentSpec 

pub struct LogicalAgentSpec {
    pub goal: String,
    pub role: Option<AgentRole>,
    pub isolation: Option<AgentIsolation>,
    pub context_inheritance: Option<LogicalContextInheritance>,
    pub verification_contract_id: Option<String>,
    pub capability_filter: CapabilityFilter,
    pub exposure_baseline: Option<Vec<String>>,
    pub loop_round: Option<LogicalLoopRoundSpec>,
    pub metadata: BoundedJson,
}

How the root agent should run — a wire DTO of its own, not the SDK’s AgentRunSpec.

The SDK spec carries an AgentIdentity with session_id/parent_session_id: host storage identity that the kernel must never learn, must never persist in a record, and must never be able to correlate across operations. The logical spec carries only what changes kernel decisions.

Fields

goal: String

role: Option<AgentRole>

isolation: Option<AgentIsolation>

context_inheritance: Option<LogicalContextInheritance>

Logical context carried into a workflow child. This is operation-local content selection, not a host session reference, so it is safe to persist and replay in canonical records.

verification_contract_id: Option<String>

Logical id of a verification contract in the operation’s catalog.

capability_filter: CapabilityFilter

exposure_baseline: Option<Vec<String>>

Pre-activation task-tool surface under the capability ceiling. Missing and empty baselines both expose only kernel-owned meta-tools and stable core tools.

loop_round: Option<LogicalLoopRoundSpec>

Pure logical pacing policy for one loop round. It contains no host/session identity.

metadata: BoundedJson

Implementations

impl LogicalAgentSpec

pub fn new(goal: impl Into<String>) -> Self

Trait Implementations

impl Clone for LogicalAgentSpec

fn clone(&self) -> LogicalAgentSpec

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LogicalAgentSpec

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LogicalAgentSpec

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for LogicalAgentSpec

fn eq(&self, other: &LogicalAgentSpec) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for LogicalAgentSpec

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for LogicalAgentSpec