Skip to main content

PromptContext

Struct PromptContext 

pub struct PromptContext<'a> {
Show 15 fields pub workspace_dir: &'a Path, pub agent_workspace_dir: &'a Path, pub model_name: &'a str, pub tools: &'a [Box<dyn Tool>], pub hidden_builtin_names: Option<&'a HashSet<String>>, pub skills: &'a [Skill], pub skills_prompt_mode: SkillsPromptInjectionMode, pub identity_config: Option<&'a IdentityConfig>, pub interaction: Option<&'a InteractionContext>, pub dispatcher_instructions: &'a str, pub sends_native_tool_specs: bool, pub security_summary: Option<String>, pub autonomy_level: AutonomyLevel, pub inject_memory: bool, pub shell_profile: Option<ShellProfile>,
}

Fields§

§workspace_dir: &'a Path§agent_workspace_dir: &'a Path§model_name: &'a str§tools: &'a [Box<dyn Tool>]§hidden_builtin_names: Option<&'a HashSet<String>>

Render-time projection of unselected built-in schemas. Execution still resolves the complete policy-admitted registry.

§skills: &'a [Skill]§skills_prompt_mode: SkillsPromptInjectionMode§identity_config: Option<&'a IdentityConfig>§interaction: Option<&'a InteractionContext>§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

§autonomy_level: AutonomyLevel

Autonomy level the prompt describes. Full autonomy omits “ask before acting” instructions so the model executes tools directly without simulating approval. Policy-aware builders separately supply any always_ask exceptions without expanding this public context struct.

§inject_memory: bool

False for isolated / ACP sessions created with exclude_memory: true. Mirrors system_prompt::build_system_prompt_with_mode_and_autonomy’s inject_memory flag so both prompt builders enforce one policy: when it is false, MEMORY.md is not injected into the provider-visible system prompt.

§shell_profile: Option<ShellProfile>

The shell the runtime adapter will spawn, or None for a shell-less runtime (which omits the Shell: field and the dialect guidance). Resolved from RuntimeAdapter::shell_profile so the reported shell cannot drift from the executed one.

Auto Trait Implementations§

§

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

§

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

§

impl<'a> Freeze 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>

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
§

impl<'a, T, E> AsTaggedExplicit<'a, E> for T
where T: 'a,

§

fn explicit(self, class: Class, tag: u32) -> TaggedParser<'a, Explicit, Self, E>

§

impl<'a, T, E> AsTaggedImplicit<'a, E> for T
where T: 'a,

§

fn implicit( self, class: Class, constructed: bool, tag: u32, ) -> TaggedParser<'a, Implicit, Self, E>

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
§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

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: Sized + 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: Sized + 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
§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

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