Skip to main content

PromptContext

Struct PromptContext 

Source
pub struct PromptContext<'a> {
    pub workspace_dir: &'a Path,
    pub agent_workspace_dir: &'a Path,
    pub model_name: &'a str,
    pub tools: &'a [Box<dyn Tool>],
    pub skills: &'a [Skill],
    pub skills_prompt_mode: SkillsPromptInjectionMode,
    pub identity_config: Option<&'a IdentityConfig>,
    pub dispatcher_instructions: &'a str,
    pub sends_native_tool_specs: bool,
    pub security_summary: Option<String>,
    pub autonomy_level: AutonomyLevel,
    pub channel_targets: Option<String>,
}

Fields§

§workspace_dir: &'a Path§agent_workspace_dir: &'a Path

Per-agent persona workspace (where SOUL.md / IDENTITY.md / USER.md / AGENTS.md live). Separate from workspace_dir, which is the security sandbox root and can be overridden per session by an IDE-supplied cwd. Channel-driven runs typically pass the same path for both; gateway and ACP sessions pass the agent’s own dir here while letting workspace_dir follow the session cwd.

§model_name: &'a str§tools: &'a [Box<dyn Tool>]§skills: &'a [Skill]§skills_prompt_mode: SkillsPromptInjectionMode§identity_config: Option<&'a IdentityConfig>§dispatcher_instructions: &'a str§sends_native_tool_specs: bool

True when the provider request carries native tool specs. In that mode the prompt must not duplicate the same tool catalog in prose.

§security_summary: Option<String>

Pre-rendered security policy summary for inclusion in the Safety prompt section. When present, the LLM sees the concrete constraints (allowed commands, forbidden paths, autonomy level) so it can plan tool calls without trial-and-error. See issue #2404.

§autonomy_level: AutonomyLevel

Autonomy level from config. Controls whether the safety section includes “ask before acting” instructions. Full autonomy omits them so the model executes tools directly without simulating approval.

§channel_targets: Option<String>

Pre-rendered channel target section injected so the agent knows where to deliver outbound messages via channel_send.

Auto Trait Implementations§

§

impl<'a> Freeze for PromptContext<'a>

§

impl<'a> !RefUnwindSafe for PromptContext<'a>

§

impl<'a> Send for PromptContext<'a>

§

impl<'a> Sync for PromptContext<'a>

§

impl<'a> Unpin for PromptContext<'a>

§

impl<'a> UnsafeUnpin for PromptContext<'a>

§

impl<'a> !UnwindSafe for PromptContext<'a>

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more
§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
§

impl<T> PolicyExt for T
where T: ?Sized,

§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns [Action::Follow] only if self and other return Action::Follow. Read more
§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns [Action::Follow] if either self or other returns Action::Follow. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

fn vzip(self) -> V

§

impl<T> WithSubscriber for T

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more